Trace number 3299738

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.56 1203.54

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf
MD5SUM6ed645315c9ffb8177453b955fbe1737
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1200.86
Satisfiable
(Un)Satisfiability was proved
Number of variables109684
Number of clauses1767096
Sum of the clauses size4034296
Maximum clause length78
Minimum clause length1
Number of clauses of size 1696
Number of clauses of size 21705200
Number of clauses of size 34800
Number of clauses of size 422200
Number of clauses of size 59600
Number of clauses of size over 524600

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...060083/instance-3299738-1304060083.cnf
1.59/1.62	c Solving...
4800.10/1203.11	
4800.10/1203.11	*** INTERRUPTED! ***
4800.10/1203.11	*** Shutting down threads...
4800.42/1203.49	s UNKNOWN
4800.42/1203.49	
4800.42/1203.49	c INTERRUPTED   : 1
4800.42/1203.49	c Models        : 0+    
4800.42/1203.49	c Time          : 1203.113s (Solving: 1201.49s 1st Model: 0.00s Unsat: 0.00s)
4800.42/1203.49	c CPU Time      : 4800.130s

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-3299738-1304060083/watcher-3299738-1304060083 -o /tmp/evaluation-result-3299738-1304060083/solver-3299738-1304060083 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299738-1304060083.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: 6.90 7.81 7.50 4/177 21386
/proc/meminfo: memFree=25296660/32951124 swapFree=67051468/67111528
[pid=21386] ppid=21384 vsize=34756 CPUtime=0 cores=1,3,5,7
/proc/21386/stat : 21386 (claspmt) R 21384 21386 21348 0 -1 4202496 1327 0 0 0 0 0 0 0 23 0 1 0 517611171 35590144 1256 33554432000 4194304 4964704 140733270199744 18446744073709551615 4700332 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21386/statm: 8689 1262 375 189 0 3563 0

[startup+0.0110869 s]
/proc/loadavg: 6.90 7.81 7.50 4/177 21386
/proc/meminfo: memFree=25296660/32951124 swapFree=67051468/67111528
[pid=21386] ppid=21384 vsize=34756 CPUtime=0 cores=1,3,5,7
/proc/21386/stat : 21386 (claspmt) R 21384 21386 21348 0 -1 4202496 3210 0 0 0 0 0 0 0 23 0 1 0 517611171 35590144 3139 33554432000 4194304 4964704 140733270199744 18446744073709551615 4700332 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21386/statm: 8689 3152 375 189 0 3563 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 34756

[startup+0.10107 s]
/proc/loadavg: 6.90 7.81 7.50 4/177 21386
/proc/meminfo: memFree=25296660/32951124 swapFree=67051468/67111528
[pid=21386] ppid=21384 vsize=45476 CPUtime=0.09 cores=1,3,5,7
/proc/21386/stat : 21386 (claspmt) R 21384 21386 21348 0 -1 4202496 7664 0 0 0 9 0 0 0 24 0 1 0 517611171 46567424 6444 33554432000 4194304 4964704 140733270199744 18446744073709551615 218370618053 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21386/statm: 11369 6447 388 189 0 6243 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45476

[startup+0.301036 s]
/proc/loadavg: 6.90 7.81 7.50 4/177 21386
/proc/meminfo: memFree=25296660/32951124 swapFree=67051468/67111528
[pid=21386] ppid=21384 vsize=77772 CPUtime=0.29 cores=1,3,5,7
/proc/21386/stat : 21386 (claspmt) R 21384 21386 21348 0 -1 4202496 19113 0 0 0 26 3 0 0 25 0 1 0 517611171 79638528 14147 33554432000 4194304 4964704 140733270199744 18446744073709551615 218370618053 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21386/statm: 19443 14149 388 189 0 14317 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 77772

[startup+0.700966 s]
/proc/loadavg: 6.90 7.81 7.50 4/177 21386
/proc/meminfo: memFree=25296660/32951124 swapFree=67051468/67111528
[pid=21386] ppid=21384 vsize=135528 CPUtime=0.69 cores=1,3,5,7
/proc/21386/stat : 21386 (claspmt) R 21384 21386 21348 0 -1 4202496 36513 0 0 0 64 5 0 0 25 0 1 0 517611171 138780672 28426 33554432000 4194304 4964704 140733270199744 18446744073709551615 4670544 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21386/statm: 33882 28426 399 189 0 28756 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 135528

[startup+1.50082 s]
/proc/loadavg: 6.90 7.81 7.50 6/181 21390
/proc/meminfo: memFree=25126880/32951124 swapFree=67051468/67111528
[pid=21386] ppid=21384 vsize=135528 CPUtime=1.49 cores=1,3,5,7
/proc/21386/stat : 21386 (claspmt) R 21384 21386 21348 0 -1 4202496 36551 0 0 0 144 5 0 0 25 0 1 0 517611171 138780672 28464 33554432000 4194304 4964704 140733270199744 18446744073709551615 218370615670 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21386/statm: 33882 28464 405 189 0 28756 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 135528

[startup+3.10051 s]
/proc/loadavg: 6.75 7.76 7.49 9/184 21393
/proc/meminfo: memFree=25088656/32951124 swapFree=67051468/67111528
[pid=21386] ppid=21384 vsize=342364 CPUtime=7.42 cores=1,3,5,7
/proc/21386/stat : 21386 (claspmt) R 21384 21386 21348 0 -1 4202496 49157 0 0 0 733 9 0 0 25 0 4 0 517611171 350580736 36630 33554432000 4194304 4964704 140733270199744 18446744073709551615 4670219 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/21386/statm: 85591 36630 457 189 0 79940 0
[pid=21386/tid=21391] ppid=21384 vsize=342364 CPUtime=1.43 cores=1,3,5,7
/proc/21386/task/21391/stat : 21391 (claspmt) R 21384 21386 21348 0 -1 4202560 1590 0 0 0 143 0 0 0 19 0 4 0 517611334 350580736 36631 33554432000 4194304 4964704 140733270199744 18446744073709551615 4669077 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21386/tid=21392] ppid=21384 vsize=342364 CPUtime=1.47 cores=1,3,5,7
/proc/21386/task/21392/stat : 21392 (claspmt) R 21384 21386 21348 0 -1 4202560 6736 0 0 0 145 2 0 0 20 0 4 0 517611334 350580736 36632 33554432000 4194304 4964704 140733270199744 18446744073709551615 218370653963 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21386/tid=21393] ppid=21384 vsize=342364 CPUtime=1.46 cores=1,3,5,7
/proc/21386/task/21393/stat : 21393 (claspmt) R 21384 21386 21348 0 -1 4202560 3227 0 0 0 146 0 0 0 20 0 4 0 517611334 350580736 36632 33554432000 4194304 4964704 140733270199744 18446744073709551615 4668907 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.42
Current children cumulated vsize (KiB) 342364

[startup+6.30094 s]
/proc/loadavg: 6.75 7.76 7.49 9/184 21393
/proc/meminfo: memFree=25065632/32951124 swapFree=67051468/67111528
[pid=21386] ppid=21384 vsize=342364 CPUtime=20.19 cores=1,3,5,7
/proc/21386/stat : 21386 (claspmt) R 21384 21386 21348 0 -1 4202496 51994 0 0 0 2008 11 0 0 25 0 4 0 517611171 350580736 39467 33554432000 4194304 4964704 140733270199744 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/21386/statm: 85591 39467 458 189 0 79940 0
[pid=21386/tid=21391] ppid=21384 vsize=342364 CPUtime=4.63 cores=1,3,5,7
/proc/21386/task/21391/stat : 21391 (claspmt) R 21384 21386 21348 0 -1 4202560 1698 0 0 0 463 0 0 0 25 0 4 0 517611334 350580736 39467 33554432000 4194304 4964704 140733270199744 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21386/tid=21392] ppid=21384 vsize=342364 CPUtime=4.67 cores=1,3,5,7
/proc/21386/task/21392/stat : 21392 (claspmt) R 21384 21386 21348 0 -1 4202560 8335 0 0 0 464 3 0 0 25 0 4 0 517611334 350580736 39467 33554432000 4194304 4964704 140733270199744 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21386/tid=21393] ppid=21384 vsize=342364 CPUtime=4.64 cores=1,3,5,7
/proc/21386/task/21393/stat : 21393 (claspmt) R 21384 21386 21348 0 -1 4202560 3859 0 0 0 463 1 0 0 25 0 4 0 517611334 350580736 39467 33554432000 4194304 4964704 140733270199744 18446744073709551615 4677965 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 20.19
Current children cumulated vsize (KiB) 342364

[startup+12.7008 s]
/proc/loadavg: 6.94 7.77 7.50 9/184 21394
/proc/meminfo: memFree=25009172/32951124 swapFree=67051468/67111528
[pid=21386] ppid=21384 vsize=342364 CPUtime=45.76 cores=1,3,5,7
/proc/21386/stat : 21386 (claspmt) R 21384 21386 21348 0 -1 4202496 59460 0 0 0 4559 17 0 0 25 0 4 0 517611171 350580736 46933 33554432000 4194304 4964704 140733270199744 18446744073709551615 4629968 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/21386/statm: 85591 46933 458 189 0 79940 0
[pid=21386/tid=21391] ppid=21384 vsize=342364 CPUtime=11.03 cores=1,3,5,7
/proc/21386/task/21391/stat : 21391 (claspmt) R 21384 21386 21348 0 -1 4202560 1698 0 0 0 1103 0 0 0 25 0 4 0 517611334 350580736 46933 33554432000 4194304 4964704 140733270199744 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21386/tid=21392] ppid=21384 vsize=342364 CPUtime=11.06 cores=1,3,5,7
/proc/21386/task/21392/stat : 21392 (claspmt) R 21384 21386 21348 0 -1 4202560 13097 0 0 0 1101 5 0 0 25 0 4 0 517611334 350580736 46933 33554432000 4194304 4964704 140733270199744 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21386/tid=21393] ppid=21384 vsize=342364 CPUtime=11.01 cores=1,3,5,7
/proc/21386/task/21393/stat : 21393 (claspmt) R 21384 21386 21348 0 -1 4202560 5465 0 0 0 1098 3 0 0 25 0 4 0 517611334 350580736 46933 33554432000 4194304 4964704 140733270199744 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 45.76
Current children cumulated vsize (KiB) 342364

[startup+25.5005 s]
/proc/loadavg: 7.10 7.78 7.50 9/184 21394
/proc/meminfo: memFree=24914092/32951124 swapFree=67051468/67111528
[pid=21386] ppid=21384 vsize=407900 CPUtime=96.89 cores=1,3,5,7
/proc/21386/stat : 21386 (claspmt) R 21384 21386 21348 0 -1 4202496 71680 0 0 0 9663 26 0 0 25 0 4 0 517611171 417689600 59153 33554432000 4194304 4964704 140733270199744 18446744073709551615 4668488 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/21386/statm: 101975 59153 458 189 0 96324 0
[pid=21386/tid=21391] ppid=21384 vsize=407900 CPUtime=23.83 cores=1,3,5,7
/proc/21386/task/21391/stat : 21391 (claspmt) R 21384 21386 21348 0 -1 4202560 2782 0 0 0 2382 1 0 0 25 0 4 0 517611334 417689600 59153 33554432000 4194304 4964704 140733270199744 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21386/tid=21392] ppid=21384 vsize=407900 CPUtime=23.87 cores=1,3,5,7
/proc/21386/task/21392/stat : 21392 (claspmt) R 21384 21386 21348 0 -1 4202560 21611 0 0 0 2376 11 0 0 25 0 4 0 517611334 417689600 59154 33554432000 4194304 4964704 140733270199744 18446744073709551615 218370618401 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21386/tid=21393] ppid=21384 vsize=407900 CPUtime=23.73 cores=1,3,5,7
/proc/21386/task/21393/stat : 21393 (claspmt) R 21384 21386 21348 0 -1 4202560 7192 0 0 0 2369 4 0 0 25 0 4 0 517611334 417689600 59154 33554432000 4194304 4964704 140733270199744 18446744073709551615 4653264 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 96.89
Current children cumulated vsize (KiB) 407900

[startup+51.101 s]
/proc/loadavg: 7.47 7.81 7.52 9/184 21395
/proc/meminfo: memFree=24725008/32951124 swapFree=67051468/67111528
[pid=21386] ppid=21384 vsize=473436 CPUtime=199.15 cores=1,3,5,7
/proc/21386/stat : 21386 (claspmt) R 21384 21386 21348 0 -1 4202496 90744 0 0 0 19877 38 0 0 25 0 4 0 517611171 484798464 78217 33554432000 4194304 4964704 140733270199744 18446744073709551615 4670219 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/21386/statm: 118359 78217 458 189 0 112708 0
[pid=21386/tid=21391] ppid=21384 vsize=473436 CPUtime=49.43 cores=1,3,5,7
/proc/21386/task/21391/stat : 21391 (claspmt) R 21384 21386 21348 0 -1 4202560 4521 0 0 0 4940 3 0 0 25 0 4 0 517611334 484798464 78217 33554432000 4194304 4964704 140733270199744 18446744073709551615 4669051 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21386/tid=21392] ppid=21384 vsize=473436 CPUtime=49.46 cores=1,3,5,7
/proc/21386/task/21392/stat : 21392 (claspmt) R 21384 21386 21348 0 -1 4202560 38026 0 0 0 4926 20 0 0 25 0 4 0 517611334 484798464 78217 33554432000 4194304 4964704 140733270199744 18446744073709551615 4313761 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21386/tid=21393] ppid=21384 vsize=473436 CPUtime=49.19 cores=1,3,5,7
/proc/21386/task/21393/stat : 21393 (claspmt) R 21384 21386 21348 0 -1 4202560 7231 0 0 0 4915 4 0 0 25 0 4 0 517611334 484798464 78217 33554432000 4194304 4964704 140733270199744 18446744073709551615 4668918 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 199.15
Current children cumulated vsize (KiB) 473436

[startup+102.307 s]
/proc/loadavg: 7.79 7.84 7.54 9/184 21396
/proc/meminfo: memFree=24268384/32951124 swapFree=67051468/67111528
[pid=21386] ppid=21384 vsize=695256 CPUtime=403.69 cores=1,3,5,7
/proc/21386/stat : 21386 (claspmt) R 21384 21386 21348 0 -1 4202496 147640 0 0 0 40294 75 0 0 25 0 4 0 517611171 711942144 135113 33554432000 4194304 4964704 140733270199744 18446744073709551615 4670219 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/21386/statm: 173814 135113 460 189 0 168163 0
[pid=21386/tid=21391] ppid=21384 vsize=695256 CPUtime=100.64 cores=1,3,5,7
/proc/21386/task/21391/stat : 21391 (claspmt) R 21384 21386 21348 0 -1 4202560 10514 0 0 0 10056 8 0 0 25 0 4 0 517611334 711942144 135113 33554432000 4194304 4964704 140733270199744 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21386/tid=21392] ppid=21384 vsize=695256 CPUtime=100.67 cores=1,3,5,7
/proc/21386/task/21392/stat : 21392 (claspmt) R 21384 21386 21348 0 -1 4202560 70700 0 0 0 10028 39 0 0 25 0 4 0 517611334 711942144 135113 33554432000 4194304 4964704 140733270199744 18446744073709551615 4668820 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21386/tid=21393] ppid=21384 vsize=695256 CPUtime=100.12 cores=1,3,5,7
/proc/21386/task/21393/stat : 21393 (claspmt) R 21384 21386 21348 0 -1 4202560 22144 0 0 0 9996 16 0 0 25 0 4 0 517611334 711942144 135113 33554432000 4194304 4964704 140733270199744 18446744073709551615 4321379 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 403.69
Current children cumulated vsize (KiB) 695256

[startup+162.301 s]
/proc/loadavg: 7.98 7.88 7.57 9/184 21398
/proc/meminfo: memFree=23778792/32951124 swapFree=67051468/67111528
[pid=21386] ppid=21384 vsize=920604 CPUtime=643.35 cores=1,3,5,7
/proc/21386/stat : 21386 (claspmt) R 21384 21386 21348 0 -1 4202496 206305 0 0 0 64221 114 0 0 25 0 4 0 517611171 942698496 193745 33554432000 4194304 4964704 140733270199744 18446744073709551615 4670100 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/21386/statm: 230151 193745 460 189 0 224500 0
[pid=21386/tid=21391] ppid=21384 vsize=920604 CPUtime=160.64 cores=1,3,5,7
/proc/21386/task/21391/stat : 21391 (claspmt) R 21384 21386 21348 0 -1 4202560 17410 0 0 0 16048 16 0 0 25 0 4 0 517611334 942698496 193745 33554432000 4194304 4964704 140733270199744 18446744073709551615 4668466 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21386/tid=21392] ppid=21384 vsize=920604 CPUtime=160.67 cores=1,3,5,7
/proc/21386/task/21392/stat : 21392 (claspmt) R 21384 21386 21348 0 -1 4202560 106046 0 0 0 16009 58 0 0 25 0 4 0 517611334 942698496 193745 33554432000 4194304 4964704 140733270199744 18446744073709551615 4342174 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21386/tid=21393] ppid=21384 vsize=920604 CPUtime=159.79 cores=1,3,5,7
/proc/21386/task/21393/stat : 21393 (claspmt) R 21384 21386 21348 0 -1 4202560 36257 0 0 0 15953 26 0 0 25 0 4 0 517611334 942698496 193745 33554432000 4194304 4964704 140733270199744 18446744073709551615 4670184 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 643.35
Current children cumulated vsize (KiB) 920604

[startup+222.3 s]
/proc/loadavg: 8.08 7.93 7.61 9/184 21399
/proc/meminfo: memFree=23318848/32951124 swapFree=67051468/67111528
[pid=21386] ppid=21384 vsize=1130980 CPUtime=883.03 cores=1,3,5,7
/proc/21386/stat : 21386 (claspmt) R 21384 21386 21348 0 -1 4202496 263909 0 0 0 88158 145 0 0 25 0 4 0 517611171 1158123520 251241 33554432000 4194304 4964704 140733270199744 18446744073709551615 4669270 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/21386/statm: 282745 251241 460 189 0 277094 0
[pid=21386/tid=21391] ppid=21384 vsize=1130980 CPUtime=220.64 cores=1,3,5,7
/proc/21386/task/21391/stat : 21391 (claspmt) R 21384 21386 21348 0 -1 4202560 21941 0 0 0 22043 21 0 0 25 0 4 0 517611334 1158123520 251241 33554432000 4194304 4964704 140733270199744 18446744073709551615 4627252 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21386/tid=21392] ppid=21384 vsize=1130980 CPUtime=220.67 cores=1,3,5,7
/proc/21386/task/21392/stat : 21392 (claspmt) R 21384 21386 21348 0 -1 4202560 138216 0 0 0 21992 75 0 0 25 0 4 0 517611334 1158123520 251241 33554432000 4194304 4964704 140733270199744 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21386/tid=21393] ppid=21384 vsize=1130980 CPUtime=219.46 cores=1,3,5,7
/proc/21386/task/21393/stat : 21393 (claspmt) R 21384 21386 21348 0 -1 4202560 56141 0 0 0 21912 34 0 0 25 0 4 0 517611334 1158123520 251241 33554432000 4194304 4964704 140733270199744 18446744073709551615 4653475 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 883.03
Current children cumulated vsize (KiB) 1130980

[startup+282.301 s]
/proc/loadavg: 8.19 7.99 7.65 9/184 21401
/proc/meminfo: memFree=22862984/32951124 swapFree=67051468/67111528
[pid=21386] ppid=21384 vsize=1394072 CPUtime=1122.7 cores=1,3,5,7
/proc/21386/stat : 21386 (claspmt) R 21384 21386 21348 0 -1 4202496 326099 0 0 0 112090 180 0 0 25 0 4 0 517611171 1427529728 313431 33554432000 4194304 4964704 140733270199744 18446744073709551615 4670260 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/21386/statm: 348518 313431 460 189 0 342867 0
[pid=21386/tid=21391] ppid=21384 vsize=1394072 CPUtime=280.64 cores=1,3,5,7

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

[pid=21386/tid=21391] ppid=21384 vsize=2978704 CPUtime=700.53 cores=1,3,5,7
/proc/21386/task/21391/stat : 21391 (claspmt) R 21384 21386 21348 0 -1 4202560 104327 0 0 0 69956 97 0 0 25 0 4 0 517611334 3050192896 713080 33554432000 4194304 4964704 140733270199744 18446744073709551615 4668508 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21386/tid=21392] ppid=21384 vsize=2978704 CPUtime=700.67 cores=1,3,5,7
/proc/21386/task/21392/stat : 21392 (claspmt) R 21384 21386 21348 0 -1 4202560 370880 0 0 0 69894 173 0 0 25 0 4 0 517611334 3050192896 713080 33554432000 4194304 4964704 140733270199744 18446744073709551615 4313761 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21386/tid=21393] ppid=21384 vsize=2978704 CPUtime=696.12 cores=1,3,5,7
/proc/21386/task/21393/stat : 21393 (claspmt) R 21384 21386 21348 0 -1 4202560 168726 0 0 0 69509 103 0 0 25 0 4 0 517611334 3050192896 713080 33554432000 4194304 4964704 140733270199744 18446744073709551615 4670250 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2799.59
Current children cumulated vsize (KiB) 2978704

[startup+762.306 s]
/proc/loadavg: 8.21 8.14 7.85 9/184 21426
/proc/meminfo: memFree=19812404/32951124 swapFree=67051468/67111528
[pid=21386] ppid=21384 vsize=3120840 CPUtime=3039.28 cores=1,3,5,7
/proc/21386/stat : 21386 (claspmt) R 21384 21386 21348 0 -1 4202496 760060 0 0 0 303492 436 0 0 25 0 4 0 517611171 3195740160 747355 33554432000 4194304 4964704 140733270199744 18446744073709551615 4668488 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/21386/statm: 780210 747355 460 189 0 774559 0
[pid=21386/tid=21391] ppid=21384 vsize=3120840 CPUtime=760.52 cores=1,3,5,7
/proc/21386/task/21391/stat : 21391 (claspmt) R 21384 21386 21348 0 -1 4202560 107068 0 0 0 75955 97 0 0 25 0 4 0 517611334 3195740160 747355 33554432000 4194304 4964704 140733270199744 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21386/tid=21392] ppid=21384 vsize=3120840 CPUtime=760.68 cores=1,3,5,7
/proc/21386/task/21392/stat : 21392 (claspmt) R 21384 21386 21348 0 -1 4202560 390763 0 0 0 75887 181 0 0 25 0 4 0 517611334 3195740160 747355 33554432000 4194304 4964704 140733270199744 18446744073709551615 4313764 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21386/tid=21393] ppid=21384 vsize=3120840 CPUtime=755.8 cores=1,3,5,7
/proc/21386/task/21393/stat : 21393 (claspmt) R 21384 21386 21348 0 -1 4202560 179929 0 0 0 75466 114 0 0 25 0 4 0 517611334 3195740160 747355 33554432000 4194304 4964704 140733270199744 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3039.28
Current children cumulated vsize (KiB) 3120840

[startup+822.301 s]
/proc/loadavg: 8.19 8.14 7.86 9/184 21427
/proc/meminfo: memFree=19508580/32951124 swapFree=67051468/67111528
[pid=21386] ppid=21384 vsize=3344072 CPUtime=3278.94 cores=1,3,5,7
/proc/21386/stat : 21386 (claspmt) R 21384 21386 21348 0 -1 4202496 818100 0 0 0 327427 467 0 0 25 0 4 0 517611171 3424329728 805395 33554432000 4194304 4964704 140733270199744 18446744073709551615 4669200 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/21386/statm: 836018 805395 460 189 0 830367 0
[pid=21386/tid=21391] ppid=21384 vsize=3344072 CPUtime=820.52 cores=1,3,5,7
/proc/21386/task/21391/stat : 21391 (claspmt) R 21384 21386 21348 0 -1 4202560 113703 0 0 0 81952 100 0 0 25 0 4 0 517611334 3424329728 805395 33554432000 4194304 4964704 140733270199744 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21386/tid=21392] ppid=21384 vsize=3344072 CPUtime=820.67 cores=1,3,5,7
/proc/21386/task/21392/stat : 21392 (claspmt) R 21384 21386 21348 0 -1 4202560 425557 0 0 0 81870 197 0 0 25 0 4 0 517611334 3424329728 805395 33554432000 4194304 4964704 140733270199744 18446744073709551615 4313804 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21386/tid=21393] ppid=21384 vsize=3344072 CPUtime=815.47 cores=1,3,5,7
/proc/21386/task/21393/stat : 21393 (claspmt) R 21384 21386 21348 0 -1 4202560 196539 0 0 0 81422 125 0 0 25 0 4 0 517611334 3424329728 805395 33554432000 4194304 4964704 140733270199744 18446744073709551615 4660083 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3278.94
Current children cumulated vsize (KiB) 3344072

[startup+882.301 s]
/proc/loadavg: 8.18 8.15 7.88 9/184 21429
/proc/meminfo: memFree=19270840/32951124 swapFree=67051468/67111528
[pid=21386] ppid=21384 vsize=3507912 CPUtime=3518.62 cores=1,3,5,7
/proc/21386/stat : 21386 (claspmt) R 21384 21386 21348 0 -1 4202496 864102 0 0 0 351363 499 0 0 25 0 4 0 517611171 3592101888 851397 33554432000 4194304 4964704 140733270199744 18446744073709551615 4670419 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/21386/statm: 876978 851397 460 189 0 871327 0
[pid=21386/tid=21391] ppid=21384 vsize=3507912 CPUtime=880.52 cores=1,3,5,7
/proc/21386/task/21391/stat : 21391 (claspmt) R 21384 21386 21348 0 -1 4202560 124626 0 0 0 87940 112 0 0 25 0 4 0 517611334 3592101888 851397 33554432000 4194304 4964704 140733270199744 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21386/tid=21392] ppid=21384 vsize=3507912 CPUtime=880.68 cores=1,3,5,7
/proc/21386/task/21392/stat : 21392 (claspmt) R 21384 21386 21348 0 -1 4202560 450213 0 0 0 87860 208 0 0 25 0 4 0 517611334 3592101888 851397 33554432000 4194304 4964704 140733270199744 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21386/tid=21393] ppid=21384 vsize=3507912 CPUtime=875.14 cores=1,3,5,7
/proc/21386/task/21393/stat : 21393 (claspmt) R 21384 21386 21348 0 -1 4202560 202185 0 0 0 87385 129 0 0 25 0 4 0 517611334 3592101888 851397 33554432000 4194304 4964704 140733270199744 18446744073709551615 4684027 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3518.62
Current children cumulated vsize (KiB) 3507912

[startup+942.3 s]
/proc/loadavg: 8.16 8.15 7.90 9/184 21431
/proc/meminfo: memFree=18923348/32951124 swapFree=67051468/67111528
[pid=21386] ppid=21384 vsize=3781320 CPUtime=3758.3 cores=1,3,5,7
/proc/21386/stat : 21386 (claspmt) R 21384 21386 21348 0 -1 4202496 924018 0 0 0 375302 528 0 0 25 0 4 0 517611171 3872071680 911240 33554432000 4194304 4964704 140733270199744 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/21386/statm: 945330 911240 460 189 0 939679 0
[pid=21386/tid=21391] ppid=21384 vsize=3781320 CPUtime=940.52 cores=1,3,5,7
/proc/21386/task/21391/stat : 21391 (claspmt) R 21384 21386 21348 0 -1 4202560 127016 0 0 0 93939 113 0 0 25 0 4 0 517611334 3872071680 911240 33554432000 4194304 4964704 140733270199744 18446744073709551615 4362287 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21386/tid=21392] ppid=21384 vsize=3781320 CPUtime=940.68 cores=1,3,5,7
/proc/21386/task/21392/stat : 21392 (claspmt) R 21384 21386 21348 0 -1 4202560 493272 0 0 0 93842 226 0 0 25 0 4 0 517611334 3872071680 911240 33554432000 4194304 4964704 140733270199744 18446744073709551615 4313804 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21386/tid=21393] ppid=21384 vsize=3781320 CPUtime=934.82 cores=1,3,5,7
/proc/21386/task/21393/stat : 21393 (claspmt) R 21384 21386 21348 0 -1 4202560 211988 0 0 0 93346 136 0 0 25 0 4 0 517611334 3872071680 911240 33554432000 4194304 4964704 140733270199744 18446744073709551615 4668907 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3758.3
Current children cumulated vsize (KiB) 3781320

[startup+1002.3 s]
/proc/loadavg: 8.12 8.13 7.91 9/184 21432
/proc/meminfo: memFree=18513008/32951124 swapFree=67051468/67111528
[pid=21386] ppid=21384 vsize=4028104 CPUtime=3997.97 cores=1,3,5,7
/proc/21386/stat : 21386 (claspmt) R 21384 21386 21348 0 -1 4202496 978088 0 0 0 399239 558 0 0 25 0 4 0 517611171 4124778496 965310 33554432000 4194304 4964704 140733270199744 18446744073709551615 4653475 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/21386/statm: 1007026 965310 460 189 0 1001375 0
[pid=21386/tid=21391] ppid=21384 vsize=4028104 CPUtime=1000.53 cores=1,3,5,7
/proc/21386/task/21391/stat : 21391 (claspmt) R 21384 21386 21348 0 -1 4202560 135936 0 0 0 99931 122 0 0 25 0 4 0 517611334 4124778496 965310 33554432000 4194304 4964704 140733270199744 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21386/tid=21392] ppid=21384 vsize=4028104 CPUtime=1000.68 cores=1,3,5,7
/proc/21386/task/21392/stat : 21392 (claspmt) R 21384 21386 21348 0 -1 4202560 517723 0 0 0 99834 234 0 0 25 0 4 0 517611334 4124778496 965310 33554432000 4194304 4964704 140733270199744 18446744073709551615 4670291 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21386/tid=21393] ppid=21384 vsize=4028104 CPUtime=994.49 cores=1,3,5,7
/proc/21386/task/21393/stat : 21393 (claspmt) R 21384 21386 21348 0 -1 4202560 226241 0 0 0 99306 143 0 0 25 0 4 0 517611334 4124778496 965310 33554432000 4194304 4964704 140733270199744 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3997.97
Current children cumulated vsize (KiB) 4028104

[startup+1062.3 s]
/proc/loadavg: 8.09 8.12 7.91 9/184 21434
/proc/meminfo: memFree=18358080/32951124 swapFree=67051468/67111528
[pid=21386] ppid=21384 vsize=4028104 CPUtime=4237.63 cores=1,3,5,7
/proc/21386/stat : 21386 (claspmt) R 21384 21386 21348 0 -1 4202496 978136 0 0 0 423205 558 0 0 25 0 4 0 517611171 4124778496 965358 33554432000 4194304 4964704 140733270199744 18446744073709551615 4670357 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/21386/statm: 1007026 965358 460 189 0 1001375 0
[pid=21386/tid=21391] ppid=21384 vsize=4028104 CPUtime=1060.52 cores=1,3,5,7
/proc/21386/task/21391/stat : 21391 (claspmt) R 21384 21386 21348 0 -1 4202560 135950 0 0 0 105930 122 0 0 25 0 4 0 517611334 4124778496 965358 33554432000 4194304 4964704 140733270199744 18446744073709551615 4653475 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21386/tid=21392] ppid=21384 vsize=4028104 CPUtime=1060.68 cores=1,3,5,7
/proc/21386/task/21392/stat : 21392 (claspmt) R 21384 21386 21348 0 -1 4202560 517757 0 0 0 105834 234 0 0 25 0 4 0 517611334 4124778496 965358 33554432000 4194304 4964704 140733270199744 18446744073709551615 4313761 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21386/tid=21393] ppid=21384 vsize=4028104 CPUtime=1054.17 cores=1,3,5,7
/proc/21386/task/21393/stat : 21393 (claspmt) R 21384 21386 21348 0 -1 4202560 226241 0 0 0 105274 143 0 0 25 0 4 0 517611334 4124778496 965358 33554432000 4194304 4964704 140733270199744 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4237.63
Current children cumulated vsize (KiB) 4028104

[startup+1122.3 s]
/proc/loadavg: 8.08 8.11 7.92 9/184 21435
/proc/meminfo: memFree=18249436/32951124 swapFree=67051468/67111528
[pid=21386] ppid=21384 vsize=4028104 CPUtime=4477.31 cores=1,3,5,7
/proc/21386/stat : 21386 (claspmt) R 21384 21386 21348 0 -1 4202496 980093 0 0 0 447171 560 0 0 25 0 4 0 517611171 4124778496 967315 33554432000 4194304 4964704 140733270199744 18446744073709551615 4670219 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/21386/statm: 1007026 967315 460 189 0 1001375 0
[pid=21386/tid=21391] ppid=21384 vsize=4028104 CPUtime=1120.52 cores=1,3,5,7
/proc/21386/task/21391/stat : 21391 (claspmt) R 21384 21386 21348 0 -1 4202560 135950 0 0 0 111930 122 0 0 25 0 4 0 517611334 4124778496 967315 33554432000 4194304 4964704 140733270199744 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21386/tid=21392] ppid=21384 vsize=4028104 CPUtime=1120.68 cores=1,3,5,7
/proc/21386/task/21392/stat : 21392 (claspmt) R 21384 21386 21348 0 -1 4202560 517786 0 0 0 111834 234 0 0 25 0 4 0 517611334 4124778496 967315 33554432000 4194304 4964704 140733270199744 18446744073709551615 4313736 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21386/tid=21393] ppid=21384 vsize=4028104 CPUtime=1113.84 cores=1,3,5,7
/proc/21386/task/21393/stat : 21393 (claspmt) R 21384 21386 21348 0 -1 4202560 228169 0 0 0 111239 145 0 0 25 0 4 0 517611334 4124778496 967315 33554432000 4194304 4964704 140733270199744 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4477.31
Current children cumulated vsize (KiB) 4028104

[startup+1182.3 s]
/proc/loadavg: 8.15 8.12 7.93 9/184 21437
/proc/meminfo: memFree=18060432/32951124 swapFree=67051468/67111528
[pid=21386] ppid=21384 vsize=4159176 CPUtime=4716.99 cores=1,3,5,7
/proc/21386/stat : 21386 (claspmt) R 21384 21386 21348 0 -1 4202496 1015949 0 0 0 471115 584 0 0 25 0 4 0 517611171 4258996224 1003171 33554432000 4194304 4964704 140733270199744 18446744073709551615 4670114 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/21386/statm: 1039794 1003171 460 189 0 1034143 0
[pid=21386/tid=21391] ppid=21384 vsize=4159176 CPUtime=1180.52 cores=1,3,5,7
/proc/21386/task/21391/stat : 21391 (claspmt) R 21384 21386 21348 0 -1 4202560 137730 0 0 0 117928 124 0 0 25 0 4 0 517611334 4258996224 1003171 33554432000 4194304 4964704 140733270199744 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21386/tid=21392] ppid=21384 vsize=4159176 CPUtime=1180.68 cores=1,3,5,7
/proc/21386/task/21392/stat : 21392 (claspmt) R 21384 21386 21348 0 -1 4202560 528948 0 0 0 117830 238 0 0 25 0 4 0 517611334 4258996224 1003171 33554432000 4194304 4964704 140733270199744 18446744073709551615 4313761 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21386/tid=21393] ppid=21384 vsize=4159176 CPUtime=1173.52 cores=1,3,5,7
/proc/21386/task/21393/stat : 21393 (claspmt) R 21384 21386 21348 0 -1 4202560 242178 0 0 0 117197 155 0 0 25 0 4 0 517611334 4258996224 1003171 33554432000 4194304 4964704 140733270199744 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4716.99
Current children cumulated vsize (KiB) 4159176



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.11 8.11 7.93 6/183 21438
/proc/meminfo: memFree=17986404/32951124 swapFree=67051468/67111528
[pid=21386] ppid=21384 vsize=4159176 CPUtime=4800.1 cores=1,3,5,7
/proc/21386/stat : 21386 (claspmt) R 21384 21386 21348 0 -1 4202496 1023607 0 0 0 479419 591 0 0 25 0 4 0 517611171 4258996224 1010829 33554432000 4194304 4964704 140733270199744 18446744073709551615 4320951 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/21386/statm: 1039794 1010829 460 189 0 1034143 0
[pid=21386/tid=21391] ppid=21384 vsize=4159176 CPUtime=1201.32 cores=1,3,5,7
/proc/21386/task/21391/stat : 21391 (claspmt) R 21384 21386 21348 0 -1 4202560 137730 0 0 0 120008 124 0 0 25 0 4 0 517611334 4258996224 1010829 33554432000 4194304 4964704 140733270199744 18446744073709551615 4670458 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21386/tid=21392] ppid=21384 vsize=4159176 CPUtime=1201.49 cores=1,3,5,7
/proc/21386/task/21392/stat : 21392 (claspmt) R 21384 21386 21348 0 -1 4202560 528957 0 0 0 119911 238 0 0 25 0 4 0 517611334 4258996224 1010829 33554432000 4194304 4964704 140733270199744 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21386/tid=21393] ppid=21384 vsize=4159176 CPUtime=1194.2 cores=1,3,5,7
/proc/21386/task/21393/stat : 21393 (claspmt) R 21384 21386 21348 0 -1 4202560 247135 0 0 0 119261 159 0 0 25 0 4 0 517611334 4258996224 1010829 33554432000 4194304 4964704 140733270199744 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 4159176

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

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

[startup+1203.41 s]
/proc/loadavg: 8.11 8.11 7.93 3/180 21439
/proc/meminfo: memFree=18001060/32951124 swapFree=67051468/67111528
[pid=21386] ppid=21384 vsize=3359032 CPUtime=4800.42 cores=1,3,5,7
/proc/21386/stat : 21386 (claspmt) R 21384 21386 21348 0 -1 4202496 1023618 0 0 0 479448 594 0 0 25 0 1 0 517611171 3439648768 791789 33554432000 4194304 4964704 140733270199744 18446744073709551615 218371000455 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21386/statm: 823374 791280 471 189 0 817723 0
Current children cumulated CPU time (s) 4800.42
Current children cumulated vsize (KiB) 3359032

[startup+1203.5 s]
/proc/loadavg: 8.11 8.11 7.93 3/180 21439
/proc/meminfo: memFree=18001060/32951124 swapFree=67051468/67111528
[pid=21386] ppid=21384 vsize=0 CPUtime=4800.51 cores=1,3,5,7
/proc/21386/stat : 21386 (claspmt) R 21384 21386 21348 0 -1 4202500 1023619 0 0 0 479448 603 0 0 25 0 1 0 517611171 0 0 33554432000 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/21386/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4800.51
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1203.54
CPU time (s): 4800.56
CPU user time (s): 4794.48
CPU system time (s): 6.07408
CPU usage (%): 398.871
Max. virtual memory (cumulated for all children) (KiB): 4159176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.49
system time used= 6.07408
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1023619
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= 3250
involuntary context switches= 32588

runsolver used 1.75973 second user time and 4.81527 second system time

The end

Launcher Data 

Begin job on node101 at 2011-04-29 08:54:44
IDJOB=3299738
IDBENCH=82379
IDSOLVER=1683
FILE ID=node101/3299738-1304060083
RUNJOBID= node101-1304060083-21367
PBS_JOBID= 13170449
Free space on /tmp= 71972 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.050-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-3299738-1304060083/watcher-3299738-1304060083 -o /tmp/evaluation-result-3299738-1304060083/solver-3299738-1304060083 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299738-1304060083.cnf

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

MD5SUM BENCH= 6ed645315c9ffb8177453b955fbe1737
RANDOM SEED=1913029954

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:      25297312 kB
Buffers:       2016388 kB
Cached:        5111636 kB
SwapCached:      30452 kB
Active:        3026808 kB
Inactive:      4180084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25297312 kB
SwapTotal:    67111528 kB
SwapFree:     67051468 kB
Dirty:           55668 kB
Writeback:          20 kB
AnonPages:       70084 kB
Mapped:           9696 kB
Slab:           380972 kB
PageTables:       4988 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   251324 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= 71972 MiB
End job on node101 at 2011-04-29 09:14:49