Trace number 3385368

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
borg-sat 11.03.02-par-random (fixed)SAT 6158.21 774.674

General information on the benchmark

Namerandom/large/
unif-k7-r85-v200-c17000-S335550727-070-UNKNOWN.cnf
MD5SUMbe984e6bbe5620bf919456b943096fcf
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark427.269
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of clauses17000
Sum of the clauses size119000
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 517000

Solver Data 

0.32/0.47	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.32/0.47	c INFO: solving HOME/instance-3385368-1305565918.cnf
0.32/0.47	c INFO: computing task features
0.41/0.58	c INFO: computed variable-clause graph statistics
0.41/0.58	c INFO: computed clause balance statistics
1.03/1.19	c INFO: computed variable balance statistics
1.31/1.42	c INFO: computed small-clause counts
1.31/1.42	c INFO: computed Horn-clause counts
1.31/1.44	c INFO: computed variable graph statistics
1.31/1.44	c INFO: collected features for HOME/instance-3385368-1305565918.cnf in 0.98 s
1.31/1.47	c INFO: running gnovelty+2@0 for 97 with 4999 remaining (b = 0.36)
1.41/1.50	c INFO: running gnovelty+2@0 for 97 with 4998 remaining (b = 0.12)
1.41/1.53	c INFO: running adaptg2wsat2009++@0 for 97 with 4998 remaining (b = 0.08)
1.41/1.56	c INFO: running adaptg2wsat2009++@0 for 97 with 4998 remaining (b = 0.07)
1.41/1.59	c INFO: running adaptg2wsat2009++@0 for 97 with 4998 remaining (b = 0.05)
1.51/1.62	c INFO: running gnovelty+2@0 for 97 with 4998 remaining (b = 0.04)
1.51/1.65	c INFO: running FH@0 for 97 with 4998 remaining (b = 0.03)
1.51/1.68	c INFO: running adaptg2wsat2009++@0 for 97 with 4998 remaining (b = 0.03)
802.19/101.90	c INFO: running adaptg2wsat2009++@0 for 97 with 4898 remaining (b = 0.02)
802.19/101.95	c INFO: running FH@0 for 97 with 4898 remaining (b = 0.02)
802.19/101.99	c INFO: running hybridGM3@0 for 194 with 4898 remaining (b = 0.04)
802.80/102.03	c INFO: running gnovelty+2@0 for 97 with 4898 remaining (b = 0.02)
802.80/102.07	c INFO: running hybridGM3@0 for 194 with 4898 remaining (b = 0.03)
803.10/102.12	c INFO: running hybridGM3@0 for 194 with 4898 remaining (b = 0.03)
803.10/102.17	c INFO: running TNM@0 for 1552 with 4898 remaining (b = 0.20)
803.10/102.22	c INFO: running adaptg2wsat2009++@0 for 97 with 4898 remaining (b = 0.01)
1602.18/202.33	c INFO: running FH@0 for 97 with 4798 remaining (b = 0.01)
1602.18/202.40	c INFO: running hybridGM3@0 for 194 with 4798 remaining (b = 0.02)
1602.99/202.49	c INFO: running adaptg2wsat2009++@0 for 97 with 4798 remaining (b = 0.01)
1613.25/203.79	c INFO: running adaptg2wsat2009++@0 for 97 with 4796 remaining (b = 0.01)
2370.58/298.84	c INFO: running hybridGM3@100 for 97 with 4701 remaining (b = 0.01)
2371.38/298.91	c INFO: running hybridGM3@98 for 97 with 4701 remaining (b = 0.01)
2381.75/300.27	c INFO: running hybridGM3@100 for 97 with 4700 remaining (b = 0.01)
2389.69/301.21	c INFO: running adaptg2wsat2009++@0 for 97 with 4699 remaining (b = 0.01)
2401.61/302.78	c INFO: running adaptg2wsat2009++@100 for 97 with 4697 remaining (b = 0.01)
2427.06/305.93	c INFO: running gnovelty+2@0 for 97 with 4694 remaining (b = 0.01)
3142.20/395.78	c INFO: running hybridGM3@0 for 194 with 4604 remaining (b = 0.02)
3165.27/398.65	c INFO: running hybridGM3@0 for 194 with 4601 remaining (b = 0.02)
3178.01/400.21	c INFO: running TNM@0 for 1455 with 4600 remaining (b = 0.13)
3178.01/400.30	c INFO: running hybridGM3@296 for 97 with 4600 remaining (b = 0.01)
3178.79/400.38	c INFO: running hybridGM3@296 for 97 with 4600 remaining (b = 0.01)
3210.61/404.32	c INFO: running hybridGM3@100 for 97 with 4596 remaining (b = 0.01)
3227.33/406.40	c INFO: running adaptg2wsat2009++@100 for 97 with 4594 remaining (b = 0.01)
3938.46/495.72	c INFO: running hybridGM3@396 for 97 with 4504 remaining (b = 0.01)
3938.46/495.79	c INFO: running FH@0 for 291 with 4504 remaining (b = 0.03)
3970.31/499.73	c INFO: running hybridGM3@0 for 194 with 4500 remaining (b = 0.02)
4003.07/503.84	c INFO: running TNM@0 for 1552 with 4496 remaining (b = 0.12)
4697.95/591.15	c INFO: running iPAWS@0 for 97 with 4409 remaining (b = 0.01)
4709.89/592.64	c INFO: running hybridGM3@97 for 97 with 4407 remaining (b = 0.01)
4732.93/595.52	c INFO: running hybridGM3@97 for 97 with 4404 remaining (b = 0.01)
5468.68/688.07	c INFO: running hybridGM3@294 for 194 with 4312 remaining (b = 0.02)
5489.36/690.64	c INFO: running adaptg2wsat2009++@100 for 97 with 4309 remaining (b = 0.01)
5537.85/696.73	c INFO: running FH@100 for 291 with 4303 remaining (b = 0.02)
5539.43/696.97	c INFO: running iPAWS@0 for 97 with 4303 remaining (b = 0.01)
6157.46/774.64	s SATISFIABLE
6157.46/774.64	v -1 2 3 -4 -5 -6 -7 8 -9 10 -11 12 13 -14 -15 -16 17 -18 19 -20 21 -22 -23 24 -25 -26 27 -28 -29 -30 -31 32 -33 -34 35 36 -37 -38 39 -40 41 -42 43 44 45 -46 -47 48 -49 -50 -51 52 53 -54 55 56 -57 -58 59 -60 -61 62 -63 -64 65 -66 -67 -68 69 70 -71 -72 73 74 -75 -76 77 -78 79 80 81 -82 83 84 85 86 -87 88 89 -90 91 92 93 -94 -95 -96 -97 -98 99 100 101 102 -103 104 -105 106 107 108 -109 110 -111 112 113 114 -115 116 117 -118 -119 -120 121 -122 123 -124 -125 126 -127 -128 -129 130 131 132 -133 -134 135 136 137 138 139 140 141 142 -143 144 -145 -146 -147 148 -149 150 -151 152 -153 -154 -155 156 157 -158 -159 -160 161 -162 163 -164 -165 -166 167 -168 -169 -170 -171 172 -173 174 175 176 -177 -178 -179 -180 181 -182 183 -184 185 -186 187 188 -189 190 -191 -192 193 194 -195 -196 197 198 -199 -200 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3385368-1305565918/watcher-3385368-1305565918 -o /tmp/evaluation-result-3385368-1305565918/solver-3385368-1305565918 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3385368-1305565918.cnf -seed 1473646545 -budget 40000 -cores 8 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.85 8.28 5.42 2/481 443
/proc/meminfo: memFree=16050848/32951124 swapFree=62248504/67111528
[pid=443] ppid=441 vsize=14820 CPUtime=0 cores=0-7
/proc/443/stat : 443 (python) R 441 443 32646 0 -1 4202496 491 0 0 0 0 0 0 0 18 0 1 0 668189504 15175680 400 33554432000 4194304 5683644 140733372440368 18446744073709551615 4381600 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/443/statm: 3705 413 255 364 0 192 0

[startup+0.0553561 s]
/proc/loadavg: 8.85 8.28 5.42 2/481 443
/proc/meminfo: memFree=16050848/32951124 swapFree=62248504/67111528
[pid=443] ppid=441 vsize=34424 CPUtime=0.04 cores=0-7
/proc/443/stat : 443 (python) R 441 443 32646 0 -1 4202496 1552 0 0 0 3 1 0 0 17 0 1 0 668189504 35250176 1388 33554432000 4194304 5683644 140733372440368 18446744073709551615 218905729024 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/443/statm: 8606 1388 448 364 0 944 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 34424

[startup+0.100353 s]
/proc/loadavg: 8.85 8.28 5.42 2/481 443
/proc/meminfo: memFree=16050848/32951124 swapFree=62248504/67111528
[pid=443] ppid=441 vsize=104224 CPUtime=0.08 cores=0-7
/proc/443/stat : 443 (python) R 441 443 32646 0 -1 4202496 3058 0 0 0 5 3 0 0 17 0 1 0 668189504 106725376 2741 33554432000 4194304 5683644 140733372440368 18446744073709551615 218905726821 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/443/statm: 26056 2741 847 364 0 1804 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 104224

[startup+0.300353 s]
/proc/loadavg: 8.85 8.28 5.42 2/481 443
/proc/meminfo: memFree=16050848/32951124 swapFree=62248504/67111528
[pid=443] ppid=441 vsize=170756 CPUtime=0.24 cores=0-7
/proc/443/stat : 443 (python) S 441 443 32646 0 -1 4202496 6736 935 1 0 16 8 0 0 18 0 1 0 668189504 174854144 4806 33554432000 4194304 5683644 140733372440368 18446744073709551615 218905729024 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/443/statm: 42690 4807 1336 364 0 3455 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 170756

[startup+0.700238 s]
/proc/loadavg: 8.85 8.28 5.42 2/481 443
/proc/meminfo: memFree=16050848/32951124 swapFree=62248504/67111528
[pid=443] ppid=441 vsize=282588 CPUtime=0.61 cores=0-7
/proc/443/stat : 443 (python) R 441 443 32646 0 -1 4202496 11330 935 1 0 52 9 0 0 18 0 1 0 668189504 289370112 8059 33554432000 4194304 5683644 140733372440368 18446744073709551615 47805215238128 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/443/statm: 70647 8059 1826 364 0 6571 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 282588

[startup+1.50111 s]
/proc/loadavg: 8.85 8.28 5.42 2/482 448
/proc/meminfo: memFree=16024676/32951124 swapFree=62248504/67111528
[pid=443] ppid=441 vsize=289612 CPUtime=1.41 cores=0-7
/proc/443/stat : 443 (python) R 441 443 32646 0 -1 4202496 12088 935 1 0 132 9 0 0 18 0 2 0 668189504 296562688 7291 33554432000 4194304 5683644 140733372440368 18446744073709551615 47805215340520 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/443/statm: 72403 7291 1876 364 0 8321 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 289612

[startup+3.10176 s]
/proc/loadavg: 8.85 8.28 5.42 9/506 482
/proc/meminfo: memFree=15979348/32951124 swapFree=62248504/67111528
[pid=443] ppid=441 vsize=426940 CPUtime=1.6 cores=0-7
/proc/443/stat : 443 (python) S 441 443 32646 0 -1 4202496 17088 935 1 0 149 11 0 0 21 0 9 0 668189504 437186560 7602 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917557707 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/443/statm: 106735 7602 1891 364 0 42632 0
[pid=449] ppid=443 vsize=279232 CPUtime=0 cores=0-7
/proc/449/stat : 449 (python) S 443 443 32646 0 -1 4202560 732 0 0 0 0 0 0 0 18 0 1 0 668189652 285933568 5715 33554432000 4194304 5683644 140733372440368 18446744073709551615 218905751055 0 0 16781312 514 2068933716972896515 0 0 17 1 0 0 0
/proc/449/statm: 69808 5715 354 364 0 5726 0
[pid=451] ppid=449 vsize=1018616 CPUtime=1.61 cores=0-7
/proc/451/stat : 451 (gnovelty+2) R 449 451 451 0 -1 4202496 764 0 0 0 161 0 0 0 25 0 1 0 668189653 1043062784 500 33554432000 134512640 135663704 4293593472 18446744073709551615 134525255 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/451/statm: 254654 500 113 282 0 254370 0
[pid=452] ppid=443 vsize=289624 CPUtime=0 cores=0-7
/proc/452/stat : 452 (python) S 443 443 32646 0 -1 4202560 738 0 0 0 0 0 0 0 18 0 1 0 668189655 296574976 5763 33554432000 4194304 5683644 140733372440368 18446744073709551615 218905751110 0 0 16781312 514 2068937565263593732 0 0 17 1 0 0 0
/proc/452/statm: 72406 5763 348 364 0 8321 0
[pid=454] ppid=452 vsize=1018616 CPUtime=1.58 cores=0-7
/proc/454/stat : 454 (gnovelty+2) R 452 454 454 0 -1 4202496 763 0 0 0 158 0 0 0 25 0 1 0 668189655 1043062784 500 33554432000 134512640 135663704 4292504400 18446744073709551615 134524882 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/454/statm: 254654 500 113 282 0 254370 0
[pid=455] ppid=443 vsize=365416 CPUtime=0 cores=0-7
/proc/455/stat : 455 (python) S 443 443 32646 0 -1 4202560 703 0 0 0 0 0 0 0 18 0 1 0 668189658 374185984 5940 33554432000 4194304 5683644 140733372440368 18446744073709551615 218905751110 0 0 16781312 514 2068929868682231807 0 0 17 1 0 0 0
/proc/455/statm: 91354 5940 348 364 0 27266 0
[pid=457] ppid=455 vsize=418500 CPUtime=1.56 cores=0-7
/proc/457/stat : 457 (adaptg2wsat2009) R 455 457 457 0 -1 4202496 1063 0 0 0 156 0 0 0 25 0 1 0 668189658 428544000 808 33554432000 134512640 135107411 4294082080 18446744073709551615 134523472 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/457/statm: 104625 808 49 146 0 103501 0
[pid=458] ppid=443 vsize=375672 CPUtime=0 cores=0-7
/proc/458/stat : 458 (python) S 443 443 32646 0 -1 4202560 714 0 0 0 0 0 0 0 18 0 1 0 668189661 384688128 5887 33554432000 4194304 5683644 140733372440368 18446744073709551615 218905751110 0 0 16781312 514 2102151887393390591 0 0 17 1 0 0 0
/proc/458/statm: 93918 5887 348 364 0 29827 0
[pid=468] ppid=458 vsize=418500 CPUtime=1.53 cores=0-7
/proc/468/stat : 468 (adaptg2wsat2009) R 458 468 468 0 -1 4202496 1062 0 0 0 153 0 0 0 25 0 1 0 668189661 428544000 808 33554432000 134512640 135107411 4294916880 18446744073709551615 134523312 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/468/statm: 104625 808 49 146 0 103501 0
[pid=470] ppid=443 vsize=385928 CPUtime=0 cores=0-7
/proc/470/stat : 470 (python) S 443 443 32646 0 -1 4202560 725 0 0 0 0 0 0 0 18 0 1 0 668189664 395190272 5923 33554432000 4194304 5683644 140733372440368 18446744073709551615 218905751110 0 0 16781312 514 13928195490542780415 0 0 17 1 0 0 0
/proc/470/statm: 96482 5923 348 364 0 32388 0
[pid=473] ppid=470 vsize=418500 CPUtime=1.49 cores=0-7
/proc/473/stat : 473 (adaptg2wsat2009) R 470 473 473 0 -1 4202496 1070 0 0 0 149 0 0 0 25 0 1 0 668189665 428544000 810 33554432000 134512640 135107411 4291211952 18446744073709551615 134523310 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/473/statm: 104625 810 49 146 0 103501 0
[pid=474] ppid=443 vsize=396184 CPUtime=0 cores=0-7
/proc/474/stat : 474 (python) S 443 443 32646 0 -1 4202560 728 0 0 0 0 0 0 0 18 0 1 0 668189667 405692416 5910 33554432000 4194304 5683644 140733372440368 18446744073709551615 218905751110 0 0 16781312 514 13928203187124142340 0 0 17 1 0 0 0
/proc/474/statm: 99046 5910 348 364 0 34949 0
[pid=476] ppid=474 vsize=1018616 CPUtime=1.45 cores=0-7
/proc/476/stat : 476 (gnovelty+2) R 474 476 476 0 -1 4202496 758 0 0 0 145 0 0 0 25 0 1 0 668189667 1043062784 501 33554432000 134512640 135663704 4293998880 18446744073709551615 134525224 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/476/statm: 254654 501 113 282 0 254370 0
[pid=477] ppid=443 vsize=406440 CPUtime=0 cores=0-7
/proc/477/stat : 477 (python) S 443 443 32646 0 -1 4202560 737 0 0 0 0 0 0 0 18 0 1 0 668189670 416194560 6051 33554432000 4194304 5683644 140733372440368 18446744073709551615 218905751110 0 0 16781312 514 5266590882353643519 0 0 17 1 0 0 0
/proc/477/statm: 101610 6051 348 364 0 37510 0
[pid=479] ppid=477 vsize=246900 CPUtime=1.4 cores=0-7
/proc/479/stat : 479 (FH) R 477 479 479 0 -1 4202496 936 0 0 0 140 0 0 0 25 0 1 0 668189672 252825600 678 33554432000 134512640 134936988 4289117312 18446744073709551615 134523624 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/479/statm: 61725 678 37 104 0 61229 0
[pid=480] ppid=443 vsize=416696 CPUtime=0 cores=0-7
/proc/480/stat : 480 (python) S 443 443 32646 0 -1 4202560 767 0 0 0 0 0 0 0 18 0 1 0 668189673 426696704 6061 33554432000 4194304 5683644 140733372440368 18446744073709551615 218905751110 0 0 16781312 514 5266598578935037951 0 0 17 1 0 0 0
/proc/480/statm: 104174 6061 354 364 0 40071 0
[pid=482] ppid=480 vsize=418500 CPUtime=1.39 cores=0-7
/proc/482/stat : 482 (adaptg2wsat2009) R 480 482 482 0 -1 4202496 1074 0 0 0 139 0 0 0 25 0 1 0 668189674 428544000 809 33554432000 134512640 135107411 4294123552 18446744073709551615 134523217 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/482/statm: 104625 809 49 146 0 103501 0
[pid=443/tid=450] ppid=441 vsize=426940 CPUtime=0 cores=0-7
/proc/443/task/450/stat : 450 (python) S 441 443 32646 0 -1 4202560 25 935 0 0 0 0 0 0 21 0 9 0 668189652 437186560 7602 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 0 0 0 0
[pid=443/tid=453] ppid=441 vsize=426940 CPUtime=0 cores=0-7
/proc/443/task/453/stat : 453 (python) S 441 443 32646 0 -1 4202560 26 935 0 0 0 0 0 0 18 0 9 0 668189655 437186560 7602 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 3 0 0 0
[pid=443/tid=456] ppid=441 vsize=426940 CPUtime=0 cores=0-7
/proc/443/task/456/stat : 456 (python) S 441 443 32646 0 -1 4202560 90 935 0 0 0 0 0 0 19 0 9 0 668189658 437186560 7602 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 6 0 0 0
[pid=443/tid=467] ppid=441 vsize=426940 CPUtime=0 cores=0-7
/proc/443/task/467/stat : 467 (python) S 441 443 32646 0 -1 4202560 32 935 0 0 0 0 0 0 18 0 9 0 668189661 437186560 7602 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 5 0 0 0
[pid=443/tid=472] ppid=441 vsize=426940 CPUtime=0 cores=0-7
/proc/443/task/472/stat : 472 (python) S 441 443 32646 0 -1 4202560 34 935 0 0 0 0 0 0 19 0 9 0 668189664 437186560 7602 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 0 0 0 0
[pid=443/tid=475] ppid=441 vsize=426940 CPUtime=0 cores=0-7
/proc/443/task/475/stat : 475 (python) S 441 443 32646 0 -1 4202560 31 935 0 0 0 0 0 0 20 0 9 0 668189667 437186560 7602 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 7 0 0 0
[pid=443/tid=478] ppid=441 vsize=426940 CPUtime=0 cores=0-7
/proc/443/task/478/stat : 478 (python) S 441 443 32646 0 -1 4202560 35 935 0 0 0 0 0 0 21 0 9 0 668189670 437186560 7602 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 1 0 0 0
[pid=443/tid=481] ppid=441 vsize=426940 CPUtime=0 cores=0-7
/proc/443/task/481/stat : 481 (python) S 441 443 32646 0 -1 4202560 34 935 0 0 0 0 0 0 22 0 9 0 668189673 437186560 7602 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 13.61
Current children cumulated vsize (KiB) 8318880

[startup+6.30119 s]
/proc/loadavg: 8.79 8.28 5.43 9/506 482
/proc/meminfo: memFree=15975876/32951124 swapFree=62248504/67111528
[pid=443] ppid=441 vsize=426940 CPUtime=1.6 cores=0-7
/proc/443/stat : 443 (python) S 441 443 32646 0 -1 4202496 17088 935 1 0 149 11 0 0 21 0 9 0 668189504 437186560 7602 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917557707 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/443/statm: 106735 7602 1891 364 0 42632 0
[pid=449] ppid=443 vsize=279232 CPUtime=0.02 cores=0-7
/proc/449/stat : 449 (python) S 443 443 32646 0 -1 4202560 893 0 0 0 1 1 0 0 18 0 1 0 668189652 285933568 5738 33554432000 4194304 5683644 140733372440368 18446744073709551615 218905751055 0 0 16781312 514 2068933716972896515 0 0 17 1 0 0 0
/proc/449/statm: 69808 5738 377 364 0 5726 0
[pid=451] ppid=449 vsize=1018616 CPUtime=4.79 cores=0-7
/proc/451/stat : 451 (gnovelty+2) R 449 451 451 0 -1 4202496 764 0 0 0 479 0 0 0 25 0 1 0 668189653 1043062784 500 33554432000 134512640 135663704 4293593472 18446744073709551615 134524548 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/451/statm: 254654 500 113 282 0 254370 0
[pid=452] ppid=443 vsize=289624 CPUtime=0.02 cores=0-7
/proc/452/stat : 452 (python) S 443 443 32646 0 -1 4202560 905 0 0 0 1 1 0 0 18 0 1 0 668189655 296574976 5786 33554432000 4194304 5683644 140733372440368 18446744073709551615 218905751110 0 0 16781312 514 2068937565263593732 0 0 17 1 0 0 0
/proc/452/statm: 72406 5786 371 364 0 8321 0
[pid=454] ppid=452 vsize=1018616 CPUtime=4.78 cores=0-7
/proc/454/stat : 454 (gnovelty+2) R 452 454 454 0 -1 4202496 763 0 0 0 478 0 0 0 25 0 1 0 668189655 1043062784 500 33554432000 134512640 135663704 4292504400 18446744073709551615 134524775 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/454/statm: 254654 500 113 282 0 254370 0
[pid=455] ppid=443 vsize=365416 CPUtime=0.02 cores=0-7
/proc/455/stat : 455 (python) S 443 443 32646 0 -1 4202560 783 0 0 0 1 1 0 0 18 0 1 0 668189658 374185984 5963 33554432000 4194304 5683644 140733372440368 18446744073709551615 218905751110 0 0 16781312 514 2068929868682199298 0 0 17 1 0 0 0
/proc/455/statm: 91354 5963 371 364 0 27266 0
[pid=457] ppid=455 vsize=418636 CPUtime=4.76 cores=0-7
/proc/457/stat : 457 (adaptg2wsat2009) R 455 457 457 0 -1 4202496 1210 0 0 0 476 0 0 0 25 0 1 0 668189658 428683264 955 33554432000 134512640 135107411 4294082080 18446744073709551615 134532121 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/457/statm: 104659 955 59 146 0 103535 0
[pid=458] ppid=443 vsize=375672 CPUtime=0.02 cores=0-7
/proc/458/stat : 458 (python) S 443 443 32646 0 -1 4202560 793 0 0 0 1 1 0 0 18 0 1 0 668189661 384688128 5910 33554432000 4194304 5683644 140733372440368 18446744073709551615 218905751110 0 0 16781312 514 2102151887393358081 0 0 17 4 0 0 0
/proc/458/statm: 93918 5910 371 364 0 29827 0
[pid=468] ppid=458 vsize=418636 CPUtime=4.73 cores=0-7
/proc/468/stat : 468 (adaptg2wsat2009) R 458 468 468 0 -1 4202496 1209 0 0 0 473 0 0 0 25 0 1 0 668189661 428683264 955 33554432000 134512640 135107411 4294916880 18446744073709551615 134531239 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/468/statm: 104659 955 59 146 0 103535 0
[pid=470] ppid=443 vsize=385928 CPUtime=0.02 cores=0-7
/proc/470/stat : 470 (python) S 443 443 32646 0 -1 4202560 806 0 0 0 1 1 0 0 18 0 1 0 668189664 395190272 5946 33554432000 4194304 5683644 140733372440368 18446744073709551615 218905751110 0 0 16781312 514 13928195490542747905 0 0 17 1 0 0 0
/proc/470/statm: 96482 5946 371 364 0 32388 0
[pid=473] ppid=470 vsize=418636 CPUtime=4.69 cores=0-7
/proc/473/stat : 473 (adaptg2wsat2009) R 470 473 473 0 -1 4202496 1217 0 0 0 469 0 0 0 25 0 1 0 668189665 428683264 957 33554432000 134512640 135107411 4291211952 18446744073709551615 134531345 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/473/statm: 104659 957 59 146 0 103535 0
[pid=474] ppid=443 vsize=396184 CPUtime=0.01 cores=0-7
/proc/474/stat : 474 (python) S 443 443 32646 0 -1 4202560 815 0 0 0 0 1 0 0 18 0 1 0 668189667 405692416 5933 33554432000 4194304 5683644 140733372440368 18446744073709551615 218905751110 0 0 16781312 514 13928203187124142340 0 0 17 1 0 0 0
/proc/474/statm: 99046 5933 371 364 0 34949 0
[pid=476] ppid=474 vsize=1018616 CPUtime=4.59 cores=0-7
/proc/476/stat : 476 (gnovelty+2) R 474 476 476 0 -1 4202496 758 0 0 0 459 0 0 0 25 0 1 0 668189667 1043062784 501 33554432000 134512640 135663704 4293998880 18446744073709551615 134545631 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/476/statm: 254654 501 113 282 0 254370 0
[pid=477] ppid=443 vsize=406440 CPUtime=0.02 cores=0-7
/proc/477/stat : 477 (python) S 443 443 32646 0 -1 4202560 827 0 0 0 1 1 0 0 18 0 1 0 668189670 416194560 6074 33554432000 4194304 5683644 140733372440368 18446744073709551615 218905751110 0 0 16781312 514 5266590882353611010 0 0 17 1 0 0 0
/proc/477/statm: 101610 6074 371 364 0 37510 0
[pid=479] ppid=477 vsize=248652 CPUtime=4.6 cores=0-7
/proc/479/stat : 479 (FH) R 477 479 479 0 -1 4202496 1116 0 0 0 460 0 0 0 25 0 1 0 668189672 254619648 856 33554432000 134512640 134936988 4289117312 18446744073709551615 134545282 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/479/statm: 62163 856 41 104 0 61667 0
[pid=480] ppid=443 vsize=416696 CPUtime=0.02 cores=0-7
/proc/480/stat : 480 (python) S 443 443 32646 0 -1 4202560 861 0 0 0 1 1 0 0 18 0 1 0 668189673 426696704 6084 33554432000 4194304 5683644 140733372440368 18446744073709551615 218905751110 0 0 16781312 514 5266598578935005443 0 0 17 1 0 0 0
/proc/480/statm: 104174 6084 377 364 0 40071 0
[pid=482] ppid=480 vsize=418636 CPUtime=4.43 cores=0-7
/proc/482/stat : 482 (adaptg2wsat2009) R 480 482 482 0 -1 4202496 1220 0 0 0 443 0 0 0 25 0 1 0 668189674 428683264 955 33554432000 134512640 135107411 4294123552 18446744073709551615 134532408 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/482/statm: 104659 955 59 146 0 103535 0

################
# More data... #
################

/proc/495/stat : 495 (FH) R 492 495 495 0 -1 4202496 1121 0 0 0 17820 0 0 0 25 0 1 0 668199701 254619648 856 33554432000 134512640 134936988 4289170544 18446744073709551615 134552561 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/495/statm: 62163 856 41 104 0 61667 0
[pid=492/tid=523] ppid=443 vsize=437208 CPUtime=0 cores=0-7
/proc/492/task/523/stat : 523 (python) S 443 443 32646 0 -1 4202560 73 0 0 0 0 0 0 0 19 0 2 0 668209740 447700992 6041 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 514 18446604447565668480 0 0 -1 6 0 0 0
[pid=497] ppid=443 vsize=447464 CPUtime=1.91 cores=0-7
/proc/497/stat : 497 (python) S 443 443 32646 0 -1 4202560 1055 0 0 0 101 90 0 0 18 0 2 0 668199704 458203136 6069 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917557707 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/497/statm: 111866 6069 400 364 0 47754 0
[pid=499] ppid=497 vsize=268420 CPUtime=485.47 cores=0-7
/proc/499/stat : 499 (hybridGM3) T 497 499 499 0 -1 4202496 5159 0 0 0 48547 0 0 0 25 0 1 0 668199704 274862080 4895 33554432000 134512640 135204385 4291763392 18446744073709551615 134538368 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/499/statm: 67105 4895 63 169 0 66935 0
[pid=497/tid=533] ppid=443 vsize=447464 CPUtime=0 cores=0-7
/proc/497/task/533/stat : 533 (python) S 443 443 32646 0 -1 4202560 76 0 0 0 0 0 0 0 18 0 2 0 668219384 458203136 6069 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 514 18446604453913051520 0 0 -1 1 0 0 0
[pid=505] ppid=443 vsize=467976 CPUtime=1.52 cores=0-7
/proc/505/stat : 505 (python) S 443 443 32646 0 -1 4202560 1082 0 0 0 79 73 0 0 18 0 2 0 668199712 479207424 6156 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917557707 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/505/statm: 116994 6156 400 364 0 52876 0
[pid=507] ppid=505 vsize=268420 CPUtime=391.01 cores=0-7
/proc/507/stat : 507 (hybridGM3) T 505 507 507 0 -1 4202496 5164 0 0 0 39100 1 0 0 25 0 1 0 668199712 274862080 4895 33554432000 134512640 135204385 4288942176 18446744073709551615 134538041 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/507/statm: 67105 4895 63 169 0 66935 0
[pid=505/tid=534] ppid=443 vsize=467976 CPUtime=0 cores=0-7
/proc/505/task/534/stat : 534 (python) S 443 443 32646 0 -1 4202560 76 0 0 0 0 0 0 0 18 0 2 0 668219391 479207424 6156 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 514 18446604453402136832 0 0 -1 1 0 0 0
[pid=509] ppid=443 vsize=478232 CPUtime=1.39 cores=0-7
/proc/509/stat : 509 (python) S 443 443 32646 0 -1 4202560 29233 0 0 0 74 65 0 0 18 0 2 0 668199717 489709568 6185 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917557707 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/509/statm: 119558 6185 400 364 0 55437 0
[pid=511] ppid=509 vsize=268424 CPUtime=293.13 cores=0-7
/proc/511/stat : 511 (hybridGM3) T 509 511 511 0 -1 4202496 5161 0 0 0 29311 2 0 0 25 0 1 0 668199717 274866176 4896 33554432000 134512640 135204385 4286823120 18446744073709551615 134537673 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/511/statm: 67106 4896 63 169 0 66936 0
[pid=509/tid=535] ppid=443 vsize=478232 CPUtime=0 cores=0-7
/proc/509/task/535/stat : 535 (python) S 443 443 32646 0 -1 4202560 77 0 0 0 0 0 0 0 18 0 2 0 668219527 489709568 6185 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 514 18446604442577902592 0 0 -1 0 0 0 0
[pid=512] ppid=443 vsize=488488 CPUtime=2.76 cores=0-7
/proc/512/stat : 512 (python) S 443 443 32646 0 -1 4202560 1039 0 0 0 146 130 0 0 18 0 1 0 668199722 500211712 6155 33554432000 4194304 5683644 140733372440368 18446744073709551615 218905751110 0 0 16781312 514 18446744073709519106 0 0 17 7 0 0 0
/proc/512/statm: 122122 6155 379 364 0 57998 0
[pid=514] ppid=512 vsize=457124 CPUtime=665.11 cores=0-7
/proc/514/stat : 514 (TNM) R 512 514 514 0 -1 4202496 1107 0 0 0 66511 0 0 0 25 0 1 0 668199723 468094976 837 33554432000 134512640 135008748 4288212848 18446744073709551615 134527503 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/514/statm: 114281 837 46 122 0 113181 0
[pid=515] ppid=443 vsize=498744 CPUtime=0.75 cores=0-7
/proc/515/stat : 515 (python) S 443 443 32646 0 -1 4202560 1150 0 0 0 36 39 0 0 18 0 2 0 668199726 510713856 6224 33554432000 4194304 5683644 140733372440368 18446744073709551615 218905751110 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/515/statm: 124686 6224 408 364 0 60559 0
[pid=517] ppid=515 vsize=418636 CPUtime=181.05 cores=0-7
/proc/517/stat : 517 (adaptg2wsat2009) R 515 517 517 0 -1 4202496 1230 0 0 0 18105 0 0 0 25 0 1 0 668199727 428683264 955 33554432000 134512640 135107411 4292803776 18446744073709551615 134531707 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/517/statm: 104659 955 59 146 0 103535 0
[pid=515/tid=529] ppid=443 vsize=498744 CPUtime=0 cores=0-7
/proc/515/task/529/stat : 529 (python) S 443 443 32646 0 -1 4202560 79 0 0 0 0 0 0 0 19 0 2 0 668209879 510713856 6224 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 514 18446604451824360320 0 0 -1 5 0 0 0
[pid=521] ppid=443 vsize=509000 CPUtime=0.39 cores=0-7
/proc/521/stat : 521 (python) S 443 443 32646 0 -1 4202560 1106 0 0 0 21 18 0 0 19 0 2 0 668209737 521216000 6264 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917557707 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/521/statm: 127250 6264 402 364 0 63120 0
[pid=524] ppid=521 vsize=248648 CPUtime=99.56 cores=0-7
/proc/524/stat : 524 (FH) T 521 524 524 0 -1 4202496 1132 0 0 0 9956 0 0 0 25 0 1 0 668209740 254615552 856 33554432000 134512640 134936988 4293755216 18446744073709551615 134554623 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/524/statm: 62162 856 41 104 0 61666 0
[pid=521/tid=536] ppid=443 vsize=509000 CPUtime=0 cores=0-7
/proc/521/task/536/stat : 536 (python) S 443 443 32646 0 -1 4202560 78 0 0 0 0 0 0 0 19 0 2 0 668219778 521216000 6264 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 514 18446604448706418752 0 0 -1 0 0 0 0
[pid=525] ppid=443 vsize=519256 CPUtime=1.14 cores=0-7
/proc/525/stat : 525 (python) S 443 443 32646 0 -1 4202560 1127 0 0 0 59 55 0 0 18 0 2 0 668209745 531718144 6234 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917557707 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/525/statm: 129814 6234 401 364 0 65681 0
[pid=527] ppid=525 vsize=268420 CPUtime=292.97 cores=0-7
/proc/527/stat : 527 (hybridGM3) T 525 527 527 0 -1 4202496 5166 0 0 0 29297 0 0 0 25 0 1 0 668209745 274862080 4895 33554432000 134512640 135204385 4293025216 18446744073709551615 134537785 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/527/statm: 67105 4895 63 169 0 66935 0
[pid=525/tid=552] ppid=443 vsize=519256 CPUtime=0 cores=0-7
/proc/525/task/552/stat : 552 (python) S 443 443 32646 0 -1 4202560 77 0 0 0 0 0 0 0 18 0 2 0 668229931 531718144 6234 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 514 18446604442577899904 0 0 -1 4 0 0 0
[pid=537] ppid=443 vsize=529512 CPUtime=0.39 cores=0-7
/proc/537/stat : 537 (python) S 443 443 32646 0 -1 4202560 1153 0 0 0 20 19 0 0 19 0 2 0 668220098 542220288 6242 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917557707 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/537/statm: 132378 6242 401 364 0 68242 0
[pid=539] ppid=537 vsize=1018616 CPUtime=99.37 cores=0-7
/proc/539/stat : 539 (gnovelty+2) T 537 539 539 0 -1 4202496 777 0 0 0 9937 0 0 0 25 0 1 0 668220099 1043062784 501 33554432000 134512640 135663704 4292134624 18446744073709551615 134524750 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/539/statm: 254654 501 113 282 0 254370 0
[pid=537/tid=553] ppid=443 vsize=529512 CPUtime=0 cores=0-7
/proc/537/task/553/stat : 553 (python) S 443 443 32646 0 -1 4202560 90 0 0 0 0 0 0 0 19 0 2 0 668230139 542220288 6242 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 514 18446604453301556544 0 0 -1 2 0 0 0
[pid=543] ppid=443 vsize=539768 CPUtime=1.49 cores=0-7
/proc/543/stat : 543 (python) S 443 443 32646 0 -1 4202560 1152 0 0 0 75 74 0 0 18 0 2 0 668229083 552722432 6326 33554432000 4194304 5683644 140733372440368 18446744073709551615 218905751110 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/543/statm: 134942 6326 402 364 0 70803 0
[pid=545] ppid=543 vsize=268424 CPUtime=377.95 cores=0-7
/proc/545/stat : 545 (hybridGM3) R 543 545 545 0 -1 4202496 5172 0 0 0 37795 0 0 0 25 0 1 0 668229083 274866176 4896 33554432000 134512640 135204385 4292374832 18446744073709551615 134538264 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/545/statm: 67106 4896 63 169 0 66936 0
[pid=543/tid=568] ppid=443 vsize=539768 CPUtime=0 cores=0-7
/proc/543/task/568/stat : 568 (python) S 443 443 32646 0 -1 4202560 81 0 0 0 0 0 0 0 18 0 2 0 668248763 552722432 6326 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 514 18446604451691377856 0 0 -1 2 0 0 0
[pid=546] ppid=443 vsize=550024 CPUtime=1.19 cores=0-7
/proc/546/stat : 546 (python) S 443 443 32646 0 -1 4202560 1169 0 0 0 64 55 0 0 18 0 2 0 668229370 563224576 6371 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917557707 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/546/statm: 137506 6371 402 364 0 73364 0
[pid=548] ppid=546 vsize=268428 CPUtime=293.18 cores=0-7
/proc/548/stat : 548 (hybridGM3) T 546 548 548 0 -1 4202496 5176 0 0 0 29317 1 0 0 25 0 1 0 668229370 274870272 4897 33554432000 134512640 135204385 4287916080 18446744073709551615 134538041 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/548/statm: 67107 4897 63 169 0 66937 0
[pid=546/tid=569] ppid=443 vsize=550024 CPUtime=0 cores=0-7
/proc/546/task/569/stat : 569 (python) S 443 443 32646 0 -1 4202560 84 0 0 0 0 0 0 0 18 0 2 0 668249051 563224576 6371 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 514 18446604447847654656 0 0 -1 5 0 0 0
[pid=549] ppid=443 vsize=560280 CPUtime=1.48 cores=0-7
/proc/549/stat : 549 (python) S 443 443 32646 0 -1 4202560 999 0 0 0 78 70 0 0 18 0 1 0 668229526 573726720 6305 33554432000 4194304 5683644 140733372440368 18446744073709551615 218905751110 0 0 16781312 514 10316480108910575876 0 0 17 1 0 0 0
/proc/549/statm: 140070 6305 378 364 0 75925 0
[pid=551] ppid=549 vsize=457128 CPUtime=373.56 cores=0-7
/proc/551/stat : 551 (TNM) R 549 551 551 0 -1 4202496 1120 0 0 0 37356 0 0 0 25 0 1 0 668229529 468099072 838 33554432000 134512640 135008748 4293788816 18446744073709551615 134529145 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/551/statm: 114282 838 46 122 0 113182 0
[pid=556] ppid=443 vsize=570536 CPUtime=0.81 cores=0-7
/proc/556/stat : 556 (python) S 443 443 32646 0 -1 4202560 1200 0 0 0 43 38 0 0 19 0 2 0 668239478 584228864 6355 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917557707 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/556/statm: 142634 6355 408 364 0 78486 0
[pid=558] ppid=556 vsize=268420 CPUtime=196.74 cores=0-7
/proc/558/stat : 558 (hybridGM3) T 556 558 558 0 -1 4202496 5177 0 0 0 19674 0 0 0 25 0 1 0 668239479 274862080 4895 33554432000 134512640 135204385 4290001984 18446744073709551615 134538013 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/558/statm: 67105 4895 63 169 0 66935 0
[pid=556/tid=574] ppid=443 vsize=570536 CPUtime=0 cores=0-7
/proc/556/task/574/stat : 574 (python) S 443 443 32646 0 -1 4202560 90 0 0 0 0 0 0 0 19 0 2 0 668259172 584228864 6355 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 514 18446604470082929728 0 0 -1 5 0 0 0
[pid=559] ppid=443 vsize=580792 CPUtime=1.08 cores=0-7
/proc/559/stat : 559 (python) S 443 443 32646 0 -1 4202560 1004 0 0 0 53 55 0 0 18 0 1 0 668239889 594731008 6376 33554432000 4194304 5683644 140733372440368 18446744073709551615 218905751110 0 0 16781312 514 10316480108910575877 0 0 17 0 0 0 0
/proc/559/statm: 145198 6376 379 364 0 81047 0
[pid=561] ppid=559 vsize=457128 CPUtime=264.91 cores=0-7
/proc/561/stat : 561 (TNM) R 559 561 561 0 -1 4202496 1123 0 0 0 26491 0 0 0 25 0 1 0 668239892 468099072 837 33554432000 134512640 135008748 4291144144 18446744073709551615 134527104 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/561/statm: 114282 837 46 122 0 113182 0
[pid=565] ppid=443 vsize=591048 CPUtime=0.4 cores=0-7
/proc/565/stat : 565 (python) S 443 443 32646 0 -1 4202560 1183 0 0 0 21 19 0 0 19 0 2 0 668248620 605233152 6389 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917557707 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/565/statm: 147762 6389 402 364 0 83608 0
[pid=567] ppid=565 vsize=335996 CPUtime=99.33 cores=0-7
/proc/567/stat : 567 (iPAWS) T 565 567 567 0 -1 4202496 1602 0 0 0 9933 0 0 0 25 0 1 0 668248620 344059904 1319 33554432000 134512640 135114423 4292676160 18446744073709551615 134516646 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/567/statm: 83999 1319 59 147 0 83851 0
[pid=565/tid=572] ppid=443 vsize=591048 CPUtime=0 cores=0-7
/proc/565/task/572/stat : 572 (python) S 443 443 32646 0 -1 4202560 84 0 0 0 0 0 0 0 19 0 2 0 668258562 605233152 6389 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 514 18446604465768768512 0 0 -1 6 0 0 0
[pid=575] ppid=443 vsize=601304 CPUtime=0.31 cores=0-7
/proc/575/stat : 575 (python) S 443 443 32646 0 -1 4202560 992 0 0 0 15 16 0 0 18 0 1 0 668259202 615735296 6323 33554432000 4194304 5683644 140733372440368 18446744073709551615 218905751110 0 0 16781312 514 10316480108910575879 0 0 17 7 0 0 0
/proc/575/statm: 150326 6323 373 364 0 86169 0
[pid=577] ppid=575 vsize=335996 CPUtime=73.04 cores=0-7
/proc/577/stat : 577 (iPAWS) R 575 577 577 0 -1 4202496 1602 0 0 0 7304 0 0 0 25 0 1 0 668259202 344059904 1320 33554432000 134512640 135114423 4289675536 18446744073709551615 134515649 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/577/statm: 83999 1320 59 147 0 83851 0
[pid=443/tid=450] ppid=441 vsize=611548 CPUtime=599.25 cores=0-7
/proc/443/task/450/stat : 450 (python) S 441 443 32646 0 -1 4202560 25 10575 0 0 0 0 59809 116 21 0 27 0 668189652 626225152 7882 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 0 0 0 0
[pid=443/tid=453] ppid=441 vsize=611548 CPUtime=599.25 cores=0-7
/proc/443/task/453/stat : 453 (python) S 441 443 32646 0 -1 4202560 26 10575 0 0 0 0 59809 116 18 0 27 0 668189655 626225152 7882 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 3 0 0 0
[pid=443/tid=456] ppid=441 vsize=611548 CPUtime=599.25 cores=0-7
/proc/443/task/456/stat : 456 (python) S 441 443 32646 0 -1 4202560 94 10575 0 0 0 0 59809 116 18 0 27 0 668189658 626225152 7882 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 6 0 0 0
[pid=443/tid=467] ppid=441 vsize=611548 CPUtime=599.25 cores=0-7
/proc/443/task/467/stat : 467 (python) S 441 443 32646 0 -1 4202560 37 10575 0 0 0 0 59809 116 18 0 27 0 668189661 626225152 7882 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 5 0 0 0
[pid=443/tid=472] ppid=441 vsize=611548 CPUtime=599.25 cores=0-7
/proc/443/task/472/stat : 472 (python) S 441 443 32646 0 -1 4202560 39 10575 0 0 0 0 59809 116 18 0 27 0 668189664 626225152 7882 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 0 0 0 0
[pid=443/tid=475] ppid=441 vsize=611548 CPUtime=599.25 cores=0-7
/proc/443/task/475/stat : 475 (python) S 441 443 32646 0 -1 4202560 31 10575 0 0 0 0 59809 116 20 0 27 0 668189667 626225152 7882 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 7 0 0 0
[pid=443/tid=478] ppid=441 vsize=611548 CPUtime=599.25 cores=0-7
/proc/443/task/478/stat : 478 (python) S 441 443 32646 0 -1 4202560 40 10575 0 0 0 0 59809 116 18 0 27 0 668189670 626225152 7882 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 1 0 0 0
[pid=443/tid=481] ppid=441 vsize=611548 CPUtime=599.25 cores=0-7
/proc/443/task/481/stat : 481 (python) S 441 443 32646 0 -1 4202560 41 10575 0 0 0 0 59809 116 18 0 27 0 668189673 626225152 7882 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 1 0 0 0
[pid=443/tid=488] ppid=441 vsize=611548 CPUtime=599.25 cores=0-7
/proc/443/task/488/stat : 488 (python) S 441 443 32646 0 -1 4202560 47 10575 0 0 0 0 59809 116 18 0 27 0 668199695 626225152 7882 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 2 0 0 0
[pid=443/tid=493] ppid=441 vsize=611548 CPUtime=599.25 cores=0-7
/proc/443/task/493/stat : 493 (python) S 441 443 32646 0 -1 4202560 40 10575 0 0 0 0 59809 116 18 0 27 0 668199700 626225152 7882 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 6 0 0 0
[pid=443/tid=498] ppid=441 vsize=611548 CPUtime=599.25 cores=0-7
/proc/443/task/498/stat : 498 (python) S 441 443 32646 0 -1 4202560 49 10575 0 0 0 0 59809 116 15 0 27 0 668199704 626225152 7882 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 1 0 0 0
[pid=443/tid=502] ppid=441 vsize=611548 CPUtime=599.25 cores=0-7
/proc/443/task/502/stat : 502 (python) S 441 443 32646 0 -1 4202560 32 10575 0 0 0 0 59809 116 25 0 27 0 668199708 626225152 7882 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 4 0 0 0
[pid=443/tid=506] ppid=441 vsize=611548 CPUtime=599.25 cores=0-7
/proc/443/task/506/stat : 506 (python) S 441 443 32646 0 -1 4202560 44 10575 0 0 0 0 59809 116 18 0 27 0 668199712 626225152 7882 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 2 0 0 0
[pid=443/tid=510] ppid=441 vsize=611548 CPUtime=599.25 cores=0-7
/proc/443/task/510/stat : 510 (python) S 441 443 32646 0 -1 4202560 42 10575 0 0 0 0 59809 116 18 0 27 0 668199717 626225152 7882 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 0 0 0 0
[pid=443/tid=513] ppid=441 vsize=611548 CPUtime=599.25 cores=0-7
/proc/443/task/513/stat : 513 (python) S 441 443 32646 0 -1 4202560 33 10575 0 0 0 0 59809 116 25 0 27 0 668199722 626225152 7882 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 2 0 0 0
[pid=443/tid=516] ppid=441 vsize=611548 CPUtime=599.25 cores=0-7
/proc/443/task/516/stat : 516 (python) S 441 443 32646 0 -1 4202560 40 10575 0 0 0 0 59809 116 18 0 27 0 668199727 626225152 7882 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 2 0 0 0
[pid=443/tid=522] ppid=441 vsize=611548 CPUtime=599.25 cores=0-7
/proc/443/task/522/stat : 522 (python) S 441 443 32646 0 -1 4202560 33 10575 0 0 0 0 59809 116 19 0 27 0 668209738 626225152 7882 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 2 0 0 0
[pid=443/tid=526] ppid=441 vsize=611548 CPUtime=599.25 cores=0-7
/proc/443/task/526/stat : 526 (python) S 441 443 32646 0 -1 4202560 38 10575 0 0 0 0 59809 116 18 0 27 0 668209745 626225152 7882 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 2 0 0 0
[pid=443/tid=538] ppid=441 vsize=611548 CPUtime=599.25 cores=0-7
/proc/443/task/538/stat : 538 (python) S 441 443 32646 0 -1 4202560 46 10575 0 0 0 0 59809 116 20 0 27 0 668220098 626225152 7882 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 1 0 0 0
[pid=443/tid=544] ppid=441 vsize=611548 CPUtime=599.25 cores=0-7
/proc/443/task/544/stat : 544 (python) S 441 443 32646 0 -1 4202560 43 10575 0 0 0 0 59809 116 18 0 27 0 668229083 626225152 7882 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 2 0 0 0
[pid=443/tid=547] ppid=441 vsize=611548 CPUtime=599.25 cores=0-7
/proc/443/task/547/stat : 547 (python) S 441 443 32646 0 -1 4202560 41 10575 0 0 0 0 59809 116 18 0 27 0 668229370 626225152 7882 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 2 0 0 0
[pid=443/tid=550] ppid=441 vsize=611548 CPUtime=599.25 cores=0-7
/proc/443/task/550/stat : 550 (python) S 441 443 32646 0 -1 4202560 34 10575 0 0 0 0 59809 116 19 0 27 0 668229526 626225152 7882 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 3 0 0 0
[pid=443/tid=557] ppid=441 vsize=611548 CPUtime=599.25 cores=0-7
/proc/443/task/557/stat : 557 (python) S 441 443 32646 0 -1 4202560 42 10575 0 0 0 0 59809 116 20 0 27 0 668239478 626225152 7882 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 0 0 0 0
[pid=443/tid=560] ppid=441 vsize=611548 CPUtime=599.25 cores=0-7
/proc/443/task/560/stat : 560 (python) S 441 443 32646 0 -1 4202560 31 10575 0 0 0 0 59809 116 19 0 27 0 668239889 626225152 7882 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 7 0 0 0
[pid=443/tid=566] ppid=441 vsize=611548 CPUtime=599.25 cores=0-7
/proc/443/task/566/stat : 566 (python) S 441 443 32646 0 -1 4202560 35 10575 0 0 0 0 59809 116 20 0 27 0 668248620 626225152 7882 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 0 0 0 0
[pid=443/tid=576] ppid=441 vsize=611548 CPUtime=599.25 cores=0-7
/proc/443/task/576/stat : 576 (python) S 441 443 32646 0 -1 4202560 40 10575 0 0 0 0 59809 116 20 0 27 0 668259202 626225152 7882 33554432000 4194304 5683644 140733372440368 18446744073709551615 218917554609 0 0 16781312 2 18446604453879800256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6157.46
Current children cumulated vsize (KiB) 18483268

Child status: 0
Real time (s): 774.674
CPU time (s): 6158.21
CPU user time (s): 6145.8
CPU system time (s): 12.4091
CPU usage (%): 794.942
Max. virtual memory (cumulated for all children) (KiB): 25130008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6145.8
system time used= 12.4091
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159077
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10695
involuntary context switches= 39910

runsolver used 8.60869 second user time and 18.7072 second system time

The end

Launcher Data 

Begin job on node137 at 2011-05-16 19:11:58
IDJOB=3385368
IDBENCH=82633
IDSOLVER=1870
FILE ID=node137/3385368-1305565918
RUNJOBID= node137-1305564962-32660
PBS_JOBID= 13350113
Free space on /tmp= 73664 MiB

SOLVER NAME= borg-sat 11.03.02-par-random (fixed)
BENCH NAME= SAT11/random/large/unif-k7-r85-v200-c17000-S335550727-070-UNKNOWN.cnf
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.random.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT -cores NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3385368-1305565918/watcher-3385368-1305565918 -o /tmp/evaluation-result-3385368-1305565918/solver-3385368-1305565918 -C 40000 -W 5100 -M 31000  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3385368-1305565918.cnf -seed 1473646545 -budget 40000 -cores 8

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= be984e6bbe5620bf919456b943096fcf
RANDOM SEED=1473646545

node137.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16051128 kB
Buffers:        326632 kB
Cached:        4385104 kB
SwapCached:      25020 kB
Active:        6917328 kB
Inactive:      9701660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16051128 kB
SwapTotal:    67111528 kB
SwapFree:     62248504 kB
Dirty:           32728 kB
Writeback:           0 kB
AnonPages:    11892492 kB
Mapped:          30836 kB
Slab:           139472 kB
PageTables:      68032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 146924196 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73632 MiB
End job on node137 at 2011-05-16 19:24:53