Trace number 3381207

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) 17793.6 4838.69

General information on the benchmark

NameSAT03/industrial/schuppan/l2s/
valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf
MD5SUMcb369c4583eb075a3a8cb5a04701e120
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1644.38
Satisfiable
(Un)Satisfiability was proved
Number of variables985042
Number of clauses3113540
Sum of the clauses size7976612
Maximum clause length618
Minimum clause length1
Number of clauses of size 1158
Number of clauses of size 21490897
Number of clauses of size 31578048
Number of clauses of size 428388
Number of clauses of size 59876
Number of clauses of size over 56173

Solver Data 

1.50/4.25	c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle
1.50/4.25	c INFO: solving HOME/instance-3381207-1305509184.cnf
1.50/4.25	c INFO: computing task features
19.45/22.22	c INFO: computed variable-clause graph statistics
19.96/22.79	c INFO: computed clause balance statistics
70.84/73.64	c INFO: computed variable balance statistics
108.74/111.53	c INFO: computed small-clause counts
111.74/114.56	c INFO: computed Horn-clause counts
1211.65/1214.47	c INFO: computed variable graph statistics
1211.65/1214.48	c INFO: collected features for HOME/instance-3381207-1305509184.cnf in 1209.82 s
1211.74/1214.51	c INFO: running lingeling-276@0 for 97 with 3789 remaining (b = 0.97)
1211.74/1214.53	c INFO: running lingeling-276@0 for 194 with 3789 remaining (b = 0.63)
1211.74/1214.56	c INFO: running cryptominisat-2.9.0@0 for 1843 with 3789 remaining (b = 0.86)
1211.74/1214.59	c INFO: running lingeling-276@0 for 485 with 3789 remaining (b = 0.67)
1211.83/1214.62	c INFO: running cryptominisat-2.9.0@0 for 1843 with 3789 remaining (b = 0.81)
1211.83/1214.65	c INFO: running cryptominisat-2.9.0@0 for 485 with 3789 remaining (b = 0.59)
1211.83/1214.69	c INFO: running precosat-570@0 for 388 with 3789 remaining (b = 0.52)
1211.94/1214.72	c INFO: running lingeling-276@0 for 388 with 3789 remaining (b = 0.46)
2003.96/1313.91	c INFO: running precosat-570@0 for 97 with 3690 remaining (b = 0.26)
2768.24/1410.41	c INFO: running cryptominisat-2.9.0@0 for 1649 with 3593 remaining (b = 0.49)
2799.26/1414.33	c INFO: running precosat-570@195 for 1067 with 3589 remaining (b = 0.38)
3288.06/1546.70	c INFO: running precosat-570@0 for 388 with 3457 remaining (b = 0.35)
3858.46/1672.27	c INFO: running precosat-570@0 for 97 with 3331 remaining (b = 0.20)
4116.74/1796.36	c INFO: running lingeling-276@0 for 291 with 3207 remaining (b = 0.12)
4355.79/1941.34	c INFO: running glucose@0 for 194 with 3062 remaining (b = 0.25)
4654.16/2128.76	c INFO: running cryptominisat-2.9.0@0 for 97 with 2875 remaining (b = 0.13)
5684.62/2813.49	c INFO: running precosat-570@501 for 291 with 2190 remaining (b = 0.11)
5867.14/2839.94	c INFO: running glucose@0 for 97 with 2164 remaining (b = 0.30)
6115.87/3047.71	c INFO: running lingeling-276@389 for 970 with 1956 remaining (b = 0.27)
6357.95/3083.55	c INFO: running precosat-570@389 for 1920 with 1920 remaining (b = 0.37)
6917.97/3166.04	c INFO: running cryptominisat-2.9.0@102 for 1838 with 1838 remaining (b = 0.37)
8377.36/3401.51	c INFO: running precosat-570@0 for 97 with 1602 remaining (b = 0.15)
9928.11/3723.15	c INFO: running precosat-570@698 for 97 with 1281 remaining (b = 0.05)
10679.54/3820.52	c INFO: running precosat-570@794 for 485 with 1183 remaining (b = 0.16)
11294.65/3903.78	c INFO: running lingeling-276@0 for 194 with 1100 remaining (b = 0.07)
12574.85/4072.31	c INFO: running lingeling-276@781 for 291 with 931 remaining (b = 0.12)
12831.51/4108.51	c INFO: running lingeling-276@969 for 194 with 895 remaining (b = 0.10)
14319.57/4305.21	c INFO: running lingeling-276@1162 for 194 with 699 remaining (b = 0.09)
14750.25/4359.52	c INFO: running precosat-570@0 for 291 with 644 remaining (b = 0.12)
14845.40/4371.55	c INFO: running lingeling-276@976 for 97 with 632 remaining (b = 0.05)
15613.54/4471.93	c INFO: running lingeling-276@1073 for 194 with 532 remaining (b = 0.08)
15895.89/4508.92	c INFO: running precosat-570@99 for 194 with 495 remaining (b = 0.08)
15974.32/4518.86	c INFO: running lingeling-276@0 for 97 with 485 remaining (b = 0.16)
16664.67/4627.85	c INFO: running cryptominisat-2.9.0@0 for 97 with 376 remaining (b = 0.04)
16844.82/4670.61	c INFO: running precosat-570@1861 for 333 with 333 remaining (b = 0.07)
16978.33/4681.62	c INFO: running precosat-570@424 for 322 with 322 remaining (b = 0.07)
16993.20/4683.70	c INFO: running precosat-570@291 for 97 with 320 remaining (b = 0.03)
17415.36/4785.97	c INFO: running lingeling-276@1649 for 97 with 218 remaining (b = 0.03)
17724.00/4828.43	c INFO: running glucose@100 for 175 with 175 remaining (b = 0.03)

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-3381207-1305509184/watcher-3381207-1305509184 -o /tmp/evaluation-result-3381207-1305509184/solver-3381207-1305509184 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3381207-1305509184.cnf -seed 311868941 -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: 7.11 7.95 7.98 1/440 12397
/proc/meminfo: memFree=5914164/32951132 swapFree=67093844/67111528
[pid=12397] ppid=12395 vsize=15904 CPUtime=0 cores=0-7
/proc/12397/stat : 12397 (python) S 12395 12397 11562 0 -1 4202496 957 0 0 0 0 0 0 0 20 0 1 0 662517465 16285696 833 33554432000 4194304 5683644 140735034208592 18446744073709551615 242970548224 0 2147483391 16781312 2 18446744071699109054 0 0 17 4 0 0 0
/proc/12397/statm: 3976 833 357 364 0 463 0

[startup+0.111071 s]
/proc/loadavg: 7.11 7.95 7.98 1/440 12397
/proc/meminfo: memFree=5914164/32951132 swapFree=67093844/67111528
[pid=12397] ppid=12395 vsize=99340 CPUtime=0.06 cores=0-7
/proc/12397/stat : 12397 (python) S 12395 12397 11562 0 -1 4202496 2853 0 0 0 5 1 0 0 20 0 1 0 662517465 101724160 2555 33554432000 4194304 5683644 140735034208592 18446744073709551615 242970548224 0 2147483391 16781312 2 18446744071699109054 0 0 17 4 0 0 0
/proc/12397/statm: 24835 2555 818 364 0 1686 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 99340

[startup+0.201055 s]
/proc/loadavg: 7.11 7.95 7.98 1/440 12397
/proc/meminfo: memFree=5914164/32951132 swapFree=67093844/67111528
[pid=12397] ppid=12395 vsize=104612 CPUtime=0.07 cores=0-7
/proc/12397/stat : 12397 (python) S 12395 12397 11562 0 -1 4202496 3142 0 0 0 6 1 0 0 20 0 1 0 662517465 107122688 2821 33554432000 4194304 5683644 140735034208592 18446744073709551615 242970548224 0 2147483391 16781312 2 18446744071699109054 0 0 17 4 0 0 0
/proc/12397/statm: 26153 2821 847 364 0 1901 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 104612

[startup+0.301038 s]
/proc/loadavg: 7.11 7.95 7.98 1/440 12397
/proc/meminfo: memFree=5914164/32951132 swapFree=67093844/67111528
[pid=12397] ppid=12395 vsize=126292 CPUtime=0.12 cores=0-7
/proc/12397/stat : 12397 (python) R 12395 12397 11562 0 -1 4202496 4701 934 1 0 10 2 0 0 18 0 1 0 662517465 129323008 3894 33554432000 4194304 5683644 140735034208592 18446744073709551615 5177923 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/12397/statm: 31573 3894 1001 364 0 2868 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 126292

[startup+0.700983 s]
/proc/loadavg: 7.11 7.95 7.98 1/440 12397
/proc/meminfo: memFree=5914164/32951132 swapFree=67093844/67111528
[pid=12397] ppid=12395 vsize=135744 CPUtime=0.19 cores=0-7
/proc/12397/stat : 12397 (python) S 12395 12397 11562 0 -1 4202496 5961 934 1 0 14 5 0 0 16 0 1 0 662517465 139001856 4149 33554432000 4194304 5683644 140735034208592 18446744073709551615 242970546181 0 2147483391 16781312 2 18446744071699109054 0 0 17 4 0 0 0
/proc/12397/statm: 33936 4149 1032 364 0 3122 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 135744

[startup+1.50084 s]
/proc/loadavg: 7.11 7.95 7.98 1/441 12402
/proc/meminfo: memFree=5894696/32951132 swapFree=67093844/67111528
[pid=12397] ppid=12395 vsize=246176 CPUtime=0.45 cores=0-7
/proc/12397/stat : 12397 (python) R 12395 12397 11562 0 -1 4202496 8092 934 1 0 37 8 0 0 16 0 1 0 662517465 252084224 5993 33554432000 4194304 5683644 140735034208592 18446744073709551615 4968289 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/12397/statm: 61544 5993 1621 364 0 4546 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 246176

[startup+3.10056 s]
/proc/loadavg: 7.11 7.95 7.98 2/441 12402
/proc/meminfo: memFree=5893580/32951132 swapFree=67093844/67111528
[pid=12397] ppid=12395 vsize=246176 CPUtime=1.08 cores=0-7
/proc/12397/stat : 12397 (python) R 12395 12397 11562 0 -1 4202496 8098 934 1 0 94 14 0 0 17 0 1 0 662517465 252084224 5999 33554432000 4194304 5683644 140735034208592 18446744073709551615 4572110 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/12397/statm: 61544 5999 1621 364 0 4546 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 246176
heavy processes:

[startup+6.30102 s]
/proc/loadavg: 6.70 7.85 7.95 3/441 12402
/proc/meminfo: memFree=5750864/32951132 swapFree=67093844/67111528
[pid=12397] ppid=12395 vsize=475952 CPUtime=3.55 cores=0-7
/proc/12397/stat : 12397 (python) R 12395 12397 11562 0 -1 4202496 57454 934 1 0 329 26 0 0 21 0 1 0 662517465 487374848 55138 33554432000 4194304 5683644 140735034208592 18446744073709551615 242970211013 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/12397/statm: 118988 55138 1761 364 0 54912 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 475952
heavy processes:

[startup+17.0642 s]
/proc/loadavg: 6.29 7.72 7.91 3/441 12402
/proc/meminfo: memFree=5219912/32951132 swapFree=67093844/67111528
[pid=12397] ppid=12395 vsize=951400 CPUtime=14.32 cores=0-7
/proc/12397/stat : 12397 (python) R 12395 12397 11562 0 -1 4202496 254310 934 1 0 1380 52 0 0 25 0 1 0 662517465 974233600 175223 33554432000 4194304 5683644 140735034208592 18446744073709551615 47589914136444 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/12397/statm: 237850 175223 1814 364 0 173774 0
Current children cumulated CPU time (s) 14.32
Current children cumulated vsize (KiB) 951400

[startup+25.5007 s]
/proc/loadavg: 5.78 7.57 7.86 2/441 12402
/proc/meminfo: memFree=5342524/32951132 swapFree=67093844/67111528
[pid=12397] ppid=12395 vsize=829780 CPUtime=22.75 cores=0-7
/proc/12397/stat : 12397 (python) R 12395 12397 11562 0 -1 4202496 278584 934 1 0 2220 55 0 0 25 0 1 0 662517465 849694720 144862 33554432000 4194304 5683644 140735034208592 18446744073709551615 47589916914421 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/12397/statm: 207445 144862 1826 364 0 143369 0
Current children cumulated CPU time (s) 22.75
Current children cumulated vsize (KiB) 829780

[startup+51.1003 s]
/proc/loadavg: 4.15 7.04 7.67 2/441 12403
/proc/meminfo: memFree=5344832/32951132 swapFree=67093844/67111528
[pid=12397] ppid=12395 vsize=829780 CPUtime=48.34 cores=0-7
/proc/12397/stat : 12397 (python) R 12395 12397 11562 0 -1 4202496 278584 934 1 0 4779 55 0 0 25 0 1 0 662517465 849694720 144862 33554432000 4194304 5683644 140735034208592 18446744073709551615 242973959088 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/12397/statm: 207445 144862 1826 364 0 143369 0
Current children cumulated CPU time (s) 48.34
Current children cumulated vsize (KiB) 829780

[startup+102.3 s]
/proc/loadavg: 2.37 6.10 7.32 2/441 12404
/proc/meminfo: memFree=5337276/32951132 swapFree=67093844/67111528
[pid=12397] ppid=12395 vsize=837472 CPUtime=99.54 cores=0-7
/proc/12397/stat : 12397 (python) R 12395 12397 11562 0 -1 4202496 280476 934 1 0 9899 55 0 0 25 0 1 0 662517465 857571328 146754 33554432000 4194304 5683644 140735034208592 18446744073709551615 4299138 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/12397/statm: 209368 146754 1827 364 0 145292 0
Current children cumulated CPU time (s) 99.54
Current children cumulated vsize (KiB) 837472

[startup+162.3 s]
/proc/loadavg: 1.62 5.20 6.93 2/441 12406
/proc/meminfo: memFree=5320652/32951132 swapFree=67093844/67111528
[pid=12397] ppid=12395 vsize=854104 CPUtime=159.55 cores=0-7
/proc/12397/stat : 12397 (python) R 12395 12397 11562 0 -1 4202496 302883 934 1 0 15897 58 0 0 25 0 1 0 662517465 874602496 150950 33554432000 4194304 5683644 140735034208592 18446744073709551615 47589914151052 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/12397/statm: 213526 150950 1833 364 0 149450 0
Current children cumulated CPU time (s) 159.55
Current children cumulated vsize (KiB) 854104

[startup+222.301 s]
/proc/loadavg: 1.23 4.44 6.56 2/441 12408
/proc/meminfo: memFree=5319780/32951132 swapFree=67093844/67111528
[pid=12397] ppid=12395 vsize=854104 CPUtime=219.55 cores=0-7
/proc/12397/stat : 12397 (python) R 12395 12397 11562 0 -1 4202496 302883 934 1 0 21897 58 0 0 25 0 1 0 662517465 874602496 150950 33554432000 4194304 5683644 140735034208592 18446744073709551615 47589914151052 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/12397/statm: 213526 150950 1833 364 0 149450 0
Current children cumulated CPU time (s) 219.55
Current children cumulated vsize (KiB) 854104

[startup+282.301 s]
/proc/loadavg: 1.08 3.81 6.21 2/441 12409
/proc/meminfo: memFree=5320892/32951132 swapFree=67093844/67111528
[pid=12397] ppid=12395 vsize=854104 CPUtime=279.56 cores=0-7
/proc/12397/stat : 12397 (python) R 12395 12397 11562 0 -1 4202496 302883 934 1 0 27898 58 0 0 25 0 1 0 662517465 874602496 150950 33554432000 4194304 5683644 140735034208592 18446744073709551615 47589914151040 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/12397/statm: 213526 150950 1833 364 0 149450 0
Current children cumulated CPU time (s) 279.56
Current children cumulated vsize (KiB) 854104

[startup+342.3 s]
/proc/loadavg: 1.03 3.30 5.88 2/441 12411
/proc/meminfo: memFree=5320760/32951132 swapFree=67093844/67111528
[pid=12397] ppid=12395 vsize=854104 CPUtime=339.55 cores=0-7
/proc/12397/stat : 12397 (python) R 12395 12397 11562 0 -1 4202496 302883 934 1 0 33897 58 0 0 25 0 1 0 662517465 874602496 150950 33554432000 4194304 5683644 140735034208592 18446744073709551615 47589914151040 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/12397/statm: 213526 150950 1833 364 0 149450 0
Current children cumulated CPU time (s) 339.55
Current children cumulated vsize (KiB) 854104

[startup+402.315 s]
/proc/loadavg: 1.01 2.88 5.57 2/441 12412
/proc/meminfo: memFree=5320752/32951132 swapFree=67093844/67111528
[pid=12397] ppid=12395 vsize=854104 CPUtime=399.56 cores=0-7
/proc/12397/stat : 12397 (python) R 12395 12397 11562 0 -1 4202496 302883 934 1 0 39898 58 0 0 25 0 1 0 662517465 874602496 150950 33554432000 4194304 5683644 140735034208592 18446744073709551615 47589914151052 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/12397/statm: 213526 150950 1833 364 0 149450 0
Current children cumulated CPU time (s) 399.56
Current children cumulated vsize (KiB) 854104

[startup+462.301 s]
/proc/loadavg: 1.00 2.53 5.28 2/441 12414
/proc/meminfo: memFree=5320636/32951132 swapFree=67093844/67111528
[pid=12397] ppid=12395 vsize=854104 CPUtime=459.55 cores=0-7
/proc/12397/stat : 12397 (python) R 12395 12397 11562 0 -1 4202496 302883 934 1 0 45897 58 0 0 25 0 1 0 662517465 874602496 150950 33554432000 4194304 5683644 140735034208592 18446744073709551615 47589914151052 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/12397/statm: 213526 150950 1833 364 0 149450 0
Current children cumulated CPU time (s) 459.55
Current children cumulated vsize (KiB) 854104

[startup+522.3 s]
/proc/loadavg: 1.00 2.25 5.01 2/441 12416
/proc/meminfo: memFree=5320884/32951132 swapFree=67093844/67111528
[pid=12397] ppid=12395 vsize=854104 CPUtime=519.55 cores=0-7
/proc/12397/stat : 12397 (python) R 12395 12397 11562 0 -1 4202496 302883 934 1 0 51897 58 0 0 25 0 1 0 662517465 874602496 150950 33554432000 4194304 5683644 140735034208592 18446744073709551615 47589914151040 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/12397/statm: 213526 150950 1833 364 0 149450 0
Current children cumulated CPU time (s) 519.55
Current children cumulated vsize (KiB) 854104

[startup+582.301 s]
/proc/loadavg: 1.00 2.02 4.76 2/441 12417
/proc/meminfo: memFree=5321004/32951132 swapFree=67093844/67111528
[pid=12397] ppid=12395 vsize=854104 CPUtime=579.55 cores=0-7
/proc/12397/stat : 12397 (python) R 12395 12397 11562 0 -1 4202496 302883 934 1 0 57897 58 0 0 25 0 1 0 662517465 874602496 150950 33554432000 4194304 5683644 140735034208592 18446744073709551615 47589914151052 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/12397/statm: 213526 150950 1833 364 0 149450 0
Current children cumulated CPU time (s) 579.55
Current children cumulated vsize (KiB) 854104

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

/proc/12479/stat : 12479 (python) Z 12397 12397 11562 0 -1 4203612 1047 0 0 0 479 518 0 0 18 0 1 0 662672135 0 0 33554432000 0 0 0 0 0 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 50210
/proc/12479/statm: 0 0 0 0 0 0 0
[pid=12481] ppid=1 vsize=668952 CPUtime=1837.57 cores=0-7
/proc/12481/stat : 12481 (precosat) D 1 12481 12481 0 -1 4194304 1789136 0 0 0 182235 1522 0 0 25 0 1 0 662672137 685006848 157271 33554432000 4194304 4890832 140734454805152 18446744073709551615 4398992 0 16384 16781312 17442 18446744071562154983 0 0 17 6 0 0 133910
/proc/12481/statm: 167238 157271 86 171 0 167065 0
[pid=12486] ppid=12397 vsize=0 CPUtime=7.82 cores=0-7
/proc/12486/stat : 12486 (python) Z 12397 12397 11562 0 -1 4203612 1060 0 0 0 364 418 0 0 16 0 1 0 662684693 0 0 33554432000 0 0 0 0 0 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 32443
/proc/12486/statm: 0 0 0 0 0 0 0
[pid=12488] ppid=1 vsize=662660 CPUtime=1088.16 cores=0-7
/proc/12488/stat : 12488 (precosat) D 1 12488 12488 0 -1 4194304 1371546 0 0 0 107678 1138 0 0 25 0 1 0 662684694 678563840 155251 33554432000 4194304 4890832 140733324015072 18446744073709551615 4398992 0 16384 16781312 17442 18446744071562154983 0 0 17 2 0 0 135714
/proc/12488/statm: 165665 155251 86 171 0 165492 0
[pid=12496] ppid=12397 vsize=0 CPUtime=2.54 cores=0-7
/proc/12496/stat : 12496 (python) Z 12397 12397 11562 0 -1 4203612 1059 0 0 0 120 134 0 0 18 0 1 0 662711600 0 0 33554432000 0 0 0 0 0 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 23486
/proc/12496/statm: 0 0 0 0 0 0 0
[pid=12498] ppid=1 vsize=290696 CPUtime=198.86 cores=0-7
/proc/12498/stat : 12498 (glucose_static) T 1 12498 12498 0 -1 4202496 69641 0 0 0 19724 162 0 0 25 0 1 0 662711601 297672704 69140 33554432000 134512640 135217611 4287879136 18446744073709551615 134532965 0 0 16781312 8388611 18446744071562691360 0 0 17 6 0 0 68200
/proc/12498/statm: 72674 69140 78 173 0 72499 0
[pid=12512] ppid=12397 vsize=0 CPUtime=8.09 cores=0-7
/proc/12512/stat : 12512 (python) Z 12397 12397 11562 0 -1 4203612 1221 0 0 0 402 407 0 0 15 0 1 0 662730342 0 0 33554432000 0 0 0 0 0 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 16794
/proc/12512/statm: 0 0 0 0 0 0 0
[pid=12519] ppid=1 vsize=0 CPUtime=1445.56 cores=0-7
/proc/12519/stat : 12519 (cryptominisat-2) R 1 12519 12519 0 -1 4203524 621636 0 0 0 143490 1066 0 0 25 0 1 0 662731992 0 0 33554432000 0 0 0 0 0 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 105900
/proc/12519/statm: 0 0 0 0 0 0 0
[pid=12960] ppid=12397 vsize=0 CPUtime=1 cores=0-7
/proc/12960/stat : 12960 (python) Z 12397 12397 11562 0 -1 4203612 1141 0 0 0 50 50 0 0 17 0 1 0 662801460 0 0 33554432000 0 0 0 0 0 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 2049
/proc/12960/statm: 0 0 0 0 0 0 0
[pid=12984] ppid=12397 vsize=0 CPUtime=2.4 cores=0-7
/proc/12984/stat : 12984 (python) Z 12397 12397 11562 0 -1 4203612 1118 0 0 0 114 126 0 0 18 0 1 0 662857617 0 0 33554432000 0 0 0 0 0 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 2970
/proc/12984/statm: 0 0 0 0 0 0 0
[pid=12986] ppid=1 vsize=664208 CPUtime=299.22 cores=0-7
/proc/12986/stat : 12986 (precosat) T 1 12986 12986 0 -1 4202496 737366 0 0 0 29594 328 0 0 25 0 1 0 662857645 680148992 156009 33554432000 4194304 4890832 140735085946064 18446744073709551615 4238599 0 0 16781312 17442 18446744071562691360 0 0 17 6 0 0 32586
/proc/12986/statm: 166052 156009 86 171 0 165879 0
[pid=14327] ppid=12397 vsize=0 CPUtime=0.75 cores=0-7
/proc/14327/stat : 14327 (python) Z 12397 12397 11562 0 -1 4203612 1140 0 0 0 35 40 0 0 15 0 1 0 662969352 0 0 33554432000 0 0 0 0 0 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 491
/proc/14327/statm: 0 0 0 0 0 0 0
[pid=14427] ppid=12397 vsize=0 CPUtime=0.79 cores=0-7
/proc/14427/stat : 14427 (python) Z 12397 12397 11562 0 -1 4203612 1055 0 0 0 37 42 0 0 15 0 1 0 662980251 0 0 33554432000 0 0 0 0 0 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/14427/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 17443.6
Current children cumulated vsize (KiB) 13596176
#
############


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

[startup+4838.61 s]
/proc/loadavg: 13.80 12.92 13.33 12/514 14482
/proc/meminfo: memFree=182792/32951132 swapFree=59780428/67111528
[pid=12397] ppid=12395 vsize=0 CPUtime=1446.24 cores=0-7
/proc/12397/stat : 12397 (python) D 12395 12397 11562 0 -1 4203524 318589 376659 1 0 121171 88 23037 328 18 0 1 0 662517465 0 0 33554432000 0 0 0 0 0 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 3018
/proc/12397/statm: 0 0 0 0 0 0 0
[pid=12435] ppid=12397 vsize=0 CPUtime=6.95 cores=0-7
/proc/12435/stat : 12435 (python) Z 12397 12397 11562 0 -1 4203612 1220 0 3 0 336 359 0 0 18 0 1 0 662638916 0 0 33554432000 0 0 0 0 0 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 14855
/proc/12435/statm: 0 0 0 0 0 0 0
[pid=12437] ppid=1 vsize=195912 CPUtime=1952.04 cores=0-7
/proc/12437/stat : 12437 (lingeling) T 1 12437 12437 0 -1 4202496 164303 0 0 0 194511 693 0 0 25 0 1 0 662638918 200613888 48148 33554432000 4194304 4352236 140733694297888 18446744073709551615 4328385 0 0 16781312 17506 18446744071562691360 0 0 17 0 0 0 3472
/proc/12437/statm: 48978 48148 129 39 0 48058 0
[pid=12438] ppid=12397 vsize=0 CPUtime=2.91 cores=0-7
/proc/12438/stat : 12438 (python) Z 12397 12397 11562 0 -1 4203612 1159 0 0 0 151 140 0 0 18 0 1 0 662638919 0 0 33554432000 0 0 0 0 0 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/12438/statm: 0 0 0 0 0 0 0
[pid=12442] ppid=1 vsize=185376 CPUtime=779.23 cores=0-7
/proc/12442/stat : 12442 (lingeling) T 1 12442 12442 0 -1 4202496 156822 0 0 0 77711 212 0 0 25 0 1 0 662638923 189825024 45513 33554432000 4194304 4352236 140736661909680 18446744073709551615 4328026 0 0 16781312 17506 18446744071562691360 0 0 17 5 0 0 0
/proc/12442/statm: 46344 45513 129 39 0 45424 0
[pid=12440] ppid=12397 vsize=0 CPUtime=10.35 cores=0-7
/proc/12440/stat : 12440 (python) Z 12397 12397 11562 0 -1 4203612 1158 0 16 0 530 505 0 0 16 0 1 0 662638922 0 0 33554432000 0 0 0 0 0 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 32931
/proc/12440/statm: 0 0 0 0 0 0 0
[pid=12445] ppid=1 vsize=3114132 CPUtime=1862.58 cores=0-7
/proc/12445/stat : 12445 (cryptominisat-2) T 1 12445 12445 0 -1 4202496 744173 0 0 0 184399 1859 0 0 25 0 1 0 662638926 3188871168 648636 33554432000 4194304 4677096 140734815692656 18446744073709551615 4319726 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 159502
/proc/12445/statm: 778533 648636 393 118 0 773492 0
[pid=12443] ppid=12397 vsize=0 CPUtime=1.64 cores=0-7
/proc/12443/stat : 12443 (python) Z 12397 12397 11562 0 -1 4203612 1158 0 1 0 75 89 0 0 18 0 1 0 662638925 0 0 33554432000 0 0 0 0 0 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 5427
/proc/12443/statm: 0 0 0 0 0 0 0
[pid=12446] ppid=1 vsize=184292 CPUtime=502.48 cores=0-7
/proc/12446/stat : 12446 (lingeling) T 1 12446 12446 0 -1 4202496 154674 0 0 0 50165 83 0 0 25 0 1 0 662638927 188715008 45243 33554432000 4194304 4352236 140735397980640 18446744073709551615 4207874 0 0 16781312 17506 18446744071562691360 0 0 17 5 0 0 5617
/proc/12446/statm: 46073 45243 129 39 0 45153 0
[pid=12447] ppid=12397 vsize=0 CPUtime=9.36 cores=0-7
/proc/12447/stat : 12447 (python) Z 12397 12397 11562 0 -1 4203612 1188 0 0 0 476 460 0 0 16 0 1 0 662638928 0 0 33554432000 0 0 0 0 0 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 35686
/proc/12447/statm: 0 0 0 0 0 0 0
[pid=12449] ppid=1 vsize=3170976 CPUtime=1857.17 cores=0-7
/proc/12449/stat : 12449 (cryptominisat-2) T 1 12449 12449 0 -1 4202496 717507 0 0 0 184368 1349 0 0 25 0 1 0 662638929 3247079424 636965 33554432000 4194304 4677096 140735996730320 18446744073709551615 4564132 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 133973
/proc/12449/statm: 792744 636965 393 118 0 787703 0
[pid=12453] ppid=12397 vsize=0 CPUtime=3.47 cores=0-7
/proc/12453/stat : 12453 (python) Z 12397 12397 11562 0 -1 4203612 1179 0 0 0 185 162 0 0 16 0 1 0 662638934 0 0 33554432000 0 0 0 0 0 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 8622
/proc/12453/statm: 0 0 0 0 0 0 0
[pid=12455] ppid=1 vsize=668616 CPUtime=777.33 cores=0-7
/proc/12455/stat : 12455 (precosat) D 1 12455 12455 0 -1 4202496 1200085 0 0 0 77281 452 0 0 25 0 1 0 662638936 684662784 156976 33554432000 4194304 4890832 140733806055680 18446744073709551615 4398992 0 16384 16781312 17442 18446744071562154983 0 0 17 0 0 0 38178
/proc/12455/statm: 167154 156976 86 171 0 166981 0
[pid=12456] ppid=12397 vsize=0 CPUtime=1.53 cores=0-7
/proc/12456/stat : 12456 (python) Z 12397 12397 11562 0 -1 4203612 1214 0 0 0 76 77 0 0 18 0 1 0 662638938 0 0 33554432000 0 0 0 0 0 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/12456/statm: 0 0 0 0 0 0 0
[pid=12458] ppid=1 vsize=192368 CPUtime=389.79 cores=0-7
/proc/12458/stat : 12458 (lingeling) T 1 12458 12458 0 -1 4202496 155511 0 0 0 38910 69 0 0 25 0 1 0 662638939 196984832 47262 33554432000 4194304 4352236 140735126473344 18446744073709551615 4268336 0 0 16781312 17506 18446744071562691360 0 0 17 6 0 0 5636
/proc/12458/statm: 48092 47262 129 39 0 47172 0
[pid=12463] ppid=12397 vsize=0 CPUtime=8.35 cores=0-7
/proc/12463/stat : 12463 (python) Z 12397 12397 11562 0 -1 4203612 1193 0 0 0 430 405 0 0 17 0 1 0 662648857 0 0 33554432000 0 0 0 0 0 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 29449
/proc/12463/statm: 0 0 0 0 0 0 0
[pid=12465] ppid=1 vsize=665760 CPUtime=1258.84 cores=0-7
/proc/12465/stat : 12465 (precosat) D 1 12465 12465 0 -1 4194304 1603577 0 0 0 124612 1272 0 0 25 0 1 0 662648858 681738240 156425 33554432000 4194304 4890832 140735340997104 18446744073709551615 4398992 0 16384 16781312 17442 18446744071562154983 0 0 17 7 0 0 139754
/proc/12465/statm: 166440 156425 86 171 0 166267 0
[pid=12469] ppid=12397 vsize=0 CPUtime=9.22 cores=0-7
/proc/12469/stat : 12469 (python) Z 12397 12397 11562 0 -1 4203612 1083 0 9 0 462 460 0 0 16 0 1 0 662658506 0 0 33554432000 0 0 0 0 0 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 30838
/proc/12469/statm: 0 0 0 0 0 0 0
[pid=12471] ppid=1 vsize=2932228 CPUtime=1661.44 cores=0-7
/proc/12471/stat : 12471 (cryptominisat-2) T 1 12471 12471 0 -1 4202496 694341 0 0 0 164975 1169 0 0 25 0 1 0 662658508 3002601472 620411 33554432000 4194304 4677096 140735799668832 18446744073709551615 4319069 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 147341
/proc/12471/statm: 733057 620411 393 118 0 728016 0
[pid=12479] ppid=12397 vsize=0 CPUtime=9.97 cores=0-7
/proc/12479/stat : 12479 (python) Z 12397 12397 11562 0 -1 4203612 1047 0 0 0 479 518 0 0 18 0 1 0 662672135 0 0 33554432000 0 0 0 0 0 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 50210
/proc/12479/statm: 0 0 0 0 0 0 0
[pid=12481] ppid=1 vsize=668952 CPUtime=1837.57 cores=0-7
/proc/12481/stat : 12481 (precosat) D 1 12481 12481 0 -1 4194304 1789136 0 0 0 182235 1522 0 0 25 0 1 0 662672137 685006848 157271 33554432000 4194304 4890832 140734454805152 18446744073709551615 4398992 0 16384 16781312 17442 18446744071562154983 0 0 17 6 0 0 133910
/proc/12481/statm: 167238 157271 86 171 0 167065 0
[pid=12486] ppid=12397 vsize=0 CPUtime=7.82 cores=0-7
/proc/12486/stat : 12486 (python) Z 12397 12397 11562 0 -1 4203612 1060 0 0 0 364 418 0 0 16 0 1 0 662684693 0 0 33554432000 0 0 0 0 0 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 32443
/proc/12486/statm: 0 0 0 0 0 0 0
[pid=12488] ppid=1 vsize=662660 CPUtime=1088.16 cores=0-7
/proc/12488/stat : 12488 (precosat) D 1 12488 12488 0 -1 4194304 1371546 0 0 0 107678 1138 0 0 25 0 1 0 662684694 678563840 155251 33554432000 4194304 4890832 140733324015072 18446744073709551615 4398992 0 16384 16781312 17442 18446744071562154983 0 0 17 2 0 0 135714
/proc/12488/statm: 165665 155251 86 171 0 165492 0
[pid=12496] ppid=12397 vsize=0 CPUtime=2.54 cores=0-7
/proc/12496/stat : 12496 (python) Z 12397 12397 11562 0 -1 4203612 1059 0 0 0 120 134 0 0 18 0 1 0 662711600 0 0 33554432000 0 0 0 0 0 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 23486
/proc/12496/statm: 0 0 0 0 0 0 0
[pid=12498] ppid=1 vsize=290696 CPUtime=198.86 cores=0-7
/proc/12498/stat : 12498 (glucose_static) T 1 12498 12498 0 -1 4202496 69641 0 0 0 19724 162 0 0 25 0 1 0 662711601 297672704 69140 33554432000 134512640 135217611 4287879136 18446744073709551615 134532965 0 0 16781312 8388611 18446744071562691360 0 0 17 6 0 0 68200
/proc/12498/statm: 72674 69140 78 173 0 72499 0
[pid=12512] ppid=12397 vsize=0 CPUtime=8.09 cores=0-7
/proc/12512/stat : 12512 (python) Z 12397 12397 11562 0 -1 4203612 1221 0 0 0 402 407 0 0 15 0 1 0 662730342 0 0 33554432000 0 0 0 0 0 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 16794
/proc/12512/statm: 0 0 0 0 0 0 0
[pid=12519] ppid=1 vsize=0 CPUtime=1445.56 cores=0-7
/proc/12519/stat : 12519 (cryptominisat-2) R 1 12519 12519 0 -1 4203524 621636 0 0 0 143490 1066 0 0 25 0 1 0 662731992 0 0 33554432000 0 0 0 0 0 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 105900
/proc/12519/statm: 0 0 0 0 0 0 0
[pid=12960] ppid=12397 vsize=0 CPUtime=1 cores=0-7
/proc/12960/stat : 12960 (python) Z 12397 12397 11562 0 -1 4203612 1141 0 0 0 50 50 0 0 17 0 1 0 662801460 0 0 33554432000 0 0 0 0 0 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 2049
/proc/12960/statm: 0 0 0 0 0 0 0
[pid=12984] ppid=12397 vsize=0 CPUtime=2.4 cores=0-7
/proc/12984/stat : 12984 (python) Z 12397 12397 11562 0 -1 4203612 1118 0 0 0 114 126 0 0 18 0 1 0 662857617 0 0 33554432000 0 0 0 0 0 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 2970
/proc/12984/statm: 0 0 0 0 0 0 0
[pid=12986] ppid=1 vsize=664208 CPUtime=299.22 cores=0-7
/proc/12986/stat : 12986 (precosat) T 1 12986 12986 0 -1 4202496 737366 0 0 0 29594 328 0 0 25 0 1 0 662857645 680148992 156009 33554432000 4194304 4890832 140735085946064 18446744073709551615 4238599 0 0 16781312 17442 18446744071562691360 0 0 17 6 0 0 32586
/proc/12986/statm: 166052 156009 86 171 0 165879 0
[pid=14327] ppid=12397 vsize=0 CPUtime=0.75 cores=0-7
/proc/14327/stat : 14327 (python) Z 12397 12397 11562 0 -1 4203612 1140 0 0 0 35 40 0 0 15 0 1 0 662969352 0 0 33554432000 0 0 0 0 0 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 491
/proc/14327/statm: 0 0 0 0 0 0 0
[pid=14427] ppid=12397 vsize=0 CPUtime=0.79 cores=0-7
/proc/14427/stat : 14427 (python) Z 12397 12397 11562 0 -1 4203612 1055 0 0 0 37 42 0 0 15 0 1 0 662980251 0 0 33554432000 0 0 0 0 0 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/14427/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 17443.6
Current children cumulated vsize (KiB) 13596176

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12397 and gives
#  childrusage.ru_utime.tv_sec=1442
#  childrusage.ru_utime.tv_usec=98767
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=168366
# CPU time returned by wait4() is 1446.27
# while last known CPU time is 17443.6
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


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

Real time (s): 4838.69
CPU time (s): 17793.6
CPU user time (s): 17626.6
CPU system time (s): 167.01
CPU usage (%): 367.737
Max. virtual memory (cumulated for all children) (KiB): 31775176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1442.1
system time used= 4.16837
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 695248
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= 3766
involuntary context switches= 3823

runsolver used 22.1826 second user time and 55.8515 second system time

The end

Launcher Data 

Begin job on node128 at 2011-05-16 03:26:28
IDJOB=3381207
IDBENCH=84238
IDSOLVER=1864
FILE ID=node128/3381207-1305509184
RUNJOBID= node128-1305500174-11576
PBS_JOBID= 13325453
Free space on /tmp= 73520 MiB

SOLVER NAME= borg-sat 11.03.02-par-industrial (fixed)
BENCH NAME= SAT03/industrial/schuppan/l2s/valves-gates-1-k617-unsat.shuffled-as.sat03-412.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-3381207-1305509184/watcher-3381207-1305509184 -o /tmp/evaluation-result-3381207-1305509184/solver-3381207-1305509184 -C 40000 -W 5100 -M 31000  python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3381207-1305509184.cnf -seed 311868941 -budget 40000 -cores 8

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

MD5SUM BENCH= cb369c4583eb075a3a8cb5a04701e120
RANDOM SEED=311868941

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.75
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.852
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.82
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.852
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.75
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.852
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.82
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.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.82
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.852
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	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:       5914568 kB
Buffers:        296100 kB
Cached:        3350136 kB
SwapCached:       1440 kB
Active:       24513020 kB
Inactive:      2177232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:       5914568 kB
SwapTotal:    67111528 kB
SwapFree:     67093844 kB
Dirty:           95564 kB
Writeback:           0 kB
AnonPages:    23042260 kB
Mapped:          37908 kB
Slab:           195060 kB
PageTables:      79468 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 128531292 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72180 MiB
End job on node128 at 2011-05-16 04:47:09