Trace number 3380811

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)UNSAT 269.53 67.7662

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf
MD5SUM17407fc59aa2b679b7792ae0656704b9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark28.4647
Satisfiable
(Un)Satisfiability was proved
Number of variables66084
Number of clauses1060536
Sum of the clauses size2420856
Maximum clause length78
Minimum clause length1
Number of clauses of size 1696
Number of clauses of size 21023120
Number of clauses of size 32880
Number of clauses of size 413320
Number of clauses of size 55760
Number of clauses of size over 514760

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...492965/instance-3380811-1305492965.cnf
0.79/0.85	c Solving...
269.46/67.76	s UNSATISFIABLE
269.46/67.76	
269.46/67.76	c Models        : 0     
269.46/67.76	c Time          : 67.659s (Solving: 66.81s 1st Model: 0.00s Unsat: 66.81s)
269.46/67.76	c CPU Time      : 269.420s

Verifier Data 

No possible verification on an UNSAT instance

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-3380811-1305492965/watcher-3380811-1305492965 -o /tmp/evaluation-result-3380811-1305492965/solver-3380811-1305492965 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3380811-1305492965.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.21 5.32 4.28 2/327 21090
/proc/meminfo: memFree=24303288/32951124 swapFree=65173160/67111528
[pid=21090] ppid=21088 vsize=33212 CPUtime=0 cores=0-7
/proc/21090/stat : 21090 (claspmt) R 21088 21090 20967 0 -1 4202496 3678 0 0 0 0 0 0 0 22 0 1 0 660894772 34009088 3259 33554432000 4194304 4964800 140734783099808 18446744073709551615 4679094 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21090/statm: 8303 3264 377 189 0 3177 0

[startup+0.0480431 s]
/proc/loadavg: 8.21 5.32 4.28 2/327 21090
/proc/meminfo: memFree=24303288/32951124 swapFree=65173160/67111528
[pid=21090] ppid=21088 vsize=34124 CPUtime=0.04 cores=0-7
/proc/21090/stat : 21090 (claspmt) R 21088 21090 20967 0 -1 4202496 4287 0 0 0 4 0 0 0 22 0 1 0 660894772 34942976 3701 33554432000 4194304 4964800 140734783099808 18446744073709551615 4567832 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21090/statm: 8531 3701 389 189 0 3405 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 34124

[startup+0.10103 s]
/proc/loadavg: 8.21 5.32 4.28 2/327 21090
/proc/meminfo: memFree=24303288/32951124 swapFree=65173160/67111528
[pid=21090] ppid=21088 vsize=37512 CPUtime=0.09 cores=0-7
/proc/21090/stat : 21090 (claspmt) R 21088 21090 20967 0 -1 4202496 5431 0 0 0 9 0 0 0 22 0 1 0 660894772 38412288 4553 33554432000 4194304 4964800 140734783099808 18446744073709551615 232335553221 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21090/statm: 9378 4554 389 189 0 4252 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37512

[startup+0.300996 s]
/proc/loadavg: 8.21 5.32 4.28 2/327 21090
/proc/meminfo: memFree=24303288/32951124 swapFree=65173160/67111528
[pid=21090] ppid=21088 vsize=70560 CPUtime=0.29 cores=0-7
/proc/21090/stat : 21090 (claspmt) R 21088 21090 20967 0 -1 4202496 16660 0 0 0 27 2 0 0 23 0 1 0 660894772 72253440 12760 33554432000 4194304 4964800 140734783099808 18446744073709551615 4616314 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21090/statm: 17640 12760 399 189 0 12514 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 70560

[startup+0.700925 s]
/proc/loadavg: 8.21 5.32 4.28 2/327 21090
/proc/meminfo: memFree=24303288/32951124 swapFree=65173160/67111528
[pid=21090] ppid=21088 vsize=79300 CPUtime=0.69 cores=0-7
/proc/21090/stat : 21090 (claspmt) R 21088 21090 20967 0 -1 4202496 18777 0 0 0 67 2 0 0 25 0 1 0 660894772 81203200 14877 33554432000 4194304 4964800 140734783099808 18446744073709551615 4621584 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21090/statm: 19825 14877 404 189 0 14699 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 79300

[startup+1.5008 s]
/proc/loadavg: 8.21 5.32 4.28 2/335 21098
/proc/meminfo: memFree=24200264/32951124 swapFree=65173160/67111528
[pid=21090] ppid=21088 vsize=508328 CPUtime=1.6 cores=0-7
/proc/21090/stat : 21090 (claspmt) S 21088 21090 20967 0 -1 4202496 35605 0 0 0 152 8 0 0 18 0 8 0 660894772 520527872 26753 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21090/statm: 127082 26753 443 189 0 121431 0
[pid=21090/tid=21092] ppid=21088 vsize=508328 CPUtime=0.01 cores=0-7
/proc/21090/task/21092/stat : 21092 (claspmt) S 21088 21090 20967 0 -1 4202560 1367 0 0 0 1 0 0 0 18 0 8 0 660894858 520527872 26753 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446604452794619776 0 0 -1 1 0 0 0
[pid=21090/tid=21093] ppid=21088 vsize=508328 CPUtime=0.03 cores=0-7
/proc/21090/task/21093/stat : 21093 (claspmt) S 21088 21090 20967 0 -1 4202560 2798 0 0 0 2 1 0 0 18 0 8 0 660894858 520527872 26753 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446604452794619776 0 0 -1 0 0 0 0
[pid=21090/tid=21094] ppid=21088 vsize=508328 CPUtime=0.01 cores=0-7
/proc/21090/task/21094/stat : 21094 (claspmt) S 21088 21090 20967 0 -1 4202560 2588 0 0 0 1 0 0 0 18 0 8 0 660894858 520527872 26753 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446604452794619776 0 0 -1 6 0 0 0
[pid=21090/tid=21095] ppid=21088 vsize=508328 CPUtime=0 cores=0-7
/proc/21090/task/21095/stat : 21095 (claspmt) S 21088 21090 20967 0 -1 4202560 2337 0 0 0 0 0 0 0 18 0 8 0 660894858 520527872 26753 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446604452794619776 0 0 -1 3 0 0 0
[pid=21090/tid=21096] ppid=21088 vsize=508328 CPUtime=0.6 cores=0-7
/proc/21090/task/21096/stat : 21096 (claspmt) R 21088 21090 20967 0 -1 4202560 2954 0 0 0 59 1 0 0 18 0 8 0 660894858 520527872 26753 33554432000 4194304 4964800 140734783099808 18446744073709551615 4670691 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21090/tid=21097] ppid=21088 vsize=508328 CPUtime=0.02 cores=0-7
/proc/21090/task/21097/stat : 21097 (claspmt) S 21088 21090 20967 0 -1 4202560 2727 0 0 0 2 0 0 0 18 0 8 0 660894858 520527872 26753 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446604452794619776 0 0 -1 7 0 0 0
[pid=21090/tid=21098] ppid=21088 vsize=508328 CPUtime=0.01 cores=0-7
/proc/21090/task/21098/stat : 21098 (claspmt) S 21088 21090 20967 0 -1 4202560 1970 0 0 0 1 0 0 0 18 0 8 0 660894858 520527872 26753 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446604452794619776 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 508328

[startup+3.1005 s]
/proc/loadavg: 7.63 5.25 4.26 2/335 21098
/proc/meminfo: memFree=24198900/32951124 swapFree=65173160/67111528
[pid=21090] ppid=21088 vsize=508328 CPUtime=3.21 cores=0-7
/proc/21090/stat : 21090 (claspmt) S 21088 21090 20967 0 -1 4202496 35664 0 0 0 312 9 0 0 18 0 8 0 660894772 520527872 26812 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21090/statm: 127082 26812 443 189 0 121431 0
[pid=21090/tid=21092] ppid=21088 vsize=508328 CPUtime=0.01 cores=0-7
/proc/21090/task/21092/stat : 21092 (claspmt) S 21088 21090 20967 0 -1 4202560 1367 0 0 0 1 0 0 0 18 0 8 0 660894858 520527872 26812 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446604452794619776 0 0 -1 1 0 0 0
[pid=21090/tid=21093] ppid=21088 vsize=508328 CPUtime=0.03 cores=0-7
/proc/21090/task/21093/stat : 21093 (claspmt) S 21088 21090 20967 0 -1 4202560 2798 0 0 0 2 1 0 0 18 0 8 0 660894858 520527872 26812 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446604452794619776 0 0 -1 0 0 0 0
[pid=21090/tid=21094] ppid=21088 vsize=508328 CPUtime=0.01 cores=0-7
/proc/21090/task/21094/stat : 21094 (claspmt) S 21088 21090 20967 0 -1 4202560 2588 0 0 0 1 0 0 0 18 0 8 0 660894858 520527872 26812 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446604452794619776 0 0 -1 6 0 0 0
[pid=21090/tid=21095] ppid=21088 vsize=508328 CPUtime=0 cores=0-7
/proc/21090/task/21095/stat : 21095 (claspmt) S 21088 21090 20967 0 -1 4202560 2337 0 0 0 0 0 0 0 18 0 8 0 660894858 520527872 26812 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446604452794619776 0 0 -1 3 0 0 0
[pid=21090/tid=21096] ppid=21088 vsize=508328 CPUtime=2.2 cores=0-7
/proc/21090/task/21096/stat : 21096 (claspmt) R 21088 21090 20967 0 -1 4202560 3013 0 0 0 218 2 0 0 21 0 8 0 660894858 520527872 26812 33554432000 4194304 4964800 140734783099808 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21090/tid=21097] ppid=21088 vsize=508328 CPUtime=0.02 cores=0-7
/proc/21090/task/21097/stat : 21097 (claspmt) S 21088 21090 20967 0 -1 4202560 2727 0 0 0 2 0 0 0 18 0 8 0 660894858 520527872 26812 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446604452794619776 0 0 -1 7 0 0 0
[pid=21090/tid=21098] ppid=21088 vsize=508328 CPUtime=0.01 cores=0-7
/proc/21090/task/21098/stat : 21098 (claspmt) S 21088 21090 20967 0 -1 4202560 1970 0 0 0 1 0 0 0 18 0 8 0 660894858 520527872 26812 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446604452794619776 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 508328

[startup+6.30093 s]
/proc/loadavg: 7.63 5.25 4.26 2/335 21098
/proc/meminfo: memFree=24199956/32951124 swapFree=65173160/67111528
[pid=21090] ppid=21088 vsize=508328 CPUtime=6.41 cores=0-7
/proc/21090/stat : 21090 (claspmt) S 21088 21090 20967 0 -1 4202496 35749 0 0 0 632 9 0 0 18 0 8 0 660894772 520527872 26897 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21090/statm: 127082 26897 443 189 0 121431 0
[pid=21090/tid=21092] ppid=21088 vsize=508328 CPUtime=0.01 cores=0-7
/proc/21090/task/21092/stat : 21092 (claspmt) S 21088 21090 20967 0 -1 4202560 1367 0 0 0 1 0 0 0 18 0 8 0 660894858 520527872 26897 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446604452794619776 0 0 -1 1 0 0 0
[pid=21090/tid=21093] ppid=21088 vsize=508328 CPUtime=0.03 cores=0-7
/proc/21090/task/21093/stat : 21093 (claspmt) S 21088 21090 20967 0 -1 4202560 2798 0 0 0 2 1 0 0 18 0 8 0 660894858 520527872 26897 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446604452794619776 0 0 -1 0 0 0 0
[pid=21090/tid=21094] ppid=21088 vsize=508328 CPUtime=0.01 cores=0-7
/proc/21090/task/21094/stat : 21094 (claspmt) S 21088 21090 20967 0 -1 4202560 2588 0 0 0 1 0 0 0 18 0 8 0 660894858 520527872 26897 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446604452794619776 0 0 -1 6 0 0 0
[pid=21090/tid=21095] ppid=21088 vsize=508328 CPUtime=0 cores=0-7
/proc/21090/task/21095/stat : 21095 (claspmt) S 21088 21090 20967 0 -1 4202560 2337 0 0 0 0 0 0 0 18 0 8 0 660894858 520527872 26897 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446604452794619776 0 0 -1 3 0 0 0
[pid=21090/tid=21096] ppid=21088 vsize=508328 CPUtime=5.4 cores=0-7
/proc/21090/task/21096/stat : 21096 (claspmt) R 21088 21090 20967 0 -1 4202560 3098 0 0 0 538 2 0 0 25 0 8 0 660894858 520527872 26897 33554432000 4194304 4964800 140734783099808 18446744073709551615 4670194 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21090/tid=21097] ppid=21088 vsize=508328 CPUtime=0.02 cores=0-7
/proc/21090/task/21097/stat : 21097 (claspmt) S 21088 21090 20967 0 -1 4202560 2727 0 0 0 2 0 0 0 18 0 8 0 660894858 520527872 26897 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446604452794619776 0 0 -1 7 0 0 0
[pid=21090/tid=21098] ppid=21088 vsize=508328 CPUtime=0.01 cores=0-7
/proc/21090/task/21098/stat : 21098 (claspmt) S 21088 21090 20967 0 -1 4202560 1970 0 0 0 1 0 0 0 18 0 8 0 660894858 520527872 26897 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446604452794619776 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.41
Current children cumulated vsize (KiB) 508328

[startup+12.7008 s]
/proc/loadavg: 6.61 5.11 4.23 2/335 21098
/proc/meminfo: memFree=24200940/32951124 swapFree=65173160/67111528
[pid=21090] ppid=21088 vsize=508328 CPUtime=12.81 cores=0-7
/proc/21090/stat : 21090 (claspmt) S 21088 21090 20967 0 -1 4202496 35848 0 0 0 1272 9 0 0 18 0 8 0 660894772 520527872 26996 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21090/statm: 127082 26996 443 189 0 121431 0
[pid=21090/tid=21092] ppid=21088 vsize=508328 CPUtime=0.01 cores=0-7
/proc/21090/task/21092/stat : 21092 (claspmt) S 21088 21090 20967 0 -1 4202560 1367 0 0 0 1 0 0 0 18 0 8 0 660894858 520527872 26996 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446604452794619776 0 0 -1 1 0 0 0
[pid=21090/tid=21093] ppid=21088 vsize=508328 CPUtime=0.03 cores=0-7
/proc/21090/task/21093/stat : 21093 (claspmt) S 21088 21090 20967 0 -1 4202560 2798 0 0 0 2 1 0 0 18 0 8 0 660894858 520527872 26996 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446604452794619776 0 0 -1 0 0 0 0
[pid=21090/tid=21094] ppid=21088 vsize=508328 CPUtime=0.01 cores=0-7
/proc/21090/task/21094/stat : 21094 (claspmt) S 21088 21090 20967 0 -1 4202560 2588 0 0 0 1 0 0 0 18 0 8 0 660894858 520527872 26996 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446604452794619776 0 0 -1 6 0 0 0
[pid=21090/tid=21095] ppid=21088 vsize=508328 CPUtime=0 cores=0-7
/proc/21090/task/21095/stat : 21095 (claspmt) S 21088 21090 20967 0 -1 4202560 2337 0 0 0 0 0 0 0 18 0 8 0 660894858 520527872 26996 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446604452794619776 0 0 -1 3 0 0 0
[pid=21090/tid=21096] ppid=21088 vsize=508328 CPUtime=11.8 cores=0-7
/proc/21090/task/21096/stat : 21096 (claspmt) R 21088 21090 20967 0 -1 4202560 3197 0 0 0 1178 2 0 0 25 0 8 0 660894858 520527872 26996 33554432000 4194304 4964800 140734783099808 18446744073709551615 4678045 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21090/tid=21097] ppid=21088 vsize=508328 CPUtime=0.02 cores=0-7
/proc/21090/task/21097/stat : 21097 (claspmt) S 21088 21090 20967 0 -1 4202560 2727 0 0 0 2 0 0 0 18 0 8 0 660894858 520527872 26996 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446604452794619776 0 0 -1 7 0 0 0
[pid=21090/tid=21098] ppid=21088 vsize=508328 CPUtime=0.01 cores=0-7
/proc/21090/task/21098/stat : 21098 (claspmt) S 21088 21090 20967 0 -1 4202560 1970 0 0 0 1 0 0 0 18 0 8 0 660894858 520527872 26996 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446604452794619776 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.81
Current children cumulated vsize (KiB) 508328

[startup+25.5005 s]
/proc/loadavg: 5.75 4.97 4.19 2/335 21098
/proc/meminfo: memFree=24203764/32951124 swapFree=65173160/67111528
[pid=21090] ppid=21088 vsize=508328 CPUtime=25.61 cores=0-7
/proc/21090/stat : 21090 (claspmt) S 21088 21090 20967 0 -1 4202496 35904 0 0 0 2552 9 0 0 18 0 8 0 660894772 520527872 27052 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21090/statm: 127082 27052 443 189 0 121431 0
[pid=21090/tid=21092] ppid=21088 vsize=508328 CPUtime=0.01 cores=0-7
/proc/21090/task/21092/stat : 21092 (claspmt) S 21088 21090 20967 0 -1 4202560 1367 0 0 0 1 0 0 0 18 0 8 0 660894858 520527872 27052 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446604452794619776 0 0 -1 1 0 0 0
[pid=21090/tid=21093] ppid=21088 vsize=508328 CPUtime=0.03 cores=0-7
/proc/21090/task/21093/stat : 21093 (claspmt) S 21088 21090 20967 0 -1 4202560 2798 0 0 0 2 1 0 0 18 0 8 0 660894858 520527872 27052 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446604452794619776 0 0 -1 0 0 0 0
[pid=21090/tid=21094] ppid=21088 vsize=508328 CPUtime=0.01 cores=0-7
/proc/21090/task/21094/stat : 21094 (claspmt) S 21088 21090 20967 0 -1 4202560 2588 0 0 0 1 0 0 0 18 0 8 0 660894858 520527872 27052 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446604452794619776 0 0 -1 6 0 0 0
[pid=21090/tid=21095] ppid=21088 vsize=508328 CPUtime=0 cores=0-7
/proc/21090/task/21095/stat : 21095 (claspmt) S 21088 21090 20967 0 -1 4202560 2337 0 0 0 0 0 0 0 18 0 8 0 660894858 520527872 27052 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446604452794619776 0 0 -1 3 0 0 0
[pid=21090/tid=21096] ppid=21088 vsize=508328 CPUtime=24.6 cores=0-7
/proc/21090/task/21096/stat : 21096 (claspmt) R 21088 21090 20967 0 -1 4202560 3253 0 0 0 2458 2 0 0 25 0 8 0 660894858 520527872 27052 33554432000 4194304 4964800 140734783099808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21090/tid=21097] ppid=21088 vsize=508328 CPUtime=0.02 cores=0-7
/proc/21090/task/21097/stat : 21097 (claspmt) S 21088 21090 20967 0 -1 4202560 2727 0 0 0 2 0 0 0 18 0 8 0 660894858 520527872 27052 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446604452794619776 0 0 -1 7 0 0 0
[pid=21090/tid=21098] ppid=21088 vsize=508328 CPUtime=0.01 cores=0-7
/proc/21090/task/21098/stat : 21098 (claspmt) S 21088 21090 20967 0 -1 4202560 1970 0 0 0 1 0 0 0 18 0 8 0 660894858 520527872 27052 33554432000 4194304 4964800 140734783099808 18446744073709551615 232347708313 0 0 4096 18946 18446604452794619776 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.61
Current children cumulated vsize (KiB) 508328

[startup+51.1009 s]
/proc/loadavg: 5.20 4.88 4.18 9/335 21099
/proc/meminfo: memFree=24089508/32951124 swapFree=65173160/67111528
[pid=21090] ppid=21088 vsize=508328 CPUtime=137.32 cores=0-7
/proc/21090/stat : 21090 (claspmt) R 21088 21090 20967 0 -1 4202496 65370 0 0 0 13700 32 0 0 25 0 8 0 660894772 520527872 56518 33554432000 4194304 4964800 140734783099808 18446744073709551615 4668568 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21090/statm: 127082 56518 464 189 0 121431 0
[pid=21090/tid=21092] ppid=21088 vsize=508328 CPUtime=12.34 cores=0-7
/proc/21090/task/21092/stat : 21092 (claspmt) R 21088 21090 20967 0 -1 4202560 3278 0 0 0 1232 2 0 0 25 0 8 0 660894858 520527872 56518 33554432000 4194304 4964800 140734783099808 18446744073709551615 4669022 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21090/tid=21093] ppid=21088 vsize=508328 CPUtime=12.35 cores=0-7
/proc/21090/task/21093/stat : 21093 (claspmt) R 21088 21090 20967 0 -1 4202560 12501 0 0 0 1228 7 0 0 25 0 8 0 660894858 520527872 56518 33554432000 4194304 4964800 140734783099808 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21090/tid=21094] ppid=21088 vsize=508328 CPUtime=12.34 cores=0-7
/proc/21090/task/21094/stat : 21094 (claspmt) R 21088 21090 20967 0 -1 4202560 6995 0 0 0 1230 4 0 0 25 0 8 0 660894858 520527872 56518 33554432000 4194304 4964800 140734783099808 18446744073709551615 4313764 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21090/tid=21095] ppid=21088 vsize=508328 CPUtime=12.33 cores=0-7
/proc/21090/task/21095/stat : 21095 (claspmt) R 21088 21090 20967 0 -1 4202560 7757 0 0 0 1228 5 0 0 25 0 8 0 660894858 520527872 56518 33554432000 4194304 4964800 140734783099808 18446744073709551615 4670442 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21090/tid=21096] ppid=21088 vsize=508328 CPUtime=50.15 cores=0-7
/proc/21090/task/21096/stat : 21096 (claspmt) R 21088 21090 20967 0 -1 4202560 3266 0 0 0 5013 2 0 0 25 0 8 0 660894858 520527872 56518 33554432000 4194304 4964800 140734783099808 18446744073709551615 4399339 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21090/tid=21097] ppid=21088 vsize=508328 CPUtime=12.22 cores=0-7
/proc/21090/task/21097/stat : 21097 (claspmt) R 21088 21090 20967 0 -1 4202560 6854 0 0 0 1219 3 0 0 25 0 8 0 660894858 520527872 56518 33554432000 4194304 4964800 140734783099808 18446744073709551615 4361114 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21090/tid=21098] ppid=21088 vsize=508328 CPUtime=12.33 cores=0-7
/proc/21090/task/21098/stat : 21098 (claspmt) R 21088 21090 20967 0 -1 4202560 5577 0 0 0 1230 3 0 0 25 0 8 0 660894858 520527872 56518 33554432000 4194304 4964800 140734783099808 18446744073709551615 4668546 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 137.32
Current children cumulated vsize (KiB) 508328

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

[startup+57.5008 s]
/proc/loadavg: 5.63 4.99 4.22 9/335 21099
/proc/meminfo: memFree=24055192/32951124 swapFree=65173160/67111528
[pid=21090] ppid=21088 vsize=508328 CPUtime=188.44 cores=0-7
/proc/21090/stat : 21090 (claspmt) R 21088 21090 20967 0 -1 4202496 73566 0 0 0 18805 39 0 0 25 0 8 0 660894772 520527872 64714 33554432000 4194304 4964800 140734783099808 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21090/statm: 127082 64714 464 189 0 121431 0
[pid=21090/tid=21092] ppid=21088 vsize=508328 CPUtime=18.74 cores=0-7
/proc/21090/task/21092/stat : 21092 (claspmt) R 21088 21090 20967 0 -1 4202560 3868 0 0 0 1872 2 0 0 25 0 8 0 660894858 520527872 64714 33554432000 4194304 4964800 140734783099808 18446744073709551615 4627536 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21090/tid=21093] ppid=21088 vsize=508328 CPUtime=18.76 cores=0-7
/proc/21090/task/21093/stat : 21093 (claspmt) R 21088 21090 20967 0 -1 4202560 15385 0 0 0 1866 10 0 0 25 0 8 0 660894858 520527872 64714 33554432000 4194304 4964800 140734783099808 18446744073709551615 4627259 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21090/tid=21094] ppid=21088 vsize=508328 CPUtime=18.74 cores=0-7
/proc/21090/task/21094/stat : 21094 (claspmt) R 21088 21090 20967 0 -1 4202560 7951 0 0 0 1869 5 0 0 25 0 8 0 660894858 520527872 64714 33554432000 4194304 4964800 140734783099808 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21090/tid=21095] ppid=21088 vsize=508328 CPUtime=18.74 cores=0-7
/proc/21090/task/21095/stat : 21095 (claspmt) R 21088 21090 20967 0 -1 4202560 9393 0 0 0 1867 7 0 0 25 0 8 0 660894858 520527872 64714 33554432000 4194304 4964800 140734783099808 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21090/tid=21096] ppid=21088 vsize=508328 CPUtime=56.55 cores=0-7
/proc/21090/task/21096/stat : 21096 (claspmt) R 21088 21090 20967 0 -1 4202560 3266 0 0 0 5653 2 0 0 25 0 8 0 660894858 520527872 64714 33554432000 4194304 4964800 140734783099808 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21090/tid=21097] ppid=21088 vsize=508328 CPUtime=18.55 cores=0-7
/proc/21090/task/21097/stat : 21097 (claspmt) R 21088 21090 20967 0 -1 4202560 7865 0 0 0 1851 4 0 0 25 0 8 0 660894858 520527872 64714 33554432000 4194304 4964800 140734783099808 18446744073709551615 4313792 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21090/tid=21098] ppid=21088 vsize=508328 CPUtime=18.73 cores=0-7
/proc/21090/task/21098/stat : 21098 (claspmt) R 21088 21090 20967 0 -1 4202560 6696 0 0 0 1869 4 0 0 25 0 8 0 660894858 520527872 64714 33554432000 4194304 4964800 140734783099808 18446744073709551615 4336761 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 188.44
Current children cumulated vsize (KiB) 508328

[startup+63.9007 s]
/proc/loadavg: 5.82 5.04 4.24 9/335 21099
/proc/meminfo: memFree=24029024/32951124 swapFree=65173160/67111528
[pid=21090] ppid=21088 vsize=508328 CPUtime=239.58 cores=0-7
/proc/21090/stat : 21090 (claspmt) R 21088 21090 20967 0 -1 4202496 79874 0 0 0 23912 46 0 0 25 0 8 0 660894772 520527872 71022 33554432000 4194304 4964800 140734783099808 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21090/statm: 127082 71022 464 189 0 121431 0
[pid=21090/tid=21092] ppid=21088 vsize=508328 CPUtime=25.14 cores=0-7
/proc/21090/task/21092/stat : 21092 (claspmt) R 21088 21090 20967 0 -1 4202560 4581 0 0 0 2510 4 0 0 25 0 8 0 660894858 520527872 71022 33554432000 4194304 4964800 140734783099808 18446744073709551615 4320848 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21090/tid=21093] ppid=21088 vsize=508328 CPUtime=25.16 cores=0-7
/proc/21090/task/21093/stat : 21093 (claspmt) R 21088 21090 20967 0 -1 4202560 17520 0 0 0 2504 12 0 0 25 0 8 0 660894858 520527872 71022 33554432000 4194304 4964800 140734783099808 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21090/tid=21094] ppid=21088 vsize=508328 CPUtime=25.15 cores=0-7
/proc/21090/task/21094/stat : 21094 (claspmt) R 21088 21090 20967 0 -1 4202560 8476 0 0 0 2509 6 0 0 25 0 8 0 660894858 520527872 71022 33554432000 4194304 4964800 140734783099808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21090/tid=21095] ppid=21088 vsize=508328 CPUtime=25.13 cores=0-7
/proc/21090/task/21095/stat : 21095 (claspmt) R 21088 21090 20967 0 -1 4202560 10494 0 0 0 2505 8 0 0 25 0 8 0 660894858 520527872 71022 33554432000 4194304 4964800 140734783099808 18446744073709551615 4313818 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21090/tid=21096] ppid=21088 vsize=508328 CPUtime=62.95 cores=0-7
/proc/21090/task/21096/stat : 21096 (claspmt) R 21088 21090 20967 0 -1 4202560 3266 0 0 0 6293 2 0 0 25 0 8 0 660894858 520527872 71022 33554432000 4194304 4964800 140734783099808 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21090/tid=21097] ppid=21088 vsize=508328 CPUtime=24.88 cores=0-7
/proc/21090/task/21097/stat : 21097 (claspmt) R 21088 21090 20967 0 -1 4202560 8268 0 0 0 2484 4 0 0 25 0 8 0 660894858 520527872 71022 33554432000 4194304 4964800 140734783099808 18446744073709551615 4629970 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21090/tid=21098] ppid=21088 vsize=508328 CPUtime=25.14 cores=0-7
/proc/21090/task/21098/stat : 21098 (claspmt) R 21088 21090 20967 0 -1 4202560 8088 0 0 0 2509 5 0 0 25 0 8 0 660894858 520527872 71022 33554432000 4194304 4964800 140734783099808 18446744073709551615 4629961 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 239.58
Current children cumulated vsize (KiB) 508328

[startup+65.5004 s]
/proc/loadavg: 5.82 5.04 4.24 9/335 21100
/proc/meminfo: memFree=24028292/32951124 swapFree=65173160/67111528
[pid=21090] ppid=21088 vsize=508328 CPUtime=252.36 cores=0-7
/proc/21090/stat : 21090 (claspmt) R 21088 21090 20967 0 -1 4202496 80194 0 0 0 25190 46 0 0 25 0 8 0 660894772 520527872 71342 33554432000 4194304 4964800 140734783099808 18446744073709551615 4627248 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21090/statm: 127082 71342 464 189 0 121431 0
[pid=21090/tid=21092] ppid=21088 vsize=508328 CPUtime=26.74 cores=0-7
/proc/21090/task/21092/stat : 21092 (claspmt) R 21088 21090 20967 0 -1 4202560 4646 0 0 0 2670 4 0 0 25 0 8 0 660894858 520527872 71342 33554432000 4194304 4964800 140734783099808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21090/tid=21093] ppid=21088 vsize=508328 CPUtime=26.76 cores=0-7
/proc/21090/task/21093/stat : 21093 (claspmt) R 21088 21090 20967 0 -1 4202560 17554 0 0 0 2664 12 0 0 25 0 8 0 660894858 520527872 71342 33554432000 4194304 4964800 140734783099808 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21090/tid=21094] ppid=21088 vsize=508328 CPUtime=26.75 cores=0-7
/proc/21090/task/21094/stat : 21094 (claspmt) R 21088 21090 20967 0 -1 4202560 8494 0 0 0 2669 6 0 0 25 0 8 0 660894858 520527872 71342 33554432000 4194304 4964800 140734783099808 18446744073709551615 4629970 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21090/tid=21095] ppid=21088 vsize=508328 CPUtime=26.73 cores=0-7
/proc/21090/task/21095/stat : 21095 (claspmt) R 21088 21090 20967 0 -1 4202560 10534 0 0 0 2665 8 0 0 25 0 8 0 660894858 520527872 71342 33554432000 4194304 4964800 140734783099808 18446744073709551615 4629965 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21090/tid=21096] ppid=21088 vsize=508328 CPUtime=64.55 cores=0-7
/proc/21090/task/21096/stat : 21096 (claspmt) R 21088 21090 20967 0 -1 4202560 3266 0 0 0 6453 2 0 0 25 0 8 0 660894858 520527872 71342 33554432000 4194304 4964800 140734783099808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21090/tid=21097] ppid=21088 vsize=508328 CPUtime=26.47 cores=0-7
/proc/21090/task/21097/stat : 21097 (claspmt) R 21088 21090 20967 0 -1 4202560 8268 0 0 0 2643 4 0 0 25 0 8 0 660894858 520527872 71342 33554432000 4194304 4964800 140734783099808 18446744073709551615 4684107 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21090/tid=21098] ppid=21088 vsize=508328 CPUtime=26.73 cores=0-7
/proc/21090/task/21098/stat : 21098 (claspmt) R 21088 21090 20967 0 -1 4202560 8251 0 0 0 2668 5 0 0 25 0 8 0 660894858 520527872 71342 33554432000 4194304 4964800 140734783099808 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 252.36
Current children cumulated vsize (KiB) 508328

[startup+67.1131 s]
/proc/loadavg: 6.00 5.08 4.26 9/335 21100
/proc/meminfo: memFree=24027052/32951124 swapFree=65173160/67111528
[pid=21090] ppid=21088 vsize=508328 CPUtime=265.24 cores=0-7
/proc/21090/stat : 21090 (claspmt) R 21088 21090 20967 0 -1 4202496 80330 0 0 0 26477 47 0 0 25 0 8 0 660894772 520527872 71478 33554432000 4194304 4964800 140734783099808 18446744073709551615 4629972 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21090/statm: 127082 71478 464 189 0 121431 0
[pid=21090/tid=21092] ppid=21088 vsize=508328 CPUtime=28.35 cores=0-7
/proc/21090/task/21092/stat : 21092 (claspmt) R 21088 21090 20967 0 -1 4202560 4649 0 0 0 2831 4 0 0 25 0 8 0 660894858 520527872 71478 33554432000 4194304 4964800 140734783099808 18446744073709551615 4629939 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21090/tid=21093] ppid=21088 vsize=508328 CPUtime=28.37 cores=0-7
/proc/21090/task/21093/stat : 21093 (claspmt) R 21088 21090 20967 0 -1 4202560 17612 0 0 0 2825 12 0 0 25 0 8 0 660894858 520527872 71478 33554432000 4194304 4964800 140734783099808 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21090/tid=21094] ppid=21088 vsize=508328 CPUtime=28.36 cores=0-7
/proc/21090/task/21094/stat : 21094 (claspmt) R 21088 21090 20967 0 -1 4202560 8494 0 0 0 2830 6 0 0 25 0 8 0 660894858 520527872 71478 33554432000 4194304 4964800 140734783099808 18446744073709551615 4313845 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21090/tid=21095] ppid=21088 vsize=508328 CPUtime=28.34 cores=0-7
/proc/21090/task/21095/stat : 21095 (claspmt) R 21088 21090 20967 0 -1 4202560 10604 0 0 0 2826 8 0 0 25 0 8 0 660894858 520527872 71478 33554432000 4194304 4964800 140734783099808 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21090/tid=21096] ppid=21088 vsize=508328 CPUtime=66.16 cores=0-7
/proc/21090/task/21096/stat : 21096 (claspmt) R 21088 21090 20967 0 -1 4202560 3266 0 0 0 6614 2 0 0 25 0 8 0 660894858 520527872 71478 33554432000 4194304 4964800 140734783099808 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21090/tid=21097] ppid=21088 vsize=508328 CPUtime=28.06 cores=0-7
/proc/21090/task/21097/stat : 21097 (claspmt) R 21088 21090 20967 0 -1 4202560 8268 0 0 0 2802 4 0 0 25 0 8 0 660894858 520527872 71478 33554432000 4194304 4964800 140734783099808 18446744073709551615 4629970 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21090/tid=21098] ppid=21088 vsize=508328 CPUtime=28.35 cores=0-7
/proc/21090/task/21098/stat : 21098 (claspmt) R 21088 21090 20967 0 -1 4202560 8256 0 0 0 2830 5 0 0 25 0 8 0 660894858 520527872 71478 33554432000 4194304 4964800 140734783099808 18446744073709551615 4629451 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 265.24
Current children cumulated vsize (KiB) 508328

[startup+67.501 s]
/proc/loadavg: 6.00 5.08 4.26 9/335 21100
/proc/meminfo: memFree=24027052/32951124 swapFree=65173160/67111528
[pid=21090] ppid=21088 vsize=508328 CPUtime=268.35 cores=0-7
/proc/21090/stat : 21090 (claspmt) R 21088 21090 20967 0 -1 4202496 80330 0 0 0 26788 47 0 0 25 0 8 0 660894772 520527872 71478 33554432000 4194304 4964800 140734783099808 18446744073709551615 4629965 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21090/statm: 127082 71478 464 189 0 121431 0
[pid=21090/tid=21092] ppid=21088 vsize=508328 CPUtime=28.74 cores=0-7
/proc/21090/task/21092/stat : 21092 (claspmt) R 21088 21090 20967 0 -1 4202560 4649 0 0 0 2870 4 0 0 25 0 8 0 660894858 520527872 71478 33554432000 4194304 4964800 140734783099808 18446744073709551615 4629936 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21090/tid=21093] ppid=21088 vsize=508328 CPUtime=28.76 cores=0-7
/proc/21090/task/21093/stat : 21093 (claspmt) R 21088 21090 20967 0 -1 4202560 17612 0 0 0 2864 12 0 0 25 0 8 0 660894858 520527872 71478 33554432000 4194304 4964800 140734783099808 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21090/tid=21094] ppid=21088 vsize=508328 CPUtime=28.75 cores=0-7
/proc/21090/task/21094/stat : 21094 (claspmt) R 21088 21090 20967 0 -1 4202560 8494 0 0 0 2869 6 0 0 25 0 8 0 660894858 520527872 71478 33554432000 4194304 4964800 140734783099808 18446744073709551615 4629965 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21090/tid=21095] ppid=21088 vsize=508328 CPUtime=28.73 cores=0-7
/proc/21090/task/21095/stat : 21095 (claspmt) R 21088 21090 20967 0 -1 4202560 10604 0 0 0 2865 8 0 0 25 0 8 0 660894858 520527872 71478 33554432000 4194304 4964800 140734783099808 18446744073709551615 4629965 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21090/tid=21096] ppid=21088 vsize=508328 CPUtime=66.55 cores=0-7
/proc/21090/task/21096/stat : 21096 (claspmt) R 21088 21090 20967 0 -1 4202560 3266 0 0 0 6653 2 0 0 25 0 8 0 660894858 520527872 71478 33554432000 4194304 4964800 140734783099808 18446744073709551615 4669149 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21090/tid=21097] ppid=21088 vsize=508328 CPUtime=28.44 cores=0-7
/proc/21090/task/21097/stat : 21097 (claspmt) R 21088 21090 20967 0 -1 4202560 8268 0 0 0 2840 4 0 0 25 0 8 0 660894858 520527872 71478 33554432000 4194304 4964800 140734783099808 18446744073709551615 4629965 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21090/tid=21098] ppid=21088 vsize=508328 CPUtime=28.73 cores=0-7
/proc/21090/task/21098/stat : 21098 (claspmt) R 21088 21090 20967 0 -1 4202560 8256 0 0 0 2868 5 0 0 25 0 8 0 660894858 520527872 71478 33554432000 4194304 4964800 140734783099808 18446744073709551615 4629954 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 268.35
Current children cumulated vsize (KiB) 508328

[startup+67.701 s]
/proc/loadavg: 6.00 5.08 4.26 9/335 21100
/proc/meminfo: memFree=24027052/32951124 swapFree=65173160/67111528
[pid=21090] ppid=21088 vsize=500064 CPUtime=269.46 cores=0-7
/proc/21090/stat : 21090 (claspmt) R 21088 21090 20967 0 -1 4202496 80340 0 0 0 26899 47 0 0 25 0 1 0 660894772 512065536 69422 33554432000 4194304 4964800 140734783099808 18446744073709551615 232335541452 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21090/statm: 125016 69422 474 189 0 119365 0
Current children cumulated CPU time (s) 269.46
Current children cumulated vsize (KiB) 500064

Child status: 20
Real time (s): 67.7662
CPU time (s): 269.53
CPU user time (s): 269.043
CPU system time (s): 0.486925
CPU usage (%): 397.735
Max. virtual memory (cumulated for all children) (KiB): 508328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 269.043
system time used= 0.486925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80341
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= 7414
involuntary context switches= 2165

runsolver used 0.188971 second user time and 0.52092 second system time

The end

Launcher Data 

Begin job on node132 at 2011-05-15 22:56:06
IDJOB=3380811
IDBENCH=82410
IDSOLVER=1865
FILE ID=node132/3380811-1305492965
RUNJOBID= node132-1305491517-20981
PBS_JOBID= 13325416
Free space on /tmp= 73324 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3380811-1305492965/watcher-3380811-1305492965 -o /tmp/evaluation-result-3380811-1305492965/solver-3380811-1305492965 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3380811-1305492965.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 17407fc59aa2b679b7792ae0656704b9
RANDOM SEED=539568734

node132.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.833
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.66
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.833
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.74
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.833
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.76
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.833
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.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24303312 kB
Buffers:        303172 kB
Cached:        3227744 kB
SwapCached:       9432 kB
Active:        2167648 kB
Inactive:      6156228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24303312 kB
SwapTotal:    67111528 kB
SwapFree:     65173160 kB
Dirty:           18696 kB
Writeback:           0 kB
AnonPages:     4790852 kB
Mapped:          21096 kB
Slab:           221120 kB
PageTables:      31104 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 58157044 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73324 MiB
End job on node132 at 2011-05-15 22:57:14