Trace number 3380531

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 18497.7 2321.07

General information on the benchmark

Nameindustrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
MD5SUM90581094793af5fc10d4e4b9a10259ac
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark642.926
Satisfiable
(Un)Satisfiability was proved
Number of variables1400
Number of clauses4732
Sum of the clauses size12300
Maximum clause length21
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 22052
Number of clauses of size 32605
Number of clauses of size 427
Number of clauses of size 531
Number of clauses of size over 514

Solver Data 

0.34/0.69	c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle
0.34/0.69	c INFO: solving HOME/instance-3380531-1305481207.cnf
0.34/0.69	c INFO: computing task features
0.41/0.71	c INFO: computed variable-clause graph statistics
0.41/0.71	c INFO: computed clause balance statistics
0.41/0.79	c INFO: computed variable balance statistics
0.51/0.85	c INFO: computed small-clause counts
0.51/0.85	c INFO: computed Horn-clause counts
0.51/0.86	c INFO: computed variable graph statistics
0.51/0.86	c INFO: collected features for HOME/instance-3380531-1305481207.cnf in 0.17 s
0.51/0.88	c INFO: running lingeling-276@0 for 97 with 4999 remaining (b = 0.28)
0.61/0.90	c INFO: running cryptominisat-2.9.0@0 for 485 with 4999 remaining (b = 0.36)
0.61/0.93	c INFO: running lingeling-276@0 for 1261 with 4999 remaining (b = 0.53)
0.61/0.95	c INFO: running cryptominisat-2.9.0@0 for 485 with 4999 remaining (b = 0.27)
0.61/0.98	c INFO: running lingeling-276@0 for 1261 with 4999 remaining (b = 0.45)
0.71/1.00	c INFO: running precosat-570@0 for 388 with 4999 remaining (b = 0.21)
0.71/1.03	c INFO: running lingeling-276@0 for 1261 with 4999 remaining (b = 0.36)
0.71/1.05	c INFO: running SApperloT@0 for 97 with 4999 remaining (b = 0.03)
800.98/101.22	c INFO: running cryptominisat-2.9.0@0 for 1455 with 4899 remaining (b = 0.40)
801.73/101.39	c INFO: running lingeling-276@0 for 970 with 4899 remaining (b = 0.25)
3153.97/396.21	c INFO: running precosat-570@0 for 679 with 4604 remaining (b = 0.27)
3903.73/490.22	c INFO: running precosat-570@0 for 776 with 4510 remaining (b = 0.29)
3932.40/493.83	c INFO: running SApperloT@0 for 97 with 4506 remaining (b = 0.03)
4732.42/594.17	c INFO: running cryptominisat-2.9.0@0 for 4406 with 4406 remaining (b = 0.58)
8522.79/1069.32	c INFO: running lingeling-276@391 for 97 with 3931 remaining (b = 0.04)
8618.47/1081.36	c INFO: running cryptominisat-2.9.0@0 for 97 with 3919 remaining (b = 0.05)
9330.63/1170.65	c INFO: running lingeling-276@0 for 582 with 3830 remaining (b = 0.15)
9419.90/1181.82	c INFO: running cryptominisat-2.9.0@0 for 388 with 3818 remaining (b = 0.13)
10065.12/1262.81	c INFO: running cryptominisat-2.9.0@100 for 388 with 3737 remaining (b = 0.14)
10154.58/1273.95	c INFO: running cryptominisat-2.9.0@0 for 1940 with 3726 remaining (b = 0.37)
10211.08/1281.08	c INFO: running precosat-570@0 for 97 with 3719 remaining (b = 0.03)
10272.48/1288.70	c INFO: running lingeling-276@1069 for 97 with 3712 remaining (b = 0.02)
11011.62/1381.44	c INFO: running precosat-570@487 for 194 with 3619 remaining (b = 0.06)
11048.34/1386.06	c INFO: running precosat-570@780 for 1455 with 3614 remaining (b = 0.28)
12474.92/1565.05	c INFO: running glucose@0 for 873 with 3435 remaining (b = 0.19)
12543.42/1573.65	c INFO: running cryptominisat-2.9.0@1261 for 97 with 3427 remaining (b = 0.03)
12547.50/1574.12	c INFO: running precosat-570@0 for 97 with 3426 remaining (b = 0.03)
13175.12/1652.93	c INFO: running precosat-570@584 for 97 with 3347 remaining (b = 0.03)
13346.39/1674.44	c INFO: running cryptominisat-2.9.0@1366 for 97 with 3326 remaining (b = 0.03)
13346.39/1674.49	c INFO: running precosat-570@386 for 97 with 3326 remaining (b = 0.03)
13950.36/1750.28	c INFO: running precosat-570@684 for 97 with 3250 remaining (b = 0.04)
14016.34/1758.53	c INFO: running cryptominisat-2.9.0@99 for 97 with 3242 remaining (b = 0.03)
14154.15/1775.84	c INFO: running cryptominisat-2.9.0@1454 for 97 with 3224 remaining (b = 0.03)
14154.93/1775.94	c INFO: running cryptominisat-2.9.0@1465 for 194 with 3224 remaining (b = 0.05)
14750.04/1850.67	c INFO: running precosat-570@1271 for 97 with 3150 remaining (b = 0.03)
14784.26/1854.97	c INFO: running cryptominisat-2.9.0@199 for 291 with 3145 remaining (b = 0.09)
14927.63/1872.99	c INFO: running cryptominisat-2.9.0@1555 for 97 with 3127 remaining (b = 0.04)
15509.27/1946.00	c INFO: running cryptominisat-2.9.0@0 for 97 with 3054 remaining (b = 0.03)
15709.91/1971.12	c INFO: running cryptominisat-2.9.0@1565 for 97 with 3029 remaining (b = 0.04)
15716.27/1971.94	c INFO: running cryptominisat-2.9.0@1650 for 291 with 3028 remaining (b = 0.07)
16320.86/2047.88	c INFO: running cryptominisat-2.9.0@192 for 97 with 2952 remaining (b = 0.02)
16467.41/2066.24	c INFO: running cryptominisat-2.9.0@1662 for 291 with 2934 remaining (b = 0.07)
17111.90/2147.19	c INFO: running precosat-570@1367 for 97 with 2853 remaining (b = 0.02)
17167.65/2154.12	c INFO: running cryptominisat-2.9.0@295 for 194 with 2846 remaining (b = 0.05)
17887.79/2244.54	c INFO: running precosat-570@490 for 291 with 2756 remaining (b = 0.06)
18034.37/2262.94	c INFO: running cryptominisat-2.9.0@1750 for 194 with 2737 remaining (b = 0.05)
18497.46/2321.04	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-3380531-1305481207/watcher-3380531-1305481207 -o /tmp/evaluation-result-3380531-1305481207/solver-3380531-1305481207 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3380531-1305481207.cnf -seed 86413246 -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: 0.00 0.00 0.00 1/411 24993
/proc/meminfo: memFree=17080660/32951124 swapFree=59305804/67111528
[pid=24993] ppid=24991 vsize=15776 CPUtime=0 cores=0-7
/proc/24993/stat : 24993 (python) R 24991 24993 24967 0 -1 4202496 903 0 0 0 0 0 0 0 21 0 1 0 738351201 16154624 784 33554432000 4194304 5683644 140735462776112 18446744073709551615 252458061669 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/24993/statm: 3944 784 346 364 0 431 0

[startup+0.10927 s]
/proc/loadavg: 0.00 0.00 0.00 1/411 24993
/proc/meminfo: memFree=17080660/32951124 swapFree=59305804/67111528
[pid=24993] ppid=24991 vsize=94180 CPUtime=0.06 cores=0-7
/proc/24993/stat : 24993 (python) S 24991 24993 24967 0 -1 4202496 2766 0 0 0 4 2 0 0 21 0 1 0 738351201 96440320 2475 33554432000 4194304 5683644 140735462776112 18446744073709551615 252458063872 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/24993/statm: 23545 2475 764 364 0 1677 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 94180

[startup+0.200222 s]
/proc/loadavg: 0.00 0.00 0.00 1/411 24993
/proc/meminfo: memFree=17080660/32951124 swapFree=59305804/67111528
[pid=24993] ppid=24991 vsize=124072 CPUtime=0.11 cores=0-7
/proc/24993/stat : 24993 (python) R 24991 24993 24967 0 -1 4202496 4232 0 1 0 8 3 0 0 21 0 1 0 738351201 127049728 3842 33554432000 4194304 5683644 140735462776112 18446744073709551615 5214075 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/24993/statm: 31018 3843 991 364 0 2829 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 124072

[startup+0.300253 s]
/proc/loadavg: 0.00 0.00 0.00 1/411 24993
/proc/meminfo: memFree=17080660/32951124 swapFree=59305804/67111528
[pid=24993] ppid=24991 vsize=135752 CPUtime=0.19 cores=0-7
/proc/24993/stat : 24993 (python) S 24991 24993 24967 0 -1 4202496 5960 935 1 0 14 5 0 0 17 0 1 0 738351201 139010048 4151 33554432000 4194304 5683644 140735462776112 18446744073709551615 252458061829 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/24993/statm: 33938 4151 1032 364 0 3124 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 135752

[startup+0.701162 s]
/proc/loadavg: 0.00 0.00 0.00 1/411 24993
/proc/meminfo: memFree=17080660/32951124 swapFree=59305804/67111528
[pid=24993] ppid=24991 vsize=278624 CPUtime=0.41 cores=0-7
/proc/24993/stat : 24993 (python) R 24991 24993 24967 0 -1 4202496 9291 935 1 0 30 11 0 0 16 0 1 0 738351201 285310976 6975 33554432000 4194304 5683644 140735462776112 18446744073709551615 4445115 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/24993/statm: 69656 6976 1761 364 0 5580 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 278624

[startup+1.50094 s]
/proc/loadavg: 0.00 0.00 0.00 9/436 25022
/proc/meminfo: memFree=17014856/32951124 swapFree=59305804/67111528
[pid=24993] ppid=24991 vsize=426720 CPUtime=0.77 cores=0-7
/proc/24993/stat : 24993 (python) S 24991 24993 24967 0 -1 4202496 15257 935 1 0 64 13 0 0 20 0 9 0 738351201 436961280 7274 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469892555 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24993/statm: 106680 7274 1889 364 0 42577 0
[pid=24999] ppid=24993 vsize=279008 CPUtime=0 cores=0-7
/proc/24999/stat : 24999 (python) S 24993 24993 24967 0 -1 4202560 788 0 0 0 0 0 0 0 18 0 1 0 738351290 285704192 5658 33554432000 4194304 5683644 140735462776112 18446744073709551615 252458085903 0 0 16781312 514 4144203640283856895 0 0 17 1 0 0 0
/proc/24999/statm: 69752 5658 352 364 0 5670 0
[pid=25001] ppid=24999 vsize=6480 CPUtime=0.6 cores=0-7
/proc/25001/stat : 25001 (lingeling) R 24999 25001 25001 0 -1 4202496 1131 0 0 0 60 0 0 0 21 0 1 0 738351290 6635520 822 33554432000 4194304 4352236 140736317549552 18446744073709551615 4281167 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/25001/statm: 1620 822 129 39 0 700 0
[pid=25002] ppid=24993 vsize=289264 CPUtime=0 cores=0-7
/proc/25002/stat : 25002 (python) S 24993 24993 24967 0 -1 4202560 743 0 0 0 0 0 0 0 15 0 1 0 738351292 296206336 5675 33554432000 4194304 5683644 140735462776112 18446744073709551615 252458085958 0 0 16781312 514 1097690840815337729 0 0 17 3 0 0 0
/proc/25002/statm: 72316 5675 348 364 0 8231 0
[pid=25004] ppid=25002 vsize=31996 CPUtime=0.58 cores=0-7
/proc/25004/stat : 25004 (cryptominisat-2) R 25002 25004 25004 0 -1 4202496 1695 0 0 0 58 0 0 0 20 0 1 0 738351292 32763904 1154 33554432000 4194304 4677096 140737243218352 18446744073709551615 4319237 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/25004/statm: 7999 1154 391 118 0 2958 0
[pid=25005] ppid=24993 vsize=365056 CPUtime=0 cores=0-7
/proc/25005/stat : 25005 (python) S 24993 24993 24967 0 -1 4202560 725 0 0 0 0 0 0 0 19 0 1 0 738351294 373817344 5677 33554432000 4194304 5683644 140735462776112 18446744073709551615 252458085958 0 0 16781312 514 6224504104169766911 0 0 17 1 0 0 0
/proc/25005/statm: 91264 5677 344 364 0 27176 0
[pid=25007] ppid=25005 vsize=6064 CPUtime=0.56 cores=0-7
/proc/25007/stat : 25007 (lingeling) R 25005 25007 25007 0 -1 4202496 1010 0 0 0 56 0 0 0 22 0 1 0 738351295 6209536 718 33554432000 4194304 4352236 140735693997200 18446744073709551615 4278664 0 0 16781312 17506 0 0 0 17 6 0 0 0
/proc/25007/statm: 1516 718 129 39 0 596 0
[pid=25008] ppid=24993 vsize=375452 CPUtime=0 cores=0-7
/proc/25008/stat : 25008 (python) S 24993 24993 24967 0 -1 4202560 766 0 0 0 0 0 0 0 18 0 1 0 738351297 384462848 5702 33554432000 4194304 5683644 140735462776112 18446744073709551615 252458085958 0 0 16781312 514 3663955378091032835 0 0 17 5 0 0 0
/proc/25008/statm: 93863 5702 348 364 0 29772 0
[pid=25010] ppid=25008 vsize=31772 CPUtime=0.53 cores=0-7
/proc/25010/stat : 25010 (cryptominisat-2) R 25008 25010 25010 0 -1 4202496 1605 0 0 0 53 0 0 0 23 0 1 0 738351297 32534528 1092 33554432000 4194304 4677096 140734193548240 18446744073709551615 4358608 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/25010/statm: 7943 1092 391 118 0 2902 0
[pid=25011] ppid=24993 vsize=385708 CPUtime=0 cores=0-7
/proc/25011/stat : 25011 (python) S 24993 24993 24967 0 -1 4202560 745 0 0 0 0 0 0 0 21 0 1 0 738351299 394964992 5702 33554432000 4194304 5683644 140735462776112 18446744073709551615 252458085958 0 0 16781312 514 5588464939925766143 0 0 17 1 0 0 0
/proc/25011/statm: 96427 5702 344 364 0 32333 0
[pid=25013] ppid=25011 vsize=5768 CPUtime=0.49 cores=0-7
/proc/25013/stat : 25013 (lingeling) R 25011 25013 25013 0 -1 4202496 936 0 0 0 49 0 0 0 25 0 1 0 738351300 5906432 643 33554432000 4194304 4352236 140736795001120 18446744073709551615 4329315 0 0 16781312 17506 0 0 0 17 7 0 0 0
/proc/25013/statm: 1442 643 129 39 0 522 0
[pid=25014] ppid=24993 vsize=395964 CPUtime=0 cores=0-7
/proc/25014/stat : 25014 (python) S 24993 24993 24967 0 -1 4202560 758 0 0 0 0 0 0 0 22 0 1 0 738351302 405467136 5706 33554432000 4194304 5683644 140735462776112 18446744073709551615 252458085958 0 0 16781312 514 16608520615304888319 0 0 17 2 0 0 0
/proc/25014/statm: 98991 5706 344 364 0 34894 0
[pid=25016] ppid=25014 vsize=3816 CPUtime=0.46 cores=0-7
/proc/25016/stat : 25016 (precosat) R 25014 25016 25016 0 -1 4202496 1086 0 0 0 46 0 0 0 25 0 1 0 738351302 3907584 816 33554432000 4194304 4890832 140733550608288 18446744073709551615 4238594 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/25016/statm: 954 816 86 171 0 781 0
[pid=25017] ppid=24993 vsize=406220 CPUtime=0 cores=0-7
/proc/25017/stat : 25017 (python) S 24993 24993 24967 0 -1 4202560 755 0 0 0 0 0 0 0 19 0 1 0 738351304 415969280 5710 33554432000 4194304 5683644 140735462776112 18446744073709551615 252458085958 0 0 16781312 514 3265737555278036991 0 0 17 2 0 0 0
/proc/25017/statm: 101555 5710 344 364 0 37455 0
[pid=25019] ppid=25017 vsize=6124 CPUtime=0.46 cores=0-7
/proc/25019/stat : 25019 (lingeling) R 25017 25019 25019 0 -1 4202496 1025 0 0 0 46 0 0 0 21 0 1 0 738351305 6270976 733 33554432000 4194304 4352236 140736849358864 18446744073709551615 4328496 0 0 16781312 17506 0 0 0 17 2 0 0 0
/proc/25019/statm: 1531 733 129 39 0 611 0
[pid=25020] ppid=24993 vsize=416476 CPUtime=0 cores=0-7
/proc/25020/stat : 25020 (python) S 24993 24993 24967 0 -1 4202560 796 0 0 0 0 0 0 0 19 0 1 0 738351307 426471424 5731 33554432000 4194304 5683644 140735462776112 18446744073709551615 252458085958 0 0 16781312 514 3265733706987339775 0 0 17 0 0 0 0
/proc/25020/statm: 104119 5731 350 364 0 40016 0
[pid=25022] ppid=25020 vsize=2320 CPUtime=0.43 cores=0-7
/proc/25022/stat : 25022 (SApperloT-base) R 25020 25022 25022 0 -1 4202496 636 0 0 0 43 0 0 0 21 0 1 0 738351307 2375680 361 33554432000 134512640 135674940 4289507200 18446744073709551615 134564660 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/25022/statm: 580 361 99 284 0 294 0
[pid=24993/tid=25000] ppid=24991 vsize=426720 CPUtime=0 cores=0-7
/proc/24993/task/25000/stat : 25000 (python) S 24991 24993 24967 0 -1 4202560 25 935 0 0 0 0 0 0 17 0 9 0 738351290 436961280 7274 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 0 0 0 0
[pid=24993/tid=25003] ppid=24991 vsize=426720 CPUtime=0 cores=0-7
/proc/24993/task/25003/stat : 25003 (python) S 24991 24993 24967 0 -1 4202560 19 935 0 0 0 0 0 0 18 0 9 0 738351292 436961280 7274 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 3 0 0 0
[pid=24993/tid=25006] ppid=24991 vsize=426720 CPUtime=0 cores=0-7
/proc/24993/task/25006/stat : 25006 (python) S 24991 24993 24967 0 -1 4202560 24 935 0 0 0 0 0 0 19 0 9 0 738351294 436961280 7274 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 6 0 0 0
[pid=24993/tid=25009] ppid=24991 vsize=426720 CPUtime=0 cores=0-7
/proc/24993/task/25009/stat : 25009 (python) S 24991 24993 24967 0 -1 4202560 18 935 0 0 0 0 0 0 18 0 9 0 738351297 436961280 7274 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 5 0 0 0
[pid=24993/tid=25012] ppid=24991 vsize=426720 CPUtime=0 cores=0-7
/proc/24993/task/25012/stat : 25012 (python) S 24991 24993 24967 0 -1 4202560 22 935 0 0 0 0 0 0 21 0 9 0 738351299 436961280 7274 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 0 0 0 0
[pid=24993/tid=25015] ppid=24991 vsize=426720 CPUtime=0 cores=0-7
/proc/24993/task/25015/stat : 25015 (python) S 24991 24993 24967 0 -1 4202560 24 935 0 0 0 0 0 0 23 0 9 0 738351302 436961280 7274 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 2 0 0 0
[pid=24993/tid=25018] ppid=24991 vsize=426720 CPUtime=0 cores=0-7
/proc/24993/task/25018/stat : 25018 (python) S 24991 24993 24967 0 -1 4202560 26 935 0 0 0 0 0 0 20 0 9 0 738351305 436961280 7274 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 2 0 0 0
[pid=24993/tid=25021] ppid=24991 vsize=426720 CPUtime=0 cores=0-7
/proc/24993/task/25021/stat : 25021 (python) S 24991 24993 24967 0 -1 4202560 33 935 0 0 0 0 0 0 20 0 9 0 738351307 436961280 7274 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.88
Current children cumulated vsize (KiB) 3434208

[startup+3.10164 s]
/proc/loadavg: 0.00 0.00 0.00 9/436 25022
/proc/meminfo: memFree=16997752/32951124 swapFree=59305804/67111528
[pid=24993] ppid=24991 vsize=426720 CPUtime=0.77 cores=0-7
/proc/24993/stat : 24993 (python) S 24991 24993 24967 0 -1 4202496 15257 935 1 0 64 13 0 0 20 0 9 0 738351201 436961280 7274 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469892555 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24993/statm: 106680 7274 1889 364 0 42577 0
[pid=24999] ppid=24993 vsize=279008 CPUtime=0 cores=0-7
/proc/24999/stat : 24999 (python) S 24993 24993 24967 0 -1 4202560 813 0 0 0 0 0 0 0 18 0 1 0 738351290 285704192 5665 33554432000 4194304 5683644 140735462776112 18446744073709551615 252458085903 0 0 16781312 514 4144203640283824388 0 0 17 1 0 0 0
/proc/24999/statm: 69752 5665 359 364 0 5670 0
[pid=25001] ppid=24999 vsize=6868 CPUtime=2.2 cores=0-7
/proc/25001/stat : 25001 (lingeling) R 24999 25001 25001 0 -1 4202496 1644 0 0 0 220 0 0 0 25 0 1 0 738351290 7032832 919 33554432000 4194304 4352236 140736317549552 18446744073709551615 4328345 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/25001/statm: 1717 919 129 39 0 797 0
[pid=25002] ppid=24993 vsize=289264 CPUtime=0 cores=0-7
/proc/25002/stat : 25002 (python) S 24993 24993 24967 0 -1 4202560 743 0 0 0 0 0 0 0 15 0 1 0 738351292 296206336 5675 33554432000 4194304 5683644 140735462776112 18446744073709551615 252458085958 0 0 16781312 514 5606999106787442945 0 0 17 3 0 0 0
/proc/25002/statm: 72316 5675 348 364 0 8231 0
[pid=25004] ppid=25002 vsize=32872 CPUtime=2.18 cores=0-7
/proc/25004/stat : 25004 (cryptominisat-2) R 25002 25004 25004 0 -1 4202496 2881 0 0 0 218 0 0 0 25 0 1 0 738351292 33660928 1289 33554432000 4194304 4677096 140737243218352 18446744073709551615 4319545 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/25004/statm: 8218 1289 392 118 0 3177 0
[pid=25005] ppid=24993 vsize=365056 CPUtime=0 cores=0-7
/proc/25005/stat : 25005 (python) S 24993 24993 24967 0 -1 4202560 743 0 0 0 0 0 0 0 18 0 1 0 738351294 373817344 5681 33554432000 4194304 5683644 140735462776112 18446744073709551615 252458085958 0 0 16781312 514 6224504104169734401 0 0 17 1 0 0 0
/proc/25005/statm: 91264 5681 348 364 0 27176 0
[pid=25007] ppid=25005 vsize=6748 CPUtime=2.16 cores=0-7
/proc/25007/stat : 25007 (lingeling) R 25005 25007 25007 0 -1 4202496 1701 0 0 0 216 0 0 0 25 0 1 0 738351295 6909952 889 33554432000 4194304 4352236 140735693997200 18446744073709551615 4328116 0 0 16781312 17506 0 0 0 17 6 0 0 0
/proc/25007/statm: 1687 889 129 39 0 767 0
[pid=25008] ppid=24993 vsize=375452 CPUtime=0 cores=0-7
/proc/25008/stat : 25008 (python) S 24993 24993 24967 0 -1 4202560 766 0 0 0 0 0 0 0 15 0 1 0 738351297 384462848 5702 33554432000 4194304 5683644 140735462776112 18446744073709551615 252458085958 0 0 16781312 514 5606999106787442947 0 0 17 5 0 0 0
/proc/25008/statm: 93863 5702 348 364 0 29772 0
[pid=25010] ppid=25008 vsize=32868 CPUtime=2.13 cores=0-7
/proc/25010/stat : 25010 (cryptominisat-2) R 25008 25010 25010 0 -1 4202496 2685 0 0 0 213 0 0 0 25 0 1 0 738351297 33656832 1287 33554432000 4194304 4677096 140734193548240 18446744073709551615 4319581 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/25010/statm: 8217 1287 392 118 0 3176 0
[pid=25011] ppid=24993 vsize=385708 CPUtime=0 cores=0-7
/proc/25011/stat : 25011 (python) S 24993 24993 24967 0 -1 4202560 763 0 0 0 0 0 0 0 18 0 1 0 738351299 394964992 5706 33554432000 4194304 5683644 140735462776112 18446744073709551615 252458085958 0 0 16781312 514 5588464939925733634 0 0 17 1 0 0 0
/proc/25011/statm: 96427 5706 348 364 0 32333 0
[pid=25013] ppid=25011 vsize=6872 CPUtime=2.08 cores=0-7
/proc/25013/stat : 25013 (lingeling) R 25011 25013 25013 0 -1 4202496 1544 0 0 0 208 0 0 0 25 0 1 0 738351300 7036928 915 33554432000 4194304 4352236 140736795001120 18446744073709551615 4328026 0 0 16781312 17506 0 0 0 17 7 0 0 0
/proc/25013/statm: 1718 915 129 39 0 798 0
[pid=25014] ppid=24993 vsize=395964 CPUtime=0 cores=0-7
/proc/25014/stat : 25014 (python) S 24993 24993 24967 0 -1 4202560 777 0 0 0 0 0 0 0 18 0 1 0 738351302 405467136 5710 33554432000 4194304 5683644 140735462776112 18446744073709551615 252458085958 0 0 16781312 514 16608520615304855810 0 0 17 2 0 0 0
/proc/25014/statm: 98991 5710 348 364 0 34894 0
[pid=25016] ppid=25014 vsize=4972 CPUtime=2.05 cores=0-7
/proc/25016/stat : 25016 (precosat) R 25014 25016 25016 0 -1 4202496 1374 0 0 0 205 0 0 0 25 0 1 0 738351302 5091328 1104 33554432000 4194304 4890832 140733550608288 18446744073709551615 4238565 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/25016/statm: 1243 1104 86 171 0 1070 0
[pid=25017] ppid=24993 vsize=406220 CPUtime=0 cores=0-7
/proc/25017/stat : 25017 (python) S 24993 24993 24967 0 -1 4202560 773 0 0 0 0 0 0 0 18 0 1 0 738351304 415969280 5714 33554432000 4194304 5683644 140735462776112 18446744073709551615 252458085958 0 0 16781312 514 3265737555278004484 0 0 17 2 0 0 0
/proc/25017/statm: 101555 5714 348 364 0 37455 0
[pid=25019] ppid=25017 vsize=6776 CPUtime=2.06 cores=0-7
/proc/25019/stat : 25019 (lingeling) R 25017 25019 25019 0 -1 4202496 1636 0 0 0 206 0 0 0 25 0 1 0 738351305 6938624 896 33554432000 4194304 4352236 140736849358864 18446744073709551615 4247574 0 0 16781312 17506 0 0 0 17 2 0 0 0
/proc/25019/statm: 1694 896 129 39 0 774 0
[pid=25020] ppid=24993 vsize=416476 CPUtime=0 cores=0-7
/proc/25020/stat : 25020 (python) S 24993 24993 24967 0 -1 4202560 815 0 0 0 0 0 0 0 18 0 1 0 738351307 426471424 5735 33554432000 4194304 5683644 140735462776112 18446744073709551615 252458085958 0 0 16781312 514 3265733706987307267 0 0 17 0 0 0 0
/proc/25020/statm: 104119 5735 354 364 0 40016 0
[pid=25022] ppid=25020 vsize=2980 CPUtime=2.03 cores=0-7
/proc/25022/stat : 25022 (SApperloT-base) R 25020 25022 25022 0 -1 4202496 778 0 0 0 203 0 0 0 25 0 1 0 738351307 3051520 503 33554432000 134512640 135674940 4289507200 18446744073709551615 134564285 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/25022/statm: 745 503 99 284 0 459 0
[pid=24993/tid=25000] ppid=24991 vsize=426720 CPUtime=0 cores=0-7
/proc/24993/task/25000/stat : 25000 (python) S 24991 24993 24967 0 -1 4202560 25 935 0 0 0 0 0 0 17 0 9 0 738351290 436961280 7274 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 0 0 0 0
[pid=24993/tid=25003] ppid=24991 vsize=426720 CPUtime=0 cores=0-7
/proc/24993/task/25003/stat : 25003 (python) S 24991 24993 24967 0 -1 4202560 19 935 0 0 0 0 0 0 18 0 9 0 738351292 436961280 7274 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 3 0 0 0
[pid=24993/tid=25006] ppid=24991 vsize=426720 CPUtime=0 cores=0-7
/proc/24993/task/25006/stat : 25006 (python) S 24991 24993 24967 0 -1 4202560 24 935 0 0 0 0 0 0 19 0 9 0 738351294 436961280 7274 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 6 0 0 0
[pid=24993/tid=25009] ppid=24991 vsize=426720 CPUtime=0 cores=0-7
/proc/24993/task/25009/stat : 25009 (python) S 24991 24993 24967 0 -1 4202560 18 935 0 0 0 0 0 0 18 0 9 0 738351297 436961280 7274 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 5 0 0 0
[pid=24993/tid=25012] ppid=24991 vsize=426720 CPUtime=0 cores=0-7

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

/proc/25067/task/25076/stat : 25076 (python) S 24993 24993 24967 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 2 0 738469381 468623360 5975 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 514 18446604444306373312 0 0 -1 1 0 0 0
[pid=25072] ppid=24993 vsize=467896 CPUtime=1.93 cores=0-7
/proc/25072/stat : 25072 (python) S 24993 24993 24967 0 -1 4202560 1175 0 0 0 98 95 0 0 19 0 2 0 738468267 479125504 5942 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469892555 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/25072/statm: 116974 5942 400 364 0 52856 0
[pid=25074] ppid=25072 vsize=33228 CPUtime=587.06 cores=0-7
/proc/25074/stat : 25074 (lingeling) T 25072 25074 25074 0 -1 4202496 60274 0 0 0 58695 11 0 0 25 0 1 0 738468267 34025472 7509 33554432000 4194304 4352236 140736588884384 18446744073709551615 4328000 0 0 16781312 17506 18446744071562691360 0 0 17 6 0 0 0
/proc/25074/statm: 8307 7509 129 39 0 7387 0
[pid=25072/tid=25120] ppid=24993 vsize=467896 CPUtime=0 cores=0-7
/proc/25072/task/25120/stat : 25120 (python) S 24993 24993 24967 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 738527052 479125504 5942 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 514 18446604453985334208 0 0 -1 6 0 0 0
[pid=25090] ppid=24993 vsize=478332 CPUtime=3.56 cores=0-7
/proc/25090/stat : 25090 (python) S 24993 24993 24967 0 -1 4202560 1040 0 0 0 178 178 0 0 15 0 1 0 738478597 489811968 5949 33554432000 4194304 5683644 140735462776112 18446744073709551615 252458085958 0 0 16781312 514 15748349025100726531 0 0 17 4 0 0 0
/proc/25090/statm: 119583 5949 371 364 0 55462 0
[pid=25092] ppid=25090 vsize=111356 CPUtime=1043.43 cores=0-7
/proc/25092/stat : 25092 (cryptominisat-2) R 25090 25092 25092 0 -1 4202496 156048 0 0 0 104293 50 0 0 25 0 1 0 738478597 114028544 21609 33554432000 4194304 4677096 140737437419840 18446744073709551615 4319759 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/25092/statm: 27839 21609 392 118 0 22798 0
[pid=25094] ppid=24993 vsize=488588 CPUtime=3.45 cores=0-7
/proc/25094/stat : 25094 (python) S 24993 24993 24967 0 -1 4202560 1343 0 0 0 175 170 0 0 18 0 2 0 738479310 500314112 6031 33554432000 4194304 5683644 140735462776112 18446744073709551615 252458085958 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/25094/statm: 122147 6031 407 364 0 58023 0
[pid=25096] ppid=25094 vsize=40860 CPUtime=1025.51 cores=0-7
/proc/25096/stat : 25096 (precosat) R 25094 25096 25096 0 -1 4202496 14276 0 0 0 102546 5 0 0 25 0 1 0 738479310 41840640 10070 33554432000 4194304 4890832 140735614396064 18446744073709551615 4238599 0 0 16781312 17442 0 0 0 17 3 0 0 0
/proc/25096/statm: 10215 10070 86 171 0 10042 0
[pid=25094/tid=25101] ppid=24993 vsize=488588 CPUtime=0 cores=0-7
/proc/25094/task/25101/stat : 25101 (python) S 24993 24993 24967 0 -1 4202560 133 0 0 0 0 0 0 0 19 0 2 0 738489343 500314112 6031 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 514 18446604446895220672 0 0 -1 3 0 0 0
[pid=25108] ppid=24993 vsize=498844 CPUtime=2.49 cores=0-7
/proc/25108/stat : 25108 (python) S 24993 24993 24967 0 -1 4202560 1038 0 0 0 129 120 0 0 18 0 1 0 738507707 510816256 6021 33554432000 4194304 5683644 140735462776112 18446744073709551615 252458085958 0 0 16781312 514 18446744073709519105 0 0 17 0 0 0 0
/proc/25108/statm: 124711 6021 379 364 0 60584 0
[pid=25110] ppid=25108 vsize=29560 CPUtime=748.8 cores=0-7
/proc/25110/stat : 25110 (glucose_static) R 25108 25110 25110 0 -1 4202496 6945 0 0 0 74878 2 0 0 25 0 1 0 738507708 30269440 6676 33554432000 134512640 135217611 4288860864 18446744073709551615 134533193 0 0 16781312 8388611 0 0 0 17 1 0 0 0
/proc/25110/statm: 7390 6676 77 173 0 7215 0
[pid=25111] ppid=24993 vsize=509364 CPUtime=0.68 cores=0-7
/proc/25111/stat : 25111 (python) S 24993 24993 24967 0 -1 4202560 1240 0 0 0 37 31 0 0 18 0 2 0 738508613 521588736 6009 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469892555 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/25111/statm: 127341 6009 408 364 0 63211 0
[pid=25113] ppid=25111 vsize=24008 CPUtime=198.78 cores=0-7
/proc/25113/stat : 25113 (precosat) T 25111 25113 25113 0 -1 4202496 6340 0 0 0 19872 6 0 0 25 0 1 0 738508614 24584192 5820 33554432000 4194304 4890832 140736339363984 18446744073709551615 4238686 0 0 16781312 17442 18446744071562691360 0 0 17 1 0 0 0
/proc/25113/statm: 6002 5820 86 171 0 5829 0
[pid=25111/tid=25117] ppid=24993 vsize=509364 CPUtime=0 cores=0-7
/proc/25111/task/25117/stat : 25117 (python) S 24993 24993 24967 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 2 0 738518648 521588736 6009 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 514 18446604445083120640 0 0 -1 1 0 0 0
[pid=25126] ppid=24993 vsize=519552 CPUtime=0.71 cores=0-7
/proc/25126/stat : 25126 (python) S 24993 24993 24967 0 -1 4202560 1223 0 0 0 35 36 0 0 15 0 2 0 738545802 532021248 6064 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469892555 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/25126/statm: 129888 6064 401 364 0 65755 0
[pid=25128] ppid=25126 vsize=71300 CPUtime=199.96 cores=0-7
/proc/25128/stat : 25128 (cryptominisat-2) T 25126 25128 25128 0 -1 4202496 53565 0 0 0 19976 20 0 0 25 0 1 0 738545803 73011200 10988 33554432000 4194304 4677096 140737057498704 18446744073709551615 4320006 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/25128/statm: 17825 10988 392 118 0 12784 0
[pid=25126/tid=25132] ppid=24993 vsize=519552 CPUtime=0 cores=0-7
/proc/25126/task/25132/stat : 25132 (python) S 24993 24993 24967 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 738555987 532021248 6064 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 514 18446604465319315328 0 0 -1 6 0 0 0
[pid=24993/tid=25000] ppid=24991 vsize=529796 CPUtime=0 cores=0-7
/proc/24993/task/25000/stat : 25000 (python) S 24991 24993 24967 0 -1 4202560 39 935 0 0 0 0 0 0 15 0 19 0 738351290 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 0 0 0 0
[pid=24993/tid=25003] ppid=24991 vsize=529796 CPUtime=0 cores=0-7
/proc/24993/task/25003/stat : 25003 (python) S 24991 24993 24967 0 -1 4202560 40 935 0 0 0 0 0 0 15 0 19 0 738351292 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 3 0 0 0
[pid=24993/tid=25006] ppid=24991 vsize=529796 CPUtime=0 cores=0-7
/proc/24993/task/25006/stat : 25006 (python) S 24991 24993 24967 0 -1 4202560 24 935 0 0 0 0 0 0 19 0 19 0 738351294 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 6 0 0 0
[pid=24993/tid=25009] ppid=24991 vsize=529796 CPUtime=0 cores=0-7
/proc/24993/task/25009/stat : 25009 (python) S 24991 24993 24967 0 -1 4202560 23 935 0 0 0 0 0 0 15 0 19 0 738351297 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 5 0 0 0
[pid=24993/tid=25012] ppid=24991 vsize=529796 CPUtime=0 cores=0-7
/proc/24993/task/25012/stat : 25012 (python) S 24991 24993 24967 0 -1 4202560 22 935 0 0 0 0 0 0 21 0 19 0 738351299 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 0 0 0 0
[pid=24993/tid=25015] ppid=24991 vsize=529796 CPUtime=0 cores=0-7
/proc/24993/task/25015/stat : 25015 (python) S 24991 24993 24967 0 -1 4202560 39 935 0 0 0 0 0 0 18 0 19 0 738351302 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 0 0 0 0
[pid=24993/tid=25018] ppid=24991 vsize=529796 CPUtime=0 cores=0-7
/proc/24993/task/25018/stat : 25018 (python) S 24991 24993 24967 0 -1 4202560 26 935 0 0 0 0 0 0 20 0 19 0 738351305 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 2 0 0 0
[pid=24993/tid=25021] ppid=24991 vsize=529796 CPUtime=0 cores=0-7
/proc/24993/task/25021/stat : 25021 (python) S 24991 24993 24967 0 -1 4202560 33 935 0 0 0 0 0 0 20 0 19 0 738351307 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 0 0 0 0
[pid=24993/tid=25028] ppid=24991 vsize=529796 CPUtime=0 cores=0-7
/proc/24993/task/25028/stat : 25028 (python) S 24991 24993 24967 0 -1 4202560 35 935 0 0 0 0 0 0 18 0 19 0 738361324 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 0 0 0 0
[pid=24993/tid=25044] ppid=24991 vsize=529796 CPUtime=0 cores=0-7
/proc/24993/task/25044/stat : 25044 (python) S 24991 24993 24967 0 -1 4202560 34 935 0 0 0 0 0 0 18 0 19 0 738400224 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 1 0 0 0
[pid=24993/tid=25048] ppid=24991 vsize=529796 CPUtime=0 cores=0-7
/proc/24993/task/25048/stat : 25048 (python) S 24991 24993 24967 0 -1 4202560 69 935 0 0 0 0 0 0 19 0 19 0 738400584 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 1 0 0 0
[pid=24993/tid=25068] ppid=24991 vsize=529796 CPUtime=0 cores=0-7
/proc/24993/task/25068/stat : 25068 (python) S 24991 24993 24967 0 -1 4202560 42 935 0 0 0 0 0 0 18 0 19 0 738459337 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 1 0 0 0
[pid=24993/tid=25073] ppid=24991 vsize=529796 CPUtime=0 cores=0-7
/proc/24993/task/25073/stat : 25073 (python) S 24991 24993 24967 0 -1 4202560 29 935 0 0 0 0 0 0 20 0 19 0 738468267 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 0 0 0 0
[pid=24993/tid=25091] ppid=24991 vsize=529796 CPUtime=0 cores=0-7
/proc/24993/task/25091/stat : 25091 (python) S 24991 24993 24967 0 -1 4202560 36 935 0 0 0 0 0 0 20 0 19 0 738478597 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 1 0 0 0
[pid=24993/tid=25095] ppid=24991 vsize=529796 CPUtime=0 cores=0-7
/proc/24993/task/25095/stat : 25095 (python) S 24991 24993 24967 0 -1 4202560 92 935 0 0 0 0 0 0 18 0 19 0 738479310 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 0 0 0 0
[pid=24993/tid=25109] ppid=24991 vsize=529796 CPUtime=0 cores=0-7
/proc/24993/task/25109/stat : 25109 (python) S 24991 24993 24967 0 -1 4202560 38 935 0 0 0 0 0 0 20 0 19 0 738507707 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 0 0 0 0
[pid=24993/tid=25112] ppid=24991 vsize=529796 CPUtime=0 cores=0-7
/proc/24993/task/25112/stat : 25112 (python) S 24991 24993 24967 0 -1 4202560 25 935 0 0 0 0 0 0 18 0 19 0 738508614 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 0 0 0 0
[pid=24993/tid=25127] ppid=24991 vsize=529796 CPUtime=0 cores=0-7
/proc/24993/task/25127/stat : 25127 (python) S 24991 24993 24967 0 -1 4202560 31 935 0 0 0 0 0 0 18 0 19 0 738545802 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 18495.6
Current children cumulated vsize (KiB) 9296548

[startup+2321 s]
/proc/loadavg: 8.11 8.10 7.41 9/453 25139
/proc/meminfo: memFree=16427032/32951124 swapFree=59305804/67111528
[pid=24993] ppid=24991 vsize=529796 CPUtime=9055.73 cores=0-7
/proc/24993/stat : 24993 (python) S 24991 24993 24967 0 -1 4202496 25040 705492 1 0 167 16 903762 1628 17 0 19 0 738351201 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469895999 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/24993/statm: 132449 7580 1910 364 0 68316 0
[pid=25002] ppid=24993 vsize=354800 CPUtime=5.2 cores=0-7
/proc/25002/stat : 25002 (python) S 24993 24993 24967 0 -1 4202560 1165 0 0 0 256 264 0 0 15 0 2 0 738351292 363315200 5730 33554432000 4194304 5683644 140735462776112 18446744073709551615 252458085958 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/25002/statm: 88700 5730 400 364 0 24615 0
[pid=25004] ppid=25002 vsize=220728 CPUtime=1514.2 cores=0-7
/proc/25004/stat : 25004 (cryptominisat-2) R 25002 25004 25004 0 -1 4202496 168989 0 0 0 151340 80 0 0 25 0 1 0 738351292 226025472 35125 33554432000 4194304 4677096 140737243218352 18446744073709551615 4320231 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/25004/statm: 55182 35125 396 118 0 50141 0
[pid=25002/tid=25046] ppid=24993 vsize=354800 CPUtime=0 cores=0-7
/proc/25002/task/25046/stat : 25046 (python) S 24993 24993 24967 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 738400581 363315200 5730 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 514 18446604453856282752 0 0 -1 0 0 0 0
[pid=25008] ppid=24993 vsize=0 CPUtime=2216.02 cores=0-7
/proc/25008/stat : 25008 (python) Z 24993 24993 24967 0 -1 4202588 1257 220415 0 0 566 426 220513 97 19 0 1 0 738351297 0 0 33554432000 0 0 0 0 0 0 0 16781824 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25008/statm: 0 0 0 0 0 0 0
[pid=25027] ppid=24993 vsize=426732 CPUtime=6.68 cores=0-7
/proc/25027/stat : 25027 (python) S 24993 24993 24967 0 -1 4202560 1195 0 0 0 331 337 0 0 15 0 2 0 738361324 436973568 5797 33554432000 4194304 5683644 140735462776112 18446744073709551615 252458085958 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/25027/statm: 106683 5797 400 364 0 42577 0
[pid=25029] ppid=25027 vsize=135420 CPUtime=2014.11 cores=0-7
/proc/25029/stat : 25029 (cryptominisat-2) R 25027 25029 25029 0 -1 4202496 226859 0 0 0 201313 98 0 0 25 0 1 0 738361324 138670080 27955 33554432000 4194304 4677096 140734220852080 18446744073709551615 4336125 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/25029/statm: 33855 27955 392 118 0 28814 0
[pid=25027/tid=25107] ppid=24993 vsize=426732 CPUtime=0 cores=0-7
/proc/25027/task/25107/stat : 25107 (python) S 24993 24993 24967 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 738507704 436973568 5797 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 514 18446604442457613632 0 0 -1 1 0 0 0
[pid=25043] ppid=24993 vsize=437128 CPUtime=2.85 cores=0-7
/proc/25043/stat : 25043 (python) S 24993 24993 24967 0 -1 4202560 1175 0 0 0 154 131 0 0 18 0 2 0 738400224 447619072 5826 33554432000 4194304 5683644 140735462776112 18446744073709551615 252458085958 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/25043/statm: 109282 5826 400 364 0 45173 0
[pid=25045] ppid=25043 vsize=38260 CPUtime=854.83 cores=0-7
/proc/25045/stat : 25045 (precosat) R 25043 25045 25045 0 -1 4202496 13165 0 0 0 85478 5 0 0 25 0 1 0 738400224 39178240 9273 33554432000 4194304 4890832 140733988606608 18446744073709551615 4238692 0 0 16781312 17442 0 0 0 17 5 0 0 0
/proc/25045/statm: 9565 9273 86 171 0 9392 0
[pid=25043/tid=25097] ppid=24993 vsize=0 CPUtime=854.83 cores=0-7
/proc/25043/task/25097/stat : 25097 (python) R 24993 24993 24967 0 -1 4203588 61 13165 0 0 0 0 85478 5 18 0 2 0 738480068 0 0 33554432000 0 0 0 0 0 0 0 16781824 2 18446744073709551615 0 0 -1 5 0 0 0
[pid=25090] ppid=24993 vsize=478332 CPUtime=3.56 cores=0-7
/proc/25090/stat : 25090 (python) S 24993 24993 24967 0 -1 4202560 1040 0 0 0 178 178 0 0 15 0 1 0 738478597 489811968 5949 33554432000 4194304 5683644 140735462776112 18446744073709551615 252458085958 0 0 16781312 514 15748349025100726531 0 0 17 4 0 0 0
/proc/25090/statm: 119583 5949 371 364 0 55462 0
[pid=25092] ppid=25090 vsize=111356 CPUtime=1043.64 cores=0-7
/proc/25092/stat : 25092 (cryptominisat-2) R 25090 25092 25092 0 -1 4202496 156063 0 0 0 104314 50 0 0 25 0 1 0 738478597 114028544 21624 33554432000 4194304 4677096 140737437419840 18446744073709551615 4338202 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/25092/statm: 27839 21624 392 118 0 22798 0
[pid=25094] ppid=24993 vsize=0 CPUtime=1029.14 cores=0-7
/proc/25094/stat : 25094 (python) Z 24993 24993 24967 0 -1 4202588 1373 14276 0 0 175 170 102564 5 17 0 2 0 738479310 0 0 33554432000 0 0 0 0 0 0 0 16781824 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25094/statm: 0 0 0 0 0 0 0
[pid=25108] ppid=24993 vsize=498844 CPUtime=2.49 cores=0-7
/proc/25108/stat : 25108 (python) S 24993 24993 24967 0 -1 4202560 1038 0 0 0 129 120 0 0 18 0 1 0 738507707 510816256 6021 33554432000 4194304 5683644 140735462776112 18446744073709551615 252458085958 0 0 16781312 514 18446744073709519105 0 0 17 0 0 0 0
/proc/25108/statm: 124711 6021 379 364 0 60584 0
[pid=25110] ppid=25108 vsize=29560 CPUtime=749.01 cores=0-7
/proc/25110/stat : 25110 (glucose_static) R 25108 25110 25110 0 -1 4202496 6945 0 0 0 74899 2 0 0 25 0 1 0 738507708 30269440 6676 33554432000 134512640 135217611 4288860864 18446744073709551615 134532987 0 0 16781312 8388611 0 0 0 17 1 0 0 0
/proc/25110/statm: 7390 6676 77 173 0 7215 0
[pid=24993/tid=25000] ppid=24991 vsize=529796 CPUtime=10083.1 cores=0-7
/proc/24993/task/25000/stat : 25000 (python) S 24991 24993 24967 0 -1 4202560 39 721141 0 0 0 0 1006502 1804 15 0 19 0 738351290 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 0 0 0 0
[pid=24993/tid=25003] ppid=24991 vsize=529796 CPUtime=10083.1 cores=0-7
/proc/24993/task/25003/stat : 25003 (python) S 24991 24993 24967 0 -1 4202560 40 721141 0 0 0 0 1006502 1804 15 0 19 0 738351292 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 3 0 0 0
[pid=24993/tid=25006] ppid=24991 vsize=529796 CPUtime=10083.1 cores=0-7
/proc/24993/task/25006/stat : 25006 (python) S 24991 24993 24967 0 -1 4202560 24 721141 0 0 0 0 1006502 1804 19 0 19 0 738351294 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 6 0 0 0
[pid=24993/tid=25009] ppid=24991 vsize=529796 CPUtime=10083.1 cores=0-7
/proc/24993/task/25009/stat : 25009 (python) S 24991 24993 24967 0 -1 4202560 23 721141 0 0 0 0 1006502 1804 15 0 19 0 738351297 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 5 0 0 0
[pid=24993/tid=25012] ppid=24991 vsize=529796 CPUtime=10083.1 cores=0-7
/proc/24993/task/25012/stat : 25012 (python) S 24991 24993 24967 0 -1 4202560 22 721141 0 0 0 0 1006502 1804 21 0 19 0 738351299 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 0 0 0 0
[pid=24993/tid=25015] ppid=24991 vsize=529796 CPUtime=10083.1 cores=0-7
/proc/24993/task/25015/stat : 25015 (python) S 24991 24993 24967 0 -1 4202560 39 721141 0 0 0 0 1006502 1804 18 0 19 0 738351302 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 0 0 0 0
[pid=24993/tid=25018] ppid=24991 vsize=529796 CPUtime=10083.1 cores=0-7
/proc/24993/task/25018/stat : 25018 (python) S 24991 24993 24967 0 -1 4202560 26 721141 0 0 0 0 1006502 1804 20 0 19 0 738351305 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 2 0 0 0
[pid=24993/tid=25021] ppid=24991 vsize=529796 CPUtime=10083.1 cores=0-7
/proc/24993/task/25021/stat : 25021 (python) S 24991 24993 24967 0 -1 4202560 33 721141 0 0 0 0 1006502 1804 20 0 19 0 738351307 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 0 0 0 0
[pid=24993/tid=25028] ppid=24991 vsize=529796 CPUtime=10083.1 cores=0-7
/proc/24993/task/25028/stat : 25028 (python) S 24991 24993 24967 0 -1 4202560 35 721141 0 0 0 0 1006502 1804 18 0 19 0 738361324 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 0 0 0 0
[pid=24993/tid=25044] ppid=24991 vsize=529796 CPUtime=10083.1 cores=0-7
/proc/24993/task/25044/stat : 25044 (python) S 24991 24993 24967 0 -1 4202560 34 721141 0 0 0 0 1006502 1804 18 0 19 0 738400224 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 1 0 0 0
[pid=24993/tid=25048] ppid=24991 vsize=529796 CPUtime=10083.1 cores=0-7
/proc/24993/task/25048/stat : 25048 (python) S 24991 24993 24967 0 -1 4202560 69 721141 0 0 0 0 1006502 1804 19 0 19 0 738400584 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 1 0 0 0
[pid=24993/tid=25068] ppid=24991 vsize=529796 CPUtime=10083.1 cores=0-7
/proc/24993/task/25068/stat : 25068 (python) S 24991 24993 24967 0 -1 4202560 42 721141 0 0 0 0 1006502 1804 18 0 19 0 738459337 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 1 0 0 0
[pid=24993/tid=25073] ppid=24991 vsize=529796 CPUtime=10083.1 cores=0-7
/proc/24993/task/25073/stat : 25073 (python) S 24991 24993 24967 0 -1 4202560 29 721141 0 0 0 0 1006502 1804 20 0 19 0 738468267 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 0 0 0 0
[pid=24993/tid=25091] ppid=24991 vsize=529796 CPUtime=10083.1 cores=0-7
/proc/24993/task/25091/stat : 25091 (python) S 24991 24993 24967 0 -1 4202560 36 721141 0 0 0 0 1006502 1804 20 0 19 0 738478597 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 1 0 0 0
[pid=24993/tid=25095] ppid=24991 vsize=529796 CPUtime=10083.1 cores=0-7
/proc/24993/task/25095/stat : 25095 (python) S 24991 24993 24967 0 -1 4202560 92 721141 0 0 0 0 1006502 1804 18 0 19 0 738479310 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 0 0 0 0
[pid=24993/tid=25109] ppid=24991 vsize=529796 CPUtime=10083.1 cores=0-7
/proc/24993/task/25109/stat : 25109 (python) S 24991 24993 24967 0 -1 4202560 38 721141 0 0 0 0 1006502 1804 20 0 19 0 738507707 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 0 0 0 0
[pid=24993/tid=25112] ppid=24991 vsize=529796 CPUtime=10083.1 cores=0-7
/proc/24993/task/25112/stat : 25112 (python) S 24991 24993 24967 0 -1 4202560 25 721141 0 0 0 0 1006502 1804 18 0 19 0 738508614 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 0 0 0 0
[pid=24993/tid=25127] ppid=24991 vsize=529796 CPUtime=10083.1 cores=0-7
/proc/24993/task/25127/stat : 25127 (python) S 24991 24993 24967 0 -1 4202560 31 721141 0 0 0 0 1006502 1804 18 0 19 0 738545802 542511104 7580 33554432000 4194304 5683644 140735462776112 18446744073709551615 252469889457 0 0 16781312 2 18446604442125239424 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 18497.5
Current children cumulated vsize (KiB) 3260956

Child status: 0
Real time (s): 2321.07
CPU time (s): 18497.7
CPU user time (s): 18461.5
CPU system time (s): 36.2105
CPU usage (%): 796.95
Max. virtual memory (cumulated for all children) (KiB): 9539920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18461.5
system time used= 36.2105
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1549795
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= 35871
involuntary context switches= 92923

runsolver used 18.9711 second user time and 44.0113 second system time

The end

Launcher Data 

Begin job on node111 at 2011-05-15 19:40:07
IDJOB=3380531
IDBENCH=20472
IDSOLVER=1864
FILE ID=node111/3380531-1305481207
RUNJOBID= node111-1305481206-24981
PBS_JOBID= 13325369
Free space on /tmp= 73632 MiB

SOLVER NAME= borg-sat 11.03.02-par-industrial (fixed)
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.11.unsat.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-3380531-1305481207/watcher-3380531-1305481207 -o /tmp/evaluation-result-3380531-1305481207/solver-3380531-1305481207 -C 40000 -W 5100 -M 31000  python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3380531-1305481207.cnf -seed 86413246 -budget 40000 -cores 8

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

MD5SUM BENCH= 90581094793af5fc10d4e4b9a10259ac
RANDOM SEED=86413246

node111.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.849
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.69
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.849
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	: 5428.12
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.849
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.849
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.86
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.849
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.849
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.83
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.849
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.67
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.849
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17081064 kB
Buffers:        300312 kB
Cached:        6850644 kB
SwapCached:      13712 kB
Active:        6854068 kB
Inactive:      8759584 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17081064 kB
SwapTotal:    67111528 kB
SwapFree:     59305804 kB
Dirty:           32060 kB
Writeback:           0 kB
AnonPages:     8458396 kB
Mapped:          26300 kB
Slab:           131868 kB
PageTables:      56652 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 123454052 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= 73600 MiB
End job on node111 at 2011-05-15 20:18:48