Trace number 3373363

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.96 1206.72

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf
MD5SUMce0d180356398dfbcfd2bbbb1cb3f9e5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark375.866
Satisfiable
(Un)Satisfiability was proved
Number of variables1260306
Number of clauses6771840
Sum of the clauses size16095280
Maximum clause length982
Minimum clause length1
Number of clauses of size 1720
Number of clauses of size 26714640
Number of clauses of size 3320
Number of clauses of size 41280
Number of clauses of size 53200
Number of clauses of size over 551680

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...420595/instance-3373363-1305420595.cnf
1.49/2.05	c Solving...
4800.41/1205.21	
4800.41/1205.21	*** INTERRUPTED! ***
4800.41/1205.21	*** Shutting down threads...
4801.84/1206.63	s UNKNOWN
4801.84/1206.63	
4801.84/1206.63	c INTERRUPTED   : 1
4801.84/1206.63	c Models        : 0+    
4801.84/1206.63	c Time          : 1205.741s (Solving: 1203.69s 1st Model: 0.00s Unsat: 0.00s)
4801.84/1206.63	c CPU Time      : 4800.980s

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-3373363-1305420595/watcher-3373363-1305420595 -o /tmp/evaluation-result-3373363-1305420595/solver-3373363-1305420595 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373363-1305420595.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.17 7.78 7.93 5/311 15233
/proc/meminfo: memFree=10334048/32950928 swapFree=67111348/67111528
[pid=15233] ppid=15231 vsize=180880 CPUtime=0 cores=1,3,5,7
/proc/15233/stat : 15233 (claspmt) R 15231 15233 15036 0 -1 4202496 865 0 0 0 0 0 0 0 24 0 1 0 653658706 185221120 795 33554432000 4194304 4964800 140735230750464 18446744073709551615 4686341 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/15233/statm: 45220 795 374 189 0 40094 0

[startup+0.0806691 s]
/proc/loadavg: 7.17 7.78 7.93 5/311 15233
/proc/meminfo: memFree=10334048/32950928 swapFree=67111348/67111528
[pid=15233] ppid=15231 vsize=180880 CPUtime=0.07 cores=1,3,5,7
/proc/15233/stat : 15233 (claspmt) R 15231 15233 15036 0 -1 4202496 26638 0 0 0 5 2 0 0 24 0 1 0 653658706 185221120 26568 33554432000 4194304 4964800 140735230750464 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/15233/statm: 45220 26584 375 189 0 40094 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 180880

[startup+0.100666 s]
/proc/loadavg: 7.17 7.78 7.93 5/311 15233
/proc/meminfo: memFree=10334048/32950928 swapFree=67111348/67111528
[pid=15233] ppid=15231 vsize=180880 CPUtime=0.09 cores=1,3,5,7
/proc/15233/stat : 15233 (claspmt) R 15231 15233 15036 0 -1 4202496 34107 0 0 0 7 2 0 0 24 0 1 0 653658706 185221120 34038 33554432000 4194304 4964800 140735230750464 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/15233/statm: 45220 34054 375 189 0 40094 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 180880

[startup+0.300626 s]
/proc/loadavg: 7.17 7.78 7.93 5/311 15233
/proc/meminfo: memFree=10334048/32950928 swapFree=67111348/67111528
[pid=15233] ppid=15231 vsize=269636 CPUtime=0.29 cores=1,3,5,7
/proc/15233/stat : 15233 (claspmt) R 15231 15233 15036 0 -1 4202496 71374 0 0 0 23 6 0 0 25 0 1 0 653658706 276107264 61458 33554432000 4194304 4964800 140735230750464 18446744073709551615 4581556 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/15233/statm: 67409 61458 389 189 0 62283 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 269636

[startup+0.700557 s]
/proc/loadavg: 7.17 7.78 7.93 5/311 15233
/proc/meminfo: memFree=10334048/32950928 swapFree=67111348/67111528
[pid=15233] ppid=15231 vsize=285572 CPUtime=0.69 cores=1,3,5,7
/proc/15233/stat : 15233 (claspmt) R 15231 15233 15036 0 -1 4202496 75386 0 0 0 61 8 0 0 25 0 1 0 653658706 292425728 65470 33554432000 4194304 4964800 140735230750464 18446744073709551615 4567475 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/15233/statm: 71393 65470 389 189 0 66267 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 285572

[startup+1.50042 s]
/proc/loadavg: 6.99 7.73 7.91 6/312 15234
/proc/meminfo: memFree=10056660/32950928 swapFree=67111348/67111528
[pid=15233] ppid=15231 vsize=324552 CPUtime=1.49 cores=1,3,5,7
/proc/15233/stat : 15233 (claspmt) R 15231 15233 15036 0 -1 4202496 85206 0 0 0 138 11 0 0 25 0 1 0 653658706 332341248 75207 33554432000 4194304 4964800 140735230750464 18446744073709551615 235594866432 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/15233/statm: 81138 75207 389 189 0 76012 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 324552

[startup+3.10014 s]
/proc/loadavg: 6.99 7.73 7.91 9/315 15237
/proc/meminfo: memFree=9588780/32950928 swapFree=67111348/67111528
[pid=15233] ppid=15231 vsize=848444 CPUtime=5.54 cores=1,3,5,7
/proc/15233/stat : 15233 (claspmt) R 15231 15233 15036 0 -1 4202496 268291 0 0 0 512 42 0 0 24 0 4 0 653658706 868806656 178562 33554432000 4194304 4964800 140735230750464 18446744073709551615 4668987 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/15233/statm: 212111 178562 448 189 0 206460 0
[pid=15233/tid=15235] ppid=15231 vsize=848576 CPUtime=0.79 cores=1,3,5,7
/proc/15233/task/15235/stat : 15235 (claspmt) R 15231 15233 15036 0 -1 4202560 35097 0 0 0 73 6 0 0 16 0 4 0 653658912 868941824 178570 33554432000 4194304 4964800 140735230750464 18446744073709551615 4371527 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=15233/tid=15236] ppid=15231 vsize=848576 CPUtime=1.01 cores=1,3,5,7
/proc/15233/task/15236/stat : 15236 (claspmt) R 15231 15233 15036 0 -1 4202560 57702 0 0 0 92 9 0 0 19 0 4 0 653658912 868941824 178570 33554432000 4194304 4964800 140735230750464 18446744073709551615 4362875 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=15233/tid=15237] ppid=15231 vsize=848576 CPUtime=1.02 cores=1,3,5,7
/proc/15233/task/15237/stat : 15237 (claspmt) R 15231 15233 15036 0 -1 4202560 57420 0 0 0 93 9 0 0 19 0 4 0 653658912 868941824 178570 33554432000 4194304 4964800 140735230750464 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.54
Current children cumulated vsize (KiB) 848444

[startup+6.30058 s]
/proc/loadavg: 6.99 7.73 7.91 9/315 15238
/proc/meminfo: memFree=9461412/32950928 swapFree=67111348/67111528
[pid=15233] ppid=15231 vsize=867912 CPUtime=18.28 cores=1,3,5,7
/proc/15233/stat : 15233 (claspmt) R 15231 15233 15036 0 -1 4202496 281808 0 0 0 1782 46 0 0 25 0 4 0 653658706 888741888 192079 33554432000 4194304 4964800 140735230750464 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/15233/statm: 216978 192079 452 189 0 211327 0
[pid=15233/tid=15235] ppid=15231 vsize=867912 CPUtime=3.97 cores=1,3,5,7
/proc/15233/task/15235/stat : 15235 (claspmt) R 15231 15233 15036 0 -1 4202560 36883 0 0 0 391 6 0 0 21 0 4 0 653658912 888741888 192079 33554432000 4194304 4964800 140735230750464 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=15233/tid=15236] ppid=15231 vsize=867912 CPUtime=4.2 cores=1,3,5,7
/proc/15233/task/15236/stat : 15236 (claspmt) R 15231 15233 15036 0 -1 4202560 62946 0 0 0 410 10 0 0 25 0 4 0 653658912 888741888 192079 33554432000 4194304 4964800 140735230750464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=15233/tid=15237] ppid=15231 vsize=867912 CPUtime=4.18 cores=1,3,5,7
/proc/15233/task/15237/stat : 15237 (claspmt) R 15231 15233 15036 0 -1 4202560 61953 0 0 0 407 11 0 0 25 0 4 0 653658912 888741888 192079 33554432000 4194304 4964800 140735230750464 18446744073709551615 4668984 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 18.28
Current children cumulated vsize (KiB) 867912

[startup+12.7005 s]
/proc/loadavg: 7.15 7.74 7.91 9/315 15238
/proc/meminfo: memFree=9265064/32950928 swapFree=67111348/67111528
[pid=15233] ppid=15231 vsize=1027628 CPUtime=43.82 cores=1,3,5,7
/proc/15233/stat : 15233 (claspmt) R 15231 15233 15036 0 -1 4202496 303563 0 0 0 4326 56 0 0 25 0 4 0 653658706 1052291072 213834 33554432000 4194304 4964800 140735230750464 18446744073709551615 4670180 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/15233/statm: 256907 213834 452 189 0 251256 0
[pid=15233/tid=15235] ppid=15231 vsize=1027628 CPUtime=10.38 cores=1,3,5,7
/proc/15233/task/15235/stat : 15235 (claspmt) R 15231 15233 15036 0 -1 4202560 39133 0 0 0 1030 8 0 0 25 0 4 0 653658912 1052291072 213834 33554432000 4194304 4964800 140735230750464 18446744073709551615 4370295 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=15233/tid=15236] ppid=15231 vsize=1027628 CPUtime=10.6 cores=1,3,5,7
/proc/15233/task/15236/stat : 15236 (claspmt) R 15231 15233 15036 0 -1 4202560 73335 0 0 0 1046 14 0 0 25 0 4 0 653658912 1052291072 213834 33554432000 4194304 4964800 140735230750464 18446744073709551615 4325338 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=15233/tid=15237] ppid=15231 vsize=1027628 CPUtime=10.51 cores=1,3,5,7
/proc/15233/task/15237/stat : 15237 (claspmt) R 15231 15233 15036 0 -1 4202560 68638 0 0 0 1037 14 0 0 25 0 4 0 653658912 1052291072 213834 33554432000 4194304 4964800 140735230750464 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 43.82
Current children cumulated vsize (KiB) 1027628

[startup+25.5002 s]
/proc/loadavg: 7.28 7.75 7.91 10/315 15238
/proc/meminfo: memFree=8922992/32950928 swapFree=67111348/67111528
[pid=15233] ppid=15231 vsize=1078528 CPUtime=94.88 cores=1,3,5,7
/proc/15233/stat : 15233 (claspmt) R 15231 15233 15036 0 -1 4202496 340979 0 0 0 9417 71 0 0 25 0 4 0 653658706 1104412672 251250 33554432000 4194304 4964800 140735230750464 18446744073709551615 4370473 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/15233/statm: 269632 251250 452 189 0 263981 0
[pid=15233/tid=15235] ppid=15231 vsize=1078528 CPUtime=23.18 cores=1,3,5,7
/proc/15233/task/15235/stat : 15235 (claspmt) R 15231 15233 15036 0 -1 4202560 44456 0 0 0 2308 10 0 0 25 0 4 0 653658912 1104412672 251250 33554432000 4194304 4964800 140735230750464 18446744073709551615 4372759 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=15233/tid=15236] ppid=15231 vsize=1078528 CPUtime=23.4 cores=1,3,5,7
/proc/15233/task/15236/stat : 15236 (claspmt) R 15231 15233 15036 0 -1 4202560 90733 0 0 0 2320 20 0 0 25 0 4 0 653658912 1104412672 251250 33554432000 4194304 4964800 140735230750464 18446744073709551615 4627252 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=15233/tid=15237] ppid=15231 vsize=1078528 CPUtime=23.19 cores=1,3,5,7
/proc/15233/task/15237/stat : 15237 (claspmt) R 15231 15233 15036 0 -1 4202560 79921 0 0 0 2300 19 0 0 25 0 4 0 653658912 1104412672 251250 33554432000 4194304 4964800 140735230750464 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 94.88
Current children cumulated vsize (KiB) 1078528

[startup+51.1007 s]
/proc/loadavg: 7.52 7.77 7.91 9/315 15239
/proc/meminfo: memFree=8360180/32950928 swapFree=67111348/67111528
[pid=15233] ppid=15231 vsize=1341552 CPUtime=197.02 cores=1,3,5,7
/proc/15233/stat : 15233 (claspmt) R 15231 15233 15036 0 -1 4202496 401984 0 0 0 19604 98 0 0 25 0 4 0 653658706 1373749248 312255 33554432000 4194304 4964800 140735230750464 18446744073709551615 4313736 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/15233/statm: 335388 312255 452 189 0 329737 0
[pid=15233/tid=15235] ppid=15231 vsize=1341552 CPUtime=48.78 cores=1,3,5,7
/proc/15233/task/15235/stat : 15235 (claspmt) R 15231 15233 15036 0 -1 4202560 49043 0 0 0 4864 14 0 0 25 0 4 0 653658912 1373749248 312255 33554432000 4194304 4964800 140735230750464 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=15233/tid=15236] ppid=15231 vsize=1341552 CPUtime=49 cores=1,3,5,7
/proc/15233/task/15236/stat : 15236 (claspmt) R 15231 15233 15036 0 -1 4202560 128464 0 0 0 4866 34 0 0 25 0 4 0 653658912 1373749248 312255 33554432000 4194304 4964800 140735230750464 18446744073709551615 4362864 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=15233/tid=15237] ppid=15231 vsize=1341552 CPUtime=48.54 cores=1,3,5,7
/proc/15233/task/15237/stat : 15237 (claspmt) R 15231 15233 15036 0 -1 4202560 93735 0 0 0 4828 26 0 0 25 0 4 0 653658912 1373749248 312255 33554432000 4194304 4964800 140735230750464 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 197.02
Current children cumulated vsize (KiB) 1341552

[startup+102.301 s]
/proc/loadavg: 7.91 7.83 7.92 9/315 15240
/proc/meminfo: memFree=7382620/32950928 swapFree=67111348/67111528
[pid=15233] ppid=15231 vsize=1661184 CPUtime=401.31 cores=1,3,5,7
/proc/15233/stat : 15233 (claspmt) R 15231 15233 15036 0 -1 4202496 479575 0 0 0 40000 131 0 0 25 0 4 0 653658706 1701052416 389846 33554432000 4194304 4964800 140735230750464 18446744073709551615 4370473 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/15233/statm: 415296 389846 452 189 0 409645 0
[pid=15233/tid=15235] ppid=15231 vsize=1661184 CPUtime=99.98 cores=1,3,5,7
/proc/15233/task/15235/stat : 15235 (claspmt) R 15231 15233 15036 0 -1 4202560 57927 0 0 0 9979 19 0 0 25 0 4 0 653658912 1701052416 389846 33554432000 4194304 4964800 140735230750464 18446744073709551615 4627338 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=15233/tid=15236] ppid=15231 vsize=1661184 CPUtime=100.2 cores=1,3,5,7
/proc/15233/task/15236/stat : 15236 (claspmt) R 15231 15233 15036 0 -1 4202560 166127 0 0 0 9971 49 0 0 25 0 4 0 653658912 1701052416 389846 33554432000 4194304 4964800 140735230750464 18446744073709551615 4668998 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=15233/tid=15237] ppid=15231 vsize=1661184 CPUtime=99.21 cores=1,3,5,7
/proc/15233/task/15237/stat : 15237 (claspmt) R 15231 15233 15036 0 -1 4202560 114837 0 0 0 9889 32 0 0 25 0 4 0 653658912 1701052416 389846 33554432000 4194304 4964800 140735230750464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 401.31
Current children cumulated vsize (KiB) 1661184

[startup+162.301 s]
/proc/loadavg: 7.96 7.86 7.92 9/315 15242
/proc/meminfo: memFree=6414764/32950928 swapFree=67111348/67111528
[pid=15233] ppid=15231 vsize=2066632 CPUtime=640.68 cores=1,3,5,7
/proc/15233/stat : 15233 (claspmt) R 15231 15233 15036 0 -1 4202496 583229 0 0 0 63899 169 0 0 25 0 4 0 653658706 2116231168 493488 33554432000 4194304 4964800 140735230750464 18446744073709551615 4670180 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/15233/statm: 516658 493488 452 189 0 511007 0
[pid=15233/tid=15235] ppid=15231 vsize=2066632 CPUtime=159.95 cores=1,3,5,7
/proc/15233/task/15235/stat : 15235 (claspmt) R 15231 15233 15036 0 -1 4202560 65074 0 0 0 15971 24 0 0 25 0 4 0 653658912 2116231168 493488 33554432000 4194304 4964800 140735230750464 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=15233/tid=15236] ppid=15231 vsize=2066632 CPUtime=160.19 cores=1,3,5,7
/proc/15233/task/15236/stat : 15236 (claspmt) R 15231 15233 15036 0 -1 4202560 219548 0 0 0 15954 65 0 0 25 0 4 0 653658912 2116231168 493488 33554432000 4194304 4964800 140735230750464 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=15233/tid=15237] ppid=15231 vsize=2066632 CPUtime=158.63 cores=1,3,5,7
/proc/15233/task/15237/stat : 15237 (claspmt) R 15231 15233 15036 0 -1 4202560 141826 0 0 0 15822 41 0 0 25 0 4 0 653658912 2116231168 493488 33554432000 4194304 4964800 140735230750464 18446744073709551615 4670134 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 640.68
Current children cumulated vsize (KiB) 2066632

[startup+222.301 s]
/proc/loadavg: 8.07 7.91 7.93 9/315 15243
/proc/meminfo: memFree=5686076/32950928 swapFree=67111348/67111528
[pid=15233] ppid=15231 vsize=2494204 CPUtime=880.08 cores=1,3,5,7
/proc/15233/stat : 15233 (claspmt) R 15231 15233 15036 0 -1 4202496 671108 0 0 0 87810 198 0 0 25 0 4 0 653658706 2554064896 581200 33554432000 4194304 4964800 140735230750464 18446744073709551615 4668900 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/15233/statm: 623551 581200 452 189 0 617900 0
[pid=15233/tid=15235] ppid=15231 vsize=2494204 CPUtime=219.95 cores=1,3,5,7
/proc/15233/task/15235/stat : 15235 (claspmt) R 15231 15233 15036 0 -1 4202560 71013 0 0 0 21967 28 0 0 25 0 4 0 653658912 2554064896 581200 33554432000 4194304 4964800 140735230750464 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=15233/tid=15236] ppid=15231 vsize=2494204 CPUtime=220.19 cores=1,3,5,7
/proc/15233/task/15236/stat : 15236 (claspmt) R 15231 15233 15036 0 -1 4202560 264770 0 0 0 21943 76 0 0 25 0 4 0 653658912 2554064896 581200 33554432000 4194304 4964800 140735230750464 18446744073709551615 4669574 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=15233/tid=15237] ppid=15231 vsize=2494204 CPUtime=218.02 cores=1,3,5,7
/proc/15233/task/15237/stat : 15237 (claspmt) R 15231 15233 15036 0 -1 4202560 168524 0 0 0 21753 49 0 0 25 0 4 0 653658912 2554064896 581200 33554432000 4194304 4964800 140735230750464 18446744073709551615 4313804 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 880.08
Current children cumulated vsize (KiB) 2494204

[startup+282.301 s]
/proc/loadavg: 8.06 7.94 7.94 10/315 15245
/proc/meminfo: memFree=5073196/32950928 swapFree=67111348/67111528
[pid=15233] ppid=15231 vsize=2721216 CPUtime=1119.49 cores=1,3,5,7
/proc/15233/stat : 15233 (claspmt) R 15231 15233 15036 0 -1 4202496 740149 0 0 0 111722 227 0 0 25 0 4 0 653658706 2786525184 650241 33554432000 4194304 4964800 140735230750464 18446744073709551615 4342208 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/15233/statm: 680304 650241 454 189 0 674653 0
[pid=15233/tid=15235] ppid=15231 vsize=2721216 CPUtime=279.95 cores=1,3,5,7

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

/proc/15233/task/15237/stat : 15237 (claspmt) R 15231 15233 15036 0 -1 4202560 339308 0 0 0 75462 123 0 0 25 0 4 0 653658912 4846231552 1160776 33554432000 4194304 4964800 140735230750464 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3034.66
Current children cumulated vsize (KiB) 4732648

[startup+822.301 s]
/proc/loadavg: 8.08 8.06 8.00 10/315 15268
/proc/meminfo: memFree=95572/32950928 swapFree=67111348/67111528
[pid=15233] ppid=15231 vsize=4919528 CPUtime=3273.98 cores=1,3,5,7
/proc/15233/stat : 15233 (claspmt) R 15231 15233 15036 0 -1 4202496 1287078 0 0 0 326920 478 0 0 25 0 4 0 653658706 5037596672 1196776 33554432000 4194304 4964800 140735230750464 18446744073709551615 4670180 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/15233/statm: 1229882 1196776 454 189 0 1224231 0
[pid=15233/tid=15235] ppid=15231 vsize=4919528 CPUtime=816.58 cores=1,3,5,7
/proc/15233/task/15235/stat : 15235 (claspmt) R 15231 15233 15036 0 -1 4202560 156323 0 0 0 81579 79 0 0 25 0 4 0 653658912 5037596672 1196776 33554432000 4194304 4964800 140735230750464 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=15233/tid=15236] ppid=15231 vsize=4919528 CPUtime=819.64 cores=1,3,5,7
/proc/15233/task/15236/stat : 15236 (claspmt) R 15231 15233 15036 0 -1 4202560 523193 0 0 0 81792 172 0 0 25 0 4 0 653658912 5037596672 1196776 33554432000 4194304 4964800 140735230750464 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=15233/tid=15237] ppid=15231 vsize=4919528 CPUtime=815.86 cores=1,3,5,7
/proc/15233/task/15237/stat : 15237 (claspmt) R 15231 15233 15036 0 -1 4202560 350629 0 0 0 81457 129 0 0 25 0 4 0 653658912 5037596672 1196776 33554432000 4194304 4964800 140735230750464 18446744073709551615 4313753 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3273.98
Current children cumulated vsize (KiB) 4919528

[startup+882.301 s]
/proc/loadavg: 8.37 8.14 8.03 9/315 15273
/proc/meminfo: memFree=95252/32950928 swapFree=67111348/67111528
[pid=15233] ppid=15231 vsize=5069032 CPUtime=3513.23 cores=1,3,5,7
/proc/15233/stat : 15233 (claspmt) R 15231 15233 15036 0 -1 4202496 1341146 0 0 0 350823 500 0 0 25 0 4 0 653658706 5190688768 1250844 33554432000 4194304 4964800 140735230750464 18446744073709551615 4669008 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/15233/statm: 1267258 1250844 454 189 0 1261607 0
[pid=15233/tid=15235] ppid=15231 vsize=5069032 CPUtime=876.43 cores=1,3,5,7
/proc/15233/task/15235/stat : 15235 (claspmt) R 15231 15233 15036 0 -1 4202560 162872 0 0 0 87561 82 0 0 25 0 4 0 653658912 5190688768 1250844 33554432000 4194304 4964800 140735230750464 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=15233/tid=15236] ppid=15231 vsize=5069032 CPUtime=879.03 cores=1,3,5,7
/proc/15233/task/15236/stat : 15236 (claspmt) R 15231 15233 15036 0 -1 4202560 544123 0 0 0 87724 179 0 0 25 0 4 0 653658912 5190688768 1250844 33554432000 4194304 4964800 140735230750464 18446744073709551615 4313761 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=15233/tid=15237] ppid=15231 vsize=5069032 CPUtime=875.86 cores=1,3,5,7
/proc/15233/task/15237/stat : 15237 (claspmt) R 15231 15233 15036 0 -1 4202560 373935 0 0 0 87449 137 0 0 25 0 4 0 653658912 5190688768 1250844 33554432000 4194304 4964800 140735230750464 18446744073709551615 4313835 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3513.23
Current children cumulated vsize (KiB) 5069032

[startup+942.301 s]
/proc/loadavg: 8.22 8.14 8.03 10/315 15275
/proc/meminfo: memFree=94828/32950928 swapFree=67111348/67111528
[pid=15233] ppid=15231 vsize=5433576 CPUtime=3752.47 cores=1,3,5,7
/proc/15233/stat : 15233 (claspmt) R 15231 15233 15036 0 -1 4202496 1408097 0 0 0 374712 535 0 0 25 0 4 0 653658706 5563981824 1317795 33554432000 4194304 4964800 140735230750464 18446744073709551615 4668900 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/15233/statm: 1358394 1317795 454 189 0 1352743 0
[pid=15233/tid=15235] ppid=15231 vsize=5433576 CPUtime=936.39 cores=1,3,5,7
/proc/15233/task/15235/stat : 15235 (claspmt) R 15231 15233 15036 0 -1 4202560 174626 0 0 0 93548 91 0 0 25 0 4 0 653658912 5563981824 1317795 33554432000 4194304 4964800 140735230750464 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=15233/tid=15236] ppid=15231 vsize=5433576 CPUtime=938.45 cores=1,3,5,7
/proc/15233/task/15236/stat : 15236 (claspmt) R 15231 15233 15036 0 -1 4202560 566018 0 0 0 93658 187 0 0 25 0 4 0 653658912 5563981824 1317795 33554432000 4194304 4964800 140735230750464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=15233/tid=15237] ppid=15231 vsize=5433576 CPUtime=935.72 cores=1,3,5,7
/proc/15233/task/15237/stat : 15237 (claspmt) R 15231 15233 15036 0 -1 4202560 401595 0 0 0 93421 151 0 0 25 0 4 0 653658912 5563981824 1317795 33554432000 4194304 4964800 140735230750464 18446744073709551615 4313761 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3752.47
Current children cumulated vsize (KiB) 5433576

[startup+1002.3 s]
/proc/loadavg: 8.20 8.16 8.04 9/315 15276
/proc/meminfo: memFree=95168/32950928 swapFree=67111348/67111528
[pid=15233] ppid=15231 vsize=5469416 CPUtime=3991.41 cores=1,3,5,7
/proc/15233/stat : 15233 (claspmt) R 15231 15233 15036 0 -1 4202496 1423017 0 0 0 398598 543 0 0 25 0 4 0 653658706 5600681984 1332715 33554432000 4194304 4964800 140735230750464 18446744073709551615 4370242 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/15233/statm: 1367354 1332715 454 189 0 1361703 0
[pid=15233/tid=15235] ppid=15231 vsize=5469416 CPUtime=996.4 cores=1,3,5,7
/proc/15233/task/15235/stat : 15235 (claspmt) R 15231 15233 15036 0 -1 4202560 176420 0 0 0 99547 93 0 0 25 0 4 0 653658912 5600681984 1332715 33554432000 4194304 4964800 140735230750464 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=15233/tid=15236] ppid=15231 vsize=5469416 CPUtime=997.84 cores=1,3,5,7
/proc/15233/task/15236/stat : 15236 (claspmt) R 15231 15233 15036 0 -1 4202560 566081 0 0 0 99597 187 0 0 25 0 4 0 653658912 5600681984 1332715 33554432000 4194304 4964800 140735230750464 18446744073709551615 4313753 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=15233/tid=15237] ppid=15231 vsize=5469416 CPUtime=995.27 cores=1,3,5,7
/proc/15233/task/15237/stat : 15237 (claspmt) R 15231 15233 15036 0 -1 4202560 412323 0 0 0 99371 156 0 0 25 0 4 0 653658912 5600681984 1332715 33554432000 4194304 4964800 140735230750464 18446744073709551615 4313736 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3991.41
Current children cumulated vsize (KiB) 5469416

[startup+1062.3 s]
/proc/loadavg: 8.11 8.14 8.04 10/315 15278
/proc/meminfo: memFree=92952/32950928 swapFree=67111348/67111528
[pid=15233] ppid=15231 vsize=5515496 CPUtime=4230.69 cores=1,3,5,7
/proc/15233/stat : 15233 (claspmt) R 15231 15233 15036 0 -1 4202496 1443643 0 0 0 422515 554 0 0 25 0 4 0 653658706 5647867904 1353334 33554432000 4194304 4964800 140735230750464 18446744073709551615 4678032 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/15233/statm: 1378874 1353334 454 189 0 1373223 0
[pid=15233/tid=15235] ppid=15231 vsize=5515496 CPUtime=1056.39 cores=1,3,5,7
/proc/15233/task/15235/stat : 15235 (claspmt) R 15231 15233 15036 0 -1 4202560 180814 0 0 0 105543 96 0 0 25 0 4 0 653658912 5647867904 1353334 33554432000 4194304 4964800 140735230750464 18446744073709551615 4370301 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=15233/tid=15236] ppid=15231 vsize=5515496 CPUtime=1057.25 cores=1,3,5,7
/proc/15233/task/15236/stat : 15236 (claspmt) R 15231 15233 15036 0 -1 4202560 568251 0 0 0 105538 187 0 0 25 0 4 0 653658912 5647867904 1353334 33554432000 4194304 4964800 140735230750464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=15233/tid=15237] ppid=15231 vsize=5515496 CPUtime=1055.14 cores=1,3,5,7
/proc/15233/task/15237/stat : 15237 (claspmt) R 15231 15233 15036 0 -1 4202560 420660 0 0 0 105353 161 0 0 25 0 4 0 653658912 5647867904 1353334 33554432000 4194304 4964800 140735230750464 18446744073709551615 4313751 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4230.69
Current children cumulated vsize (KiB) 5515496

[startup+1122.3 s]
/proc/loadavg: 8.12 8.14 8.05 10/315 15279
/proc/meminfo: memFree=93564/32950928 swapFree=67111348/67111528
[pid=15233] ppid=15231 vsize=5695720 CPUtime=4469.61 cores=1,3,5,7
/proc/15233/stat : 15233 (claspmt) R 15231 15233 15036 0 -1 4202496 1487960 0 0 0 446379 582 0 0 25 0 4 0 653658706 5832417280 1397651 33554432000 4194304 4964800 140735230750464 18446744073709551615 4652165 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/15233/statm: 1423930 1397651 454 189 0 1418279 0
[pid=15233/tid=15235] ppid=15231 vsize=5695720 CPUtime=1116.39 cores=1,3,5,7
/proc/15233/task/15235/stat : 15235 (claspmt) R 15231 15233 15036 0 -1 4202560 188714 0 0 0 111537 102 0 0 25 0 4 0 653658912 5832417280 1397651 33554432000 4194304 4964800 140735230750464 18446744073709551615 4669104 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=15233/tid=15236] ppid=15231 vsize=5695720 CPUtime=1116.65 cores=1,3,5,7
/proc/15233/task/15236/stat : 15236 (claspmt) R 15231 15233 15036 0 -1 4202560 580412 0 0 0 111473 192 0 0 25 0 4 0 653658912 5832417280 1397651 33554432000 4194304 4964800 140735230750464 18446744073709551615 4684013 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=15233/tid=15237] ppid=15231 vsize=5695720 CPUtime=1114.89 cores=1,3,5,7
/proc/15233/task/15237/stat : 15237 (claspmt) R 15231 15233 15036 0 -1 4202560 433530 0 0 0 111320 169 0 0 25 0 4 0 653658912 5832417280 1397651 33554432000 4194304 4964800 140735230750464 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4469.61
Current children cumulated vsize (KiB) 5695720

[startup+1182.3 s]
/proc/loadavg: 7.62 7.99 8.00 9/315 15402
/proc/meminfo: memFree=8463796/32950928 swapFree=67111348/67111528
[pid=15233] ppid=15231 vsize=5942504 CPUtime=4709.04 cores=1,3,5,7
/proc/15233/stat : 15233 (claspmt) R 15231 15233 15036 0 -1 4202496 1549047 0 0 0 470289 615 0 0 25 0 4 0 653658706 6085124096 1458723 33554432000 4194304 4964800 140735230750464 18446744073709551615 4370281 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/15233/statm: 1485626 1458723 454 189 0 1479975 0
[pid=15233/tid=15235] ppid=15231 vsize=5942504 CPUtime=1176.4 cores=1,3,5,7
/proc/15233/task/15235/stat : 15235 (claspmt) R 15231 15233 15036 0 -1 4202560 197216 0 0 0 117531 109 0 0 25 0 4 0 653658912 6085124096 1458723 33554432000 4194304 4964800 140735230750464 18446744073709551615 4653507 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=15233/tid=15236] ppid=15231 vsize=5942504 CPUtime=1176.05 cores=1,3,5,7
/proc/15233/task/15236/stat : 15236 (claspmt) R 15231 15233 15036 0 -1 4202560 608756 0 0 0 117404 201 0 0 25 0 4 0 653658912 6085124096 1458723 33554432000 4194304 4964800 140735230750464 18446744073709551615 4313753 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=15233/tid=15237] ppid=15231 vsize=5942504 CPUtime=1174.89 cores=1,3,5,7
/proc/15233/task/15237/stat : 15237 (claspmt) R 15231 15233 15036 0 -1 4202560 445715 0 0 0 117314 175 0 0 25 0 4 0 653658912 6085124096 1458723 33554432000 4194304 4964800 140735230750464 18446744073709551615 4313761 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4709.04
Current children cumulated vsize (KiB) 5942504



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1205.2 s]
/proc/loadavg: 7.80 8.01 8.00 9/315 15403
/proc/meminfo: memFree=8422612/32950928 swapFree=67111348/67111528
[pid=15233] ppid=15231 vsize=5954792 CPUtime=4800.41 cores=1,3,5,7
/proc/15233/stat : 15233 (claspmt) R 15231 15233 15036 0 -1 4202496 1555377 0 0 0 479421 620 0 0 25 0 4 0 653658706 6097707008 1465053 33554432000 4194304 4964800 140735230750464 18446744073709551615 4669022 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/15233/statm: 1488698 1465053 454 189 0 1483047 0
[pid=15233/tid=15235] ppid=15231 vsize=5954792 CPUtime=1199.3 cores=1,3,5,7
/proc/15233/task/15235/stat : 15235 (claspmt) R 15231 15233 15036 0 -1 4202560 200052 0 0 0 119820 110 0 0 25 0 4 0 653658912 6097707008 1465053 33554432000 4194304 4964800 140735230750464 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=15233/tid=15236] ppid=15231 vsize=5954792 CPUtime=1198.72 cores=1,3,5,7
/proc/15233/task/15236/stat : 15236 (claspmt) R 15231 15233 15036 0 -1 4202560 609349 0 0 0 119671 201 0 0 25 0 4 0 653658912 6097707008 1465053 33554432000 4194304 4964800 140735230750464 18446744073709551615 4313804 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=15233/tid=15237] ppid=15231 vsize=5954792 CPUtime=1197.8 cores=1,3,5,7
/proc/15233/task/15237/stat : 15237 (claspmt) R 15231 15233 15036 0 -1 4202560 445906 0 0 0 119604 176 0 0 25 0 4 0 653658912 6097707008 1465053 33554432000 4194304 4964800 140735230750464 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.41
Current children cumulated vsize (KiB) 5954792

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

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

[startup+1205.6 s]
/proc/loadavg: 7.80 8.01 8.00 6/314 15404
/proc/meminfo: memFree=8422616/32950928 swapFree=67111348/67111528
[pid=15233] ppid=15231 vsize=5954792 CPUtime=4800.83 cores=1,3,5,7
/proc/15233/stat : 15233 (claspmt) S 15231 15233 15036 0 -1 4202496 1555380 0 0 0 479463 620 0 0 25 0 2 0 653658706 6097707008 1465056 33554432000 4194304 4964800 140735230750464 18446744073709551615 235606669285 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/15233/statm: 1488698 1465056 456 189 0 1483047 0
[pid=15233/tid=15236] ppid=15231 vsize=5954792 CPUtime=1199.11 cores=1,3,5,7
/proc/15233/task/15236/stat : 15236 (claspmt) R 15231 15233 15036 0 -1 4202560 609349 0 0 0 119710 201 0 0 25 0 2 0 653658912 6097707008 1465056 33554432000 4194304 4964800 140735230750464 18446744073709551615 4313761 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.83
Current children cumulated vsize (KiB) 5954792

[startup+1206.4 s]
/proc/loadavg: 7.80 8.01 8.00 6/314 15404
/proc/meminfo: memFree=8422616/32950928 swapFree=67111348/67111528
[pid=15233] ppid=15231 vsize=5459328 CPUtime=4801.63 cores=1,3,5,7
/proc/15233/stat : 15233 (claspmt) R 15231 15233 15036 0 -1 4202496 1555389 0 0 0 479541 622 0 0 22 0 1 0 653658706 5590351872 1343753 33554432000 4194304 4964800 140735230750464 18446744073709551615 235594524434 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15233/statm: 1364832 1343753 465 189 0 1359181 0
Current children cumulated CPU time (s) 4801.63
Current children cumulated vsize (KiB) 5459328

[startup+1206.61 s]
/proc/loadavg: 7.58 7.96 7.99 6/313 15404
/proc/meminfo: memFree=9008896/32950928 swapFree=67111348/67111528
[pid=15233] ppid=15231 vsize=2713272 CPUtime=4801.84 cores=1,3,5,7
/proc/15233/stat : 15233 (claspmt) R 15231 15233 15036 0 -1 4202496 1555389 0 0 0 479551 633 0 0 22 0 1 0 653658706 2778390528 650264 33554432000 4194304 4964800 140735230750464 18446744073709551615 235594909831 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15233/statm: 678318 650264 465 189 0 672667 0
Current children cumulated CPU time (s) 4801.84
Current children cumulated vsize (KiB) 2713272

[startup+1206.7 s]
/proc/loadavg: 7.58 7.96 7.99 6/313 15404
/proc/meminfo: memFree=9008896/32950928 swapFree=67111348/67111528
[pid=15233] ppid=15231 vsize=0 CPUtime=4801.93 cores=1,3,5,7
/proc/15233/stat : 15233 (claspmt) R 15231 15233 15036 0 -1 4202500 1555390 0 0 0 479551 642 0 0 23 0 1 0 653658706 0 0 33554432000 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/15233/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4801.93
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1206.72
CPU time (s): 4801.96
CPU user time (s): 4795.51
CPU system time (s): 6.44802
CPU usage (%): 397.934
Max. virtual memory (cumulated for all children) (KiB): 5954792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.51
system time used= 6.44802
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1555390
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= 7959
involuntary context switches= 35230

runsolver used 3.41748 second user time and 8.65868 second system time

The end

Launcher Data 

Begin job on node120 at 2011-05-15 02:49:59
IDJOB=3373363
IDBENCH=82374
IDSOLVER=1853
FILE ID=node120/3373363-1305420595
RUNJOBID= node120-1305419310-15055
PBS_JOBID= 13324572
Free space on /tmp= 73364 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-35nodes-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-3373363-1305420595/watcher-3373363-1305420595 -o /tmp/evaluation-result-3373363-1305420595/solver-3373363-1305420595 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373363-1305420595.cnf

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

MD5SUM BENCH= ce0d180356398dfbcfd2bbbb1cb3f9e5
RANDOM SEED=1300036383

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      10334328 kB
Buffers:        263284 kB
Cached:        3772376 kB
SwapCached:          0 kB
Active:       19328532 kB
Inactive:      2990636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      10334328 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:          138920 kB
Writeback:           0 kB
AnonPages:    18283404 kB
Mapped:          25452 kB
Slab:           181648 kB
PageTables:      52244 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 53363236 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= 73368 MiB
End job on node120 at 2011-05-15 03:10:07