Trace number 3299965

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
claspmt 2.0-R4095? (TO) 4802.08 1204.25

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf
MD5SUM28233bedeee44da6e79e63b9febc4d1e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2999.44
Satisfiable
(Un)Satisfiability was proved
Number of variables133566
Number of clauses667976
Sum of the clauses size1591941
Maximum clause length63
Minimum clause length1
Number of clauses of size 1211
Number of clauses of size 2659295
Number of clauses of size 32100
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 56370

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...062055/instance-3299965-1304062055.cnf
0.69/0.70	c Solving...
4800.31/1202.51	
4800.31/1202.51	*** INTERRUPTED! ***
4800.31/1202.51	*** Shutting down threads...
4801.92/1204.19	s UNKNOWN
4801.92/1204.19	
4801.92/1204.19	c INTERRUPTED   : 1
4801.92/1204.19	c Models        : 0+    
4801.92/1204.19	c Time          : 1203.735s (Solving: 1203.03s 1st Model: 0.00s Unsat: 0.00s)
4801.92/1204.19	c CPU Time      : 4801.560s

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3299965-1304062055/watcher-3299965-1304062055 -o /tmp/evaluation-result-3299965-1304062055/solver-3299965-1304062055 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299965-1304062055.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 6.25 7.72 7.94 2/177 25479
/proc/meminfo: memFree=14937108/32951124 swapFree=67111528/67111528
[pid=25479] ppid=25477 vsize=37836 CPUtime=0 cores=1,3,5,7
/proc/25479/stat : 25479 (claspmt) R 25477 25479 24982 0 -1 4202496 1346 0 0 0 0 0 0 0 21 0 1 0 498621388 38744064 1276 33554432000 4194304 4964704 140736318748064 18446744073709551615 4700332 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/25479/statm: 9459 1283 375 189 0 4333 0

[startup+0.041489 s]
/proc/loadavg: 6.25 7.72 7.94 2/177 25479
/proc/meminfo: memFree=14937108/32951124 swapFree=67111528/67111528
[pid=25479] ppid=25477 vsize=48052 CPUtime=0.03 cores=1,3,5,7
/proc/25479/stat : 25479 (claspmt) R 25477 25479 24982 0 -1 4202496 8243 0 0 0 2 1 0 0 21 0 1 0 498621388 49205248 7093 33554432000 4194304 4964704 140736318748064 18446744073709551615 233510297344 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/25479/statm: 12013 7094 388 189 0 6887 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 48052

[startup+0.100476 s]
/proc/loadavg: 6.25 7.72 7.94 2/177 25479
/proc/meminfo: memFree=14937108/32951124 swapFree=67111528/67111528
[pid=25479] ppid=25477 vsize=53816 CPUtime=0.09 cores=1,3,5,7
/proc/25479/stat : 25479 (claspmt) R 25477 25479 24982 0 -1 4202496 10334 0 0 0 8 1 0 0 21 0 1 0 498621388 55107584 8476 33554432000 4194304 4964704 140736318748064 18446744073709551615 4599599 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/25479/statm: 13454 8477 388 189 0 8328 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 53816

[startup+0.300441 s]
/proc/loadavg: 6.25 7.72 7.94 2/177 25479
/proc/meminfo: memFree=14937108/32951124 swapFree=67111528/67111528
[pid=25479] ppid=25477 vsize=83856 CPUtime=0.29 cores=1,3,5,7
/proc/25479/stat : 25479 (claspmt) R 25477 25479 24982 0 -1 4202496 20125 0 0 0 27 2 0 0 22 0 1 0 498621388 85868544 15916 33554432000 4194304 4964704 140736318748064 18446744073709551615 4607585 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/25479/statm: 20964 15916 402 189 0 15838 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83856

[startup+0.70037 s]
/proc/loadavg: 6.25 7.72 7.94 2/177 25479
/proc/meminfo: memFree=14937108/32951124 swapFree=67111528/67111528
[pid=25479] ppid=25477 vsize=85312 CPUtime=0.69 cores=1,3,5,7
/proc/25479/stat : 25479 (claspmt) R 25477 25479 24982 0 -1 4202496 20511 0 0 0 67 2 0 0 23 0 1 0 498621388 87359488 16302 33554432000 4194304 4964704 140736318748064 18446744073709551615 233509946456 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/25479/statm: 21328 16302 405 189 0 16202 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85312

[startup+1.50119 s]
/proc/loadavg: 6.25 7.72 7.94 10/184 25486
/proc/meminfo: memFree=14791856/32951124 swapFree=67111528/67111528
[pid=25479] ppid=25477 vsize=316836 CPUtime=3.82 cores=1,3,5,7
/proc/25479/stat : 25479 (claspmt) R 25477 25479 24982 0 -1 4202496 37482 0 0 0 376 6 0 0 25 0 4 0 498621388 324440064 27793 33554432000 4194304 4964704 140736318748064 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/25479/statm: 79209 27793 458 189 0 73558 0
[pid=25479/tid=25484] ppid=25477 vsize=316836 CPUtime=0.77 cores=1,3,5,7
/proc/25479/task/25484/stat : 25484 (claspmt) R 25477 25479 24982 0 -1 4202560 4410 0 0 0 77 0 0 0 18 0 4 0 498621458 324440064 27793 33554432000 4194304 4964704 140736318748064 18446744073709551615 4668693 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25479/tid=25485] ppid=25477 vsize=316836 CPUtime=0.78 cores=1,3,5,7
/proc/25479/task/25485/stat : 25485 (claspmt) R 25477 25479 24982 0 -1 4202560 6226 0 0 0 77 1 0 0 25 0 4 0 498621458 324440064 27793 33554432000 4194304 4964704 140736318748064 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25479/tid=25486] ppid=25477 vsize=316836 CPUtime=0.78 cores=1,3,5,7
/proc/25479/task/25486/stat : 25486 (claspmt) R 25477 25479 24982 0 -1 4202560 6206 0 0 0 77 1 0 0 19 0 4 0 498621458 324440064 27793 33554432000 4194304 4964704 140736318748064 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 316836

[startup+3.10091 s]
/proc/loadavg: 6.39 7.72 7.94 9/184 25486
/proc/meminfo: memFree=14724160/32951124 swapFree=67111528/67111528
[pid=25479] ppid=25477 vsize=322544 CPUtime=10.2 cores=1,3,5,7
/proc/25479/stat : 25479 (claspmt) R 25477 25479 24982 0 -1 4202496 52751 0 0 0 1009 11 0 0 25 0 4 0 498621388 330285056 43062 33554432000 4194304 4964704 140736318748064 18446744073709551615 4668907 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/25479/statm: 80636 43062 458 189 0 74985 0
[pid=25479/tid=25484] ppid=25477 vsize=322544 CPUtime=2.37 cores=1,3,5,7
/proc/25479/task/25484/stat : 25484 (claspmt) R 25477 25479 24982 0 -1 4202560 8291 0 0 0 235 2 0 0 22 0 4 0 498621458 330285056 43062 33554432000 4194304 4964704 140736318748064 18446744073709551615 4660342 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25479/tid=25485] ppid=25477 vsize=322544 CPUtime=2.38 cores=1,3,5,7
/proc/25479/task/25485/stat : 25485 (claspmt) R 25477 25479 24982 0 -1 4202560 11607 0 0 0 235 3 0 0 25 0 4 0 498621458 330285056 43062 33554432000 4194304 4964704 140736318748064 18446744073709551615 4361114 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25479/tid=25486] ppid=25477 vsize=322544 CPUtime=2.37 cores=1,3,5,7
/proc/25479/task/25486/stat : 25486 (claspmt) R 25477 25479 24982 0 -1 4202560 10727 0 0 0 235 2 0 0 22 0 4 0 498621458 330285056 43063 33554432000 4194304 4964704 140736318748064 18446744073709551615 4332478 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10.2
Current children cumulated vsize (KiB) 322544

[startup+6.30033 s]
/proc/loadavg: 6.39 7.72 7.94 9/184 25486
/proc/meminfo: memFree=14530724/32951124 swapFree=67111528/67111528
[pid=25479] ppid=25477 vsize=398172 CPUtime=22.99 cores=1,3,5,7
/proc/25479/stat : 25479 (claspmt) R 25477 25479 24982 0 -1 4202496 76315 0 0 0 2280 19 0 0 25 0 4 0 498621388 407728128 66626 33554432000 4194304 4964704 140736318748064 18446744073709551615 4660175 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/25479/statm: 99543 66626 458 189 0 93892 0
[pid=25479/tid=25484] ppid=25477 vsize=398172 CPUtime=5.57 cores=1,3,5,7
/proc/25479/task/25484/stat : 25484 (claspmt) R 25477 25479 24982 0 -1 4202560 10577 0 0 0 554 3 0 0 25 0 4 0 498621458 407728128 66626 33554432000 4194304 4964704 140736318748064 18446744073709551615 233509958689 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25479/tid=25485] ppid=25477 vsize=398172 CPUtime=5.59 cores=1,3,5,7
/proc/25479/task/25485/stat : 25485 (claspmt) R 25477 25479 24982 0 -1 4202560 22705 0 0 0 552 7 0 0 25 0 4 0 498621458 407728128 66627 33554432000 4194304 4964704 140736318748064 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25479/tid=25486] ppid=25477 vsize=398172 CPUtime=5.55 cores=1,3,5,7
/proc/25479/task/25486/stat : 25486 (claspmt) R 25477 25479 24982 0 -1 4202560 18382 0 0 0 550 5 0 0 18 0 4 0 498621458 407728128 66627 33554432000 4194304 4964704 140736318748064 18446744073709551615 4632401 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 22.99
Current children cumulated vsize (KiB) 398172

[startup+12.7012 s]
/proc/loadavg: 6.63 7.73 7.94 9/184 25487
/proc/meminfo: memFree=14202904/32951124 swapFree=67111528/67111528
[pid=25479] ppid=25477 vsize=539520 CPUtime=48.55 cores=1,3,5,7
/proc/25479/stat : 25479 (claspmt) R 25477 25479 24982 0 -1 4202496 116418 0 0 0 4821 34 0 0 25 0 4 0 498621388 552468480 106729 33554432000 4194304 4964704 140736318748064 18446744073709551615 4670100 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/25479/statm: 134880 106729 458 189 0 129229 0
[pid=25479/tid=25484] ppid=25477 vsize=539520 CPUtime=11.97 cores=1,3,5,7
/proc/25479/task/25484/stat : 25484 (claspmt) R 25477 25479 24982 0 -1 4202560 12920 0 0 0 1193 4 0 0 25 0 4 0 498621458 552468480 106729 33554432000 4194304 4964704 140736318748064 18446744073709551615 4651339 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25479/tid=25485] ppid=25477 vsize=539520 CPUtime=11.98 cores=1,3,5,7
/proc/25479/task/25485/stat : 25485 (claspmt) R 25477 25479 24982 0 -1 4202560 41753 0 0 0 1186 12 0 0 25 0 4 0 498621458 552468480 106729 33554432000 4194304 4964704 140736318748064 18446744073709551615 4668844 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25479/tid=25486] ppid=25477 vsize=539520 CPUtime=11.92 cores=1,3,5,7
/proc/25479/task/25486/stat : 25486 (claspmt) R 25477 25479 24982 0 -1 4202560 34524 0 0 0 1179 13 0 0 25 0 4 0 498621458 552468480 106730 33554432000 4194304 4964704 140736318748064 18446744073709551615 4660064 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 48.55
Current children cumulated vsize (KiB) 539520

[startup+25.5009 s]
/proc/loadavg: 6.92 7.75 7.95 9/184 25487
/proc/meminfo: memFree=13705956/32951124 swapFree=67111528/67111528
[pid=25479] ppid=25477 vsize=807640 CPUtime=99.67 cores=1,3,5,7
/proc/25479/stat : 25479 (claspmt) R 25477 25479 24982 0 -1 4202496 188162 0 0 0 9908 59 0 0 25 0 4 0 498621388 827023360 178473 33554432000 4194304 4964704 140736318748064 18446744073709551615 4370264 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/25479/statm: 201910 178473 460 189 0 196259 0
[pid=25479/tid=25484] ppid=25477 vsize=807640 CPUtime=24.77 cores=1,3,5,7
/proc/25479/task/25484/stat : 25484 (claspmt) R 25477 25479 24982 0 -1 4202560 17567 0 0 0 2472 5 0 0 25 0 4 0 498621458 827023360 178473 33554432000 4194304 4964704 140736318748064 18446744073709551615 4632472 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25479/tid=25485] ppid=25477 vsize=807640 CPUtime=24.78 cores=1,3,5,7
/proc/25479/task/25485/stat : 25485 (claspmt) R 25477 25479 24982 0 -1 4202560 78913 0 0 0 2455 23 0 0 25 0 4 0 498621458 827023360 178473 33554432000 4194304 4964704 140736318748064 18446744073709551615 233509958689 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25479/tid=25486] ppid=25477 vsize=807640 CPUtime=24.64 cores=1,3,5,7
/proc/25479/task/25486/stat : 25486 (claspmt) R 25477 25479 24982 0 -1 4202560 62948 0 0 0 2439 25 0 0 25 0 4 0 498621458 827023360 178473 33554432000 4194304 4964704 140736318748064 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 99.67
Current children cumulated vsize (KiB) 807640

[startup+51.1003 s]
/proc/loadavg: 7.29 7.77 7.95 9/184 25488
/proc/meminfo: memFree=13019708/32951124 swapFree=67111528/67111528
[pid=25479] ppid=25477 vsize=1246436 CPUtime=201.92 cores=1,3,5,7
/proc/25479/stat : 25479 (claspmt) R 25477 25479 24982 0 -1 4202496 291064 0 0 0 20097 95 0 0 25 0 4 0 498621388 1276350464 281375 33554432000 4194304 4964704 140736318748064 18446744073709551615 4670266 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/25479/statm: 311609 281375 460 189 0 305958 0
[pid=25479/tid=25484] ppid=25477 vsize=1246436 CPUtime=50.37 cores=1,3,5,7
/proc/25479/task/25484/stat : 25484 (claspmt) R 25477 25479 24982 0 -1 4202560 36731 0 0 0 5023 14 0 0 25 0 4 0 498621458 1276350464 281375 33554432000 4194304 4964704 140736318748064 18446744073709551615 4632387 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25479/tid=25485] ppid=25477 vsize=1246436 CPUtime=50.38 cores=1,3,5,7
/proc/25479/task/25485/stat : 25485 (claspmt) R 25477 25479 24982 0 -1 4202560 108151 0 0 0 5006 32 0 0 25 0 4 0 498621458 1276350464 281375 33554432000 4194304 4964704 140736318748064 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25479/tid=25486] ppid=25477 vsize=1246436 CPUtime=50.09 cores=1,3,5,7
/proc/25479/task/25486/stat : 25486 (claspmt) R 25477 25479 24982 0 -1 4202560 90584 0 0 0 4975 34 0 0 25 0 4 0 498621458 1276350464 281375 33554432000 4194304 4964704 140736318748064 18446744073709551615 4361114 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 201.92
Current children cumulated vsize (KiB) 1246436

[startup+102.306 s]
/proc/loadavg: 7.76 7.82 7.95 9/184 25489
/proc/meminfo: memFree=12188152/32951124 swapFree=67111528/67111528
[pid=25479] ppid=25477 vsize=1902900 CPUtime=406.42 cores=1,3,5,7
/proc/25479/stat : 25479 (claspmt) R 25477 25479 24982 0 -1 4202496 450279 0 0 0 40493 149 0 0 25 0 4 0 498621388 1948569600 440588 33554432000 4194304 4964704 140736318748064 18446744073709551615 4320951 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/25479/statm: 475725 440588 460 189 0 470074 0
[pid=25479/tid=25484] ppid=25477 vsize=1902900 CPUtime=101.56 cores=1,3,5,7
/proc/25479/task/25484/stat : 25484 (claspmt) R 25477 25479 24982 0 -1 4202560 73563 0 0 0 10132 24 0 0 25 0 4 0 498621458 1948569600 440588 33554432000 4194304 4964704 140736318748064 18446744073709551615 4668847 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25479/tid=25485] ppid=25477 vsize=1902900 CPUtime=101.58 cores=1,3,5,7
/proc/25479/task/25485/stat : 25485 (claspmt) R 25477 25479 24982 0 -1 4202560 155545 0 0 0 10111 47 0 0 25 0 4 0 498621458 1948569600 440588 33554432000 4194304 4964704 140736318748064 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25479/tid=25486] ppid=25477 vsize=1902900 CPUtime=101.01 cores=1,3,5,7
/proc/25479/task/25486/stat : 25486 (claspmt) R 25477 25479 24982 0 -1 4202560 131412 0 0 0 10051 50 0 0 25 0 4 0 498621458 1948569600 440588 33554432000 4194304 4964704 140736318748064 18446744073709551615 4668931 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 406.42
Current children cumulated vsize (KiB) 1902900

[startup+162.3 s]
/proc/loadavg: 7.96 7.87 7.96 9/184 25491
/proc/meminfo: memFree=11281068/32951124 swapFree=67111528/67111528
[pid=25479] ppid=25477 vsize=2523244 CPUtime=646.07 cores=1,3,5,7
/proc/25479/stat : 25479 (claspmt) R 25477 25479 24982 0 -1 4202496 610008 0 0 0 64399 208 0 0 25 0 4 0 498621388 2583801856 600309 33554432000 4194304 4964704 140736318748064 18446744073709551615 4668820 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/25479/statm: 630811 600309 460 189 0 625160 0
[pid=25479/tid=25484] ppid=25477 vsize=2523244 CPUtime=161.54 cores=1,3,5,7
/proc/25479/task/25484/stat : 25484 (claspmt) R 25477 25479 24982 0 -1 4202560 98335 0 0 0 16122 32 0 0 25 0 4 0 498621458 2583801856 600309 33554432000 4194304 4964704 140736318748064 18446744073709551615 4683900 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25479/tid=25485] ppid=25477 vsize=2523244 CPUtime=161.57 cores=1,3,5,7
/proc/25479/task/25485/stat : 25485 (claspmt) R 25477 25479 24982 0 -1 4202560 190732 0 0 0 16101 56 0 0 25 0 4 0 498621458 2583801856 600309 33554432000 4194304 4964704 140736318748064 18446744073709551615 4379092 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25479/tid=25486] ppid=25477 vsize=2523244 CPUtime=160.68 cores=1,3,5,7
/proc/25479/task/25486/stat : 25486 (claspmt) R 25477 25479 24982 0 -1 4202560 194759 0 0 0 15992 76 0 0 25 0 4 0 498621458 2583801856 600309 33554432000 4194304 4964704 140736318748064 18446744073709551615 4670454 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 646.07
Current children cumulated vsize (KiB) 2523244

[startup+222.301 s]
/proc/loadavg: 8.07 7.92 7.97 9/184 25492
/proc/meminfo: memFree=10524144/32951124 swapFree=67111528/67111528
[pid=25479] ppid=25477 vsize=2884076 CPUtime=885.72 cores=1,3,5,7
/proc/25479/stat : 25479 (claspmt) R 25477 25479 24982 0 -1 4202496 704557 0 0 0 88326 246 0 0 25 0 4 0 498621388 2953293824 694816 33554432000 4194304 4964704 140736318748064 18446744073709551615 233510340791 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/25479/statm: 721019 694817 460 189 0 715368 0
[pid=25479/tid=25484] ppid=25477 vsize=2884076 CPUtime=221.53 cores=1,3,5,7
/proc/25479/task/25484/stat : 25484 (claspmt) R 25477 25479 24982 0 -1 4202560 127166 0 0 0 22108 45 0 0 25 0 4 0 498621458 2953293824 694817 33554432000 4194304 4964704 140736318748064 18446744073709551615 4321361 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25479/tid=25485] ppid=25477 vsize=2884076 CPUtime=221.57 cores=1,3,5,7
/proc/25479/task/25485/stat : 25485 (claspmt) R 25477 25479 24982 0 -1 4202560 214508 0 0 0 22097 60 0 0 25 0 4 0 498621458 2953293824 694817 33554432000 4194304 4964704 140736318748064 18446744073709551615 4653184 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25479/tid=25486] ppid=25477 vsize=2884076 CPUtime=220.35 cores=1,3,5,7
/proc/25479/task/25486/stat : 25486 (claspmt) R 25477 25479 24982 0 -1 4202560 214480 0 0 0 21947 88 0 0 25 0 4 0 498621458 2953293824 694817 33554432000 4194304 4964704 140736318748064 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 885.72
Current children cumulated vsize (KiB) 2884076

[startup+282.301 s]

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

/proc/meminfo: memFree=6347028/32951124 swapFree=67111528/67111528
[pid=25479] ppid=25477 vsize=5311876 CPUtime=3042.34 cores=1,3,5,7
/proc/25479/stat : 25479 (claspmt) R 25477 25479 24982 0 -1 4202496 1290653 0 0 0 303759 475 0 0 25 0 4 0 498621388 5439361024 1280510 33554432000 4194304 4964704 140736318748064 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/25479/statm: 1327969 1280510 460 189 0 1322318 0
[pid=25479/tid=25484] ppid=25477 vsize=5311876 CPUtime=761.29 cores=1,3,5,7
/proc/25479/task/25484/stat : 25484 (claspmt) R 25477 25479 24982 0 -1 4202560 318750 0 0 0 75992 137 0 0 25 0 4 0 498621458 5439361024 1280510 33554432000 4194304 4964704 140736318748064 18446744073709551615 4320976 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25479/tid=25485] ppid=25477 vsize=5311876 CPUtime=759.39 cores=1,3,5,7
/proc/25479/task/25485/stat : 25485 (claspmt) R 25477 25479 24982 0 -1 4202560 353128 0 0 0 75842 97 0 0 25 0 4 0 498621458 5439361024 1280510 33554432000 4194304 4964704 140736318748064 18446744073709551615 4362944 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25479/tid=25486] ppid=25477 vsize=5311876 CPUtime=759.39 cores=1,3,5,7
/proc/25479/task/25486/stat : 25486 (claspmt) R 25477 25479 24982 0 -1 4202560 325608 0 0 0 75802 137 0 0 25 0 4 0 498621458 5439361024 1280510 33554432000 4194304 4964704 140736318748064 18446744073709551615 4632289 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3042.34
Current children cumulated vsize (KiB) 5311876

[startup+822.3 s]
/proc/loadavg: 8.12 8.08 8.01 9/184 25508
/proc/meminfo: memFree=6220144/32951124 swapFree=67111528/67111528
[pid=25479] ppid=25477 vsize=5311876 CPUtime=3281.63 cores=1,3,5,7
/proc/25479/stat : 25479 (claspmt) R 25477 25479 24982 0 -1 4202496 1290670 0 0 0 327688 475 0 0 25 0 4 0 498621388 5439361024 1280497 33554432000 4194304 4964704 140736318748064 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/25479/statm: 1327969 1280497 460 189 0 1322318 0
[pid=25479/tid=25484] ppid=25477 vsize=5311876 CPUtime=821.03 cores=1,3,5,7
/proc/25479/task/25484/stat : 25484 (claspmt) R 25477 25479 24982 0 -1 4202560 318750 0 0 0 81966 137 0 0 25 0 4 0 498621458 5439361024 1280497 33554432000 4194304 4964704 140736318748064 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25479/tid=25485] ppid=25477 vsize=5311876 CPUtime=819.39 cores=1,3,5,7
/proc/25479/task/25485/stat : 25485 (claspmt) R 25477 25479 24982 0 -1 4202560 353137 0 0 0 81842 97 0 0 25 0 4 0 498621458 5439361024 1280497 33554432000 4194304 4964704 140736318748064 18446744073709551615 4627252 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25479/tid=25486] ppid=25477 vsize=5311876 CPUtime=819 cores=1,3,5,7
/proc/25479/task/25486/stat : 25486 (claspmt) R 25477 25479 24982 0 -1 4202560 325609 0 0 0 81763 137 0 0 25 0 4 0 498621458 5439361024 1280497 33554432000 4194304 4964704 140736318748064 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3281.63
Current children cumulated vsize (KiB) 5311876

[startup+882.3 s]
/proc/loadavg: 8.09 8.07 8.01 9/184 25510
/proc/meminfo: memFree=6128856/32951124 swapFree=67111528/67111528
[pid=25479] ppid=25477 vsize=5311876 CPUtime=3521.31 cores=1,3,5,7
/proc/25479/stat : 25479 (claspmt) R 25477 25479 24982 0 -1 4202496 1290673 0 0 0 351656 475 0 0 25 0 4 0 498621388 5439361024 1280500 33554432000 4194304 4964704 140736318748064 18446744073709551615 4632320 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/25479/statm: 1327969 1280500 460 189 0 1322318 0
[pid=25479/tid=25484] ppid=25477 vsize=5311876 CPUtime=881.03 cores=1,3,5,7
/proc/25479/task/25484/stat : 25484 (claspmt) R 25477 25479 24982 0 -1 4202560 318750 0 0 0 87966 137 0 0 25 0 4 0 498621458 5439361024 1280500 33554432000 4194304 4964704 140736318748064 18446744073709551615 4670288 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25479/tid=25485] ppid=25477 vsize=5311876 CPUtime=879.4 cores=1,3,5,7
/proc/25479/task/25485/stat : 25485 (claspmt) R 25477 25479 24982 0 -1 4202560 353138 0 0 0 87842 98 0 0 25 0 4 0 498621458 5439361024 1280500 33554432000 4194304 4964704 140736318748064 18446744073709551615 4313804 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25479/tid=25486] ppid=25477 vsize=5311876 CPUtime=878.68 cores=1,3,5,7
/proc/25479/task/25486/stat : 25486 (claspmt) R 25477 25479 24982 0 -1 4202560 325611 0 0 0 87731 137 0 0 25 0 4 0 498621458 5439361024 1280500 33554432000 4194304 4964704 140736318748064 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3521.31
Current children cumulated vsize (KiB) 5311876

[startup+942.301 s]
/proc/loadavg: 8.03 8.06 8.01 9/184 25511
/proc/meminfo: memFree=6027516/32951124 swapFree=67111528/67111528
[pid=25479] ppid=25477 vsize=5311876 CPUtime=3760.93 cores=1,3,5,7
/proc/25479/stat : 25479 (claspmt) R 25477 25479 24982 0 -1 4202496 1290675 0 0 0 375617 476 0 0 25 0 4 0 498621388 5439361024 1280456 33554432000 4194304 4964704 140736318748064 18446744073709551615 4660075 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/25479/statm: 1327969 1280456 460 189 0 1322318 0
[pid=25479/tid=25484] ppid=25477 vsize=5311876 CPUtime=940.98 cores=1,3,5,7
/proc/25479/task/25484/stat : 25484 (claspmt) R 25477 25479 24982 0 -1 4202560 318750 0 0 0 93961 137 0 0 25 0 4 0 498621458 5439361024 1280456 33554432000 4194304 4964704 140736318748064 18446744073709551615 4668907 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25479/tid=25485] ppid=25477 vsize=5311876 CPUtime=939.4 cores=1,3,5,7
/proc/25479/task/25485/stat : 25485 (claspmt) R 25477 25479 24982 0 -1 4202560 353139 0 0 0 93842 98 0 0 25 0 4 0 498621458 5439361024 1280456 33554432000 4194304 4964704 140736318748064 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25479/tid=25486] ppid=25477 vsize=5311876 CPUtime=938.35 cores=1,3,5,7
/proc/25479/task/25486/stat : 25486 (claspmt) R 25477 25479 24982 0 -1 4202560 325612 0 0 0 93697 138 0 0 25 0 4 0 498621458 5439361024 1280456 33554432000 4194304 4964704 140736318748064 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3760.93
Current children cumulated vsize (KiB) 5311876

[startup+1002.3 s]
/proc/loadavg: 8.01 8.05 8.00 9/184 25513
/proc/meminfo: memFree=5818056/32951124 swapFree=67111528/67111528
[pid=25479] ppid=25477 vsize=5311876 CPUtime=4000.6 cores=1,3,5,7
/proc/25479/stat : 25479 (claspmt) R 25477 25479 24982 0 -1 4202496 1296848 0 0 0 399582 478 0 0 25 0 4 0 498621388 5439361024 1286629 33554432000 4194304 4964704 140736318748064 18446744073709551615 4669270 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/25479/statm: 1327969 1286629 460 189 0 1322318 0
[pid=25479/tid=25484] ppid=25477 vsize=5311876 CPUtime=1000.98 cores=1,3,5,7
/proc/25479/task/25484/stat : 25484 (claspmt) R 25477 25479 24982 0 -1 4202560 318750 0 0 0 99961 137 0 0 25 0 4 0 498621458 5439361024 1286629 33554432000 4194304 4964704 140736318748064 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25479/tid=25485] ppid=25477 vsize=5311876 CPUtime=999.4 cores=1,3,5,7
/proc/25479/task/25485/stat : 25485 (claspmt) R 25477 25479 24982 0 -1 4202560 353142 0 0 0 99842 98 0 0 25 0 4 0 498621458 5439361024 1286629 33554432000 4194304 4964704 140736318748064 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25479/tid=25486] ppid=25477 vsize=5311876 CPUtime=998.02 cores=1,3,5,7
/proc/25479/task/25486/stat : 25486 (claspmt) R 25477 25479 24982 0 -1 4202560 325612 0 0 0 99664 138 0 0 25 0 4 0 498621458 5439361024 1286629 33554432000 4194304 4964704 140736318748064 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4000.6
Current children cumulated vsize (KiB) 5311876

[startup+1062.3 s]
/proc/loadavg: 8.05 8.05 8.00 9/184 25515
/proc/meminfo: memFree=5613304/32951124 swapFree=67111528/67111528
[pid=25479] ppid=25477 vsize=5508484 CPUtime=4240.25 cores=1,3,5,7
/proc/25479/stat : 25479 (claspmt) R 25477 25479 24982 0 -1 4202496 1335318 0 0 0 423525 500 0 0 25 0 4 0 498621388 5640687616 1325057 33554432000 4194304 4964704 140736318748064 18446744073709551615 4632289 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/25479/statm: 1377121 1325057 460 189 0 1371470 0
[pid=25479/tid=25484] ppid=25477 vsize=5508484 CPUtime=1060.97 cores=1,3,5,7
/proc/25479/task/25484/stat : 25484 (claspmt) R 25477 25479 24982 0 -1 4202560 318751 0 0 0 105959 138 0 0 25 0 4 0 498621458 5640687616 1325057 33554432000 4194304 4964704 140736318748064 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25479/tid=25485] ppid=25477 vsize=5508484 CPUtime=1059.4 cores=1,3,5,7
/proc/25479/task/25485/stat : 25485 (claspmt) R 25477 25479 24982 0 -1 4202560 353171 0 0 0 105842 98 0 0 25 0 4 0 498621458 5640687616 1325057 33554432000 4194304 4964704 140736318748064 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25479/tid=25486] ppid=25477 vsize=5508484 CPUtime=1057.69 cores=1,3,5,7
/proc/25479/task/25486/stat : 25486 (claspmt) R 25477 25479 24982 0 -1 4202560 342530 0 0 0 105621 148 0 0 25 0 4 0 498621458 5640687616 1325057 33554432000 4194304 4964704 140736318748064 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4240.25
Current children cumulated vsize (KiB) 5508484

[startup+1122.3 s]
/proc/loadavg: 8.10 8.07 8.01 9/184 25516
/proc/meminfo: memFree=5364532/32951124 swapFree=67111528/67111528
[pid=25479] ppid=25477 vsize=5639556 CPUtime=4479.93 cores=1,3,5,7
/proc/25479/stat : 25479 (claspmt) R 25477 25479 24982 0 -1 4202496 1367283 0 0 0 447473 520 0 0 25 0 4 0 498621388 5774905344 1357005 33554432000 4194304 4964704 140736318748064 18446744073709551615 4653475 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/25479/statm: 1409889 1357005 460 189 0 1404238 0
[pid=25479/tid=25484] ppid=25477 vsize=5639556 CPUtime=1120.97 cores=1,3,5,7
/proc/25479/task/25484/stat : 25484 (claspmt) R 25477 25479 24982 0 -1 4202560 318751 0 0 0 111959 138 0 0 25 0 4 0 498621458 5774905344 1357005 33554432000 4194304 4964704 140736318748064 18446744073709551615 4670233 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25479/tid=25485] ppid=25477 vsize=5639556 CPUtime=1119.4 cores=1,3,5,7
/proc/25479/task/25485/stat : 25485 (claspmt) R 25477 25479 24982 0 -1 4202560 353204 0 0 0 111842 98 0 0 25 0 4 0 498621458 5774905344 1357005 33554432000 4194304 4964704 140736318748064 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25479/tid=25486] ppid=25477 vsize=5639556 CPUtime=1117.37 cores=1,3,5,7
/proc/25479/task/25486/stat : 25486 (claspmt) R 25477 25479 24982 0 -1 4202560 374453 0 0 0 111569 168 0 0 25 0 4 0 498621458 5774905344 1357005 33554432000 4194304 4964704 140736318748064 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4479.93
Current children cumulated vsize (KiB) 5639556

[startup+1182.3 s]
/proc/loadavg: 8.07 8.07 8.01 9/184 25518
/proc/meminfo: memFree=4770896/32951124 swapFree=67111528/67111528
[pid=25479] ppid=25477 vsize=6032772 CPUtime=4719.6 cores=1,3,5,7
/proc/25479/stat : 25479 (claspmt) R 25477 25479 24982 0 -1 4202496 1482373 0 0 0 471379 581 0 0 25 0 4 0 498621388 6177558528 1472095 33554432000 4194304 4964704 140736318748064 18446744073709551615 4342208 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/25479/statm: 1508193 1472095 460 189 0 1502542 0
[pid=25479/tid=25484] ppid=25477 vsize=6032772 CPUtime=1180.96 cores=1,3,5,7
/proc/25479/task/25484/stat : 25484 (claspmt) R 25477 25479 24982 0 -1 4202560 362047 0 0 0 117933 163 0 0 25 0 4 0 498621458 6177558528 1472095 33554432000 4194304 4964704 140736318748064 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25479/tid=25485] ppid=25477 vsize=6032772 CPUtime=1179.4 cores=1,3,5,7
/proc/25479/task/25485/stat : 25485 (claspmt) R 25477 25479 24982 0 -1 4202560 353206 0 0 0 117842 98 0 0 25 0 4 0 498621458 6177558528 1472095 33554432000 4194304 4964704 140736318748064 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25479/tid=25486] ppid=25477 vsize=6032772 CPUtime=1177.04 cores=1,3,5,7
/proc/25479/task/25486/stat : 25486 (claspmt) R 25477 25479 24982 0 -1 4202560 446245 0 0 0 117500 204 0 0 25 0 4 0 498621458 6177558528 1472095 33554432000 4194304 4964704 140736318748064 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4719.6
Current children cumulated vsize (KiB) 6032772



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.5 s]
/proc/loadavg: 8.20 8.09 8.02 5/179 25519
/proc/meminfo: memFree=8883752/32951124 swapFree=67111528/67111528
[pid=25479] ppid=25477 vsize=6163844 CPUtime=4800.31 cores=1,3,5,7
/proc/25479/stat : 25479 (claspmt) R 25477 25479 24982 0 -1 4202496 1527900 0 0 0 479425 606 0 0 25 0 4 0 498621388 6311776256 1517622 33554432000 4194304 4964704 140736318748064 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/25479/statm: 1540961 1517622 460 189 0 1535310 0
[pid=25479/tid=25484] ppid=25477 vsize=6163844 CPUtime=1201.17 cores=1,3,5,7
/proc/25479/task/25484/stat : 25484 (claspmt) R 25477 25479 24982 0 -1 4202560 376981 0 0 0 119945 172 0 0 25 0 4 0 498621458 6311776256 1517622 33554432000 4194304 4964704 140736318748064 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25479/tid=25485] ppid=25477 vsize=6163844 CPUtime=1199.61 cores=1,3,5,7
/proc/25479/task/25485/stat : 25485 (claspmt) R 25477 25479 24982 0 -1 4202560 363035 0 0 0 119860 101 0 0 25 0 4 0 498621458 6311776256 1517622 33554432000 4194304 4964704 140736318748064 18446744073709551615 4313804 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25479/tid=25486] ppid=25477 vsize=6163844 CPUtime=1197.13 cores=1,3,5,7
/proc/25479/task/25486/stat : 25486 (claspmt) R 25477 25479 24982 0 -1 4202560 467009 0 0 0 119497 216 0 0 25 0 4 0 498621458 6311776256 1517622 33554432000 4194304 4964704 140736318748064 18446744073709551615 4653154 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 6163844

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

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

[startup+1203 s]
/proc/loadavg: 8.20 8.09 8.02 5/179 25519
/proc/meminfo: memFree=8883752/32951124 swapFree=67111528/67111528
[pid=25479] ppid=25477 vsize=6163844 CPUtime=4800.83 cores=1,3,5,7
/proc/25479/stat : 25479 (claspmt) S 25477 25479 24982 0 -1 4202496 1527913 0 0 0 479477 606 0 0 25 0 2 0 498621388 6311776256 1517635 33554432000 4194304 4964704 140736318748064 18446744073709551615 233522100197 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/25479/statm: 1540961 1517635 462 189 0 1535310 0
[pid=25479/tid=25485] ppid=25477 vsize=6163844 CPUtime=1200.1 cores=1,3,5,7
/proc/25479/task/25485/stat : 25485 (claspmt) R 25477 25479 24982 0 -1 4202560 363035 0 0 0 119909 101 0 0 25 0 2 0 498621458 6311776256 1517635 33554432000 4194304 4964704 140736318748064 18446744073709551615 4313753 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.83
Current children cumulated vsize (KiB) 6163844

[startup+1203.8 s]
/proc/loadavg: 8.20 8.09 8.02 2/178 25520
/proc/meminfo: memFree=8883636/32951124 swapFree=67111528/67111528
[pid=25479] ppid=25477 vsize=6081480 CPUtime=4801.62 cores=1,3,5,7
/proc/25479/stat : 25479 (claspmt) R 25477 25479 24982 0 -1 4202496 1527922 0 0 0 479556 606 0 0 18 0 1 0 498621388 6227435520 1494327 33554432000 4194304 4964704 140736318748064 18446744073709551615 233510340967 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/25479/statm: 1520370 1493815 470 189 0 1514719 0
Current children cumulated CPU time (s) 4801.62
Current children cumulated vsize (KiB) 6081480

[startup+1204.2 s]
/proc/loadavg: 8.20 8.09 8.02 2/178 25520
/proc/meminfo: memFree=8883636/32951124 swapFree=67111528/67111528
[pid=25479] ppid=25477 vsize=0 CPUtime=4802.02 cores=1,3,5,7
/proc/25479/stat : 25479 (claspmt) R 25477 25479 24982 0 -1 4202500 1527924 0 0 0 479578 624 0 0 18 0 1 0 498621388 0 0 33554432000 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/25479/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4802.02
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1204.25
CPU time (s): 4802.08
CPU user time (s): 4795.78
CPU system time (s): 6.29904
CPU usage (%): 398.76
Max. virtual memory (cumulated for all children) (KiB): 6163844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.78
system time used= 6.29904
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1527924
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= 12989
involuntary context switches= 33326

runsolver used 2.00469 second user time and 4.5693 second system time

The end

Launcher Data 

Begin job on node145 at 2011-04-29 09:27:35
IDJOB=3299965
IDBENCH=82392
IDSOLVER=1683
FILE ID=node145/3299965-1304062055
RUNJOBID= node145-1304062055-25460
PBS_JOBID= 13170440
Free space on /tmp= 72188 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-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-3299965-1304062055/watcher-3299965-1304062055 -o /tmp/evaluation-result-3299965-1304062055/solver-3299965-1304062055 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299965-1304062055.cnf

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

MD5SUM BENCH= 28233bedeee44da6e79e63b9febc4d1e
RANDOM SEED=1307749714

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14937264 kB
Buffers:       2100128 kB
Cached:       15248136 kB
SwapCached:          0 kB
Active:        5243632 kB
Inactive:     12196704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14937264 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           21556 kB
Writeback:          20 kB
AnonPages:       91404 kB
Mapped:          15316 kB
Slab:           509616 kB
PageTables:       4776 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   234812 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= 72184 MiB
End job on node145 at 2011-04-29 09:47:40