Trace number 3380605

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-industrial (fixed)UNSAT 24673 3107.1

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-11.cnf
MD5SUM49867705b76fc90285dd6fc48de2613c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1376.76
Satisfiable
(Un)Satisfiability was proved
Number of variables69561
Number of clauses226787
Sum of the clauses size587727
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 292376
Number of clauses of size 3134282
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.36/0.68	c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle
0.36/0.68	c INFO: solving HOME/instance-3380605-1305483993.cnf
0.36/0.68	c INFO: computing task features
1.03/1.38	c INFO: computed variable-clause graph statistics
1.13/1.40	c INFO: computed clause balance statistics
5.03/5.39	c INFO: computed variable balance statistics
8.23/8.52	c INFO: computed small-clause counts
8.23/8.55	c INFO: computed Horn-clause counts
14.53/14.86	c INFO: computed variable graph statistics
14.53/14.86	c INFO: collected features for HOME/instance-3380605-1305483993.cnf in 14.16 s
14.53/14.88	c INFO: running lingeling-276@0 for 97 with 4985 remaining (b = 0.35)
14.64/14.90	c INFO: running cryptominisat-2.9.0@0 for 485 with 4985 remaining (b = 0.32)
14.64/14.93	c INFO: running lingeling-276@0 for 1261 with 4985 remaining (b = 0.47)
14.64/14.96	c INFO: running cryptominisat-2.9.0@0 for 1940 with 4985 remaining (b = 0.54)
14.64/14.98	c INFO: running lingeling-276@0 for 1261 with 4985 remaining (b = 0.40)
14.73/15.01	c INFO: running precosat-570@0 for 388 with 4985 remaining (b = 0.20)
14.73/15.03	c INFO: running cryptominisat-2.9.0@0 for 1940 with 4985 remaining (b = 0.46)
14.73/15.06	c INFO: running lingeling-276@0 for 1261 with 4985 remaining (b = 0.30)
806.34/114.16	c INFO: running precosat-570@0 for 776 with 4886 remaining (b = 0.24)
3167.31/410.02	c INFO: running lingeling-276@0 for 485 with 4590 remaining (b = 0.14)
3898.24/501.69	c INFO: running lingeling-276@0 for 97 with 4499 remaining (b = 0.16)
4698.43/601.96	c INFO: running cryptominisat-2.9.0@0 for 1552 with 4398 remaining (b = 0.32)
7029.18/894.03	c INFO: running precosat-570@393 for 1261 with 4106 remaining (b = 0.26)
7031.66/894.33	c INFO: running precosat-570@0 for 97 with 4106 remaining (b = 0.04)
7807.90/991.61	c INFO: running precosat-570@97 for 291 with 4009 remaining (b = 0.12)
10103.55/1279.34	c INFO: running precosat-570@384 for 97 with 3721 remaining (b = 0.04)
10117.84/1281.11	c INFO: running cryptominisat-2.9.0@0 for 485 with 3719 remaining (b = 0.15)
10117.84/1281.15	c INFO: running lingeling-276@485 for 97 with 3719 remaining (b = 0.02)
10222.34/1294.28	c INFO: running precosat-570@0 for 776 with 3706 remaining (b = 0.18)
10894.04/1378.44	c INFO: running SApperloT@0 for 97 with 3622 remaining (b = 0.02)
10911.58/1380.62	c INFO: running precosat-570@1650 for 582 with 3620 remaining (b = 0.10)
11694.26/1478.73	c INFO: running cryptominisat-2.9.0@0 for 3395 with 3521 remaining (b = 0.41)
14019.83/1770.29	c INFO: running cryptominisat-2.9.0@1266 for 97 with 3230 remaining (b = 0.03)
14780.11/1865.51	c INFO: running cryptominisat-2.9.0@0 for 97 with 3135 remaining (b = 0.03)
15557.74/1963.09	c INFO: running cryptominisat-2.9.0@1360 for 97 with 3037 remaining (b = 0.02)
15562.52/1963.67	c INFO: running precosat-570@0 for 291 with 3037 remaining (b = 0.07)
15594.41/1967.63	c INFO: running lingeling-276@99 for 97 with 3033 remaining (b = 0.02)
15684.48/1978.92	c INFO: running cryptominisat-2.9.0@0 for 388 with 3021 remaining (b = 0.06)
16330.69/2060.06	c INFO: running cryptominisat-2.9.0@0 for 388 with 2940 remaining (b = 0.06)
16369.72/2064.90	c INFO: running cryptominisat-2.9.0@581 for 1455 with 2935 remaining (b = 0.24)
16436.60/2073.30	c INFO: running lingeling-276@2041 for 97 with 2927 remaining (b = 0.02)
17141.01/2161.70	c INFO: running precosat-570@97 for 291 with 2838 remaining (b = 0.07)
17211.13/2170.58	c INFO: running precosat-570@0 for 776 with 2830 remaining (b = 0.14)
17329.05/2185.37	c INFO: running lingeling-276@0 for 97 with 2815 remaining (b = 0.03)
17895.58/2256.45	c INFO: running cryptominisat-2.9.0@778 for 1164 with 2744 remaining (b = 0.18)
18127.98/2285.68	c INFO: running precosat-570@1750 for 485 with 2715 remaining (b = 0.07)
18799.90/2370.03	c INFO: running precosat-570@877 for 776 with 2630 remaining (b = 0.10)
19442.16/2450.64	c INFO: running cryptominisat-2.9.0@3303 for 97 with 2550 remaining (b = 0.01)
19448.50/2451.48	c INFO: running cryptominisat-2.9.0@96 for 1843 with 2549 remaining (b = 0.22)
20217.42/2547.92	c INFO: running cryptominisat-2.9.0@0 for 97 with 2452 remaining (b = 0.01)
21028.55/2649.74	c INFO: running cryptominisat-2.9.0@96 for 1843 with 2350 remaining (b = 0.18)
21970.40/2767.99	c INFO: running precosat-570@2139 for 97 with 2232 remaining (b = 0.02)
22777.56/2869.28	c INFO: running precosat-570@100 for 2131 with 2131 remaining (b = 0.19)
23466.04/2955.68	c INFO: running precosat-570@1260 for 97 with 2045 remaining (b = 0.01)
24273.29/3056.97	c INFO: running precosat-570@193 for 97 with 1943 remaining (b = 0.01)
24672.60/3107.06	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

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-3380605-1305483993/watcher-3380605-1305483993 -o /tmp/evaluation-result-3380605-1305483993/solver-3380605-1305483993 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3380605-1305483993.cnf -seed 1693792417 -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.31 8.23 7.76 2/336 761
/proc/meminfo: memFree=12132520/32951124 swapFree=65222232/67111528
[pid=761] ppid=758 vsize=15080 CPUtime=0 cores=0-7
/proc/761/stat : 761 (python) S 758 761 531 0 -1 4202496 616 0 0 0 0 0 0 0 20 0 1 0 659997158 15441920 513 33554432000 4194304 5683644 140734271474832 18446744073709551615 255377299456 0 2147483391 16781312 2 18446744071699453118 0 0 17 4 0 0 0
/proc/761/statm: 3770 513 300 364 0 257 0

[startup+0.0571 s]
/proc/loadavg: 8.31 8.23 7.76 2/336 761
/proc/meminfo: memFree=12132520/32951124 swapFree=65222232/67111528
[pid=761] ppid=758 vsize=29788 CPUtime=0.04 cores=0-7
/proc/761/stat : 761 (python) R 758 761 531 0 -1 4202496 1400 0 0 0 3 1 0 0 20 0 1 0 659997158 30502912 1244 33554432000 4194304 5683644 140734271474832 18446744073709551615 5376323 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/761/statm: 7447 1244 443 364 0 817 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 29788

[startup+0.101104 s]
/proc/loadavg: 8.31 8.23 7.76 2/336 761
/proc/meminfo: memFree=12132520/32951124 swapFree=65222232/67111528
[pid=761] ppid=758 vsize=87704 CPUtime=0.07 cores=0-7
/proc/761/stat : 761 (python) R 758 761 531 0 -1 4202496 2637 0 0 0 5 2 0 0 18 0 1 0 659997158 89808896 2354 33554432000 4194304 5683644 140734271474832 18446744073709551615 255377299456 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/761/statm: 21926 2354 717 364 0 1622 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 87704

[startup+0.301067 s]
/proc/loadavg: 8.31 8.23 7.76 2/336 761
/proc/meminfo: memFree=12132520/32951124 swapFree=65222232/67111528
[pid=761] ppid=758 vsize=135748 CPUtime=0.2 cores=0-7
/proc/761/stat : 761 (python) S 758 761 531 0 -1 4202496 5966 931 1 0 15 5 0 0 18 0 1 0 659997158 139005952 4150 33554432000 4194304 5683644 140734271474832 18446744073709551615 255377297413 0 2147483391 16781312 2 18446744071699453118 0 0 17 4 0 0 0
/proc/761/statm: 33937 4150 1032 364 0 3123 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 135748

[startup+0.701012 s]
/proc/loadavg: 8.31 8.23 7.76 2/336 761
/proc/meminfo: memFree=12132520/32951124 swapFree=65222232/67111528
[pid=761] ppid=758 vsize=283440 CPUtime=0.43 cores=0-7
/proc/761/stat : 761 (python) R 758 761 531 0 -1 4202496 10507 931 1 0 32 11 0 0 17 0 1 0 659997158 290242560 8185 33554432000 4194304 5683644 140734271474832 18446744073709551615 4602354 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/761/statm: 70860 8185 1761 364 0 6784 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 283440

[startup+1.50083 s]
/proc/loadavg: 8.31 8.23 7.76 2/337 769
/proc/meminfo: memFree=12086384/32951124 swapFree=65222232/67111528
[pid=761] ppid=758 vsize=327284 CPUtime=1.23 cores=0-7
/proc/761/stat : 761 (python) R 758 761 531 0 -1 4202496 27039 931 1 0 110 13 0 0 17 0 1 0 659997158 335138816 19206 33554432000 4194304 5683644 140734271474832 18446744073709551615 4602358 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/761/statm: 81821 19206 1826 364 0 17745 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 327284

[startup+3.10054 s]
/proc/loadavg: 7.73 8.11 7.72 2/337 769
/proc/meminfo: memFree=12062112/32951124 swapFree=65222232/67111528
[pid=761] ppid=758 vsize=327284 CPUtime=2.83 cores=0-7
/proc/761/stat : 761 (python) R 758 761 531 0 -1 4202496 27039 931 1 0 270 13 0 0 20 0 1 0 659997158 335138816 19206 33554432000 4194304 5683644 140734271474832 18446744073709551615 255380710069 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/761/statm: 81821 19206 1826 364 0 17745 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 327284

[startup+6.30094 s]
/proc/loadavg: 7.73 8.11 7.72 2/337 769
/proc/meminfo: memFree=12063508/32951124 swapFree=65222232/67111528
[pid=761] ppid=758 vsize=327284 CPUtime=6.03 cores=0-7
/proc/761/stat : 761 (python) R 758 761 531 0 -1 4202496 27040 931 1 0 590 13 0 0 25 0 1 0 659997158 335138816 19207 33554432000 4194304 5683644 140734271474832 18446744073709551615 255376957603 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/761/statm: 81821 19207 1827 364 0 17745 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 327284

[startup+12.7008 s]
/proc/loadavg: 6.69 7.87 7.65 2/337 769
/proc/meminfo: memFree=12064292/32951124 swapFree=65222232/67111528
[pid=761] ppid=758 vsize=327284 CPUtime=12.43 cores=0-7
/proc/761/stat : 761 (python) R 758 761 531 0 -1 4202496 27046 931 1 0 1230 13 0 0 25 0 1 0 659997158 335138816 19213 33554432000 4194304 5683644 140734271474832 18446744073709551615 47184883792012 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/761/statm: 81821 19213 1833 364 0 17745 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 327284

[startup+25.5014 s]
/proc/loadavg: 6.89 7.88 7.65 9/361 800
/proc/meminfo: memFree=11613568/32951124 swapFree=65222232/67111528
[pid=761] ppid=758 vsize=471120 CPUtime=14.8 cores=0-7
/proc/761/stat : 761 (python) S 758 761 531 0 -1 4202496 32799 931 1 0 1464 16 0 0 21 0 9 0 659997158 482426880 18458 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389128139 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/761/statm: 117780 18458 1889 364 0 53677 0
[pid=770] ppid=761 vsize=323548 CPUtime=0.02 cores=0-7
/proc/770/stat : 770 (python) S 761 761 531 0 -1 4202560 992 0 0 0 1 1 0 0 18 0 1 0 659998647 331313152 16821 33554432000 4194304 5683644 140734271474832 18446744073709551615 255377321487 0 0 16781312 514 1383519879277019392 0 0 17 7 0 0 0
/proc/770/statm: 80887 16821 381 364 0 16805 0
[pid=773] ppid=770 vsize=33804 CPUtime=10.6 cores=0-7
/proc/773/stat : 773 (lingeling) R 770 773 773 0 -1 4202496 11479 0 0 0 1059 1 0 0 25 0 1 0 659998647 34615296 7621 33554432000 4194304 4352236 140736095341072 18446744073709551615 4278717 0 0 16781312 17506 0 0 0 17 3 0 0 0
/proc/773/statm: 8451 7621 129 39 0 7531 0
[pid=774] ppid=761 vsize=333804 CPUtime=0.02 cores=0-7
/proc/774/stat : 774 (python) S 761 761 531 0 -1 4202560 947 0 0 0 1 1 0 0 15 0 1 0 659998649 341815296 16814 33554432000 4194304 5683644 140734271474832 18446744073709551615 255377321542 0 0 16781312 514 1383519879277019396 0 0 17 4 0 0 0
/proc/774/statm: 83451 16814 370 364 0 19366 0
[pid=776] ppid=774 vsize=139528 CPUtime=10.53 cores=0-7
/proc/776/stat : 776 (cryptominisat-2) R 774 776 776 0 -1 4202496 21996 0 0 0 1051 2 0 0 25 0 1 0 659998650 142876672 19632 33554432000 4194304 4677096 140734620198368 18446744073709551615 4336322 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/776/statm: 34882 19632 392 118 0 29841 0
[pid=777] ppid=761 vsize=344060 CPUtime=0.02 cores=0-7
/proc/777/stat : 777 (python) S 761 761 531 0 -1 4202560 945 0 0 0 1 1 0 0 18 0 1 0 659998652 352317440 16818 33554432000 4194304 5683644 140734271474832 18446744073709551615 255377321542 0 0 16781312 514 1383519879277019393 0 0 17 1 0 0 0
/proc/777/statm: 86015 16818 370 364 0 21927 0
[pid=779] ppid=777 vsize=32780 CPUtime=10.55 cores=0-7
/proc/779/stat : 779 (lingeling) R 777 779 779 0 -1 4202496 11219 0 0 0 1054 1 0 0 25 0 1 0 659998652 33566720 7366 33554432000 4194304 4352236 140737313791376 18446744073709551615 4278708 0 0 16781312 17506 0 0 0 17 2 0 0 0
/proc/779/statm: 8195 7366 129 39 0 7275 0
[pid=781] ppid=761 vsize=354316 CPUtime=0.03 cores=0-7
/proc/781/stat : 781 (python) S 761 761 531 0 -1 4202560 964 0 0 0 1 2 0 0 15 0 1 0 659998654 362819584 16822 33554432000 4194304 5683644 140734271474832 18446744073709551615 255377321542 0 0 16781312 514 1383519879277019395 0 0 17 1 0 0 0
/proc/781/statm: 88579 16822 370 364 0 24488 0
[pid=783] ppid=781 vsize=106712 CPUtime=10.53 cores=0-7
/proc/783/stat : 783 (cryptominisat-2) R 781 783 783 0 -1 4202496 21976 0 0 0 1049 4 0 0 25 0 1 0 659998655 109273088 19610 33554432000 4194304 4677096 140733273314640 18446744073709551615 4318902 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/783/statm: 26678 19610 392 118 0 21637 0
[pid=785] ppid=761 vsize=430108 CPUtime=0.03 cores=0-7
/proc/785/stat : 785 (python) S 761 761 531 0 -1 4202560 958 0 0 0 2 1 0 0 18 0 1 0 659998657 440430592 16828 33554432000 4194304 5683644 140734271474832 18446744073709551615 255377321542 0 0 16781312 514 1383519879277019393 0 0 17 1 0 0 0
/proc/785/statm: 107527 16828 370 364 0 43433 0
[pid=787] ppid=785 vsize=33804 CPUtime=10.5 cores=0-7
/proc/787/stat : 787 (lingeling) R 785 787 787 0 -1 4202496 11480 0 0 0 1049 1 0 0 25 0 1 0 659998657 34615296 7620 33554432000 4194304 4352236 140733781967504 18446744073709551615 4278667 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/787/statm: 8451 7620 129 39 0 7531 0
[pid=789] ppid=761 vsize=440364 CPUtime=0.03 cores=0-7
/proc/789/stat : 789 (python) S 761 761 531 0 -1 4202560 962 0 0 0 2 1 0 0 18 0 1 0 659998660 450932736 16832 33554432000 4194304 5683644 140734271474832 18446744073709551615 255377321542 0 0 16781312 514 1383519879277019396 0 0 17 1 0 0 0
/proc/789/statm: 110091 16832 370 364 0 45994 0
[pid=791] ppid=789 vsize=76176 CPUtime=10.31 cores=0-7
/proc/791/stat : 791 (precosat) R 789 791 791 0 -1 4202496 19600 0 0 0 1029 2 0 0 25 0 1 0 659998660 78004224 18238 33554432000 4194304 4890832 140736212515552 18446744073709551615 4237557 0 0 16781312 17442 0 0 0 17 7 0 0 0
/proc/791/statm: 19044 18238 86 171 0 18871 0
[pid=792] ppid=761 vsize=450620 CPUtime=0.03 cores=0-7
/proc/792/stat : 792 (python) S 761 761 531 0 -1 4202560 817 0 0 0 2 1 0 0 15 0 1 0 659998662 461434880 16953 33554432000 4194304 5683644 140734271474832 18446744073709551615 255377321542 0 0 16781312 514 1383519879277019396 0 0 17 1 0 0 0
/proc/792/statm: 112655 16953 371 364 0 48555 0
[pid=795] ppid=792 vsize=139532 CPUtime=10.43 cores=0-7
/proc/795/stat : 795 (cryptominisat-2) R 792 795 795 0 -1 4202496 21982 0 0 0 1040 3 0 0 25 0 1 0 659998664 142880768 19626 33554432000 4194304 4677096 140733793530000 18446744073709551615 4319228 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/795/statm: 34883 19626 392 118 0 29842 0
[pid=796] ppid=761 vsize=460876 CPUtime=0.02 cores=0-7
/proc/796/stat : 796 (python) S 761 761 531 0 -1 4202560 872 0 0 0 1 1 0 0 18 0 1 0 659998665 471937024 16942 33554432000 4194304 5683644 140734271474832 18446744073709551615 255377321542 0 0 16781312 514 1383519879277019396 0 0 17 1 0 0 0
/proc/796/statm: 115219 16942 377 364 0 51116 0
[pid=799] ppid=796 vsize=33804 CPUtime=10.21 cores=0-7
/proc/799/stat : 799 (lingeling) R 796 799 799 0 -1 4202496 11475 0 0 0 1020 1 0 0 25 0 1 0 659998665 34615296 7621 33554432000 4194304 4352236 140737360868288 18446744073709551615 4281160 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/799/statm: 8451 7621 129 39 0 7531 0
[pid=761/tid=772] ppid=758 vsize=471120 CPUtime=0 cores=0-7
/proc/761/task/772/stat : 772 (python) S 758 761 531 0 -1 4202560 24 931 0 0 0 0 0 0 25 0 9 0 659998647 482426880 18458 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 2 0 0 0
[pid=761/tid=775] ppid=758 vsize=471120 CPUtime=0 cores=0-7
/proc/761/task/775/stat : 775 (python) S 758 761 531 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 9 0 659998649 482426880 18458 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 0 0 0 0
[pid=761/tid=778] ppid=758 vsize=471120 CPUtime=0 cores=0-7
/proc/761/task/778/stat : 778 (python) S 758 761 531 0 -1 4202560 24 931 0 0 0 0 0 0 21 0 9 0 659998652 482426880 18458 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 2 0 0 0
[pid=761/tid=782] ppid=758 vsize=471120 CPUtime=0 cores=0-7
/proc/761/task/782/stat : 782 (python) S 758 761 531 0 -1 4202560 19 931 0 0 0 0 0 0 17 0 9 0 659998655 482426880 18458 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 5 0 0 0
[pid=761/tid=786] ppid=758 vsize=471120 CPUtime=0 cores=0-7
/proc/761/task/786/stat : 786 (python) S 758 761 531 0 -1 4202560 25 931 0 0 0 0 0 0 19 0 9 0 659998657 482426880 18458 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 0 0 0 0
[pid=761/tid=790] ppid=758 vsize=471120 CPUtime=0 cores=0-7
/proc/761/task/790/stat : 790 (python) S 758 761 531 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 9 0 659998660 482426880 18458 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 7 0 0 0
[pid=761/tid=794] ppid=758 vsize=471120 CPUtime=0 cores=0-7
/proc/761/task/794/stat : 794 (python) S 758 761 531 0 -1 4202560 66 931 0 0 0 0 0 0 21 0 9 0 659998662 482426880 18458 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 1 0 0 0
[pid=761/tid=798] ppid=758 vsize=471120 CPUtime=0 cores=0-7
/proc/761/task/798/stat : 798 (python) S 758 761 531 0 -1 4202560 37 931 0 0 0 0 0 0 22 0 9 0 659998665 482426880 18458 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 98.66
Current children cumulated vsize (KiB) 4204956

[startup+51.1016 s]
/proc/loadavg: 7.27 7.89 7.66 9/361 800
/proc/meminfo: memFree=11620756/32951124 swapFree=65222232/67111528
[pid=761] ppid=758 vsize=471120 CPUtime=14.8 cores=0-7
/proc/761/stat : 761 (python) S 758 761 531 0 -1 4202496 32799 931 1 0 1464 16 0 0 21 0 9 0 659997158 482426880 18458 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389128139 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/761/statm: 117780 18458 1889 364 0 53677 0
[pid=770] ppid=761 vsize=323548 CPUtime=0.09 cores=0-7
/proc/770/stat : 770 (python) S 761 761 531 0 -1 4202560 1003 0 0 0 5 4 0 0 18 0 1 0 659998647 331313152 16821 33554432000 4194304 5683644 140734271474832 18446744073709551615 255377321487 0 0 16781312 514 1383519879277019392 0 0 17 7 0 0 0
/proc/770/statm: 80887 16821 381 364 0 16805 0
[pid=773] ppid=770 vsize=33804 CPUtime=36.2 cores=0-7
/proc/773/stat : 773 (lingeling) R 770 773 773 0 -1 4202496 11479 0 0 0 3619 1 0 0 25 0 1 0 659998647 34615296 7621 33554432000 4194304 4352236 140736095341072 18446744073709551615 4278667 0 0 16781312 17506 0 0 0 17 3 0 0 0
/proc/773/statm: 8451 7621 129 39 0 7531 0
[pid=774] ppid=761 vsize=333804 CPUtime=0.08 cores=0-7
/proc/774/stat : 774 (python) S 761 761 531 0 -1 4202560 961 0 0 0 4 4 0 0 15 0 1 0 659998649 341815296 16814 33554432000 4194304 5683644 140734271474832 18446744073709551615 255377321542 0 0 16781312 514 9629650383705964804 0 0 17 4 0 0 0
/proc/774/statm: 83451 16814 370 364 0 19366 0
[pid=776] ppid=774 vsize=111372 CPUtime=36.08 cores=0-7
/proc/776/stat : 776 (cryptominisat-2) R 774 776 776 0 -1 4202496 24914 0 0 0 3605 3 0 0 25 0 1 0 659998650 114044928 19619 33554432000 4194304 4677096 140734620198368 18446744073709551615 4320006 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/776/statm: 27843 19619 393 118 0 22802 0
[pid=777] ppid=761 vsize=344060 CPUtime=0.09 cores=0-7
/proc/777/stat : 777 (python) S 761 761 531 0 -1 4202560 957 0 0 0 5 4 0 0 18 0 1 0 659998652 352317440 16818 33554432000 4194304 5683644 140734271474832 18446744073709551615 255377321542 0 0 16781312 514 1383519879277019393 0 0 17 1 0 0 0
/proc/777/statm: 86015 16818 370 364 0 21927 0
[pid=779] ppid=777 vsize=32780 CPUtime=36.15 cores=0-7
/proc/779/stat : 779 (lingeling) R 777 779 779 0 -1 4202496 11219 0 0 0 3614 1 0 0 25 0 1 0 659998652 33566720 7366 33554432000 4194304 4352236 140737313791376 18446744073709551615 4278660 0 0 16781312 17506 0 0 0 17 2 0 0 0
/proc/779/statm: 8195 7366 129 39 0 7275 0
[pid=781] ppid=761 vsize=354316 CPUtime=0.09 cores=0-7
/proc/781/stat : 781 (python) S 761 761 531 0 -1 4202560 975 0 0 0 4 5 0 0 15 0 1 0 659998654 362819584 16822 33554432000 4194304 5683644 140734271474832 18446744073709551615 255377321542 0 0 16781312 514 1383519879277019395 0 0 17 1 0 0 0
/proc/781/statm: 88579 16822 370 364 0 24488 0

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

[pid=914/tid=944] ppid=761 vsize=542924 CPUtime=0 cores=0-7
/proc/914/task/944/stat : 944 (python) S 761 761 531 0 -1 4202560 79 0 0 0 0 0 0 0 19 0 2 0 660222801 555954176 17150 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 514 18446604470122894272 0 0 -1 4 0 0 0
[pid=936] ppid=761 vsize=553180 CPUtime=2.49 cores=0-7
/proc/936/stat : 936 (python) S 761 761 531 0 -1 4202560 1139 0 0 0 123 126 0 0 18 0 2 0 660214217 566456320 17128 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389128139 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/936/statm: 138295 17128 406 364 0 74165 0
[pid=938] ppid=936 vsize=85984 CPUtime=877.48 cores=0-7
/proc/938/stat : 938 (precosat) T 936 938 938 0 -1 4202496 23774 0 0 0 87744 4 0 0 25 0 1 0 660214218 88047616 20674 33554432000 4194304 4890832 140733306616624 18446744073709551615 4241028 0 0 16781312 17442 18446744071562691360 0 0 17 5 0 0 0
/proc/938/statm: 21496 20674 86 171 0 21323 0
[pid=936/tid=973] ppid=761 vsize=553180 CPUtime=0 cores=0-7
/proc/936/task/973/stat : 973 (python) S 761 761 531 0 -1 4202560 88 0 0 0 0 0 0 0 18 0 2 0 660292725 566456320 17128 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 514 18446604463572580352 0 0 -1 3 0 0 0
[pid=939] ppid=761 vsize=563436 CPUtime=0.28 cores=0-7
/proc/939/stat : 939 (python) S 761 761 531 0 -1 4202560 1105 0 0 0 13 15 0 0 19 0 2 0 660215696 576958464 17153 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389128139 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/939/statm: 140859 17153 400 364 0 76726 0
[pid=941] ppid=939 vsize=33804 CPUtime=99.4 cores=0-7
/proc/941/stat : 941 (lingeling) T 939 941 941 0 -1 4202496 11487 0 0 0 9939 1 0 0 25 0 1 0 660215696 34615296 7621 33554432000 4194304 4352236 140736384098208 18446744073709551615 4281245 0 0 16781312 17506 18446744071562691360 0 0 17 5 0 0 0
/proc/941/statm: 8451 7621 129 39 0 7531 0
[pid=939/tid=949] ppid=761 vsize=563436 CPUtime=0 cores=0-7
/proc/939/task/949/stat : 949 (python) S 761 761 531 0 -1 4202560 80 0 0 0 0 0 0 0 19 0 2 0 660225724 576958464 17153 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 514 18446604464367268992 0 0 -1 0 0 0 0
[pid=958] ppid=761 vsize=573692 CPUtime=0.31 cores=0-7
/proc/958/stat : 958 (python) S 761 761 531 0 -1 4202560 1130 0 0 0 16 15 0 0 16 0 2 0 660251950 587460608 17140 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389128139 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/958/statm: 143423 17140 401 364 0 79287 0
[pid=960] ppid=958 vsize=126076 CPUtime=100.61 cores=0-7
/proc/960/stat : 960 (cryptominisat-2) T 958 960 960 0 -1 4202496 33513 0 0 0 10052 9 0 0 25 0 1 0 660251951 129101824 22716 33554432000 4194304 4677096 140733726844384 18446744073709551615 4335943 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/960/statm: 31519 22716 393 118 0 26478 0
[pid=958/tid=964] ppid=761 vsize=573692 CPUtime=0 cores=0-7
/proc/958/task/964/stat : 964 (python) S 761 761 531 0 -1 4202560 89 0 0 0 0 0 0 0 16 0 2 0 660262131 587460608 17140 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 514 18446604457680737344 0 0 -1 0 0 0 0
[pid=761/tid=772] ppid=758 vsize=583936 CPUtime=0 cores=0-7
/proc/761/task/772/stat : 772 (python) S 758 761 531 0 -1 4202560 34 931 0 0 0 0 0 0 18 0 20 0 659998647 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 2 0 0 0
[pid=761/tid=775] ppid=758 vsize=583936 CPUtime=0 cores=0-7
/proc/761/task/775/stat : 775 (python) S 758 761 531 0 -1 4202560 40 931 0 0 0 0 0 0 18 0 20 0 659998649 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 0 0 0 0
[pid=761/tid=778] ppid=758 vsize=583936 CPUtime=0 cores=0-7
/proc/761/task/778/stat : 778 (python) S 758 761 531 0 -1 4202560 24 931 0 0 0 0 0 0 21 0 20 0 659998652 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 2 0 0 0
[pid=761/tid=782] ppid=758 vsize=583936 CPUtime=0 cores=0-7
/proc/761/task/782/stat : 782 (python) S 758 761 531 0 -1 4202560 28 931 0 0 0 0 0 0 15 0 20 0 659998655 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 5 0 0 0
[pid=761/tid=786] ppid=758 vsize=583936 CPUtime=0 cores=0-7
/proc/761/task/786/stat : 786 (python) S 758 761 531 0 -1 4202560 25 931 0 0 0 0 0 0 19 0 20 0 659998657 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 0 0 0 0
[pid=761/tid=790] ppid=758 vsize=583936 CPUtime=0 cores=0-7
/proc/761/task/790/stat : 790 (python) S 758 761 531 0 -1 4202560 61 931 0 0 0 0 0 0 18 0 20 0 659998660 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 7 0 0 0
[pid=761/tid=794] ppid=758 vsize=583936 CPUtime=0 cores=0-7
/proc/761/task/794/stat : 794 (python) S 758 761 531 0 -1 4202560 78 931 0 0 0 0 0 0 18 0 20 0 659998662 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 1 0 0 0
[pid=761/tid=798] ppid=758 vsize=583936 CPUtime=0 cores=0-7
/proc/761/task/798/stat : 798 (python) S 758 761 531 0 -1 4202560 37 931 0 0 0 0 0 0 22 0 20 0 659998665 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 1 0 0 0
[pid=761/tid=807] ppid=758 vsize=583936 CPUtime=0 cores=0-7
/proc/761/task/807/stat : 807 (python) S 758 761 531 0 -1 4202560 52 931 0 0 0 0 0 0 18 0 20 0 660008575 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 1 0 0 0
[pid=761/tid=823] ppid=758 vsize=583936 CPUtime=0 cores=0-7
/proc/761/task/823/stat : 823 (python) S 758 761 531 0 -1 4202560 45 931 0 0 0 0 0 0 18 0 20 0 660047328 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 1 0 0 0
[pid=761/tid=871] ppid=758 vsize=583936 CPUtime=0 cores=0-7
/proc/761/task/871/stat : 871 (python) S 758 761 531 0 -1 4202560 67 931 0 0 0 0 0 0 18 0 20 0 660125270 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 6 0 0 0
[pid=761/tid=878] ppid=758 vsize=583936 CPUtime=0 cores=0-7
/proc/761/task/878/stat : 878 (python) S 758 761 531 0 -1 4202560 45 931 0 0 0 0 0 0 18 0 20 0 660126587 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 6 0 0 0
[pid=761/tid=885] ppid=758 vsize=583936 CPUtime=0 cores=0-7
/proc/761/task/885/stat : 885 (python) S 758 761 531 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 20 0 660135003 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 1 0 0 0
[pid=761/tid=892] ppid=758 vsize=583936 CPUtime=0 cores=0-7
/proc/761/task/892/stat : 892 (python) S 758 761 531 0 -1 4202560 38 931 0 0 0 0 0 0 20 0 20 0 660145032 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 1 0 0 0
[pid=761/tid=909] ppid=758 vsize=583936 CPUtime=0 cores=0-7
/proc/761/task/909/stat : 909 (python) S 758 761 531 0 -1 4202560 43 931 0 0 0 0 0 0 18 0 20 0 660183710 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 1 0 0 0
[pid=761/tid=915] ppid=758 vsize=583936 CPUtime=0 cores=0-7
/proc/761/task/915/stat : 915 (python) S 758 761 531 0 -1 4202560 41 931 0 0 0 0 0 0 18 0 20 0 660193526 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 5 0 0 0
[pid=761/tid=937] ppid=758 vsize=583936 CPUtime=0 cores=0-7
/proc/761/task/937/stat : 937 (python) S 758 761 531 0 -1 4202560 45 931 0 0 0 0 0 0 18 0 20 0 660214217 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 0 0 0 0
[pid=761/tid=940] ppid=758 vsize=583936 CPUtime=0 cores=0-7
/proc/761/task/940/stat : 940 (python) S 758 761 531 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 20 0 660215696 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 5 0 0 0
[pid=761/tid=959] ppid=758 vsize=583936 CPUtime=0 cores=0-7
/proc/761/task/959/stat : 959 (python) S 758 761 531 0 -1 4202560 44 931 0 0 0 0 0 0 20 0 20 0 660251951 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24671.6
Current children cumulated vsize (KiB) 11644604

[startup+3107 s]
/proc/loadavg: 8.64 8.28 8.19 11/412 977
/proc/meminfo: memFree=10201780/32951124 swapFree=65222232/67111528
[pid=761] ppid=758 vsize=583936 CPUtime=8806.15 cores=0-7
/proc/761/stat : 761 (python) S 758 761 531 0 -1 4202496 44242 256684 1 0 1552 21 877794 1248 17 0 20 0 659997158 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389131583 0 0 16781312 2 18446744073709551615 0 0 17 3 0 0 0
/proc/761/statm: 145984 18678 1912 364 0 81848 0
[pid=774] ppid=761 vsize=333804 CPUtime=7.71 cores=0-7
/proc/774/stat : 774 (python) S 761 761 531 0 -1 4202560 1171 0 0 0 402 369 0 0 15 0 2 0 659998649 341815296 16844 33554432000 4194304 5683644 140734271474832 18446744073709551615 255377321542 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/774/statm: 83451 16844 399 364 0 19366 0
[pid=776] ppid=774 vsize=244512 CPUtime=2886.96 cores=0-7
/proc/776/stat : 776 (cryptominisat-2) R 774 776 776 0 -1 4202496 118305 0 0 0 288655 41 0 0 25 0 1 0 659998650 250380288 51022 33554432000 4194304 4677096 140734620198368 18446744073709551615 4320404 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/776/statm: 61128 51022 393 118 0 56087 0
[pid=774/tid=821] ppid=761 vsize=333804 CPUtime=0 cores=0-7
/proc/774/task/821/stat : 821 (python) S 761 761 531 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 2 0 660047325 341815296 16844 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 514 18446604436879213760 0 0 -1 1 0 0 0
[pid=781] ppid=761 vsize=0 CPUtime=2994.69 cores=0-7
/proc/781/stat : 781 (python) Z 761 761 531 0 -1 4202588 1267 136668 0 0 599 479 298331 60 19 0 1 0 659998654 0 0 33554432000 0 0 0 0 0 0 0 16781824 2 18446744073709551615 0 0 17 5 0 0 0
/proc/781/statm: 0 0 0 0 0 0 0
[pid=792] ppid=761 vsize=450620 CPUtime=7.68 cores=0-7
/proc/792/stat : 792 (python) S 761 761 531 0 -1 4202560 1052 0 0 0 387 381 0 0 15 0 2 0 659998662 461434880 16983 33554432000 4194304 5683644 140734271474832 18446744073709551615 255377321542 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/792/statm: 112655 16983 400 364 0 48555 0
[pid=795] ppid=792 vsize=353616 CPUtime=2786.54 cores=0-7
/proc/795/stat : 795 (cryptominisat-2) R 792 795 795 0 -1 4202496 172852 0 0 0 278596 58 0 0 25 0 1 0 659998664 362102784 77837 33554432000 4194304 4677096 140733793530000 18446744073709551615 4319256 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/795/statm: 88404 77837 393 118 0 83363 0
[pid=792/tid=919] ppid=761 vsize=450620 CPUtime=0 cores=0-7
/proc/792/task/919/stat : 919 (python) S 761 761 531 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 2 0 660195048 461434880 16983 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 514 18446604449469900992 0 0 -1 0 0 0 0
[pid=805] ppid=761 vsize=471132 CPUtime=7.49 cores=0-7
/proc/805/stat : 805 (python) S 761 761 531 0 -1 4202560 1017 0 0 0 386 363 0 0 18 0 2 0 660008575 482439168 16982 33554432000 4194304 5683644 140734271474832 18446744073709551615 255377321542 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/805/statm: 117783 16982 399 364 0 53677 0
[pid=808] ppid=805 vsize=87788 CPUtime=2752.52 cores=0-7
/proc/808/stat : 808 (precosat) R 805 808 808 0 -1 4202496 31179 0 0 0 275243 9 0 0 25 0 1 0 660008575 89894912 21157 33554432000 4194304 4890832 140735733542912 18446744073709551615 4235318 0 0 16781312 17442 0 0 0 17 5 0 0 0
/proc/808/statm: 21947 21157 86 171 0 21774 0
[pid=805/tid=848] ppid=761 vsize=471132 CPUtime=0 cores=0-7
/proc/805/task/848/stat : 848 (python) S 761 761 531 0 -1 4202560 69 0 0 0 0 0 0 0 18 0 2 0 660086559 482439168 16982 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 514 18446604449417934848 0 0 -1 1 0 0 0
[pid=877] ppid=761 vsize=501900 CPUtime=3.04 cores=0-7
/proc/877/stat : 877 (python) S 761 761 531 0 -1 4202560 1050 0 0 0 157 147 0 0 18 0 2 0 660126587 513945600 17031 33554432000 4194304 5683644 140734271474832 18446744073709551615 255377321542 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/877/statm: 125475 17031 399 364 0 61360 0
[pid=879] ppid=877 vsize=85028 CPUtime=1118.1 cores=0-7
/proc/879/stat : 879 (precosat) R 877 879 879 0 -1 4202496 30466 0 0 0 111806 4 0 0 25 0 1 0 660126587 87068672 20439 33554432000 4194304 4890832 140734467493856 18446744073709551615 4238614 0 0 16781312 17442 0 0 0 17 7 0 0 0
/proc/879/statm: 21257 20439 86 171 0 21084 0
[pid=877/tid=932] ppid=761 vsize=501900 CPUtime=0 cores=0-7
/proc/877/task/932/stat : 932 (python) S 761 761 531 0 -1 4202560 75 0 0 0 0 0 0 0 18 0 2 0 660204487 513945600 17031 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 514 18446604452322259328 0 0 -1 3 0 0 0
[pid=891] ppid=761 vsize=522412 CPUtime=4.43 cores=0-7
/proc/891/stat : 891 (python) S 761 761 531 0 -1 4202560 902 0 0 0 229 214 0 0 15 0 1 0 660145031 534949888 17047 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389131583 0 0 16781824 2 18446744071562232103 0 0 17 6 0 0 0
/proc/891/statm: 130603 17047 376 364 0 66482 0
[pid=893] ppid=891 vsize=0 CPUtime=1625.08 cores=0-7
/proc/893/stat : 893 (cryptominisat-2) R 891 893 893 0 -1 4203524 105006 0 0 0 162465 43 0 0 25 0 1 0 660145032 0 0 33554432000 0 0 0 0 0 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/893/statm: 0 0 0 0 0 0 0
[pid=908] ppid=761 vsize=532668 CPUtime=3.19 cores=0-7
/proc/908/stat : 908 (python) S 761 761 531 0 -1 4202560 1320 0 0 0 172 147 0 0 15 0 2 0 660183710 545452032 17100 33554432000 4194304 5683644 140734271474832 18446744073709551615 255377321542 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/908/statm: 133167 17100 406 364 0 69043 0
[pid=910] ppid=908 vsize=215056 CPUtime=1139.14 cores=0-7
/proc/910/stat : 910 (cryptominisat-2) R 908 910 910 0 -1 4202496 77052 0 0 0 113890 24 0 0 25 0 1 0 660183711 220217344 45692 33554432000 4194304 4677096 140734621154864 18446744073709551615 4320006 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/910/statm: 53764 45692 393 118 0 48723 0
[pid=908/tid=917] ppid=761 vsize=532668 CPUtime=0 cores=0-7
/proc/908/task/917/stat : 917 (python) S 761 761 531 0 -1 4202560 77 0 0 0 0 0 0 0 17 0 2 0 660193919 545452032 17100 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 514 18446604443484517440 0 0 -1 6 0 0 0
[pid=914] ppid=761 vsize=542924 CPUtime=1.46 cores=0-7
/proc/914/stat : 914 (python) S 761 761 531 0 -1 4202560 1199 0 0 0 75 71 0 0 18 0 2 0 660193526 555954176 17150 33554432000 4194304 5683644 140734271474832 18446744073709551615 255377321542 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/914/statm: 135731 17150 406 364 0 71604 0
[pid=916] ppid=914 vsize=79824 CPUtime=528.42 cores=0-7
/proc/916/stat : 916 (precosat) R 914 916 916 0 -1 4202496 23972 0 0 0 52838 4 0 0 25 0 1 0 660193526 81739776 19137 33554432000 4194304 4890832 140737036218080 18446744073709551615 4238565 0 0 16781312 17442 0 0 0 17 6 0 0 0
/proc/916/statm: 19956 19137 86 171 0 19783 0
[pid=914/tid=944] ppid=761 vsize=542924 CPUtime=0 cores=0-7
/proc/914/task/944/stat : 944 (python) S 761 761 531 0 -1 4202560 79 0 0 0 0 0 0 0 19 0 2 0 660222801 555954176 17150 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 514 18446604470122894272 0 0 -1 4 0 0 0
[pid=761/tid=772] ppid=758 vsize=583936 CPUtime=8790.42 cores=0-7
/proc/761/task/772/stat : 772 (python) S 758 761 531 0 -1 4202560 34 256684 0 0 0 0 877794 1248 18 0 20 0 659998647 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 2 0 0 0
[pid=761/tid=775] ppid=758 vsize=583936 CPUtime=8790.42 cores=0-7
/proc/761/task/775/stat : 775 (python) S 758 761 531 0 -1 4202560 40 256684 0 0 0 0 877794 1248 18 0 20 0 659998649 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 0 0 0 0
[pid=761/tid=778] ppid=758 vsize=583936 CPUtime=8790.42 cores=0-7
/proc/761/task/778/stat : 778 (python) S 758 761 531 0 -1 4202560 24 256684 0 0 0 0 877794 1248 21 0 20 0 659998652 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 2 0 0 0
[pid=761/tid=782] ppid=758 vsize=583936 CPUtime=8790.42 cores=0-7
/proc/761/task/782/stat : 782 (python) S 758 761 531 0 -1 4202560 28 256684 0 0 0 0 877794 1248 15 0 20 0 659998655 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 5 0 0 0
[pid=761/tid=786] ppid=758 vsize=583936 CPUtime=8790.42 cores=0-7
/proc/761/task/786/stat : 786 (python) S 758 761 531 0 -1 4202560 25 256684 0 0 0 0 877794 1248 19 0 20 0 659998657 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 0 0 0 0
[pid=761/tid=790] ppid=758 vsize=583936 CPUtime=8790.42 cores=0-7
/proc/761/task/790/stat : 790 (python) S 758 761 531 0 -1 4202560 61 256684 0 0 0 0 877794 1248 18 0 20 0 659998660 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 7 0 0 0
[pid=761/tid=794] ppid=758 vsize=583936 CPUtime=8790.42 cores=0-7
/proc/761/task/794/stat : 794 (python) S 758 761 531 0 -1 4202560 78 256684 0 0 0 0 877794 1248 18 0 20 0 659998662 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 1 0 0 0
[pid=761/tid=798] ppid=758 vsize=583936 CPUtime=8790.42 cores=0-7
/proc/761/task/798/stat : 798 (python) S 758 761 531 0 -1 4202560 37 256684 0 0 0 0 877794 1248 22 0 20 0 659998665 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 1 0 0 0
[pid=761/tid=807] ppid=758 vsize=583936 CPUtime=8790.42 cores=0-7
/proc/761/task/807/stat : 807 (python) S 758 761 531 0 -1 4202560 52 256684 0 0 0 0 877794 1248 18 0 20 0 660008575 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 1 0 0 0
[pid=761/tid=823] ppid=758 vsize=583936 CPUtime=8790.42 cores=0-7
/proc/761/task/823/stat : 823 (python) S 758 761 531 0 -1 4202560 45 256684 0 0 0 0 877794 1248 18 0 20 0 660047328 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 1 0 0 0
[pid=761/tid=871] ppid=758 vsize=583936 CPUtime=8790.42 cores=0-7
/proc/761/task/871/stat : 871 (python) S 758 761 531 0 -1 4202560 67 256684 0 0 0 0 877794 1248 18 0 20 0 660125270 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 6 0 0 0
[pid=761/tid=878] ppid=758 vsize=583936 CPUtime=8790.42 cores=0-7
/proc/761/task/878/stat : 878 (python) S 758 761 531 0 -1 4202560 45 256684 0 0 0 0 877794 1248 18 0 20 0 660126587 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 6 0 0 0
[pid=761/tid=885] ppid=758 vsize=583936 CPUtime=8790.42 cores=0-7
/proc/761/task/885/stat : 885 (python) S 758 761 531 0 -1 4202560 32 256684 0 0 0 0 877794 1248 20 0 20 0 660135003 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 1 0 0 0
[pid=761/tid=892] ppid=758 vsize=583936 CPUtime=8790.42 cores=0-7
/proc/761/task/892/stat : 892 (python) S 758 761 531 0 -1 4202560 38 256684 0 0 0 0 877794 1248 20 0 20 0 660145032 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 1 0 0 0
[pid=761/tid=909] ppid=758 vsize=583936 CPUtime=8790.42 cores=0-7
/proc/761/task/909/stat : 909 (python) S 758 761 531 0 -1 4202560 43 256684 0 0 0 0 877794 1248 18 0 20 0 660183710 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 1 0 0 0
[pid=761/tid=915] ppid=758 vsize=583936 CPUtime=8790.42 cores=0-7
/proc/761/task/915/stat : 915 (python) S 758 761 531 0 -1 4202560 41 256684 0 0 0 0 877794 1248 18 0 20 0 660193526 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 5 0 0 0
[pid=761/tid=937] ppid=758 vsize=583936 CPUtime=8790.42 cores=0-7
/proc/761/task/937/stat : 937 (python) S 758 761 531 0 -1 4202560 45 256684 0 0 0 0 877794 1248 18 0 20 0 660214217 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 0 0 0 0
[pid=761/tid=940] ppid=758 vsize=583936 CPUtime=8790.42 cores=0-7
/proc/761/task/940/stat : 940 (python) S 758 761 531 0 -1 4202560 32 256684 0 0 0 0 877794 1248 20 0 20 0 660215696 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 5 0 0 0
[pid=761/tid=959] ppid=758 vsize=583936 CPUtime=8790.42 cores=0-7
/proc/761/task/959/stat : 959 (python) S 758 761 531 0 -1 4202560 44 256684 0 0 0 0 877794 1248 20 0 20 0 660251951 597950464 18678 33554432000 4194304 5683644 140734271474832 18446744073709551615 255389125041 0 0 16781312 2 18446604452322260224 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24672.6
Current children cumulated vsize (KiB) 5005220

Child status: 0
Real time (s): 3107.1
CPU time (s): 24673
CPU user time (s): 24636
CPU system time (s): 37.0324
CPU usage (%): 794.086
Max. virtual memory (cumulated for all children) (KiB): 12037712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24636
system time used= 37.0324
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1014611
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= 33841
involuntary context switches= 244135

runsolver used 21.4187 second user time and 55.8145 second system time

The end

Launcher Data 

Begin job on node135 at 2011-05-15 20:26:33
IDJOB=3380605
IDBENCH=70830
IDSOLVER=1864
FILE ID=node135/3380605-1305483993
RUNJOBID= node135-1305481203-546
PBS_JOBID= 13325345
Free space on /tmp= 73340 MiB

SOLVER NAME= borg-sat 11.03.02-par-industrial (fixed)
BENCH NAME= SAT09/APPLICATIONS/crypto/md5gen/gus-md5-11.cnf
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.industrial.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT -cores NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3380605-1305483993/watcher-3380605-1305483993 -o /tmp/evaluation-result-3380605-1305483993/solver-3380605-1305483993 -C 40000 -W 5100 -M 31000  python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3380605-1305483993.cnf -seed 1693792417 -budget 40000 -cores 8

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

MD5SUM BENCH= 49867705b76fc90285dd6fc48de2613c
RANDOM SEED=1693792417

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:      12132800 kB
Buffers:        303200 kB
Cached:        6308884 kB
SwapCached:      60528 kB
Active:       10533676 kB
Inactive:     10019276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12132800 kB
SwapTotal:    67111528 kB
SwapFree:     65222232 kB
Dirty:           35860 kB
Writeback:           0 kB
AnonPages:    13885448 kB
Mapped:          21324 kB
Slab:           142988 kB
PageTables:      52620 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 79790272 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= 73308 MiB
End job on node135 at 2011-05-15 21:18:20