Trace number 3373586

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) 4801.04 1205

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf
MD5SUM28233bedeee44da6e79e63b9febc4d1e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2999.44
Satisfiable
(Un)Satisfiability was proved
Number of variables133566
Number of clauses667976
Sum of the clauses size1591941
Maximum clause length63
Minimum clause length1
Number of clauses of size 1211
Number of clauses of size 2659295
Number of clauses of size 32100
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 56370

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...420864/instance-3373586-1305420864.cnf
0.69/0.70	c Solving...
4800.42/1204.43	
4800.42/1204.43	*** INTERRUPTED! ***
4800.42/1204.43	*** Shutting down threads...
4800.94/1204.92	s UNKNOWN
4800.94/1204.92	
4800.94/1204.92	c INTERRUPTED   : 1
4800.94/1204.92	c Models        : 0+    
4800.94/1204.92	c Time          : 1204.434s (Solving: 1203.73s 1st Model: 0.00s Unsat: 0.00s)
4800.94/1204.92	c CPU Time      : 4800.470s

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

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-3373586-1305420864/watcher-3373586-1305420864 -o /tmp/evaluation-result-3373586-1305420864/solver-3373586-1305420864 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373586-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: 7.43 7.95 7.98 2/354 14723
/proc/meminfo: memFree=21235188/32951124 swapFree=65581052/67111528
[pid=14723] ppid=14721 vsize=37836 CPUtime=0 cores=1,3,5,7
/proc/14723/stat : 14723 (claspmt) R 14721 14723 14138 0 -1 4202496 1410 0 0 0 0 0 0 0 21 0 1 0 653684186 38744064 1340 33554432000 4194304 4964800 140736033715984 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14723/statm: 9459 1348 375 189 0 4333 0

[startup+0.067663 s]
/proc/loadavg: 7.43 7.95 7.98 2/354 14723
/proc/meminfo: memFree=21235188/32951124 swapFree=65581052/67111528
[pid=14723] ppid=14721 vsize=50144 CPUtime=0.06 cores=1,3,5,7
/proc/14723/stat : 14723 (claspmt) R 14721 14723 14138 0 -1 4202496 9024 0 0 0 5 1 0 0 21 0 1 0 653684186 51347456 7619 33554432000 4194304 4964800 140736033715984 18446744073709551615 218905730816 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14723/statm: 12536 7620 388 189 0 7410 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 50144

[startup+0.100656 s]
/proc/loadavg: 7.43 7.95 7.98 2/354 14723
/proc/meminfo: memFree=21235188/32951124 swapFree=65581052/67111528
[pid=14723] ppid=14721 vsize=53816 CPUtime=0.09 cores=1,3,5,7
/proc/14723/stat : 14723 (claspmt) R 14721 14723 14138 0 -1 4202496 10326 0 0 0 8 1 0 0 21 0 1 0 653684186 55107584 8469 33554432000 4194304 4964800 140736033715984 18446744073709551615 218905391813 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14723/statm: 13454 8470 388 189 0 8328 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 53816

[startup+0.30062 s]
/proc/loadavg: 7.43 7.95 7.98 2/354 14723
/proc/meminfo: memFree=21235188/32951124 swapFree=65581052/67111528
[pid=14723] ppid=14721 vsize=83856 CPUtime=0.29 cores=1,3,5,7
/proc/14723/stat : 14723 (claspmt) R 14721 14723 14138 0 -1 4202496 20124 0 0 0 27 2 0 0 22 0 1 0 653684186 85868544 15916 33554432000 4194304 4964800 140736033715984 18446744073709551615 4607536 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14723/statm: 20964 15916 402 189 0 15838 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83856

[startup+0.70055 s]
/proc/loadavg: 7.43 7.95 7.98 2/354 14723
/proc/meminfo: memFree=21235188/32951124 swapFree=65581052/67111528
[pid=14723] ppid=14721 vsize=85312 CPUtime=0.69 cores=1,3,5,7
/proc/14723/stat : 14723 (claspmt) R 14721 14723 14138 0 -1 4202496 20510 0 0 0 67 2 0 0 23 0 1 0 653684186 87359488 16302 33554432000 4194304 4964800 140736033715984 18446744073709551615 218905380044 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14723/statm: 21328 16302 405 189 0 16202 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85312

[startup+1.50037 s]
/proc/loadavg: 7.43 7.95 7.98 9/361 14730
/proc/meminfo: memFree=21089804/32951124 swapFree=65581052/67111528
[pid=14723] ppid=14721 vsize=249732 CPUtime=3.81 cores=1,3,5,7
/proc/14723/stat : 14723 (claspmt) R 14721 14723 14138 0 -1 4202496 36935 0 0 0 375 6 0 0 25 0 4 0 653684186 255725568 27248 33554432000 4194304 4964800 140736033715984 18446744073709551615 4669280 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/14723/statm: 62433 27248 458 189 0 56782 0
[pid=14723/tid=14728] ppid=14721 vsize=249732 CPUtime=0.76 cores=1,3,5,7
/proc/14723/task/14728/stat : 14728 (claspmt) R 14721 14723 14138 0 -1 4202560 3885 0 0 0 76 0 0 0 25 0 4 0 653684257 255725568 27248 33554432000 4194304 4964800 140736033715984 18446744073709551615 4660390 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14723/tid=14729] ppid=14721 vsize=249732 CPUtime=0.79 cores=1,3,5,7
/proc/14723/task/14729/stat : 14729 (claspmt) R 14721 14723 14138 0 -1 4202560 6121 0 0 0 78 1 0 0 25 0 4 0 653684257 255725568 27248 33554432000 4194304 4964800 140736033715984 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=14723/tid=14730] ppid=14721 vsize=249732 CPUtime=0.77 cores=1,3,5,7
/proc/14723/task/14730/stat : 14730 (claspmt) R 14721 14723 14138 0 -1 4202560 5651 0 0 0 76 1 0 0 25 0 4 0 653684257 255725568 27248 33554432000 4194304 4964800 140736033715984 18446744073709551615 4627551 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 249732

[startup+3.10108 s]
/proc/loadavg: 7.43 7.95 7.98 9/361 14730
/proc/meminfo: memFree=21023476/32951124 swapFree=65581052/67111528
[pid=14723] ppid=14721 vsize=261216 CPUtime=10.19 cores=1,3,5,7
/proc/14723/stat : 14723 (claspmt) R 14721 14723 14138 0 -1 4202496 49886 0 0 0 1010 9 0 0 25 0 4 0 653684186 267485184 40199 33554432000 4194304 4964800 140736033715984 18446744073709551615 218905774263 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/14723/statm: 65304 40199 458 189 0 59653 0
[pid=14723/tid=14728] ppid=14721 vsize=261216 CPUtime=2.37 cores=1,3,5,7
/proc/14723/task/14728/stat : 14728 (claspmt) R 14721 14723 14138 0 -1 4202560 5980 0 0 0 236 1 0 0 25 0 4 0 653684257 267485184 40199 33554432000 4194304 4964800 140736033715984 18446744073709551615 4320976 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14723/tid=14729] ppid=14721 vsize=261216 CPUtime=2.39 cores=1,3,5,7
/proc/14723/task/14729/stat : 14729 (claspmt) R 14721 14723 14138 0 -1 4202560 11337 0 0 0 237 2 0 0 25 0 4 0 653684257 267485184 40199 33554432000 4194304 4964800 140736033715984 18446744073709551615 4668998 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=14723/tid=14730] ppid=14721 vsize=261216 CPUtime=2.36 cores=1,3,5,7
/proc/14723/task/14730/stat : 14730 (claspmt) R 14721 14723 14138 0 -1 4202560 8613 0 0 0 234 2 0 0 25 0 4 0 653684257 267485184 40199 33554432000 4194304 4964800 140736033715984 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10.19
Current children cumulated vsize (KiB) 261216

[startup+6.3005 s]
/proc/loadavg: 7.47 7.95 7.98 9/361 14730
/proc/meminfo: memFree=20844016/32951124 swapFree=65581052/67111528
[pid=14723] ppid=14721 vsize=285732 CPUtime=22.94 cores=1,3,5,7
/proc/14723/stat : 14723 (claspmt) R 14721 14723 14138 0 -1 4202496 68119 0 0 0 2280 14 0 0 20 0 4 0 653684186 292589568 58432 33554432000 4194304 4964800 140736033715984 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/14723/statm: 71433 58432 458 189 0 65782 0
[pid=14723/tid=14728] ppid=14721 vsize=285732 CPUtime=5.56 cores=1,3,5,7
/proc/14723/task/14728/stat : 14728 (claspmt) R 14721 14723 14138 0 -1 4202560 9015 0 0 0 554 2 0 0 21 0 4 0 653684257 292589568 58432 33554432000 4194304 4964800 140736033715984 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14723/tid=14729] ppid=14721 vsize=285732 CPUtime=5.58 cores=1,3,5,7
/proc/14723/task/14729/stat : 14729 (claspmt) R 14721 14723 14138 0 -1 4202560 19168 0 0 0 555 3 0 0 25 0 4 0 653684257 292589568 58432 33554432000 4194304 4964800 140736033715984 18446744073709551615 4670160 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=14723/tid=14730] ppid=14721 vsize=285732 CPUtime=5.52 cores=1,3,5,7
/proc/14723/task/14730/stat : 14730 (claspmt) R 14721 14723 14138 0 -1 4202560 12719 0 0 0 549 3 0 0 25 0 4 0 653684257 292589568 58432 33554432000 4194304 4964800 140736033715984 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 22.94
Current children cumulated vsize (KiB) 285732

[startup+12.7003 s]
/proc/loadavg: 7.52 7.95 7.98 9/361 14730
/proc/meminfo: memFree=20528132/32951124 swapFree=65581052/67111528
[pid=14723] ppid=14721 vsize=479328 CPUtime=48.46 cores=1,3,5,7
/proc/14723/stat : 14723 (claspmt) R 14721 14723 14138 0 -1 4202496 110837 0 0 0 4822 24 0 0 25 0 4 0 653684186 490831872 101150 33554432000 4194304 4964800 140736033715984 18446744073709551615 4660195 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/14723/statm: 119832 101151 460 189 0 114181 0
[pid=14723/tid=14728] ppid=14721 vsize=479328 CPUtime=11.96 cores=1,3,5,7
/proc/14723/task/14728/stat : 14728 (claspmt) R 14721 14723 14138 0 -1 4202560 15845 0 0 0 1192 4 0 0 25 0 4 0 653684257 490831872 101151 33554432000 4194304 4964800 140736033715984 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14723/tid=14729] ppid=14721 vsize=479328 CPUtime=11.98 cores=1,3,5,7
/proc/14723/task/14729/stat : 14729 (claspmt) R 14721 14723 14138 0 -1 4202560 31686 0 0 0 1192 6 0 0 25 0 4 0 653684257 490831872 101151 33554432000 4194304 4964800 140736033715984 18446744073709551615 4313753 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=14723/tid=14730] ppid=14721 vsize=479328 CPUtime=11.84 cores=1,3,5,7
/proc/14723/task/14730/stat : 14730 (claspmt) R 14721 14723 14138 0 -1 4202560 25161 0 0 0 1178 6 0 0 25 0 4 0 653684257 490831872 101151 33554432000 4194304 4964800 140736033715984 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 48.46
Current children cumulated vsize (KiB) 479328

[startup+25.501 s]
/proc/loadavg: 7.62 7.96 7.98 9/361 14731
/proc/meminfo: memFree=19962888/32951124 swapFree=65581052/67111528
[pid=14723] ppid=14721 vsize=859828 CPUtime=99.49 cores=1,3,5,7
/proc/14723/stat : 14723 (claspmt) R 14721 14723 14138 0 -1 4202496 197335 0 0 0 9899 50 0 0 25 0 4 0 653684186 880463872 187648 33554432000 4194304 4964800 140736033715984 18446744073709551615 4632331 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/14723/statm: 214957 187648 460 189 0 209306 0
[pid=14723/tid=14728] ppid=14721 vsize=859828 CPUtime=24.75 cores=1,3,5,7
/proc/14723/task/14728/stat : 14728 (claspmt) R 14721 14723 14138 0 -1 4202560 27777 0 0 0 2467 8 0 0 25 0 4 0 653684257 880463872 187648 33554432000 4194304 4964800 140736033715984 18446744073709551615 4342941 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14723/tid=14729] ppid=14721 vsize=859828 CPUtime=24.78 cores=1,3,5,7
/proc/14723/task/14729/stat : 14729 (claspmt) R 14721 14723 14138 0 -1 4202560 63989 0 0 0 2463 15 0 0 25 0 4 0 653684257 880463872 187648 33554432000 4194304 4964800 140736033715984 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=14723/tid=14730] ppid=14721 vsize=859828 CPUtime=24.48 cores=1,3,5,7
/proc/14723/task/14730/stat : 14730 (claspmt) R 14721 14723 14138 0 -1 4202560 48345 0 0 0 2436 12 0 0 25 0 4 0 653684257 880463872 187648 33554432000 4194304 4964800 140736033715984 18446744073709551615 4320911 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 99.49
Current children cumulated vsize (KiB) 859828

[startup+51.1004 s]
/proc/loadavg: 7.81 7.97 7.99 9/361 14731
/proc/meminfo: memFree=19372832/32951124 swapFree=65581052/67111528
[pid=14723] ppid=14721 vsize=1279312 CPUtime=201.59 cores=1,3,5,7
/proc/14723/stat : 14723 (claspmt) R 14721 14723 14138 0 -1 4202496 312093 0 0 0 20072 87 0 0 25 0 4 0 653684186 1310015488 302406 33554432000 4194304 4964800 140736033715984 18446744073709551615 4370352 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/14723/statm: 319828 302406 460 189 0 314177 0
[pid=14723/tid=14728] ppid=14721 vsize=1279312 CPUtime=50.34 cores=1,3,5,7
/proc/14723/task/14728/stat : 14728 (claspmt) R 14721 14723 14138 0 -1 4202560 53504 0 0 0 5014 20 0 0 25 0 4 0 653684257 1310015488 302406 33554432000 4194304 4964800 140736033715984 18446744073709551615 4312169 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14723/tid=14729] ppid=14721 vsize=1279312 CPUtime=50.36 cores=1,3,5,7
/proc/14723/task/14729/stat : 14729 (claspmt) R 14721 14723 14138 0 -1 4202560 97964 0 0 0 5012 24 0 0 25 0 4 0 653684257 1310015488 302406 33554432000 4194304 4964800 140736033715984 18446744073709551615 4670678 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14723/tid=14730] ppid=14721 vsize=1279312 CPUtime=49.8 cores=1,3,5,7
/proc/14723/task/14730/stat : 14730 (claspmt) R 14721 14723 14138 0 -1 4202560 76894 0 0 0 4961 19 0 0 25 0 4 0 653684257 1310015488 302406 33554432000 4194304 4964800 140736033715984 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 201.59
Current children cumulated vsize (KiB) 1279312

[startup+102.314 s]
/proc/loadavg: 7.98 7.99 7.99 9/361 14733
/proc/meminfo: memFree=18502820/32951124 swapFree=65581052/67111528
[pid=14723] ppid=14721 vsize=1827344 CPUtime=405.77 cores=1,3,5,7
/proc/14723/stat : 14723 (claspmt) R 14721 14723 14138 0 -1 4202496 452860 0 0 0 40434 143 0 0 25 0 4 0 653684186 1871200256 443172 33554432000 4194304 4964800 140736033715984 18446744073709551615 4320939 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/14723/statm: 456836 443172 460 189 0 451185 0
[pid=14723/tid=14728] ppid=14721 vsize=1827344 CPUtime=101.52 cores=1,3,5,7
/proc/14723/task/14728/stat : 14728 (claspmt) R 14721 14723 14138 0 -1 4202560 81954 0 0 0 10118 34 0 0 25 0 4 0 653684257 1871200256 443172 33554432000 4194304 4964800 140736033715984 18446744073709551615 4653464 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14723/tid=14729] ppid=14721 vsize=1827344 CPUtime=100.96 cores=1,3,5,7
/proc/14723/task/14729/stat : 14729 (claspmt) R 14721 14723 14138 0 -1 4202560 138212 0 0 0 10060 36 0 0 25 0 4 0 653684257 1871200256 443172 33554432000 4194304 4964800 140736033715984 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14723/tid=14730] ppid=14721 vsize=1827344 CPUtime=101.01 cores=1,3,5,7
/proc/14723/task/14730/stat : 14730 (claspmt) R 14721 14723 14138 0 -1 4202560 111901 0 0 0 10066 35 0 0 25 0 4 0 653684257 1871200256 443172 33554432000 4194304 4964800 140736033715984 18446744073709551615 4668544 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 405.77
Current children cumulated vsize (KiB) 1827344

[startup+162.3 s]
/proc/loadavg: 8.10 8.02 8.00 9/361 14734
/proc/meminfo: memFree=17594996/32951124 swapFree=65581052/67111528
[pid=14723] ppid=14721 vsize=2313484 CPUtime=644.92 cores=1,3,5,7
/proc/14723/stat : 14723 (claspmt) R 14721 14723 14138 0 -1 4202496 551872 0 0 0 64313 179 0 0 25 0 4 0 653684186 2369007616 542176 33554432000 4194304 4964800 140736033715984 18446744073709551615 4658618 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/14723/statm: 578371 542176 460 189 0 572720 0
[pid=14723/tid=14728] ppid=14721 vsize=2313484 CPUtime=161.47 cores=1,3,5,7
/proc/14723/task/14728/stat : 14728 (claspmt) R 14721 14723 14138 0 -1 4202560 108988 0 0 0 16103 44 0 0 25 0 4 0 653684257 2369007616 542176 33554432000 4194304 4964800 140736033715984 18446744073709551615 4684107 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14723/tid=14729] ppid=14721 vsize=2313484 CPUtime=160.21 cores=1,3,5,7
/proc/14723/task/14729/stat : 14729 (claspmt) R 14721 14723 14138 0 -1 4202560 165753 0 0 0 15977 44 0 0 25 0 4 0 653684257 2369007616 542176 33554432000 4194304 4964800 140736033715984 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14723/tid=14730] ppid=14721 vsize=2313484 CPUtime=160.98 cores=1,3,5,7
/proc/14723/task/14730/stat : 14730 (claspmt) R 14721 14723 14138 0 -1 4202560 134615 0 0 0 16050 48 0 0 25 0 4 0 653684257 2369007616 542176 33554432000 4194304 4964800 140736033715984 18446744073709551615 4632486 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 644.92
Current children cumulated vsize (KiB) 2313484

[startup+222.3 s]
/proc/loadavg: 8.13 8.04 8.01 9/361 14736
/proc/meminfo: memFree=17113240/32951124 swapFree=65581052/67111528
[pid=14723] ppid=14721 vsize=2510092 CPUtime=884.17 cores=1,3,5,7
/proc/14723/stat : 14723 (claspmt) R 14721 14723 14138 0 -1 4202496 602699 0 0 0 88213 204 0 0 25 0 4 0 653684186 2570334208 592977 33554432000 4194304 4964800 140736033715984 18446744073709551615 4321182 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/14723/statm: 627523 592977 460 189 0 621872 0
[pid=14723/tid=14728] ppid=14721 vsize=2510092 CPUtime=221.43 cores=1,3,5,7
/proc/14723/task/14728/stat : 14728 (claspmt) R 14721 14723 14138 0 -1 4202560 114215 0 0 0 22095 48 0 0 25 0 4 0 653684257 2570334208 592977 33554432000 4194304 4964800 140736033715984 18446744073709551615 4343397 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14723/tid=14729] ppid=14721 vsize=2510092 CPUtime=219.49 cores=1,3,5,7
/proc/14723/task/14729/stat : 14729 (claspmt) R 14721 14723 14138 0 -1 4202560 180788 0 0 0 21900 49 0 0 25 0 4 0 653684257 2570334208 592977 33554432000 4194304 4964800 140736033715984 18446744073709551615 4362960 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14723/tid=14730] ppid=14721 vsize=2510092 CPUtime=220.98 cores=1,3,5,7
/proc/14723/task/14730/stat : 14730 (claspmt) R 14721 14723 14138 0 -1 4202560 146218 0 0 0 22042 56 0 0 25 0 4 0 653684257 2570334208 592977 33554432000 4194304 4964800 140736033715984 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 884.17
Current children cumulated vsize (KiB) 2510092

[startup+282.301 s]

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

[startup+762.314 s]
/proc/loadavg: 8.22 8.16 8.06 9/361 14762
/proc/meminfo: memFree=12727344/32951124 swapFree=65581052/67111528
[pid=14723] ppid=14721 vsize=5363308 CPUtime=3037.51 cores=1,3,5,7
/proc/14723/stat : 14723 (claspmt) R 14721 14723 14138 0 -1 4202496 1320510 0 0 0 303217 534 0 0 25 0 4 0 653684186 5492027392 1310528 33554432000 4194304 4964800 140736033715984 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/14723/statm: 1340827 1310528 460 189 0 1335176 0
[pid=14723/tid=14728] ppid=14721 vsize=5363308 CPUtime=756.99 cores=1,3,5,7
/proc/14723/task/14728/stat : 14728 (claspmt) R 14721 14723 14138 0 -1 4202560 276477 0 0 0 75573 126 0 0 25 0 4 0 653684257 5492027392 1310528 33554432000 4194304 4964800 140736033715984 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14723/tid=14729] ppid=14721 vsize=5363308 CPUtime=759.21 cores=1,3,5,7
/proc/14723/task/14729/stat : 14729 (claspmt) R 14721 14723 14138 0 -1 4202560 408893 0 0 0 75793 128 0 0 25 0 4 0 653684257 5492027392 1310528 33554432000 4194304 4964800 140736033715984 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14723/tid=14730] ppid=14721 vsize=5363308 CPUtime=760.98 cores=1,3,5,7
/proc/14723/task/14730/stat : 14730 (claspmt) R 14721 14723 14138 0 -1 4202560 329211 0 0 0 75936 162 0 0 25 0 4 0 653684257 5492027392 1310528 33554432000 4194304 4964800 140736033715984 18446744073709551615 4339045 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3037.51
Current children cumulated vsize (KiB) 5363308

[startup+822.301 s]
/proc/loadavg: 8.14 8.15 8.06 9/361 14764
/proc/meminfo: memFree=12231820/32951124 swapFree=65581052/67111528
[pid=14723] ppid=14721 vsize=5823084 CPUtime=3276.71 cores=1,3,5,7
/proc/14723/stat : 14723 (claspmt) R 14721 14723 14138 0 -1 4202496 1441837 0 0 0 327079 592 0 0 25 0 4 0 653684186 5962838016 1431855 33554432000 4194304 4964800 140736033715984 18446744073709551615 4320963 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/14723/statm: 1455771 1431855 460 189 0 1450120 0
[pid=14723/tid=14728] ppid=14721 vsize=5823084 CPUtime=816.95 cores=1,3,5,7
/proc/14723/task/14728/stat : 14728 (claspmt) R 14721 14723 14138 0 -1 4202560 315464 0 0 0 81542 153 0 0 25 0 4 0 653684257 5962838016 1431855 33554432000 4194304 4964800 140736033715984 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14723/tid=14729] ppid=14721 vsize=5823084 CPUtime=819.18 cores=1,3,5,7
/proc/14723/task/14729/stat : 14729 (claspmt) R 14721 14723 14138 0 -1 4202560 446272 0 0 0 81783 135 0 0 25 0 4 0 653684257 5962838016 1431855 33554432000 4194304 4964800 140736033715984 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14723/tid=14730] ppid=14721 vsize=5823084 CPUtime=820.97 cores=1,3,5,7
/proc/14723/task/14730/stat : 14730 (claspmt) R 14721 14723 14138 0 -1 4202560 372871 0 0 0 81912 185 0 0 25 0 4 0 653684257 5962838016 1431855 33554432000 4194304 4964800 140736033715984 18446744073709551615 4332103 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3276.71
Current children cumulated vsize (KiB) 5823084

[startup+882.301 s]
/proc/loadavg: 8.17 8.15 8.06 9/361 14765
/proc/meminfo: memFree=11686956/32951124 swapFree=65581052/67111528
[pid=14723] ppid=14721 vsize=6395500 CPUtime=3515.98 cores=1,3,5,7
/proc/14723/stat : 14723 (claspmt) R 14721 14723 14138 0 -1 4202496 1575484 0 0 0 350951 647 0 0 25 0 4 0 653684186 6548992000 1565477 33554432000 4194304 4964800 140736033715984 18446744073709551615 4668987 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/14723/statm: 1598875 1565477 460 189 0 1593224 0
[pid=14723/tid=14728] ppid=14721 vsize=6395500 CPUtime=876.95 cores=1,3,5,7
/proc/14723/task/14728/stat : 14728 (claspmt) R 14721 14723 14138 0 -1 4202560 323899 0 0 0 87539 156 0 0 25 0 4 0 653684257 6548992000 1565477 33554432000 4194304 4964800 140736033715984 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14723/tid=14729] ppid=14721 vsize=6395500 CPUtime=879.17 cores=1,3,5,7
/proc/14723/task/14729/stat : 14729 (claspmt) R 14721 14723 14138 0 -1 4202560 480659 0 0 0 87773 144 0 0 25 0 4 0 653684257 6548992000 1565477 33554432000 4194304 4964800 140736033715984 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14723/tid=14730] ppid=14721 vsize=6395500 CPUtime=880.97 cores=1,3,5,7
/proc/14723/task/14730/stat : 14730 (claspmt) R 14721 14723 14138 0 -1 4202560 420746 0 0 0 87885 212 0 0 25 0 4 0 653684257 6548992000 1565477 33554432000 4194304 4964800 140736033715984 18446744073709551615 4684058 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3515.98
Current children cumulated vsize (KiB) 6395500

[startup+942.301 s]
/proc/loadavg: 8.13 8.14 8.06 9/361 14767
/proc/meminfo: memFree=11356352/32951124 swapFree=65581052/67111528
[pid=14723] ppid=14721 vsize=6514284 CPUtime=3755.2 cores=1,3,5,7
/proc/14723/stat : 14723 (claspmt) R 14721 14723 14138 0 -1 4202496 1605208 0 0 0 374861 659 0 0 25 0 4 0 653684186 6670626816 1595201 33554432000 4194304 4964800 140736033715984 18446744073709551615 4658618 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/14723/statm: 1628571 1595201 460 189 0 1622920 0
[pid=14723/tid=14728] ppid=14721 vsize=6514284 CPUtime=936.25 cores=1,3,5,7
/proc/14723/task/14728/stat : 14728 (claspmt) R 14721 14723 14138 0 -1 4202560 342853 0 0 0 93461 164 0 0 25 0 4 0 653684257 6670626816 1595201 33554432000 4194304 4964800 140736033715984 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14723/tid=14729] ppid=14721 vsize=6514284 CPUtime=939.17 cores=1,3,5,7
/proc/14723/task/14729/stat : 14729 (claspmt) R 14721 14723 14138 0 -1 4202560 480763 0 0 0 93773 144 0 0 25 0 4 0 653684257 6670626816 1595201 33554432000 4194304 4964800 140736033715984 18446744073709551615 4363687 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14723/tid=14730] ppid=14721 vsize=6514284 CPUtime=940.96 cores=1,3,5,7
/proc/14723/task/14730/stat : 14730 (claspmt) R 14721 14723 14138 0 -1 4202560 430893 0 0 0 93881 215 0 0 25 0 4 0 653684257 6670626816 1595201 33554432000 4194304 4964800 140736033715984 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3755.2
Current children cumulated vsize (KiB) 6514284

[startup+1002.3 s]
/proc/loadavg: 8.11 8.12 8.06 9/361 14769
/proc/meminfo: memFree=10933004/32951124 swapFree=65581052/67111528
[pid=14723] ppid=14721 vsize=6963820 CPUtime=3994.46 cores=1,3,5,7
/proc/14723/stat : 14723 (claspmt) R 14721 14723 14138 0 -1 4202496 1710617 0 0 0 398735 711 0 0 25 0 4 0 653684186 7130951680 1700610 33554432000 4194304 4964800 140736033715984 18446744073709551615 4627263 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/14723/statm: 1740955 1700610 460 189 0 1735304 0
[pid=14723/tid=14728] ppid=14721 vsize=6963820 CPUtime=996.16 cores=1,3,5,7
/proc/14723/task/14728/stat : 14728 (claspmt) R 14721 14723 14138 0 -1 4202560 389629 0 0 0 99436 180 0 0 25 0 4 0 653684257 7130951680 1700610 33554432000 4194304 4964800 140736033715984 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14723/tid=14729] ppid=14721 vsize=6963820 CPUtime=999.15 cores=1,3,5,7
/proc/14723/task/14729/stat : 14729 (claspmt) R 14721 14723 14138 0 -1 4202560 480854 0 0 0 99771 144 0 0 25 0 4 0 653684257 7130951680 1700610 33554432000 4194304 4964800 140736033715984 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14723/tid=14730] ppid=14721 vsize=6963820 CPUtime=1000.97 cores=1,3,5,7
/proc/14723/task/14730/stat : 14730 (claspmt) R 14721 14723 14138 0 -1 4202560 467821 0 0 0 99854 243 0 0 25 0 4 0 653684257 7130951680 1700610 33554432000 4194304 4964800 140736033715984 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3994.46
Current children cumulated vsize (KiB) 6963820

[startup+1062.3 s]
/proc/loadavg: 8.12 8.13 8.06 9/361 14770
/proc/meminfo: memFree=10825100/32951124 swapFree=65581052/67111528
[pid=14723] ppid=14721 vsize=7011948 CPUtime=4233.68 cores=1,3,5,7
/proc/14723/stat : 14723 (claspmt) R 14721 14723 14138 0 -1 4202496 1736920 0 0 0 422640 728 0 0 25 0 4 0 653684186 7180234752 1726663 33554432000 4194304 4964800 140736033715984 18446744073709551615 4653507 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/14723/statm: 1752987 1726663 460 189 0 1747336 0
[pid=14723/tid=14728] ppid=14721 vsize=7011948 CPUtime=1056.09 cores=1,3,5,7
/proc/14723/task/14728/stat : 14728 (claspmt) R 14721 14723 14138 0 -1 4202560 401784 0 0 0 105424 185 0 0 25 0 4 0 653684257 7180234752 1726663 33554432000 4194304 4964800 140736033715984 18446744073709551615 4370236 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14723/tid=14729] ppid=14721 vsize=7011948 CPUtime=1059.14 cores=1,3,5,7
/proc/14723/task/14729/stat : 14729 (claspmt) R 14721 14723 14138 0 -1 4202560 480899 0 0 0 105770 144 0 0 25 0 4 0 653684257 7180234752 1726663 33554432000 4194304 4964800 140736033715984 18446744073709551615 4313736 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14723/tid=14730] ppid=14721 vsize=7011948 CPUtime=1060.96 cores=1,3,5,7
/proc/14723/task/14730/stat : 14730 (claspmt) R 14721 14723 14138 0 -1 4202560 481917 0 0 0 105842 254 0 0 25 0 4 0 653684257 7180234752 1726663 33554432000 4194304 4964800 140736033715984 18446744073709551615 4313764 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4233.68
Current children cumulated vsize (KiB) 7011948

[startup+1122.3 s]
/proc/loadavg: 8.14 8.13 8.07 9/361 14772
/proc/meminfo: memFree=10793096/32951124 swapFree=65581052/67111528
[pid=14723] ppid=14721 vsize=7022188 CPUtime=4472.95 cores=1,3,5,7
/proc/14723/stat : 14723 (claspmt) R 14721 14723 14138 0 -1 4202496 1739384 0 0 0 446567 728 0 0 25 0 4 0 653684186 7190720512 1729127 33554432000 4194304 4964800 140736033715984 18446744073709551615 4632289 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/14723/statm: 1755547 1729127 460 189 0 1749896 0
[pid=14723/tid=14728] ppid=14721 vsize=7022188 CPUtime=1116.1 cores=1,3,5,7
/proc/14723/task/14728/stat : 14728 (claspmt) R 14721 14723 14138 0 -1 4202560 404212 0 0 0 111424 186 0 0 25 0 4 0 653684257 7190720512 1729127 33554432000 4194304 4964800 140736033715984 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14723/tid=14729] ppid=14721 vsize=7022188 CPUtime=1119.13 cores=1,3,5,7
/proc/14723/task/14729/stat : 14729 (claspmt) R 14721 14723 14138 0 -1 4202560 480923 0 0 0 111769 144 0 0 25 0 4 0 653684257 7190720512 1729127 33554432000 4194304 4964800 140736033715984 18446744073709551615 4313818 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14723/tid=14730] ppid=14721 vsize=7022188 CPUtime=1120.96 cores=1,3,5,7
/proc/14723/task/14730/stat : 14730 (claspmt) R 14721 14723 14138 0 -1 4202560 481929 0 0 0 111842 254 0 0 25 0 4 0 653684257 7190720512 1729127 33554432000 4194304 4964800 140736033715984 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4472.95
Current children cumulated vsize (KiB) 7022188

[startup+1182.3 s]
/proc/loadavg: 8.14 8.14 8.07 9/361 14773
/proc/meminfo: memFree=10628532/32951124 swapFree=65581052/67111528
[pid=14723] ppid=14721 vsize=7170668 CPUtime=4712.22 cores=1,3,5,7
/proc/14723/stat : 14723 (claspmt) R 14721 14723 14138 0 -1 4202496 1772090 0 0 0 470479 743 0 0 25 0 4 0 653684186 7342764032 1761833 33554432000 4194304 4964800 140736033715984 18446744073709551615 4320909 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/14723/statm: 1792667 1761833 460 189 0 1787016 0
[pid=14723/tid=14728] ppid=14721 vsize=7170668 CPUtime=1176.08 cores=1,3,5,7
/proc/14723/task/14728/stat : 14728 (claspmt) R 14721 14723 14138 0 -1 4202560 424776 0 0 0 117413 195 0 0 25 0 4 0 653684257 7342764032 1761833 33554432000 4194304 4964800 140736033715984 18446744073709551615 4684096 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14723/tid=14729] ppid=14721 vsize=7170668 CPUtime=1179.11 cores=1,3,5,7
/proc/14723/task/14729/stat : 14729 (claspmt) R 14721 14723 14138 0 -1 4202560 489749 0 0 0 117763 148 0 0 25 0 4 0 653684257 7342764032 1761833 33554432000 4194304 4964800 140736033715984 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14723/tid=14730] ppid=14721 vsize=7170668 CPUtime=1180.97 cores=1,3,5,7
/proc/14723/task/14730/stat : 14730 (claspmt) R 14721 14723 14138 0 -1 4202560 481979 0 0 0 117843 254 0 0 25 0 4 0 653684257 7342764032 1761833 33554432000 4194304 4964800 140736033715984 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4712.22
Current children cumulated vsize (KiB) 7170668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.4 s]
/proc/loadavg: 8.24 8.16 8.08 6/356 14775
/proc/meminfo: memFree=14201512/32951124 swapFree=65581052/67111528
[pid=14723] ppid=14721 vsize=7170668 CPUtime=4800.42 cores=1,3,5,7
/proc/14723/stat : 14723 (claspmt) R 14721 14723 14138 0 -1 4202496 1772108 0 0 0 479299 743 0 0 25 0 4 0 653684186 7342764032 1761562 33554432000 4194304 4964800 140736033715984 18446744073709551615 4342232 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/14723/statm: 1792667 1761562 460 189 0 1787016 0
[pid=14723/tid=14728] ppid=14721 vsize=7170668 CPUtime=1198.21 cores=1,3,5,7
/proc/14723/task/14728/stat : 14728 (claspmt) R 14721 14723 14138 0 -1 4202560 424776 0 0 0 119626 195 0 0 25 0 4 0 653684257 7342764032 1761562 33554432000 4194304 4964800 140736033715984 18446744073709551615 4653441 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14723/tid=14729] ppid=14721 vsize=7170668 CPUtime=1201.23 cores=1,3,5,7
/proc/14723/task/14729/stat : 14729 (claspmt) R 14721 14723 14138 0 -1 4202560 489766 0 0 0 119975 148 0 0 25 0 4 0 653684257 7342764032 1761562 33554432000 4194304 4964800 140736033715984 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14723/tid=14730] ppid=14721 vsize=7170668 CPUtime=1203.09 cores=1,3,5,7
/proc/14723/task/14730/stat : 14730 (claspmt) R 14721 14723 14138 0 -1 4202560 481980 0 0 0 120055 254 0 0 25 0 4 0 653684257 7342764032 1761562 33554432000 4194304 4964800 140736033715984 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.42
Current children cumulated vsize (KiB) 7170668

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

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

[startup+1204.6 s]
/proc/loadavg: 8.24 8.16 8.08 6/356 14775
/proc/meminfo: memFree=14201512/32951124 swapFree=65581052/67111528
[pid=14723] ppid=14721 vsize=7147576 CPUtime=4800.63 cores=1,3,5,7
/proc/14723/stat : 14723 (claspmt) R 14721 14723 14138 0 -1 4202496 1772118 0 0 0 479320 743 0 0 25 0 1 0 653684186 7319117824 1755799 33554432000 4194304 4964800 140736033715984 18446744073709551615 4646607 0 0 4096 18946 0 0 0 17 7 0 0 0
/proc/14723/statm: 1786894 1755799 470 189 0 1781243 0
Current children cumulated CPU time (s) 4800.63
Current children cumulated vsize (KiB) 7147576

[startup+1204.8 s]
/proc/loadavg: 8.24 8.16 8.08 6/356 14775
/proc/meminfo: memFree=14201512/32951124 swapFree=65581052/67111528
[pid=14723] ppid=14721 vsize=5753320 CPUtime=4800.84 cores=1,3,5,7
/proc/14723/stat : 14723 (claspmt) R 14721 14723 14138 0 -1 4202496 1772119 0 0 0 479335 749 0 0 25 0 1 0 653684186 5891399680 1390607 33554432000 4194304 4964800 140736033715984 18446744073709551615 218905774215 0 0 4096 18946 0 0 0 17 7 0 0 0
/proc/14723/statm: 1438330 1390607 471 189 0 1432679 0
Current children cumulated CPU time (s) 4800.84
Current children cumulated vsize (KiB) 5753320

[startup+1204.9 s]
/proc/loadavg: 8.24 8.16 8.08 6/356 14775
/proc/meminfo: memFree=14201512/32951124 swapFree=65581052/67111528
[pid=14723] ppid=14721 vsize=2926916 CPUtime=4800.94 cores=1,3,5,7
/proc/14723/stat : 14723 (claspmt) R 14721 14723 14138 0 -1 4202496 1772119 0 0 0 479335 759 0 0 25 0 1 0 653684186 2997161984 688212 33554432000 4194304 4964800 140736033715984 18446744073709551615 218905774215 0 0 4096 18946 0 0 0 17 7 0 0 0
/proc/14723/statm: 731729 688212 471 189 0 726078 0
Current children cumulated CPU time (s) 4800.94
Current children cumulated vsize (KiB) 2926916

Child status: 0
Real time (s): 1205
CPU time (s): 4801.04
CPU user time (s): 4793.35
CPU system time (s): 7.68983
CPU usage (%): 398.427
Max. virtual memory (cumulated for all children) (KiB): 7170668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.35
system time used= 7.68983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1772120
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= 16054
involuntary context switches= 35066

runsolver used 3.9364 second user time and 10.3214 second system time

The end

Launcher Data 

Begin job on node137 at 2011-05-15 02:54:25
IDJOB=3373586
IDBENCH=82392
IDSOLVER=1853
FILE ID=node137/3373586-1305420864
RUNJOBID= node137-1305420864-14704
PBS_JOBID= 13324553
Free space on /tmp= 73656 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-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-3373586-1305420864/watcher-3373586-1305420864 -o /tmp/evaluation-result-3373586-1305420864/solver-3373586-1305420864 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373586-1305420864.cnf

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

MD5SUM BENCH= 28233bedeee44da6e79e63b9febc4d1e
RANDOM SEED=408006805

node137.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.844
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.844
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.844
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.844
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.74
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.844
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.844
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.844
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.83
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.844
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:      21236080 kB
Buffers:        288872 kB
Cached:        3733452 kB
SwapCached:      36328 kB
Active:        1667280 kB
Inactive:      9822396 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21236080 kB
SwapTotal:    67111528 kB
SwapFree:     65581052 kB
Dirty:           21532 kB
Writeback:           0 kB
AnonPages:     7440912 kB
Mapped:          19500 kB
Slab:           121620 kB
PageTables:      38928 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 75941924 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= 73664 MiB
End job on node137 at 2011-05-15 03:14:31