Trace number 3380579

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 25430.4 3078.29

General information on the benchmark

NameAPPLICATIONS/bitverif/
minandmaxor/minandmaxor128.cnf
MD5SUM5b2e2178738883a628728bb1ec39f4a9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1971.87
Satisfiable
(Un)Satisfiability was proved
Number of variables249327
Number of clauses746444
Sum of the clauses size1741700
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2497628
Number of clauses of size 3248814
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.31/0.47	c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle
0.31/0.47	c INFO: solving HOME/instance-3380579-1305481750.cnf
0.31/0.47	c INFO: computing task features
2.70/2.83	c INFO: computed variable-clause graph statistics
2.80/2.92	c INFO: computed clause balance statistics
14.40/14.54	c INFO: computed variable balance statistics
23.20/23.35	c INFO: computed small-clause counts
23.40/23.55	c INFO: computed Horn-clause counts
94.60/94.78	c INFO: computed variable graph statistics
94.60/94.78	c INFO: collected features for HOME/instance-3380579-1305481750.cnf in 94.24 s
94.69/94.81	c INFO: running lingeling-276@0 for 97 with 4905 remaining (b = 0.63)
94.69/94.83	c INFO: running cryptominisat-2.9.0@0 for 485 with 4905 remaining (b = 0.45)
94.69/94.86	c INFO: running lingeling-276@0 for 1261 with 4905 remaining (b = 0.55)
94.69/94.89	c INFO: running lingeling-276@0 for 970 with 4905 remaining (b = 0.44)
94.80/94.92	c INFO: running cryptominisat-2.9.0@0 for 485 with 4905 remaining (b = 0.35)
94.80/94.94	c INFO: running precosat-570@0 for 388 with 4905 remaining (b = 0.28)
94.80/94.97	c INFO: running SApperloT@0 for 97 with 4905 remaining (b = 0.03)
94.89/95.00	c INFO: running lingeling-276@0 for 970 with 4905 remaining (b = 0.29)
894.67/195.15	c INFO: running cryptominisat-2.9.0@0 for 873 with 4805 remaining (b = 0.33)
896.11/195.36	c INFO: running cryptominisat-2.9.0@0 for 97 with 4805 remaining (b = 0.04)
1723.39/299.10	c INFO: running lingeling-276@0 for 97 with 4701 remaining (b = 0.04)
2500.36/396.42	c INFO: running precosat-570@0 for 776 with 4604 remaining (b = 0.23)
3295.74/496.17	c INFO: running lingeling-276@97 for 97 with 4504 remaining (b = 0.04)
4010.35/585.78	c INFO: running precosat-570@0 for 291 with 4414 remaining (b = 0.09)
4022.31/587.25	c INFO: running precosat-570@0 for 388 with 4413 remaining (b = 0.11)
4071.76/593.49	c INFO: running cryptominisat-2.9.0@101 for 1843 with 4406 remaining (b = 0.42)
6354.58/879.69	c INFO: running lingeling-276@0 for 97 with 4120 remaining (b = 0.04)
7155.44/980.03	c INFO: running precosat-570@490 for 291 with 4020 remaining (b = 0.09)
7166.51/981.42	c INFO: running cryptominisat-2.9.0@0 for 1843 with 4019 remaining (b = 0.38)
7870.84/1069.76	c INFO: running precosat-570@97 for 97 with 3930 remaining (b = 0.03)
7935.46/1077.91	c INFO: running cryptominisat-2.9.0@0 for 97 with 3922 remaining (b = 0.03)
7938.35/1078.24	c INFO: running cryptominisat-2.9.0@0 for 1843 with 3922 remaining (b = 0.33)
8598.94/1161.07	c INFO: running precosat-570@1071 for 97 with 3839 remaining (b = 0.05)
8723.34/1176.67	c INFO: running cryptominisat-2.9.0@100 for 388 with 3823 remaining (b = 0.11)
8758.44/1181.04	c INFO: running cryptominisat-2.9.0@0 for 582 with 3819 remaining (b = 0.13)
9390.96/1260.43	c INFO: running precosat-570@1849 for 388 with 3740 remaining (b = 0.08)
9562.23/1281.98	c INFO: running precosat-570@883 for 388 with 3718 remaining (b = 0.09)
10173.32/1358.60	c INFO: running precosat-570@0 for 388 with 3641 remaining (b = 0.09)
11805.69/1563.60	c INFO: running cryptominisat-2.9.0@202 for 291 with 3436 remaining (b = 0.06)
12499.60/1650.62	c INFO: running cryptominisat-2.9.0@876 for 776 with 3349 remaining (b = 0.15)
12670.87/1672.17	c INFO: running lingeling-276@99 for 97 with 3328 remaining (b = 0.02)
13305.80/1751.88	c INFO: running precosat-570@0 for 97 with 3248 remaining (b = 0.04)
13446.80/1769.51	c INFO: running precosat-570@385 for 97 with 3230 remaining (b = 0.02)
13522.47/1779.05	c INFO: running lingeling-276@586 for 679 with 3221 remaining (b = 0.13)
14105.57/1852.23	c INFO: running precosat-570@95 for 97 with 3148 remaining (b = 0.02)
14196.38/1863.67	c INFO: running precosat-570@392 for 388 with 3136 remaining (b = 0.08)
14221.81/1866.84	c INFO: running precosat-570@968 for 291 with 3133 remaining (b = 0.07)
14912.59/1953.56	c INFO: running precosat-570@387 for 97 with 3046 remaining (b = 0.03)
15671.71/2048.87	c INFO: running precosat-570@0 for 97 with 2951 remaining (b = 0.05)
16471.50/2149.23	c INFO: running cryptominisat-2.9.0@0 for 97 with 2851 remaining (b = 0.02)
16610.29/2166.77	c INFO: running precosat-570@1067 for 194 with 2833 remaining (b = 0.04)
17258.47/2248.20	c INFO: running precosat-570@2143 for 97 with 2752 remaining (b = 0.02)
17319.78/2255.89	c INFO: running precosat-570@2147 for 97 with 2744 remaining (b = 0.02)
18034.34/2345.53	c INFO: running cryptominisat-2.9.0@291 for 97 with 2654 remaining (b = 0.02)
18095.66/2353.22	c INFO: running precosat-570@489 for 291 with 2647 remaining (b = 0.05)
18224.84/2369.45	c INFO: running precosat-570@99 for 291 with 2631 remaining (b = 0.05)
18683.60/2427.05	c INFO: running lingeling-276@0 for 97 with 2573 remaining (b = 0.03)
18835.73/2446.17	c INFO: running cryptominisat-2.9.0@1266 for 97 with 2554 remaining (b = 0.03)
18868.36/2450.28	c INFO: running lingeling-276@488 for 776 with 2550 remaining (b = 0.11)
18916.22/2456.30	c INFO: running precosat-570@1164 for 97 with 2544 remaining (b = 0.01)
19483.36/2527.40	c INFO: running precosat-570@482 for 388 with 2473 remaining (b = 0.05)
19640.27/2547.17	c INFO: running cryptominisat-2.9.0@3105 for 194 with 2453 remaining (b = 0.04)
19692.00/2553.65	c INFO: running cryptominisat-2.9.0@388 for 97 with 2446 remaining (b = 0.02)
20444.82/2648.17	c INFO: running precosat-570@685 for 97 with 2352 remaining (b = 0.02)
20466.30/2650.86	c INFO: running lingeling-276@686 for 582 with 2349 remaining (b = 0.08)
20581.90/2665.38	c INFO: running glucose@0 for 194 with 2335 remaining (b = 0.03)
21149.67/2736.69	c INFO: running cryptominisat-2.9.0@3199 for 194 with 2263 remaining (b = 0.04)
21203.93/2743.48	c INFO: running precosat-570@2535 for 97 with 2256 remaining (b = 0.01)
21917.50/2833.01	c INFO: running cryptominisat-2.9.0@974 for 679 with 2167 remaining (b = 0.11)
21979.62/2840.81	c INFO: running precosat-570@871 for 388 with 2159 remaining (b = 0.05)
22196.25/2868.03	c INFO: running glucose@189 for 97 with 2132 remaining (b = 0.02)
22607.24/2919.61	c INFO: running cryptominisat-2.9.0@388 for 97 with 2080 remaining (b = 0.01)
22659.80/2926.23	c INFO: running cryptominisat-2.9.0@592 for 1358 with 2074 remaining (b = 0.20)
22746.64/2937.19	c INFO: running cryptominisat-2.9.0@3294 for 97 with 2063 remaining (b = 0.03)
22955.37/2963.34	c INFO: running glucose@580 for 388 with 2037 remaining (b = 0.06)
23410.97/3020.60	c INFO: running cryptominisat-2.9.0@2229 for 97 with 1979 remaining (b = 0.02)
23488.13/3030.24	c INFO: running precosat-570@583 for 194 with 1970 remaining (b = 0.03)
23870.09/3078.22	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-3380579-1305481750/watcher-3380579-1305481750 -o /tmp/evaluation-result-3380579-1305481750/solver-3380579-1305481750 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3380579-1305481750.cnf -seed 1723536821 -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: 5.03 2.86 1.34 2/383 10754
/proc/meminfo: memFree=20827944/32951124 swapFree=67111348/67111528
[pid=10754] ppid=10752 vsize=15908 CPUtime=0 cores=0-7
/proc/10754/stat : 10754 (python) R 10752 10754 10442 0 -1 4202496 953 0 0 0 0 0 0 0 23 0 1 0 640591221 16289792 830 33554432000 4194304 5683644 140733636615920 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/10754/statm: 3977 831 357 364 0 464 0

[startup+0.0857051 s]
/proc/loadavg: 5.03 2.86 1.34 2/383 10754
/proc/meminfo: memFree=20827944/32951124 swapFree=67111348/67111528
[pid=10754] ppid=10752 vsize=93956 CPUtime=0.06 cores=0-7
/proc/10754/stat : 10754 (python) S 10752 10754 10442 0 -1 4202496 2693 0 0 0 4 2 0 0 23 0 1 0 640591221 96210944 2406 33554432000 4194304 5683644 140733636615920 18446744073709551615 255106766848 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/10754/statm: 23489 2406 764 364 0 1621 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 93956

[startup+0.10072 s]
/proc/loadavg: 5.03 2.86 1.34 2/383 10754
/proc/meminfo: memFree=20827944/32951124 swapFree=67111348/67111528
[pid=10754] ppid=10752 vsize=104220 CPUtime=0.06 cores=0-7
/proc/10754/stat : 10754 (python) R 10752 10754 10442 0 -1 4202496 3057 0 0 0 4 2 0 0 23 0 1 0 640591221 106721280 2740 33554432000 4194304 5683644 140733636615920 18446744073709551615 255106766848 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/10754/statm: 26055 2740 847 364 0 1803 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 104220

[startup+0.300672 s]
/proc/loadavg: 5.03 2.86 1.34 2/383 10754
/proc/meminfo: memFree=20827944/32951124 swapFree=67111348/67111528
[pid=10754] ppid=10752 vsize=170752 CPUtime=0.23 cores=0-7
/proc/10754/stat : 10754 (python) S 10752 10754 10442 0 -1 4202496 6733 933 1 0 17 6 0 0 17 0 1 0 640591221 174850048 4805 33554432000 4194304 5683644 140733636615920 18446744073709551615 255106766848 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/10754/statm: 42688 4805 1336 364 0 3453 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 170752

[startup+0.700597 s]
/proc/loadavg: 5.03 2.86 1.34 2/383 10754
/proc/meminfo: memFree=20827944/32951124 swapFree=67111348/67111528
[pid=10754] ppid=10752 vsize=306328 CPUtime=0.6 cores=0-7
/proc/10754/stat : 10754 (python) R 10752 10754 10442 0 -1 4202496 16142 933 1 0 51 9 0 0 17 0 1 0 640591221 313679872 13820 33554432000 4194304 5683644 140733636615920 18446744073709551615 47148289938810 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/10754/statm: 76582 13820 1761 364 0 12506 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 306328

[startup+1.50045 s]
/proc/loadavg: 5.03 2.86 1.34 2/384 10759
/proc/meminfo: memFree=20758992/32951124 swapFree=67111348/67111528
[pid=10754] ppid=10752 vsize=360608 CPUtime=1.4 cores=0-7
/proc/10754/stat : 10754 (python) R 10752 10754 10442 0 -1 4202496 29322 933 1 0 129 11 0 0 19 0 1 0 640591221 369262592 27000 33554432000 4194304 5683644 140733636615920 18446744073709551615 4602358 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/10754/statm: 90152 27000 1761 364 0 26076 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 360608

[startup+3.10019 s]
/proc/loadavg: 5.03 2.86 1.34 2/384 10759
/proc/meminfo: memFree=20688932/32951124 swapFree=67111348/67111528
[pid=10754] ppid=10752 vsize=429308 CPUtime=3 cores=0-7
/proc/10754/stat : 10754 (python) R 10752 10754 10442 0 -1 4202496 63937 933 1 0 285 15 0 0 22 0 1 0 640591221 439611392 44712 33554432000 4194304 5683644 140733636615920 18446744073709551615 255106435968 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/10754/statm: 107327 44712 1826 364 0 43251 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 429308

[startup+6.30062 s]
/proc/loadavg: 4.71 2.83 1.34 2/384 10759
/proc/meminfo: memFree=20655576/32951124 swapFree=67111348/67111528
[pid=10754] ppid=10752 vsize=429308 CPUtime=6.2 cores=0-7
/proc/10754/stat : 10754 (python) R 10752 10754 10442 0 -1 4202496 63937 933 1 0 605 15 0 0 25 0 1 0 640591221 439611392 44712 33554432000 4194304 5683644 140733636615920 18446744073709551615 255106427636 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/10754/statm: 107327 44712 1826 364 0 43251 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 429308

[startup+12.7005 s]
/proc/loadavg: 4.41 2.79 1.34 2/384 10759
/proc/meminfo: memFree=20657588/32951124 swapFree=67111348/67111528
[pid=10754] ppid=10752 vsize=429308 CPUtime=12.6 cores=0-7
/proc/10754/stat : 10754 (python) R 10752 10754 10442 0 -1 4202496 63937 933 1 0 1245 15 0 0 25 0 1 0 640591221 439611392 44712 33554432000 4194304 5683644 140733636615920 18446744073709551615 47148119228002 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/10754/statm: 107327 44712 1826 364 0 43251 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 429308

[startup+25.5002 s]
/proc/loadavg: 3.66 2.71 1.33 2/384 10759
/proc/meminfo: memFree=20658796/32951124 swapFree=67111348/67111528
[pid=10754] ppid=10752 vsize=429308 CPUtime=25.4 cores=0-7
/proc/10754/stat : 10754 (python) R 10752 10754 10442 0 -1 4202496 63944 933 1 0 2525 15 0 0 25 0 1 0 640591221 439611392 44719 33554432000 4194304 5683644 140733636615920 18446744073709551615 47148119083148 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/10754/statm: 107327 44719 1833 364 0 43251 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 429308

[startup+51.1007 s]
/proc/loadavg: 2.75 2.57 1.32 2/384 10760
/proc/meminfo: memFree=20658552/32951124 swapFree=67111348/67111528
[pid=10754] ppid=10752 vsize=429308 CPUtime=51 cores=0-7
/proc/10754/stat : 10754 (python) R 10752 10754 10442 0 -1 4202496 63944 933 1 0 5085 15 0 0 25 0 1 0 640591221 439611392 44719 33554432000 4194304 5683644 140733636615920 18446744073709551615 47148119083148 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/10754/statm: 107327 44719 1833 364 0 43251 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 429308

[startup+102.316 s]
/proc/loadavg: 2.32 2.44 1.34 9/408 10785
/proc/meminfo: memFree=19427092/32951124 swapFree=67111348/67111528
[pid=10754] ppid=10752 vsize=565480 CPUtime=94.91 cores=0-7
/proc/10754/stat : 10754 (python) S 10752 10754 10442 0 -1 4202496 69642 933 1 0 9471 20 0 0 19 0 9 0 640591221 579051520 42050 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118595531 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10754/statm: 141370 42050 1889 364 0 77267 0
[pid=10762] ppid=10754 vsize=417908 CPUtime=0.01 cores=0-7
/proc/10762/stat : 10762 (python) S 10754 10754 10442 0 -1 4202560 987 0 0 0 0 1 0 0 18 0 1 0 640600702 427937792 40411 33554432000 4194304 5683644 140733636615920 18446744073709551615 255106788879 0 0 16781312 514 1138472826601177348 0 0 17 1 0 0 0
/proc/10762/statm: 104477 40411 381 364 0 40395 0
[pid=10764] ppid=10762 vsize=91268 CPUtime=7.48 cores=0-7
/proc/10764/stat : 10764 (lingeling) R 10762 10764 10764 0 -1 4202496 35086 0 0 0 743 5 0 0 25 0 1 0 640600703 93458432 21984 33554432000 4194304 4352236 140737317589376 18446744073709551615 4214744 0 0 16781312 17506 0 0 0 17 3 0 0 0
/proc/10764/statm: 22817 21984 127 39 0 21897 0
[pid=10765] ppid=10754 vsize=428164 CPUtime=0.01 cores=0-7
/proc/10765/stat : 10765 (python) S 10754 10754 10442 0 -1 4202560 903 0 0 0 0 1 0 0 15 0 1 0 640600705 438439936 40404 33554432000 4194304 5683644 140733636615920 18446744073709551615 255106788934 0 0 16781312 514 1138465130019782915 0 0 17 6 0 0 0
/proc/10765/statm: 107041 40404 370 364 0 42956 0
[pid=10767] ppid=10765 vsize=499588 CPUtime=7.44 cores=0-7
/proc/10767/stat : 10767 (cryptominisat-2) R 10765 10767 10767 0 -1 4202496 85764 0 0 0 733 11 0 0 25 0 1 0 640600705 511578112 80942 33554432000 4194304 4677096 140735886255248 18446744073709551615 4319726 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/10767/statm: 124897 80942 361 118 0 119856 0
[pid=10768] ppid=10754 vsize=438420 CPUtime=0.02 cores=0-7
/proc/10768/stat : 10768 (python) S 10754 10754 10442 0 -1 4202560 933 0 0 0 1 1 0 0 18 0 1 0 640600708 448942080 40408 33554432000 4194304 5683644 140733636615920 18446744073709551615 255106788934 0 0 16781312 514 6359896866502443268 0 0 17 1 0 0 0
/proc/10768/statm: 109605 40408 370 364 0 45517 0
[pid=10770] ppid=10768 vsize=74880 CPUtime=7.43 cores=0-7
/proc/10770/stat : 10770 (lingeling) R 10768 10770 10770 0 -1 4202496 30993 0 0 0 739 4 0 0 25 0 1 0 640600708 76677120 17888 33554432000 4194304 4352236 140734947927296 18446744073709551615 4229912 0 0 16781312 17506 0 0 0 17 2 0 0 0
/proc/10770/statm: 18720 17888 127 39 0 17800 0
[pid=10771] ppid=10754 vsize=448676 CPUtime=0.02 cores=0-7
/proc/10771/stat : 10771 (python) S 10754 10754 10442 0 -1 4202560 924 0 0 0 1 1 0 0 18 0 1 0 640600710 459444224 40412 33554432000 4194304 5683644 140733636615920 18446744073709551615 255106788934 0 0 16781312 514 6359900714793140483 0 0 17 1 0 0 0
/proc/10771/statm: 112169 40412 370 364 0 48078 0
[pid=10773] ppid=10771 vsize=91268 CPUtime=7.4 cores=0-7
/proc/10773/stat : 10773 (lingeling) R 10771 10773 10773 0 -1 4202496 35087 0 0 0 735 5 0 0 25 0 1 0 640600711 93458432 21985 33554432000 4194304 4352236 140736853126032 18446744073709551615 4229912 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/10773/statm: 22817 21985 127 39 0 21897 0
[pid=10774] ppid=10754 vsize=458932 CPUtime=0.02 cores=0-7
/proc/10774/stat : 10774 (python) S 10754 10754 10442 0 -1 4202560 936 0 0 0 1 1 0 0 15 0 1 0 640600713 469946368 40416 33554432000 4194304 5683644 140733636615920 18446744073709551615 255106788934 0 0 16781312 514 6359893018211746052 0 0 17 1 0 0 0
/proc/10774/statm: 114733 40416 370 364 0 50639 0
[pid=10776] ppid=10774 vsize=491392 CPUtime=7.35 cores=0-7
/proc/10776/stat : 10776 (cryptominisat-2) R 10774 10776 10776 0 -1 4202496 84583 0 0 0 721 14 0 0 25 0 1 0 640600714 503185408 79760 33554432000 4194304 4677096 140737145160400 18446744073709551615 4319726 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10776/statm: 122848 79760 361 118 0 117807 0
[pid=10777] ppid=10754 vsize=469188 CPUtime=0.02 cores=0-7
/proc/10777/stat : 10777 (python) S 10754 10754 10442 0 -1 4202560 940 0 0 0 1 1 0 0 18 0 1 0 640600716 480448512 40420 33554432000 4194304 5683644 140733636615920 18446744073709551615 255106788934 0 0 16781312 514 12952501241560137986 0 0 17 1 0 0 0
/proc/10777/statm: 117297 40420 370 364 0 53200 0
[pid=10779] ppid=10777 vsize=243068 CPUtime=7.22 cores=0-7
/proc/10779/stat : 10779 (precosat) R 10777 10779 10779 0 -1 4202496 63785 0 0 0 713 9 0 0 25 0 1 0 640600717 248901632 59623 33554432000 4194304 4890832 140733519231232 18446744073709551615 4238327 0 0 16781312 17442 0 0 0 17 7 0 0 0
/proc/10779/statm: 60767 59623 86 171 0 60594 0
[pid=10780] ppid=10754 vsize=544980 CPUtime=0.01 cores=0-7
/proc/10780/stat : 10780 (python) S 10754 10754 10442 0 -1 4202560 813 0 0 0 0 1 0 0 18 0 1 0 640600719 558059520 40542 33554432000 4194304 5683644 140733636615920 18446744073709551615 255106788934 0 0 16781312 514 12952505089850835201 0 0 17 1 0 0 0
/proc/10780/statm: 136245 40542 371 364 0 72145 0
[pid=10784] ppid=10780 vsize=39576 CPUtime=7.29 cores=0-7
/proc/10784/stat : 10784 (SApperloT-base) R 10780 10784 10784 0 -1 4202496 9426 0 0 0 726 3 0 0 25 0 1 0 640600722 40525824 8942 33554432000 134512640 135674940 4289053408 18446744073709551615 134550631 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/10784/statm: 9894 8942 99 284 0 9608 0
[pid=10782] ppid=10754 vsize=555236 CPUtime=0.02 cores=0-7
/proc/10782/stat : 10782 (python) S 10754 10754 10442 0 -1 4202560 855 0 0 0 1 1 0 0 18 0 1 0 640600722 568561664 40534 33554432000 4194304 5683644 140733636615920 18446744073709551615 255106788934 0 0 16781312 514 12952493544978743553 0 0 17 1 0 0 0
/proc/10782/statm: 138809 40534 377 364 0 74706 0
[pid=10785] ppid=10782 vsize=74880 CPUtime=7.14 cores=0-7
/proc/10785/stat : 10785 (lingeling) R 10782 10785 10785 0 -1 4202496 30991 0 0 0 710 4 0 0 25 0 1 0 640600723 76677120 17888 33554432000 4194304 4352236 140734844926208 18446744073709551615 4228448 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/10785/statm: 18720 17888 127 39 0 17800 0
[pid=10754/tid=10763] ppid=10752 vsize=565480 CPUtime=0 cores=0-7
/proc/10754/task/10763/stat : 10763 (python) S 10752 10754 10442 0 -1 4202560 24 933 0 0 0 0 0 0 25 0 9 0 640600703 579051520 42050 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 4 0 0 0
[pid=10754/tid=10766] ppid=10752 vsize=565480 CPUtime=0 cores=0-7
/proc/10754/task/10766/stat : 10766 (python) S 10752 10754 10442 0 -1 4202560 20 933 0 0 0 0 0 0 20 0 9 0 640600705 579051520 42050 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 0 0 0 0
[pid=10754/tid=10769] ppid=10752 vsize=565480 CPUtime=0 cores=0-7
/proc/10754/task/10769/stat : 10769 (python) S 10752 10754 10442 0 -1 4202560 27 933 0 0 0 0 0 0 21 0 9 0 640600708 579051520 42050 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 2 0 0 0
[pid=10754/tid=10772] ppid=10752 vsize=565480 CPUtime=0 cores=0-7
/proc/10754/task/10772/stat : 10772 (python) S 10752 10754 10442 0 -1 4202560 21 933 0 0 0 0 0 0 18 0 9 0 640600711 579051520 42050 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 5 0 0 0
[pid=10754/tid=10775] ppid=10752 vsize=565480 CPUtime=0 cores=0-7
/proc/10754/task/10775/stat : 10775 (python) S 10752 10754 10442 0 -1 4202560 23 933 0 0 0 0 0 0 20 0 9 0 640600714 579051520 42050 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 0 0 0 0
[pid=10754/tid=10778] ppid=10752 vsize=565480 CPUtime=0 cores=0-7
/proc/10754/task/10778/stat : 10778 (python) S 10752 10754 10442 0 -1 4202560 26 933 0 0 0 0 0 0 21 0 9 0 640600717 579051520 42050 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 7 0 0 0
[pid=10754/tid=10781] ppid=10752 vsize=565480 CPUtime=0 cores=0-7
/proc/10754/task/10781/stat : 10781 (python) S 10752 10754 10442 0 -1 4202560 75 933 0 0 0 0 0 0 19 0 9 0 640600719 579051520 42050 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 4 0 0 0
[pid=10754/tid=10783] ppid=10752 vsize=565480 CPUtime=0 cores=0-7
/proc/10754/task/10783/stat : 10783 (python) S 10752 10754 10442 0 -1 4202560 23 933 0 0 0 0 0 0 20 0 9 0 640600722 579051520 42050 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 153.79
Current children cumulated vsize (KiB) 5932904

[startup+162.301 s]
/proc/loadavg: 5.98 3.46 1.76 9/408 10787
/proc/meminfo: memFree=18612820/32951124 swapFree=67111348/67111528
[pid=10754] ppid=10752 vsize=565480 CPUtime=94.91 cores=0-7
/proc/10754/stat : 10754 (python) S 10752 10754 10442 0 -1 4202496 69642 933 1 0 9471 20 0 0 19 0 9 0 640591221 579051520 42050 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118595531 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10754/statm: 141370 42050 1889 364 0 77267 0
[pid=10762] ppid=10754 vsize=417908 CPUtime=0.19 cores=0-7
/proc/10762/stat : 10762 (python) S 10754 10754 10442 0 -1 4202560 1017 0 0 0 10 9 0 0 18 0 1 0 640600702 427937792 40411 33554432000 4194304 5683644 140733636615920 18446744073709551615 255106788879 0 0 16781312 514 9500994324821672196 0 0 17 1 0 0 0
/proc/10762/statm: 104477 40411 381 364 0 40395 0

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

/proc/10754/task/10865/stat : 10865 (python) S 10752 10754 10442 0 -1 4202560 52 1765462 0 0 0 0 955850 1843 18 0 22 0 640727083 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 4 0 0 0
[pid=10754/tid=10879] ppid=10752 vsize=698808 CPUtime=9576.93 cores=0-7
/proc/10754/task/10879/stat : 10879 (python) S 10752 10754 10442 0 -1 4202560 107 1765462 0 0 0 0 955850 1843 18 0 22 0 640766410 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 4 0 0 0
[pid=10754/tid=10892] ppid=10752 vsize=698808 CPUtime=9576.93 cores=0-7
/proc/10754/task/10892/stat : 10892 (python) S 10752 10754 10442 0 -1 4202560 49 1765462 0 0 0 0 955850 1843 18 0 22 0 640796110 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 4 0 0 0
[pid=10754/tid=10901] ppid=10752 vsize=698808 CPUtime=9576.93 cores=0-7
/proc/10754/task/10901/stat : 10901 (python) S 10752 10754 10442 0 -1 4202560 41 1765462 0 0 0 0 955850 1843 18 0 22 0 640806145 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 4 0 0 0
[pid=10754/tid=10913] ppid=10752 vsize=698808 CPUtime=9576.93 cores=0-7
/proc/10754/task/10913/stat : 10913 (python) S 10752 10754 10442 0 -1 4202560 42 1765462 0 0 0 0 955850 1843 20 0 22 0 640833927 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 1 0 0 0
[pid=10754/tid=10924] ppid=10752 vsize=698808 CPUtime=9576.93 cores=0-7
/proc/10754/task/10924/stat : 10924 (python) S 10752 10754 10442 0 -1 4202560 38 1765462 0 0 0 0 955850 1843 18 0 22 0 640857760 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 23868.2
Current children cumulated vsize (KiB) 13311388

[startup+3078.1 s]
/proc/loadavg: 8.20 8.18 7.87 9/451 10937
/proc/meminfo: memFree=9710572/32951124 swapFree=67111348/67111528
[pid=10754] ppid=10752 vsize=698808 CPUtime=16997 cores=0-7
/proc/10754/stat : 10754 (python) S 10752 10754 10442 0 -1 4202496 88779 3641816 1 0 9627 31 1686618 3428 15 0 22 0 640591221 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118598975 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10754/statm: 174702 42337 1916 364 0 110560 0
[pid=10774] ppid=10754 vsize=458932 CPUtime=8.38 cores=0-7
/proc/10774/stat : 10774 (python) S 10754 10754 10442 0 -1 4202560 1189 0 0 0 453 385 0 0 15 0 2 0 640600713 469946368 40446 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118598975 0 0 16781824 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10774/statm: 114733 40446 399 364 0 50639 0
[pid=10776] ppid=10774 vsize=0 CPUtime=2580.5 cores=0-7
/proc/10776/stat : 10776 (cryptominisat-2) R 10774 10776 10776 0 -1 4203524 631016 0 0 0 257865 185 0 0 25 0 1 0 640600714 0 0 33554432000 0 0 0 0 0 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10776/statm: 0 0 0 0 0 0 0
[pid=10774/tid=10812] ppid=10754 vsize=458932 CPUtime=0 cores=0-7
/proc/10774/task/10812/stat : 10812 (python) S 10754 10754 10442 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 640649796 469946368 40446 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781824 2 18446604450098503936 0 0 -1 1 0 0 0
[pid=10794] ppid=10754 vsize=0 CPUtime=2105.96 cores=0-7
/proc/10794/stat : 10794 (python) Z 10754 10754 10442 0 -1 4202588 1138 602861 0 0 321 371 209744 160 16 0 1 0 640610757 0 0 33554432000 0 0 0 0 0 0 0 16781824 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10794/statm: 0 0 0 0 0 0 0
[pid=10834] ppid=10754 vsize=606516 CPUtime=2.63 cores=0-7
/proc/10834/stat : 10834 (python) S 10754 10754 10442 0 -1 4202560 1055 0 0 0 135 128 0 0 18 0 2 0 640679191 621072384 40631 33554432000 4194304 5683644 140733636615920 18446744073709551615 255106788934 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/10834/statm: 151629 40631 399 364 0 87511 0
[pid=10836] ppid=10834 vsize=144132 CPUtime=808.97 cores=0-7
/proc/10836/stat : 10836 (lingeling) R 10834 10836 10836 0 -1 4202496 56979 0 0 0 80887 10 0 0 25 0 1 0 640679192 147591168 33156 33554432000 4194304 4352236 140736943181952 18446744073709551615 4207619 0 0 16781312 17506 0 0 0 17 2 0 0 0
/proc/10836/statm: 36033 33156 129 39 0 35113 0
[pid=10834/tid=10840] ppid=10754 vsize=606516 CPUtime=0 cores=0-7
/proc/10834/task/10840/stat : 10840 (python) S 10754 10754 10442 0 -1 4202560 83 0 0 0 0 0 0 0 18 0 2 0 640689222 621072384 40631 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 514 18446604442570605824 0 0 -1 4 0 0 0
[pid=10878] ppid=10754 vsize=647540 CPUtime=2.36 cores=0-7
/proc/10878/stat : 10878 (python) S 10754 10754 10442 0 -1 4202560 1127 0 0 0 120 116 0 0 18 0 2 0 640766409 663080960 40730 33554432000 4194304 5683644 140733636615920 18446744073709551615 255106788934 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/10878/statm: 161885 40730 406 364 0 97755 0
[pid=10880] ppid=10878 vsize=446448 CPUtime=731.57 cores=0-7
/proc/10880/stat : 10880 (precosat) R 10878 10880 10880 0 -1 4202496 158789 0 0 0 73134 23 0 0 25 0 1 0 640766410 457162752 110526 33554432000 4194304 4890832 140736568659088 18446744073709551615 4238565 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/10880/statm: 111612 110526 86 171 0 111439 0
[pid=10878/tid=10885] ppid=10754 vsize=647540 CPUtime=0 cores=0-7
/proc/10878/task/10885/stat : 10885 (python) S 10754 10754 10442 0 -1 4202560 88 0 0 0 0 0 0 0 18 0 2 0 640776442 663080960 40730 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 514 18446604453931593792 0 0 -1 5 0 0 0
[pid=10891] ppid=10754 vsize=657796 CPUtime=2.03 cores=0-7
/proc/10891/stat : 10891 (python) S 10754 10754 10442 0 -1 4202560 1119 0 0 0 97 106 0 0 18 0 2 0 640796109 673583104 40706 33554432000 4194304 5683644 140733636615920 18446744073709551615 255106788934 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/10891/statm: 164449 40706 400 364 0 100316 0
[pid=10893] ppid=10891 vsize=436916 CPUtime=630.22 cores=0-7
/proc/10893/stat : 10893 (precosat) R 10891 10893 10893 0 -1 4202496 150090 0 0 0 62998 24 0 0 25 0 1 0 640796110 447401984 108128 33554432000 4194304 4890832 140734070351808 18446744073709551615 4236391 0 0 16781312 17442 0 0 0 17 3 0 0 0
/proc/10893/statm: 109229 108128 86 171 0 109056 0
[pid=10891/tid=10899] ppid=10754 vsize=657796 CPUtime=0 cores=0-7
/proc/10891/task/10899/stat : 10899 (python) S 10754 10754 10442 0 -1 4202560 91 0 0 0 0 0 0 0 18 0 2 0 640806142 673583104 40706 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 514 18446604442544752576 0 0 -1 4 0 0 0
[pid=10754/tid=10763] ppid=10752 vsize=698808 CPUtime=16900.5 cores=0-7
/proc/10754/task/10763/stat : 10763 (python) S 10752 10754 10442 0 -1 4202560 45 3641816 0 0 0 0 1686618 3428 18 0 22 0 640600703 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 4 0 0 0
[pid=10754/tid=10766] ppid=10752 vsize=698808 CPUtime=16900.5 cores=0-7
/proc/10754/task/10766/stat : 10766 (python) S 10752 10754 10442 0 -1 4202560 25 3641816 0 0 0 0 1686618 3428 18 0 22 0 640600705 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 0 0 0 0
[pid=10754/tid=10769] ppid=10752 vsize=698808 CPUtime=16900.5 cores=0-7
/proc/10754/task/10769/stat : 10769 (python) S 10752 10754 10442 0 -1 4202560 27 3641816 0 0 0 0 1686618 3428 21 0 22 0 640600708 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 2 0 0 0
[pid=10754/tid=10772] ppid=10752 vsize=698808 CPUtime=16900.5 cores=0-7
/proc/10754/task/10772/stat : 10772 (python) S 10752 10754 10442 0 -1 4202560 21 3641816 0 0 0 0 1686618 3428 18 0 22 0 640600711 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 5 0 0 0
[pid=10754/tid=10775] ppid=10752 vsize=698808 CPUtime=16900.5 cores=0-7
/proc/10754/task/10775/stat : 10775 (python) S 10752 10754 10442 0 -1 4202560 36 3641816 0 0 0 0 1686618 3428 18 0 22 0 640600714 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 4 0 0 0
[pid=10754/tid=10778] ppid=10752 vsize=698808 CPUtime=16900.5 cores=0-7
/proc/10754/task/10778/stat : 10778 (python) S 10752 10754 10442 0 -1 4202560 54 3641816 0 0 0 0 1686618 3428 18 0 22 0 640600717 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 7 0 0 0
[pid=10754/tid=10781] ppid=10752 vsize=698808 CPUtime=16900.5 cores=0-7
/proc/10754/task/10781/stat : 10781 (python) S 10752 10754 10442 0 -1 4202560 75 3641816 0 0 0 0 1686618 3428 19 0 22 0 640600719 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 4 0 0 0
[pid=10754/tid=10783] ppid=10752 vsize=698808 CPUtime=16900.5 cores=0-7
/proc/10754/task/10783/stat : 10783 (python) S 10752 10754 10442 0 -1 4202560 23 3641816 0 0 0 0 1686618 3428 20 0 22 0 640600722 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 4 0 0 0
[pid=10754/tid=10791] ppid=10752 vsize=698808 CPUtime=16900.5 cores=0-7
/proc/10754/task/10791/stat : 10791 (python) S 10752 10754 10442 0 -1 4202560 52 3641816 0 0 0 0 1686618 3428 18 0 22 0 640610738 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 1 0 0 0
[pid=10754/tid=10795] ppid=10752 vsize=698808 CPUtime=16900.5 cores=0-7
/proc/10754/task/10795/stat : 10795 (python) S 10752 10754 10442 0 -1 4202560 49 3641816 0 0 0 0 1686618 3428 18 0 22 0 640610758 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 1 0 0 0
[pid=10754/tid=10804] ppid=10752 vsize=698808 CPUtime=16900.5 cores=0-7
/proc/10754/task/10804/stat : 10804 (python) S 10752 10754 10442 0 -1 4202560 56 3641816 0 0 0 0 1686618 3428 18 0 22 0 640630864 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 1 0 0 0
[pid=10754/tid=10815] ppid=10752 vsize=698808 CPUtime=16900.5 cores=0-7
/proc/10754/task/10815/stat : 10815 (python) S 10752 10754 10442 0 -1 4202560 66 3641816 0 0 0 0 1686618 3428 18 0 22 0 640649947 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 1 0 0 0
[pid=10754/tid=10835] ppid=10752 vsize=698808 CPUtime=16900.5 cores=0-7
/proc/10754/task/10835/stat : 10835 (python) S 10752 10754 10442 0 -1 4202560 50 3641816 0 0 0 0 1686618 3428 18 0 22 0 640679191 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 4 0 0 0
[pid=10754/tid=10847] ppid=10752 vsize=698808 CPUtime=16900.5 cores=0-7
/proc/10754/task/10847/stat : 10847 (python) S 10752 10754 10442 0 -1 4202560 67 3641816 0 0 0 0 1686618 3428 18 0 22 0 640699013 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 1 0 0 0
[pid=10754/tid=10856] ppid=10752 vsize=698808 CPUtime=16900.5 cores=0-7
/proc/10754/task/10856/stat : 10856 (python) S 10752 10754 10442 0 -1 4202560 39 3641816 0 0 0 0 1686618 3428 20 0 22 0 640709327 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 1 0 0 0
[pid=10754/tid=10865] ppid=10752 vsize=698808 CPUtime=16900.5 cores=0-7
/proc/10754/task/10865/stat : 10865 (python) S 10752 10754 10442 0 -1 4202560 52 3641816 0 0 0 0 1686618 3428 18 0 22 0 640727083 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 4 0 0 0
[pid=10754/tid=10879] ppid=10752 vsize=698808 CPUtime=16900.5 cores=0-7
/proc/10754/task/10879/stat : 10879 (python) S 10752 10754 10442 0 -1 4202560 107 3641816 0 0 0 0 1686618 3428 18 0 22 0 640766410 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 4 0 0 0
[pid=10754/tid=10892] ppid=10752 vsize=698808 CPUtime=16900.5 cores=0-7
/proc/10754/task/10892/stat : 10892 (python) S 10752 10754 10442 0 -1 4202560 49 3641816 0 0 0 0 1686618 3428 18 0 22 0 640796110 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 4 0 0 0
[pid=10754/tid=10901] ppid=10752 vsize=698808 CPUtime=16900.5 cores=0-7
/proc/10754/task/10901/stat : 10901 (python) S 10752 10754 10442 0 -1 4202560 41 3641816 0 0 0 0 1686618 3428 18 0 22 0 640806145 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 4 0 0 0
[pid=10754/tid=10913] ppid=10752 vsize=698808 CPUtime=16900.5 cores=0-7
/proc/10754/task/10913/stat : 10913 (python) S 10752 10754 10442 0 -1 4202560 42 3641816 0 0 0 0 1686618 3428 20 0 22 0 640833927 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 1 0 0 0
[pid=10754/tid=10924] ppid=10752 vsize=698808 CPUtime=16900.5 cores=0-7
/proc/10754/task/10924/stat : 10924 (python) S 10752 10754 10442 0 -1 4202560 38 3641816 0 0 0 0 1686618 3428 18 0 22 0 640857760 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 23869.7
Current children cumulated vsize (KiB) 4097088

[startup+3078.2 s]
/proc/loadavg: 8.20 8.18 7.87 9/451 10937
/proc/meminfo: memFree=9710572/32951124 swapFree=67111348/67111528
[pid=10754] ppid=10752 vsize=698808 CPUtime=21030.1 cores=0-7
/proc/10754/stat : 10754 (python) S 10752 10754 10442 0 -1 4202496 88780 4483356 1 0 9627 31 2089072 4279 15 0 22 0 640591221 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118598975 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10754/statm: 174702 42337 1916 364 0 110560 0
[pid=10794] ppid=10754 vsize=0 CPUtime=2105.96 cores=0-7
/proc/10794/stat : 10794 (python) Z 10754 10754 10442 0 -1 4202588 1138 602861 0 0 321 371 209744 160 16 0 1 0 640610757 0 0 33554432000 0 0 0 0 0 0 0 16781824 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10794/statm: 0 0 0 0 0 0 0
[pid=10878] ppid=10754 vsize=647540 CPUtime=2.36 cores=0-7
/proc/10878/stat : 10878 (python) S 10754 10754 10442 0 -1 4202560 1130 0 0 0 120 116 0 0 18 0 2 0 640766409 663080960 40730 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118598975 0 0 16781824 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10878/statm: 161885 40730 406 364 0 97755 0
[pid=10880] ppid=10878 vsize=0 CPUtime=731.68 cores=0-7
/proc/10880/stat : 10880 (precosat) R 10878 10880 10880 0 -1 4203524 158789 0 0 0 73144 24 0 0 25 0 1 0 640766410 0 0 33554432000 0 0 0 0 0 0 0 16781312 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/10880/statm: 0 0 0 0 0 0 0
[pid=10878/tid=10885] ppid=10754 vsize=647540 CPUtime=0 cores=0-7
/proc/10878/task/10885/stat : 10885 (python) S 10754 10754 10442 0 -1 4202560 88 0 0 0 0 0 0 0 18 0 2 0 640776442 663080960 40730 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781824 2 18446604453931593792 0 0 -1 5 0 0 0
[pid=10754/tid=10763] ppid=10752 vsize=698808 CPUtime=20933.5 cores=0-7
/proc/10754/task/10763/stat : 10763 (python) S 10752 10754 10442 0 -1 4202560 45 4483356 0 0 0 0 2089072 4279 18 0 22 0 640600703 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 4 0 0 0
[pid=10754/tid=10766] ppid=10752 vsize=698808 CPUtime=20933.5 cores=0-7
/proc/10754/task/10766/stat : 10766 (python) S 10752 10754 10442 0 -1 4202560 25 4483356 0 0 0 0 2089072 4279 18 0 22 0 640600705 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 0 0 0 0
[pid=10754/tid=10769] ppid=10752 vsize=698808 CPUtime=20933.5 cores=0-7
/proc/10754/task/10769/stat : 10769 (python) S 10752 10754 10442 0 -1 4202560 27 4483356 0 0 0 0 2089072 4279 21 0 22 0 640600708 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 2 0 0 0
[pid=10754/tid=10772] ppid=10752 vsize=698808 CPUtime=20933.5 cores=0-7
/proc/10754/task/10772/stat : 10772 (python) S 10752 10754 10442 0 -1 4202560 21 4483356 0 0 0 0 2089072 4279 18 0 22 0 640600711 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 5 0 0 0
[pid=10754/tid=10775] ppid=10752 vsize=698808 CPUtime=20933.5 cores=0-7
/proc/10754/task/10775/stat : 10775 (python) S 10752 10754 10442 0 -1 4202560 36 4483356 0 0 0 0 2089072 4279 18 0 22 0 640600714 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 4 0 0 0
[pid=10754/tid=10778] ppid=10752 vsize=698808 CPUtime=20933.5 cores=0-7
/proc/10754/task/10778/stat : 10778 (python) S 10752 10754 10442 0 -1 4202560 54 4483356 0 0 0 0 2089072 4279 18 0 22 0 640600717 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 7 0 0 0
[pid=10754/tid=10781] ppid=10752 vsize=698808 CPUtime=20933.5 cores=0-7
/proc/10754/task/10781/stat : 10781 (python) S 10752 10754 10442 0 -1 4202560 75 4483356 0 0 0 0 2089072 4279 19 0 22 0 640600719 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 4 0 0 0
[pid=10754/tid=10783] ppid=10752 vsize=698808 CPUtime=20933.5 cores=0-7
/proc/10754/task/10783/stat : 10783 (python) S 10752 10754 10442 0 -1 4202560 23 4483356 0 0 0 0 2089072 4279 20 0 22 0 640600722 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 4 0 0 0
[pid=10754/tid=10791] ppid=10752 vsize=698808 CPUtime=20933.5 cores=0-7
/proc/10754/task/10791/stat : 10791 (python) S 10752 10754 10442 0 -1 4202560 52 4483356 0 0 0 0 2089072 4279 18 0 22 0 640610738 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 1 0 0 0
[pid=10754/tid=10795] ppid=10752 vsize=698808 CPUtime=20933.5 cores=0-7
/proc/10754/task/10795/stat : 10795 (python) S 10752 10754 10442 0 -1 4202560 49 4483356 0 0 0 0 2089072 4279 18 0 22 0 640610758 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 1 0 0 0
[pid=10754/tid=10804] ppid=10752 vsize=698808 CPUtime=20933.5 cores=0-7
/proc/10754/task/10804/stat : 10804 (python) S 10752 10754 10442 0 -1 4202560 56 4483356 0 0 0 0 2089072 4279 18 0 22 0 640630864 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 1 0 0 0
[pid=10754/tid=10815] ppid=10752 vsize=698808 CPUtime=20933.5 cores=0-7
/proc/10754/task/10815/stat : 10815 (python) S 10752 10754 10442 0 -1 4202560 66 4483356 0 0 0 0 2089072 4279 18 0 22 0 640649947 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 1 0 0 0
[pid=10754/tid=10835] ppid=10752 vsize=698808 CPUtime=20933.5 cores=0-7
/proc/10754/task/10835/stat : 10835 (python) S 10752 10754 10442 0 -1 4202560 50 4483356 0 0 0 0 2089072 4279 18 0 22 0 640679191 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 4 0 0 0
[pid=10754/tid=10847] ppid=10752 vsize=698808 CPUtime=20933.5 cores=0-7
/proc/10754/task/10847/stat : 10847 (python) S 10752 10754 10442 0 -1 4202560 67 4483356 0 0 0 0 2089072 4279 18 0 22 0 640699013 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 1 0 0 0
[pid=10754/tid=10856] ppid=10752 vsize=698808 CPUtime=20933.5 cores=0-7
/proc/10754/task/10856/stat : 10856 (python) S 10752 10754 10442 0 -1 4202560 39 4483356 0 0 0 0 2089072 4279 20 0 22 0 640709327 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 1 0 0 0
[pid=10754/tid=10865] ppid=10752 vsize=698808 CPUtime=20933.5 cores=0-7
/proc/10754/task/10865/stat : 10865 (python) S 10752 10754 10442 0 -1 4202560 52 4483356 0 0 0 0 2089072 4279 18 0 22 0 640727083 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 4 0 0 0
[pid=10754/tid=10879] ppid=10752 vsize=698808 CPUtime=20933.5 cores=0-7
/proc/10754/task/10879/stat : 10879 (python) S 10752 10754 10442 0 -1 4202560 107 4483356 0 0 0 0 2089072 4279 18 0 22 0 640766410 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 4 0 0 0
[pid=10754/tid=10892] ppid=10752 vsize=698808 CPUtime=20933.5 cores=0-7
/proc/10754/task/10892/stat : 10892 (python) S 10752 10754 10442 0 -1 4202560 49 4483356 0 0 0 0 2089072 4279 18 0 22 0 640796110 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 4 0 0 0
[pid=10754/tid=10901] ppid=10752 vsize=698808 CPUtime=20933.5 cores=0-7
/proc/10754/task/10901/stat : 10901 (python) S 10752 10754 10442 0 -1 4202560 41 4483356 0 0 0 0 2089072 4279 18 0 22 0 640806145 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 4 0 0 0
[pid=10754/tid=10913] ppid=10752 vsize=698808 CPUtime=20933.5 cores=0-7
/proc/10754/task/10913/stat : 10913 (python) S 10752 10754 10442 0 -1 4202560 42 4483356 0 0 0 0 2089072 4279 20 0 22 0 640833927 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 1 0 0 0
[pid=10754/tid=10924] ppid=10752 vsize=698808 CPUtime=20933.5 cores=0-7
/proc/10754/task/10924/stat : 10924 (python) S 10752 10754 10442 0 -1 4202560 38 4483356 0 0 0 0 2089072 4279 18 0 22 0 640857760 715579392 42337 33554432000 4194304 5683644 140733636615920 18446744073709551615 255118592433 0 0 16781312 2 18446604442544751680 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 23870.1
Current children cumulated vsize (KiB) 1346348

Child status: 0

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1560.14
#  lost CPU user time (s): 1557.65
#  lost CPU system time (s): 2.49

Real time (s): 3078.29
CPU time (s): 25430.4
CPU user time (s): 25378
CPU system time (s): 52.3674
CPU usage (%): 826.121
Max. virtual memory (cumulated for all children) (KiB): 30681980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23820.3
system time used= 49.8774
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5354835
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= 31079
involuntary context switches= 136163

runsolver used 24.5563 second user time and 65.0091 second system time

The end

Launcher Data 

Begin job on node144 at 2011-05-15 19:49:11
IDJOB=3380579
IDBENCH=70769
IDSOLVER=1864
FILE ID=node144/3380579-1305481750
RUNJOBID= node144-1305481200-10456
PBS_JOBID= 13325336
Free space on /tmp= 73212 MiB

SOLVER NAME= borg-sat 11.03.02-par-industrial (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor128.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-3380579-1305481750/watcher-3380579-1305481750 -o /tmp/evaluation-result-3380579-1305481750/solver-3380579-1305481750 -C 40000 -W 5100 -M 31000  python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3380579-1305481750.cnf -seed 1723536821 -budget 40000 -cores 8

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

MD5SUM BENCH= 5b2e2178738883a628728bb1ec39f4a9
RANDOM SEED=1723536821

node144.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.850
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.850
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	: 5226.16
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.850
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.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
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.850
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.75
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.850
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.82
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.850
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.75
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.850
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:      20828348 kB
Buffers:        321180 kB
Cached:        4000368 kB
SwapCached:          0 kB
Active:        8846296 kB
Inactive:      2914984 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20828348 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           45152 kB
Writeback:           8 kB
AnonPages:     7440224 kB
Mapped:          33408 kB
Slab:           250200 kB
PageTables:      42068 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 108094448 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73180 MiB
End job on node144 at 2011-05-15 20:40:29