Trace number 3373593

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.32 1207.59

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf
MD5SUM6c2d25eda70423643946d76935ceb950
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 variables1512832
Number of clauses8233086
Sum of the clauses size19530286
Maximum clause length1178
Minimum clause length1
Number of clauses of size 1846
Number of clauses of size 28165680
Number of clauses of size 31280
Number of clauses of size 41600
Number of clauses of size 51600
Number of clauses of size over 562080

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...420984/instance-3373593-1305420984.cnf
2.49/2.50	c Solving...
4800.08/1205.71	
4800.08/1205.71	*** INTERRUPTED! ***
4800.08/1205.71	*** Shutting down threads...
4802.22/1207.56	s UNKNOWN
4802.22/1207.56	
4802.22/1207.56	c INTERRUPTED   : 1
4802.22/1207.56	c Models        : 0+    
4802.22/1207.56	c Time          : 1206.622s (Solving: 1204.12s 1st Model: 0.00s Unsat: 0.00s)
4802.22/1207.56	c CPU Time      : 4801.340s

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

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: 6.64 7.79 7.91 2/364 17048
/proc/meminfo: memFree=22857696/32950928 swapFree=65730864/67111528
[pid=17048] ppid=17046 vsize=212944 CPUtime=0 cores=0,2,4,6
/proc/17048/stat : 17048 (claspmt) R 17046 17048 16432 0 -1 4202496 935 0 0 0 0 0 0 0 22 0 1 0 732329579 218054656 866 33554432000 4194304 4964800 140734707026624 18446744073709551615 4686341 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17048/statm: 53236 866 374 189 0 48110 0

[startup+0.052542 s]
/proc/loadavg: 6.64 7.79 7.91 2/364 17048
/proc/meminfo: memFree=22857696/32950928 swapFree=65730864/67111528
[pid=17048] ppid=17046 vsize=212944 CPUtime=0.04 cores=0,2,4,6
/proc/17048/stat : 17048 (claspmt) R 17046 17048 16432 0 -1 4202496 15751 0 0 0 3 1 0 0 22 0 1 0 732329579 218054656 15682 33554432000 4194304 4964800 140734707026624 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17048/statm: 53236 15696 375 189 0 48110 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 212944

[startup+0.100533 s]
/proc/loadavg: 6.64 7.79 7.91 2/364 17048
/proc/meminfo: memFree=22857696/32950928 swapFree=65730864/67111528
[pid=17048] ppid=17046 vsize=212944 CPUtime=0.09 cores=0,2,4,6
/proc/17048/stat : 17048 (claspmt) R 17046 17048 16432 0 -1 4202496 33706 0 0 0 6 3 0 0 22 0 1 0 732329579 218054656 33637 33554432000 4194304 4964800 140734707026624 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17048/statm: 53236 33651 375 189 0 48110 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 212944

[startup+0.300494 s]
/proc/loadavg: 6.64 7.79 7.91 2/364 17048
/proc/meminfo: memFree=22857696/32950928 swapFree=65730864/67111528
[pid=17048] ppid=17046 vsize=319456 CPUtime=0.29 cores=0,2,4,6
/proc/17048/stat : 17048 (claspmt) R 17046 17048 16432 0 -1 4202496 85523 0 0 0 21 8 0 0 23 0 1 0 732329579 327122944 73635 33554432000 4194304 4964800 140734707026624 18446744073709551615 4324319 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17048/statm: 79864 73635 389 189 0 74738 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 319456

[startup+0.700421 s]
/proc/loadavg: 6.64 7.79 7.91 2/364 17048
/proc/meminfo: memFree=22857696/32950928 swapFree=65730864/67111528
[pid=17048] ppid=17046 vsize=329316 CPUtime=0.69 cores=0,2,4,6
/proc/17048/stat : 17048 (claspmt) R 17046 17048 16432 0 -1 4202496 88102 0 0 0 60 9 0 0 25 0 1 0 732329579 337219584 76214 33554432000 4194304 4964800 140734707026624 18446744073709551615 260905054917 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17048/statm: 82329 76214 389 189 0 77203 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 329316

[startup+1.50027 s]
/proc/loadavg: 6.64 7.79 7.91 6/368 17052
/proc/meminfo: memFree=22486788/32950928 swapFree=65730864/67111528
[pid=17048] ppid=17046 vsize=369228 CPUtime=1.49 cores=0,2,4,6
/proc/17048/stat : 17048 (claspmt) R 17046 17048 16432 0 -1 4202496 98124 0 0 0 136 13 0 0 25 0 1 0 732329579 378089472 86153 33554432000 4194304 4964800 140734707026624 18446744073709551615 260905393920 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17048/statm: 92307 86153 389 189 0 87181 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 369228

[startup+3.10099 s]
/proc/loadavg: 6.64 7.79 7.91 6/368 17052
/proc/meminfo: memFree=22427392/32950928 swapFree=65730864/67111528
[pid=17048] ppid=17046 vsize=1024700 CPUtime=4.11 cores=0,2,4,6
/proc/17048/stat : 17048 (claspmt) R 17046 17048 16432 0 -1 4202496 308392 0 0 0 363 48 0 0 21 0 4 0 732329579 1049292800 206646 33554432000 4194304 4964800 140734707026624 18446744073709551615 4370242 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/17048/statm: 256175 206646 444 189 0 250524 0
Current children cumulated CPU time (s) 4.11
Current children cumulated vsize (KiB) 1024700

[startup+6.3004 s]
/proc/loadavg: 6.83 7.81 7.91 9/371 17055
/proc/meminfo: memFree=21883588/32950928 swapFree=65730864/67111528
[pid=17048] ppid=17046 vsize=1036096 CPUtime=16.87 cores=0,2,4,6
/proc/17048/stat : 17048 (claspmt) R 17046 17048 16432 0 -1 4202496 332069 0 0 0 1632 55 0 0 25 0 4 0 732329579 1060962304 229929 33554432000 4194304 4964800 140734707026624 18446744073709551615 4371928 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/17048/statm: 259024 229929 452 189 0 253373 0
[pid=17048/tid=17053] ppid=17046 vsize=1036096 CPUtime=3.51 cores=0,2,4,6
/proc/17048/task/17053/stat : 17053 (claspmt) R 17046 17048 16432 0 -1 4202560 43475 0 0 0 344 7 0 0 20 0 4 0 732329830 1060962304 229929 33554432000 4194304 4964800 140734707026624 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17048/tid=17054] ppid=17046 vsize=1036096 CPUtime=3.77 cores=0,2,4,6
/proc/17048/task/17054/stat : 17054 (claspmt) R 17046 17048 16432 0 -1 4202560 74852 0 0 0 364 13 0 0 25 0 4 0 732329830 1060962304 229930 33554432000 4194304 4964800 140734707026624 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17048/tid=17055] ppid=17046 vsize=1036096 CPUtime=3.77 cores=0,2,4,6
/proc/17048/task/17055/stat : 17055 (claspmt) R 17046 17048 16432 0 -1 4202560 70100 0 0 0 364 13 0 0 25 0 4 0 732329830 1060962304 229930 33554432000 4194304 4964800 140734707026624 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16.87
Current children cumulated vsize (KiB) 1036096

[startup+12.7002 s]
/proc/loadavg: 6.93 7.81 7.91 9/371 17055
/proc/meminfo: memFree=21732316/32950928 swapFree=65730864/67111528
[pid=17048] ppid=17046 vsize=1178760 CPUtime=42.38 cores=0,2,4,6
/proc/17048/stat : 17048 (claspmt) R 17046 17048 16432 0 -1 4202496 358920 0 0 0 4174 64 0 0 25 0 4 0 732329579 1207050240 256767 33554432000 4194304 4964800 140734707026624 18446744073709551615 4669089 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/17048/statm: 294690 256768 452 189 0 289039 0
[pid=17048/tid=17053] ppid=17046 vsize=1178760 CPUtime=9.91 cores=0,2,4,6
/proc/17048/task/17053/stat : 17053 (claspmt) R 17046 17048 16432 0 -1 4202560 46353 0 0 0 983 8 0 0 25 0 4 0 732329830 1207050240 256768 33554432000 4194304 4964800 140734707026624 18446744073709551615 4670134 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17048/tid=17054] ppid=17046 vsize=1178760 CPUtime=10.16 cores=0,2,4,6
/proc/17048/task/17054/stat : 17054 (claspmt) R 17046 17048 16432 0 -1 4202560 89374 0 0 0 998 18 0 0 25 0 4 0 732329830 1207050240 256768 33554432000 4194304 4964800 140734707026624 18446744073709551615 260905055265 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17048/tid=17055] ppid=17046 vsize=1178760 CPUtime=10.17 cores=0,2,4,6
/proc/17048/task/17055/stat : 17055 (claspmt) R 17046 17048 16432 0 -1 4202560 77512 0 0 0 1002 15 0 0 25 0 4 0 732329830 1207050240 256768 33554432000 4194304 4964800 140734707026624 18446744073709551615 4362958 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 42.38
Current children cumulated vsize (KiB) 1178760

[startup+25.5009 s]
/proc/loadavg: 7.16 7.82 7.91 9/371 17056
/proc/meminfo: memFree=21556600/32950928 swapFree=65730864/67111528
[pid=17048] ppid=17046 vsize=1252804 CPUtime=93.43 cores=0,2,4,6
/proc/17048/stat : 17048 (claspmt) R 17046 17048 16432 0 -1 4202496 385368 0 0 0 9268 75 0 0 25 0 4 0 732329579 1282871296 283215 33554432000 4194304 4964800 140734707026624 18446744073709551615 4313753 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/17048/statm: 313201 283215 452 189 0 307550 0
[pid=17048/tid=17053] ppid=17046 vsize=1252804 CPUtime=22.71 cores=0,2,4,6
/proc/17048/task/17053/stat : 17053 (claspmt) R 17046 17048 16432 0 -1 4202560 48490 0 0 0 2262 9 0 0 25 0 4 0 732329830 1282871296 283215 33554432000 4194304 4964800 140734707026624 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17048/tid=17054] ppid=17046 vsize=1252804 CPUtime=22.96 cores=0,2,4,6
/proc/17048/task/17054/stat : 17054 (claspmt) R 17046 17048 16432 0 -1 4202560 103270 0 0 0 2272 24 0 0 25 0 4 0 732329830 1282871296 283215 33554432000 4194304 4964800 140734707026624 18446744073709551615 4362944 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17048/tid=17055] ppid=17046 vsize=1252804 CPUtime=22.98 cores=0,2,4,6
/proc/17048/task/17055/stat : 17055 (claspmt) R 17046 17048 16432 0 -1 4202560 85137 0 0 0 2280 18 0 0 25 0 4 0 732329830 1282871296 283215 33554432000 4194304 4964800 140734707026624 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 93.43
Current children cumulated vsize (KiB) 1252804

[startup+51.1012 s]
/proc/loadavg: 7.52 7.85 7.92 9/371 17056
/proc/meminfo: memFree=21243088/32950928 swapFree=65730864/67111528
[pid=17048] ppid=17046 vsize=1529892 CPUtime=195.52 cores=0,2,4,6
/proc/17048/stat : 17048 (claspmt) R 17046 17048 16432 0 -1 4202496 437836 0 0 0 19457 95 0 0 25 0 4 0 732329579 1566609408 335680 33554432000 4194304 4964800 140734707026624 18446744073709551615 4631811 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/17048/statm: 382473 335680 452 189 0 376822 0
[pid=17048/tid=17053] ppid=17046 vsize=1529892 CPUtime=48.3 cores=0,2,4,6
/proc/17048/task/17053/stat : 17053 (claspmt) R 17046 17048 16432 0 -1 4202560 52729 0 0 0 4819 11 0 0 25 0 4 0 732329830 1566609408 335680 33554432000 4194304 4964800 140734707026624 18446744073709551615 4313751 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17048/tid=17054] ppid=17046 vsize=1529892 CPUtime=48.57 cores=0,2,4,6
/proc/17048/task/17054/stat : 17054 (claspmt) R 17046 17048 16432 0 -1 4202560 132711 0 0 0 4824 33 0 0 25 0 4 0 732329830 1566609408 335680 33554432000 4194304 4964800 140734707026624 18446744073709551615 4668998 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17048/tid=17055] ppid=17046 vsize=1529892 CPUtime=48.58 cores=0,2,4,6
/proc/17048/task/17055/stat : 17055 (claspmt) R 17046 17048 16432 0 -1 4202560 99915 0 0 0 4834 24 0 0 25 0 4 0 732329830 1566609408 335680 33554432000 4194304 4964800 140734707026624 18446744073709551615 4313764 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 195.52
Current children cumulated vsize (KiB) 1529892

[startup+102.314 s]
/proc/loadavg: 7.83 7.89 7.92 9/371 17058
/proc/meminfo: memFree=20676496/32950928 swapFree=65730864/67111528
[pid=17048] ppid=17046 vsize=1789300 CPUtime=399.75 cores=0,2,4,6
/proc/17048/stat : 17048 (claspmt) R 17046 17048 16432 0 -1 4202496 521168 0 0 0 39848 127 0 0 25 0 4 0 732329579 1832243200 418871 33554432000 4194304 4964800 140734707026624 18446744073709551615 4379895 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/17048/statm: 447325 418871 452 189 0 441674 0
[pid=17048/tid=17053] ppid=17046 vsize=1789300 CPUtime=99.51 cores=0,2,4,6
/proc/17048/task/17053/stat : 17053 (claspmt) R 17046 17048 16432 0 -1 4202560 59217 0 0 0 9937 14 0 0 25 0 4 0 732329830 1832243200 418871 33554432000 4194304 4964800 140734707026624 18446744073709551615 4369308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17048/tid=17054] ppid=17046 vsize=1789300 CPUtime=99.76 cores=0,2,4,6
/proc/17048/task/17054/stat : 17054 (claspmt) R 17046 17048 16432 0 -1 4202560 183775 0 0 0 9926 50 0 0 25 0 4 0 732329830 1832243200 418871 33554432000 4194304 4964800 140734707026624 18446744073709551615 4362944 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17048/tid=17055] ppid=17046 vsize=1789300 CPUtime=99.79 cores=0,2,4,6
/proc/17048/task/17055/stat : 17055 (claspmt) R 17046 17048 16432 0 -1 4202560 117021 0 0 0 9948 31 0 0 25 0 4 0 732329830 1832243200 418871 33554432000 4194304 4964800 140734707026624 18446744073709551615 260905055265 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 399.75
Current children cumulated vsize (KiB) 1789300

[startup+162.301 s]
/proc/loadavg: 8.00 7.92 7.93 9/371 17089
/proc/meminfo: memFree=19922080/32950928 swapFree=65730864/67111528
[pid=17048] ppid=17046 vsize=2384332 CPUtime=638.97 cores=0,2,4,6
/proc/17048/stat : 17048 (claspmt) R 17046 17048 16432 0 -1 4202496 660946 0 0 0 63715 182 0 0 25 0 4 0 732329579 2441555968 558585 33554432000 4194304 4964800 140734707026624 18446744073709551615 4370295 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/17048/statm: 596083 558585 452 189 0 590432 0
[pid=17048/tid=17053] ppid=17046 vsize=2384332 CPUtime=159.5 cores=0,2,4,6
/proc/17048/task/17053/stat : 17053 (claspmt) R 17046 17048 16432 0 -1 4202560 73966 0 0 0 15921 29 0 0 25 0 4 0 732329830 2441555968 558585 33554432000 4194304 4964800 140734707026624 18446744073709551615 4370387 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17048/tid=17054] ppid=17046 vsize=2384332 CPUtime=159.74 cores=0,2,4,6
/proc/17048/task/17054/stat : 17054 (claspmt) R 17046 17048 16432 0 -1 4202560 251670 0 0 0 15905 69 0 0 25 0 4 0 732329830 2441555968 558585 33554432000 4194304 4964800 140734707026624 18446744073709551615 4678061 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17048/tid=17055] ppid=17046 vsize=2384332 CPUtime=159.77 cores=0,2,4,6
/proc/17048/task/17055/stat : 17055 (claspmt) R 17046 17048 16432 0 -1 4202560 158255 0 0 0 15932 45 0 0 25 0 4 0 732329830 2441555968 558585 33554432000 4194304 4964800 140734707026624 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 638.97
Current children cumulated vsize (KiB) 2384332

[startup+222.301 s]
/proc/loadavg: 8.07 7.95 7.93 9/371 17091
/proc/meminfo: memFree=19145708/32950928 swapFree=65730864/67111528
[pid=17048] ppid=17046 vsize=2720404 CPUtime=878.25 cores=0,2,4,6
/proc/17048/stat : 17048 (claspmt) R 17046 17048 16432 0 -1 4202496 742247 0 0 0 87612 213 0 0 25 0 4 0 732329579 2785693696 639823 33554432000 4194304 4964800 140734707026624 18446744073709551615 4370387 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/17048/statm: 680101 639829 454 189 0 674450 0
[pid=17048/tid=17053] ppid=17046 vsize=2720404 CPUtime=219.5 cores=0,2,4,6
/proc/17048/task/17053/stat : 17053 (claspmt) R 17046 17048 16432 0 -1 4202560 85858 0 0 0 21916 34 0 0 25 0 4 0 732329830 2785693696 639829 33554432000 4194304 4964800 140734707026624 18446744073709551615 4370224 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17048/tid=17054] ppid=17046 vsize=2720404 CPUtime=219.73 cores=0,2,4,6
/proc/17048/task/17054/stat : 17054 (claspmt) R 17046 17048 16432 0 -1 4202560 287361 0 0 0 21893 80 0 0 25 0 4 0 732329830 2785693696 639829 33554432000 4194304 4964800 140734707026624 18446744073709551615 260905091260 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17048/tid=17055] ppid=17046 vsize=2720404 CPUtime=219.77 cores=0,2,4,6
/proc/17048/task/17055/stat : 17055 (claspmt) R 17046 17048 16432 0 -1 4202560 181179 0 0 0 21924 53 0 0 25 0 4 0 732329830 2785693696 639829 33554432000 4194304 4964800 140734707026624 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 878.25
Current children cumulated vsize (KiB) 2720404

[startup+282.301 s]
/proc/loadavg: 8.06 7.97 7.94 9/371 17101
/proc/meminfo: memFree=18517520/32950928 swapFree=65730864/67111528
[pid=17048] ppid=17046 vsize=3152004 CPUtime=1117.5 cores=0,2,4,6
/proc/17048/stat : 17048 (claspmt) R 17046 17048 16432 0 -1 4202496 835620 0 0 0 111499 251 0 0 25 0 4 0 732329579 3227652096 733194 33554432000 4194304 4964800 140734707026624 18446744073709551615 4670180 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/17048/statm: 788001 733194 454 189 0 782350 0
[pid=17048/tid=17053] ppid=17046 vsize=3152004 CPUtime=279.5 cores=0,2,4,6
/proc/17048/task/17053/stat : 17053 (claspmt) R 17046 17048 16432 0 -1 4202560 95830 0 0 0 27910 40 0 0 25 0 4 0 732329830 3227652096 733194 33554432000 4194304 4964800 140734707026624 18446744073709551615 4313736 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17048/tid=17054] ppid=17046 vsize=3152004 CPUtime=279.7 cores=0,2,4,6
/proc/17048/task/17054/stat : 17054 (claspmt) R 17046 17048 16432 0 -1 4202560 340003 0 0 0 27872 98 0 0 25 0 4 0 732329830 3227652096 733194 33554432000 4194304 4964800 140734707026624 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17048/tid=17055] ppid=17046 vsize=3152004 CPUtime=279.75 cores=0,2,4,6
/proc/17048/task/17055/stat : 17055 (claspmt) R 17046 17048 16432 0 -1 4202560 202513 0 0 0 27911 64 0 0 25 0 4 0 732329830 3227652096 733194 33554432000 4194304 4964800 140734707026624 18446744073709551615 4313761 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1117.5

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

/proc/17048/task/17055/stat : 17055 (claspmt) R 17046 17048 16432 0 -1 4202560 341921 0 0 0 75853 125 0 0 25 0 4 0 732329830 5071290368 1197070 33554432000 4194304 4964800 140734707026624 18446744073709551615 4678045 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3031.82
Current children cumulated vsize (KiB) 4952432

[startup+822.301 s]
/proc/loadavg: 8.06 8.07 8.00 9/371 17116
/proc/meminfo: memFree=14679212/32950928 swapFree=65730864/67111528
[pid=17048] ppid=17046 vsize=5211796 CPUtime=3271.05 cores=0,2,4,6
/proc/17048/stat : 17048 (claspmt) R 17046 17048 16432 0 -1 4202496 1385902 0 0 0 326626 479 0 0 25 0 4 0 732329579 5336879104 1283154 33554432000 4194304 4964800 140734707026624 18446744073709551615 4678036 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/17048/statm: 1302949 1283154 454 189 0 1297298 0
[pid=17048/tid=17053] ppid=17046 vsize=5211796 CPUtime=819.52 cores=0,2,4,6
/proc/17048/task/17053/stat : 17053 (claspmt) R 17046 17048 16432 0 -1 4202560 156812 0 0 0 81880 72 0 0 25 0 4 0 732329830 5336879104 1283154 33554432000 4194304 4964800 140734707026624 18446744073709551615 4651380 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17048/tid=17054] ppid=17046 vsize=5211796 CPUtime=819.62 cores=0,2,4,6
/proc/17048/task/17054/stat : 17054 (claspmt) R 17046 17048 16432 0 -1 4202560 642892 0 0 0 81748 214 0 0 25 0 4 0 732329830 5336879104 1283154 33554432000 4194304 4964800 140734707026624 18446744073709551615 4313753 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17048/tid=17055] ppid=17046 vsize=5211796 CPUtime=819.77 cores=0,2,4,6
/proc/17048/task/17055/stat : 17055 (claspmt) R 17046 17048 16432 0 -1 4202560 348097 0 0 0 81851 126 0 0 25 0 4 0 732329830 5336879104 1283154 33554432000 4194304 4964800 140734707026624 18446744073709551615 4684707 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3271.05
Current children cumulated vsize (KiB) 5211796

[startup+882.301 s]
/proc/loadavg: 8.18 8.10 8.01 9/371 17118
/proc/meminfo: memFree=14290216/32950928 swapFree=65730864/67111528
[pid=17048] ppid=17046 vsize=5519448 CPUtime=3510.33 cores=0,2,4,6
/proc/17048/stat : 17048 (claspmt) R 17046 17048 16432 0 -1 4202496 1445080 0 0 0 350529 504 0 0 25 0 4 0 732329579 5651914752 1342283 33554432000 4194304 4964800 140734707026624 18446744073709551615 4370352 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/17048/statm: 1379862 1342283 454 189 0 1374211 0
[pid=17048/tid=17053] ppid=17046 vsize=5519448 CPUtime=879.52 cores=0,2,4,6
/proc/17048/task/17053/stat : 17053 (claspmt) R 17046 17048 16432 0 -1 4202560 168188 0 0 0 87877 75 0 0 25 0 4 0 732329830 5651914752 1342283 33554432000 4194304 4964800 140734707026624 18446744073709551615 4370281 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17048/tid=17054] ppid=17046 vsize=5519448 CPUtime=879.61 cores=0,2,4,6
/proc/17048/task/17054/stat : 17054 (claspmt) R 17046 17048 16432 0 -1 4202560 666694 0 0 0 87737 224 0 0 25 0 4 0 732329830 5651914752 1342283 33554432000 4194304 4964800 140734707026624 18446744073709551615 4362944 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17048/tid=17055] ppid=17046 vsize=5519448 CPUtime=879.77 cores=0,2,4,6
/proc/17048/task/17055/stat : 17055 (claspmt) R 17046 17048 16432 0 -1 4202560 362111 0 0 0 87845 132 0 0 25 0 4 0 732329830 5651914752 1342283 33554432000 4194304 4964800 140734707026624 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3510.33
Current children cumulated vsize (KiB) 5519448

[startup+942.301 s]
/proc/loadavg: 8.14 8.09 8.01 9/371 17119
/proc/meminfo: memFree=13948824/32950928 swapFree=65730864/67111528
[pid=17048] ppid=17046 vsize=5718076 CPUtime=3749.63 cores=0,2,4,6
/proc/17048/stat : 17048 (claspmt) R 17046 17048 16432 0 -1 4202496 1489197 0 0 0 374437 526 0 0 25 0 4 0 732329579 5855309824 1386366 33554432000 4194304 4964800 140734707026624 18446744073709551615 4342904 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/17048/statm: 1429519 1386366 454 189 0 1423868 0
[pid=17048/tid=17053] ppid=17046 vsize=5718076 CPUtime=939.52 cores=0,2,4,6
/proc/17048/task/17053/stat : 17053 (claspmt) R 17046 17048 16432 0 -1 4202560 177282 0 0 0 93871 81 0 0 25 0 4 0 732329830 5855309824 1386366 33554432000 4194304 4964800 140734707026624 18446744073709551615 4370224 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17048/tid=17054] ppid=17046 vsize=5718076 CPUtime=939.6 cores=0,2,4,6
/proc/17048/task/17054/stat : 17054 (claspmt) R 17046 17048 16432 0 -1 4202560 674900 0 0 0 93733 227 0 0 25 0 4 0 732329830 5855309824 1386366 33554432000 4194304 4964800 140734707026624 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17048/tid=17055] ppid=17046 vsize=5718076 CPUtime=939.78 cores=0,2,4,6
/proc/17048/task/17055/stat : 17055 (claspmt) R 17046 17048 16432 0 -1 4202560 387488 0 0 0 93833 145 0 0 25 0 4 0 732329830 5855309824 1386366 33554432000 4194304 4964800 140734707026624 18446744073709551615 4363491 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3749.63
Current children cumulated vsize (KiB) 5718076

[startup+1002.3 s]
/proc/loadavg: 8.16 8.10 8.02 9/371 17121
/proc/meminfo: memFree=13604084/32950928 swapFree=65730864/67111528
[pid=17048] ppid=17046 vsize=5894760 CPUtime=3988.89 cores=0,2,4,6
/proc/17048/stat : 17048 (claspmt) R 17046 17048 16432 0 -1 4202496 1540316 0 0 0 398343 546 0 0 25 0 4 0 732329579 6036234240 1437484 33554432000 4194304 4964800 140734707026624 18446744073709551615 4668900 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/17048/statm: 1473690 1437484 454 189 0 1468039 0
[pid=17048/tid=17053] ppid=17046 vsize=5894760 CPUtime=999.52 cores=0,2,4,6
/proc/17048/task/17053/stat : 17053 (claspmt) R 17046 17048 16432 0 -1 4202560 187407 0 0 0 99866 86 0 0 25 0 4 0 732329830 6036234240 1437484 33554432000 4194304 4964800 140734707026624 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17048/tid=17054] ppid=17046 vsize=5894760 CPUtime=999.59 cores=0,2,4,6
/proc/17048/task/17054/stat : 17054 (claspmt) R 17046 17048 16432 0 -1 4202560 697109 0 0 0 99725 234 0 0 25 0 4 0 732329830 6036234240 1437484 33554432000 4194304 4964800 140734707026624 18446744073709551615 4313761 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17048/tid=17055] ppid=17046 vsize=5894760 CPUtime=999.78 cores=0,2,4,6
/proc/17048/task/17055/stat : 17055 (claspmt) R 17046 17048 16432 0 -1 4202560 402803 0 0 0 99827 151 0 0 25 0 4 0 732329830 6036234240 1437484 33554432000 4194304 4964800 140734707026624 18446744073709551615 4313736 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3988.89
Current children cumulated vsize (KiB) 5894760

[startup+1062.3 s]
/proc/loadavg: 8.16 8.11 8.02 9/371 17122
/proc/meminfo: memFree=13270192/32950928 swapFree=65730864/67111528
[pid=17048] ppid=17046 vsize=6091368 CPUtime=4228.19 cores=0,2,4,6
/proc/17048/stat : 17048 (claspmt) R 17046 17048 16432 0 -1 4202496 1587976 0 0 0 422245 574 0 0 25 0 4 0 732329579 6237560832 1485132 33554432000 4194304 4964800 140734707026624 18446744073709551615 4670299 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/17048/statm: 1522842 1485132 454 189 0 1517191 0
[pid=17048/tid=17053] ppid=17046 vsize=6091368 CPUtime=1059.52 cores=0,2,4,6
/proc/17048/task/17053/stat : 17053 (claspmt) R 17046 17048 16432 0 -1 4202560 198875 0 0 0 105858 94 0 0 25 0 4 0 732329830 6237560832 1485132 33554432000 4194304 4964800 140734707026624 18446744073709551615 4652240 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17048/tid=17054] ppid=17046 vsize=6091368 CPUtime=1059.58 cores=0,2,4,6
/proc/17048/task/17054/stat : 17054 (claspmt) R 17046 17048 16432 0 -1 4202560 714295 0 0 0 105716 242 0 0 25 0 4 0 732329830 6237560832 1485132 33554432000 4194304 4964800 140734707026624 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17048/tid=17055] ppid=17046 vsize=6091368 CPUtime=1059.78 cores=0,2,4,6
/proc/17048/task/17055/stat : 17055 (claspmt) R 17046 17048 16432 0 -1 4202560 421804 0 0 0 105816 162 0 0 25 0 4 0 732329830 6237560832 1485132 33554432000 4194304 4964800 140734707026624 18446744073709551615 4313801 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4228.19
Current children cumulated vsize (KiB) 6091368

[startup+1122.3 s]
/proc/loadavg: 8.09 8.10 8.02 9/371 17124
/proc/meminfo: memFree=12954408/32950928 swapFree=65730864/67111528
[pid=17048] ppid=17046 vsize=6287976 CPUtime=4467.47 cores=0,2,4,6
/proc/17048/stat : 17048 (claspmt) R 17046 17048 16432 0 -1 4202496 1630582 0 0 0 446150 597 0 0 25 0 4 0 732329579 6438887424 1527550 33554432000 4194304 4964800 140734707026624 18446744073709551615 4668544 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/17048/statm: 1571994 1527550 454 189 0 1566343 0
[pid=17048/tid=17053] ppid=17046 vsize=6287976 CPUtime=1119.52 cores=0,2,4,6
/proc/17048/task/17053/stat : 17053 (claspmt) R 17046 17048 16432 0 -1 4202560 205868 0 0 0 111852 100 0 0 25 0 4 0 732329830 6438887424 1527550 33554432000 4194304 4964800 140734707026624 18446744073709551615 4370443 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17048/tid=17054] ppid=17046 vsize=6287976 CPUtime=1119.57 cores=0,2,4,6
/proc/17048/task/17054/stat : 17054 (claspmt) R 17046 17048 16432 0 -1 4202560 722302 0 0 0 111712 245 0 0 25 0 4 0 732329830 6438887424 1527550 33554432000 4194304 4964800 140734707026624 18446744073709551615 4313751 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17048/tid=17055] ppid=17046 vsize=6287976 CPUtime=1119.78 cores=0,2,4,6
/proc/17048/task/17055/stat : 17055 (claspmt) R 17046 17048 16432 0 -1 4202560 439524 0 0 0 111808 170 0 0 25 0 4 0 732329830 6438887424 1527550 33554432000 4194304 4964800 140734707026624 18446744073709551615 4313761 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4467.47
Current children cumulated vsize (KiB) 6287976

[startup+1182.3 s]
/proc/loadavg: 8.18 8.13 8.03 9/371 17125
/proc/meminfo: memFree=12478564/32950928 swapFree=65730864/67111528
[pid=17048] ppid=17046 vsize=6507136 CPUtime=4706.74 cores=0,2,4,6
/proc/17048/stat : 17048 (claspmt) R 17046 17048 16432 0 -1 4202496 1696207 0 0 0 470054 620 0 0 25 0 4 0 732329579 6663307264 1593139 33554432000 4194304 4964800 140734707026624 18446744073709551615 4370381 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/17048/statm: 1626784 1593139 454 189 0 1621133 0
[pid=17048/tid=17053] ppid=17046 vsize=6507136 CPUtime=1179.52 cores=0,2,4,6
/proc/17048/task/17053/stat : 17053 (claspmt) R 17046 17048 16432 0 -1 4202560 214691 0 0 0 117850 102 0 0 25 0 4 0 732329830 6663307264 1593139 33554432000 4194304 4964800 140734707026624 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17048/tid=17054] ppid=17046 vsize=6507136 CPUtime=1179.55 cores=0,2,4,6
/proc/17048/task/17054/stat : 17054 (claspmt) R 17046 17048 16432 0 -1 4202560 755044 0 0 0 117700 255 0 0 25 0 4 0 732329830 6663307264 1593139 33554432000 4194304 4964800 140734707026624 18446744073709551615 4647731 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17048/tid=17055] ppid=17046 vsize=6507136 CPUtime=1179.78 cores=0,2,4,6
/proc/17048/task/17055/stat : 17055 (claspmt) R 17046 17048 16432 0 -1 4202560 454650 0 0 0 117802 176 0 0 25 0 4 0 732329830 6663307264 1593139 33554432000 4194304 4964800 140734707026624 18446744073709551615 4313753 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4706.74
Current children cumulated vsize (KiB) 6507136



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1205.7 s]
/proc/loadavg: 8.12 8.12 8.03 9/371 17126
/proc/meminfo: memFree=12377488/32950928 swapFree=65730864/67111528
[pid=17048] ppid=17046 vsize=6586120 CPUtime=4800.08 cores=0,2,4,6
/proc/17048/stat : 17048 (claspmt) R 17046 17048 16432 0 -1 4202496 1711359 0 0 0 479378 630 0 0 25 0 4 0 732329579 6744186880 1608291 33554432000 4194304 4964800 140734707026624 18446744073709551615 4669011 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/17048/statm: 1646530 1608291 454 189 0 1640879 0
[pid=17048/tid=17053] ppid=17046 vsize=6586120 CPUtime=1202.93 cores=0,2,4,6
/proc/17048/task/17053/stat : 17053 (claspmt) R 17046 17048 16432 0 -1 4202560 219733 0 0 0 120186 107 0 0 25 0 4 0 732329830 6744186880 1608291 33554432000 4194304 4964800 140734707026624 18446744073709551615 4371527 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17048/tid=17054] ppid=17046 vsize=6586120 CPUtime=1202.96 cores=0,2,4,6
/proc/17048/task/17054/stat : 17054 (claspmt) R 17046 17048 16432 0 -1 4202560 755048 0 0 0 120041 255 0 0 25 0 4 0 732329830 6744186880 1608291 33554432000 4194304 4964800 140734707026624 18446744073709551615 4313753 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17048/tid=17055] ppid=17046 vsize=6586120 CPUtime=1203.19 cores=0,2,4,6
/proc/17048/task/17055/stat : 17055 (claspmt) R 17046 17048 16432 0 -1 4202560 461507 0 0 0 120139 180 0 0 25 0 4 0 732329830 6744186880 1608291 33554432000 4194304 4964800 140734707026624 18446744073709551615 4313736 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 6586120

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

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

[startup+1206.2 s]
/proc/loadavg: 8.12 8.12 8.03 9/371 17126
/proc/meminfo: memFree=12377488/32950928 swapFree=65730864/67111528
[pid=17048] ppid=17046 vsize=6586120 CPUtime=4800.91 cores=0,2,4,6
/proc/17048/stat : 17048 (claspmt) S 17046 17048 16432 0 -1 4202496 1711363 0 0 0 479461 630 0 0 25 0 2 0 732329579 6744186880 1608295 33554432000 4194304 4964800 140734707026624 18446744073709551615 260917196773 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/17048/statm: 1646530 1608295 456 189 0 1640879 0
[pid=17048/tid=17054] ppid=17046 vsize=6586120 CPUtime=1203.45 cores=0,2,4,6
/proc/17048/task/17054/stat : 17054 (claspmt) R 17046 17048 16432 0 -1 4202560 755048 0 0 0 120090 255 0 0 25 0 2 0 732329830 6744186880 1608295 33554432000 4194304 4964800 140734707026624 18446744073709551615 4313736 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.91
Current children cumulated vsize (KiB) 6586120

[startup+1207 s]
/proc/loadavg: 8.12 8.12 8.03 6/370 17127
/proc/meminfo: memFree=12376256/32950928 swapFree=65730864/67111528
[pid=17048] ppid=17046 vsize=6182796 CPUtime=4801.72 cores=0,2,4,6
/proc/17048/stat : 17048 (claspmt) R 17046 17048 16432 0 -1 4202496 1711371 0 0 0 479540 632 0 0 18 0 1 0 732329579 6331183104 1518636 33554432000 4194304 4964800 140734707026624 18446744073709551615 260905050069 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/17048/statm: 1545699 1518636 464 189 0 1540048 0
Current children cumulated CPU time (s) 4801.72
Current children cumulated vsize (KiB) 6182796

[startup+1207.4 s]
/proc/loadavg: 8.12 8.12 8.03 6/370 17127
/proc/meminfo: memFree=12376256/32950928 swapFree=65730864/67111528
[pid=17048] ppid=17046 vsize=5610404 CPUtime=4802.12 cores=0,2,4,6
/proc/17048/stat : 17048 (claspmt) R 17046 17048 16432 0 -1 4202496 1711372 0 0 0 479578 634 0 0 18 0 1 0 732329579 5745053696 1373782 33554432000 4194304 4964800 140734707026624 18446744073709551615 260905437319 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/17048/statm: 1402601 1373782 465 189 0 1396950 0
Current children cumulated CPU time (s) 4802.12
Current children cumulated vsize (KiB) 5610404

[startup+1207.5 s]
/proc/loadavg: 8.12 8.12 8.03 6/370 17127
/proc/meminfo: memFree=12376256/32950928 swapFree=65730864/67111528
[pid=17048] ppid=17046 vsize=2857892 CPUtime=4802.22 cores=0,2,4,6
/proc/17048/stat : 17048 (claspmt) R 17046 17048 16432 0 -1 4202496 1711372 0 0 0 479578 644 0 0 19 0 1 0 732329579 2926481408 657956 33554432000 4194304 4964800 140734707026624 18446744073709551615 260905437319 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/17048/statm: 714473 657956 465 189 0 708822 0
Current children cumulated CPU time (s) 4802.22
Current children cumulated vsize (KiB) 2857892

Child status: 0
Real time (s): 1207.59
CPU time (s): 4802.32
CPU user time (s): 4795.79
CPU system time (s): 6.53201
CPU usage (%): 397.677
Max. virtual memory (cumulated for all children) (KiB): 6586120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.79
system time used= 6.53201
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1711373
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= 6246
involuntary context switches= 23149

runsolver used 3.9544 second user time and 10.3484 second system time

The end

Launcher Data 

Begin job on node116 at 2011-05-15 02:56:29
IDJOB=3373593
IDBENCH=82404
IDSOLVER=1853
FILE ID=node116/3373593-1305420984
RUNJOBID= node116-1305420984-17028
PBS_JOBID= 13324555
Free space on /tmp= 72936 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-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-3373593-1305420984/watcher-3373593-1305420984 -o /tmp/evaluation-result-3373593-1305420984/solver-3373593-1305420984 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373593-1305420984.cnf

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

MD5SUM BENCH= 6c2d25eda70423643946d76935ceb950
RANDOM SEED=410768367

node116.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.826
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.65
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.826
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.15
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.826
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.75
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.826
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.826
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.77
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.826
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.826
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.826
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      22857728 kB
Buffers:         56804 kB
Cached:         351488 kB
SwapCached:      12356 kB
Active:        9758176 kB
Inactive:       115320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      22857728 kB
SwapTotal:    67111528 kB
SwapFree:     65730864 kB
Dirty:          207420 kB
Writeback:           0 kB
AnonPages:     9463428 kB
Mapped:          16488 kB
Slab:           108844 kB
PageTables:      44524 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 82949620 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= 72856 MiB
End job on node116 at 2011-05-15 03:16:37