Trace number 3322546

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) 39790.2 5102.08

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E00X23.cnf
MD5SUM9cec6483d4ca03e8555377ba059b61ae
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2417.94
Satisfiable
(Un)Satisfiability was proved
Number of variables15364
Number of clauses2133873
Sum of the clauses size18060684
Maximum clause length91
Minimum clause length1
Number of clauses of size 116
Number of clauses of size 240913
Number of clauses of size 337518
Number of clauses of size 422333
Number of clauses of size 5147683
Number of clauses of size over 51885410

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...388055/instance-3322546-1304388055.cnf
123.20/123.27	c Solving...
39787.99/5100.01	
39787.99/5100.01	*** INTERRUPTED! ***
39787.99/5100.01	*** Shutting down threads...

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

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-3322546-1304388055/watcher-3322546-1304388055 -o /tmp/evaluation-result-3322546-1304388055/solver-3322546-1304388055 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3322546-1304388055.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: 7.60 7.97 7.98 1/359 17555
/proc/meminfo: memFree=6790912/32951124 swapFree=61020464/67111528
[pid=17555] ppid=17553 vsize=25072 CPUtime=0 cores=0-7
/proc/17555/stat : 17555 (claspmt) R 17553 17555 17373 0 -1 4202496 1648 0 0 0 0 0 0 0 23 0 1 0 629036432 25673728 1458 33554432000 4194304 4964704 140734293370992 18446744073709551615 224284925696 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17555/statm: 6268 1459 386 189 0 1142 0

[startup+0.112598 s]
/proc/loadavg: 7.60 7.97 7.98 1/359 17555
/proc/meminfo: memFree=6790912/32951124 swapFree=61020464/67111528
[pid=17555] ppid=17553 vsize=35684 CPUtime=0.1 cores=0-7
/proc/17555/stat : 17555 (claspmt) R 17553 17555 17373 0 -1 4202496 4580 0 0 0 10 0 0 0 24 0 1 0 629036432 36540416 4098 33554432000 4194304 4964704 140734293370992 18446744073709551615 224284586693 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17555/statm: 8921 4100 389 189 0 3795 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 35684

[startup+0.200586 s]
/proc/loadavg: 7.60 7.97 7.98 1/359 17555
/proc/meminfo: memFree=6790912/32951124 swapFree=61020464/67111528
[pid=17555] ppid=17553 vsize=49272 CPUtime=0.19 cores=0-7
/proc/17555/stat : 17555 (claspmt) R 17553 17555 17373 0 -1 4202496 8845 0 0 0 18 1 0 0 24 0 1 0 629036432 50454528 7505 33554432000 4194304 4964704 140734293370992 18446744073709551615 224284586693 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17555/statm: 12351 7506 389 189 0 7225 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 49272

[startup+0.30057 s]
/proc/loadavg: 7.60 7.97 7.98 1/359 17555
/proc/meminfo: memFree=6790912/32951124 swapFree=61020464/67111528
[pid=17555] ppid=17553 vsize=65512 CPUtime=0.29 cores=0-7
/proc/17555/stat : 17555 (claspmt) R 17553 17555 17373 0 -1 4202496 14114 0 0 0 27 2 0 0 25 0 1 0 629036432 67084288 11254 33554432000 4194304 4964704 140734293370992 18446744073709551615 224284586693 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17555/statm: 16378 11255 389 189 0 11252 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 65512

[startup+0.700514 s]
/proc/loadavg: 7.60 7.97 7.98 1/359 17555
/proc/meminfo: memFree=6790912/32951124 swapFree=61020464/67111528
[pid=17555] ppid=17553 vsize=118940 CPUtime=0.69 cores=0-7
/proc/17555/stat : 17555 (claspmt) R 17553 17555 17373 0 -1 4202496 30730 0 0 0 65 4 0 0 25 0 1 0 629036432 121794560 24451 33554432000 4194304 4964704 140734293370992 18446744073709551615 224284586693 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17555/statm: 29735 24453 389 189 0 24609 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 118940

[startup+1.50037 s]
/proc/loadavg: 7.60 7.97 7.98 2/360 17556
/proc/meminfo: memFree=6640740/32951124 swapFree=61020464/67111528
[pid=17555] ppid=17553 vsize=254784 CPUtime=1.49 cores=0-7
/proc/17555/stat : 17555 (claspmt) R 17553 17555 17373 0 -1 4202496 66903 0 0 0 140 9 0 0 25 0 1 0 629036432 260898816 57399 33554432000 4194304 4964704 140734293370992 18446744073709551615 224284622603 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17555/statm: 63696 57399 400 189 0 58570 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 254784

[startup+3.10111 s]
/proc/loadavg: 7.60 7.97 7.98 2/360 17556
/proc/meminfo: memFree=6538688/32951124 swapFree=61020464/67111528
[pid=17555] ppid=17553 vsize=276920 CPUtime=3.09 cores=0-7
/proc/17555/stat : 17555 (claspmt) R 17553 17555 17373 0 -1 4202496 72938 0 0 0 299 10 0 0 25 0 1 0 629036432 283566080 63434 33554432000 4194304 4964704 140734293370992 18446744073709551615 4607562 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17555/statm: 69230 63434 403 189 0 64104 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 276920

[startup+6.30057 s]
/proc/loadavg: 7.07 7.85 7.94 2/360 17565
/proc/meminfo: memFree=6539872/32951124 swapFree=61020464/67111528
[pid=17555] ppid=17553 vsize=276920 CPUtime=6.29 cores=0-7
/proc/17555/stat : 17555 (claspmt) R 17553 17555 17373 0 -1 4202496 72938 0 0 0 619 10 0 0 25 0 1 0 629036432 283566080 63434 33554432000 4194304 4964704 140734293370992 18446744073709551615 4607536 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17555/statm: 69230 63434 403 189 0 64104 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 276920

[startup+12.7005 s]
/proc/loadavg: 6.58 7.74 7.91 2/360 17565
/proc/meminfo: memFree=6540672/32951124 swapFree=61020464/67111528
[pid=17555] ppid=17553 vsize=276920 CPUtime=12.69 cores=0-7
/proc/17555/stat : 17555 (claspmt) R 17553 17555 17373 0 -1 4202496 72938 0 0 0 1259 10 0 0 25 0 1 0 629036432 283566080 63434 33554432000 4194304 4964704 140734293370992 18446744073709551615 4607472 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17555/statm: 69230 63434 403 189 0 64104 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 276920

[startup+25.5004 s]
/proc/loadavg: 5.35 7.41 7.80 2/360 17565
/proc/meminfo: memFree=6542064/32951124 swapFree=61020464/67111528
[pid=17555] ppid=17553 vsize=276920 CPUtime=25.49 cores=0-7
/proc/17555/stat : 17555 (claspmt) R 17553 17555 17373 0 -1 4202496 72938 0 0 0 2539 10 0 0 25 0 1 0 629036432 283566080 63434 33554432000 4194304 4964704 140734293370992 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17555/statm: 69230 63434 403 189 0 64104 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 276920

[startup+51.1011 s]
/proc/loadavg: 3.92 6.91 7.62 2/360 17565
/proc/meminfo: memFree=6541708/32951124 swapFree=61020464/67111528
[pid=17555] ppid=17553 vsize=276920 CPUtime=51.09 cores=0-7
/proc/17555/stat : 17555 (claspmt) R 17553 17555 17373 0 -1 4202496 72938 0 0 0 5099 10 0 0 25 0 1 0 629036432 283566080 63434 33554432000 4194304 4964704 140734293370992 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17555/statm: 69230 63434 403 189 0 64104 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 276920

[startup+102.301 s]
/proc/loadavg: 2.41 6.04 7.29 2/360 18065
/proc/meminfo: memFree=6508320/32951124 swapFree=61020464/67111528
[pid=17555] ppid=17553 vsize=276920 CPUtime=102.3 cores=0-7
/proc/17555/stat : 17555 (claspmt) R 17553 17555 17373 0 -1 4202496 72938 0 0 0 10220 10 0 0 25 0 1 0 629036432 283566080 63434 33554432000 4194304 4964704 140734293370992 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17555/statm: 69230 63434 403 189 0 64104 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 276920

[startup+162.301 s]
/proc/loadavg: 4.17 5.77 7.11 9/367 18074
/proc/meminfo: memFree=5364584/32951124 swapFree=61020464/67111528
[pid=17555] ppid=17553 vsize=1812728 CPUtime=346.87 cores=0-7
/proc/17555/stat : 17555 (claspmt) R 17553 17555 17373 0 -1 4202496 364530 0 0 0 34575 112 0 0 25 0 8 0 629036432 1856233472 350571 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/17555/statm: 453182 350571 465 189 0 447531 0
[pid=17555/tid=18066] ppid=17553 vsize=1812728 CPUtime=26.5 cores=0-7
/proc/17555/task/18066/stat : 18066 (claspmt) R 17553 17555 17373 0 -1 4202560 34766 0 0 0 2637 13 0 0 25 0 8 0 629048759 1856233472 350571 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17555/tid=18067] ppid=17553 vsize=1812728 CPUtime=26.47 cores=0-7
/proc/17555/task/18067/stat : 18067 (claspmt) R 17553 17555 17373 0 -1 4202560 45899 0 0 0 2631 16 0 0 25 0 8 0 629048759 1856233472 350571 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17555/tid=18068] ppid=17553 vsize=1812728 CPUtime=26.49 cores=0-7
/proc/17555/task/18068/stat : 18068 (claspmt) R 17553 17555 17373 0 -1 4202560 35639 0 0 0 2635 14 0 0 25 0 8 0 629048759 1856233472 350571 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17555/tid=18069] ppid=17553 vsize=1812728 CPUtime=26.49 cores=0-7
/proc/17555/task/18069/stat : 18069 (claspmt) R 17553 17555 17373 0 -1 4202560 36826 0 0 0 2635 14 0 0 25 0 8 0 629048759 1856233472 350571 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17555/tid=18070] ppid=17553 vsize=1812728 CPUtime=38.69 cores=0-7
/proc/17555/task/18070/stat : 18070 (claspmt) R 17553 17555 17373 0 -1 4202560 44523 0 0 0 3856 13 0 0 25 0 8 0 629048759 1856233472 350571 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17555/tid=18071] ppid=17553 vsize=1812728 CPUtime=26.49 cores=0-7
/proc/17555/task/18071/stat : 18071 (claspmt) R 17553 17555 17373 0 -1 4202560 38780 0 0 0 2636 13 0 0 25 0 8 0 629048759 1856233472 350571 33554432000 4194304 4964704 140734293370992 18446744073709551615 4361247 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17555/tid=18072] ppid=17553 vsize=1812728 CPUtime=26.17 cores=0-7
/proc/17555/task/18072/stat : 18072 (claspmt) R 17553 17555 17373 0 -1 4202560 27650 0 0 0 2605 12 0 0 25 0 8 0 629048759 1856233472 350571 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 346.87
Current children cumulated vsize (KiB) 1812728

[startup+222.314 s]
/proc/loadavg: 6.66 6.19 7.16 9/367 18076
/proc/meminfo: memFree=5137356/32951124 swapFree=61020464/67111528
[pid=17555] ppid=17553 vsize=1841072 CPUtime=826.24 cores=0-7
/proc/17555/stat : 17555 (claspmt) R 17553 17555 17373 0 -1 4202496 420418 0 0 0 82459 165 0 0 25 0 8 0 629036432 1885257728 406459 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/17555/statm: 460268 406459 465 189 0 454617 0
[pid=17555/tid=18066] ppid=17553 vsize=1841072 CPUtime=86.51 cores=0-7
/proc/17555/task/18066/stat : 18066 (claspmt) R 17553 17555 17373 0 -1 4202560 39226 0 0 0 8633 18 0 0 25 0 8 0 629048759 1885257728 406459 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17555/tid=18067] ppid=17553 vsize=1841072 CPUtime=86.47 cores=0-7
/proc/17555/task/18067/stat : 18067 (claspmt) R 17553 17555 17373 0 -1 4202560 56412 0 0 0 8623 24 0 0 25 0 8 0 629048759 1885257728 406459 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17555/tid=18068] ppid=17553 vsize=1841072 CPUtime=86.51 cores=0-7
/proc/17555/task/18068/stat : 18068 (claspmt) R 17553 17555 17373 0 -1 4202560 40461 0 0 0 8633 18 0 0 25 0 8 0 629048759 1885257728 406459 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17555/tid=18069] ppid=17553 vsize=1841072 CPUtime=86.5 cores=0-7
/proc/17555/task/18069/stat : 18069 (claspmt) R 17553 17555 17373 0 -1 4202560 47492 0 0 0 8627 23 0 0 25 0 8 0 629048759 1885257728 406459 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17555/tid=18070] ppid=17553 vsize=1841072 CPUtime=98.7 cores=0-7
/proc/17555/task/18070/stat : 18070 (claspmt) R 17553 17555 17373 0 -1 4202560 44578 0 0 0 9857 13 0 0 25 0 8 0 629048759 1885257728 406459 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670360 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17555/tid=18071] ppid=17553 vsize=1841072 CPUtime=86.5 cores=0-7
/proc/17555/task/18071/stat : 18071 (claspmt) R 17553 17555 17373 0 -1 4202560 43931 0 0 0 8633 17 0 0 25 0 8 0 629048759 1885257728 406459 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17555/tid=18072] ppid=17553 vsize=1841072 CPUtime=85.46 cores=0-7
/proc/17555/task/18072/stat : 18072 (claspmt) R 17553 17555 17373 0 -1 4202560 43889 0 0 0 8517 29 0 0 25 0 8 0 629048759 1885257728 406459 33554432000 4194304 4964704 140734293370992 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 826.24
Current children cumulated vsize (KiB) 1841072

[startup+282.301 s]
/proc/loadavg: 7.51 6.51 7.21 9/367 18078
/proc/meminfo: memFree=4930832/32951124 swapFree=61020464/67111528
[pid=17555] ppid=17553 vsize=2264900 CPUtime=1305.42 cores=0-7
/proc/17555/stat : 17555 (claspmt) R 17553 17555 17373 0 -1 4202496 472200 0 0 0 130320 222 0 0 25 0 8 0 629036432 2319257600 458229 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/17555/statm: 566225 458229 465 189 0 560574 0
[pid=17555/tid=18066] ppid=17553 vsize=2264900 CPUtime=146.49 cores=0-7
/proc/17555/task/18066/stat : 18066 (claspmt) R 17553 17555 17373 0 -1 4202560 43957 0 0 0 14624 25 0 0 25 0 8 0 629048759 2319257600 458229 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17555/tid=18067] ppid=17553 vsize=2264900 CPUtime=146.45 cores=0-7
/proc/17555/task/18067/stat : 18067 (claspmt) R 17553 17555 17373 0 -1 4202560 65778 0 0 0 14612 33 0 0 25 0 8 0 629048759 2319257600 458229 33554432000 4194304 4964704 140734293370992 18446744073709551615 4321099 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17555/tid=18068] ppid=17553 vsize=2264900 CPUtime=146.49 cores=0-7
/proc/17555/task/18068/stat : 18068 (claspmt) R 17553 17555 17373 0 -1 4202560 44627 0 0 0 14626 23 0 0 25 0 8 0 629048759 2319257600 458229 33554432000 4194304 4964704 140734293370992 18446744073709551615 4660362 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17555/tid=18069] ppid=17553 vsize=2264900 CPUtime=146.49 cores=0-7
/proc/17555/task/18069/stat : 18069 (claspmt) R 17553 17555 17373 0 -1 4202560 56257 0 0 0 14619 30 0 0 25 0 8 0 629048759 2319257600 458229 33554432000 4194304 4964704 140734293370992 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17555/tid=18070] ppid=17553 vsize=2264900 CPUtime=158.68 cores=0-7
/proc/17555/task/18070/stat : 18070 (claspmt) R 17553 17555 17373 0 -1 4202560 44995 0 0 0 15855 13 0 0 25 0 8 0 629048759 2319257600 458229 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670288 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17555/tid=18071] ppid=17553 vsize=2264900 CPUtime=146.49 cores=0-7
/proc/17555/task/18071/stat : 18071 (claspmt) R 17553 17555 17373 0 -1 4202560 48088 0 0 0 14627 22 0 0 25 0 8 0 629048759 2319257600 458229 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17555/tid=18072] ppid=17553 vsize=2264900 CPUtime=144.75 cores=0-7
/proc/17555/task/18072/stat : 18072 (claspmt) R 17553 17555 17373 0 -1 4202560 60101 0 0 0 14426 49 0 0 25 0 8 0 629048759 2319257600 458229 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1305.42
Current children cumulated vsize (KiB) 2264900

[startup+342.301 s]
/proc/loadavg: 7.87 6.80 7.27 9/367 18078
/proc/meminfo: memFree=4788548/32951124 swapFree=61020464/67111528
[pid=17555] ppid=17553 vsize=2354264 CPUtime=1784.7 cores=0-7

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

[pid=17555/tid=18071] ppid=17553 vsize=6617728 CPUtime=4706.26 cores=0-7
/proc/17555/task/18071/stat : 18071 (claspmt) R 17553 17555 17373 0 -1 4202560 100622 0 0 0 470548 78 0 0 25 0 8 0 629048759 6776553472 1580576 33554432000 4194304 4964704 140734293370992 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17555/tid=18072] ppid=17553 vsize=6617728 CPUtime=4696.61 cores=0-7
/proc/17555/task/18072/stat : 18072 (claspmt) R 17553 17555 17373 0 -1 4202560 685662 0 0 0 468884 777 0 0 25 0 8 0 629048759 6776553472 1580576 33554432000 4194304 4964704 140734293370992 18446744073709551615 4669443 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 37729.5
Current children cumulated vsize (KiB) 6617728

[startup+4902.3 s]
/proc/loadavg: 8.05 8.07 8.00 9/367 18212
/proc/meminfo: memFree=414968/32951124 swapFree=61020464/67111528
[pid=17555] ppid=17553 vsize=6683264 CPUtime=38208.7 cores=0-7
/proc/17555/stat : 17555 (claspmt) R 17553 17555 17373 0 -1 4202496 1601251 0 0 0 3819300 1570 0 0 25 0 8 0 629036432 6843662336 1584093 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670241 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/17555/statm: 1670816 1584093 465 189 0 1665165 0
[pid=17555/tid=18066] ppid=17553 vsize=6683264 CPUtime=4738.51 cores=0-7
/proc/17555/task/18066/stat : 18066 (claspmt) R 17553 17555 17373 0 -1 4202560 90312 0 0 0 473762 89 0 0 25 0 8 0 629048759 6843662336 1584093 33554432000 4194304 4964704 140734293370992 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17555/tid=18067] ppid=17553 vsize=6683264 CPUtime=4765.47 cores=0-7
/proc/17555/task/18067/stat : 18067 (claspmt) R 17553 17555 17373 0 -1 4202560 199085 0 0 0 476379 168 0 0 25 0 8 0 629048759 6843662336 1584093 33554432000 4194304 4964704 140734293370992 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17555/tid=18068] ppid=17553 vsize=6683264 CPUtime=4766.45 cores=0-7
/proc/17555/task/18068/stat : 18068 (claspmt) R 17553 17555 17373 0 -1 4202560 117271 0 0 0 476529 116 0 0 25 0 8 0 629048759 6843662336 1584093 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670260 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17555/tid=18069] ppid=17553 vsize=6683264 CPUtime=4765.73 cores=0-7
/proc/17555/task/18069/stat : 18069 (claspmt) R 17553 17555 17373 0 -1 4202560 110732 0 0 0 476479 94 0 0 25 0 8 0 629048759 6843662336 1584093 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17555/tid=18070] ppid=17553 vsize=6683264 CPUtime=4770.32 cores=0-7
/proc/17555/task/18070/stat : 18070 (claspmt) R 17553 17555 17373 0 -1 4202560 151061 0 0 0 476867 165 0 0 25 0 8 0 629048759 6843662336 1584093 33554432000 4194304 4964704 140734293370992 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17555/tid=18071] ppid=17553 vsize=6683264 CPUtime=4766.25 cores=0-7
/proc/17555/task/18071/stat : 18071 (claspmt) R 17553 17555 17373 0 -1 4202560 100624 0 0 0 476547 78 0 0 25 0 8 0 629048759 6843662336 1584093 33554432000 4194304 4964704 140734293370992 18446744073709551615 4684027 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17555/tid=18072] ppid=17553 vsize=6683264 CPUtime=4756.59 cores=0-7
/proc/17555/task/18072/stat : 18072 (claspmt) R 17553 17555 17373 0 -1 4202560 685664 0 0 0 474882 777 0 0 25 0 8 0 629048759 6843662336 1584093 33554432000 4194304 4964704 140734293370992 18446744073709551615 4668632 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 38208.7
Current children cumulated vsize (KiB) 6683264

[startup+4962.3 s]
/proc/loadavg: 8.10 8.07 8.01 9/367 18214
/proc/meminfo: memFree=361052/32951124 swapFree=61020464/67111528
[pid=17555] ppid=17553 vsize=6683264 CPUtime=38688 cores=0-7
/proc/17555/stat : 17555 (claspmt) R 17553 17555 17373 0 -1 4202496 1614642 0 0 0 3867206 1591 0 0 25 0 8 0 629036432 6843662336 1597484 33554432000 4194304 4964704 140734293370992 18446744073709551615 4684027 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/17555/statm: 1670816 1597484 465 189 0 1665165 0
[pid=17555/tid=18066] ppid=17553 vsize=6683264 CPUtime=4797.79 cores=0-7
/proc/17555/task/18066/stat : 18066 (claspmt) R 17553 17555 17373 0 -1 4202560 90313 0 0 0 479690 89 0 0 25 0 8 0 629048759 6843662336 1597484 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17555/tid=18067] ppid=17553 vsize=6683264 CPUtime=4825.46 cores=0-7
/proc/17555/task/18067/stat : 18067 (claspmt) R 17553 17555 17373 0 -1 4202560 199113 0 0 0 482378 168 0 0 25 0 8 0 629048759 6843662336 1597484 33554432000 4194304 4964704 140734293370992 18446744073709551615 4320864 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17555/tid=18068] ppid=17553 vsize=6683264 CPUtime=4826.46 cores=0-7
/proc/17555/task/18068/stat : 18068 (claspmt) R 17553 17555 17373 0 -1 4202560 119366 0 0 0 482526 120 0 0 25 0 8 0 629048759 6843662336 1597484 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17555/tid=18069] ppid=17553 vsize=6683264 CPUtime=4825.74 cores=0-7
/proc/17555/task/18069/stat : 18069 (claspmt) R 17553 17555 17373 0 -1 4202560 116908 0 0 0 482471 103 0 0 25 0 8 0 629048759 6843662336 1597484 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17555/tid=18070] ppid=17553 vsize=6683264 CPUtime=4830.32 cores=0-7
/proc/17555/task/18070/stat : 18070 (claspmt) R 17553 17555 17373 0 -1 4202560 156147 0 0 0 482858 174 0 0 25 0 8 0 629048759 6843662336 1597484 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670419 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17555/tid=18071] ppid=17553 vsize=6683264 CPUtime=4826.24 cores=0-7
/proc/17555/task/18071/stat : 18071 (claspmt) R 17553 17555 17373 0 -1 4202560 100625 0 0 0 482546 78 0 0 25 0 8 0 629048759 6843662336 1597484 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17555/tid=18072] ppid=17553 vsize=6683264 CPUtime=4816.59 cores=0-7
/proc/17555/task/18072/stat : 18072 (claspmt) R 17553 17555 17373 0 -1 4202560 685664 0 0 0 480882 777 0 0 25 0 8 0 629048759 6843662336 1597484 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 38688
Current children cumulated vsize (KiB) 6683264

[startup+5022.3 s]
/proc/loadavg: 8.03 8.06 8.00 9/367 18216
/proc/meminfo: memFree=318192/32951124 swapFree=61020464/67111528
[pid=17555] ppid=17553 vsize=6814336 CPUtime=39167.3 cores=0-7
/proc/17555/stat : 17555 (claspmt) R 17553 17555 17373 0 -1 4202496 1625415 0 0 0 3915118 1609 0 0 25 0 8 0 629036432 6977880064 1608257 33554432000 4194304 4964704 140734293370992 18446744073709551615 4669270 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/17555/statm: 1703584 1608257 465 189 0 1697933 0
[pid=17555/tid=18066] ppid=17553 vsize=6814336 CPUtime=4857.09 cores=0-7
/proc/17555/task/18066/stat : 18066 (claspmt) R 17553 17555 17373 0 -1 4202560 90319 0 0 0 485620 89 0 0 25 0 8 0 629048759 6977880064 1608257 33554432000 4194304 4964704 140734293370992 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17555/tid=18067] ppid=17553 vsize=6814336 CPUtime=4885.45 cores=0-7
/proc/17555/task/18067/stat : 18067 (claspmt) R 17553 17555 17373 0 -1 4202560 199205 0 0 0 488377 168 0 0 25 0 8 0 629048759 6977880064 1608257 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17555/tid=18068] ppid=17553 vsize=6814336 CPUtime=4886.46 cores=0-7
/proc/17555/task/18068/stat : 18068 (claspmt) R 17553 17555 17373 0 -1 4202560 121419 0 0 0 488523 123 0 0 25 0 8 0 629048759 6977880064 1608257 33554432000 4194304 4964704 140734293370992 18446744073709551615 4644844 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17555/tid=18069] ppid=17553 vsize=6814336 CPUtime=4885.73 cores=0-7
/proc/17555/task/18069/stat : 18069 (claspmt) R 17553 17555 17373 0 -1 4202560 121609 0 0 0 488463 110 0 0 25 0 8 0 629048759 6977880064 1608257 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17555/tid=18070] ppid=17553 vsize=6814336 CPUtime=4890.32 cores=0-7
/proc/17555/task/18070/stat : 18070 (claspmt) R 17553 17555 17373 0 -1 4202560 160038 0 0 0 488850 182 0 0 25 0 8 0 629048759 6977880064 1608257 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17555/tid=18071] ppid=17553 vsize=6814336 CPUtime=4886.24 cores=0-7
/proc/17555/task/18071/stat : 18071 (claspmt) R 17553 17555 17373 0 -1 4202560 100636 0 0 0 488546 78 0 0 25 0 8 0 629048759 6977880064 1608257 33554432000 4194304 4964704 140734293370992 18446744073709551615 4660129 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17555/tid=18072] ppid=17553 vsize=6814336 CPUtime=4876.59 cores=0-7
/proc/17555/task/18072/stat : 18072 (claspmt) R 17553 17555 17373 0 -1 4202560 685683 0 0 0 486882 777 0 0 25 0 8 0 629048759 6977880064 1608257 33554432000 4194304 4964704 140734293370992 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 39167.3
Current children cumulated vsize (KiB) 6814336

[startup+5082.3 s]
/proc/loadavg: 8.08 8.06 8.00 9/367 18218
/proc/meminfo: memFree=312656/32951124 swapFree=61020464/67111528
[pid=17555] ppid=17553 vsize=6815360 CPUtime=39646.5 cores=0-7
/proc/17555/stat : 17555 (claspmt) R 17553 17555 17373 0 -1 4202496 1626784 0 0 0 3963038 1612 0 0 25 0 8 0 629036432 6978928640 1609626 33554432000 4194304 4964704 140734293370992 18446744073709551615 4669270 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/17555/statm: 1703840 1609626 465 189 0 1698189 0
[pid=17555/tid=18066] ppid=17553 vsize=6815360 CPUtime=4916.39 cores=0-7
/proc/17555/task/18066/stat : 18066 (claspmt) R 17553 17555 17373 0 -1 4202560 90381 0 0 0 491549 90 0 0 25 0 8 0 629048759 6978928640 1609626 33554432000 4194304 4964704 140734293370992 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17555/tid=18067] ppid=17553 vsize=6815360 CPUtime=4945.45 cores=0-7
/proc/17555/task/18067/stat : 18067 (claspmt) R 17553 17555 17373 0 -1 4202560 199559 0 0 0 494376 169 0 0 25 0 8 0 629048759 6978928640 1609626 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670230 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17555/tid=18068] ppid=17553 vsize=6815360 CPUtime=4946.43 cores=0-7
/proc/17555/task/18068/stat : 18068 (claspmt) R 17553 17555 17373 0 -1 4202560 121419 0 0 0 494520 123 0 0 25 0 8 0 629048759 6978928640 1609626 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17555/tid=18069] ppid=17553 vsize=6815360 CPUtime=4945.73 cores=0-7
/proc/17555/task/18069/stat : 18069 (claspmt) R 17553 17555 17373 0 -1 4202560 121720 0 0 0 494463 110 0 0 25 0 8 0 629048759 6978928640 1609626 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17555/tid=18070] ppid=17553 vsize=6815360 CPUtime=4950.32 cores=0-7
/proc/17555/task/18070/stat : 18070 (claspmt) R 17553 17555 17373 0 -1 4202560 160474 0 0 0 494849 183 0 0 25 0 8 0 629048759 6978928640 1609626 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17555/tid=18071] ppid=17553 vsize=6815360 CPUtime=4946.24 cores=0-7
/proc/17555/task/18071/stat : 18071 (claspmt) R 17553 17555 17373 0 -1 4202560 100666 0 0 0 494546 78 0 0 25 0 8 0 629048759 6978928640 1609626 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17555/tid=18072] ppid=17553 vsize=6815360 CPUtime=4936.6 cores=0-7
/proc/17555/task/18072/stat : 18072 (claspmt) R 17553 17555 17373 0 -1 4202560 686057 0 0 0 492882 778 0 0 25 0 8 0 629048759 6978928640 1609626 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 39646.5
Current children cumulated vsize (KiB) 6815360



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+5100 s]
/proc/loadavg: 8.06 8.05 8.00 9/367 18218
/proc/meminfo: memFree=294788/32951124 swapFree=61020464/67111528
[pid=17555] ppid=17553 vsize=6815360 CPUtime=39788 cores=0-7
/proc/17555/stat : 17555 (claspmt) R 17553 17555 17373 0 -1 4202496 1631273 0 0 0 3977178 1621 0 0 25 0 8 0 629036432 6978928640 1614089 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/17555/statm: 1703840 1614089 465 189 0 1698189 0
[pid=17555/tid=18066] ppid=17553 vsize=6815360 CPUtime=4933.88 cores=0-7
/proc/17555/task/18066/stat : 18066 (claspmt) R 17553 17555 17373 0 -1 4202560 90487 0 0 0 493298 90 0 0 25 0 8 0 629048759 6978928640 1614089 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17555/tid=18067] ppid=17553 vsize=6815360 CPUtime=4963.16 cores=0-7
/proc/17555/task/18067/stat : 18067 (claspmt) R 17553 17555 17373 0 -1 4202560 199592 0 0 0 496147 169 0 0 25 0 8 0 629048759 6978928640 1614089 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670230 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17555/tid=18068] ppid=17553 vsize=6815360 CPUtime=4964.14 cores=0-7
/proc/17555/task/18068/stat : 18068 (claspmt) R 17553 17555 17373 0 -1 4202560 121419 0 0 0 496291 123 0 0 25 0 8 0 629048759 6978928640 1614089 33554432000 4194304 4964704 140734293370992 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17555/tid=18069] ppid=17553 vsize=6815360 CPUtime=4963.44 cores=0-7
/proc/17555/task/18069/stat : 18069 (claspmt) R 17553 17555 17373 0 -1 4202560 121736 0 0 0 496234 110 0 0 25 0 8 0 629048759 6978928640 1614089 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17555/tid=18070] ppid=17553 vsize=6815360 CPUtime=4968.03 cores=0-7
/proc/17555/task/18070/stat : 18070 (claspmt) R 17553 17555 17373 0 -1 4202560 160475 0 0 0 496620 183 0 0 25 0 8 0 629048759 6978928640 1614089 33554432000 4194304 4964704 140734293370992 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17555/tid=18071] ppid=17553 vsize=6815360 CPUtime=4963.95 cores=0-7
/proc/17555/task/18071/stat : 18071 (claspmt) R 17553 17555 17373 0 -1 4202560 100676 0 0 0 496317 78 0 0 25 0 8 0 629048759 6978928640 1614089 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17555/tid=18072] ppid=17553 vsize=6815360 CPUtime=4954.31 cores=0-7
/proc/17555/task/18072/stat : 18072 (claspmt) R 17553 17555 17373 0 -1 4202560 690380 0 0 0 494645 786 0 0 25 0 8 0 629048759 6978928640 1614089 33554432000 4194304 4964704 140734293370992 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 39788
Current children cumulated vsize (KiB) 6815360

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -17555

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

[startup+5100.7 s]
/proc/loadavg: 8.06 8.05 8.00 2/361 18219
/proc/meminfo: memFree=303888/32951124 swapFree=61020464/67111528
[pid=17555] ppid=17553 vsize=6813436 CPUtime=39788.8 cores=0-7
/proc/17555/stat : 17555 (claspmt) R 17553 17555 17373 0 -1 4202496 1631288 0 0 0 3977259 1621 0 0 25 0 1 0 629036432 6976958464 1611508 33554432000 4194304 4964704 140734293370992 18446744073709551615 4628834 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17555/statm: 1703359 1611508 475 189 0 1697708 0
Current children cumulated CPU time (s) 39788.8
Current children cumulated vsize (KiB) 6813436

[startup+5101.5 s]
/proc/loadavg: 8.06 8.05 8.00 2/361 18219
/proc/meminfo: memFree=303888/32951124 swapFree=61020464/67111528
[pid=17555] ppid=17553 vsize=6813436 CPUtime=39789.6 cores=0-7
/proc/17555/stat : 17555 (claspmt) R 17553 17555 17373 0 -1 4202496 1631288 0 0 0 3977338 1621 0 0 25 0 1 0 629036432 6976958464 1611508 33554432000 4194304 4964704 140734293370992 18446744073709551615 224284581067 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17555/statm: 1703359 1611508 475 189 0 1697708 0
Current children cumulated CPU time (s) 39789.6
Current children cumulated vsize (KiB) 6813436

[startup+5101.91 s]
/proc/loadavg: 8.06 8.05 8.00 2/361 18219
/proc/meminfo: memFree=395248/32951124 swapFree=61020464/67111528
[pid=17555] ppid=17553 vsize=4191996 CPUtime=39790 cores=0-7
/proc/17555/stat : 17555 (claspmt) R 17553 17555 17373 0 -1 4202496 1631288 0 0 0 3977370 1630 0 0 25 0 1 0 629036432 4292603904 975701 33554432000 4194304 4964704 140734293370992 18446744073709551615 224284969095 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17555/statm: 1047999 975648 475 189 0 1042348 0
Current children cumulated CPU time (s) 39790
Current children cumulated vsize (KiB) 4191996

[startup+5102 s]
/proc/loadavg: 8.06 8.05 8.00 2/361 18219
/proc/meminfo: memFree=395248/32951124 swapFree=61020464/67111528
[pid=17555] ppid=17553 vsize=2159656 CPUtime=39790.1 cores=0-7
/proc/17555/stat : 17555 (claspmt) R 17553 17555 17373 0 -1 4202496 1631288 0 0 0 3977370 1638 0 0 25 0 1 0 629036432 2211487744 439426 33554432000 4194304 4964704 140734293370992 18446744073709551615 224284969095 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17555/statm: 539914 439426 475 189 0 534263 0
Current children cumulated CPU time (s) 39790.1
Current children cumulated vsize (KiB) 2159656

Child ended because it received signal 9 (SIGKILL)
Real time (s): 5102.08
CPU time (s): 39790.2
CPU user time (s): 39773.7
CPU system time (s): 16.4685
CPU usage (%): 779.881
Max. virtual memory (cumulated for all children) (KiB): 6815360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39773.7
system time used= 16.4685
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1631288
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= 93471
involuntary context switches= 181246

runsolver used 15.9236 second user time and 44.3543 second system time

The end

Launcher Data 

Begin job on node118 at 2011-05-03 04:00:58
IDJOB=3322546
IDBENCH=83463
IDSOLVER=1711
FILE ID=node118/3322546-1304388055
RUNJOBID= node118-1304387360-17387
PBS_JOBID= 13181815
Free space on /tmp= 73144 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E00X23.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-3322546-1304388055/watcher-3322546-1304388055 -o /tmp/evaluation-result-3322546-1304388055/solver-3322546-1304388055 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3322546-1304388055.cnf

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

MD5SUM BENCH= 9cec6483d4ca03e8555377ba059b61ae
RANDOM SEED=710854267

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       6790812 kB
Buffers:         31852 kB
Cached:         287900 kB
SwapCached:      96828 kB
Active:       12859384 kB
Inactive:     13056756 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       6790812 kB
SwapTotal:    67111528 kB
SwapFree:     61020464 kB
Dirty:          101848 kB
Writeback:           0 kB
AnonPages:    25511284 kB
Mapped:          17296 kB
Slab:            85708 kB
PageTables:      89568 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 88626828 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= 73456 MiB
End job on node118 at 2011-05-03 05:26:00