Trace number 3299971

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? (TO) 4800.84 1203.97

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf
MD5SUMc6d3480970bb2819448dd0a800a3cf1c
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 variables1134832
Number of clauses6175026
Sum of the clauses size14647926
Maximum clause length1178
Minimum clause length1
Number of clauses of size 1846
Number of clauses of size 26124260
Number of clauses of size 3960
Number of clauses of size 41200
Number of clauses of size 51200
Number of clauses of size over 546560

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...063048/instance-3299971-1304063048.cnf
1.48/1.87	c Solving...
4800.05/1203.21	
4800.05/1203.21	*** INTERRUPTED! ***
4800.05/1203.21	*** Shutting down threads...
4800.67/1203.89	s UNKNOWN
4800.67/1203.89	
4800.67/1203.89	c INTERRUPTED   : 1
4800.67/1203.89	c Models        : 0+    
4800.67/1203.89	c Time          : 1203.223s (Solving: 1201.35s 1st Model: 0.00s Unsat: 0.00s)
4800.67/1203.89	c CPU Time      : 4800.090s

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

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3299971-1304063048/watcher-3299971-1304063048 -o /tmp/evaluation-result-3299971-1304063048/solver-3299971-1304063048 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299971-1304063048.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.38 7.75 7.89 6/180 21725
/proc/meminfo: memFree=23034716/32951124 swapFree=67051468/67111528
[pid=21725] ppid=21723 vsize=164956 CPUtime=0 cores=1,3,5,7
/proc/21725/stat : 21725 (claspmt) R 21723 21725 21348 0 -1 4202496 840 0 0 0 0 0 0 0 23 0 1 0 517907986 168914944 770 33554432000 4194304 4964704 140733775318400 18446744073709551615 4686261 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21725/statm: 41239 770 374 189 0 36113 0

[startup+0.0619189 s]
/proc/loadavg: 7.38 7.75 7.89 6/180 21725
/proc/meminfo: memFree=23034716/32951124 swapFree=67051468/67111528
[pid=21725] ppid=21723 vsize=164956 CPUtime=0.05 cores=1,3,5,7
/proc/21725/stat : 21725 (claspmt) R 21723 21725 21348 0 -1 4202496 19821 0 0 0 3 2 0 0 23 0 1 0 517907986 168914944 19750 33554432000 4194304 4964704 140733775318400 18446744073709551615 4700332 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21725/statm: 41239 19767 375 189 0 36113 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 164956

[startup+0.1009 s]
/proc/loadavg: 7.38 7.75 7.89 6/180 21725
/proc/meminfo: memFree=23034716/32951124 swapFree=67051468/67111528
[pid=21725] ppid=21723 vsize=164956 CPUtime=0.08 cores=1,3,5,7
/proc/21725/stat : 21725 (claspmt) R 21723 21725 21348 0 -1 4202496 34346 0 0 0 5 3 0 0 23 0 1 0 517907986 168914944 34275 33554432000 4194304 4964704 140733775318400 18446744073709551615 4700332 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21725/statm: 41239 34292 375 189 0 36113 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 164956

[startup+0.300863 s]
/proc/loadavg: 7.38 7.75 7.89 6/180 21725
/proc/meminfo: memFree=23034716/32951124 swapFree=67051468/67111528
[pid=21725] ppid=21723 vsize=244892 CPUtime=0.29 cores=1,3,5,7
/proc/21725/stat : 21725 (claspmt) R 21723 21725 21348 0 -1 4202496 64325 0 0 0 22 7 0 0 25 0 1 0 517907986 250769408 55389 33554432000 4194304 4964704 140733775318400 18446744073709551615 218370957056 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21725/statm: 61223 55389 389 189 0 56097 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 244892

[startup+0.700803 s]
/proc/loadavg: 7.38 7.75 7.89 6/180 21725
/proc/meminfo: memFree=23034716/32951124 swapFree=67051468/67111528
[pid=21725] ppid=21723 vsize=257532 CPUtime=0.68 cores=1,3,5,7
/proc/21725/stat : 21725 (claspmt) R 21723 21725 21348 0 -1 4202496 67560 0 0 0 60 8 0 0 25 0 1 0 517907986 263712768 58624 33554432000 4194304 4964704 140733775318400 18446744073709551615 218370618053 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21725/statm: 64383 58625 389 189 0 59257 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 257532

[startup+1.50065 s]
/proc/loadavg: 7.38 7.75 7.89 6/181 21726
/proc/meminfo: memFree=22782500/32951124 swapFree=67051468/67111528
[pid=21725] ppid=21723 vsize=297332 CPUtime=1.48 cores=1,3,5,7
/proc/21725/stat : 21725 (claspmt) R 21723 21725 21348 0 -1 4202496 77577 0 0 0 136 12 0 0 25 0 1 0 517907986 304467968 68558 33554432000 4194304 4964704 140733775318400 18446744073709551615 218370957056 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21725/statm: 74333 68558 389 189 0 69207 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 297332

[startup+3.10033 s]
/proc/loadavg: 7.59 7.78 7.90 10/184 21729
/proc/meminfo: memFree=22395888/32951124 swapFree=67051468/67111528
[pid=21725] ppid=21723 vsize=762724 CPUtime=6.19 cores=1,3,5,7
/proc/21725/stat : 21725 (claspmt) R 21723 21725 21348 0 -1 4202496 230950 0 0 0 581 38 0 0 25 0 4 0 517907986 781029376 158187 33554432000 4194304 4964704 140733775318400 18446744073709551615 4372080 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/21725/statm: 190681 158187 448 189 0 185030 0
[pid=21725/tid=21727] ppid=21723 vsize=762724 CPUtime=1.01 cores=1,3,5,7
/proc/21725/task/21727/stat : 21727 (claspmt) R 21723 21725 21348 0 -1 4202560 30663 0 0 0 97 4 0 0 16 0 4 0 517908175 781029376 158187 33554432000 4194304 4964704 140733775318400 18446744073709551615 4370269 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21725/tid=21728] ppid=21723 vsize=762724 CPUtime=1.2 cores=1,3,5,7
/proc/21725/task/21728/stat : 21728 (claspmt) R 21723 21725 21348 0 -1 4202560 48736 0 0 0 112 8 0 0 19 0 4 0 517908175 781029376 158187 33554432000 4194304 4964704 140733775318400 18446744073709551615 4379092 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21725/tid=21729] ppid=21723 vsize=762724 CPUtime=1.2 cores=1,3,5,7
/proc/21725/task/21729/stat : 21729 (claspmt) R 21723 21725 21348 0 -1 4202560 46497 0 0 0 112 8 0 0 19 0 4 0 517908175 781029376 158187 33554432000 4194304 4964704 140733775318400 18446744073709551615 4660083 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 762724

[startup+6.30076 s]
/proc/loadavg: 7.59 7.78 7.90 9/184 21729
/proc/meminfo: memFree=22351320/32951124 swapFree=67051468/67111528
[pid=21725] ppid=21723 vsize=783536 CPUtime=18.96 cores=1,3,5,7
/proc/21725/stat : 21725 (claspmt) R 21723 21725 21348 0 -1 4202496 244750 0 0 0 1853 43 0 0 25 0 4 0 517907986 802340864 171987 33554432000 4194304 4964704 140733775318400 18446744073709551615 4627259 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/21725/statm: 195884 171987 452 189 0 190233 0
[pid=21725/tid=21727] ppid=21723 vsize=783536 CPUtime=4.21 cores=1,3,5,7
/proc/21725/task/21727/stat : 21727 (claspmt) R 21723 21725 21348 0 -1 4202560 32780 0 0 0 416 5 0 0 22 0 4 0 517908175 802340864 171987 33554432000 4194304 4964704 140733775318400 18446744073709551615 4370259 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21725/tid=21728] ppid=21723 vsize=783536 CPUtime=4.38 cores=1,3,5,7
/proc/21725/task/21728/stat : 21728 (claspmt) R 21723 21725 21348 0 -1 4202560 55402 0 0 0 428 10 0 0 25 0 4 0 517908175 802340864 171987 33554432000 4194304 4964704 140733775318400 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21725/tid=21729] ppid=21723 vsize=783536 CPUtime=4.39 cores=1,3,5,7
/proc/21725/task/21729/stat : 21729 (claspmt) R 21723 21725 21348 0 -1 4202560 49152 0 0 0 430 9 0 0 25 0 4 0 517908175 802340864 171987 33554432000 4194304 4964704 140733775318400 18446744073709551615 4668928 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 18.96
Current children cumulated vsize (KiB) 783536

[startup+12.7006 s]
/proc/loadavg: 7.62 7.79 7.90 9/184 21729
/proc/meminfo: memFree=22266612/32951124 swapFree=67051468/67111528
[pid=21725] ppid=21723 vsize=869084 CPUtime=44.51 cores=1,3,5,7
/proc/21725/stat : 21725 (claspmt) R 21723 21725 21348 0 -1 4202496 258826 0 0 0 4401 50 0 0 25 0 4 0 517907986 889942016 186063 33554432000 4194304 4964704 140733775318400 18446744073709551615 4668488 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/21725/statm: 217271 186063 452 189 0 211620 0
[pid=21725/tid=21727] ppid=21723 vsize=869084 CPUtime=10.6 cores=1,3,5,7
/proc/21725/task/21727/stat : 21727 (claspmt) R 21723 21725 21348 0 -1 4202560 34796 0 0 0 1054 6 0 0 25 0 4 0 517908175 889942016 186063 33554432000 4194304 4964704 140733775318400 18446744073709551615 4313761 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21725/tid=21728] ppid=21723 vsize=869084 CPUtime=10.74 cores=1,3,5,7
/proc/21725/task/21728/stat : 21728 (claspmt) R 21723 21725 21348 0 -1 4202560 61440 0 0 0 1061 13 0 0 25 0 4 0 517908175 889942016 186063 33554432000 4194304 4964704 140733775318400 18446744073709551615 4670038 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21725/tid=21729] ppid=21723 vsize=869084 CPUtime=10.79 cores=1,3,5,7
/proc/21725/task/21729/stat : 21729 (claspmt) R 21723 21725 21348 0 -1 4202560 53194 0 0 0 1068 11 0 0 25 0 4 0 517908175 889942016 186063 33554432000 4194304 4964704 140733775318400 18446744073709551615 4627248 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 44.51
Current children cumulated vsize (KiB) 869084

[startup+25.5003 s]
/proc/loadavg: 7.78 7.81 7.91 9/184 21729
/proc/meminfo: memFree=22102780/32951124 swapFree=67051468/67111528
[pid=21725] ppid=21723 vsize=998276 CPUtime=95.65 cores=1,3,5,7
/proc/21725/stat : 21725 (claspmt) R 21723 21725 21348 0 -1 4202496 288069 0 0 0 9503 62 0 0 25 0 4 0 517907986 1022234624 215305 33554432000 4194304 4964704 140733775318400 18446744073709551615 4668923 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/21725/statm: 249569 215305 452 189 0 243918 0
[pid=21725/tid=21727] ppid=21723 vsize=998276 CPUtime=23.4 cores=1,3,5,7
/proc/21725/task/21727/stat : 21727 (claspmt) R 21723 21725 21348 0 -1 4202560 36659 0 0 0 2332 8 0 0 25 0 4 0 517908175 1022234624 215306 33554432000 4194304 4964704 140733775318400 18446744073709551615 4668820 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21725/tid=21728] ppid=21723 vsize=998276 CPUtime=23.47 cores=1,3,5,7
/proc/21725/task/21728/stat : 21728 (claspmt) R 21723 21725 21348 0 -1 4202560 80669 0 0 0 2329 18 0 0 25 0 4 0 517908175 1022234624 215306 33554432000 4194304 4964704 140733775318400 18446744073709551615 4668820 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21725/tid=21729] ppid=21723 vsize=998276 CPUtime=23.59 cores=1,3,5,7
/proc/21725/task/21729/stat : 21729 (claspmt) R 21723 21725 21348 0 -1 4202560 59089 0 0 0 2345 14 0 0 25 0 4 0 517908175 1022234624 215306 33554432000 4194304 4964704 140733775318400 18446744073709551615 218370618401 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 95.65
Current children cumulated vsize (KiB) 998276

[startup+51.1008 s]
/proc/loadavg: 7.85 7.83 7.91 9/184 21730
/proc/meminfo: memFree=21860696/32951124 swapFree=67051468/67111528
[pid=21725] ppid=21723 vsize=1192272 CPUtime=197.9 cores=1,3,5,7
/proc/21725/stat : 21725 (claspmt) R 21723 21725 21348 0 -1 4202496 334072 0 0 0 19709 81 0 0 25 0 4 0 517907986 1220886528 261308 33554432000 4194304 4964704 140733775318400 18446744073709551615 4654508 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/21725/statm: 298068 261308 452 189 0 292417 0
[pid=21725/tid=21727] ppid=21723 vsize=1192272 CPUtime=49.01 cores=1,3,5,7
/proc/21725/task/21727/stat : 21727 (claspmt) R 21723 21725 21348 0 -1 4202560 39455 0 0 0 4890 11 0 0 25 0 4 0 517908175 1220886528 261308 33554432000 4194304 4964704 140733775318400 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21725/tid=21728] ppid=21723 vsize=1192272 CPUtime=48.92 cores=1,3,5,7
/proc/21725/task/21728/stat : 21728 (claspmt) R 21723 21725 21348 0 -1 4202560 106021 0 0 0 4867 25 0 0 25 0 4 0 517908175 1220886528 261308 33554432000 4194304 4964704 140733775318400 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21725/tid=21729] ppid=21723 vsize=1192272 CPUtime=49.19 cores=1,3,5,7
/proc/21725/task/21729/stat : 21729 (claspmt) R 21723 21725 21348 0 -1 4202560 73587 0 0 0 4897 22 0 0 25 0 4 0 517908175 1220886528 261308 33554432000 4194304 4964704 140733775318400 18446744073709551615 4670110 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 197.9
Current children cumulated vsize (KiB) 1192272

[startup+102.301 s]
/proc/loadavg: 8.03 7.88 7.92 9/184 21731
/proc/meminfo: memFree=21455788/32951124 swapFree=67051468/67111528
[pid=21725] ppid=21723 vsize=1403060 CPUtime=402.41 cores=1,3,5,7
/proc/21725/stat : 21725 (claspmt) R 21723 21725 21348 0 -1 4202496 394855 0 0 0 40129 112 0 0 25 0 4 0 517907986 1436733440 322091 33554432000 4194304 4964704 140733775318400 18446744073709551615 4313761 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/21725/statm: 350765 322091 452 189 0 345114 0
[pid=21725/tid=21727] ppid=21723 vsize=1403060 CPUtime=100.2 cores=1,3,5,7
/proc/21725/task/21727/stat : 21727 (claspmt) R 21723 21725 21348 0 -1 4202560 45170 0 0 0 10005 15 0 0 25 0 4 0 517908175 1436733440 322091 33554432000 4194304 4964704 140733775318400 18446744073709551615 4313801 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21725/tid=21728] ppid=21723 vsize=1403060 CPUtime=99.84 cores=1,3,5,7
/proc/21725/task/21728/stat : 21728 (claspmt) R 21723 21725 21348 0 -1 4202560 140843 0 0 0 9946 38 0 0 25 0 4 0 517908175 1436733440 322091 33554432000 4194304 4964704 140733775318400 18446744073709551615 4313736 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21725/tid=21729] ppid=21723 vsize=1403060 CPUtime=100.39 cores=1,3,5,7
/proc/21725/task/21729/stat : 21729 (claspmt) R 21723 21725 21348 0 -1 4202560 88632 0 0 0 10008 31 0 0 25 0 4 0 517908175 1436733440 322091 33554432000 4194304 4964704 140733775318400 18446744073709551615 4313764 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 402.41
Current children cumulated vsize (KiB) 1403060

[startup+162.301 s]
/proc/loadavg: 8.06 7.91 7.93 9/184 21733
/proc/meminfo: memFree=21019280/32951124 swapFree=67051468/67111528
[pid=21725] ppid=21723 vsize=1621880 CPUtime=642.08 cores=1,3,5,7
/proc/21725/stat : 21725 (claspmt) R 21723 21725 21348 0 -1 4202496 444000 0 0 0 64073 135 0 0 25 0 4 0 517907986 1660805120 371235 33554432000 4194304 4964704 140733775318400 18446744073709551615 4668488 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/21725/statm: 405470 371235 452 189 0 399819 0
[pid=21725/tid=21727] ppid=21723 vsize=1621880 CPUtime=160.21 cores=1,3,5,7
/proc/21725/task/21727/stat : 21727 (claspmt) R 21723 21725 21348 0 -1 4202560 48662 0 0 0 16004 17 0 0 25 0 4 0 517908175 1660805120 371235 33554432000 4194304 4964704 140733775318400 18446744073709551615 4313761 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21725/tid=21728] ppid=21723 vsize=1621880 CPUtime=159.5 cores=1,3,5,7
/proc/21725/task/21728/stat : 21728 (claspmt) R 21723 21725 21348 0 -1 4202560 168369 0 0 0 15902 48 0 0 25 0 4 0 517908175 1660805120 371235 33554432000 4194304 4964704 140733775318400 18446744073709551615 4668907 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21725/tid=21729] ppid=21723 vsize=1621880 CPUtime=160.38 cores=1,3,5,7
/proc/21725/task/21729/stat : 21729 (claspmt) R 21723 21725 21348 0 -1 4202560 102332 0 0 0 16000 38 0 0 25 0 4 0 517908175 1660805120 371235 33554432000 4194304 4964704 140733775318400 18446744073709551615 4313761 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 1621880

[startup+222.301 s]
/proc/loadavg: 8.06 7.94 7.93 9/184 21735
/proc/meminfo: memFree=20599028/32951124 swapFree=67051468/67111528
[pid=21725] ppid=21723 vsize=1755260 CPUtime=881.75 cores=1,3,5,7
/proc/21725/stat : 21725 (claspmt) R 21723 21725 21348 0 -1 4202496 496190 0 0 0 88016 159 0 0 25 0 4 0 517907986 1797386240 423423 33554432000 4194304 4964704 140733775318400 18446744073709551615 4342208 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/21725/statm: 438815 423423 452 189 0 433164 0
[pid=21725/tid=21727] ppid=21723 vsize=1755260 CPUtime=220.21 cores=1,3,5,7
/proc/21725/task/21727/stat : 21727 (claspmt) R 21723 21725 21348 0 -1 4202560 52488 0 0 0 22001 20 0 0 25 0 4 0 517908175 1797386240 423423 33554432000 4194304 4964704 140733775318400 18446744073709551615 4313736 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21725/tid=21728] ppid=21723 vsize=1755260 CPUtime=219.17 cores=1,3,5,7
/proc/21725/task/21728/stat : 21728 (claspmt) R 21723 21725 21348 0 -1 4202560 200226 0 0 0 21857 60 0 0 25 0 4 0 517908175 1797386240 423423 33554432000 4194304 4964704 140733775318400 18446744073709551615 4342228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21725/tid=21729] ppid=21723 vsize=1755260 CPUtime=220.38 cores=1,3,5,7
/proc/21725/task/21729/stat : 21729 (claspmt) R 21723 21725 21348 0 -1 4202560 113522 0 0 0 21995 43 0 0 25 0 4 0 517908175 1797386240 423423 33554432000 4194304 4964704 140733775318400 18446744073709551615 4313801 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 881.75
Current children cumulated vsize (KiB) 1755260

[startup+282.301 s]
/proc/loadavg: 8.06 7.96 7.94 9/184 21736
/proc/meminfo: memFree=20131152/32951124 swapFree=67051468/67111528
[pid=21725] ppid=21723 vsize=1992220 CPUtime=1121.42 cores=1,3,5,7
/proc/21725/stat : 21725 (claspmt) R 21723 21725 21348 0 -1 4202496 549921 0 0 0 111957 185 0 0 25 0 4 0 517907986 2040033280 477154 33554432000 4194304 4964704 140733775318400 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/21725/statm: 498055 477154 454 189 0 492404 0
[pid=21725/tid=21727] ppid=21723 vsize=1992220 CPUtime=280.21 cores=1,3,5,7

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

[startup+762.301 s]
/proc/loadavg: 4.72 6.83 7.54 5/175 21767
/proc/meminfo: memFree=21882140/32951124 swapFree=67051468/67111528
[pid=21725] ppid=21723 vsize=3431952 CPUtime=3038.8 cores=1,3,5,7
/proc/21725/stat : 21725 (claspmt) R 21723 21725 21348 0 -1 4202496 909338 0 0 0 303475 405 0 0 25 0 4 0 517907986 3514318848 836516 33554432000 4194304 4964704 140733775318400 18446744073709551615 4677965 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/21725/statm: 857988 836516 454 189 0 852337 0
[pid=21725/tid=21727] ppid=21723 vsize=3431952 CPUtime=760.22 cores=1,3,5,7
/proc/21725/task/21727/stat : 21727 (claspmt) R 21723 21725 21348 0 -1 4202560 94857 0 0 0 75964 58 0 0 25 0 4 0 517908175 3514318848 836516 33554432000 4194304 4964704 140733775318400 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21725/tid=21728] ppid=21723 vsize=3431952 CPUtime=757.96 cores=1,3,5,7
/proc/21725/task/21728/stat : 21728 (claspmt) R 21723 21725 21348 0 -1 4202560 415375 0 0 0 75628 168 0 0 25 0 4 0 517908175 3514318848 836516 33554432000 4194304 4964704 140733775318400 18446744073709551615 4313761 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21725/tid=21729] ppid=21723 vsize=3431952 CPUtime=758.62 cores=1,3,5,7
/proc/21725/task/21729/stat : 21729 (claspmt) R 21723 21725 21348 0 -1 4202560 227461 0 0 0 75758 104 0 0 25 0 4 0 517908175 3514318848 836516 33554432000 4194304 4964704 140733775318400 18446744073709551615 4668820 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3038.8
Current children cumulated vsize (KiB) 3431952

[startup+822.3 s]
/proc/loadavg: 4.31 6.33 7.33 5/175 21769
/proc/meminfo: memFree=21749180/32951124 swapFree=67051468/67111528
[pid=21725] ppid=21723 vsize=3617296 CPUtime=3278.47 cores=1,3,5,7
/proc/21725/stat : 21725 (claspmt) R 21723 21725 21348 0 -1 4202496 943066 0 0 0 327409 438 0 0 25 0 4 0 517907986 3704111104 870244 33554432000 4194304 4964704 140733775318400 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/21725/statm: 904324 870244 454 189 0 898673 0
[pid=21725/tid=21727] ppid=21723 vsize=3617296 CPUtime=820.22 cores=1,3,5,7
/proc/21725/task/21727/stat : 21727 (claspmt) R 21723 21725 21348 0 -1 4202560 101247 0 0 0 81955 67 0 0 25 0 4 0 517908175 3704111104 870244 33554432000 4194304 4964704 140733775318400 18446744073709551615 4668820 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21725/tid=21728] ppid=21723 vsize=3617296 CPUtime=817.96 cores=1,3,5,7
/proc/21725/task/21728/stat : 21728 (claspmt) R 21723 21725 21348 0 -1 4202560 424083 0 0 0 81623 173 0 0 25 0 4 0 517908175 3704111104 870244 33554432000 4194304 4964704 140733775318400 18446744073709551615 4362944 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21725/tid=21729] ppid=21723 vsize=3617296 CPUtime=818.29 cores=1,3,5,7
/proc/21725/task/21729/stat : 21729 (claspmt) R 21723 21725 21348 0 -1 4202560 240371 0 0 0 81713 116 0 0 25 0 4 0 517908175 3704111104 870244 33554432000 4194304 4964704 140733775318400 18446744073709551615 4313736 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3278.47
Current children cumulated vsize (KiB) 3617296

[startup+882.301 s]
/proc/loadavg: 4.16 5.92 7.12 5/175 21770
/proc/meminfo: memFree=21624916/32951124 swapFree=67051468/67111528
[pid=21725] ppid=21723 vsize=3757584 CPUtime=3518.14 cores=1,3,5,7
/proc/21725/stat : 21725 (claspmt) R 21723 21725 21348 0 -1 4202496 973553 0 0 0 351342 472 0 0 25 0 4 0 517907986 3847766016 900731 33554432000 4194304 4964704 140733775318400 18446744073709551615 4670266 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/21725/statm: 939396 900731 454 189 0 933745 0
[pid=21725/tid=21727] ppid=21723 vsize=3757584 CPUtime=880.21 cores=1,3,5,7
/proc/21725/task/21727/stat : 21727 (claspmt) R 21723 21725 21348 0 -1 4202560 104013 0 0 0 87948 73 0 0 25 0 4 0 517908175 3847766016 900731 33554432000 4194304 4964704 140733775318400 18446744073709551615 4668953 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21725/tid=21728] ppid=21723 vsize=3757584 CPUtime=877.97 cores=1,3,5,7
/proc/21725/task/21728/stat : 21728 (claspmt) R 21723 21725 21348 0 -1 4202560 444418 0 0 0 87608 189 0 0 25 0 4 0 517908175 3847766016 900731 33554432000 4194304 4964704 140733775318400 18446744073709551615 4313761 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21725/tid=21729] ppid=21723 vsize=3757584 CPUtime=877.96 cores=1,3,5,7
/proc/21725/task/21729/stat : 21729 (claspmt) R 21723 21725 21348 0 -1 4202560 245431 0 0 0 87673 123 0 0 25 0 4 0 517908175 3847766016 900731 33554432000 4194304 4964704 140733775318400 18446744073709551615 4313764 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3518.14
Current children cumulated vsize (KiB) 3757584

[startup+942.301 s]
/proc/loadavg: 4.10 5.58 6.93 5/175 21772
/proc/meminfo: memFree=21452772/32951124 swapFree=67051468/67111528
[pid=21725] ppid=21723 vsize=3892752 CPUtime=3757.83 cores=1,3,5,7
/proc/21725/stat : 21725 (claspmt) R 21723 21725 21348 0 -1 4202496 1017745 0 0 0 375265 518 0 0 25 0 4 0 517907986 3986178048 944920 33554432000 4194304 4964704 140733775318400 18446744073709551615 4668907 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21725/statm: 973188 944920 454 189 0 967537 0
[pid=21725/tid=21727] ppid=21723 vsize=3892752 CPUtime=940.22 cores=1,3,5,7
/proc/21725/task/21727/stat : 21727 (claspmt) R 21723 21725 21348 0 -1 4202560 109955 0 0 0 93938 84 0 0 25 0 4 0 517908175 3986178048 944920 33554432000 4194304 4964704 140733775318400 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21725/tid=21728] ppid=21723 vsize=3892752 CPUtime=937.97 cores=1,3,5,7
/proc/21725/task/21728/stat : 21728 (claspmt) R 21723 21725 21348 0 -1 4202560 464717 0 0 0 93594 203 0 0 25 0 4 0 517908175 3986178048 944920 33554432000 4194304 4964704 140733775318400 18446744073709551615 4362944 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21725/tid=21729] ppid=21723 vsize=3892752 CPUtime=937.73 cores=1,3,5,7
/proc/21725/task/21729/stat : 21729 (claspmt) R 21723 21725 21348 0 -1 4202560 258570 0 0 0 93635 138 0 0 25 0 4 0 517908175 3986178048 944920 33554432000 4194304 4964704 140733775318400 18446744073709551615 4313736 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3757.83
Current children cumulated vsize (KiB) 3892752

[startup+1002.3 s]
/proc/loadavg: 4.07 5.30 6.75 5/175 21773
/proc/meminfo: memFree=21299724/32951124 swapFree=67051468/67111528
[pid=21725] ppid=21723 vsize=4012560 CPUtime=3997.49 cores=1,3,5,7
/proc/21725/stat : 21725 (claspmt) R 21723 21725 21348 0 -1 4202496 1054904 0 0 0 399192 557 0 0 25 0 4 0 517907986 4108861440 982079 33554432000 4194304 4964704 140733775318400 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21725/statm: 1003140 982079 454 189 0 997489 0
[pid=21725/tid=21727] ppid=21723 vsize=4012560 CPUtime=1000.22 cores=1,3,5,7
/proc/21725/task/21727/stat : 21727 (claspmt) R 21723 21725 21348 0 -1 4202560 113783 0 0 0 99932 90 0 0 25 0 4 0 517908175 4108861440 982079 33554432000 4194304 4964704 140733775318400 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21725/tid=21728] ppid=21723 vsize=4012560 CPUtime=997.96 cores=1,3,5,7
/proc/21725/task/21728/stat : 21728 (claspmt) R 21723 21725 21348 0 -1 4202560 485206 0 0 0 99576 220 0 0 25 0 4 0 517908175 4108861440 982079 33554432000 4194304 4964704 140733775318400 18446744073709551615 4668820 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21725/tid=21729] ppid=21723 vsize=4012560 CPUtime=997.73 cores=1,3,5,7
/proc/21725/task/21729/stat : 21729 (claspmt) R 21723 21725 21348 0 -1 4202560 267698 0 0 0 99628 145 0 0 25 0 4 0 517908175 4108861440 982079 33554432000 4194304 4964704 140733775318400 18446744073709551615 4362944 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3997.49
Current children cumulated vsize (KiB) 4012560

[startup+1062.3 s]
/proc/loadavg: 4.06 5.08 6.58 5/175 21784
/proc/meminfo: memFree=21105488/32951124 swapFree=67051468/67111528
[pid=21725] ppid=21723 vsize=4214288 CPUtime=4237.17 cores=1,3,5,7
/proc/21725/stat : 21725 (claspmt) R 21723 21725 21348 0 -1 4202496 1103941 0 0 0 423115 602 0 0 25 0 4 0 517907986 4315430912 1031115 33554432000 4194304 4964704 140733775318400 18446744073709551615 4660322 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21725/statm: 1053572 1031115 454 189 0 1047921 0
[pid=21725/tid=21727] ppid=21723 vsize=4214288 CPUtime=1060.22 cores=1,3,5,7
/proc/21725/task/21727/stat : 21727 (claspmt) R 21723 21725 21348 0 -1 4202560 119567 0 0 0 105925 97 0 0 25 0 4 0 517908175 4315430912 1031115 33554432000 4194304 4964704 140733775318400 18446744073709551615 4651359 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21725/tid=21728] ppid=21723 vsize=4214288 CPUtime=1057.96 cores=1,3,5,7
/proc/21725/task/21728/stat : 21728 (claspmt) R 21723 21725 21348 0 -1 4202560 505807 0 0 0 105562 234 0 0 25 0 4 0 517908175 4315430912 1031115 33554432000 4194304 4964704 140733775318400 18446744073709551615 4332351 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21725/tid=21729] ppid=21723 vsize=4214288 CPUtime=1057.74 cores=1,3,5,7
/proc/21725/task/21729/stat : 21729 (claspmt) R 21723 21725 21348 0 -1 4202560 282814 0 0 0 105616 158 0 0 25 0 4 0 517908175 4315430912 1031115 33554432000 4194304 4964704 140733775318400 18446744073709551615 4670184 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4237.17
Current children cumulated vsize (KiB) 4214288

[startup+1122.3 s]
/proc/loadavg: 4.13 4.91 6.42 5/175 21786
/proc/meminfo: memFree=21047432/32951124 swapFree=67051468/67111528
[pid=21725] ppid=21723 vsize=4295184 CPUtime=4476.85 cores=1,3,5,7
/proc/21725/stat : 21725 (claspmt) R 21723 21725 21348 0 -1 4202496 1117922 0 0 0 447068 617 0 0 25 0 4 0 517907986 4398268416 1045095 33554432000 4194304 4964704 140733775318400 18446744073709551615 4670100 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21725/statm: 1073796 1045095 454 189 0 1068145 0
[pid=21725/tid=21727] ppid=21723 vsize=4295184 CPUtime=1120.22 cores=1,3,5,7
/proc/21725/task/21727/stat : 21727 (claspmt) R 21723 21725 21348 0 -1 4202560 122246 0 0 0 111923 99 0 0 25 0 4 0 517908175 4398268416 1045095 33554432000 4194304 4964704 140733775318400 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21725/tid=21728] ppid=21723 vsize=4295184 CPUtime=1117.97 cores=1,3,5,7
/proc/21725/task/21728/stat : 21728 (claspmt) R 21723 21725 21348 0 -1 4202560 511250 0 0 0 111558 239 0 0 25 0 4 0 517908175 4398268416 1045095 33554432000 4194304 4964704 140733775318400 18446744073709551615 4668907 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21725/tid=21729] ppid=21723 vsize=4295184 CPUtime=1117.74 cores=1,3,5,7
/proc/21725/task/21729/stat : 21729 (claspmt) R 21723 21725 21348 0 -1 4202560 287072 0 0 0 111611 163 0 0 25 0 4 0 517908175 4398268416 1045095 33554432000 4194304 4964704 140733775318400 18446744073709551615 4313761 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4476.85
Current children cumulated vsize (KiB) 4295184

[startup+1182.3 s]
/proc/loadavg: 4.12 4.76 6.27 5/175 21790
/proc/meminfo: memFree=20907988/32951124 swapFree=67051468/67111528
[pid=21725] ppid=21723 vsize=4406800 CPUtime=4716.54 cores=1,3,5,7
/proc/21725/stat : 21725 (claspmt) R 21723 21725 21348 0 -1 4202496 1152581 0 0 0 471000 654 0 0 25 0 4 0 517907986 4512563200 1079753 33554432000 4194304 4964704 140733775318400 18446744073709551615 4342193 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21725/statm: 1101700 1079753 454 189 0 1096049 0
[pid=21725/tid=21727] ppid=21723 vsize=4406800 CPUtime=1180.23 cores=1,3,5,7
/proc/21725/task/21727/stat : 21727 (claspmt) R 21723 21725 21348 0 -1 4202560 127077 0 0 0 117916 107 0 0 25 0 4 0 517908175 4512563200 1079753 33554432000 4194304 4964704 140733775318400 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21725/tid=21728] ppid=21723 vsize=4406800 CPUtime=1177.97 cores=1,3,5,7
/proc/21725/task/21728/stat : 21728 (claspmt) R 21723 21725 21348 0 -1 4202560 528699 0 0 0 117546 251 0 0 25 0 4 0 517908175 4512563200 1079753 33554432000 4194304 4964704 140733775318400 18446744073709551615 4313736 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21725/tid=21729] ppid=21723 vsize=4406800 CPUtime=1177.74 cores=1,3,5,7
/proc/21725/task/21729/stat : 21729 (claspmt) R 21723 21725 21348 0 -1 4202560 294654 0 0 0 117602 172 0 0 25 0 4 0 517908175 4512563200 1079753 33554432000 4194304 4964704 140733775318400 18446744073709551615 4313764 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4716.54
Current children cumulated vsize (KiB) 4406800



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.2 s]
/proc/loadavg: 4.08 4.70 6.21 5/175 21791
/proc/meminfo: memFree=20855840/32951124 swapFree=67051468/67111528
[pid=21725] ppid=21723 vsize=4487696 CPUtime=4800.05 cores=1,3,5,7
/proc/21725/stat : 21725 (claspmt) R 21723 21725 21348 0 -1 4202496 1165567 0 0 0 479332 673 0 0 25 0 4 0 517907986 4595400704 1092739 33554432000 4194304 4964704 140733775318400 18446744073709551615 4670100 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21725/statm: 1121924 1092739 454 189 0 1116273 0
[pid=21725/tid=21727] ppid=21723 vsize=4487696 CPUtime=1201.13 cores=1,3,5,7
/proc/21725/task/21727/stat : 21727 (claspmt) R 21723 21725 21348 0 -1 4202560 129216 0 0 0 120005 108 0 0 25 0 4 0 517908175 4595400704 1092739 33554432000 4194304 4964704 140733775318400 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21725/tid=21728] ppid=21723 vsize=4487696 CPUtime=1198.88 cores=1,3,5,7
/proc/21725/task/21728/stat : 21728 (claspmt) R 21723 21725 21348 0 -1 4202560 532695 0 0 0 119630 258 0 0 25 0 4 0 517908175 4595400704 1092739 33554432000 4194304 4964704 140733775318400 18446744073709551615 4362944 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21725/tid=21729] ppid=21723 vsize=4487696 CPUtime=1198.65 cores=1,3,5,7
/proc/21725/task/21729/stat : 21729 (claspmt) R 21723 21725 21348 0 -1 4202560 298379 0 0 0 119688 177 0 0 25 0 4 0 517908175 4595400704 1092739 33554432000 4194304 4964704 140733775318400 18446744073709551615 4313761 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 4487696

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

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

[startup+1203.6 s]
/proc/loadavg: 4.08 4.70 6.21 5/175 21791
/proc/meminfo: memFree=20855840/32951124 swapFree=67051468/67111528
[pid=21725] ppid=21723 vsize=4134880 CPUtime=4800.46 cores=1,3,5,7
/proc/21725/stat : 21725 (claspmt) R 21723 21725 21348 0 -1 4202496 1165583 0 0 0 479372 674 0 0 25 0 1 0 517907986 4234117120 1004908 33554432000 4194304 4964704 140733775318400 18446744073709551615 218370606353 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21725/statm: 1033720 1004908 464 189 0 1028069 0
Current children cumulated CPU time (s) 4800.46
Current children cumulated vsize (KiB) 4134880

[startup+1203.8 s]
/proc/loadavg: 4.08 4.70 6.21 5/175 21791
/proc/meminfo: memFree=20855840/32951124 swapFree=67051468/67111528
[pid=21725] ppid=21723 vsize=4055076 CPUtime=4800.67 cores=1,3,5,7
/proc/21725/stat : 21725 (claspmt) R 21723 21725 21348 0 -1 4202496 1165584 0 0 0 479392 675 0 0 25 0 1 0 517907986 4152397824 984577 33554432000 4194304 4964704 140733775318400 18446744073709551615 218370612505 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21725/statm: 1013769 984577 465 189 0 1008118 0
Current children cumulated CPU time (s) 4800.67
Current children cumulated vsize (KiB) 4055076

[startup+1203.9 s]
/proc/loadavg: 4.08 4.70 6.21 5/175 21791
/proc/meminfo: memFree=20855840/32951124 swapFree=67051468/67111528
[pid=21725] ppid=21723 vsize=0 CPUtime=4800.76 cores=1,3,5,7
/proc/21725/stat : 21725 (claspmt) R 21723 21725 21348 0 -1 4202500 1165585 0 0 0 479393 683 0 0 25 0 1 0 517907986 0 0 33554432000 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/21725/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4800.76
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1203.97
CPU time (s): 4800.84
CPU user time (s): 4793.94
CPU system time (s): 6.90395
CPU usage (%): 398.752
Max. virtual memory (cumulated for all children) (KiB): 4487696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.94
system time used= 6.90395
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1165585
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= 4761
involuntary context switches= 32432

runsolver used 1.80472 second user time and 4.76128 second system time

The end

Launcher Data 

Begin job on node101 at 2011-04-29 09:44:12
IDJOB=3299971
IDBENCH=82413
IDSOLVER=1683
FILE ID=node101/3299971-1304063048
RUNJOBID= node101-1304060083-21367
PBS_JOBID= 13170449
Free space on /tmp= 71856 MiB

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

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

MD5SUM BENCH= c6d3480970bb2819448dd0a800a3cf1c
RANDOM SEED=781763538

node101.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23034996 kB
Buffers:       2018000 kB
Cached:        5270280 kB
SwapCached:      30452 kB
Active:        5284904 kB
Inactive:      4181584 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23034996 kB
SwapTotal:    67111528 kB
SwapFree:     67051468 kB
Dirty:          121252 kB
Writeback:           0 kB
AnonPages:     2169288 kB
Mapped:           9860 kB
Slab:           382376 kB
PageTables:       9008 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  2365732 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= 71904 MiB
End job on node101 at 2011-04-29 10:04:17