Trace number 3373591

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.17 1205.66

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.080-SAT.cnf
MD5SUM1ca09a2b911e29894c6603aee8d3e672
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark153.91
Satisfiable
(Un)Satisfiability was proved
Number of variables175084
Number of clauses2826936
Sum of the clauses size6454456
Maximum clause length78
Minimum clause length1
Number of clauses of size 1696
Number of clauses of size 22728320
Number of clauses of size 37680
Number of clauses of size 435520
Number of clauses of size 515360
Number of clauses of size over 539360

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...420864/instance-3373591-1305420864.cnf
2.79/2.88	c Solving...
4800.09/1204.61	
4800.09/1204.61	*** INTERRUPTED! ***
4800.09/1204.61	*** Shutting down threads...
4801.11/1205.65	s UNKNOWN
4801.11/1205.65	
4801.11/1205.65	c INTERRUPTED   : 1
4801.11/1205.65	c Models        : 0+    
4801.11/1205.65	c Time          : 1205.110s (Solving: 1202.22s 1st Model: 0.00s Unsat: 0.00s)
4801.11/1205.65	c CPU Time      : 4800.620s

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

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.64 7.99 7.85 5/241 10121
/proc/meminfo: memFree=24078288/32951124 swapFree=61559568/67111528
[pid=10121] ppid=10119 vsize=43108 CPUtime=0 cores=0,2,4,6
/proc/10121/stat : 10121 (claspmt) R 10119 10121 9986 0 -1 4202496 1205 0 0 0 0 0 0 0 24 0 1 0 653687364 44142592 1136 33554432000 4194304 4964800 140736642204016 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10121/statm: 10777 1145 375 189 0 5651 0

[startup+0.087837 s]
/proc/loadavg: 7.64 7.99 7.85 5/241 10121
/proc/meminfo: memFree=24078288/32951124 swapFree=61559568/67111528
[pid=10121] ppid=10119 vsize=56380 CPUtime=0.08 cores=0,2,4,6
/proc/10121/stat : 10121 (claspmt) R 10119 10121 9986 0 -1 4202496 10611 0 0 0 7 1 0 0 24 0 1 0 653687364 57733120 9139 33554432000 4194304 4964800 140736642204016 18446744073709551615 222921438241 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10121/statm: 14095 9141 388 189 0 8969 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 56380

[startup+0.100832 s]
/proc/loadavg: 7.64 7.99 7.85 5/241 10121
/proc/meminfo: memFree=24078288/32951124 swapFree=61559568/67111528
[pid=10121] ppid=10119 vsize=57308 CPUtime=0.09 cores=0,2,4,6
/proc/10121/stat : 10121 (claspmt) R 10119 10121 9986 0 -1 4202496 10980 0 0 0 8 1 0 0 24 0 1 0 653687364 58683392 9373 33554432000 4194304 4964800 140736642204016 18446744073709551615 222921776896 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10121/statm: 14327 9373 388 189 0 9201 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 57308

[startup+0.300799 s]
/proc/loadavg: 7.64 7.99 7.85 5/241 10121
/proc/meminfo: memFree=24078288/32951124 swapFree=61559568/67111528
[pid=10121] ppid=10119 vsize=90240 CPUtime=0.29 cores=0,2,4,6
/proc/10121/stat : 10121 (claspmt) R 10119 10121 9986 0 -1 4202496 22637 0 0 0 26 3 0 0 25 0 1 0 653687364 92405760 17163 33554432000 4194304 4964800 140736642204016 18446744073709551615 222921437893 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10121/statm: 22560 17165 388 189 0 17434 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 90240

[startup+0.700703 s]
/proc/loadavg: 7.64 7.99 7.85 5/241 10121
/proc/meminfo: memFree=24078288/32951124 swapFree=61559568/67111528
[pid=10121] ppid=10119 vsize=148408 CPUtime=0.69 cores=0,2,4,6
/proc/10121/stat : 10121 (claspmt) R 10119 10121 9986 0 -1 4202496 42646 0 0 0 63 6 0 0 25 0 1 0 653687364 151969792 32045 33554432000 4194304 4964800 140736642204016 18446744073709551615 222921437893 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10121/statm: 37102 32046 388 189 0 31976 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 148408

[startup+1.50059 s]
/proc/loadavg: 7.64 7.99 7.85 6/242 10122
/proc/meminfo: memFree=23879020/32951124 swapFree=61559568/67111528
[pid=10121] ppid=10119 vsize=236756 CPUtime=1.49 cores=0,2,4,6
/proc/10121/stat : 10121 (claspmt) R 10119 10121 9986 0 -1 4202496 67933 0 0 0 140 9 0 0 25 0 1 0 653687364 242438144 50966 33554432000 4194304 4964800 140736642204016 18446744073709551615 4607472 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10121/statm: 59189 50966 402 189 0 54063 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 236756

[startup+3.10022 s]
/proc/loadavg: 7.64 7.99 7.85 6/242 10122
/proc/meminfo: memFree=23801036/32951124 swapFree=61559568/67111528
[pid=10121] ppid=10119 vsize=421284 CPUtime=3.57 cores=0,2,4,6
/proc/10121/stat : 10121 (claspmt) R 10119 10121 9986 0 -1 4202496 85470 0 0 0 344 13 0 0 18 0 4 0 653687364 431394816 60732 33554432000 4194304 4964800 140736642204016 18446744073709551615 4342167 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/10121/statm: 105321 60732 450 189 0 99670 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 421284

[startup+6.30064 s]
/proc/loadavg: 7.75 8.00 7.86 9/245 10125
/proc/meminfo: memFree=23653964/32951124 swapFree=61559568/67111528
[pid=10121] ppid=10119 vsize=421284 CPUtime=16.35 cores=0,2,4,6
/proc/10121/stat : 10121 (claspmt) R 10119 10121 9986 0 -1 4202496 89319 0 0 0 1620 15 0 0 25 0 4 0 653687364 431394816 64432 33554432000 4194304 4964800 140736642204016 18446744073709551615 4632289 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/10121/statm: 105321 64432 458 189 0 99670 0
[pid=10121/tid=10123] ppid=10119 vsize=421284 CPUtime=3.35 cores=0,2,4,6
/proc/10121/task/10123/stat : 10123 (claspmt) R 10119 10121 9986 0 -1 4202560 5571 0 0 0 334 1 0 0 24 0 4 0 653687653 431394816 64432 33554432000 4194304 4964800 140736642204016 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10121/tid=10124] ppid=10119 vsize=421284 CPUtime=3.4 cores=0,2,4,6
/proc/10121/task/10124/stat : 10124 (claspmt) R 10119 10121 9986 0 -1 4202560 4879 0 0 0 339 1 0 0 25 0 4 0 653687653 431394816 64432 33554432000 4194304 4964800 140736642204016 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10121/tid=10125] ppid=10119 vsize=421284 CPUtime=3.4 cores=0,2,4,6
/proc/10121/task/10125/stat : 10125 (claspmt) R 10119 10121 9986 0 -1 4202560 9124 0 0 0 338 2 0 0 25 0 4 0 653687653 431394816 64432 33554432000 4194304 4964800 140736642204016 18446744073709551615 4669033 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 16.35
Current children cumulated vsize (KiB) 421284

[startup+12.7005 s]
/proc/loadavg: 7.77 8.00 7.86 9/245 10125
/proc/meminfo: memFree=23511904/32951124 swapFree=61559568/67111528
[pid=10121] ppid=10119 vsize=421284 CPUtime=41.9 cores=0,2,4,6
/proc/10121/stat : 10121 (claspmt) R 10119 10121 9986 0 -1 4202496 93021 0 0 0 4172 18 0 0 25 0 4 0 653687364 431394816 68134 33554432000 4194304 4964800 140736642204016 18446744073709551615 4668568 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/10121/statm: 105321 68134 458 189 0 99670 0
[pid=10121/tid=10123] ppid=10119 vsize=421284 CPUtime=9.75 cores=0,2,4,6
/proc/10121/task/10123/stat : 10123 (claspmt) R 10119 10121 9986 0 -1 4202560 6030 0 0 0 974 1 0 0 25 0 4 0 653687653 431394816 68134 33554432000 4194304 4964800 140736642204016 18446744073709551615 4670147 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10121/tid=10124] ppid=10119 vsize=421284 CPUtime=9.8 cores=0,2,4,6
/proc/10121/task/10124/stat : 10124 (claspmt) R 10119 10121 9986 0 -1 4202560 6972 0 0 0 978 2 0 0 25 0 4 0 653687653 431394816 68134 33554432000 4194304 4964800 140736642204016 18446744073709551615 4629965 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10121/tid=10125] ppid=10119 vsize=421284 CPUtime=9.79 cores=0,2,4,6
/proc/10121/task/10125/stat : 10125 (claspmt) R 10119 10121 9986 0 -1 4202560 9730 0 0 0 977 2 0 0 25 0 4 0 653687653 431394816 68134 33554432000 4194304 4964800 140736642204016 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 41.9
Current children cumulated vsize (KiB) 421284

[startup+25.5011 s]
/proc/loadavg: 7.82 8.00 7.86 9/245 10126
/proc/meminfo: memFree=23210492/32951124 swapFree=61559568/67111528
[pid=10121] ppid=10119 vsize=421284 CPUtime=93.01 cores=0,2,4,6
/proc/10121/stat : 10121 (claspmt) R 10119 10121 9986 0 -1 4202496 101073 0 0 0 9277 24 0 0 25 0 4 0 653687364 431394816 76186 33554432000 4194304 4964800 140736642204016 18446744073709551615 4668920 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/10121/statm: 105321 76186 458 189 0 99670 0
[pid=10121/tid=10123] ppid=10119 vsize=421284 CPUtime=22.55 cores=0,2,4,6
/proc/10121/task/10123/stat : 10123 (claspmt) R 10119 10121 9986 0 -1 4202560 7390 0 0 0 2253 2 0 0 25 0 4 0 653687653 431394816 76186 33554432000 4194304 4964800 140736642204016 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10121/tid=10124] ppid=10119 vsize=421284 CPUtime=22.59 cores=0,2,4,6
/proc/10121/task/10124/stat : 10124 (claspmt) R 10119 10121 9986 0 -1 4202560 12508 0 0 0 2253 6 0 0 25 0 4 0 653687653 431394816 76186 33554432000 4194304 4964800 140736642204016 18446744073709551615 4678061 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10121/tid=10125] ppid=10119 vsize=421284 CPUtime=22.6 cores=0,2,4,6
/proc/10121/task/10125/stat : 10125 (claspmt) R 10119 10121 9986 0 -1 4202560 9730 0 0 0 2258 2 0 0 25 0 4 0 653687653 431394816 76186 33554432000 4194304 4964800 140736642204016 18446744073709551615 4668576 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 93.01
Current children cumulated vsize (KiB) 421284

[startup+51.1004 s]
/proc/loadavg: 7.95 8.02 7.87 9/245 10126
/proc/meminfo: memFree=22704972/32951124 swapFree=61559568/67111528
[pid=10121] ppid=10119 vsize=486820 CPUtime=195.2 cores=0,2,4,6
/proc/10121/stat : 10121 (claspmt) R 10119 10121 9986 0 -1 4202496 119875 0 0 0 19485 35 0 0 25 0 4 0 653687364 498503680 94988 33554432000 4194304 4964800 140736642204016 18446744073709551615 4678045 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/10121/statm: 121705 94988 458 189 0 116054 0
[pid=10121/tid=10123] ppid=10119 vsize=486820 CPUtime=48.15 cores=0,2,4,6
/proc/10121/task/10123/stat : 10123 (claspmt) R 10119 10121 9986 0 -1 4202560 7976 0 0 0 4813 2 0 0 25 0 4 0 653687653 498503680 94988 33554432000 4194304 4964800 140736642204016 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10121/tid=10124] ppid=10119 vsize=486820 CPUtime=48.2 cores=0,2,4,6
/proc/10121/task/10124/stat : 10124 (claspmt) R 10119 10121 9986 0 -1 4202560 28280 0 0 0 4804 16 0 0 25 0 4 0 653687653 498503680 94988 33554432000 4194304 4964800 140736642204016 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10121/tid=10125] ppid=10119 vsize=486820 CPUtime=48.18 cores=0,2,4,6
/proc/10121/task/10125/stat : 10125 (claspmt) R 10119 10121 9986 0 -1 4202560 10913 0 0 0 4815 3 0 0 25 0 4 0 653687653 498503680 94988 33554432000 4194304 4964800 140736642204016 18446744073709551615 4668984 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 195.2
Current children cumulated vsize (KiB) 486820

[startup+102.309 s]
/proc/loadavg: 8.05 8.03 7.88 9/245 10128
/proc/meminfo: memFree=21795304/32951124 swapFree=61559568/67111528
[pid=10121] ppid=10119 vsize=683428 CPUtime=399.68 cores=0,2,4,6
/proc/10121/stat : 10121 (claspmt) R 10119 10121 9986 0 -1 4202496 163860 0 0 0 39904 64 0 0 25 0 4 0 653687364 699830272 138973 33554432000 4194304 4964800 140736642204016 18446744073709551615 4670299 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/10121/statm: 170857 138973 458 189 0 165206 0
[pid=10121/tid=10123] ppid=10119 vsize=683428 CPUtime=99.36 cores=0,2,4,6
/proc/10121/task/10123/stat : 10123 (claspmt) R 10119 10121 9986 0 -1 4202560 7976 0 0 0 9934 2 0 0 25 0 4 0 653687653 699830272 138973 33554432000 4194304 4964800 140736642204016 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10121/tid=10124] ppid=10119 vsize=683428 CPUtime=99.41 cores=0,2,4,6
/proc/10121/task/10124/stat : 10124 (claspmt) R 10119 10121 9986 0 -1 4202560 58880 0 0 0 9908 33 0 0 25 0 4 0 653687653 699830272 138973 33554432000 4194304 4964800 140736642204016 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10121/tid=10125] ppid=10119 vsize=683428 CPUtime=99.39 cores=0,2,4,6
/proc/10121/task/10125/stat : 10125 (claspmt) R 10119 10121 9986 0 -1 4202560 23841 0 0 0 9926 13 0 0 25 0 4 0 653687653 699830272 138973 33554432000 4194304 4964800 140736642204016 18446744073709551615 4647774 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 399.68
Current children cumulated vsize (KiB) 683428

[startup+162.301 s]
/proc/loadavg: 8.13 8.05 7.90 9/245 10129
/proc/meminfo: memFree=21104840/32951124 swapFree=61559568/67111528
[pid=10121] ppid=10119 vsize=880036 CPUtime=639.21 cores=0,2,4,6
/proc/10121/stat : 10121 (claspmt) R 10119 10121 9986 0 -1 4202496 214413 0 0 0 63828 93 0 0 25 0 4 0 653687364 901156864 189526 33554432000 4194304 4964800 140736642204016 18446744073709551615 4653596 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/10121/statm: 220009 189526 460 189 0 214358 0
[pid=10121/tid=10123] ppid=10119 vsize=880036 CPUtime=159.35 cores=0,2,4,6
/proc/10121/task/10123/stat : 10123 (claspmt) R 10119 10121 9986 0 -1 4202560 7978 0 0 0 15933 2 0 0 25 0 4 0 653687653 901156864 189526 33554432000 4194304 4964800 140736642204016 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10121/tid=10124] ppid=10119 vsize=880036 CPUtime=159.4 cores=0,2,4,6
/proc/10121/task/10124/stat : 10124 (claspmt) R 10119 10121 9986 0 -1 4202560 92266 0 0 0 15890 50 0 0 25 0 4 0 653687653 901156864 189526 33554432000 4194304 4964800 140736642204016 18446744073709551615 4313736 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10121/tid=10125] ppid=10119 vsize=880036 CPUtime=159.39 cores=0,2,4,6
/proc/10121/task/10125/stat : 10125 (claspmt) R 10119 10121 9986 0 -1 4202560 40516 0 0 0 15914 25 0 0 25 0 4 0 653687653 901156864 189526 33554432000 4194304 4964800 140736642204016 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 639.21
Current children cumulated vsize (KiB) 880036

[startup+222.301 s]
/proc/loadavg: 8.15 8.07 7.91 9/245 10131
/proc/meminfo: memFree=20264720/32951124 swapFree=61559568/67111528
[pid=10121] ppid=10119 vsize=1076644 CPUtime=878.78 cores=0,2,4,6
/proc/10121/stat : 10121 (claspmt) R 10119 10121 9986 0 -1 4202496 266526 0 0 0 87755 123 0 0 25 0 4 0 653687364 1102483456 241639 33554432000 4194304 4964800 140736642204016 18446744073709551615 4670180 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/10121/statm: 269161 241639 460 189 0 263510 0
[pid=10121/tid=10123] ppid=10119 vsize=1076644 CPUtime=219.35 cores=0,2,4,6
/proc/10121/task/10123/stat : 10123 (claspmt) R 10119 10121 9986 0 -1 4202560 7978 0 0 0 21933 2 0 0 25 0 4 0 653687653 1102483456 241639 33554432000 4194304 4964800 140736642204016 18446744073709551615 4660835 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10121/tid=10124] ppid=10119 vsize=1076644 CPUtime=219.4 cores=0,2,4,6
/proc/10121/task/10124/stat : 10124 (claspmt) R 10119 10121 9986 0 -1 4202560 125808 0 0 0 21875 65 0 0 25 0 4 0 653687653 1102483456 241639 33554432000 4194304 4964800 140736642204016 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10121/tid=10125] ppid=10119 vsize=1076644 CPUtime=219.39 cores=0,2,4,6
/proc/10121/task/10125/stat : 10125 (claspmt) R 10119 10121 9986 0 -1 4202560 58482 0 0 0 21900 39 0 0 25 0 4 0 653687653 1102483456 241639 33554432000 4194304 4964800 140736642204016 18446744073709551615 4363687 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 878.78
Current children cumulated vsize (KiB) 1076644

[startup+282.301 s]
/proc/loadavg: 8.09 8.07 7.92 9/245 10132
/proc/meminfo: memFree=19197796/32951124 swapFree=61559568/67111528
[pid=10121] ppid=10119 vsize=1338788 CPUtime=1118.35 cores=0,2,4,6
/proc/10121/stat : 10121 (claspmt) R 10119 10121 9986 0 -1 4202496 320873 0 0 0 111680 155 0 0 25 0 4 0 653687364 1370918912 295986 33554432000 4194304 4964800 140736642204016 18446744073709551615 4668987 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/10121/statm: 334697 295986 460 189 0 329046 0
[pid=10121/tid=10123] ppid=10119 vsize=1338788 CPUtime=279.35 cores=0,2,4,6
/proc/10121/task/10123/stat : 10123 (claspmt) R 10119 10121 9986 0 -1 4202560 7978 0 0 0 27933 2 0 0 25 0 4 0 653687653 1370918912 295986 33554432000 4194304 4964800 140736642204016 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10121/tid=10124] ppid=10119 vsize=1338788 CPUtime=279.4 cores=0,2,4,6
/proc/10121/task/10124/stat : 10124 (claspmt) R 10119 10121 9986 0 -1 4202560 162753 0 0 0 27855 85 0 0 25 0 4 0 653687653 1370918912 295986 33554432000 4194304 4964800 140736642204016 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10121/tid=10125] ppid=10119 vsize=1338788 CPUtime=279.39 cores=0,2,4,6
/proc/10121/task/10125/stat : 10125 (claspmt) R 10119 10121 9986 0 -1 4202560 75159 0 0 0 27888 51 0 0 25 0 4 0 653687653 1370918912 295986 33554432000 4194304 4964800 140736642204016 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1118.35

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

[pid=10121/tid=10123] ppid=10119 vsize=2651696 CPUtime=699.1 cores=0,2,4,6
/proc/10121/task/10123/stat : 10123 (claspmt) R 10119 10121 9986 0 -1 4202560 9617 0 0 0 69907 3 0 0 25 0 4 0 653687653 2715336704 639537 33554432000 4194304 4964800 140736642204016 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10121/tid=10124] ppid=10119 vsize=2651696 CPUtime=698.99 cores=0,2,4,6
/proc/10121/task/10124/stat : 10124 (claspmt) R 10119 10121 9986 0 -1 4202560 375609 0 0 0 69716 183 0 0 25 0 4 0 653687653 2715336704 639537 33554432000 4194304 4964800 140736642204016 18446744073709551615 4361283 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10121/tid=10125] ppid=10119 vsize=2651696 CPUtime=699.4 cores=0,2,4,6
/proc/10121/task/10125/stat : 10125 (claspmt) R 10119 10121 9986 0 -1 4202560 201269 0 0 0 69799 141 0 0 25 0 4 0 653687653 2715336704 639537 33554432000 4194304 4964800 140736642204016 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2794.49
Current children cumulated vsize (KiB) 2651696

[startup+762.309 s]
/proc/loadavg: 8.11 8.14 8.00 9/245 10157
/proc/meminfo: memFree=15367856/32951124 swapFree=61559568/67111528
[pid=10121] ppid=10119 vsize=2979376 CPUtime=3034.09 cores=0,2,4,6
/proc/10121/stat : 10121 (claspmt) R 10119 10121 9986 0 -1 4202496 726221 0 0 0 303032 377 0 0 25 0 4 0 653687364 3050881024 701334 33554432000 4194304 4964800 140736642204016 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/10121/statm: 744844 701334 460 189 0 739193 0
[pid=10121/tid=10123] ppid=10119 vsize=2979376 CPUtime=759.11 cores=0,2,4,6
/proc/10121/task/10123/stat : 10123 (claspmt) R 10119 10121 9986 0 -1 4202560 9617 0 0 0 75908 3 0 0 25 0 4 0 653687653 3050881024 701334 33554432000 4194304 4964800 140736642204016 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10121/tid=10124] ppid=10119 vsize=2979376 CPUtime=759 cores=0,2,4,6
/proc/10121/task/10124/stat : 10124 (claspmt) R 10119 10121 9986 0 -1 4202560 418992 0 0 0 75699 201 0 0 25 0 4 0 653687653 3050881024 701334 33554432000 4194304 4964800 140736642204016 18446744073709551615 4313764 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10121/tid=10125] ppid=10119 vsize=2979376 CPUtime=759.41 cores=0,2,4,6
/proc/10121/task/10125/stat : 10125 (claspmt) R 10119 10121 9986 0 -1 4202560 219281 0 0 0 75788 153 0 0 25 0 4 0 653687653 3050881024 701334 33554432000 4194304 4964800 140736642204016 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3034.09
Current children cumulated vsize (KiB) 2979376

[startup+822.3 s]
/proc/loadavg: 8.20 8.17 8.02 9/245 10159
/proc/meminfo: memFree=14789632/32951124 swapFree=61559568/67111528
[pid=10121] ppid=10119 vsize=3247676 CPUtime=3273.63 cores=0,2,4,6
/proc/10121/stat : 10121 (claspmt) R 10119 10121 9986 0 -1 4202496 786027 0 0 0 326957 406 0 0 25 0 4 0 653687364 3325620224 761140 33554432000 4194304 4964800 140736642204016 18446744073709551615 4669509 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/10121/statm: 811919 761140 460 189 0 806268 0
[pid=10121/tid=10123] ppid=10119 vsize=3247676 CPUtime=819.1 cores=0,2,4,6
/proc/10121/task/10123/stat : 10123 (claspmt) R 10119 10121 9986 0 -1 4202560 11156 0 0 0 81907 3 0 0 25 0 4 0 653687653 3325620224 761140 33554432000 4194304 4964800 140736642204016 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10121/tid=10124] ppid=10119 vsize=3247676 CPUtime=818.99 cores=0,2,4,6
/proc/10121/task/10124/stat : 10124 (claspmt) R 10119 10121 9986 0 -1 4202560 458523 0 0 0 81680 219 0 0 25 0 4 0 653687653 3325620224 761140 33554432000 4194304 4964800 140736642204016 18446744073709551615 4313751 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10121/tid=10125] ppid=10119 vsize=3247676 CPUtime=819.4 cores=0,2,4,6
/proc/10121/task/10125/stat : 10125 (claspmt) R 10119 10121 9986 0 -1 4202560 237258 0 0 0 81776 164 0 0 25 0 4 0 653687653 3325620224 761140 33554432000 4194304 4964800 140736642204016 18446744073709551615 4313756 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3273.63
Current children cumulated vsize (KiB) 3247676

[startup+882.3 s]
/proc/loadavg: 8.11 8.15 8.02 9/245 10160
/proc/meminfo: memFree=13961416/32951124 swapFree=61559568/67111528
[pid=10121] ppid=10119 vsize=3452768 CPUtime=3513.2 cores=0,2,4,6
/proc/10121/stat : 10121 (claspmt) R 10119 10121 9986 0 -1 4202496 849926 0 0 0 350882 438 0 0 25 0 4 0 653687364 3535634432 825039 33554432000 4194304 4964800 140736642204016 18446744073709551615 4669509 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/10121/statm: 863192 825039 460 189 0 857541 0
[pid=10121/tid=10123] ppid=10119 vsize=3452768 CPUtime=879.1 cores=0,2,4,6
/proc/10121/task/10123/stat : 10123 (claspmt) R 10119 10121 9986 0 -1 4202560 13229 0 0 0 87906 4 0 0 25 0 4 0 653687653 3535634432 825039 33554432000 4194304 4964800 140736642204016 18446744073709551615 4653507 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10121/tid=10124] ppid=10119 vsize=3452768 CPUtime=879 cores=0,2,4,6
/proc/10121/task/10124/stat : 10124 (claspmt) R 10119 10121 9986 0 -1 4202560 502181 0 0 0 87664 236 0 0 25 0 4 0 653687653 3535634432 825039 33554432000 4194304 4964800 140736642204016 18446744073709551615 4361114 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10121/tid=10125] ppid=10119 vsize=3452768 CPUtime=879.4 cores=0,2,4,6
/proc/10121/task/10125/stat : 10125 (claspmt) R 10119 10121 9986 0 -1 4202560 255321 0 0 0 87762 178 0 0 25 0 4 0 653687653 3535634432 825039 33554432000 4194304 4964800 140736642204016 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3513.2
Current children cumulated vsize (KiB) 3452768

[startup+942.3 s]
/proc/loadavg: 8.15 8.15 8.02 9/245 10162
/proc/meminfo: memFree=13327636/32951124 swapFree=61559568/67111528
[pid=10121] ppid=10119 vsize=3649376 CPUtime=3752.77 cores=0,2,4,6
/proc/10121/stat : 10121 (claspmt) R 10119 10121 9986 0 -1 4202496 898119 0 0 0 374810 467 0 0 25 0 4 0 653687364 3736961024 873232 33554432000 4194304 4964800 140736642204016 18446744073709551615 4670144 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/10121/statm: 912344 873232 460 189 0 906693 0
[pid=10121/tid=10123] ppid=10119 vsize=3649376 CPUtime=939.1 cores=0,2,4,6
/proc/10121/task/10123/stat : 10123 (claspmt) R 10119 10121 9986 0 -1 4202560 13229 0 0 0 93906 4 0 0 25 0 4 0 653687653 3736961024 873232 33554432000 4194304 4964800 140736642204016 18446744073709551615 4653186 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10121/tid=10124] ppid=10119 vsize=3649376 CPUtime=939 cores=0,2,4,6
/proc/10121/task/10124/stat : 10124 (claspmt) R 10119 10121 9986 0 -1 4202560 531531 0 0 0 93651 249 0 0 25 0 4 0 653687653 3736961024 873232 33554432000 4194304 4964800 140736642204016 18446744073709551615 4313736 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10121/tid=10125] ppid=10119 vsize=3649376 CPUtime=939.4 cores=0,2,4,6
/proc/10121/task/10125/stat : 10125 (claspmt) R 10119 10121 9986 0 -1 4202560 272823 0 0 0 93749 191 0 0 25 0 4 0 653687653 3736961024 873232 33554432000 4194304 4964800 140736642204016 18446744073709551615 4669696 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3752.77
Current children cumulated vsize (KiB) 3649376

[startup+1002.3 s]
/proc/loadavg: 8.13 8.14 8.02 9/245 10164
/proc/meminfo: memFree=12566508/32951124 swapFree=61559568/67111528
[pid=10121] ppid=10119 vsize=3855060 CPUtime=3992.33 cores=0,2,4,6
/proc/10121/stat : 10121 (claspmt) R 10119 10121 9986 0 -1 4202496 949728 0 0 0 398742 491 0 0 25 0 4 0 653687364 3947581440 924841 33554432000 4194304 4964800 140736642204016 18446744073709551615 4669280 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/10121/statm: 963765 924841 460 189 0 958114 0
[pid=10121/tid=10123] ppid=10119 vsize=3855060 CPUtime=999.1 cores=0,2,4,6
/proc/10121/task/10123/stat : 10123 (claspmt) R 10119 10121 9986 0 -1 4202560 15510 0 0 0 99905 5 0 0 25 0 4 0 653687653 3947581440 924841 33554432000 4194304 4964800 140736642204016 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10121/tid=10124] ppid=10119 vsize=3855060 CPUtime=998.99 cores=0,2,4,6
/proc/10121/task/10124/stat : 10124 (claspmt) R 10119 10121 9986 0 -1 4202560 563986 0 0 0 99640 259 0 0 25 0 4 0 653687653 3947581440 924841 33554432000 4194304 4964800 140736642204016 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10121/tid=10125] ppid=10119 vsize=3855060 CPUtime=999.4 cores=0,2,4,6
/proc/10121/task/10125/stat : 10125 (claspmt) R 10119 10121 9986 0 -1 4202560 289696 0 0 0 99736 204 0 0 25 0 4 0 653687653 3947581440 924841 33554432000 4194304 4964800 140736642204016 18446744073709551615 4684107 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3992.33
Current children cumulated vsize (KiB) 3855060

[startup+1062.3 s]
/proc/loadavg: 8.18 8.14 8.02 9/245 10165
/proc/meminfo: memFree=12375536/32951124 swapFree=61559568/67111528
[pid=10121] ppid=10119 vsize=4051668 CPUtime=4231.9 cores=0,2,4,6
/proc/10121/stat : 10121 (claspmt) R 10119 10121 9986 0 -1 4202496 995887 0 0 0 422673 517 0 0 25 0 4 0 653687364 4148908032 971000 33554432000 4194304 4964800 140736642204016 18446744073709551615 4669022 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/10121/statm: 1012917 971000 460 189 0 1007266 0
[pid=10121/tid=10123] ppid=10119 vsize=4051668 CPUtime=1059.1 cores=0,2,4,6
/proc/10121/task/10123/stat : 10123 (claspmt) R 10119 10121 9986 0 -1 4202560 15510 0 0 0 105905 5 0 0 25 0 4 0 653687653 4148908032 971000 33554432000 4194304 4964800 140736642204016 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10121/tid=10124] ppid=10119 vsize=4051668 CPUtime=1059 cores=0,2,4,6
/proc/10121/task/10124/stat : 10124 (claspmt) R 10119 10121 9986 0 -1 4202560 592485 0 0 0 105627 273 0 0 25 0 4 0 653687653 4148908032 971000 33554432000 4194304 4964800 140736642204016 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10121/tid=10125] ppid=10119 vsize=4051668 CPUtime=1059.41 cores=0,2,4,6
/proc/10121/task/10125/stat : 10125 (claspmt) R 10119 10121 9986 0 -1 4202560 307356 0 0 0 105724 217 0 0 25 0 4 0 653687653 4148908032 971000 33554432000 4194304 4964800 140736642204016 18446744073709551615 4627368 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4231.9
Current children cumulated vsize (KiB) 4051668

[startup+1122.3 s]
/proc/loadavg: 8.13 8.13 8.02 9/245 10167
/proc/meminfo: memFree=12169304/32951124 swapFree=61559568/67111528
[pid=10121] ppid=10119 vsize=4190356 CPUtime=4471.47 cores=0,2,4,6
/proc/10121/stat : 10121 (claspmt) R 10119 10121 9986 0 -1 4202496 1035363 0 0 0 446608 539 0 0 25 0 4 0 653687364 4290924544 1010476 33554432000 4194304 4964800 140736642204016 18446744073709551615 4670299 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/10121/statm: 1047589 1010476 460 189 0 1041938 0
[pid=10121/tid=10123] ppid=10119 vsize=4190356 CPUtime=1119.1 cores=0,2,4,6
/proc/10121/task/10123/stat : 10123 (claspmt) R 10119 10121 9986 0 -1 4202560 17430 0 0 0 111904 6 0 0 25 0 4 0 653687653 4290924544 1010476 33554432000 4194304 4964800 140736642204016 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10121/tid=10124] ppid=10119 vsize=4190356 CPUtime=1119 cores=0,2,4,6
/proc/10121/task/10124/stat : 10124 (claspmt) R 10119 10121 9986 0 -1 4202560 614458 0 0 0 111616 284 0 0 25 0 4 0 653687653 4290924544 1010476 33554432000 4194304 4964800 140736642204016 18446744073709551615 4313804 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10121/tid=10125] ppid=10119 vsize=4190356 CPUtime=1119.41 cores=0,2,4,6
/proc/10121/task/10125/stat : 10125 (claspmt) R 10119 10121 9986 0 -1 4202560 322652 0 0 0 111714 227 0 0 25 0 4 0 653687653 4290924544 1010476 33554432000 4194304 4964800 140736642204016 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4471.47
Current children cumulated vsize (KiB) 4190356

[startup+1182.3 s]
/proc/loadavg: 8.10 8.12 8.02 9/245 10168
/proc/meminfo: memFree=11666724/32951124 swapFree=61559568/67111528
[pid=10121] ppid=10119 vsize=4452500 CPUtime=4711.04 cores=0,2,4,6
/proc/10121/stat : 10121 (claspmt) R 10119 10121 9986 0 -1 4202496 1099996 0 0 0 470535 569 0 0 25 0 4 0 653687364 4559360000 1075109 33554432000 4194304 4964800 140736642204016 18446744073709551615 4668568 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/10121/statm: 1113125 1075109 460 189 0 1107474 0
[pid=10121/tid=10123] ppid=10119 vsize=4452500 CPUtime=1179.1 cores=0,2,4,6
/proc/10121/task/10123/stat : 10123 (claspmt) R 10119 10121 9986 0 -1 4202560 17430 0 0 0 117904 6 0 0 25 0 4 0 653687653 4559360000 1075109 33554432000 4194304 4964800 140736642204016 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10121/tid=10124] ppid=10119 vsize=4452500 CPUtime=1179 cores=0,2,4,6
/proc/10121/task/10124/stat : 10124 (claspmt) R 10119 10121 9986 0 -1 4202560 662454 0 0 0 117598 302 0 0 25 0 4 0 653687653 4559360000 1075109 33554432000 4194304 4964800 140736642204016 18446744073709551615 4325321 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10121/tid=10125] ppid=10119 vsize=4452500 CPUtime=1179.41 cores=0,2,4,6
/proc/10121/task/10125/stat : 10125 (claspmt) R 10119 10121 9986 0 -1 4202560 339289 0 0 0 117703 238 0 0 25 0 4 0 653687653 4559360000 1075109 33554432000 4194304 4964800 140736642204016 18446744073709551615 4362944 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4711.04
Current children cumulated vsize (KiB) 4452500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.6 s]
/proc/loadavg: 7.83 8.06 8.01 10/245 10200
/proc/meminfo: memFree=19824644/32951124 swapFree=61559568/67111528
[pid=10121] ppid=10119 vsize=4465624 CPUtime=4800.09 cores=0,2,4,6
/proc/10121/stat : 10121 (claspmt) R 10119 10121 9986 0 -1 4202496 1116832 0 0 0 479428 581 0 0 25 0 4 0 653687364 4572798976 1091945 33554432000 4194304 4964800 140736642204016 18446744073709551615 4670299 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/10121/statm: 1116406 1091945 460 189 0 1110755 0
[pid=10121/tid=10123] ppid=10119 vsize=4465624 CPUtime=1201.41 cores=0,2,4,6
/proc/10121/task/10123/stat : 10123 (claspmt) R 10119 10121 9986 0 -1 4202560 20737 0 0 0 120133 8 0 0 25 0 4 0 653687653 4572798976 1091945 33554432000 4194304 4964800 140736642204016 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10121/tid=10124] ppid=10119 vsize=4465624 CPUtime=1201.31 cores=0,2,4,6
/proc/10121/task/10124/stat : 10124 (claspmt) R 10119 10121 9986 0 -1 4202560 670751 0 0 0 119824 307 0 0 25 0 4 0 653687653 4572798976 1091945 33554432000 4194304 4964800 140736642204016 18446744073709551615 4313764 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10121/tid=10125] ppid=10119 vsize=4465624 CPUtime=1201.71 cores=0,2,4,6
/proc/10121/task/10125/stat : 10125 (claspmt) R 10119 10121 9986 0 -1 4202560 344521 0 0 0 119928 243 0 0 25 0 4 0 653687653 4572798976 1091945 33554432000 4194304 4964800 140736642204016 18446744073709551615 4660835 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.09
Current children cumulated vsize (KiB) 4465624

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

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

[startup+1205.4 s]
/proc/loadavg: 7.83 8.06 8.01 10/245 10200
/proc/meminfo: memFree=19824644/32951124 swapFree=61559568/67111528
[pid=10121] ppid=10119 vsize=4312492 CPUtime=4800.91 cores=0,2,4,6
/proc/10121/stat : 10121 (claspmt) R 10119 10121 9986 0 -1 4202496 1116853 0 0 0 479509 582 0 0 21 0 1 0 653687364 4415991808 1049698 33554432000 4194304 4964800 140736642204016 18446744073709551615 222921432154 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/10121/statm: 1078123 1049698 470 189 0 1072472 0
Current children cumulated CPU time (s) 4800.91
Current children cumulated vsize (KiB) 4312492

[startup+1205.61 s]
/proc/loadavg: 7.83 8.06 8.01 6/243 10201
/proc/meminfo: memFree=21252272/32951124 swapFree=61559568/67111528
[pid=10121] ppid=10119 vsize=1040736 CPUtime=4801.11 cores=0,2,4,6
/proc/10121/stat : 10121 (claspmt) R 10119 10121 9986 0 -1 4202496 1116854 0 0 0 479517 594 0 0 21 0 1 0 653687364 1065713664 239710 33554432000 4194304 4964800 140736642204016 18446744073709551615 222921820295 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10121/statm: 260184 239710 471 189 0 254533 0
Current children cumulated CPU time (s) 4801.11
Current children cumulated vsize (KiB) 1040736

Child status: 0
Real time (s): 1205.66
CPU time (s): 4801.17
CPU user time (s): 4795.19
CPU system time (s): 5.98809
CPU usage (%): 398.219
Max. virtual memory (cumulated for all children) (KiB): 4465624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.19
system time used= 5.98809
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1116855
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= 2708
involuntary context switches= 22582

runsolver used 2.37764 second user time and 6.40702 second system time

The end

Launcher Data 

Begin job on node109 at 2011-05-15 02:54:26
IDJOB=3373591
IDBENCH=82394
IDSOLVER=1853
FILE ID=node109/3373591-1305420864
RUNJOBID= node109-1305419659-10004
PBS_JOBID= 13324580
Free space on /tmp= 73160 MiB

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

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

MD5SUM BENCH= 1ca09a2b911e29894c6603aee8d3e672
RANDOM SEED=2047793386

node109.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	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24078568 kB
Buffers:        239996 kB
Cached:        2346292 kB
SwapCached:      28404 kB
Active:         307832 kB
Inactive:      8348096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24078568 kB
SwapTotal:    67111528 kB
SwapFree:     61559568 kB
Dirty:           67860 kB
Writeback:           0 kB
AnonPages:     6048020 kB
Mapped:          18312 kB
Slab:           124288 kB
PageTables:      30968 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 18021064 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= 73176 MiB
End job on node109 at 2011-05-15 03:14:33