Trace number 3380593

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)? (MO) 28846.3 3675.05

General information on the benchmark

NameAPPLICATIONS/bitverif/
maxor/maxor128.cnf
MD5SUMe050fe11c7c50ba82ac7126f49db3c10
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2123.23
Satisfiable
(Un)Satisfiability was proved
Number of variables200308
Number of clauses598619
Sum of the clauses size1396775
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2399078
Number of clauses of size 3199539
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.34/0.67	c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle
0.34/0.67	c INFO: solving HOME/instance-3380593-1305482532.cnf
0.34/0.67	c INFO: computing task features
2.22/2.51	c INFO: computed variable-clause graph statistics
2.22/2.59	c INFO: computed clause balance statistics
11.42/11.74	c INFO: computed variable balance statistics
18.02/18.39	c INFO: computed small-clause counts
18.22/18.54	c INFO: computed Horn-clause counts
64.32/64.60	c INFO: computed variable graph statistics
64.32/64.60	c INFO: collected features for HOME/instance-3380593-1305482532.cnf in 63.88 s
64.32/64.62	c INFO: running lingeling-276@0 for 97 with 4936 remaining (b = 0.56)
64.32/64.65	c INFO: running cryptominisat-2.9.0@0 for 485 with 4936 remaining (b = 0.42)
64.32/64.68	c INFO: running lingeling-276@0 for 1261 with 4936 remaining (b = 0.53)
64.42/64.70	c INFO: running cryptominisat-2.9.0@0 for 485 with 4935 remaining (b = 0.34)
64.42/64.73	c INFO: running lingeling-276@0 for 1261 with 4935 remaining (b = 0.43)
64.42/64.76	c INFO: running precosat-570@0 for 291 with 4935 remaining (b = 0.22)
64.42/64.79	c INFO: running cryptominisat-2.9.0@0 for 1940 with 4935 remaining (b = 0.53)
64.51/64.81	c INFO: running lingeling-276@0 for 582 with 4935 remaining (b = 0.24)
862.99/164.88	c INFO: running lingeling-276@0 for 97 with 4835 remaining (b = 0.05)
1624.13/260.11	c INFO: running lingeling-276@94 for 97 with 4740 remaining (b = 0.05)
2432.46/361.36	c INFO: running cryptominisat-2.9.0@0 for 1940 with 4639 remaining (b = 0.46)
2449.16/363.43	c INFO: running precosat-570@0 for 679 with 4637 remaining (b = 0.25)
3945.58/550.95	c INFO: running precosat-570@0 for 388 with 4449 remaining (b = 0.18)
3988.61/556.39	c INFO: running lingeling-276@0 for 194 with 4444 remaining (b = 0.07)
4745.11/651.15	c INFO: running cryptominisat-2.9.0@0 for 1843 with 4349 remaining (b = 0.36)
5556.66/752.86	c INFO: running precosat-570@0 for 291 with 4247 remaining (b = 0.08)
7088.75/944.85	c INFO: running precosat-570@489 for 291 with 4055 remaining (b = 0.10)
7863.61/1041.91	c INFO: running precosat-570@485 for 291 with 3958 remaining (b = 0.09)
7892.32/1045.54	c INFO: running lingeling-276@585 for 679 with 3955 remaining (b = 0.13)
9384.56/1232.50	c INFO: running cryptominisat-2.9.0@0 for 97 with 3768 remaining (b = 0.04)
10165.75/1330.45	c INFO: running precosat-570@1165 for 97 with 3670 remaining (b = 0.03)
10184.91/1332.89	c INFO: running cryptominisat-2.9.0@1263 for 97 with 3667 remaining (b = 0.03)
10206.51/1335.57	c INFO: running cryptominisat-2.9.0@0 for 97 with 3665 remaining (b = 0.04)
10342.07/1352.59	c INFO: running lingeling-276@100 for 97 with 3648 remaining (b = 0.02)
10942.13/1427.70	c INFO: running precosat-570@1264 for 388 with 3572 remaining (b = 0.09)
10954.07/1429.21	c INFO: running cryptominisat-2.9.0@1555 for 97 with 3571 remaining (b = 0.04)
10996.45/1434.58	c INFO: running lingeling-276@195 for 97 with 3566 remaining (b = 0.03)
11111.28/1448.93	c INFO: running precosat-570@0 for 97 with 3551 remaining (b = 0.03)
11730.76/1526.63	c INFO: running cryptominisat-2.9.0@1264 for 97 with 3474 remaining (b = 0.03)
11764.21/1530.85	c INFO: running cryptominisat-2.9.0@1653 for 291 with 3469 remaining (b = 0.08)
11910.12/1549.20	c INFO: running SApperloT@0 for 97 with 3451 remaining (b = 0.01)
12531.05/1627.04	c INFO: running cryptominisat-2.9.0@1360 for 97 with 3373 remaining (b = 0.02)
12709.45/1649.46	c INFO: running precosat-570@777 for 1455 with 3351 remaining (b = 0.22)
13292.92/1722.67	c INFO: running precosat-570@96 for 291 with 3278 remaining (b = 0.08)
13320.05/1726.06	c INFO: running precosat-570@0 for 97 with 3274 remaining (b = 0.03)
14089.85/1822.66	c INFO: running cryptominisat-2.9.0@1459 for 194 with 3178 remaining (b = 0.04)
14097.81/1823.62	c INFO: running cryptominisat-2.9.0@1753 for 194 with 3177 remaining (b = 0.06)
14119.28/1826.34	c INFO: running precosat-570@392 for 388 with 3174 remaining (b = 0.08)
15619.21/2014.55	c INFO: running cryptominisat-2.9.0@1751 for 194 with 2986 remaining (b = 0.06)
15641.49/2017.40	c INFO: running precosat-570@775 for 97 with 2983 remaining (b = 0.03)
15660.70/2019.78	c INFO: running cryptominisat-2.9.0@1852 for 97 with 2980 remaining (b = 0.03)
15806.45/2038.02	c INFO: running lingeling-276@873 for 388 with 2962 remaining (b = 0.08)
16401.02/2112.65	c INFO: running precosat-570@971 for 194 with 2888 remaining (b = 0.06)
16448.90/2118.63	c INFO: running cryptominisat-2.9.0@0 for 97 with 2882 remaining (b = 0.02)
17187.60/2211.34	c INFO: running precosat-570@0 for 388 with 2789 remaining (b = 0.06)
17241.78/2218.16	c INFO: running lingeling-276@292 for 97 with 2782 remaining (b = 0.02)
17242.55/2218.28	c INFO: running precosat-570@584 for 194 with 2782 remaining (b = 0.03)
17956.73/2307.85	c INFO: running cryptominisat-2.9.0@296 for 97 with 2692 remaining (b = 0.02)
17975.05/2310.14	c INFO: running precosat-570@1067 for 97 with 2690 remaining (b = 0.02)
18017.20/2315.42	c INFO: running lingeling-276@679 for 582 with 2685 remaining (b = 0.09)
18733.63/2405.39	c INFO: running precosat-570@1164 for 97 with 2595 remaining (b = 0.01)
18769.50/2409.86	c INFO: running lingeling-276@196 for 97 with 2590 remaining (b = 0.02)
18816.56/2415.77	c INFO: running cryptominisat-2.9.0@196 for 291 with 2584 remaining (b = 0.05)
18929.69/2429.97	c INFO: running cryptominisat-2.9.0@2044 for 194 with 2570 remaining (b = 0.03)
19490.43/2500.38	c INFO: running lingeling-276@968 for 388 with 2500 remaining (b = 0.06)
19536.53/2506.11	c INFO: running lingeling-276@0 for 194 with 2494 remaining (b = 0.03)
19540.52/2506.65	c INFO: running lingeling-276@391 for 873 with 2494 remaining (b = 0.12)
20326.94/2605.31	c INFO: running lingeling-276@0 for 291 with 2395 remaining (b = 0.05)
20460.01/2622.08	c INFO: running precosat-570@1266 for 97 with 2378 remaining (b = 0.01)
21077.69/2699.60	c INFO: running lingeling-276@98 for 388 with 2301 remaining (b = 0.05)
21196.37/2714.43	c INFO: running precosat-570@2525 for 97 with 2286 remaining (b = 0.01)
21283.23/2725.35	c INFO: running precosat-570@98 for 291 with 2275 remaining (b = 0.05)
21971.09/2811.70	c INFO: running cryptominisat-2.9.0@3892 for 194 with 2188 remaining (b = 0.03)
22566.37/2886.30	c INFO: running lingeling-276@1064 for 97 with 2114 remaining (b = 0.02)
22631.71/2894.52	c INFO: running precosat-570@0 for 388 with 2106 remaining (b = 0.05)
22649.65/2896.82	c INFO: running lingeling-276@772 for 582 with 2103 remaining (b = 0.09)
23372.31/2987.56	c INFO: running glucose@0 for 194 with 2013 remaining (b = 0.03)
23545.80/3009.34	c INFO: running cryptominisat-2.9.0@4277 for 194 with 1991 remaining (b = 0.03)
23591.24/3015.05	c INFO: running cryptominisat-2.9.0@586 for 1358 with 1985 remaining (b = 0.17)
24224.68/3094.55	c INFO: running lingeling-276@394 for 873 with 1906 remaining (b = 0.11)
24361.73/3111.79	c INFO: running lingeling-276@191 for 194 with 1888 remaining (b = 0.03)
24929.86/3183.07	c INFO: running cryptominisat-2.9.0@195 for 291 with 1817 remaining (b = 0.04)
25119.48/3206.88	c INFO: running cryptominisat-2.9.0@494 for 1455 with 1793 remaining (b = 0.17)
25729.82/3283.46	c INFO: running precosat-570@579 for 291 with 1717 remaining (b = 0.04)
25951.35/3311.28	c INFO: running lingeling-276@386 for 97 with 1689 remaining (b = 0.01)
26520.30/3382.65	c INFO: running lingeling-276@782 for 97 with 1618 remaining (b = 0.02)
26710.64/3406.52	c INFO: running precosat-570@194 for 194 with 1594 remaining (b = 0.03)
27243.65/3473.45	c INFO: running cryptominisat-2.9.0@391 for 97 with 1527 remaining (b = 0.01)
27278.73/3477.89	c INFO: running lingeling-276@877 for 388 with 1522 remaining (b = 0.07)
27418.92/3495.42	c INFO: running lingeling-276@870 for 485 with 1505 remaining (b = 0.08)
28018.19/3570.63	c INFO: running cryptominisat-2.9.0@4565 for 194 with 1430 remaining (b = 0.02)
28062.01/3576.16	c INFO: running precosat-570@2625 for 97 with 1424 remaining (b = 0.01)
28292.21/3605.05	c INFO: running cryptominisat-2.9.0@0 for 97 with 1395 remaining (b = 0.01)

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

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-3380593-1305482532/watcher-3380593-1305482532 -o /tmp/evaluation-result-3380593-1305482532/solver-3380593-1305482532 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3380593-1305482532.cnf -seed 1693792417 -budget 40000 -cores 8 

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

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


[startup+0 s]
/proc/loadavg: 8.37 8.11 6.20 1/291 32154
/proc/meminfo: memFree=13504576/32951124 swapFree=61565116/67111528
[pid=32154] ppid=32152 vsize=15764 CPUtime=0 cores=0-7
/proc/32154/stat : 32154 (python) S 32152 32154 32049 0 -1 4202496 843 0 0 0 0 0 0 0 20 0 1 0 659851420 16142336 727 33554432000 4194304 5683644 140734476622992 18446744073709551615 246516832256 0 2147483391 16781312 2 18446744071699453118 0 0 17 6 0 0 0
/proc/32154/statm: 3941 727 334 364 0 428 0

[startup+0.101384 s]
/proc/loadavg: 8.37 8.11 6.20 1/291 32154
/proc/meminfo: memFree=13504576/32951124 swapFree=61565116/67111528
[pid=32154] ppid=32152 vsize=89772 CPUtime=0.05 cores=0-7
/proc/32154/stat : 32154 (python) S 32152 32154 32049 0 -1 4202496 2671 0 0 0 4 1 0 0 17 0 1 0 659851420 91926528 2388 33554432000 4194304 5683644 140734476622992 18446744073709551615 246511910535 0 2147483391 16781312 2 18446744071699453118 0 0 17 6 0 0 0
/proc/32154/statm: 22443 2388 750 364 0 1623 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 89772

[startup+0.200351 s]
/proc/loadavg: 8.37 8.11 6.20 1/291 32154
/proc/meminfo: memFree=13504576/32951124 swapFree=61565116/67111528
[pid=32154] ppid=32152 vsize=124236 CPUtime=0.11 cores=0-7
/proc/32154/stat : 32154 (python) S 32152 32154 32049 0 -1 4202496 4263 0 1 0 8 3 0 0 17 0 1 0 659851420 127217664 3872 33554432000 4194304 5683644 140734476622992 18446744073709551615 246516832256 0 2147483391 16781312 2 18446744071699453118 0 0 17 6 0 0 0
/proc/32154/statm: 31059 3872 996 364 0 2870 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 124236

[startup+0.300349 s]
/proc/loadavg: 8.37 8.11 6.20 1/291 32154
/proc/meminfo: memFree=13504576/32951124 swapFree=61565116/67111528
[pid=32154] ppid=32152 vsize=135752 CPUtime=0.18 cores=0-7
/proc/32154/stat : 32154 (python) S 32152 32154 32049 0 -1 4202496 5962 933 1 0 13 5 0 0 17 0 1 0 659851420 139010048 4150 33554432000 4194304 5683644 140734476622992 18446744073709551615 246516830213 0 2147483391 16781312 2 18446744071699453118 0 0 17 6 0 0 0
/proc/32154/statm: 33938 4150 1032 364 0 3124 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 135752

[startup+0.700247 s]
/proc/loadavg: 8.37 8.11 6.20 1/291 32154
/proc/meminfo: memFree=13504576/32951124 swapFree=61565116/67111528
[pid=32154] ppid=32152 vsize=290268 CPUtime=0.42 cores=0-7
/proc/32154/stat : 32154 (python) R 32152 32154 32049 0 -1 4202496 12211 933 1 0 31 11 0 0 16 0 1 0 659851420 297234432 9892 33554432000 4194304 5683644 140734476622992 18446744073709551615 4602366 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/32154/statm: 72567 9892 1761 364 0 8491 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 290268

[startup+1.5011 s]
/proc/loadavg: 7.86 8.01 6.18 2/292 32159
/proc/meminfo: memFree=13444676/32951124 swapFree=61565116/67111528
[pid=32154] ppid=32152 vsize=344332 CPUtime=1.22 cores=0-7
/proc/32154/stat : 32154 (python) R 32152 32154 32049 0 -1 4202496 25527 933 1 0 110 12 0 0 17 0 1 0 659851420 352595968 23208 33554432000 4194304 5683644 140734476622992 18446744073709551615 4445115 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/32154/statm: 86083 23209 1761 364 0 22007 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 344332

[startup+3.10081 s]
/proc/loadavg: 7.86 8.01 6.18 2/292 32159
/proc/meminfo: memFree=13396936/32951124 swapFree=61565116/67111528
[pid=32154] ppid=32152 vsize=399144 CPUtime=2.82 cores=0-7
/proc/32154/stat : 32154 (python) R 32152 32154 32049 0 -1 4202496 53005 933 1 0 267 15 0 0 19 0 1 0 659851420 408723456 37170 33554432000 4194304 5683644 140734476622992 18446744073709551615 4529372 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/32154/statm: 99786 37170 1826 364 0 35710 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 399144

[startup+6.30023 s]
/proc/loadavg: 7.47 7.93 6.16 2/292 32159
/proc/meminfo: memFree=13361592/32951124 swapFree=61565116/67111528
[pid=32154] ppid=32152 vsize=399144 CPUtime=6.02 cores=0-7
/proc/32154/stat : 32154 (python) R 32152 32154 32049 0 -1 4202496 53005 933 1 0 587 15 0 0 25 0 1 0 659851420 408723456 37170 33554432000 4194304 5683644 140734476622992 18446744073709551615 47728291011973 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/32154/statm: 99786 37170 1826 364 0 35710 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 399144

[startup+12.7011 s]
/proc/loadavg: 6.96 7.81 6.13 2/292 32159
/proc/meminfo: memFree=13362068/32951124 swapFree=61565116/67111528
[pid=32154] ppid=32152 vsize=399144 CPUtime=12.42 cores=0-7
/proc/32154/stat : 32154 (python) R 32152 32154 32049 0 -1 4202496 53006 933 1 0 1227 15 0 0 25 0 1 0 659851420 408723456 37171 33554432000 4194304 5683644 140734476622992 18446744073709551615 47728290834401 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/32154/statm: 99786 37171 1827 364 0 35710 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 399144

[startup+25.5007 s]
/proc/loadavg: 5.64 7.48 6.05 2/292 32160
/proc/meminfo: memFree=13363304/32951124 swapFree=61565116/67111528
[pid=32154] ppid=32152 vsize=399144 CPUtime=25.22 cores=0-7
/proc/32154/stat : 32154 (python) R 32152 32154 32049 0 -1 4202496 53012 933 1 0 2507 15 0 0 25 0 1 0 659851420 408723456 37177 33554432000 4194304 5683644 140734476622992 18446744073709551615 47728290764940 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/32154/statm: 99786 37177 1833 364 0 35710 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 399144

[startup+51.1011 s]
/proc/loadavg: 4.05 6.95 5.91 2/292 32160
/proc/meminfo: memFree=13363360/32951124 swapFree=61565116/67111528
[pid=32154] ppid=32152 vsize=399144 CPUtime=50.82 cores=0-7
/proc/32154/stat : 32154 (python) R 32152 32154 32049 0 -1 4202496 53012 933 1 0 5067 15 0 0 25 0 1 0 659851420 408723456 37177 33554432000 4194304 5683644 140734476622992 18446744073709551615 47728290764940 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/32154/statm: 99786 37177 1833 364 0 35710 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 399144

[startup+102.302 s]
/proc/loadavg: 5.73 6.91 5.95 9/316 32186
/proc/meminfo: memFree=10857580/32951124 swapFree=61565116/67111528
[pid=32154] ppid=32152 vsize=537572 CPUtime=64.54 cores=0-7
/proc/32154/stat : 32154 (python) S 32152 32154 32049 0 -1 4202496 58729 933 1 0 6435 19 0 0 24 0 9 0 659851420 550473728 34975 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528660939 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32154/statm: 134393 34975 1889 364 0 70290 0
[pid=32162] ppid=32154 vsize=390000 CPUtime=0.08 cores=0-7
/proc/32162/stat : 32162 (python) S 32154 32154 32049 0 -1 4202560 996 0 0 0 4 4 0 0 18 0 1 0 659857883 399360000 33433 33554432000 4194304 5683644 140734476622992 18446744073709551615 246516854287 0 0 16781312 514 11008943735990878465 0 0 17 1 0 0 0
/proc/32162/statm: 97500 33433 381 364 0 33418 0
[pid=32164] ppid=32162 vsize=76720 CPUtime=37.66 cores=0-7
/proc/32164/stat : 32164 (lingeling) R 32162 32164 32164 0 -1 4202496 30063 0 0 0 3762 4 0 0 25 0 1 0 659857883 78561280 18351 33554432000 4194304 4352236 140733269024352 18446744073709551615 4257513 0 0 16781312 17506 0 0 0 17 3 0 0 0
/proc/32164/statm: 19180 18351 129 39 0 18260 0
[pid=32165] ppid=32154 vsize=400256 CPUtime=0.09 cores=0-7
/proc/32165/stat : 32165 (python) S 32154 32154 32049 0 -1 4202560 928 0 0 0 5 4 0 0 15 0 1 0 659857885 409862144 33426 33554432000 4194304 5683644 140734476622992 18446744073709551615 246516854342 0 0 16781312 514 11008943735990878465 0 0 17 0 0 0 0
/proc/32165/statm: 100064 33426 370 364 0 35979 0
[pid=32167] ppid=32165 vsize=887756 CPUtime=37.63 cores=0-7
/proc/32167/stat : 32167 (cryptominisat-2) R 32165 32167 32167 0 -1 4202496 167543 0 0 0 3744 19 0 0 25 0 1 0 659857886 909062144 157701 33554432000 4194304 4677096 140734879586032 18446744073709551615 4253029 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/32167/statm: 221939 157701 472 118 0 216898 0
[pid=32168] ppid=32154 vsize=410512 CPUtime=0.08 cores=0-7
/proc/32168/stat : 32168 (python) S 32154 32154 32049 0 -1 4202560 914 0 0 0 3 5 0 0 18 0 1 0 659857888 420364288 33430 33554432000 4194304 5683644 140734476622992 18446744073709551615 246516854342 0 0 16781312 514 11008943735990878467 0 0 17 1 0 0 0
/proc/32168/statm: 102628 33430 370 364 0 38540 0
[pid=32170] ppid=32168 vsize=76708 CPUtime=37.61 cores=0-7
/proc/32170/stat : 32170 (lingeling) R 32168 32170 32170 0 -1 4202496 30001 0 0 0 3757 4 0 0 25 0 1 0 659857888 78548992 18347 33554432000 4194304 4352236 140736455918784 18446744073709551615 4316672 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/32170/statm: 19177 18347 129 39 0 18257 0
[pid=32171] ppid=32154 vsize=420768 CPUtime=0.08 cores=0-7
/proc/32171/stat : 32171 (python) S 32154 32154 32049 0 -1 4202560 951 0 0 0 5 3 0 0 15 0 1 0 659857890 430866432 33434 33554432000 4194304 5683644 140734476622992 18446744073709551615 246516854342 0 0 16781312 514 5629182879159255298 0 0 17 1 0 0 0
/proc/32171/statm: 105192 33434 370 364 0 41101 0
[pid=32173] ppid=32171 vsize=891196 CPUtime=37.59 cores=0-7
/proc/32173/stat : 32173 (cryptominisat-2) R 32171 32173 32173 0 -1 4202496 168384 0 0 0 3732 27 0 0 25 0 1 0 659857891 912584704 158562 33554432000 4194304 4677096 140735233975536 18446744073709551615 246516530840 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32173/statm: 222799 158562 391 118 0 217758 0
[pid=32174] ppid=32154 vsize=496560 CPUtime=0.07 cores=0-7
/proc/32174/stat : 32174 (python) S 32154 32154 32049 0 -1 4202560 947 0 0 0 4 3 0 0 18 0 1 0 659857893 508477440 33440 33554432000 4194304 5683644 140734476622992 18446744073709551615 246516854342 0 0 16781312 514 11008943735990878467 0 0 17 1 0 0 0
/proc/32174/statm: 124140 33440 370 364 0 60046 0
[pid=32176] ppid=32174 vsize=72624 CPUtime=37.11 cores=0-7
/proc/32176/stat : 32176 (lingeling) R 32174 32176 32176 0 -1 4202496 29561 0 0 0 3707 4 0 0 25 0 1 0 659857894 74366976 17326 33554432000 4194304 4352236 140735188380992 18446744073709551615 4328009 0 0 16781312 17506 0 0 0 17 7 0 0 0
/proc/32176/statm: 18156 17326 129 39 0 17236 0
[pid=32177] ppid=32154 vsize=506816 CPUtime=0.07 cores=0-7
/proc/32177/stat : 32177 (python) S 32154 32154 32049 0 -1 4202560 947 0 0 0 4 3 0 0 18 0 1 0 659857896 518979584 33444 33554432000 4194304 5683644 140734476622992 18446744073709551615 246516854342 0 0 16781312 514 11008943735990878468 0 0 17 6 0 0 0
/proc/32177/statm: 126704 33444 370 364 0 62607 0
[pid=32179] ppid=32177 vsize=288904 CPUtime=37.45 cores=0-7
/proc/32179/stat : 32179 (precosat) R 32177 32179 32179 0 -1 4202496 79351 0 0 0 3734 11 0 0 25 0 1 0 659857897 295837696 70898 33554432000 4194304 4890832 140736488450416 18446744073709551615 4214428 0 0 16781312 17442 0 0 0 17 6 0 0 0
/proc/32179/statm: 72226 70898 86 171 0 72053 0
[pid=32180] ppid=32154 vsize=517072 CPUtime=0.08 cores=0-7
/proc/32180/stat : 32180 (python) S 32154 32154 32049 0 -1 4202560 960 0 0 0 4 4 0 0 15 0 1 0 659857899 529481728 33448 33554432000 4194304 5683644 140734476622992 18446744073709551615 246516854342 0 0 16781312 514 6198553980486779138 0 0 17 1 0 0 0
/proc/32180/statm: 129268 33448 370 364 0 65168 0
[pid=32182] ppid=32180 vsize=913396 CPUtime=37.06 cores=0-7
/proc/32182/stat : 32182 (cryptominisat-2) R 32180 32182 32182 0 -1 4202496 165703 0 0 0 3682 24 0 0 25 0 1 0 659857901 935317504 160898 33554432000 4194304 4677096 140733241926096 18446744073709551615 4334257 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/32182/statm: 228349 160898 471 118 0 223308 0
[pid=32183] ppid=32154 vsize=527328 CPUtime=0.08 cores=0-7
/proc/32183/stat : 32183 (python) S 32154 32154 32049 0 -1 4202560 1005 0 0 0 4 4 0 0 18 0 1 0 659857902 539983872 33458 33554432000 4194304 5683644 140734476622992 18446744073709551615 246516854342 0 0 16781312 514 11008943735990878468 0 0 17 0 0 0 0
/proc/32183/statm: 131832 33458 376 364 0 67729 0
[pid=32185] ppid=32183 vsize=76720 CPUtime=37.28 cores=0-7
/proc/32185/stat : 32185 (lingeling) R 32183 32185 32185 0 -1 4202496 34669 0 0 0 3724 4 0 0 25 0 1 0 659857902 78561280 18350 33554432000 4194304 4352236 140736603472464 18446744073709551615 4300208 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/32185/statm: 19180 18350 129 39 0 18260 0
[pid=32154/tid=32163] ppid=32152 vsize=537572 CPUtime=0 cores=0-7
/proc/32154/task/32163/stat : 32163 (python) S 32152 32154 32049 0 -1 4202560 23 933 0 0 0 0 0 0 25 0 9 0 659857883 550473728 34975 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 2 18446604453872511168 0 0 -1 4 0 0 0
[pid=32154/tid=32166] ppid=32152 vsize=537572 CPUtime=0 cores=0-7
/proc/32154/task/32166/stat : 32166 (python) S 32152 32154 32049 0 -1 4202560 20 933 0 0 0 0 0 0 20 0 9 0 659857886 550473728 34975 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 2 18446604453872511168 0 0 -1 0 0 0 0
[pid=32154/tid=32169] ppid=32152 vsize=537572 CPUtime=0 cores=0-7
/proc/32154/task/32169/stat : 32169 (python) S 32152 32154 32049 0 -1 4202560 24 933 0 0 0 0 0 0 19 0 9 0 659857888 550473728 34975 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 2 18446604453872511168 0 0 -1 0 0 0 0
[pid=32154/tid=32172] ppid=32152 vsize=537572 CPUtime=0 cores=0-7
/proc/32154/task/32172/stat : 32172 (python) S 32152 32154 32049 0 -1 4202560 18 933 0 0 0 0 0 0 18 0 9 0 659857891 550473728 34975 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 2 18446604453872511168 0 0 -1 5 0 0 0
[pid=32154/tid=32175] ppid=32152 vsize=537572 CPUtime=0 cores=0-7
/proc/32154/task/32175/stat : 32175 (python) S 32152 32154 32049 0 -1 4202560 24 933 0 0 0 0 0 0 19 0 9 0 659857894 550473728 34975 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 2 18446604453872511168 0 0 -1 0 0 0 0
[pid=32154/tid=32178] ppid=32152 vsize=537572 CPUtime=0 cores=0-7
/proc/32154/task/32178/stat : 32178 (python) S 32152 32154 32049 0 -1 4202560 24 933 0 0 0 0 0 0 21 0 9 0 659857896 550473728 34975 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 2 18446604453872511168 0 0 -1 0 0 0 0
[pid=32154/tid=32181] ppid=32152 vsize=537572 CPUtime=0 cores=0-7
/proc/32154/task/32181/stat : 32181 (python) S 32152 32154 32049 0 -1 4202560 26 933 0 0 0 0 0 0 22 0 9 0 659857899 550473728 34975 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 2 18446604453872511168 0 0 -1 1 0 0 0
[pid=32154/tid=32184] ppid=32152 vsize=537572 CPUtime=0 cores=0-7
/proc/32154/task/32184/stat : 32184 (python) S 32152 32154 32049 0 -1 4202560 31 933 0 0 0 0 0 0 25 0 9 0 659857902 550473728 34975 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 2 18446604453872511168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 364.56
Current children cumulated vsize (KiB) 7490908

[startup+162.302 s]
/proc/loadavg: 7.53 7.21 6.11 10/316 32190
/proc/meminfo: memFree=9514328/32951124 swapFree=61565116/67111528
[pid=32154] ppid=32152 vsize=537572 CPUtime=64.54 cores=0-7
/proc/32154/stat : 32154 (python) S 32152 32154 32049 0 -1 4202496 58729 933 1 0 6435 19 0 0 24 0 9 0 659851420 550473728 34975 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528660939 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32154/statm: 134393 34975 1889 364 0 70290 0
[pid=32162] ppid=32154 vsize=390000 CPUtime=0.22 cores=0-7
/proc/32162/stat : 32162 (python) S 32154 32154 32049 0 -1 4202560 1023 0 0 0 10 12 0 0 18 0 1 0 659857883 399360000 33433 33554432000 4194304 5683644 140734476622992 18446744073709551615 246516854287 0 0 16781312 514 11008943735990878465 0 0 17 1 0 0 0
/proc/32162/statm: 97500 33433 381 364 0 33418 0

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

/proc/32200/statm: 561239 429145 473 118 0 556198 0
[pid=32198/tid=32298] ppid=32154 vsize=537584 CPUtime=0 cores=0-7
/proc/32198/task/32298/stat : 32298 (python) S 32154 32154 32049 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 660082203 550486016 33487 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 514 18446604440655504320 0 0 -1 0 0 0 0
[pid=32208] ppid=32154 vsize=547840 CPUtime=2.78 cores=0-7
/proc/32208/stat : 32208 (python) S 32154 32154 32049 0 -1 4202560 1172 0 0 0 148 130 0 0 18 0 2 0 659906515 560988160 33558 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/32208/statm: 136960 33558 399 364 0 72851 0
[pid=32210] ppid=32208 vsize=443724 CPUtime=1170.23 cores=0-7
/proc/32210/stat : 32210 (precosat) T 32208 32210 32210 0 -1 4202496 163543 0 0 0 116993 30 0 0 25 0 1 0 659906516 454373376 109598 33554432000 4194304 4890832 140734926109376 18446744073709551615 4213019 0 0 16781312 17442 18446744071562691360 0 0 17 1 0 0 0
/proc/32210/statm: 110931 109598 86 171 0 110758 0
[pid=32208/tid=32230] ppid=32154 vsize=547840 CPUtime=0 cores=0-7
/proc/32208/task/32230/stat : 32230 (python) S 32154 32154 32049 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 2 0 659945903 560988160 33558 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 514 18446604450394715328 0 0 -1 3 0 0 0
[pid=32212] ppid=32154 vsize=558096 CPUtime=4.29 cores=0-7
/proc/32212/stat : 32212 (python) S 32154 32154 32049 0 -1 4202560 1082 0 0 0 220 209 0 0 18 0 2 0 659907060 571490304 33610 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/32212/statm: 139524 33610 399 364 0 75412 0
[pid=32214] ppid=32212 vsize=99492 CPUtime=1747.75 cores=0-7
/proc/32214/stat : 32214 (lingeling) T 32212 32214 32214 0 -1 4202496 39831 0 0 0 174768 7 0 0 25 0 1 0 659907060 101879808 24043 33554432000 4194304 4352236 140736415714656 18446744073709551615 4328390 0 0 16781312 17506 18446744071562691360 0 0 17 7 0 0 0
/proc/32214/statm: 24873 24043 129 39 0 23953 0
[pid=32212/tid=32221] ppid=32154 vsize=558096 CPUtime=0 cores=0-7
/proc/32212/task/32221/stat : 32221 (python) S 32154 32154 32049 0 -1 4202560 121 0 0 0 0 0 0 0 18 0 2 0 659926704 571490304 33610 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 514 18446604453848067008 0 0 -1 2 0 0 0
[pid=32222] ppid=32154 vsize=568352 CPUtime=2.68 cores=0-7
/proc/32222/stat : 32222 (python) S 32154 32154 32049 0 -1 4202560 1047 0 0 0 131 137 0 0 18 0 2 0 659926707 581992448 33628 33554432000 4194304 5683644 140734476622992 18446744073709551615 246516854342 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/32222/statm: 142088 33628 399 364 0 77973 0
[pid=32224] ppid=32222 vsize=434460 CPUtime=1067.97 cores=0-7
/proc/32224/stat : 32224 (precosat) R 32222 32224 32224 0 -1 4202496 156160 0 0 0 106763 34 0 0 25 0 1 0 659926707 444887040 107279 33554432000 4194304 4890832 140735178973328 18446744073709551615 4229292 0 0 16781312 17442 0 0 0 17 3 0 0 0
/proc/32224/statm: 108615 107279 86 171 0 108442 0
[pid=32222/tid=32234] ppid=32154 vsize=568352 CPUtime=0 cores=0-7
/proc/32222/task/32234/stat : 32234 (python) S 32154 32154 32049 0 -1 4202560 79 0 0 0 0 0 0 0 18 0 2 0 659955971 581992448 33628 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 514 18446604449703598848 0 0 -1 5 0 0 0
[pid=32240] ppid=32154 vsize=578608 CPUtime=2.3 cores=0-7
/proc/32240/stat : 32240 (python) S 32154 32154 32049 0 -1 4202560 1206 0 0 0 120 110 0 0 16 0 2 0 659974670 592494592 33606 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/32240/statm: 144652 33606 399 364 0 80534 0
[pid=32242] ppid=32240 vsize=1863540 CPUtime=876.62 cores=0-7
/proc/32242/stat : 32242 (cryptominisat-2) T 32240 32242 32242 0 -1 4202496 480573 0 0 0 87545 117 0 0 25 0 1 0 659974671 1908264960 368040 33554432000 4194304 4677096 140734951645440 18446744073709551615 4319802 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/32242/statm: 465885 368040 472 118 0 460844 0
[pid=32240/tid=32246] ppid=32154 vsize=578608 CPUtime=0 cores=0-7
/proc/32240/task/32246/stat : 32246 (python) S 32154 32154 32049 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 659984707 592494592 33606 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 514 18446604453328267200 0 0 -1 0 0 0 0
[pid=32247] ppid=32154 vsize=588864 CPUtime=3.64 cores=0-7
/proc/32247/stat : 32247 (python) S 32154 32154 32049 0 -1 4202560 1227 0 0 0 201 163 0 0 15 0 2 0 659984977 602996736 33611 33554432000 4194304 5683644 140734476622992 18446744073709551615 246516854342 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/32247/statm: 147216 33611 400 364 0 83095 0
[pid=32249] ppid=32247 vsize=1942108 CPUtime=1372.39 cores=0-7
/proc/32249/stat : 32249 (cryptominisat-2) R 32247 32249 32249 0 -1 4202496 577652 0 0 0 137093 146 0 0 25 0 1 0 659984978 1988718592 382138 33554432000 4194304 4677096 140734389172432 18446744073709551615 4317762 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/32249/statm: 485527 382138 392 118 0 480486 0
[pid=32247/tid=32254] ppid=32154 vsize=588864 CPUtime=0 cores=0-7
/proc/32247/task/32254/stat : 32254 (python) S 32154 32154 32049 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 659994876 602996736 33611 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 514 18446604442401195968 0 0 -1 1 0 0 0
[pid=32256] ppid=32154 vsize=599120 CPUtime=2.49 cores=0-7
/proc/32256/stat : 32256 (python) S 32154 32154 32049 0 -1 4202560 1334 0 0 0 134 115 0 0 18 0 2 0 659996314 613498880 33675 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/32256/statm: 149780 33675 407 364 0 85656 0
[pid=32258] ppid=32256 vsize=428680 CPUtime=975.97 cores=0-7
/proc/32258/stat : 32258 (precosat) T 32256 32258 32258 0 -1 4202496 159762 0 0 0 97563 34 0 0 25 0 1 0 659996314 438968320 105821 33554432000 4194304 4890832 140735450894960 18446744073709551615 4229355 0 0 16781312 17442 18446744071562691360 0 0 17 7 0 0 0
/proc/32258/statm: 107170 105821 86 171 0 106997 0
[pid=32256/tid=32261] ppid=32154 vsize=599120 CPUtime=0 cores=0-7
/proc/32256/task/32261/stat : 32261 (python) S 32154 32154 32049 0 -1 4202560 124 0 0 0 0 0 0 0 18 0 2 0 660006337 613498880 33675 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 514 18446604449703597056 0 0 -1 3 0 0 0
[pid=32262] ppid=32154 vsize=609376 CPUtime=0.23 cores=0-7
/proc/32262/stat : 32262 (python) S 32154 32154 32049 0 -1 4202560 1131 0 0 0 13 10 0 0 19 0 2 0 660006340 624001024 33706 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/32262/statm: 152344 33706 406 364 0 88217 0
[pid=32264] ppid=32262 vsize=66584 CPUtime=99.44 cores=0-7
/proc/32264/stat : 32264 (SApperloT-base) T 32262 32264 32264 0 -1 4202496 16466 0 0 0 9935 9 0 0 25 0 1 0 660006341 68182016 15483 33554432000 134512640 135674940 4294569200 18446744073709551615 134564250 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/32264/statm: 16646 15483 100 284 0 16360 0
[pid=32262/tid=32268] ppid=32154 vsize=609376 CPUtime=0 cores=0-7
/proc/32262/task/32268/stat : 32268 (python) S 32154 32154 32049 0 -1 4202560 85 0 0 0 0 0 0 0 19 0 2 0 660016364 624001024 33706 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 514 18446604449277564224 0 0 -1 3 0 0 0
[pid=32271] ppid=32154 vsize=619632 CPUtime=0.25 cores=0-7
/proc/32271/stat : 32271 (python) S 32154 32154 32049 0 -1 4202560 1227 0 0 0 13 12 0 0 19 0 2 0 660024026 634503168 33657 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/32271/statm: 154908 33657 406 364 0 90778 0
[pid=32273] ppid=32271 vsize=289492 CPUtime=99.23 cores=0-7
/proc/32273/stat : 32273 (precosat) T 32271 32273 32273 0 -1 4202496 79452 0 0 0 9904 19 0 0 25 0 1 0 660024027 296439808 70983 33554432000 4194304 4890832 140733945440496 18446744073709551615 4293282 0 0 16781312 17442 18446744071562691360 0 0 17 1 0 0 0
/proc/32273/statm: 72373 70983 86 171 0 72200 0
[pid=32271/tid=32277] ppid=32154 vsize=619632 CPUtime=0 cores=0-7
/proc/32271/task/32277/stat : 32277 (python) S 32154 32154 32049 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 660034051 634503168 33657 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 514 18446604447364327424 0 0 -1 1 0 0 0
[pid=32286] ppid=32154 vsize=629888 CPUtime=2.81 cores=0-7
/proc/32286/stat : 32286 (python) S 32154 32154 32049 0 -1 4202560 1129 0 0 0 152 129 0 0 15 0 2 0 660063283 645005312 33716 33554432000 4194304 5683644 140734476622992 18446744073709551615 246516854342 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/32286/statm: 157472 33716 400 364 0 93339 0
[pid=32288] ppid=32286 vsize=1956552 CPUtime=1052.13 cores=0-7
/proc/32288/stat : 32288 (cryptominisat-2) R 32286 32288 32288 0 -1 4202496 503209 0 0 0 105069 144 0 0 25 0 1 0 660063284 2003509248 366327 33554432000 4194304 4677096 140736612018432 18446744073709551615 4320006 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/32288/statm: 489138 366327 393 118 0 484097 0
[pid=32286/tid=32295] ppid=32154 vsize=629888 CPUtime=0 cores=0-7
/proc/32286/task/32295/stat : 32295 (python) S 32154 32154 32049 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 2 0 660073233 645005312 33716 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 514 18446604453328266304 0 0 -1 3 0 0 0
[pid=32292] ppid=32154 vsize=640144 CPUtime=2.2 cores=0-7
/proc/32292/stat : 32292 (python) S 32154 32154 32049 0 -1 4202560 1119 0 0 0 120 100 0 0 18 0 2 0 660072555 655507456 33784 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/32292/statm: 160036 33784 400 364 0 95900 0
[pid=32294] ppid=32292 vsize=425928 CPUtime=878.64 cores=0-7
/proc/32294/stat : 32294 (precosat) T 32292 32294 32294 0 -1 4202496 159114 0 0 0 87838 26 0 0 25 0 1 0 660072556 436150272 105168 33554432000 4194304 4890832 140736703695232 18446744073709551615 4229292 0 0 16781312 17442 18446744071562691360 0 0 17 1 0 0 0
/proc/32294/statm: 106482 105168 86 171 0 106309 0
[pid=32292/tid=32307] ppid=32154 vsize=640144 CPUtime=0 cores=0-7
/proc/32292/task/32307/stat : 32307 (python) S 32154 32154 32049 0 -1 4202560 88 0 0 0 0 0 0 0 18 0 2 0 660111949 655507456 33784 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 514 18446604440655503424 0 0 -1 1 0 0 0
[pid=32316] ppid=32154 vsize=650400 CPUtime=1.7 cores=0-7
/proc/32316/stat : 32316 (python) S 32154 32154 32049 0 -1 4202560 1145 0 0 0 88 82 0 0 18 0 2 0 660140872 666009600 33770 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/32316/statm: 162600 33770 400 364 0 98461 0
[pid=32318] ppid=32316 vsize=403864 CPUtime=680.37 cores=0-7
/proc/32318/stat : 32318 (precosat) T 32316 32318 32318 0 -1 4202496 143422 0 0 0 68015 22 0 0 25 0 1 0 660140873 413556736 99583 33554432000 4194304 4890832 140734837432320 18446744073709551615 4293582 0 0 16781312 17442 18446744071562691360 0 0 17 0 0 0 0
/proc/32318/statm: 100966 99583 86 171 0 100793 0
[pid=32316/tid=32333] ppid=32154 vsize=650400 CPUtime=0 cores=0-7
/proc/32316/task/32333/stat : 32333 (python) S 32154 32154 32049 0 -1 4202560 97 0 0 0 0 0 0 0 18 0 2 0 660179764 666009600 33770 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 514 18446604453856955264 0 0 -1 4 0 0 0
[pid=32322] ppid=32154 vsize=660656 CPUtime=0.49 cores=0-7
/proc/32322/stat : 32322 (python) S 32154 32154 32049 0 -1 4202560 1127 0 0 0 25 24 0 0 19 0 2 0 660150177 676511744 33800 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528660939 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/32322/statm: 165164 33800 400 364 0 101022 0
[pid=32324] ppid=32322 vsize=72496 CPUtime=195.15 cores=0-7
/proc/32324/stat : 32324 (glucose_static) T 32322 32324 32324 0 -1 4202496 17715 0 0 0 19509 6 0 0 25 0 1 0 660150177 74235904 17443 33554432000 134512640 135217611 4292778848 18446744073709551615 134532912 0 0 16781312 8388611 18446744071562691360 0 0 17 3 0 0 0
/proc/32324/statm: 18124 17443 78 173 0 17949 0
[pid=32322/tid=32330] ppid=32154 vsize=660656 CPUtime=0 cores=0-7
/proc/32322/task/32330/stat : 32330 (python) S 32154 32154 32049 0 -1 4202560 86 0 0 0 0 0 0 0 19 0 2 0 660169725 676511744 33800 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 514 18446604453849342400 0 0 -1 3 0 0 0
[pid=32352] ppid=32154 vsize=670912 CPUtime=0.18 cores=0-7
/proc/32352/stat : 32352 (python) S 32154 32154 32049 0 -1 4202560 1028 0 0 0 9 9 0 0 15 0 1 0 660211925 687013888 33852 33554432000 4194304 5683644 140734476622992 18446744073709551615 246516854342 0 0 16781312 514 9777284008990703875 0 0 17 0 0 0 0
/proc/32352/statm: 167728 33852 378 364 0 103583 0
[pid=32354] ppid=32352 vsize=1236904 CPUtime=69.12 cores=0-7
/proc/32354/stat : 32354 (cryptominisat-2) R 32352 32354 32354 0 -1 4202496 230946 0 0 0 6870 42 0 0 25 0 1 0 660211926 1266589696 220977 33554432000 4194304 4677096 140733674238432 18446744073709551615 246516499320 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/32354/statm: 309226 220977 392 118 0 304185 0
[pid=32154/tid=32163] ppid=32152 vsize=681156 CPUtime=0 cores=0-7
/proc/32154/task/32163/stat : 32163 (python) S 32152 32154 32049 0 -1 4202560 55 933 0 0 0 0 0 0 18 0 23 0 659857883 697503744 35396 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 2 18446604453872511168 0 0 -1 4 0 0 0
[pid=32154/tid=32166] ppid=32152 vsize=681156 CPUtime=0 cores=0-7
/proc/32154/task/32166/stat : 32166 (python) S 32152 32154 32049 0 -1 4202560 39 933 0 0 0 0 0 0 18 0 23 0 659857886 697503744 35396 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 2 18446604453872511168 0 0 -1 0 0 0 0
[pid=32154/tid=32169] ppid=32152 vsize=681156 CPUtime=0 cores=0-7
/proc/32154/task/32169/stat : 32169 (python) S 32152 32154 32049 0 -1 4202560 37 933 0 0 0 0 0 0 18 0 23 0 659857888 697503744 35396 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 2 18446604453872511168 0 0 -1 0 0 0 0
[pid=32154/tid=32172] ppid=32152 vsize=681156 CPUtime=0 cores=0-7
/proc/32154/task/32172/stat : 32172 (python) S 32152 32154 32049 0 -1 4202560 18 933 0 0 0 0 0 0 18 0 23 0 659857891 697503744 35396 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 2 18446604453872511168 0 0 -1 5 0 0 0
[pid=32154/tid=32175] ppid=32152 vsize=681156 CPUtime=0 cores=0-7
/proc/32154/task/32175/stat : 32175 (python) S 32152 32154 32049 0 -1 4202560 37 933 0 0 0 0 0 0 18 0 23 0 659857894 697503744 35396 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 2 18446604453872511168 0 0 -1 0 0 0 0
[pid=32154/tid=32178] ppid=32152 vsize=681156 CPUtime=0 cores=0-7
/proc/32154/task/32178/stat : 32178 (python) S 32152 32154 32049 0 -1 4202560 40 933 0 0 0 0 0 0 18 0 23 0 659857896 697503744 35396 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 2 18446604453872511168 0 0 -1 0 0 0 0
[pid=32154/tid=32181] ppid=32152 vsize=681156 CPUtime=0 cores=0-7
/proc/32154/task/32181/stat : 32181 (python) S 32152 32154 32049 0 -1 4202560 26 933 0 0 0 0 0 0 22 0 23 0 659857899 697503744 35396 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 2 18446604453872511168 0 0 -1 1 0 0 0
[pid=32154/tid=32184] ppid=32152 vsize=681156 CPUtime=0 cores=0-7
/proc/32154/task/32184/stat : 32184 (python) S 32152 32154 32049 0 -1 4202560 52 933 0 0 0 0 0 0 18 0 23 0 659857902 697503744 35396 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 2 18446604453872511168 0 0 -1 0 0 0 0
[pid=32154/tid=32199] ppid=32152 vsize=681156 CPUtime=0 cores=0-7
/proc/32154/task/32199/stat : 32199 (python) S 32152 32154 32049 0 -1 4202560 49 933 0 0 0 0 0 0 18 0 23 0 659887557 697503744 35396 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 2 18446604453872511168 0 0 -1 1 0 0 0
[pid=32154/tid=32209] ppid=32152 vsize=681156 CPUtime=0 cores=0-7
/proc/32154/task/32209/stat : 32209 (python) S 32152 32154 32049 0 -1 4202560 46 933 0 0 0 0 0 0 18 0 23 0 659906516 697503744 35396 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 2 18446604453872511168 0 0 -1 1 0 0 0
[pid=32154/tid=32213] ppid=32152 vsize=681156 CPUtime=0 cores=0-7
/proc/32154/task/32213/stat : 32213 (python) S 32152 32154 32049 0 -1 4202560 88 933 0 0 0 0 0 0 18 0 23 0 659907060 697503744 35396 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 2 18446604453872511168 0 0 -1 0 0 0 0
[pid=32154/tid=32223] ppid=32152 vsize=681156 CPUtime=0 cores=0-7
/proc/32154/task/32223/stat : 32223 (python) S 32152 32154 32049 0 -1 4202560 54 933 0 0 0 0 0 0 18 0 23 0 659926707 697503744 35396 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 2 18446604453872511168 0 0 -1 1 0 0 0
[pid=32154/tid=32241] ppid=32152 vsize=681156 CPUtime=0 cores=0-7
/proc/32154/task/32241/stat : 32241 (python) S 32152 32154 32049 0 -1 4202560 39 933 0 0 0 0 0 0 18 0 23 0 659974671 697503744 35396 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 2 18446604453872511168 0 0 -1 0 0 0 0
[pid=32154/tid=32248] ppid=32152 vsize=681156 CPUtime=0 cores=0-7
/proc/32154/task/32248/stat : 32248 (python) S 32152 32154 32049 0 -1 4202560 62 933 0 0 0 0 0 0 15 0 23 0 659984978 697503744 35396 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 2 18446604453872511168 0 0 -1 1 0 0 0
[pid=32154/tid=32257] ppid=32152 vsize=681156 CPUtime=0 cores=0-7
/proc/32154/task/32257/stat : 32257 (python) S 32152 32154 32049 0 -1 4202560 93 933 0 0 0 0 0 0 18 0 23 0 659996314 697503744 35396 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 2 18446604453872511168 0 0 -1 1 0 0 0
[pid=32154/tid=32263] ppid=32152 vsize=681156 CPUtime=0 cores=0-7
/proc/32154/task/32263/stat : 32263 (python) S 32152 32154 32049 0 -1 4202560 38 933 0 0 0 0 0 0 20 0 23 0 660006341 697503744 35396 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 2 18446604453872511168 0 0 -1 1 0 0 0
[pid=32154/tid=32272] ppid=32152 vsize=681156 CPUtime=0 cores=0-7
/proc/32154/task/32272/stat : 32272 (python) S 32152 32154 32049 0 -1 4202560 26 933 0 0 0 0 0 0 20 0 23 0 660024027 697503744 35396 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 2 18446604453872511168 0 0 -1 1 0 0 0
[pid=32154/tid=32287] ppid=32152 vsize=681156 CPUtime=0 cores=0-7
/proc/32154/task/32287/stat : 32287 (python) S 32152 32154 32049 0 -1 4202560 54 933 0 0 0 0 0 0 18 0 23 0 660063284 697503744 35396 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 2 18446604453872511168 0 0 -1 1 0 0 0
[pid=32154/tid=32293] ppid=32152 vsize=681156 CPUtime=0 cores=0-7
/proc/32154/task/32293/stat : 32293 (python) S 32152 32154 32049 0 -1 4202560 43 933 0 0 0 0 0 0 18 0 23 0 660072555 697503744 35396 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 2 18446604453872511168 0 0 -1 1 0 0 0
[pid=32154/tid=32317] ppid=32152 vsize=681156 CPUtime=0 cores=0-7
/proc/32154/task/32317/stat : 32317 (python) S 32152 32154 32049 0 -1 4202560 56 933 0 0 0 0 0 0 18 0 23 0 660140873 697503744 35396 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 2 18446604453872511168 0 0 -1 0 0 0 0
[pid=32154/tid=32323] ppid=32152 vsize=681156 CPUtime=0 cores=0-7
/proc/32154/task/32323/stat : 32323 (python) S 32152 32154 32049 0 -1 4202560 39 933 0 0 0 0 0 0 20 0 23 0 660150177 697503744 35396 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 2 18446604453872511168 0 0 -1 1 0 0 0
[pid=32154/tid=32353] ppid=32152 vsize=681156 CPUtime=0 cores=0-7
/proc/32154/task/32353/stat : 32353 (python) S 32152 32154 32049 0 -1 4202560 50 933 0 0 0 0 0 0 20 0 23 0 660211926 697503744 35396 33554432000 4194304 5683644 140734476622992 18446744073709551615 246528657841 0 0 16781312 2 18446604453872511168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28846.3
Current children cumulated vsize (KiB) 31827440

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32154 and gives
#  childrusage.ru_utime.tv_sec=66
#  childrusage.ru_utime.tv_usec=163941
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=328949
# CPU time returned by wait4() is 66.4929
# while last known CPU time is 28846.3
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 3675.05
CPU time (s): 28846.3
CPU user time (s): 28798.2
CPU system time (s): 48.08
CPU usage (%): 784.922
Max. virtual memory (cumulated for all children) (KiB): 31827440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 66.1639
system time used= 0.328949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90494
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= 3473
involuntary context switches= 215

runsolver used 27.1439 second user time and 66.2019 second system time

The end

Launcher Data 

Begin job on node134 at 2011-05-15 20:02:12
IDJOB=3380593
IDBENCH=70808
IDSOLVER=1864
FILE ID=node134/3380593-1305482532
RUNJOBID= node134-1305481203-32063
PBS_JOBID= 13325346
Free space on /tmp= 73488 MiB

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

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

MD5SUM BENCH= e050fe11c7c50ba82ac7126f49db3c10
RANDOM SEED=1693792417

node134.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.831
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.66
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.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
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.831
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.83
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.831
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	: 7186.06
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.831
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.80
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.831
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.831
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.831
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13504856 kB
Buffers:        293152 kB
Cached:        6418372 kB
SwapCached:      13768 kB
Active:       10356288 kB
Inactive:      8838388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13504856 kB
SwapTotal:    67111528 kB
SwapFree:     61565116 kB
Dirty:           42220 kB
Writeback:           0 kB
AnonPages:    12477020 kB
Mapped:          14596 kB
Slab:           135440 kB
PageTables:      51000 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 48732488 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73456 MiB
End job on node134 at 2011-05-15 21:03:29