Trace number 3317862

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-industrial? (MO) 2391.93 1106.08

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
blocks-blocks-37-1.130-NOTKNOWN.cnf
MD5SUMc7a9573eb59580c8d4fc5a3ca880d541
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark454.45
Satisfiable
(Un)Satisfiability was proved
Number of variables559571
Number of clauses10223027
Sum of the clauses size22253097
Maximum clause length1408
Minimum clause length1
Number of clauses of size 11517
Number of clauses of size 29836450
Number of clauses of size 3365560
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 519500

Solver Data 

0.35/0.69	c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle
0.35/0.69	c INFO: solving HOME/instance-3317862-1304268878.cnf
0.35/0.69	c INFO: computing task features
41.03/41.31	c INFO: computed variable-clause graph statistics
42.13/42.48	c INFO: computed clause balance statistics
171.34/171.67	c INFO: computed variable balance statistics
284.24/284.53	c INFO: computed small-clause counts
290.74/291.01	c INFO: computed Horn-clause counts
675.84/676.13	c INFO: computed variable graph statistics
675.84/676.16	c INFO: collected features for HOME/instance-3317862-1304268878.cnf in 673.36 s
675.84/676.18	c INFO: running lingeling-276@0 for 97 with 4124 remaining (b = 0.79)
675.95/676.22	c INFO: running lingeling-276@0 for 485 with 4124 remaining (b = 0.94)
675.95/676.26	c INFO: running precosat-570@0 for 97 with 4124 remaining (b = 0.64)
676.04/676.30	c INFO: running lingeling-276@0 for 97 with 4124 remaining (b = 0.47)
1072.30/775.51	c INFO: running cryptominisat-2.9.0@0 for 1261 with 4025 remaining (b = 0.76)
1074.70/776.39	c INFO: running precosat-570@0 for 194 with 4024 remaining (b = 0.34)
1075.00/776.46	c INFO: running lingeling-276@97 for 291 with 4024 remaining (b = 0.29)
1875.75/976.76	c INFO: running glucosER@0 for 291 with 3823 remaining (b = 0.59)
2255.70/1071.95	c INFO: running lingeling-276@297 for 97 with 3728 remaining (b = 0.30)

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: 935)

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-3317862-1304268878/watcher-3317862-1304268878 -o /tmp/evaluation-result-3317862-1304268878/solver-3317862-1304268878 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3317862-1304268878.cnf -seed 2045410008 -budget 4800 -cores 4 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.62 8.37 6.57 6/206 11387
/proc/meminfo: memFree=26637204/32951124 swapFree=67051468/67111528
[pid=11387] ppid=11385 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/11387/stat : 11387 (python) R 11385 11387 11061 0 -1 4202496 787 0 0 0 0 0 0 0 21 0 1 0 538491156 15753216 676 33554432000 4194304 5683644 140733503216336 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11387/statm: 3846 678 322 364 0 333 0

[startup+0.056262 s]
/proc/loadavg: 8.62 8.37 6.57 6/206 11387
/proc/meminfo: memFree=26637204/32951124 swapFree=67051468/67111528
[pid=11387] ppid=11385 vsize=27352 CPUtime=0.03 cores=0,2,4,6
/proc/11387/stat : 11387 (python) S 11385 11387 11061 0 -1 4202496 1351 0 0 0 3 0 0 0 17 0 1 0 538491156 28008448 1197 33554432000 4194304 5683644 140733503216336 18446744073709551615 218370955264 0 2147483391 16781312 2 18446744071699199166 0 0 17 0 0 0 0
/proc/11387/statm: 6838 1197 440 364 0 725 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 27352

[startup+0.100302 s]
/proc/loadavg: 8.62 8.37 6.57 6/206 11387
/proc/meminfo: memFree=26637204/32951124 swapFree=67051468/67111528
[pid=11387] ppid=11385 vsize=85624 CPUtime=0.05 cores=0,2,4,6
/proc/11387/stat : 11387 (python) R 11385 11387 11061 0 -1 4202496 2628 0 0 0 4 1 0 0 17 0 1 0 538491156 87678976 2348 33554432000 4194304 5683644 140733503216336 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11387/statm: 21406 2348 713 364 0 1623 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85624

[startup+0.300241 s]
/proc/loadavg: 8.62 8.37 6.57 6/206 11387
/proc/meminfo: memFree=26637204/32951124 swapFree=67051468/67111528
[pid=11387] ppid=11385 vsize=135752 CPUtime=0.18 cores=0,2,4,6
/proc/11387/stat : 11387 (python) R 11385 11387 11061 0 -1 4202496 5963 936 1 0 14 4 0 0 17 0 1 0 538491156 139010048 4150 33554432000 4194304 5683644 140733503216336 18446744073709551615 218370953221 0 2147483391 16781312 2 0 0 0 17 0 0 0 0
/proc/11387/statm: 33938 4150 1032 364 0 3124 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 135752

[startup+0.700181 s]
/proc/loadavg: 8.62 8.37 6.57 6/206 11387
/proc/meminfo: memFree=26637204/32951124 swapFree=67051468/67111528
[pid=11387] ppid=11385 vsize=463836 CPUtime=0.43 cores=0,2,4,6
/proc/11387/stat : 11387 (python) R 11385 11387 11061 0 -1 4202496 9505 936 1 0 32 11 0 0 15 0 1 0 538491156 474968064 7187 33554432000 4194304 5683644 140733503216336 18446744073709551615 218370957056 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11387/statm: 115959 7205 1758 364 0 51883 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 463836

[startup+1.50105 s]
/proc/loadavg: 8.62 8.37 6.57 7/207 11392
/proc/meminfo: memFree=26414700/32951124 swapFree=67051468/67111528
[pid=11387] ppid=11385 vsize=507204 CPUtime=1.23 cores=0,2,4,6
/proc/11387/stat : 11387 (python) R 11385 11387 11061 0 -1 4202496 66212 936 1 0 101 22 0 0 16 0 1 0 538491156 519376896 63781 33554432000 4194304 5683644 140733503216336 18446744073709551615 4944081 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11387/statm: 126801 63782 1761 364 0 62725 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 507204

[startup+3.10077 s]
/proc/loadavg: 8.62 8.37 6.57 7/207 11392
/proc/meminfo: memFree=26342284/32951124 swapFree=67051468/67111528
[pid=11387] ppid=11385 vsize=605896 CPUtime=2.83 cores=0,2,4,6
/proc/11387/stat : 11387 (python) R 11385 11387 11061 0 -1 4202496 90111 936 1 0 258 25 0 0 18 0 1 0 538491156 620437504 87680 33554432000 4194304 5683644 140733503216336 18446744073709551615 47730765059469 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11387/statm: 151474 87680 1761 364 0 87398 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 605896

[startup+6.3002 s]
/proc/loadavg: 8.41 8.33 6.57 7/207 11392
/proc/meminfo: memFree=26129580/32951124 swapFree=67051468/67111528
[pid=11387] ppid=11385 vsize=796700 CPUtime=6.03 cores=0,2,4,6
/proc/11387/stat : 11387 (python) R 11385 11387 11061 0 -1 4202496 137537 936 1 0 572 31 0 0 25 0 1 0 538491156 815820800 135106 33554432000 4194304 5683644 140733503216336 18446744073709551615 218370618053 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11387/statm: 199175 135106 1761 364 0 135099 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 796700

[startup+12.7011 s]
/proc/loadavg: 8.22 8.29 6.57 7/207 11393
/proc/meminfo: memFree=25733656/32951124 swapFree=67051468/67111528
[pid=11387] ppid=11385 vsize=1196024 CPUtime=12.43 cores=0,2,4,6
/proc/11387/stat : 11387 (python) R 11385 11387 11061 0 -1 4202496 231825 936 1 0 1199 44 0 0 25 0 1 0 538491156 1224728576 229394 33554432000 4194304 5683644 140733503216336 18446744073709551615 4539747 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11387/statm: 299006 229395 1761 364 0 234930 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 1196024

[startup+25.5008 s]
/proc/loadavg: 7.73 8.18 6.56 7/207 11393
/proc/meminfo: memFree=25007084/32951124 swapFree=67051468/67111528
[pid=11387] ppid=11385 vsize=1941292 CPUtime=25.23 cores=0,2,4,6
/proc/11387/stat : 11387 (python) R 11385 11387 11061 0 -1 4202496 405329 936 1 0 2458 65 0 0 25 0 1 0 538491156 1987883008 402898 33554432000 4194304 5683644 140733503216336 18446744073709551615 47730594384581 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11387/statm: 485323 402899 1761 364 0 421247 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 1941292

[startup+51.1002 s]
/proc/loadavg: 7.21 8.02 6.55 7/207 11394
/proc/meminfo: memFree=25036876/32951124 swapFree=67051468/67111528
[pid=11387] ppid=11385 vsize=1780036 CPUtime=50.83 cores=0,2,4,6
/proc/11387/stat : 11387 (python) R 11385 11387 11061 0 -1 4202496 1226000 936 1 0 4917 166 0 0 25 0 1 0 538491156 1822756864 382393 33554432000 4194304 5683644 140733503216336 18446744073709551615 47730594539536 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11387/statm: 445009 382393 1826 364 0 380933 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 1780036

[startup+102.307 s]
/proc/loadavg: 6.52 7.70 6.52 7/207 11395
/proc/meminfo: memFree=24910908/32951124 swapFree=67051468/67111528
[pid=11387] ppid=11385 vsize=1780036 CPUtime=102.04 cores=0,2,4,6
/proc/11387/stat : 11387 (python) R 11385 11387 11061 0 -1 4202496 1226000 936 1 0 10038 166 0 0 25 0 1 0 538491156 1822756864 382393 33554432000 4194304 5683644 140733503216336 18446744073709551615 4602358 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11387/statm: 445009 382393 1826 364 0 380933 0
Current children cumulated CPU time (s) 102.04
Current children cumulated vsize (KiB) 1780036

[startup+162.301 s]
/proc/loadavg: 6.19 7.39 6.48 7/207 11397
/proc/meminfo: memFree=24918060/32951124 swapFree=67051468/67111528
[pid=11387] ppid=11385 vsize=1780036 CPUtime=162.03 cores=0,2,4,6
/proc/11387/stat : 11387 (python) R 11385 11387 11061 0 -1 4202496 1226000 936 1 0 16037 166 0 0 25 0 1 0 538491156 1822756864 382393 33554432000 4194304 5683644 140733503216336 18446744073709551615 218370613397 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11387/statm: 445009 382393 1826 364 0 380933 0
Current children cumulated CPU time (s) 162.03
Current children cumulated vsize (KiB) 1780036

[startup+222.301 s]
/proc/loadavg: 6.07 7.13 6.45 7/207 11398
/proc/meminfo: memFree=24887740/32951124 swapFree=67051468/67111528
[pid=11387] ppid=11385 vsize=1780036 CPUtime=222.03 cores=0,2,4,6
/proc/11387/stat : 11387 (python) R 11385 11387 11061 0 -1 4202496 1226001 936 1 0 22037 166 0 0 25 0 1 0 538491156 1822756864 382394 33554432000 4194304 5683644 140733503216336 18446744073709551615 47730594458818 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11387/statm: 445009 382394 1827 364 0 380933 0
Current children cumulated CPU time (s) 222.03
Current children cumulated vsize (KiB) 1780036

[startup+282.3 s]
/proc/loadavg: 6.02 6.93 6.42 7/207 11400
/proc/meminfo: memFree=24844280/32951124 swapFree=67051468/67111528
[pid=11387] ppid=11385 vsize=1780036 CPUtime=282.03 cores=0,2,4,6
/proc/11387/stat : 11387 (python) R 11385 11387 11061 0 -1 4202496 1226001 936 1 0 28037 166 0 0 25 0 1 0 538491156 1822756864 382394 33554432000 4194304 5683644 140733503216336 18446744073709551615 4603540 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11387/statm: 445009 382394 1827 364 0 380933 0
Current children cumulated CPU time (s) 282.03
Current children cumulated vsize (KiB) 1780036

[startup+342.301 s]
/proc/loadavg: 6.12 6.79 6.40 7/208 11403
/proc/meminfo: memFree=24770940/32951124 swapFree=67051468/67111528
[pid=11387] ppid=11385 vsize=1780036 CPUtime=342.04 cores=0,2,4,6
/proc/11387/stat : 11387 (python) R 11385 11387 11061 0 -1 4202496 1685248 936 1 0 33984 220 0 0 25 0 1 0 538491156 1822756864 382400 33554432000 4194304 5683644 140733503216336 18446744073709551615 47730594203776 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11387/statm: 445009 382400 1833 364 0 380933 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 1780036

[startup+402.301 s]
/proc/loadavg: 6.09 6.65 6.37 7/212 11417
/proc/meminfo: memFree=24539092/32951124 swapFree=67051468/67111528
[pid=11387] ppid=11385 vsize=1780036 CPUtime=402.04 cores=0,2,4,6
/proc/11387/stat : 11387 (python) R 11385 11387 11061 0 -1 4202496 1685248 936 1 0 39984 220 0 0 25 0 1 0 538491156 1822756864 382400 33554432000 4194304 5683644 140733503216336 18446744073709551615 47730594203776 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11387/statm: 445009 382400 1833 364 0 380933 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 1780036

[startup+462.3 s]
/proc/loadavg: 6.08 6.55 6.35 7/212 11419
/proc/meminfo: memFree=24025536/32951124 swapFree=67051468/67111528
[pid=11387] ppid=11385 vsize=1780036 CPUtime=462.04 cores=0,2,4,6
/proc/11387/stat : 11387 (python) R 11385 11387 11061 0 -1 4202496 1685248 936 1 0 45984 220 0 0 25 0 1 0 538491156 1822756864 382400 33554432000 4194304 5683644 140733503216336 18446744073709551615 47730594203788 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11387/statm: 445009 382400 1833 364 0 380933 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 1780036

[startup+522.301 s]
/proc/loadavg: 6.07 6.46 6.34 7/212 11422
/proc/meminfo: memFree=22451164/32951124 swapFree=67051468/67111528
[pid=11387] ppid=11385 vsize=1780036 CPUtime=522.04 cores=0,2,4,6
/proc/11387/stat : 11387 (python) R 11385 11387 11061 0 -1 4202496 1685248 936 1 0 51984 220 0 0 25 0 1 0 538491156 1822756864 382400 33554432000 4194304 5683644 140733503216336 18446744073709551615 47730594203788 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11387/statm: 445009 382400 1833 364 0 380933 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 1780036

[startup+582.301 s]
/proc/loadavg: 6.06 6.39 6.32 7/212 11425
/proc/meminfo: memFree=21369092/32951124 swapFree=67051468/67111528
[pid=11387] ppid=11385 vsize=1780036 CPUtime=582.04 cores=0,2,4,6
/proc/11387/stat : 11387 (python) R 11385 11387 11061 0 -1 4202496 1685248 936 1 0 57984 220 0 0 25 0 1 0 538491156 1822756864 382400 33554432000 4194304 5683644 140733503216336 18446744073709551615 47730594203776 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11387/statm: 445009 382400 1833 364 0 380933 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 1780036

[startup+642.3 s]

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

Current children cumulated vsize (KiB) 14903144

[startup+1062.3 s]
/proc/loadavg: 9.12 8.32 7.22 10/237 11463
/proc/meminfo: memFree=15957760/32951124 swapFree=67051468/67111528
[pid=11387] ppid=11385 vsize=1181676 CPUtime=676.22 cores=0,2,4,6
/proc/11387/stat : 11387 (python) S 11385 11387 11061 0 -1 4202496 1690337 936 1 0 67383 239 0 0 19 0 8 0 538491156 1210036224 214942 33554432000 4194304 5683644 140733503216336 18446744073709551615 218382783947 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11387/statm: 295419 214942 1888 364 0 231319 0
[pid=11428] ppid=11387 vsize=1120140 CPUtime=0.15 cores=0,2,4,6
/proc/11428/stat : 11428 (python) S 11387 11387 11061 0 -1 4202560 1168 0 0 0 8 7 0 0 19 0 2 0 538558775 1147023360 213445 33554432000 4194304 5683644 140733503216336 18446744073709551615 218382783947 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/11428/statm: 280035 213445 414 364 0 215953 0
[pid=11430] ppid=11428 vsize=197840 CPUtime=100.1 cores=0,2,4,6
/proc/11430/stat : 11430 (lingeling) T 11428 11430 11430 0 -1 4202496 99776 0 0 0 9992 18 0 0 25 0 1 0 538558777 202588160 46659 33554432000 4194304 4352236 140736057284560 18446744073709551615 4278664 0 0 16781312 17506 18446744071562691360 0 0 17 6 0 0 0
/proc/11430/statm: 49460 46659 129 39 0 48540 0
[pid=11428/tid=11447] ppid=11387 vsize=1120140 CPUtime=0 cores=0,2,4,6
/proc/11428/task/11447/stat : 11447 (python) S 11387 11387 11061 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 538568793 1147023360 213445 33554432000 4194304 5683644 140733503216336 18446744073709551615 218382780849 0 0 16781312 514 18446604453941381888 0 0 -1 6 0 0 0
[pid=11431] ppid=11387 vsize=1120152 CPUtime=0.59 cores=0,2,4,6
/proc/11431/stat : 11431 (python) S 11387 11387 11061 0 -1 4202560 1002 0 0 0 30 29 0 0 18 0 1 0 538558779 1147035648 213400 33554432000 4194304 5683644 140733503216336 18446744073709551615 218370977350 0 0 16781312 514 2455394182777241860 0 0 17 6 0 0 0
/proc/11431/statm: 280038 213400 370 364 0 215953 0
[pid=11433] ppid=11431 vsize=204008 CPUtime=386.03 cores=0,2,4,6
/proc/11433/stat : 11433 (lingeling) R 11431 11433 11433 0 -1 4202496 139273 0 0 0 38576 27 0 0 25 0 1 0 538558781 208904192 50172 33554432000 4194304 4352236 140735399505424 18446744073709551615 4234513 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/11433/statm: 51002 50172 129 39 0 50082 0
[pid=11434] ppid=11387 vsize=1130408 CPUtime=0.15 cores=0,2,4,6
/proc/11434/stat : 11434 (python) S 11387 11387 11061 0 -1 4202560 1110 0 0 0 7 8 0 0 19 0 2 0 538558783 1157537792 213434 33554432000 4194304 5683644 140733503216336 18446744073709551615 218382783947 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/11434/statm: 282602 213434 399 364 0 218514 0
[pid=11436] ppid=11434 vsize=1150980 CPUtime=99.99 cores=0,2,4,6
/proc/11436/stat : 11436 (precosat) T 11434 11436 11436 0 -1 4202496 289938 0 0 0 9953 46 0 0 25 0 1 0 538558785 1178603520 280926 33554432000 4194304 4890832 140735978963648 18446744073709551615 4458879 0 0 16781312 17442 18446744071562691360 0 0 17 6 0 0 0
/proc/11436/statm: 287745 280926 86 171 0 287572 0
[pid=11434/tid=11451] ppid=11387 vsize=1130408 CPUtime=0 cores=0,2,4,6
/proc/11434/task/11451/stat : 11451 (python) S 11387 11387 11061 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 538568800 1157537792 213434 33554432000 4194304 5683644 140733503216336 18446744073709551615 218382780849 0 0 16781312 514 18446604453947044800 0 0 -1 0 0 0 0
[pid=11437] ppid=11387 vsize=1140664 CPUtime=0.59 cores=0,2,4,6
/proc/11437/stat : 11437 (python) S 11387 11387 11061 0 -1 4202560 1162 0 0 0 29 30 0 0 18 0 2 0 538558787 1168039936 213438 33554432000 4194304 5683644 140733503216336 18446744073709551615 218370977350 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/11437/statm: 285166 213438 399 364 0 221075 0
[pid=11439] ppid=11437 vsize=202068 CPUtime=381.75 cores=0,2,4,6
/proc/11439/stat : 11439 (lingeling) R 11437 11439 11439 0 -1 4202496 102810 0 0 0 38156 19 0 0 25 0 1 0 538558789 206917632 49687 33554432000 4194304 4352236 140736380345072 18446744073709551615 4278730 0 0 16781312 17506 0 0 0 17 2 0 0 0
/proc/11439/statm: 50517 49687 129 39 0 49597 0
[pid=11437/tid=11443] ppid=11387 vsize=1140664 CPUtime=0 cores=0,2,4,6
/proc/11437/task/11443/stat : 11443 (python) S 11387 11387 11061 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 538568705 1168039936 213438 33554432000 4194304 5683644 140733503216336 18446744073709551615 218382780849 0 0 16781312 514 18446604453934441408 0 0 -1 6 0 0 0
[pid=11444] ppid=11387 vsize=1150920 CPUtime=0.46 cores=0,2,4,6
/proc/11444/stat : 11444 (python) S 11387 11387 11061 0 -1 4202560 1016 0 0 0 24 22 0 0 15 0 1 0 538568707 1178542080 213412 33554432000 4194304 5683644 140733503216336 18446744073709551615 218370977350 0 0 16781312 514 1850227385190809860 0 0 17 4 0 0 0
/proc/11444/statm: 287730 213412 370 364 0 223636 0
[pid=11446] ppid=11444 vsize=2875008 CPUtime=286.25 cores=0,2,4,6
/proc/11446/stat : 11446 (cryptominisat-2) R 11444 11446 11446 0 -1 4202496 600892 0 0 0 28535 90 0 0 25 0 1 0 538568710 2944008192 542257 33554432000 4194304 4677096 140735026117568 18446744073709551615 4343110 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/11446/statm: 718752 542257 391 118 0 713711 0
[pid=11448] ppid=11387 vsize=1161176 CPUtime=0.31 cores=0,2,4,6
/proc/11448/stat : 11448 (python) S 11387 11387 11061 0 -1 4202560 1161 0 0 0 15 16 0 0 19 0 2 0 538568795 1189044224 213446 33554432000 4194304 5683644 140733503216336 18446744073709551615 218382783947 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/11448/statm: 290294 213446 399 364 0 226197 0
[pid=11450] ppid=11448 vsize=1148964 CPUtime=200.3 cores=0,2,4,6
/proc/11450/stat : 11450 (precosat) T 11448 11450 11450 0 -1 4202496 289443 0 0 0 19987 43 0 0 25 0 1 0 538568798 1176539136 280431 33554432000 4194304 4890832 140734189600208 18446744073709551615 4229307 0 0 16781312 17442 18446744071562691360 0 0 17 2 0 0 0
/proc/11450/statm: 287241 280431 86 171 0 287068 0
[pid=11448/tid=11457] ppid=11387 vsize=1161176 CPUtime=0 cores=0,2,4,6
/proc/11448/task/11457/stat : 11457 (python) S 11387 11387 11061 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 538588830 1189044224 213446 33554432000 4194304 5683644 140733503216336 18446744073709551615 218382780849 0 0 16781312 514 18446604453985334208 0 0 -1 2 0 0 0
[pid=11458] ppid=11387 vsize=1171432 CPUtime=0.14 cores=0,2,4,6
/proc/11458/stat : 11458 (python) S 11387 11387 11061 0 -1 4202560 954 0 0 0 7 7 0 0 18 0 1 0 538588832 1199546368 213420 33554432000 4194304 5683644 140733503216336 18446744073709551615 218370977350 0 0 16781312 514 2455394182777241860 0 0 17 6 0 0 0
/proc/11458/statm: 292858 213420 370 364 0 228758 0
[pid=11460] ppid=11458 vsize=609388 CPUtime=84.38 cores=0,2,4,6
/proc/11460/stat : 11460 (glucoser_static) R 11458 11460 11460 0 -1 4202496 140411 0 14 0 8414 24 0 0 25 0 1 0 538588835 624013312 140145 33554432000 134512640 134580299 4291154112 18446744073709551615 134548657 0 0 16781312 8388611 0 0 0 17 6 0 0 13
/proc/11460/statm: 152347 140145 242 17 0 151675 0
[pid=11387/tid=11429] ppid=11385 vsize=1181676 CPUtime=0 cores=0,2,4,6
/proc/11387/task/11429/stat : 11429 (python) S 11385 11387 11061 0 -1 4202560 24 936 0 0 0 0 0 0 18 0 8 0 538558777 1210036224 214942 33554432000 4194304 5683644 140733503216336 18446744073709551615 218382780849 0 0 16781312 2 18446604453939755840 0 0 -1 4 0 0 0
[pid=11387/tid=11432] ppid=11385 vsize=1181676 CPUtime=0 cores=0,2,4,6
/proc/11387/task/11432/stat : 11432 (python) S 11385 11387 11061 0 -1 4202560 21 936 0 0 0 0 0 0 25 0 8 0 538558781 1210036224 214942 33554432000 4194304 5683644 140733503216336 18446744073709551615 218382780849 0 0 16781312 2 18446604453939755840 0 0 -1 2 0 0 0
[pid=11387/tid=11435] ppid=11385 vsize=1181676 CPUtime=0 cores=0,2,4,6
/proc/11387/task/11435/stat : 11435 (python) S 11385 11387 11061 0 -1 4202560 33 936 0 0 0 0 0 0 20 0 8 0 538558785 1210036224 214942 33554432000 4194304 5683644 140733503216336 18446744073709551615 218382780849 0 0 16781312 2 18446604453939755840 0 0 -1 6 0 0 0
[pid=11387/tid=11438] ppid=11385 vsize=1181676 CPUtime=0 cores=0,2,4,6
/proc/11387/task/11438/stat : 11438 (python) S 11385 11387 11061 0 -1 4202560 32 936 0 0 0 0 0 0 18 0 8 0 538558789 1210036224 214942 33554432000 4194304 5683644 140733503216336 18446744073709551615 218382780849 0 0 16781312 2 18446604453939755840 0 0 -1 6 0 0 0
[pid=11387/tid=11445] ppid=11385 vsize=1181676 CPUtime=0 cores=0,2,4,6
/proc/11387/task/11445/stat : 11445 (python) S 11385 11387 11061 0 -1 4202560 26 936 0 0 0 0 0 0 20 0 8 0 538568710 1210036224 214942 33554432000 4194304 5683644 140733503216336 18446744073709551615 218382780849 0 0 16781312 2 18446604453939755840 0 0 -1 6 0 0 0
[pid=11387/tid=11449] ppid=11385 vsize=1181676 CPUtime=0 cores=0,2,4,6
/proc/11387/task/11449/stat : 11449 (python) S 11385 11387 11061 0 -1 4202560 27 936 0 0 0 0 0 0 20 0 8 0 538568798 1210036224 214942 33554432000 4194304 5683644 140733503216336 18446744073709551615 218382780849 0 0 16781312 2 18446604453939755840 0 0 -1 6 0 0 0
[pid=11387/tid=11459] ppid=11385 vsize=1181676 CPUtime=0 cores=0,2,4,6
/proc/11387/task/11459/stat : 11459 (python) S 11385 11387 11061 0 -1 4202560 28 936 0 0 0 0 0 0 20 0 8 0 538588835 1210036224 214942 33554432000 4194304 5683644 140733503216336 18446744073709551615 218382780849 0 0 16781312 2 18446604453939755840 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2217.41
Current children cumulated vsize (KiB) 15564824



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1106 s]
/proc/loadavg: 9.24 8.46 7.32 11/241 11468
/proc/meminfo: memFree=15106908/32951124 swapFree=67051468/67111528
[pid=11387] ppid=11385 vsize=1181676 CPUtime=676.24 cores=0,2,4,6
/proc/11387/stat : 11387 (python) S 11385 11387 11061 0 -1 4202496 1690851 936 1 0 67385 239 0 0 18 0 8 0 538491156 1210036224 214942 33554432000 4194304 5683644 140733503216336 18446744073709551615 218382783947 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11387/statm: 295419 214942 1888 364 0 231319 0
[pid=11428] ppid=11387 vsize=1120140 CPUtime=0.15 cores=0,2,4,6
/proc/11428/stat : 11428 (python) S 11387 11387 11061 0 -1 4202560 1168 0 0 0 8 7 0 0 19 0 2 0 538558775 1147023360 213445 33554432000 4194304 5683644 140733503216336 18446744073709551615 218382783947 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/11428/statm: 280035 213445 414 364 0 215953 0
[pid=11430] ppid=11428 vsize=197840 CPUtime=100.1 cores=0,2,4,6
/proc/11430/stat : 11430 (lingeling) T 11428 11430 11430 0 -1 4202496 99776 0 0 0 9992 18 0 0 25 0 1 0 538558777 202588160 46659 33554432000 4194304 4352236 140736057284560 18446744073709551615 4278664 0 0 16781312 17506 18446744071562691360 0 0 17 6 0 0 0
/proc/11430/statm: 49460 46659 129 39 0 48540 0
[pid=11428/tid=11447] ppid=11387 vsize=1120140 CPUtime=0 cores=0,2,4,6
/proc/11428/task/11447/stat : 11447 (python) S 11387 11387 11061 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 538568793 1147023360 213445 33554432000 4194304 5683644 140733503216336 18446744073709551615 218382780849 0 0 16781312 514 18446604453941381888 0 0 -1 6 0 0 0
[pid=11431] ppid=11387 vsize=1120152 CPUtime=0.65 cores=0,2,4,6
/proc/11431/stat : 11431 (python) S 11387 11387 11061 0 -1 4202560 1002 0 0 0 33 32 0 0 18 0 1 0 538558779 1147035648 213400 33554432000 4194304 5683644 140733503216336 18446744073709551615 218370977350 0 0 16781312 514 2455394182777241860 0 0 17 6 0 0 0
/proc/11431/statm: 280038 213400 370 364 0 215953 0
[pid=11433] ppid=11431 vsize=204004 CPUtime=429.73 cores=0,2,4,6
/proc/11433/stat : 11433 (lingeling) R 11431 11433 11433 0 -1 4202496 139273 0 0 0 42946 27 0 0 25 0 1 0 538558781 208900096 50171 33554432000 4194304 4352236 140735399505424 18446744073709551615 4207615 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/11433/statm: 51001 50171 129 39 0 50081 0
[pid=11434] ppid=11387 vsize=1130408 CPUtime=0.15 cores=0,2,4,6
/proc/11434/stat : 11434 (python) S 11387 11387 11061 0 -1 4202560 1110 0 0 0 7 8 0 0 19 0 2 0 538558783 1157537792 213434 33554432000 4194304 5683644 140733503216336 18446744073709551615 218382783947 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/11434/statm: 282602 213434 399 364 0 218514 0
[pid=11436] ppid=11434 vsize=1150980 CPUtime=99.99 cores=0,2,4,6
/proc/11436/stat : 11436 (precosat) T 11434 11436 11436 0 -1 4202496 289938 0 0 0 9953 46 0 0 25 0 1 0 538558785 1178603520 280926 33554432000 4194304 4890832 140735978963648 18446744073709551615 4458879 0 0 16781312 17442 18446744071562691360 0 0 17 6 0 0 0
/proc/11436/statm: 287745 280926 86 171 0 287572 0
[pid=11434/tid=11451] ppid=11387 vsize=1130408 CPUtime=0 cores=0,2,4,6
/proc/11434/task/11451/stat : 11451 (python) S 11387 11387 11061 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 538568800 1157537792 213434 33554432000 4194304 5683644 140733503216336 18446744073709551615 218382780849 0 0 16781312 514 18446604453947044800 0 0 -1 0 0 0 0
[pid=11437] ppid=11387 vsize=1140664 CPUtime=0.65 cores=0,2,4,6
/proc/11437/stat : 11437 (python) S 11387 11387 11061 0 -1 4202560 1162 0 0 0 32 33 0 0 18 0 2 0 538558787 1168039936 213438 33554432000 4194304 5683644 140733503216336 18446744073709551615 218370977350 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/11437/statm: 285166 213438 399 364 0 221075 0
[pid=11439] ppid=11437 vsize=202068 CPUtime=425.06 cores=0,2,4,6
/proc/11439/stat : 11439 (lingeling) R 11437 11439 11439 0 -1 4202496 102810 0 0 0 42487 19 0 0 25 0 1 0 538558789 206917632 49687 33554432000 4194304 4352236 140736380345072 18446744073709551615 4278712 0 0 16781312 17506 0 0 0 17 6 0 0 0
/proc/11439/statm: 50517 49687 129 39 0 49597 0
[pid=11437/tid=11443] ppid=11387 vsize=1140664 CPUtime=0 cores=0,2,4,6
/proc/11437/task/11443/stat : 11443 (python) S 11387 11387 11061 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 2 0 538568705 1168039936 213438 33554432000 4194304 5683644 140733503216336 18446744073709551615 218382780849 0 0 16781312 514 18446604453934441408 0 0 -1 6 0 0 0
[pid=11444] ppid=11387 vsize=1150920 CPUtime=0.53 cores=0,2,4,6
/proc/11444/stat : 11444 (python) S 11387 11387 11061 0 -1 4202560 1016 0 0 0 28 25 0 0 15 0 1 0 538568707 1178542080 213412 33554432000 4194304 5683644 140733503216336 18446744073709551615 218370977350 0 0 16781312 514 2455394182777241860 0 0 17 4 0 0 0
/proc/11444/statm: 287730 213412 370 364 0 223636 0
[pid=11446] ppid=11444 vsize=3185752 CPUtime=329.88 cores=0,2,4,6
/proc/11446/stat : 11446 (cryptominisat-2) R 11444 11446 11446 0 -1 4202496 689878 0 0 0 32887 101 0 0 25 0 1 0 538568710 3262210048 613408 33554432000 4194304 4677096 140735026117568 18446744073709551615 4319836 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/11446/statm: 796438 613408 391 118 0 791397 0
[pid=11448] ppid=11387 vsize=1161176 CPUtime=0.31 cores=0,2,4,6
/proc/11448/stat : 11448 (python) S 11387 11387 11061 0 -1 4202560 1161 0 0 0 15 16 0 0 19 0 2 0 538568795 1189044224 213446 33554432000 4194304 5683644 140733503216336 18446744073709551615 218382783947 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/11448/statm: 290294 213446 399 364 0 226197 0
[pid=11450] ppid=11448 vsize=1148964 CPUtime=200.3 cores=0,2,4,6
/proc/11450/stat : 11450 (precosat) T 11448 11450 11450 0 -1 4202496 289443 0 0 0 19987 43 0 0 25 0 1 0 538568798 1176539136 280431 33554432000 4194304 4890832 140734189600208 18446744073709551615 4229307 0 0 16781312 17442 18446744071562691360 0 0 17 2 0 0 0
/proc/11450/statm: 287241 280431 86 171 0 287068 0
[pid=11448/tid=11457] ppid=11387 vsize=1161176 CPUtime=0 cores=0,2,4,6
/proc/11448/task/11457/stat : 11457 (python) S 11387 11387 11061 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 538588830 1189044224 213446 33554432000 4194304 5683644 140733503216336 18446744073709551615 218382780849 0 0 16781312 514 18446604453985334208 0 0 -1 2 0 0 0
[pid=11458] ppid=11387 vsize=1171432 CPUtime=0.21 cores=0,2,4,6
/proc/11458/stat : 11458 (python) S 11387 11387 11061 0 -1 4202560 968 0 0 0 11 10 0 0 18 0 1 0 538588832 1199546368 213420 33554432000 4194304 5683644 140733503216336 18446744073709551615 218370977350 0 0 16781312 514 2455394182777241860 0 0 17 6 0 0 0
/proc/11458/statm: 292858 213420 370 364 0 228758 0
[pid=11460] ppid=11458 vsize=609528 CPUtime=127.98 cores=0,2,4,6
/proc/11460/stat : 11460 (glucoser_static) R 11458 11460 11460 0 -1 4202496 140450 0 14 0 12774 24 0 0 25 0 1 0 538588835 624156672 140184 33554432000 134512640 134580299 4291154112 18446744073709551615 134543208 0 0 16781312 8388611 0 0 0 17 2 0 0 13
/proc/11460/statm: 152382 140184 242 17 0 151710 0
[pid=11387/tid=11429] ppid=11385 vsize=1181676 CPUtime=0 cores=0,2,4,6
/proc/11387/task/11429/stat : 11429 (python) S 11385 11387 11061 0 -1 4202560 24 936 0 0 0 0 0 0 18 0 8 0 538558777 1210036224 214942 33554432000 4194304 5683644 140733503216336 18446744073709551615 218382780849 0 0 16781312 2 18446604453939755840 0 0 -1 4 0 0 0
[pid=11387/tid=11432] ppid=11385 vsize=1181676 CPUtime=0 cores=0,2,4,6
/proc/11387/task/11432/stat : 11432 (python) S 11385 11387 11061 0 -1 4202560 21 936 0 0 0 0 0 0 25 0 8 0 538558781 1210036224 214942 33554432000 4194304 5683644 140733503216336 18446744073709551615 218382780849 0 0 16781312 2 18446604453939755840 0 0 -1 2 0 0 0
[pid=11387/tid=11435] ppid=11385 vsize=1181676 CPUtime=0 cores=0,2,4,6
/proc/11387/task/11435/stat : 11435 (python) S 11385 11387 11061 0 -1 4202560 33 936 0 0 0 0 0 0 20 0 8 0 538558785 1210036224 214942 33554432000 4194304 5683644 140733503216336 18446744073709551615 218382780849 0 0 16781312 2 18446604453939755840 0 0 -1 6 0 0 0
[pid=11387/tid=11438] ppid=11385 vsize=1181676 CPUtime=0 cores=0,2,4,6
/proc/11387/task/11438/stat : 11438 (python) S 11385 11387 11061 0 -1 4202560 38 936 0 0 0 0 0 0 15 0 8 0 538558789 1210036224 214942 33554432000 4194304 5683644 140733503216336 18446744073709551615 218382780849 0 0 16781312 2 18446604453939755840 0 0 -1 6 0 0 0
[pid=11387/tid=11445] ppid=11385 vsize=1181676 CPUtime=0 cores=0,2,4,6
/proc/11387/task/11445/stat : 11445 (python) S 11385 11387 11061 0 -1 4202560 26 936 0 0 0 0 0 0 20 0 8 0 538568710 1210036224 214942 33554432000 4194304 5683644 140733503216336 18446744073709551615 218382780849 0 0 16781312 2 18446604453939755840 0 0 -1 6 0 0 0
[pid=11387/tid=11449] ppid=11385 vsize=1181676 CPUtime=0 cores=0,2,4,6
/proc/11387/task/11449/stat : 11449 (python) S 11385 11387 11061 0 -1 4202560 27 936 0 0 0 0 0 0 20 0 8 0 538568798 1210036224 214942 33554432000 4194304 5683644 140733503216336 18446744073709551615 218382780849 0 0 16781312 2 18446604453939755840 0 0 -1 6 0 0 0
[pid=11387/tid=11459] ppid=11385 vsize=1181676 CPUtime=0 cores=0,2,4,6
/proc/11387/task/11459/stat : 11459 (python) S 11385 11387 11061 0 -1 4202560 28 936 0 0 0 0 0 0 20 0 8 0 538588835 1210036224 214942 33554432000 4194304 5683644 140733503216336 18446744073709551615 218382780849 0 0 16781312 2 18446604453939755840 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2391.93
Current children cumulated vsize (KiB) 15875704

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 11387 and gives
#  childrusage.ru_utime.tv_sec=673
#  childrusage.ru_utime.tv_usec=858557
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=415632
# CPU time returned by wait4() is 676.274
# while last known CPU time is 2391.93
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1106.08
CPU time (s): 2391.93
CPU user time (s): 2385.45
CPU system time (s): 6.48
CPU usage (%): 216.253
Max. virtual memory (cumulated for all children) (KiB): 15875704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 673.859
system time used= 2.41563
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1691791
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= 2961
involuntary context switches= 1422

runsolver used 1.9707 second user time and 4.49332 second system time

The end

Launcher Data 

Begin job on node101 at 2011-05-01 18:54:44
IDJOB=3317862
IDBENCH=82399
IDSOLVER=1706
FILE ID=node101/3317862-1304268878
RUNJOBID= node101-1304267295-11079
PBS_JOBID= 13173977
Free space on /tmp= 72036 MiB

SOLVER NAME= borg-sat 11.03.02-industrial
BENCH NAME= SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.130-NOTKNOWN.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-3317862-1304268878/watcher-3317862-1304268878 -o /tmp/evaluation-result-3317862-1304268878/solver-3317862-1304268878 -C 4800 -W 1300 -M 15500  python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3317862-1304268878.cnf -seed 2045410008 -budget 4800 -cores 4

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= c7a9573eb59580c8d4fc5a3ca880d541
RANDOM SEED=2045410008

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26637484 kB
Buffers:        218536 kB
Cached:        1425680 kB
SwapCached:      23360 kB
Active:        4775168 kB
Inactive:      1233960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26637484 kB
SwapTotal:    67111528 kB
SwapFree:     67051468 kB
Dirty:          217656 kB
Writeback:           0 kB
AnonPages:     4362836 kB
Mapped:          18260 kB
Slab:           224192 kB
PageTables:      19088 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  5671512 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72004 MiB
End job on node101 at 2011-05-01 19:13:12