Trace number 3378149

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)? 4386.09 1106.77

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v30000-c126000-S913491256-073-UNKNOWN.cnf
MD5SUM785309e098f4d0ba8da3027c8426e931
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark245.957
Satisfiable
(Un)Satisfiability was proved
Number of variables30000
Number of clauses126000
Sum of the clauses size378000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3126000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.32/0.68	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.32/0.68	c INFO: solving HOME/instance-3378149-1305463176.cnf
0.32/0.68	c INFO: computing task features
0.81/1.11	c INFO: computed variable-clause graph statistics
0.81/1.13	c INFO: computed clause balance statistics
2.91/3.30	c INFO: computed variable balance statistics
4.70/5.04	c INFO: computed small-clause counts
4.70/5.05	c INFO: computed Horn-clause counts
5.90/6.22	c INFO: computed variable graph statistics
5.90/6.22	c INFO: collected features for HOME/instance-3378149-1305463176.cnf in 5.52 s
5.90/6.23	c INFO: running hybridGM3@0 for 97 with 1194 remaining (b = 0.38)
5.90/6.24	c INFO: running hybridGM3@0 for 97 with 1194 remaining (b = 0.23)
5.90/6.25	c INFO: running hybridGM3@0 for 97 with 1194 remaining (b = 0.15)
5.90/6.26	c INFO: running hybridGM3@0 for 194 with 1194 remaining (b = 0.20)
400.99/105.32	c INFO: running hybridGM3@0 for 97 with 1095 remaining (b = 0.09)
404.99/106.34	c INFO: running hybridGM3@0 for 97 with 1094 remaining (b = 0.09)
408.97/107.31	c INFO: running hybridGM3@0 for 97 with 1093 remaining (b = 0.09)
780.67/200.58	c INFO: running hybridGM3@101 for 97 with 1000 remaining (b = 0.09)
788.64/202.54	c INFO: running hybridGM3@94 for 97 with 998 remaining (b = 0.09)
792.68/203.57	c INFO: running hybridGM3@98 for 97 with 997 remaining (b = 0.09)
804.61/206.58	c INFO: running hybridGM3@100 for 97 with 994 remaining (b = 0.09)
1180.67/300.82	c INFO: running TNM@0 for 97 with 899 remaining (b = 0.11)
1180.67/300.83	c INFO: running hybridGM3@194 for 97 with 899 remaining (b = 0.08)
1192.21/303.78	c INFO: running hybridGM3@0 for 97 with 896 remaining (b = 0.08)
1192.59/303.83	c INFO: running hybridGM3@0 for 97 with 896 remaining (b = 0.05)
1560.23/396.09	c INFO: running hybridGM3@0 for 194 with 804 remaining (b = 0.08)
1580.08/401.09	c INFO: running hybridGM3@0 for 194 with 799 remaining (b = 0.06)
1595.54/404.93	c INFO: running hybridGM3@100 for 97 with 795 remaining (b = 0.03)
1595.54/404.97	c INFO: running hybridGM3@95 for 97 with 795 remaining (b = 0.03)
1998.18/506.19	c INFO: running hybridGM3@293 for 97 with 694 remaining (b = 0.02)
1998.57/506.24	c INFO: running TNM@0 for 97 with 694 remaining (b = 0.02)
2341.48/592.47	c INFO: running hybridGM3@100 for 97 with 608 remaining (b = 0.03)
2365.41/598.46	c INFO: running hybridGM3@100 for 97 with 602 remaining (b = 0.03)
2393.59/605.52	c INFO: running hybridGM3@0 for 194 with 595 remaining (b = 0.05)
2401.54/607.50	c INFO: running hybridGM3@0 for 194 with 593 remaining (b = 0.04)
2744.41/693.75	c INFO: running hybridGM3@295 for 97 with 506 remaining (b = 0.02)
2768.27/699.73	c INFO: running TNM@196 for 500 with 500 remaining (b = 0.08)
3123.17/788.99	c INFO: running TNM@0 for 97 with 411 remaining (b = 0.02)
3178.47/802.90	c INFO: running hybridGM3@101 for 97 with 397 remaining (b = 0.02)
3186.41/804.87	c INFO: running hybridGM3@99 for 97 with 395 remaining (b = 0.02)
3522.20/889.25	c INFO: running hybridGM3@0 for 194 with 311 remaining (b = 0.03)
3581.47/904.16	c INFO: running hybridGM3@297 for 97 with 296 remaining (b = 0.01)
3589.39/906.12	c INFO: running TNM@0 for 97 with 294 remaining (b = 0.01)
3959.78/999.42	c INFO: running hybridGM3@393 for 97 with 201 remaining (b = 0.01)
3987.18/1006.40	c INFO: running TNM@0 for 97 with 194 remaining (b = 0.01)
4305.83/1086.64	c INFO: running hybridGM3@99 for 114 with 114 remaining (b = 0.01)
4345.53/1096.70	c INFO: running hybridGM3@395 for 103 with 103 remaining (b = 0.01)
4385.61/1106.74	s UNKNOWN

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

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-3378149-1305463176/watcher-3378149-1305463176 -o /tmp/evaluation-result-3378149-1305463176/solver-3378149-1305463176 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3378149-1305463176.cnf -seed 848847502 -budget 4800 -cores 4 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.20 7.29 5.25 5/345 31340
/proc/meminfo: memFree=11214336/32951124 swapFree=66050672/67111528
[pid=31340] ppid=31338 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/31340/stat : 31340 (python) R 31338 31340 30970 0 -1 4202496 902 0 0 0 0 0 0 0 25 0 1 0 657915536 16154624 783 33554432000 4194304 5683644 140737406947840 18446744073709551615 4426576 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/31340/statm: 3944 783 345 364 0 431 0

[startup+0.034849 s]
/proc/loadavg: 8.20 7.29 5.25 5/345 31340
/proc/meminfo: memFree=11214336/32951124 swapFree=66050672/67111528
[pid=31340] ppid=31338 vsize=16812 CPUtime=0.01 cores=0,2,4,6
/proc/31340/stat : 31340 (python) S 31338 31340 30970 0 -1 4202496 1228 0 0 0 1 0 0 0 25 0 1 0 657915536 17215488 1086 33554432000 4194304 5683644 140737406947840 18446744073709551615 255377299456 0 2147483391 16781312 2 18446744071699453118 0 0 17 4 0 0 0
/proc/31340/statm: 4203 1087 418 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16812

[startup+0.100839 s]
/proc/loadavg: 8.20 7.29 5.25 5/345 31340
/proc/meminfo: memFree=11214336/32951124 swapFree=66050672/67111528
[pid=31340] ppid=31338 vsize=89768 CPUtime=0.06 cores=0,2,4,6
/proc/31340/stat : 31340 (python) R 31338 31340 30970 0 -1 4202496 2672 0 0 0 5 1 0 0 17 0 1 0 657915536 91922432 2388 33554432000 4194304 5683644 140737406947840 18446744073709551615 255377299456 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/31340/statm: 22442 2388 750 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 89768

[startup+0.300795 s]
/proc/loadavg: 8.20 7.29 5.25 5/345 31340
/proc/meminfo: memFree=11214336/32951124 swapFree=66050672/67111528
[pid=31340] ppid=31338 vsize=135748 CPUtime=0.18 cores=0,2,4,6
/proc/31340/stat : 31340 (python) R 31338 31340 30970 0 -1 4202496 5964 935 1 0 13 5 0 0 17 0 1 0 657915536 139005952 4151 33554432000 4194304 5683644 140737406947840 18446744073709551615 255377297413 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/31340/statm: 33937 4151 1032 364 0 3123 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 135748

[startup+0.700762 s]
/proc/loadavg: 8.20 7.29 5.25 5/345 31340
/proc/meminfo: memFree=11214336/32951124 swapFree=66050672/67111528
[pid=31340] ppid=31338 vsize=281712 CPUtime=0.4 cores=0,2,4,6
/proc/31340/stat : 31340 (python) R 31338 31340 30970 0 -1 4202496 10064 935 1 0 30 10 0 0 16 0 1 0 657915536 288473088 7746 33554432000 4194304 5683644 140737406947840 18446744073709551615 47728378564159 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/31340/statm: 70428 7746 1761 364 0 6352 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 281712

[startup+1.50061 s]
/proc/loadavg: 8.20 7.29 5.25 6/346 31345
/proc/meminfo: memFree=11170664/32951124 swapFree=66050672/67111528
[pid=31340] ppid=31338 vsize=307972 CPUtime=1.2 cores=0,2,4,6
/proc/31340/stat : 31340 (python) R 31338 31340 30970 0 -1 4202496 20141 935 1 0 109 11 0 0 17 0 1 0 657915536 315363328 14378 33554432000 4194304 5683644 140737406947840 18446744073709551615 47728207663225 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/31340/statm: 76993 14378 1826 364 0 12917 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 307972

[startup+3.10031 s]
/proc/loadavg: 8.02 7.27 5.26 6/346 31345
/proc/meminfo: memFree=11160248/32951124 swapFree=66050672/67111528
[pid=31340] ppid=31338 vsize=307972 CPUtime=2.8 cores=0,2,4,6
/proc/31340/stat : 31340 (python) R 31338 31340 30970 0 -1 4202496 20141 935 1 0 269 11 0 0 19 0 1 0 657915536 315363328 14378 33554432000 4194304 5683644 140737406947840 18446744073709551615 4662178 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/31340/statm: 76993 14378 1826 364 0 12917 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 307972

[startup+6.30068 s]
/proc/loadavg: 8.02 7.27 5.26 6/346 31345
/proc/meminfo: memFree=11161012/32951124 swapFree=66050672/67111528
[pid=31340] ppid=31338 vsize=346660 CPUtime=5.96 cores=0,2,4,6
/proc/31340/stat : 31340 (python) S 31338 31340 30970 0 -1 4202496 22958 935 1 0 584 12 0 0 20 0 5 0 657915536 354979840 13862 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389128139 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31340/statm: 86665 13862 1881 364 0 22574 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 346660

[startup+12.7015 s]
/proc/loadavg: 8.10 7.31 5.29 9/358 31357
/proc/meminfo: memFree=11032360/32951124 swapFree=66050672/67111528
[pid=31340] ppid=31338 vsize=346660 CPUtime=5.96 cores=0,2,4,6
/proc/31340/stat : 31340 (python) S 31338 31340 30970 0 -1 4202496 22958 935 1 0 584 12 0 0 20 0 5 0 657915536 354979840 13862 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389128139 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31340/statm: 86665 13862 1881 364 0 22574 0
[pid=31346] ppid=31340 vsize=305648 CPUtime=0.01 cores=0,2,4,6
/proc/31346/stat : 31346 (python) S 31340 31340 30970 0 -1 4202560 881 0 0 0 1 0 0 0 18 0 1 0 657916159 312983552 12341 33554432000 4194304 5683644 140737406947840 18446744073709551615 255377321487 0 0 16781312 514 7166009039086649601 0 0 17 6 0 0 0
/proc/31346/statm: 76412 12341 376 364 0 12330 0
[pid=31348] ppid=31346 vsize=268424 CPUtime=6.43 cores=0,2,4,6
/proc/31348/stat : 31348 (hybridGM3) R 31346 31348 31348 0 -1 4202496 7616 0 0 0 642 1 0 0 25 0 1 0 657916160 274866176 7351 33554432000 134512640 135204385 4291081712 18446744073709551615 134536843 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/31348/statm: 67106 7351 64 169 0 66936 0
[pid=31349] ppid=31340 vsize=315904 CPUtime=0 cores=0,2,4,6
/proc/31349/stat : 31349 (python) S 31340 31340 30970 0 -1 4202560 901 0 0 0 0 0 0 0 18 0 1 0 657916160 323485696 12339 33554432000 4194304 5683644 140737406947840 18446744073709551615 255377321542 0 0 16781312 514 1788686344994652418 0 0 17 4 0 0 0
/proc/31349/statm: 78976 12339 370 364 0 14891 0
[pid=31351] ppid=31349 vsize=268420 CPUtime=6.45 cores=0,2,4,6
/proc/31351/stat : 31351 (hybridGM3) R 31349 31351 31351 0 -1 4202496 7609 0 0 0 644 1 0 0 25 0 1 0 657916161 274862080 7347 33554432000 134512640 135204385 4287606032 18446744073709551615 134537224 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/31351/statm: 67105 7347 64 169 0 66935 0
[pid=31352] ppid=31340 vsize=326160 CPUtime=0.01 cores=0,2,4,6
/proc/31352/stat : 31352 (python) S 31340 31340 30970 0 -1 4202560 909 0 0 0 0 1 0 0 18 0 1 0 657916161 333987840 12343 33554432000 4194304 5683644 140737406947840 18446744073709551615 255377321542 0 0 16781312 514 15910658935887986946 0 0 17 6 0 0 0
/proc/31352/statm: 81540 12343 370 364 0 17452 0
[pid=31354] ppid=31352 vsize=268420 CPUtime=6.43 cores=0,2,4,6
/proc/31354/stat : 31354 (hybridGM3) R 31352 31354 31354 0 -1 4202496 7609 0 0 0 642 1 0 0 25 0 1 0 657916162 274862080 7348 33554432000 134512640 135204385 4294138608 18446744073709551615 134546073 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/31354/statm: 67105 7348 64 169 0 66935 0
[pid=31355] ppid=31340 vsize=336416 CPUtime=0.01 cores=0,2,4,6
/proc/31355/stat : 31355 (python) S 31340 31340 30970 0 -1 4202560 912 0 0 0 0 1 0 0 18 0 1 0 657916162 344489984 12347 33554432000 4194304 5683644 140737406947840 18446744073709551615 255377321542 0 0 16781312 514 4229297593936478466 0 0 17 4 0 0 0
/proc/31355/statm: 84104 12347 370 364 0 20013 0
[pid=31357] ppid=31355 vsize=268424 CPUtime=6.33 cores=0,2,4,6
/proc/31357/stat : 31357 (hybridGM3) R 31355 31357 31357 0 -1 4202496 7611 0 0 0 632 1 0 0 25 0 1 0 657916163 274866176 7351 33554432000 134512640 135204385 4290785776 18446744073709551615 134545851 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/31357/statm: 67106 7351 64 169 0 66936 0
[pid=31340/tid=31347] ppid=31338 vsize=346660 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31347/stat : 31347 (python) S 31338 31340 30970 0 -1 4202560 24 935 0 0 0 0 0 0 25 0 5 0 657916159 354979840 13862 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 6 0 0 0
[pid=31340/tid=31350] ppid=31338 vsize=346660 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31350/stat : 31350 (python) S 31338 31340 30970 0 -1 4202560 24 935 0 0 0 0 0 0 20 0 5 0 657916160 354979840 13862 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 6 0 0 0
[pid=31340/tid=31353] ppid=31338 vsize=346660 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31353/stat : 31353 (python) S 31338 31340 30970 0 -1 4202560 22 935 0 0 0 0 0 0 22 0 5 0 657916162 354979840 13862 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 6 0 0 0
[pid=31340/tid=31356] ppid=31338 vsize=346660 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31356/stat : 31356 (python) S 31338 31340 30970 0 -1 4202560 26 935 0 0 0 0 0 0 20 0 5 0 657916163 354979840 13862 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 31.63
Current children cumulated vsize (KiB) 2704476

[startup+25.5011 s]
/proc/loadavg: 8.24 7.36 5.33 9/358 31357
/proc/meminfo: memFree=11032748/32951124 swapFree=66050672/67111528
[pid=31340] ppid=31338 vsize=346660 CPUtime=5.96 cores=0,2,4,6
/proc/31340/stat : 31340 (python) S 31338 31340 30970 0 -1 4202496 22958 935 1 0 584 12 0 0 20 0 5 0 657915536 354979840 13862 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389128139 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31340/statm: 86665 13862 1881 364 0 22574 0
[pid=31346] ppid=31340 vsize=305648 CPUtime=0.03 cores=0,2,4,6
/proc/31346/stat : 31346 (python) S 31340 31340 30970 0 -1 4202560 888 0 0 0 2 1 0 0 18 0 1 0 657916159 312983552 12341 33554432000 4194304 5683644 140737406947840 18446744073709551615 255377321487 0 0 16781312 514 10652191795196166401 0 0 17 6 0 0 0
/proc/31346/statm: 76412 12341 376 364 0 12330 0
[pid=31348] ppid=31346 vsize=268424 CPUtime=19.17 cores=0,2,4,6
/proc/31348/stat : 31348 (hybridGM3) R 31346 31348 31348 0 -1 4202496 7616 0 0 0 1916 1 0 0 25 0 1 0 657916160 274866176 7351 33554432000 134512640 135204385 4291081712 18446744073709551615 134537440 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/31348/statm: 67106 7351 64 169 0 66936 0
[pid=31349] ppid=31340 vsize=315904 CPUtime=0.03 cores=0,2,4,6
/proc/31349/stat : 31349 (python) S 31340 31340 30970 0 -1 4202560 907 0 0 0 2 1 0 0 18 0 1 0 657916160 323485696 12339 33554432000 4194304 5683644 140737406947840 18446744073709551615 255377321542 0 0 16781312 514 10652191795196166402 0 0 17 4 0 0 0
/proc/31349/statm: 78976 12339 370 364 0 14891 0
[pid=31351] ppid=31349 vsize=268420 CPUtime=19.25 cores=0,2,4,6
/proc/31351/stat : 31351 (hybridGM3) R 31349 31351 31351 0 -1 4202496 7609 0 0 0 1924 1 0 0 25 0 1 0 657916161 274862080 7347 33554432000 134512640 135204385 4287606032 18446744073709551615 134536698 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/31351/statm: 67105 7347 64 169 0 66935 0
[pid=31352] ppid=31340 vsize=326160 CPUtime=0.04 cores=0,2,4,6
/proc/31352/stat : 31352 (python) S 31340 31340 30970 0 -1 4202560 916 0 0 0 1 3 0 0 18 0 1 0 657916161 333987840 12343 33554432000 4194304 5683644 140737406947840 18446744073709551615 255377321542 0 0 16781312 514 10652191795196166402 0 0 17 6 0 0 0
/proc/31352/statm: 81540 12343 370 364 0 17452 0
[pid=31354] ppid=31352 vsize=268420 CPUtime=19.23 cores=0,2,4,6
/proc/31354/stat : 31354 (hybridGM3) R 31352 31354 31354 0 -1 4202496 7609 0 0 0 1922 1 0 0 25 0 1 0 657916162 274862080 7348 33554432000 134512640 135204385 4294138608 18446744073709551615 134536641 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/31354/statm: 67105 7348 64 169 0 66935 0
[pid=31355] ppid=31340 vsize=336416 CPUtime=0.03 cores=0,2,4,6
/proc/31355/stat : 31355 (python) S 31340 31340 30970 0 -1 4202560 919 0 0 0 1 2 0 0 18 0 1 0 657916162 344489984 12347 33554432000 4194304 5683644 140737406947840 18446744073709551615 255377321542 0 0 16781312 514 10652191795196166402 0 0 17 4 0 0 0
/proc/31355/statm: 84104 12347 370 364 0 20013 0
[pid=31357] ppid=31355 vsize=268424 CPUtime=18.92 cores=0,2,4,6
/proc/31357/stat : 31357 (hybridGM3) R 31355 31357 31357 0 -1 4202496 7611 0 0 0 1891 1 0 0 25 0 1 0 657916163 274866176 7351 33554432000 134512640 135204385 4290785776 18446744073709551615 134537167 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/31357/statm: 67106 7351 64 169 0 66936 0
[pid=31340/tid=31347] ppid=31338 vsize=346660 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31347/stat : 31347 (python) S 31338 31340 30970 0 -1 4202560 24 935 0 0 0 0 0 0 25 0 5 0 657916159 354979840 13862 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 6 0 0 0
[pid=31340/tid=31350] ppid=31338 vsize=346660 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31350/stat : 31350 (python) S 31338 31340 30970 0 -1 4202560 24 935 0 0 0 0 0 0 20 0 5 0 657916160 354979840 13862 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 6 0 0 0
[pid=31340/tid=31353] ppid=31338 vsize=346660 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31353/stat : 31353 (python) S 31338 31340 30970 0 -1 4202560 22 935 0 0 0 0 0 0 22 0 5 0 657916162 354979840 13862 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 6 0 0 0
[pid=31340/tid=31356] ppid=31338 vsize=346660 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31356/stat : 31356 (python) S 31338 31340 30970 0 -1 4202560 26 935 0 0 0 0 0 0 20 0 5 0 657916163 354979840 13862 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 82.66
Current children cumulated vsize (KiB) 2704476

[startup+51.1014 s]
/proc/loadavg: 8.23 7.43 5.41 9/363 31363
/proc/meminfo: memFree=11003404/32951124 swapFree=66050672/67111528
[pid=31340] ppid=31338 vsize=346660 CPUtime=5.96 cores=0,2,4,6
/proc/31340/stat : 31340 (python) S 31338 31340 30970 0 -1 4202496 22958 935 1 0 584 12 0 0 20 0 5 0 657915536 354979840 13862 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389128139 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31340/statm: 86665 13862 1881 364 0 22574 0
[pid=31346] ppid=31340 vsize=305648 CPUtime=0.09 cores=0,2,4,6
/proc/31346/stat : 31346 (python) S 31340 31340 30970 0 -1 4202560 898 0 0 0 5 4 0 0 18 0 1 0 657916159 312983552 12341 33554432000 4194304 5683644 140737406947840 18446744073709551615 255377321487 0 0 16781312 514 10652191795196166401 0 0 17 6 0 0 0
/proc/31346/statm: 76412 12341 376 364 0 12330 0
[pid=31348] ppid=31346 vsize=268424 CPUtime=44.64 cores=0,2,4,6
/proc/31348/stat : 31348 (hybridGM3) R 31346 31348 31348 0 -1 4202496 7616 0 0 0 4463 1 0 0 25 0 1 0 657916160 274866176 7351 33554432000 134512640 135204385 4291081712 18446744073709551615 134537403 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/31348/statm: 67106 7351 64 169 0 66936 0
[pid=31349] ppid=31340 vsize=315904 CPUtime=0.1 cores=0,2,4,6
/proc/31349/stat : 31349 (python) S 31340 31340 30970 0 -1 4202560 919 0 0 0 6 4 0 0 18 0 1 0 657916160 323485696 12339 33554432000 4194304 5683644 140737406947840 18446744073709551615 255377321542 0 0 16781312 514 10652191795196166402 0 0 17 4 0 0 0
/proc/31349/statm: 78976 12339 370 364 0 14891 0
[pid=31351] ppid=31349 vsize=268420 CPUtime=44.84 cores=0,2,4,6
/proc/31351/stat : 31351 (hybridGM3) R 31349 31351 31351 0 -1 4202496 7609 0 0 0 4483 1 0 0 25 0 1 0 657916161 274862080 7347 33554432000 134512640 135204385 4287606032 18446744073709551615 134537483 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/31351/statm: 67105 7347 64 169 0 66935 0
[pid=31352] ppid=31340 vsize=326160 CPUtime=0.1 cores=0,2,4,6
/proc/31352/stat : 31352 (python) S 31340 31340 30970 0 -1 4202560 925 0 0 0 4 6 0 0 18 0 1 0 657916161 333987840 12343 33554432000 4194304 5683644 140737406947840 18446744073709551615 255377321542 0 0 16781312 514 10652191795196166402 0 0 17 6 0 0 0
/proc/31352/statm: 81540 12343 370 364 0 17452 0
[pid=31354] ppid=31352 vsize=268420 CPUtime=44.83 cores=0,2,4,6
/proc/31354/stat : 31354 (hybridGM3) R 31352 31354 31354 0 -1 4202496 7609 0 0 0 4482 1 0 0 25 0 1 0 657916162 274862080 7348 33554432000 134512640 135204385 4294138608 18446744073709551615 134537272 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/31354/statm: 67105 7348 64 169 0 66935 0
[pid=31355] ppid=31340 vsize=336416 CPUtime=0.1 cores=0,2,4,6
/proc/31355/stat : 31355 (python) S 31340 31340 30970 0 -1 4202560 928 0 0 0 4 6 0 0 18 0 1 0 657916162 344489984 12347 33554432000 4194304 5683644 140737406947840 18446744073709551615 255377321542 0 0 16781312 514 10652191795196166402 0 0 17 4 0 0 0
/proc/31355/statm: 84104 12347 370 364 0 20013 0

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

[pid=31340/tid=31386] ppid=31338 vsize=469732 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31386/stat : 31386 (python) S 31338 31340 30970 0 -1 4202560 32 935 0 0 0 0 0 0 18 0 17 0 657945915 481005568 13935 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 4 0 0 0
[pid=31340/tid=31389] ppid=31338 vsize=469732 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31389/stat : 31389 (python) S 31338 31340 30970 0 -1 4202560 34 935 0 0 0 0 0 0 18 0 17 0 657945920 481005568 13935 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 4 0 0 0
[pid=31340/tid=31399] ppid=31338 vsize=469732 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31399/stat : 31399 (python) S 31338 31340 30970 0 -1 4202560 43 935 0 0 0 0 0 0 18 0 17 0 657955146 481005568 13935 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 4 0 0 0
[pid=31340/tid=31403] ppid=31338 vsize=469732 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31403/stat : 31403 (python) S 31338 31340 30970 0 -1 4202560 24 935 0 0 0 0 0 0 18 0 17 0 657955646 481005568 13935 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 4 0 0 0
[pid=31340/tid=31415] ppid=31338 vsize=469732 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31415/stat : 31415 (python) S 31338 31340 30970 0 -1 4202560 30 935 0 0 0 0 0 0 18 0 17 0 657966161 481005568 13935 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 4 0 0 0
[pid=31340/tid=31427] ppid=31338 vsize=469732 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31427/stat : 31427 (python) S 31338 31340 30970 0 -1 4202560 36 935 0 0 0 0 0 0 18 0 17 0 657976089 481005568 13935 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 4 0 0 0
[pid=31340/tid=31430] ppid=31338 vsize=469732 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31430/stat : 31430 (python) S 31338 31340 30970 0 -1 4202560 29 935 0 0 0 0 0 0 18 0 17 0 657976287 481005568 13935 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 4 0 0 0
[pid=31340/tid=31527] ppid=31338 vsize=469732 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31527/stat : 31527 (python) S 31338 31340 30970 0 -1 4202560 31 935 0 0 0 0 0 0 20 0 17 0 657994436 481005568 13935 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 4 0 0 0
[pid=31340/tid=31551] ppid=31338 vsize=469732 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31551/stat : 31551 (python) S 31338 31340 30970 0 -1 4202560 32 935 0 0 0 0 0 0 18 0 17 0 658004462 481005568 13935 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 4 0 0 0
[pid=31340/tid=31555] ppid=31338 vsize=469732 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31555/stat : 31555 (python) S 31338 31340 30970 0 -1 4202560 27 935 0 0 0 0 0 0 20 0 17 0 658006149 481005568 13935 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 4 0 0 0
[pid=31340/tid=31578] ppid=31338 vsize=469732 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31578/stat : 31578 (python) S 31338 31340 30970 0 -1 4202560 28 935 0 0 0 0 0 0 20 0 17 0 658016177 481005568 13935 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4383.99
Current children cumulated vsize (KiB) 11934648

[startup+1106.7 s]
/proc/loadavg: 8.27 8.20 7.31 9/435 31594
/proc/meminfo: memFree=10733580/32951124 swapFree=66050672/67111528
[pid=31340] ppid=31338 vsize=469732 CPUtime=597.47 cores=0,2,4,6
/proc/31340/stat : 31340 (python) S 31338 31340 30970 0 -1 4202496 35423 18457 1 0 614 17 59043 73 17 0 17 0 657915536 481005568 13935 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389131583 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31340/statm: 117433 13935 1906 364 0 53306 0
[pid=31346] ppid=31340 vsize=315892 CPUtime=1.57 cores=0,2,4,6
/proc/31346/stat : 31346 (python) S 31340 31340 30970 0 -1 4202560 1222 0 0 0 82 75 0 0 18 0 2 0 657916159 323473408 12386 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389128139 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/31346/statm: 78973 12386 416 364 0 14891 0
[pid=31348] ppid=31346 vsize=268424 CPUtime=587.06 cores=0,2,4,6
/proc/31348/stat : 31348 (hybridGM3) T 31346 31348 31348 0 -1 4202496 7616 0 0 0 58705 1 0 0 25 0 1 0 657916160 274866176 7351 33554432000 134512640 135204385 4291081712 18446744073709551615 134536744 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/31348/statm: 67106 7351 64 169 0 66936 0
[pid=31346/tid=31366] ppid=31340 vsize=315892 CPUtime=0 cores=0,2,4,6
/proc/31346/task/31366/stat : 31366 (python) S 31340 31340 30970 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 2 0 657926067 323473408 12386 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 514 18446604441696257856 0 0 -1 6 0 0 0
[pid=31355] ppid=31340 vsize=0 CPUtime=295.07 cores=0,2,4,6
/proc/31355/stat : 31355 (python) R 31340 31340 30970 0 -1 4202564 1176 7613 0 0 37 38 29431 1 17 0 1 0 657916162 0 0 33554432000 0 0 0 0 0 0 0 16781824 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31355/statm: 0 0 0 0 0 0 0
[pid=31382] ppid=31340 vsize=346672 CPUtime=0.26 cores=0,2,4,6
/proc/31382/stat : 31382 (python) S 31340 31340 30970 0 -1 4202560 1100 0 0 0 12 14 0 0 19 0 2 0 657945618 354992128 12381 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389128139 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/31382/statm: 86668 12381 399 364 0 22574 0
[pid=31384] ppid=31382 vsize=463080 CPUtime=100.2 cores=0,2,4,6
/proc/31384/stat : 31384 (TNM) T 31382 31384 31384 0 -1 4202496 5204 0 0 0 10020 0 0 0 25 0 1 0 657945619 474193920 4941 33554432000 134512640 135008748 4291046512 18446744073709551615 134527091 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/31384/statm: 115770 4941 46 122 0 114670 0
[pid=31382/tid=31401] ppid=31340 vsize=346672 CPUtime=0 cores=0,2,4,6
/proc/31382/task/31401/stat : 31401 (python) S 31340 31340 30970 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 657955644 354992128 12381 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 514 18446604453850499968 0 0 -1 0 0 0 0
[pid=31385] ppid=31340 vsize=356928 CPUtime=0.54 cores=0,2,4,6
/proc/31385/stat : 31385 (python) S 31340 31340 30970 0 -1 4202560 1145 0 0 0 27 27 0 0 18 0 2 0 657945915 365494272 12385 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389128139 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/31385/statm: 89232 12385 399 364 0 25135 0
[pid=31387] ppid=31385 vsize=268424 CPUtime=199.46 cores=0,2,4,6
/proc/31387/stat : 31387 (hybridGM3) T 31385 31387 31387 0 -1 4202496 7610 0 0 0 19946 0 0 0 25 0 1 0 657945915 274866176 7348 33554432000 134512640 135204385 4286715760 18446744073709551615 134536737 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/31387/statm: 67106 7348 64 169 0 66936 0
[pid=31385/tid=31406] ppid=31340 vsize=356928 CPUtime=0 cores=0,2,4,6
/proc/31385/task/31406/stat : 31406 (python) S 31340 31340 30970 0 -1 4202560 49 0 0 0 0 0 0 0 18 0 2 0 657956028 365494272 12385 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 514 18446604448118698048 0 0 -1 2 0 0 0
[pid=31388] ppid=31340 vsize=367184 CPUtime=0.53 cores=0,2,4,6
/proc/31388/stat : 31388 (python) S 31340 31340 30970 0 -1 4202560 1143 0 0 0 26 27 0 0 18 0 2 0 657945920 375996416 12389 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389128139 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/31388/statm: 91796 12389 399 364 0 27696 0
[pid=31390] ppid=31388 vsize=268420 CPUtime=199.69 cores=0,2,4,6
/proc/31390/stat : 31390 (hybridGM3) T 31388 31390 31390 0 -1 4202496 7610 0 0 0 19968 1 0 0 25 0 1 0 657945920 274862080 7350 33554432000 134512640 135204385 4289266512 18446744073709551615 134536993 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/31390/statm: 67105 7350 64 169 0 66935 0
[pid=31388/tid=31407] ppid=31340 vsize=367184 CPUtime=0 cores=0,2,4,6
/proc/31388/task/31407/stat : 31407 (python) S 31340 31340 30970 0 -1 4202560 48 0 0 0 0 0 0 0 18 0 2 0 657956033 375996416 12389 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 514 18446604453855270848 0 0 -1 6 0 0 0
[pid=31398] ppid=31340 vsize=377440 CPUtime=1.08 cores=0,2,4,6
/proc/31398/stat : 31398 (python) S 31340 31340 30970 0 -1 4202560 1194 0 0 0 56 52 0 0 18 0 2 0 657955145 386498560 12408 33554432000 4194304 5683644 140737406947840 18446744073709551615 255377321542 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/31398/statm: 94360 12408 414 364 0 30257 0
[pid=31400] ppid=31398 vsize=268428 CPUtime=398.38 cores=0,2,4,6
/proc/31400/stat : 31400 (hybridGM3) R 31398 31400 31400 0 -1 4202496 7616 0 0 0 39836 2 0 0 25 0 1 0 657955146 274870272 7349 33554432000 134512640 135204385 4288697728 18446744073709551615 134545979 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/31400/statm: 67107 7349 64 169 0 66937 0
[pid=31398/tid=31423] ppid=31340 vsize=377440 CPUtime=0 cores=0,2,4,6
/proc/31398/task/31423/stat : 31423 (python) S 31340 31340 30970 0 -1 4202560 50 0 0 0 0 0 0 0 18 0 2 0 657974782 386498560 12408 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 514 18446604435954264832 0 0 -1 4 0 0 0
[pid=31402] ppid=31340 vsize=387696 CPUtime=0.79 cores=0,2,4,6
/proc/31402/stat : 31402 (python) S 31340 31340 30970 0 -1 4202560 1192 0 0 0 43 36 0 0 15 0 2 0 657955645 397000704 12403 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389128139 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/31402/statm: 96924 12403 405 364 0 32818 0
[pid=31404] ppid=31402 vsize=268420 CPUtime=295.37 cores=0,2,4,6
/proc/31404/stat : 31404 (hybridGM3) T 31402 31404 31404 0 -1 4202496 7612 0 0 0 29535 2 0 0 25 0 1 0 657955646 274862080 7346 33554432000 134512640 135204385 4292386784 18446744073709551615 134537292 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/31404/statm: 67105 7346 64 169 0 66935 0
[pid=31402/tid=31424] ppid=31340 vsize=387696 CPUtime=0 cores=0,2,4,6
/proc/31402/task/31424/stat : 31424 (python) S 31340 31340 30970 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 657975382 397000704 12403 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 514 18446604435954263040 0 0 -1 4 0 0 0
[pid=31414] ppid=31340 vsize=397952 CPUtime=1.34 cores=0,2,4,6
/proc/31414/stat : 31414 (python) S 31340 31340 30970 0 -1 4202560 1174 0 0 0 65 69 0 0 18 0 2 0 657966161 407502848 12401 33554432000 4194304 5683644 140737406947840 18446744073709551615 255377321542 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/31414/statm: 99488 12401 399 364 0 35379 0
[pid=31416] ppid=31414 vsize=463080 CPUtime=505.52 cores=0,2,4,6
/proc/31416/stat : 31416 (TNM) R 31414 31416 31416 0 -1 4202496 5206 0 0 0 50551 1 0 0 25 0 1 0 657966161 474193920 4942 33554432000 134512640 135008748 4291970224 18446744073709551615 134527729 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/31416/statm: 115770 4942 46 122 0 114670 0
[pid=31414/tid=31425] ppid=31340 vsize=397952 CPUtime=0 cores=0,2,4,6
/proc/31414/task/31425/stat : 31425 (python) S 31340 31340 30970 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 657976088 407502848 12401 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 514 18446604453841394560 0 0 -1 0 0 0 0
[pid=31426] ppid=31340 vsize=408208 CPUtime=1.03 cores=0,2,4,6
/proc/31426/stat : 31426 (python) S 31340 31340 30970 0 -1 4202560 1177 0 0 0 55 48 0 0 18 0 2 0 657976089 418004992 12405 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389128139 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/31426/statm: 102052 12405 399 364 0 37940 0
[pid=31428] ppid=31426 vsize=268424 CPUtime=388.34 cores=0,2,4,6
/proc/31428/stat : 31428 (hybridGM3) T 31426 31428 31428 0 -1 4202496 7617 0 0 0 38828 6 0 0 25 0 1 0 657976089 274866176 7352 33554432000 134512640 135204385 4294318480 18446744073709551615 134536986 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/31428/statm: 67106 7352 64 169 0 66936 0
[pid=31426/tid=31529] ppid=31340 vsize=408208 CPUtime=0 cores=0,2,4,6
/proc/31426/task/31529/stat : 31529 (python) S 31340 31340 30970 0 -1 4202560 49 0 0 0 0 0 0 0 18 0 2 0 657995825 418004992 12405 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 514 18446604438698890304 0 0 -1 2 0 0 0
[pid=31429] ppid=31340 vsize=418464 CPUtime=0.77 cores=0,2,4,6
/proc/31429/stat : 31429 (python) S 31340 31340 30970 0 -1 4202560 1180 0 0 0 41 36 0 0 18 0 2 0 657976287 428507136 12409 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389128139 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/31429/statm: 104616 12409 399 364 0 40501 0
[pid=31431] ppid=31429 vsize=268420 CPUtime=296.76 cores=0,2,4,6
/proc/31431/stat : 31431 (hybridGM3) T 31429 31431 31431 0 -1 4202496 7623 0 0 0 29675 1 0 0 25 0 1 0 657976287 274862080 7352 33554432000 134512640 135204385 4291818576 18446744073709551615 134545979 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/31431/statm: 67105 7352 64 169 0 66935 0
[pid=31429/tid=31530] ppid=31340 vsize=418464 CPUtime=0 cores=0,2,4,6
/proc/31429/task/31530/stat : 31530 (python) S 31340 31340 30970 0 -1 4202560 48 0 0 0 0 0 0 0 18 0 2 0 657996022 428507136 12409 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 514 18446604438698889408 0 0 -1 4 0 0 0
[pid=31526] ppid=31340 vsize=428720 CPUtime=0.25 cores=0,2,4,6
/proc/31526/stat : 31526 (python) S 31340 31340 30970 0 -1 4202560 1130 0 0 0 13 12 0 0 19 0 2 0 657994435 439009280 12413 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389128139 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/31526/statm: 107180 12413 399 364 0 43062 0
[pid=31528] ppid=31526 vsize=463080 CPUtime=99.93 cores=0,2,4,6
/proc/31528/stat : 31528 (TNM) T 31526 31528 31528 0 -1 4202496 5214 0 0 0 9992 1 0 0 25 0 1 0 657994436 474193920 4942 33554432000 134512640 135008748 4287325536 18446744073709551615 134527795 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/31528/statm: 115770 4942 46 122 0 114670 0
[pid=31526/tid=31549] ppid=31340 vsize=428720 CPUtime=0 cores=0,2,4,6
/proc/31526/task/31549/stat : 31549 (python) S 31340 31340 30970 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 658004461 439009280 12413 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 514 18446604437821636800 0 0 -1 2 0 0 0
[pid=31550] ppid=31340 vsize=438976 CPUtime=0.58 cores=0,2,4,6
/proc/31550/stat : 31550 (python) S 31340 31340 30970 0 -1 4202560 1186 0 0 0 31 27 0 0 18 0 2 0 658004462 449511424 12417 33554432000 4194304 5683644 140737406947840 18446744073709551615 255377321542 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/31550/statm: 109744 12417 399 364 0 45623 0
[pid=31552] ppid=31550 vsize=268424 CPUtime=216.49 cores=0,2,4,6
/proc/31552/stat : 31552 (hybridGM3) R 31550 31552 31552 0 -1 4202496 7618 0 0 0 21648 1 0 0 25 0 1 0 658004462 274866176 7348 33554432000 134512640 135204385 4291519872 18446744073709551615 134536663 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/31552/statm: 67106 7348 64 169 0 66936 0
[pid=31550/tid=31594] ppid=31340 vsize=438976 CPUtime=0 cores=0,2,4,6
/proc/31550/task/31594/stat : 31594 (python) S 31340 31340 30970 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 658024199 449511424 12417 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 514 18446604436123775232 0 0 -1 2 0 0 0
[pid=31554] ppid=31340 vsize=449232 CPUtime=0.27 cores=0,2,4,6
/proc/31554/stat : 31554 (python) S 31340 31340 30970 0 -1 4202560 1201 0 0 0 14 13 0 0 19 0 2 0 658006149 460013568 12428 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389128139 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/31554/statm: 112308 12428 406 364 0 48184 0
[pid=31556] ppid=31554 vsize=463080 CPUtime=99.53 cores=0,2,4,6
/proc/31556/stat : 31556 (TNM) T 31554 31556 31556 0 -1 4202496 5216 0 0 0 9953 0 0 0 25 0 1 0 658006149 474193920 4941 33554432000 134512640 135008748 4287897136 18446744073709551615 134529448 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/31556/statm: 115770 4941 46 122 0 114670 0
[pid=31554/tid=31576] ppid=31340 vsize=449232 CPUtime=0 cores=0,2,4,6
/proc/31554/task/31576/stat : 31576 (python) S 31340 31340 30970 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 658016175 460013568 12428 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 514 18446604436123777024 0 0 -1 4 0 0 0
[pid=31577] ppid=31340 vsize=459488 CPUtime=0.28 cores=0,2,4,6
/proc/31577/stat : 31577 (python) S 31340 31340 30970 0 -1 4202560 1188 0 0 0 15 13 0 0 19 0 2 0 658016176 470515712 12433 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389128139 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/31577/statm: 114872 12433 407 364 0 50745 0
[pid=31579] ppid=31577 vsize=463080 CPUtime=97.05 cores=0,2,4,6
/proc/31579/stat : 31579 (TNM) T 31577 31579 31579 0 -1 4202496 5217 0 0 0 9705 0 0 0 25 0 1 0 658016177 474193920 4941 33554432000 134512640 135008748 4288338560 18446744073709551615 134527034 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/31579/statm: 115770 4941 46 122 0 114670 0
[pid=31340/tid=31347] ppid=31338 vsize=469732 CPUtime=591.16 cores=0,2,4,6
/proc/31340/task/31347/stat : 31347 (python) S 31338 31340 30970 0 -1 4202560 41 18457 0 0 0 0 59043 73 15 0 17 0 657916159 481005568 13935 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 6 0 0 0
[pid=31340/tid=31350] ppid=31338 vsize=469732 CPUtime=591.16 cores=0,2,4,6
/proc/31340/task/31350/stat : 31350 (python) S 31338 31340 30970 0 -1 4202560 28 18457 0 0 0 0 59043 73 18 0 17 0 657916160 481005568 13935 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 6 0 0 0
[pid=31340/tid=31353] ppid=31338 vsize=469732 CPUtime=591.16 cores=0,2,4,6
/proc/31340/task/31353/stat : 31353 (python) S 31338 31340 30970 0 -1 4202560 25 18457 0 0 0 0 59043 73 18 0 17 0 657916162 481005568 13935 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 6 0 0 0
[pid=31340/tid=31356] ppid=31338 vsize=469732 CPUtime=591.16 cores=0,2,4,6
/proc/31340/task/31356/stat : 31356 (python) S 31338 31340 30970 0 -1 4202560 26 18457 0 0 0 0 59043 73 18 0 17 0 657916163 481005568 13935 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 4 0 0 0
[pid=31340/tid=31383] ppid=31338 vsize=469732 CPUtime=591.16 cores=0,2,4,6
/proc/31340/task/31383/stat : 31383 (python) S 31338 31340 30970 0 -1 4202560 30 18457 0 0 0 0 59043 73 20 0 17 0 657945618 481005568 13935 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 4 0 0 0
[pid=31340/tid=31386] ppid=31338 vsize=469732 CPUtime=591.16 cores=0,2,4,6
/proc/31340/task/31386/stat : 31386 (python) S 31338 31340 30970 0 -1 4202560 32 18457 0 0 0 0 59043 73 18 0 17 0 657945915 481005568 13935 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 4 0 0 0
[pid=31340/tid=31389] ppid=31338 vsize=469732 CPUtime=591.16 cores=0,2,4,6
/proc/31340/task/31389/stat : 31389 (python) S 31338 31340 30970 0 -1 4202560 34 18457 0 0 0 0 59043 73 18 0 17 0 657945920 481005568 13935 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 4 0 0 0
[pid=31340/tid=31399] ppid=31338 vsize=469732 CPUtime=591.16 cores=0,2,4,6
/proc/31340/task/31399/stat : 31399 (python) S 31338 31340 30970 0 -1 4202560 43 18457 0 0 0 0 59043 73 18 0 17 0 657955146 481005568 13935 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 4 0 0 0
[pid=31340/tid=31403] ppid=31338 vsize=469732 CPUtime=591.16 cores=0,2,4,6
/proc/31340/task/31403/stat : 31403 (python) S 31338 31340 30970 0 -1 4202560 24 18457 0 0 0 0 59043 73 18 0 17 0 657955646 481005568 13935 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 4 0 0 0
[pid=31340/tid=31415] ppid=31338 vsize=469732 CPUtime=591.16 cores=0,2,4,6
/proc/31340/task/31415/stat : 31415 (python) S 31338 31340 30970 0 -1 4202560 30 18457 0 0 0 0 59043 73 18 0 17 0 657966161 481005568 13935 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 4 0 0 0
[pid=31340/tid=31427] ppid=31338 vsize=469732 CPUtime=591.16 cores=0,2,4,6
/proc/31340/task/31427/stat : 31427 (python) S 31338 31340 30970 0 -1 4202560 36 18457 0 0 0 0 59043 73 18 0 17 0 657976089 481005568 13935 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 4 0 0 0
[pid=31340/tid=31430] ppid=31338 vsize=469732 CPUtime=591.16 cores=0,2,4,6
/proc/31340/task/31430/stat : 31430 (python) S 31338 31340 30970 0 -1 4202560 29 18457 0 0 0 0 59043 73 18 0 17 0 657976287 481005568 13935 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 4 0 0 0
[pid=31340/tid=31527] ppid=31338 vsize=469732 CPUtime=591.16 cores=0,2,4,6
/proc/31340/task/31527/stat : 31527 (python) S 31338 31340 30970 0 -1 4202560 31 18457 0 0 0 0 59043 73 20 0 17 0 657994436 481005568 13935 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 4 0 0 0
[pid=31340/tid=31551] ppid=31338 vsize=469732 CPUtime=591.16 cores=0,2,4,6
/proc/31340/task/31551/stat : 31551 (python) S 31338 31340 30970 0 -1 4202560 32 18457 0 0 0 0 59043 73 18 0 17 0 658004462 481005568 13935 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 4 0 0 0
[pid=31340/tid=31555] ppid=31338 vsize=469732 CPUtime=591.16 cores=0,2,4,6
/proc/31340/task/31555/stat : 31555 (python) S 31338 31340 30970 0 -1 4202560 27 18457 0 0 0 0 59043 73 20 0 17 0 658006149 481005568 13935 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 4 0 0 0
[pid=31340/tid=31578] ppid=31338 vsize=469732 CPUtime=591.16 cores=0,2,4,6
/proc/31340/task/31578/stat : 31578 (python) S 31338 31340 30970 0 -1 4202560 28 18457 0 0 0 0 59043 73 20 0 17 0 658016177 481005568 13935 33554432000 4194304 5683644 140737406947840 18446744073709551615 255389125041 0 0 16781312 2 18446604453858522240 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4385.61
Current children cumulated vsize (KiB) 10085368

Child status: 0
Real time (s): 1106.77
CPU time (s): 4386.09
CPU user time (s): 4379.92
CPU system time (s): 6.16906
CPU usage (%): 396.296
Max. virtual memory (cumulated for all children) (KiB): 11934652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4379.92
system time used= 6.16906
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172329
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= 8656
involuntary context switches= 61110

runsolver used 6.33504 second user time and 15.3957 second system time

The end

Launcher Data 

Begin job on node135 at 2011-05-15 14:39:37
IDJOB=3378149
IDBENCH=82558
IDSOLVER=1859
FILE ID=node135/3378149-1305463176
RUNJOBID= node135-1305462647-30988
PBS_JOBID= 13324970
Free space on /tmp= 73324 MiB

SOLVER NAME= borg-sat 11.03.02-par-random (fixed)
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v30000-c126000-S913491256-073-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-3378149-1305463176/watcher-3378149-1305463176 -o /tmp/evaluation-result-3378149-1305463176/solver-3378149-1305463176 -C 4800 -W 1300 -M 15500  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3378149-1305463176.cnf -seed 848847502 -budget 4800 -cores 4

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 785309e098f4d0ba8da3027c8426e931
RANDOM SEED=848847502

node135.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.851
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.70
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.851
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.83
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.851
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.75
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.851
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	: 6640.14
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.851
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.78
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.851
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.851
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.74
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.851
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      11214492 kB
Buffers:        296764 kB
Cached:        6344008 kB
SwapCached:      50684 kB
Active:       10616480 kB
Inactive:     10856836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11214492 kB
SwapTotal:    67111528 kB
SwapFree:     66050672 kB
Dirty:           34224 kB
Writeback:           0 kB
AnonPages:    14787476 kB
Mapped:          25972 kB
Slab:           143636 kB
PageTables:      55328 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 67890916 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73296 MiB
End job on node135 at 2011-05-15 14:58:04