Trace number 3373589

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
claspmt 2.0-R4095-patched (fixed)? (TO) 4802.71 1205.45

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf
MD5SUM4ab53801f3b1a3f7169c9fb38cba4184
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables171676
Number of clauses870241
Sum of the clauses size2069671
Maximum clause length63
Minimum clause length1
Number of clauses of size 1211
Number of clauses of size 2859140
Number of clauses of size 32700
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 58190

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...420864/instance-3373589-1305420864.cnf
1.00/1.03	c Solving...
4800.32/1203.21	
4800.32/1203.21	*** INTERRUPTED! ***
4800.32/1203.21	*** Shutting down threads...

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-3373589-1305420864/watcher-3373589-1305420864 -o /tmp/evaluation-result-3373589-1305420864/solver-3373589-1305420864 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373589-1305420864.cnf 

running on 4 cores: 1,3,5,7

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.13 8.09 7.88 1/236 10091
/proc/meminfo: memFree=24270912/32951124 swapFree=61559568/67111528
[pid=10091] ppid=10089 vsize=42672 CPUtime=0 cores=1,3,5,7
/proc/10091/stat : 10091 (claspmt) R 10089 10091 9986 0 -1 4202496 1011 0 0 0 0 0 0 0 25 0 1 0 653687172 43696128 942 33554432000 4194304 4964800 140734499618544 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10091/statm: 10668 950 375 189 0 5542 0

[startup+0.0683711 s]
/proc/loadavg: 8.13 8.09 7.88 1/236 10091
/proc/meminfo: memFree=24270912/32951124 swapFree=61559568/67111528
[pid=10091] ppid=10089 vsize=57156 CPUtime=0.06 cores=1,3,5,7
/proc/10091/stat : 10091 (claspmt) R 10089 10091 9986 0 -1 4202496 10928 0 0 0 5 1 0 0 25 0 1 0 653687172 58527744 9347 33554432000 4194304 4964800 140734499618544 18446744073709551615 222921776896 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10091/statm: 14289 9348 388 189 0 9163 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 57156

[startup+0.100379 s]
/proc/loadavg: 8.13 8.09 7.88 1/236 10091
/proc/meminfo: memFree=24270912/32951124 swapFree=61559568/67111528
[pid=10091] ppid=10089 vsize=61888 CPUtime=0.09 cores=1,3,5,7
/proc/10091/stat : 10091 (claspmt) R 10089 10091 9986 0 -1 4202496 12211 0 0 0 8 1 0 0 25 0 1 0 653687172 63373312 10329 33554432000 4194304 4964800 140734499618544 18446744073709551615 222921474517 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10091/statm: 15472 10350 388 189 0 10346 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 61888

[startup+0.300331 s]
/proc/loadavg: 8.13 8.09 7.88 1/236 10091
/proc/meminfo: memFree=24270912/32951124 swapFree=61559568/67111528
[pid=10091] ppid=10089 vsize=96904 CPUtime=0.29 cores=1,3,5,7
/proc/10091/stat : 10091 (claspmt) R 10089 10091 9986 0 -1 4202496 24873 0 0 0 26 3 0 0 25 0 1 0 653687172 99229696 19075 33554432000 4194304 4964800 140734499618544 18446744073709551615 4617330 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10091/statm: 24226 19076 398 189 0 19100 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 96904

[startup+0.700256 s]
/proc/loadavg: 8.13 8.09 7.88 1/236 10091
/proc/meminfo: memFree=24270912/32951124 swapFree=61559568/67111528
[pid=10091] ppid=10089 vsize=109412 CPUtime=0.69 cores=1,3,5,7
/proc/10091/stat : 10091 (claspmt) R 10089 10091 9986 0 -1 4202496 27839 0 0 0 65 4 0 0 25 0 1 0 653687172 112037888 22041 33554432000 4194304 4964800 140734499618544 18446744073709551615 222921437893 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/10091/statm: 27353 22041 403 189 0 22227 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 109412

[startup+1.50108 s]
/proc/loadavg: 7.64 7.99 7.85 3/236 10113
/proc/meminfo: memFree=24152776/32951124 swapFree=61559568/67111528
[pid=10091] ppid=10089 vsize=271384 CPUtime=2.81 cores=1,3,5,7
/proc/10091/stat : 10091 (claspmt) R 10089 10091 9986 0 -1 4202496 45045 0 0 0 274 7 0 0 25 0 4 0 653687172 277897216 32091 33554432000 4194304 4964800 140734499618544 18446744073709551615 4668568 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/10091/statm: 67846 32092 458 189 0 62195 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 271384

[startup+3.10078 s]
/proc/loadavg: 7.64 7.99 7.85 6/242 10122
/proc/meminfo: memFree=24025960/32951124 swapFree=61559568/67111528
[pid=10091] ppid=10089 vsize=277252 CPUtime=9.19 cores=1,3,5,7
/proc/10091/stat : 10091 (claspmt) R 10089 10091 9986 0 -1 4202496 55784 0 0 0 903 16 0 0 18 0 4 0 653687172 283906048 42830 33554432000 4194304 4964800 140734499618544 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/10091/statm: 69313 42830 458 189 0 63662 0
[pid=10091/tid=10114] ppid=10089 vsize=277252 CPUtime=2.03 cores=1,3,5,7
/proc/10091/task/10114/stat : 10114 (claspmt) R 10089 10091 9986 0 -1 4202560 6926 0 0 0 202 1 0 0 21 0 4 0 653687275 283906048 42830 33554432000 4194304 4964800 140734499618544 18446744073709551615 4343166 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10091/tid=10115] ppid=10089 vsize=277252 CPUtime=2.05 cores=1,3,5,7
/proc/10091/task/10115/stat : 10115 (claspmt) R 10089 10091 9986 0 -1 4202560 10308 0 0 0 201 4 0 0 25 0 4 0 653687275 283906048 42830 33554432000 4194304 4964800 140734499618544 18446744073709551615 222921438241 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10091/tid=10116] ppid=10089 vsize=277252 CPUtime=2.04 cores=1,3,5,7
/proc/10091/task/10116/stat : 10116 (claspmt) R 10089 10091 9986 0 -1 4202560 8269 0 0 0 201 3 0 0 18 0 4 0 653687275 283906048 42830 33554432000 4194304 4964800 140734499618544 18446744073709551615 4343846 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 9.19
Current children cumulated vsize (KiB) 277252

[startup+6.3012 s]
/proc/loadavg: 7.75 8.00 7.86 10/245 10125
/proc/meminfo: memFree=23732068/32951124 swapFree=61559568/67111528
[pid=10091] ppid=10089 vsize=312396 CPUtime=21.96 cores=1,3,5,7
/proc/10091/stat : 10091 (claspmt) R 10089 10091 9986 0 -1 4202496 77300 0 0 0 2169 27 0 0 25 0 4 0 653687172 319893504 64346 33554432000 4194304 4964800 140734499618544 18446744073709551615 4669479 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/10091/statm: 78099 64346 458 189 0 72448 0
[pid=10091/tid=10114] ppid=10089 vsize=312396 CPUtime=5.22 cores=1,3,5,7
/proc/10091/task/10114/stat : 10114 (claspmt) R 10089 10091 9986 0 -1 4202560 10020 0 0 0 519 3 0 0 21 0 4 0 653687275 319893504 64346 33554432000 4194304 4964800 140734499618544 18446744073709551615 4370229 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10091/tid=10115] ppid=10089 vsize=312396 CPUtime=5.24 cores=1,3,5,7
/proc/10091/task/10115/stat : 10115 (claspmt) R 10089 10091 9986 0 -1 4202560 19997 0 0 0 516 8 0 0 25 0 4 0 653687275 319893504 64346 33554432000 4194304 4964800 140734499618544 18446744073709551615 4362944 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10091/tid=10116] ppid=10089 vsize=312396 CPUtime=5.21 cores=1,3,5,7
/proc/10091/task/10116/stat : 10116 (claspmt) R 10089 10091 9986 0 -1 4202560 13663 0 0 0 516 5 0 0 25 0 4 0 653687275 319893504 64346 33554432000 4194304 4964800 140734499618544 18446744073709551615 4363459 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 21.96
Current children cumulated vsize (KiB) 312396

[startup+12.701 s]
/proc/loadavg: 7.77 8.00 7.86 9/245 10125
/proc/meminfo: memFree=23537660/32951124 swapFree=61559568/67111528
[pid=10091] ppid=10089 vsize=536024 CPUtime=47.49 cores=1,3,5,7
/proc/10091/stat : 10091 (claspmt) R 10089 10091 9986 0 -1 4202496 120093 0 0 0 4709 40 0 0 18 0 4 0 653687172 548888576 107139 33554432000 4194304 4964800 140734499618544 18446744073709551615 4660157 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/10091/statm: 134006 107139 458 189 0 128355 0
[pid=10091/tid=10114] ppid=10089 vsize=536024 CPUtime=11.63 cores=1,3,5,7
/proc/10091/task/10114/stat : 10114 (claspmt) R 10089 10091 9986 0 -1 4202560 16276 0 0 0 1158 5 0 0 25 0 4 0 653687275 548888576 107139 33554432000 4194304 4964800 140734499618544 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10091/tid=10115] ppid=10089 vsize=536024 CPUtime=11.65 cores=1,3,5,7
/proc/10091/task/10115/stat : 10115 (claspmt) R 10089 10091 9986 0 -1 4202560 37254 0 0 0 1152 13 0 0 25 0 4 0 653687275 548888576 107139 33554432000 4194304 4964800 140734499618544 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10091/tid=10116] ppid=10089 vsize=536024 CPUtime=11.57 cores=1,3,5,7
/proc/10091/task/10116/stat : 10116 (claspmt) R 10089 10091 9986 0 -1 4202560 20360 0 0 0 1149 8 0 0 25 0 4 0 653687275 548888576 107139 33554432000 4194304 4964800 140734499618544 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 47.49
Current children cumulated vsize (KiB) 536024

[startup+25.5007 s]
/proc/loadavg: 7.80 8.00 7.86 9/245 10126
/proc/meminfo: memFree=23241740/32951124 swapFree=61559568/67111528
[pid=10091] ppid=10089 vsize=749860 CPUtime=98.59 cores=1,3,5,7
/proc/10091/stat : 10091 (claspmt) R 10089 10091 9986 0 -1 4202496 183452 0 0 0 9796 63 0 0 25 0 4 0 653687172 767856640 170498 33554432000 4194304 4964800 140734499618544 18446744073709551615 4684040 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/10091/statm: 187465 170498 460 189 0 181814 0
[pid=10091/tid=10114] ppid=10089 vsize=749860 CPUtime=24.42 cores=1,3,5,7
/proc/10091/task/10114/stat : 10114 (claspmt) R 10089 10091 9986 0 -1 4202560 29199 0 0 0 2433 9 0 0 25 0 4 0 653687275 767856640 170498 33554432000 4194304 4964800 140734499618544 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10091/tid=10115] ppid=10089 vsize=749860 CPUtime=24.45 cores=1,3,5,7
/proc/10091/task/10115/stat : 10115 (claspmt) R 10089 10091 9986 0 -1 4202560 54602 0 0 0 2427 18 0 0 25 0 4 0 653687275 767856640 170498 33554432000 4194304 4964800 140734499618544 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10091/tid=10116] ppid=10089 vsize=749860 CPUtime=24.27 cores=1,3,5,7
/proc/10091/task/10116/stat : 10116 (claspmt) R 10089 10091 9986 0 -1 4202560 34309 0 0 0 2414 13 0 0 21 0 4 0 653687275 767856640 170501 33554432000 4194304 4964800 140734499618544 18446744073709551615 4332566 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 98.59
Current children cumulated vsize (KiB) 749860

[startup+51.101 s]
/proc/loadavg: 7.95 8.02 7.87 9/245 10126
/proc/meminfo: memFree=22731976/32951124 swapFree=61559568/67111528
[pid=10091] ppid=10089 vsize=1268836 CPUtime=200.81 cores=1,3,5,7
/proc/10091/stat : 10091 (claspmt) R 10089 10091 9986 0 -1 4202496 292496 0 0 0 19979 102 0 0 25 0 4 0 653687172 1299288064 279542 33554432000 4194304 4964800 140734499618544 18446744073709551615 4342920 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/10091/statm: 317209 279542 460 189 0 311558 0
[pid=10091/tid=10114] ppid=10089 vsize=1268836 CPUtime=50.02 cores=1,3,5,7
/proc/10091/task/10114/stat : 10114 (claspmt) R 10089 10091 9986 0 -1 4202560 56887 0 0 0 4982 20 0 0 25 0 4 0 653687275 1299288064 279542 33554432000 4194304 4964800 140734499618544 18446744073709551615 4321272 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10091/tid=10115] ppid=10089 vsize=1268836 CPUtime=50.04 cores=1,3,5,7
/proc/10091/task/10115/stat : 10115 (claspmt) R 10089 10091 9986 0 -1 4202560 80683 0 0 0 4981 23 0 0 25 0 4 0 653687275 1299288064 279542 33554432000 4194304 4964800 140734499618544 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10091/tid=10116] ppid=10089 vsize=1268836 CPUtime=49.68 cores=1,3,5,7
/proc/10091/task/10116/stat : 10116 (claspmt) R 10089 10091 9986 0 -1 4202560 55877 0 0 0 4946 22 0 0 25 0 4 0 653687275 1299288064 279542 33554432000 4194304 4964800 140734499618544 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 200.81
Current children cumulated vsize (KiB) 1268836

[startup+102.309 s]
/proc/loadavg: 8.05 8.03 7.88 9/245 10128
/proc/meminfo: memFree=21834860/32951124 swapFree=61559568/67111528
[pid=10091] ppid=10089 vsize=2003284 CPUtime=405.24 cores=1,3,5,7
/proc/10091/stat : 10091 (claspmt) R 10089 10091 9986 0 -1 4202496 469881 0 0 0 40353 171 0 0 25 0 4 0 653687172 2051362816 456885 33554432000 4194304 4964800 140734499618544 18446744073709551615 4343144 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/10091/statm: 500821 456885 460 189 0 495170 0
[pid=10091/tid=10114] ppid=10089 vsize=2003284 CPUtime=101.23 cores=1,3,5,7
/proc/10091/task/10114/stat : 10114 (claspmt) R 10089 10091 9986 0 -1 4202560 95722 0 0 0 10086 37 0 0 25 0 4 0 653687275 2051362816 456885 33554432000 4194304 4964800 140734499618544 18446744073709551615 4370242 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10091/tid=10115] ppid=10089 vsize=2003284 CPUtime=101.19 cores=1,3,5,7
/proc/10091/task/10115/stat : 10115 (claspmt) R 10089 10091 9986 0 -1 4202560 108828 0 0 0 10087 32 0 0 25 0 4 0 653687275 2051362816 456885 33554432000 4194304 4964800 140734499618544 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10091/tid=10116] ppid=10089 vsize=2003284 CPUtime=100.57 cores=1,3,5,7
/proc/10091/task/10116/stat : 10116 (claspmt) R 10089 10091 9986 0 -1 4202560 96846 0 0 0 10015 42 0 0 25 0 4 0 653687275 2051362816 456885 33554432000 4194304 4964800 140734499618544 18446744073709551615 4660177 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 405.24
Current children cumulated vsize (KiB) 2003284

[startup+162.301 s]
/proc/loadavg: 8.13 8.05 7.90 9/245 10129
/proc/meminfo: memFree=21106828/32951124 swapFree=61559568/67111528
[pid=10091] ppid=10089 vsize=2525936 CPUtime=644.72 cores=1,3,5,7
/proc/10091/stat : 10091 (claspmt) R 10089 10091 9986 0 -1 4202496 600086 0 0 0 64246 226 0 0 25 0 4 0 653687172 2586558464 587090 33554432000 4194304 4964800 140734499618544 18446744073709551615 222921444354 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/10091/statm: 631484 587090 460 189 0 625833 0
[pid=10091/tid=10114] ppid=10089 vsize=2525936 CPUtime=161.21 cores=1,3,5,7
/proc/10091/task/10114/stat : 10114 (claspmt) R 10089 10091 9986 0 -1 4202560 114501 0 0 0 16074 47 0 0 25 0 4 0 653687275 2586558464 587090 33554432000 4194304 4964800 140734499618544 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10091/tid=10115] ppid=10089 vsize=2525936 CPUtime=160.75 cores=1,3,5,7
/proc/10091/task/10115/stat : 10115 (claspmt) R 10089 10091 9986 0 -1 4202560 135717 0 0 0 16033 42 0 0 25 0 4 0 653687275 2586558464 587090 33554432000 4194304 4964800 140734499618544 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10091/tid=10116] ppid=10089 vsize=2525936 CPUtime=160.53 cores=1,3,5,7
/proc/10091/task/10116/stat : 10116 (claspmt) R 10089 10091 9986 0 -1 4202560 130787 0 0 0 15995 58 0 0 25 0 4 0 653687275 2586558464 587090 33554432000 4194304 4964800 140734499618544 18446744073709551615 4343784 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 644.72
Current children cumulated vsize (KiB) 2525936

[startup+222.301 s]
/proc/loadavg: 8.15 8.07 7.91 9/245 10131
/proc/meminfo: memFree=20300684/32951124 swapFree=61559568/67111528
[pid=10091] ppid=10089 vsize=3113740 CPUtime=884.26 cores=1,3,5,7
/proc/10091/stat : 10091 (claspmt) R 10089 10091 9986 0 -1 4202496 751507 0 0 0 88149 277 0 0 25 0 4 0 653687172 3188469760 738315 33554432000 4194304 4964800 140734499618544 18446744073709551615 4320309 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/10091/statm: 778435 738315 460 189 0 772784 0
[pid=10091/tid=10114] ppid=10089 vsize=3113740 CPUtime=221.18 cores=1,3,5,7
/proc/10091/task/10114/stat : 10114 (claspmt) R 10089 10091 9986 0 -1 4202560 135639 0 0 0 22066 52 0 0 25 0 4 0 653687275 3188469760 738315 33554432000 4194304 4964800 140734499618544 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10091/tid=10115] ppid=10089 vsize=3113740 CPUtime=220.31 cores=1,3,5,7
/proc/10091/task/10115/stat : 10115 (claspmt) R 10089 10091 9986 0 -1 4202560 186946 0 0 0 21973 58 0 0 25 0 4 0 653687275 3188469760 738315 33554432000 4194304 4964800 140734499618544 18446744073709551615 4313835 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10091/tid=10116] ppid=10089 vsize=3113740 CPUtime=220.53 cores=1,3,5,7
/proc/10091/task/10116/stat : 10116 (claspmt) R 10089 10091 9986 0 -1 4202560 177767 0 0 0 21980 73 0 0 25 0 4 0 653687275 3188469760 738315 33554432000 4194304 4964800 140734499618544 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 884.26
Current children cumulated vsize (KiB) 3113740

[startup+282.301 s]
/proc/loadavg: 8.09 8.07 7.92 9/245 10132
/proc/meminfo: memFree=19231152/32951124 swapFree=61559568/67111528
[pid=10091] ppid=10089 vsize=3946276 CPUtime=1123.81 cores=1,3,5,7
/proc/10091/stat : 10091 (claspmt) R 10089 10091 9986 0 -1 4202496 965183 0 0 0 112024 357 0 0 25 0 4 0 653687172 4040986624 951966 33554432000 4194304 4964800 140734499618544 18446744073709551615 4654540 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/10091/statm: 986569 951966 460 189 0 980918 0
[pid=10091/tid=10114] ppid=10089 vsize=3946276 CPUtime=281.19 cores=1,3,5,7

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

[pid=10091/tid=10114] ppid=10089 vsize=6176676 CPUtime=761.08 cores=1,3,5,7
/proc/10091/task/10114/stat : 10114 (claspmt) R 10089 10091 9986 0 -1 4202560 329663 0 0 0 75977 131 0 0 25 0 4 0 653687275 6324916224 1506728 33554432000 4194304 4964800 140734499618544 18446744073709551615 4653558 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10091/tid=10115] ppid=10089 vsize=6176676 CPUtime=756.74 cores=1,3,5,7
/proc/10091/task/10115/stat : 10115 (claspmt) R 10089 10091 9986 0 -1 4202560 289849 0 0 0 75580 94 0 0 25 0 4 0 653687275 6324916224 1506728 33554432000 4194304 4964800 140734499618544 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10091/tid=10116] ppid=10089 vsize=6176676 CPUtime=760.48 cores=1,3,5,7
/proc/10091/task/10116/stat : 10116 (claspmt) R 10089 10091 9986 0 -1 4202560 446629 0 0 0 75829 219 0 0 25 0 4 0 653687275 6324916224 1506728 33554432000 4194304 4964800 140734499618544 18446744073709551615 4632486 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3040.07
Current children cumulated vsize (KiB) 6176676

[startup+822.301 s]
/proc/loadavg: 8.20 8.17 8.02 9/245 10159
/proc/meminfo: memFree=14826340/32951124 swapFree=61559568/67111528
[pid=10091] ppid=10089 vsize=6464420 CPUtime=3279.57 cores=1,3,5,7
/proc/10091/stat : 10091 (claspmt) R 10089 10091 9986 0 -1 4202496 1600750 0 0 0 327308 649 0 0 25 0 4 0 653687172 6619566080 1586796 33554432000 4194304 4964800 140734499618544 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/10091/statm: 1616105 1586796 460 189 0 1610454 0
[pid=10091/tid=10114] ppid=10089 vsize=6464420 CPUtime=821.03 cores=1,3,5,7
/proc/10091/task/10114/stat : 10114 (claspmt) R 10089 10091 9986 0 -1 4202560 363431 0 0 0 81950 153 0 0 25 0 4 0 653687275 6619566080 1586796 33554432000 4194304 4964800 140734499618544 18446744073709551615 4668998 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10091/tid=10115] ppid=10089 vsize=6464420 CPUtime=816.72 cores=1,3,5,7
/proc/10091/task/10115/stat : 10115 (claspmt) R 10089 10091 9986 0 -1 4202560 331434 0 0 0 81563 109 0 0 25 0 4 0 653687275 6619566080 1586796 33554432000 4194304 4964800 140734499618544 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10091/tid=10116] ppid=10089 vsize=6464420 CPUtime=820.46 cores=1,3,5,7
/proc/10091/task/10116/stat : 10116 (claspmt) R 10089 10091 9986 0 -1 4202560 449003 0 0 0 81827 219 0 0 25 0 4 0 653687275 6619566080 1586796 33554432000 4194304 4964800 140734499618544 18446744073709551615 4653482 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3279.57
Current children cumulated vsize (KiB) 6464420

[startup+882.301 s]
/proc/loadavg: 8.11 8.15 8.02 9/245 10160
/proc/meminfo: memFree=13986344/32951124 swapFree=61559568/67111528
[pid=10091] ppid=10089 vsize=7052196 CPUtime=3519.12 cores=1,3,5,7
/proc/10091/stat : 10091 (claspmt) R 10089 10091 9986 0 -1 4202496 1744026 0 0 0 351210 702 0 0 25 0 4 0 653687172 7221448704 1730054 33554432000 4194304 4964800 140734499618544 18446744073709551615 4632289 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/10091/statm: 1763049 1730054 460 189 0 1757398 0
[pid=10091/tid=10114] ppid=10089 vsize=7052196 CPUtime=881.03 cores=1,3,5,7
/proc/10091/task/10114/stat : 10114 (claspmt) R 10089 10091 9986 0 -1 4202560 444426 0 0 0 87929 174 0 0 25 0 4 0 653687275 7221448704 1730054 33554432000 4194304 4964800 140734499618544 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10091/tid=10115] ppid=10089 vsize=7052196 CPUtime=876.71 cores=1,3,5,7
/proc/10091/task/10115/stat : 10115 (claspmt) R 10089 10091 9986 0 -1 4202560 331918 0 0 0 87562 109 0 0 25 0 4 0 653687275 7221448704 1730054 33554432000 4194304 4964800 140734499618544 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10091/tid=10116] ppid=10089 vsize=7052196 CPUtime=880.46 cores=1,3,5,7
/proc/10091/task/10116/stat : 10116 (claspmt) R 10089 10091 9986 0 -1 4202560 483127 0 0 0 87807 239 0 0 25 0 4 0 653687275 7221448704 1730054 33554432000 4194304 4964800 140734499618544 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3519.12
Current children cumulated vsize (KiB) 7052196

[startup+942.301 s]
/proc/loadavg: 8.15 8.15 8.02 9/245 10162
/proc/meminfo: memFree=13349088/32951124 swapFree=61559568/67111528
[pid=10091] ppid=10089 vsize=7538596 CPUtime=3758.65 cores=1,3,5,7
/proc/10091/stat : 10091 (claspmt) R 10089 10091 9986 0 -1 4202496 1856179 0 0 0 375107 758 0 0 25 0 4 0 653687172 7719522304 1842089 33554432000 4194304 4964800 140734499618544 18446744073709551615 4627272 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/10091/statm: 1884649 1842089 460 189 0 1878998 0
[pid=10091/tid=10114] ppid=10089 vsize=7538596 CPUtime=941 cores=1,3,5,7
/proc/10091/task/10114/stat : 10114 (claspmt) R 10089 10091 9986 0 -1 4202560 466375 0 0 0 93915 185 0 0 25 0 4 0 653687275 7719522304 1842089 33554432000 4194304 4964800 140734499618544 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10091/tid=10115] ppid=10089 vsize=7538596 CPUtime=936.71 cores=1,3,5,7
/proc/10091/task/10115/stat : 10115 (claspmt) R 10089 10091 9986 0 -1 4202560 346639 0 0 0 93559 112 0 0 25 0 4 0 653687275 7719522304 1842089 33554432000 4194304 4964800 140734499618544 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10091/tid=10116] ppid=10089 vsize=7538596 CPUtime=940.46 cores=1,3,5,7
/proc/10091/task/10116/stat : 10116 (claspmt) R 10089 10091 9986 0 -1 4202560 538098 0 0 0 93775 271 0 0 25 0 4 0 653687275 7719522304 1842089 33554432000 4194304 4964800 140734499618544 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3758.65
Current children cumulated vsize (KiB) 7538596

[startup+1002.3 s]
/proc/loadavg: 8.13 8.14 8.02 9/245 10164
/proc/meminfo: memFree=12570352/32951124 swapFree=61559568/67111528
[pid=10091] ppid=10089 vsize=8062884 CPUtime=3998.18 cores=1,3,5,7
/proc/10091/stat : 10091 (claspmt) R 10089 10091 9986 0 -1 4202496 1996789 0 0 0 398993 825 0 0 25 0 4 0 653687172 8256393216 1982502 33554432000 4194304 4964800 140734499618544 18446744073709551615 4658852 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/10091/statm: 2015721 1982502 460 189 0 2010070 0
[pid=10091/tid=10114] ppid=10089 vsize=8062884 CPUtime=1001.01 cores=1,3,5,7
/proc/10091/task/10114/stat : 10114 (claspmt) R 10089 10091 9986 0 -1 4202560 515779 0 0 0 99886 215 0 0 25 0 4 0 653687275 8256393216 1982502 33554432000 4194304 4964800 140734499618544 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10091/tid=10115] ppid=10089 vsize=8062884 CPUtime=996.69 cores=1,3,5,7
/proc/10091/task/10115/stat : 10115 (claspmt) R 10089 10091 9986 0 -1 4202560 346722 0 0 0 99557 112 0 0 25 0 4 0 653687275 8256393216 1982502 33554432000 4194304 4964800 140734499618544 18446744073709551615 4313736 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10091/tid=10116] ppid=10089 vsize=8062884 CPUtime=1000.45 cores=1,3,5,7
/proc/10091/task/10116/stat : 10116 (claspmt) R 10089 10091 9986 0 -1 4202560 601364 0 0 0 99745 300 0 0 25 0 4 0 653687275 8256393216 1982502 33554432000 4194304 4964800 140734499618544 18446744073709551615 4632401 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3998.18
Current children cumulated vsize (KiB) 8062884

[startup+1062.3 s]
/proc/loadavg: 8.18 8.14 8.02 9/245 10165
/proc/meminfo: memFree=12380744/32951124 swapFree=61559568/67111528
[pid=10091] ppid=10089 vsize=8071088 CPUtime=4237.75 cores=1,3,5,7
/proc/10091/stat : 10091 (claspmt) R 10089 10091 9986 0 -1 4202496 1998246 0 0 0 422949 826 0 0 25 0 4 0 653687172 8264794112 1983829 33554432000 4194304 4964800 140734499618544 18446744073709551615 4632289 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/10091/statm: 2017772 1983829 460 189 0 2012121 0
[pid=10091/tid=10114] ppid=10089 vsize=8071088 CPUtime=1061.01 cores=1,3,5,7
/proc/10091/task/10114/stat : 10114 (claspmt) R 10089 10091 9986 0 -1 4202560 515788 0 0 0 105886 215 0 0 25 0 4 0 653687275 8264794112 1983829 33554432000 4194304 4964800 140734499618544 18446744073709551615 4332491 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10091/tid=10115] ppid=10089 vsize=8071088 CPUtime=1056.69 cores=1,3,5,7
/proc/10091/task/10115/stat : 10115 (claspmt) R 10089 10091 9986 0 -1 4202560 348146 0 0 0 105556 113 0 0 25 0 4 0 653687275 8264794112 1983829 33554432000 4194304 4964800 140734499618544 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10091/tid=10116] ppid=10089 vsize=8071088 CPUtime=1060.02 cores=1,3,5,7
/proc/10091/task/10116/stat : 10116 (claspmt) R 10089 10091 9986 0 -1 4202560 601388 0 0 0 105702 300 0 0 25 0 4 0 653687275 8264794112 1983829 33554432000 4194304 4964800 140734499618544 18446744073709551615 4653491 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4237.75
Current children cumulated vsize (KiB) 8071088

[startup+1122.3 s]
/proc/loadavg: 8.13 8.13 8.02 9/245 10167
/proc/meminfo: memFree=12184928/32951124 swapFree=61559568/67111528
[pid=10091] ppid=10089 vsize=8112048 CPUtime=4477.29 cores=1,3,5,7
/proc/10091/stat : 10091 (claspmt) R 10089 10091 9986 0 -1 4202496 2008638 0 0 0 446900 829 0 0 25 0 4 0 653687172 8306737152 1994126 33554432000 4194304 4964800 140734499618544 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/10091/statm: 2028012 1994126 460 189 0 2022361 0
[pid=10091/tid=10114] ppid=10089 vsize=8112048 CPUtime=1120.99 cores=1,3,5,7
/proc/10091/task/10114/stat : 10114 (claspmt) R 10089 10091 9986 0 -1 4202560 525413 0 0 0 111882 217 0 0 25 0 4 0 653687275 8306737152 1994126 33554432000 4194304 4964800 140734499618544 18446744073709551615 4342918 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10091/tid=10115] ppid=10089 vsize=8112048 CPUtime=1116.69 cores=1,3,5,7
/proc/10091/task/10115/stat : 10115 (claspmt) R 10089 10091 9986 0 -1 4202560 348188 0 0 0 111556 113 0 0 25 0 4 0 653687275 8306737152 1994126 33554432000 4194304 4964800 140734499618544 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10091/tid=10116] ppid=10089 vsize=8112048 CPUtime=1119.58 cores=1,3,5,7
/proc/10091/task/10116/stat : 10116 (claspmt) R 10089 10091 9986 0 -1 4202560 602111 0 0 0 111658 300 0 0 25 0 4 0 653687275 8306737152 1994126 33554432000 4194304 4964800 140734499618544 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4477.29
Current children cumulated vsize (KiB) 8112048

[startup+1182.3 s]
/proc/loadavg: 8.10 8.12 8.02 9/245 10168
/proc/meminfo: memFree=11694128/32951124 swapFree=61559568/67111528
[pid=10091] ppid=10089 vsize=8335280 CPUtime=4716.86 cores=1,3,5,7
/proc/10091/stat : 10091 (claspmt) R 10089 10091 9986 0 -1 4202496 2071133 0 0 0 470833 853 0 0 25 0 4 0 653687172 8535326720 2056621 33554432000 4194304 4964800 140734499618544 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/10091/statm: 2083820 2056621 460 189 0 2078169 0
[pid=10091/tid=10114] ppid=10089 vsize=8335280 CPUtime=1181 cores=1,3,5,7
/proc/10091/task/10114/stat : 10114 (claspmt) R 10089 10091 9986 0 -1 4202560 533740 0 0 0 117877 223 0 0 25 0 4 0 653687275 8535326720 2056621 33554432000 4194304 4964800 140734499618544 18446744073709551615 4313764 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10091/tid=10115] ppid=10089 vsize=8335280 CPUtime=1176.68 cores=1,3,5,7
/proc/10091/task/10115/stat : 10115 (claspmt) R 10089 10091 9986 0 -1 4202560 362605 0 0 0 117551 117 0 0 25 0 4 0 653687275 8535326720 2056621 33554432000 4194304 4964800 140734499618544 18446744073709551615 4313804 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10091/tid=10116] ppid=10089 vsize=8335280 CPUtime=1179.15 cores=1,3,5,7
/proc/10091/task/10116/stat : 10116 (claspmt) R 10089 10091 9986 0 -1 4202560 641859 0 0 0 117601 314 0 0 25 0 4 0 653687275 8535326720 2056621 33554432000 4194304 4964800 140734499618544 18446744073709551615 4363438 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4716.86
Current children cumulated vsize (KiB) 8335280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.2 s]
/proc/loadavg: 8.07 8.11 8.02 9/245 10169
/proc/meminfo: memFree=11496836/32951124 swapFree=61559568/67111528
[pid=10091] ppid=10089 vsize=8441776 CPUtime=4800.32 cores=1,3,5,7
/proc/10091/stat : 10091 (claspmt) R 10089 10091 9986 0 -1 4202496 2098380 0 0 0 479163 869 0 0 25 0 4 0 653687172 8644378624 2083868 33554432000 4194304 4964800 140734499618544 18446744073709551615 4370242 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/10091/statm: 2110444 2083868 460 189 0 2104793 0
[pid=10091/tid=10114] ppid=10089 vsize=8441776 CPUtime=1201.91 cores=1,3,5,7
/proc/10091/task/10114/stat : 10114 (claspmt) R 10089 10091 9986 0 -1 4202560 550948 0 0 0 119955 236 0 0 25 0 4 0 653687275 8644378624 2083868 33554432000 4194304 4964800 140734499618544 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10091/tid=10115] ppid=10089 vsize=8441776 CPUtime=1197.58 cores=1,3,5,7
/proc/10091/task/10115/stat : 10115 (claspmt) R 10089 10091 9986 0 -1 4202560 372643 0 0 0 119638 120 0 0 25 0 4 0 653687275 8644378624 2083868 33554432000 4194304 4964800 140734499618544 18446744073709551615 4313736 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10091/tid=10116] ppid=10089 vsize=8441776 CPUtime=1199.9 cores=1,3,5,7
/proc/10091/task/10116/stat : 10116 (claspmt) R 10089 10091 9986 0 -1 4202560 641860 0 0 0 119676 314 0 0 25 0 4 0 653687275 8644378624 2083868 33554432000 4194304 4964800 140734499618544 18446744073709551615 4313764 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 8441776

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -10091

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

[startup+1204.6 s]
/proc/loadavg: 8.07 8.11 8.02 6/244 10170
/proc/meminfo: memFree=11494984/32951124 swapFree=61559568/67111528
[pid=10091] ppid=10089 vsize=8441776 CPUtime=4801.84 cores=1,3,5,7
/proc/10091/stat : 10091 (claspmt) S 10089 10091 9986 0 -1 4202496 2098386 0 0 0 479315 869 0 0 25 0 2 0 653687172 8644378624 2083874 33554432000 4194304 4964800 140734499618544 18446744073709551615 222933579749 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/10091/statm: 2110444 2083874 462 189 0 2104793 0
[pid=10091/tid=10115] ppid=10089 vsize=8441776 CPUtime=1198.97 cores=1,3,5,7
/proc/10091/task/10115/stat : 10115 (claspmt) R 10089 10091 9986 0 -1 4202560 372643 0 0 0 119777 120 0 0 25 0 2 0 653687275 8644378624 2083874 33554432000 4194304 4964800 140734499618544 18446744073709551615 4313761 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4801.84
Current children cumulated vsize (KiB) 8441776

[startup+1205 s]
/proc/loadavg: 8.07 8.11 8.02 6/244 10170
/proc/meminfo: memFree=11494984/32951124 swapFree=61559568/67111528
[pid=10091] ppid=10089 vsize=8412100 CPUtime=4802.24 cores=1,3,5,7
/proc/10091/stat : 10091 (claspmt) R 10089 10091 9986 0 -1 4202496 2098394 0 0 0 479355 869 0 0 18 0 1 0 653687172 8613990400 2076292 33554432000 4194304 4964800 140734499618544 18446744073709551615 222921433649 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/10091/statm: 2103025 2076292 470 189 0 2097374 0
Current children cumulated CPU time (s) 4802.24
Current children cumulated vsize (KiB) 8412100

[startup+1205.4 s]
/proc/loadavg: 8.07 8.11 8.02 6/244 10170
/proc/meminfo: memFree=11494984/32951124 swapFree=61559568/67111528
[pid=10091] ppid=10089 vsize=0 CPUtime=4802.64 cores=1,3,5,7
/proc/10091/stat : 10091 (claspmt) R 10089 10091 9986 0 -1 4203524 2098395 0 0 0 479369 895 0 0 18 0 1 0 653687172 0 0 33554432000 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/10091/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4802.64
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1205.45
CPU time (s): 4802.71
CPU user time (s): 4793.69
CPU system time (s): 9.01163
CPU usage (%): 398.414
Max. virtual memory (cumulated for all children) (KiB): 8441776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.69
system time used= 9.01163
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2098395
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12978
involuntary context switches= 32031

runsolver used 2.33364 second user time and 6.45202 second system time

The end

Launcher Data 

Begin job on node109 at 2011-05-15 02:54:24
IDJOB=3373589
IDBENCH=82389
IDSOLVER=1853
FILE ID=node109/3373589-1305420864
RUNJOBID= node109-1305419659-10005
PBS_JOBID= 13324580
Free space on /tmp= 73208 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3373589-1305420864/watcher-3373589-1305420864 -o /tmp/evaluation-result-3373589-1305420864/solver-3373589-1305420864 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373589-1305420864.cnf

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

MD5SUM BENCH= 4ab53801f3b1a3f7169c9fb38cba4184
RANDOM SEED=2047793386

node109.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.809
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.61
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.809
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.809
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.74
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.809
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.809
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.809
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.809
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.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24271192 kB
Buffers:        239916 kB
Cached:        2289852 kB
SwapCached:      28404 kB
Active:         125492 kB
Inactive:      8339376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24271192 kB
SwapTotal:    67111528 kB
SwapFree:     61559568 kB
Dirty:           16356 kB
Writeback:           0 kB
AnonPages:     5913144 kB
Mapped:          17780 kB
Slab:           122484 kB
PageTables:      30684 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 17882584 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= 73160 MiB
End job on node109 at 2011-05-15 03:14:30