Trace number 3299763

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-R4095UNSAT 4421.56 1109.66

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UTI-20-10p0.cnf
MD5SUM209f7789e3588d11f275f2003f2c6a67
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark365.63
Satisfiable
(Un)Satisfiability was proved
Number of variables259616
Number of clauses1374599
Sum of the clauses size3310772
Maximum clause length10
Minimum clause length1
Number of clauses of size 113149
Number of clauses of size 2982807
Number of clauses of size 3313283
Number of clauses of size 47260
Number of clauses of size 529040
Number of clauses of size over 529060

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...045921/instance-3299763-1304045921.cnf
2.39/2.41	c Solving...
4421.49/1109.62	s UNSATISFIABLE
4421.49/1109.62	
4421.49/1109.62	c Models        : 0     
4421.49/1109.62	c Time          : 1109.318s (Solving: 1106.91s 1st Model: 0.00s Unsat: 1106.91s)
4421.49/1109.62	c CPU Time      : 4421.210s

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3299763-1304045921/watcher-3299763-1304045921 -o /tmp/evaluation-result-3299763-1304045921/solver-3299763-1304045921 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299763-1304045921.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.12 7.76 7.92 5/180 9676
/proc/meminfo: memFree=15329360/32951124 swapFree=67111528/67111528
[pid=9676] ppid=9674 vsize=53844 CPUtime=0 cores=0,2,4,6
/proc/9676/stat : 9676 (claspmt) R 9674 9676 7235 0 -1 4202496 1027 0 0 0 0 0 0 0 23 0 1 0 516192689 55136256 957 33554432000 4194304 4964704 140734371623920 18446744073709551615 4700332 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9676/statm: 13461 965 375 189 0 8335 0

[startup+0.0149999 s]
/proc/loadavg: 7.12 7.76 7.92 5/180 9676
/proc/meminfo: memFree=15329360/32951124 swapFree=67111528/67111528
[pid=9676] ppid=9674 vsize=53844 CPUtime=0.01 cores=0,2,4,6
/proc/9676/stat : 9676 (claspmt) R 9674 9676 7235 0 -1 4202496 4335 0 0 0 1 0 0 0 23 0 1 0 516192689 55136256 4265 33554432000 4194304 4964704 140734371623920 18446744073709551615 4700332 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9676/statm: 13461 4281 375 189 0 8335 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 53844

[startup+0.100981 s]
/proc/loadavg: 7.12 7.76 7.92 5/180 9676
/proc/meminfo: memFree=15329360/32951124 swapFree=67111528/67111528
[pid=9676] ppid=9674 vsize=81352 CPUtime=0.09 cores=0,2,4,6
/proc/9676/stat : 9676 (claspmt) R 9674 9676 7235 0 -1 4202496 18384 0 0 0 7 2 0 0 23 0 1 0 516192689 83304448 15136 33554432000 4194304 4964704 140734371623920 18446744073709551615 244446606021 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9676/statm: 20338 15137 385 189 0 15212 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 81352

[startup+0.300943 s]
/proc/loadavg: 7.12 7.76 7.92 5/180 9676
/proc/meminfo: memFree=15329360/32951124 swapFree=67111528/67111528
[pid=9676] ppid=9674 vsize=112468 CPUtime=0.29 cores=0,2,4,6
/proc/9676/stat : 9676 (claspmt) R 9674 9676 7235 0 -1 4202496 29044 0 0 0 26 3 0 0 25 0 1 0 516192689 115167232 22908 33554432000 4194304 4964704 140734371623920 18446744073709551615 244446945024 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9676/statm: 28117 22910 388 189 0 22991 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 112468

[startup+0.700873 s]
/proc/loadavg: 7.12 7.76 7.92 5/180 9676
/proc/meminfo: memFree=15329360/32951124 swapFree=67111528/67111528
[pid=9676] ppid=9674 vsize=169012 CPUtime=0.69 cores=0,2,4,6
/proc/9676/stat : 9676 (claspmt) R 9674 9676 7235 0 -1 4202496 47350 0 0 0 64 5 0 0 25 0 1 0 516192689 173068288 36564 33554432000 4194304 4964704 140734371623920 18446744073709551615 4618467 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9676/statm: 42253 36564 399 189 0 37127 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 169012

[startup+1.50076 s]
/proc/loadavg: 7.12 7.76 7.92 6/181 9677
/proc/meminfo: memFree=15174600/32951124 swapFree=67111528/67111528
[pid=9676] ppid=9674 vsize=179264 CPUtime=1.49 cores=0,2,4,6
/proc/9676/stat : 9676 (claspmt) R 9674 9676 7235 0 -1 4202496 49700 0 0 0 143 6 0 0 25 0 1 0 516192689 183566336 38914 33554432000 4194304 4964704 140734371623920 18446744073709551615 4614071 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9676/statm: 44816 38914 403 189 0 39690 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 179264

[startup+3.10038 s]
/proc/loadavg: 6.95 7.71 7.91 6/181 9677
/proc/meminfo: memFree=15174104/32951124 swapFree=67111528/67111528
[pid=9676] ppid=9674 vsize=398104 CPUtime=4.96 cores=0,2,4,6
/proc/9676/stat : 9676 (claspmt) R 9674 9676 7235 0 -1 4202496 79963 0 0 0 486 10 0 0 25 0 4 0 516192689 407658496 57876 33554432000 4194304 4964704 140734371623920 18446744073709551615 4370288 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9676/statm: 99526 57876 454 189 0 93875 0
Current children cumulated CPU time (s) 4.96
Current children cumulated vsize (KiB) 398104

[startup+6.30079 s]
/proc/loadavg: 6.95 7.71 7.91 9/184 9680
/proc/meminfo: memFree=15094960/32951124 swapFree=67111528/67111528
[pid=9676] ppid=9674 vsize=398104 CPUtime=17.75 cores=0,2,4,6
/proc/9676/stat : 9676 (claspmt) R 9674 9676 7235 0 -1 4202496 80458 0 0 0 1763 12 0 0 25 0 4 0 516192689 407658496 58371 33554432000 4194304 4964704 140734371623920 18446744073709551615 4668820 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9676/statm: 99526 58371 458 189 0 93875 0
[pid=9676/tid=9678] ppid=9674 vsize=398104 CPUtime=3.8 cores=0,2,4,6
/proc/9676/task/9678/stat : 9678 (claspmt) R 9674 9676 7235 0 -1 4202560 9346 0 0 0 379 1 0 0 25 0 4 0 516192930 407658496 58371 33554432000 4194304 4964704 140734371623920 18446744073709551615 4668661 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9676/tid=9679] ppid=9674 vsize=398104 CPUtime=3.86 cores=0,2,4,6
/proc/9676/task/9679/stat : 9679 (claspmt) R 9674 9676 7235 0 -1 4202560 11959 0 0 0 384 2 0 0 25 0 4 0 516192930 407658496 58371 33554432000 4194304 4964704 140734371623920 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9676/tid=9680] ppid=9674 vsize=398104 CPUtime=3.88 cores=0,2,4,6
/proc/9676/task/9680/stat : 9680 (claspmt) R 9674 9676 7235 0 -1 4202560 8117 0 0 0 387 1 0 0 25 0 4 0 516192930 407658496 58371 33554432000 4194304 4964704 140734371623920 18446744073709551615 4668907 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 17.75
Current children cumulated vsize (KiB) 398104

[startup+12.7006 s]
/proc/loadavg: 7.03 7.72 7.91 9/184 9681
/proc/meminfo: memFree=15088164/32951124 swapFree=67111528/67111528
[pid=9676] ppid=9674 vsize=398104 CPUtime=43.31 cores=0,2,4,6
/proc/9676/stat : 9676 (claspmt) R 9674 9676 7235 0 -1 4202496 81132 0 0 0 4318 13 0 0 25 0 4 0 516192689 407658496 59045 33554432000 4194304 4964704 140734371623920 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9676/statm: 99526 59045 458 189 0 93875 0
[pid=9676/tid=9678] ppid=9674 vsize=398104 CPUtime=10.17 cores=0,2,4,6
/proc/9676/task/9678/stat : 9678 (claspmt) R 9674 9676 7235 0 -1 4202560 9577 0 0 0 1016 1 0 0 25 0 4 0 516192930 407658496 59045 33554432000 4194304 4964704 140734371623920 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9676/tid=9679] ppid=9674 vsize=398104 CPUtime=10.26 cores=0,2,4,6
/proc/9676/task/9679/stat : 9679 (claspmt) R 9674 9676 7235 0 -1 4202560 11959 0 0 0 1024 2 0 0 25 0 4 0 516192930 407658496 59045 33554432000 4194304 4964704 140734371623920 18446744073709551615 4313751 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9676/tid=9680] ppid=9674 vsize=398104 CPUtime=10.28 cores=0,2,4,6
/proc/9676/task/9680/stat : 9680 (claspmt) R 9674 9676 7235 0 -1 4202560 8560 0 0 0 1026 2 0 0 25 0 4 0 516192930 407658496 59045 33554432000 4194304 4964704 140734371623920 18446744073709551615 4668931 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 43.31
Current children cumulated vsize (KiB) 398104

[startup+25.5012 s]
/proc/loadavg: 7.31 7.75 7.91 9/184 9681
/proc/meminfo: memFree=15074896/32951124 swapFree=67111528/67111528
[pid=9676] ppid=9674 vsize=398104 CPUtime=94.43 cores=0,2,4,6
/proc/9676/stat : 9676 (claspmt) R 9674 9676 7235 0 -1 4202496 82633 0 0 0 9429 14 0 0 25 0 4 0 516192689 407658496 60546 33554432000 4194304 4964704 140734371623920 18446744073709551615 4669200 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9676/statm: 99526 60546 458 189 0 93875 0
[pid=9676/tid=9678] ppid=9674 vsize=398104 CPUtime=22.9 cores=0,2,4,6
/proc/9676/task/9678/stat : 9678 (claspmt) R 9674 9676 7235 0 -1 4202560 9701 0 0 0 2288 2 0 0 25 0 4 0 516192930 407658496 60546 33554432000 4194304 4964704 140734371623920 18446744073709551615 4669200 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9676/tid=9679] ppid=9674 vsize=398104 CPUtime=23.06 cores=0,2,4,6
/proc/9676/task/9679/stat : 9679 (claspmt) R 9674 9676 7235 0 -1 4202560 11963 0 0 0 2304 2 0 0 25 0 4 0 516192930 407658496 60546 33554432000 4194304 4964704 140734371623920 18446744073709551615 4668632 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9676/tid=9680] ppid=9674 vsize=398104 CPUtime=23.07 cores=0,2,4,6
/proc/9676/task/9680/stat : 9680 (claspmt) R 9674 9676 7235 0 -1 4202560 9506 0 0 0 2305 2 0 0 25 0 4 0 516192930 407658496 60546 33554432000 4194304 4964704 140734371623920 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 94.43
Current children cumulated vsize (KiB) 398104

[startup+51.1004 s]
/proc/loadavg: 7.55 7.77 7.91 9/184 9681
/proc/meminfo: memFree=15024140/32951124 swapFree=67111528/67111528
[pid=9676] ppid=9674 vsize=409740 CPUtime=196.69 cores=0,2,4,6
/proc/9676/stat : 9676 (claspmt) R 9674 9676 7235 0 -1 4202496 90695 0 0 0 19648 21 0 0 25 0 4 0 516192689 419573760 68608 33554432000 4194304 4964704 140734371623920 18446744073709551615 4670100 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9676/statm: 102435 68608 458 189 0 96784 0
[pid=9676/tid=9678] ppid=9674 vsize=409740 CPUtime=48.36 cores=0,2,4,6
/proc/9676/task/9678/stat : 9678 (claspmt) R 9674 9676 7235 0 -1 4202560 10724 0 0 0 4833 3 0 0 25 0 4 0 516192930 419573760 68608 33554432000 4194304 4964704 140734371623920 18446744073709551615 4325338 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9676/tid=9679] ppid=9674 vsize=409740 CPUtime=48.66 cores=0,2,4,6
/proc/9676/task/9679/stat : 9679 (claspmt) R 9674 9676 7235 0 -1 4202560 14964 0 0 0 4863 3 0 0 25 0 4 0 516192930 419573760 68608 33554432000 4194304 4964704 140734371623920 18446744073709551615 244446606021 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9676/tid=9680] ppid=9674 vsize=409740 CPUtime=48.67 cores=0,2,4,6
/proc/9676/task/9680/stat : 9680 (claspmt) R 9674 9676 7235 0 -1 4202560 12918 0 0 0 4861 6 0 0 25 0 4 0 516192930 419573760 68608 33554432000 4194304 4964704 140734371623920 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 196.69
Current children cumulated vsize (KiB) 409740

[startup+102.307 s]
/proc/loadavg: 7.91 7.83 7.92 9/184 9683
/proc/meminfo: memFree=14802532/32951124 swapFree=67111528/67111528
[pid=9676] ppid=9674 vsize=497312 CPUtime=401.24 cores=0,2,4,6
/proc/9676/stat : 9676 (claspmt) R 9674 9676 7235 0 -1 4202496 124919 0 0 0 40082 42 0 0 25 0 4 0 516192689 509247488 102832 33554432000 4194304 4964704 140734371623920 18446744073709551615 4677956 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9676/statm: 124328 102832 460 189 0 118677 0
[pid=9676/tid=9678] ppid=9674 vsize=497312 CPUtime=99.28 cores=0,2,4,6
/proc/9676/task/9678/stat : 9678 (claspmt) R 9674 9676 7235 0 -1 4202560 12266 0 0 0 9923 5 0 0 25 0 4 0 516192930 509247488 102832 33554432000 4194304 4964704 140734371623920 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9676/tid=9679] ppid=9674 vsize=497312 CPUtime=99.86 cores=0,2,4,6
/proc/9676/task/9679/stat : 9679 (claspmt) R 9674 9676 7235 0 -1 4202560 36838 0 0 0 9976 10 0 0 25 0 4 0 516192930 509247488 102832 33554432000 4194304 4964704 140734371623920 18446744073709551615 4684652 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9676/tid=9680] ppid=9674 vsize=497312 CPUtime=99.87 cores=0,2,4,6
/proc/9676/task/9680/stat : 9680 (claspmt) R 9674 9676 7235 0 -1 4202560 22128 0 0 0 9971 16 0 0 25 0 4 0 516192930 509247488 102832 33554432000 4194304 4964704 140734371623920 18446744073709551615 4670277 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 401.24
Current children cumulated vsize (KiB) 497312

[startup+162.301 s]
/proc/loadavg: 8.02 7.87 7.93 9/184 9694
/proc/meminfo: memFree=14578624/32951124 swapFree=67111528/67111528
[pid=9676] ppid=9674 vsize=714432 CPUtime=640.86 cores=0,2,4,6
/proc/9676/stat : 9676 (claspmt) R 9674 9676 7235 0 -1 4202496 158057 0 0 0 64024 62 0 0 25 0 4 0 516192689 731578368 135970 33554432000 4194304 4964704 140734371623920 18446744073709551615 4670219 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9676/statm: 178608 135970 460 189 0 172957 0
[pid=9676/tid=9678] ppid=9674 vsize=714432 CPUtime=158.96 cores=0,2,4,6
/proc/9676/task/9678/stat : 9678 (claspmt) R 9674 9676 7235 0 -1 4202560 13742 0 0 0 15889 7 0 0 25 0 4 0 516192930 731578368 135970 33554432000 4194304 4964704 140734371623920 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9676/tid=9679] ppid=9674 vsize=714432 CPUtime=159.84 cores=0,2,4,6
/proc/9676/task/9679/stat : 9679 (claspmt) R 9674 9676 7235 0 -1 4202560 58339 0 0 0 15967 17 0 0 25 0 4 0 516192930 731578368 135970 33554432000 4194304 4964704 140734371623920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9676/tid=9680] ppid=9674 vsize=714432 CPUtime=159.86 cores=0,2,4,6
/proc/9676/task/9680/stat : 9680 (claspmt) R 9674 9676 7235 0 -1 4202560 31333 0 0 0 15959 27 0 0 25 0 4 0 516192930 731578368 135970 33554432000 4194304 4964704 140734371623920 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 640.86
Current children cumulated vsize (KiB) 714432

[startup+222.3 s]
/proc/loadavg: 8.05 7.91 7.93 9/184 9695
/proc/meminfo: memFree=14387876/32951124 swapFree=67111528/67111528
[pid=9676] ppid=9674 vsize=784464 CPUtime=880.54 cores=0,2,4,6
/proc/9676/stat : 9676 (claspmt) R 9674 9676 7235 0 -1 4202496 185696 0 0 0 87976 78 0 0 25 0 4 0 516192689 803291136 163609 33554432000 4194304 4964704 140734371623920 18446744073709551615 4670100 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9676/statm: 196116 163609 460 189 0 190465 0
[pid=9676/tid=9678] ppid=9674 vsize=784464 CPUtime=218.63 cores=0,2,4,6
/proc/9676/task/9678/stat : 9678 (claspmt) R 9674 9676 7235 0 -1 4202560 14962 0 0 0 21855 8 0 0 25 0 4 0 516192930 803291136 163609 33554432000 4194304 4964704 140734371623920 18446744073709551615 4320953 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9676/tid=9679] ppid=9674 vsize=784464 CPUtime=219.84 cores=0,2,4,6
/proc/9676/task/9679/stat : 9679 (claspmt) R 9674 9676 7235 0 -1 4202560 75773 0 0 0 21962 22 0 0 25 0 4 0 516192930 803291136 163609 33554432000 4194304 4964704 140734371623920 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9676/tid=9680] ppid=9674 vsize=784464 CPUtime=219.86 cores=0,2,4,6
/proc/9676/task/9680/stat : 9680 (claspmt) R 9674 9676 7235 0 -1 4202560 39509 0 0 0 21950 36 0 0 25 0 4 0 516192930 803291136 163609 33554432000 4194304 4964704 140734371623920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 880.54
Current children cumulated vsize (KiB) 784464

[startup+282.3 s]
/proc/loadavg: 8.06 7.94 7.94 9/184 9697
/proc/meminfo: memFree=14175072/32951124 swapFree=67111528/67111528
[pid=9676] ppid=9674 vsize=922464 CPUtime=1120.21 cores=0,2,4,6
/proc/9676/stat : 9676 (claspmt) R 9674 9676 7235 0 -1 4202496 213582 0 0 0 111923 98 0 0 25 0 4 0 516192689 944603136 191495 33554432000 4194304 4964704 140734371623920 18446744073709551615 4370264 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9676/statm: 230616 191495 460 189 0 224965 0
[pid=9676/tid=9678] ppid=9674 vsize=922464 CPUtime=278.31 cores=0,2,4,6
/proc/9676/task/9678/stat : 9678 (claspmt) R 9674 9676 7235 0 -1 4202560 16796 0 0 0 27820 11 0 0 25 0 4 0 516192930 944603136 191495 33554432000 4194304 4964704 140734371623920 18446744073709551615 4670032 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9676/tid=9679] ppid=9674 vsize=922464 CPUtime=279.84 cores=0,2,4,6
/proc/9676/task/9679/stat : 9679 (claspmt) R 9674 9676 7235 0 -1 4202560 93924 0 0 0 27955 29 0 0 25 0 4 0 516192930 944603136 191495 33554432000 4194304 4964704 140734371623920 18446744073709551615 4670454 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9676/tid=9680] ppid=9674 vsize=922464 CPUtime=279.85 cores=0,2,4,6
/proc/9676/task/9680/stat : 9680 (claspmt) R 9674 9676 7235 0 -1 4202560 47149 0 0 0 27940 45 0 0 25 0 4 0 516192930 944603136 191495 33554432000 4194304 4964704 140734371623920 18446744073709551615 4321076 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1120.21

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

[pid=9676/tid=9678] ppid=9674 vsize=1786224 CPUtime=875.05 cores=0,2,4,6
/proc/9676/task/9678/stat : 9678 (claspmt) R 9674 9676 7235 0 -1 4202560 24205 0 0 0 87485 20 0 0 25 0 4 0 516192930 1829093376 402492 33554432000 4194304 4964704 140734371623920 18446744073709551615 4684027 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9676/tid=9679] ppid=9674 vsize=1786224 CPUtime=879.84 cores=0,2,4,6
/proc/9676/task/9679/stat : 9679 (claspmt) R 9674 9676 7235 0 -1 4202560 245045 0 0 0 87869 115 0 0 25 0 4 0 516192930 1829093376 402492 33554432000 4194304 4964704 140734371623920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9676/tid=9680] ppid=9674 vsize=1786224 CPUtime=879.81 cores=0,2,4,6
/proc/9676/task/9680/stat : 9680 (claspmt) R 9674 9676 7235 0 -1 4202560 87721 0 0 0 87895 86 0 0 25 0 4 0 516192930 1829093376 402492 33554432000 4194304 4964704 140734371623920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3516.93
Current children cumulated vsize (KiB) 1786224

[startup+942.301 s]
/proc/loadavg: 8.16 8.09 8.01 9/184 9717
/proc/meminfo: memFree=12515432/32951124 swapFree=67111528/67111528
[pid=9676] ppid=9674 vsize=1786224 CPUtime=3756.6 cores=0,2,4,6
/proc/9676/stat : 9676 (claspmt) R 9674 9676 7235 0 -1 4202496 427095 0 0 0 375410 250 0 0 25 0 4 0 516192689 1829093376 404986 33554432000 4194304 4964704 140734371623920 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9676/statm: 446556 404986 460 189 0 440905 0
[pid=9676/tid=9678] ppid=9674 vsize=1786224 CPUtime=934.73 cores=0,2,4,6
/proc/9676/task/9678/stat : 9678 (claspmt) R 9674 9676 7235 0 -1 4202560 24214 0 0 0 93453 20 0 0 25 0 4 0 516192930 1829093376 404986 33554432000 4194304 4964704 140734371623920 18446744073709551615 4668904 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9676/tid=9679] ppid=9674 vsize=1786224 CPUtime=939.84 cores=0,2,4,6
/proc/9676/task/9679/stat : 9679 (claspmt) R 9674 9676 7235 0 -1 4202560 246489 0 0 0 93867 117 0 0 25 0 4 0 516192930 1829093376 404986 33554432000 4194304 4964704 140734371623920 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9676/tid=9680] ppid=9674 vsize=1786224 CPUtime=939.8 cores=0,2,4,6
/proc/9676/task/9680/stat : 9680 (claspmt) R 9674 9676 7235 0 -1 4202560 88762 0 0 0 93893 87 0 0 25 0 4 0 516192930 1829093376 404986 33554432000 4194304 4964704 140734371623920 18446744073709551615 4670419 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3756.6
Current children cumulated vsize (KiB) 1786224

[startup+1002.3 s]
/proc/loadavg: 8.15 8.10 8.01 9/184 9719
/proc/meminfo: memFree=12386176/32951124 swapFree=67111528/67111528
[pid=9676] ppid=9674 vsize=1786224 CPUtime=3996.27 cores=0,2,4,6
/proc/9676/stat : 9676 (claspmt) R 9674 9676 7235 0 -1 4202496 439183 0 0 0 399366 261 0 0 25 0 4 0 516192689 1829093376 417074 33554432000 4194304 4964704 140734371623920 18446744073709551615 4668907 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9676/statm: 446556 417074 460 189 0 440905 0
[pid=9676/tid=9678] ppid=9674 vsize=1786224 CPUtime=994.4 cores=0,2,4,6
/proc/9676/task/9678/stat : 9678 (claspmt) R 9674 9676 7235 0 -1 4202560 24214 0 0 0 99420 20 0 0 25 0 4 0 516192930 1829093376 417074 33554432000 4194304 4964704 140734371623920 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9676/tid=9679] ppid=9674 vsize=1786224 CPUtime=999.84 cores=0,2,4,6
/proc/9676/task/9679/stat : 9679 (claspmt) R 9674 9676 7235 0 -1 4202560 258515 0 0 0 99857 127 0 0 25 0 4 0 516192930 1829093376 417074 33554432000 4194304 4964704 140734371623920 18446744073709551615 4670277 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9676/tid=9680] ppid=9674 vsize=1786224 CPUtime=999.8 cores=0,2,4,6
/proc/9676/task/9680/stat : 9680 (claspmt) R 9674 9676 7235 0 -1 4202560 88765 0 0 0 99893 87 0 0 25 0 4 0 516192930 1829093376 417074 33554432000 4194304 4964704 140734371623920 18446744073709551615 4670291 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3996.27
Current children cumulated vsize (KiB) 1786224

[startup+1062.3 s]
/proc/loadavg: 8.16 8.11 8.02 9/184 9721
/proc/meminfo: memFree=12285348/32951124 swapFree=67111528/67111528
[pid=9676] ppid=9674 vsize=1851760 CPUtime=4235.95 cores=0,2,4,6
/proc/9676/stat : 9676 (claspmt) R 9674 9676 7235 0 -1 4202496 445554 0 0 0 423327 268 0 0 25 0 4 0 516192689 1896202240 423445 33554432000 4194304 4964704 140734371623920 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9676/statm: 462940 423445 460 189 0 457289 0
[pid=9676/tid=9678] ppid=9674 vsize=1851760 CPUtime=1054.07 cores=0,2,4,6
/proc/9676/task/9678/stat : 9678 (claspmt) R 9674 9676 7235 0 -1 4202560 25484 0 0 0 105385 22 0 0 25 0 4 0 516192930 1896202240 423445 33554432000 4194304 4964704 140734371623920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9676/tid=9679] ppid=9674 vsize=1851760 CPUtime=1059.85 cores=0,2,4,6
/proc/9676/task/9679/stat : 9679 (claspmt) R 9674 9676 7235 0 -1 4202560 262450 0 0 0 105854 131 0 0 25 0 4 0 516192930 1896202240 423445 33554432000 4194304 4964704 140734371623920 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9676/tid=9680] ppid=9674 vsize=1851760 CPUtime=1059.79 cores=0,2,4,6
/proc/9676/task/9680/stat : 9680 (claspmt) R 9674 9676 7235 0 -1 4202560 89931 0 0 0 105891 88 0 0 25 0 4 0 516192930 1896202240 423445 33554432000 4194304 4964704 140734371623920 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4235.95
Current children cumulated vsize (KiB) 1851760

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

[startup+1075.1 s]
/proc/loadavg: 8.12 8.11 8.02 9/184 9721
/proc/meminfo: memFree=12264392/32951124 swapFree=67111528/67111528
[pid=9676] ppid=9674 vsize=1851760 CPUtime=4287.07 cores=0,2,4,6
/proc/9676/stat : 9676 (claspmt) R 9674 9676 7235 0 -1 4202496 446377 0 0 0 428438 269 0 0 25 0 4 0 516192689 1896202240 424268 33554432000 4194304 4964704 140734371623920 18446744073709551615 4669270 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9676/statm: 462940 424268 460 189 0 457289 0
[pid=9676/tid=9678] ppid=9674 vsize=1851760 CPUtime=1066.81 cores=0,2,4,6
/proc/9676/task/9678/stat : 9678 (claspmt) R 9674 9676 7235 0 -1 4202560 26120 0 0 0 106657 24 0 0 25 0 4 0 516192930 1896202240 424268 33554432000 4194304 4964704 140734371623920 18446744073709551615 4668907 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9676/tid=9679] ppid=9674 vsize=1851760 CPUtime=1072.65 cores=0,2,4,6
/proc/9676/task/9679/stat : 9679 (claspmt) R 9674 9676 7235 0 -1 4202560 262451 0 0 0 107134 131 0 0 25 0 4 0 516192930 1896202240 424268 33554432000 4194304 4964704 140734371623920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9676/tid=9680] ppid=9674 vsize=1851760 CPUtime=1072.6 cores=0,2,4,6
/proc/9676/task/9680/stat : 9680 (claspmt) R 9674 9676 7235 0 -1 4202560 90117 0 0 0 107171 89 0 0 25 0 4 0 516192930 1896202240 424268 33554432000 4194304 4964704 140734371623920 18446744073709551615 4670458 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4287.07
Current children cumulated vsize (KiB) 1851760

[startup+1087.91 s]
/proc/loadavg: 8.16 8.12 8.02 9/184 9721
/proc/meminfo: memFree=12241436/32951124 swapFree=67111528/67111528
[pid=9676] ppid=9674 vsize=1851760 CPUtime=4338.23 cores=0,2,4,6
/proc/9676/stat : 9676 (claspmt) R 9674 9676 7235 0 -1 4202496 448228 0 0 0 433551 272 0 0 25 0 4 0 516192689 1896202240 426119 33554432000 4194304 4964704 140734371623920 18446744073709551615 4668488 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9676/statm: 462940 426119 460 189 0 457289 0
[pid=9676/tid=9678] ppid=9674 vsize=1851760 CPUtime=1079.54 cores=0,2,4,6
/proc/9676/task/9678/stat : 9678 (claspmt) R 9674 9676 7235 0 -1 4202560 26800 0 0 0 107929 25 0 0 25 0 4 0 516192930 1896202240 426119 33554432000 4194304 4964704 140734371623920 18446744073709551615 4362240 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9676/tid=9679] ppid=9674 vsize=1851760 CPUtime=1085.45 cores=0,2,4,6
/proc/9676/task/9679/stat : 9679 (claspmt) R 9674 9676 7235 0 -1 4202560 262454 0 0 0 108414 131 0 0 25 0 4 0 516192930 1896202240 426119 33554432000 4194304 4964704 140734371623920 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9676/tid=9680] ppid=9674 vsize=1851760 CPUtime=1085.4 cores=0,2,4,6
/proc/9676/task/9680/stat : 9680 (claspmt) R 9674 9676 7235 0 -1 4202560 91285 0 0 0 108450 90 0 0 25 0 4 0 516192930 1896202240 426119 33554432000 4194304 4964704 140734371623920 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4338.23
Current children cumulated vsize (KiB) 1851760

[startup+1100.7 s]
/proc/loadavg: 8.14 8.11 8.02 9/184 9721
/proc/meminfo: memFree=12225924/32951124 swapFree=67111528/67111528
[pid=9676] ppid=9674 vsize=1851760 CPUtime=4389.33 cores=0,2,4,6
/proc/9676/stat : 9676 (claspmt) R 9674 9676 7235 0 -1 4202496 448445 0 0 0 438661 272 0 0 25 0 4 0 516192689 1896202240 426336 33554432000 4194304 4964704 140734371623920 18446744073709551615 4669270 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9676/statm: 462940 426336 460 189 0 457289 0
[pid=9676/tid=9678] ppid=9674 vsize=1851760 CPUtime=1092.27 cores=0,2,4,6
/proc/9676/task/9678/stat : 9678 (claspmt) R 9674 9676 7235 0 -1 4202560 26937 0 0 0 109202 25 0 0 25 0 4 0 516192930 1896202240 426336 33554432000 4194304 4964704 140734371623920 18446744073709551615 4669396 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9676/tid=9679] ppid=9674 vsize=1851760 CPUtime=1098.24 cores=0,2,4,6
/proc/9676/task/9679/stat : 9679 (claspmt) R 9674 9676 7235 0 -1 4202560 262457 0 0 0 109693 131 0 0 25 0 4 0 516192930 1896202240 426336 33554432000 4194304 4964704 140734371623920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9676/tid=9680] ppid=9674 vsize=1851760 CPUtime=1098.19 cores=0,2,4,6
/proc/9676/task/9680/stat : 9680 (claspmt) R 9674 9676 7235 0 -1 4202560 91320 0 0 0 109729 90 0 0 25 0 4 0 516192930 1896202240 426336 33554432000 4194304 4964704 140734371623920 18446744073709551615 4668931 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4389.33
Current children cumulated vsize (KiB) 1851760

[startup+1103.9 s]
/proc/loadavg: 8.13 8.11 8.02 9/184 9721
/proc/meminfo: memFree=12222452/32951124 swapFree=67111528/67111528
[pid=9676] ppid=9674 vsize=1851760 CPUtime=4402.12 cores=0,2,4,6
/proc/9676/stat : 9676 (claspmt) R 9674 9676 7235 0 -1 4202496 448570 0 0 0 439940 272 0 0 25 0 4 0 516192689 1896202240 426461 33554432000 4194304 4964704 140734371623920 18446744073709551615 4370224 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9676/statm: 462940 426461 460 189 0 457289 0
[pid=9676/tid=9678] ppid=9674 vsize=1851760 CPUtime=1095.45 cores=0,2,4,6
/proc/9676/task/9678/stat : 9678 (claspmt) R 9674 9676 7235 0 -1 4202560 26950 0 0 0 109520 25 0 0 25 0 4 0 516192930 1896202240 426461 33554432000 4194304 4964704 140734371623920 18446744073709551615 4670255 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9676/tid=9679] ppid=9674 vsize=1851760 CPUtime=1101.44 cores=0,2,4,6
/proc/9676/task/9679/stat : 9679 (claspmt) R 9674 9676 7235 0 -1 4202560 262457 0 0 0 110013 131 0 0 25 0 4 0 516192930 1896202240 426461 33554432000 4194304 4964704 140734371623920 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9676/tid=9680] ppid=9674 vsize=1851760 CPUtime=1101.39 cores=0,2,4,6
/proc/9676/task/9680/stat : 9680 (claspmt) R 9674 9676 7235 0 -1 4202560 91378 0 0 0 110049 90 0 0 25 0 4 0 516192930 1896202240 426461 33554432000 4194304 4964704 140734371623920 18446744073709551615 4321054 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4402.12
Current children cumulated vsize (KiB) 1851760

[startup+1107.1 s]
/proc/loadavg: 8.13 8.11 8.02 9/184 9722
/proc/meminfo: memFree=12219964/32951124 swapFree=67111528/67111528
[pid=9676] ppid=9674 vsize=1851760 CPUtime=4414.89 cores=0,2,4,6
/proc/9676/stat : 9676 (claspmt) R 9674 9676 7235 0 -1 4202496 448776 0 0 0 441217 272 0 0 25 0 4 0 516192689 1896202240 426667 33554432000 4194304 4964704 140734371623920 18446744073709551615 4670419 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9676/statm: 462940 426667 460 189 0 457289 0
[pid=9676/tid=9678] ppid=9674 vsize=1851760 CPUtime=1098.63 cores=0,2,4,6
/proc/9676/task/9678/stat : 9678 (claspmt) R 9674 9676 7235 0 -1 4202560 26950 0 0 0 109838 25 0 0 25 0 4 0 516192930 1896202240 426667 33554432000 4194304 4964704 140734371623920 18446744073709551615 4629965 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9676/tid=9679] ppid=9674 vsize=1851760 CPUtime=1104.64 cores=0,2,4,6
/proc/9676/task/9679/stat : 9679 (claspmt) R 9674 9676 7235 0 -1 4202560 262663 0 0 0 110333 131 0 0 25 0 4 0 516192930 1896202240 426667 33554432000 4194304 4964704 140734371623920 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9676/tid=9680] ppid=9674 vsize=1851760 CPUtime=1104.58 cores=0,2,4,6
/proc/9676/task/9680/stat : 9680 (claspmt) R 9674 9676 7235 0 -1 4202560 91378 0 0 0 110368 90 0 0 25 0 4 0 516192930 1896202240 426667 33554432000 4194304 4964704 140734371623920 18446744073709551615 4647742 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4414.89
Current children cumulated vsize (KiB) 1851760

[startup+1108.7 s]
/proc/loadavg: 8.12 8.11 8.02 6/182 9722
/proc/meminfo: memFree=12217872/32951124 swapFree=67111528/67111528
[pid=9676] ppid=9674 vsize=1851760 CPUtime=4420.59 cores=0,2,4,6
/proc/9676/stat : 9676 (claspmt) S 9674 9676 7235 0 -1 4202496 448778 0 0 0 441787 272 0 0 25 0 2 0 516192689 1896202240 426669 33554432000 4194304 4964704 140734371623920 18446744073709551615 244458747877 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9676/statm: 462940 426669 461 189 0 457289 0
[pid=9676/tid=9679] ppid=9674 vsize=1851760 CPUtime=1106.25 cores=0,2,4,6
/proc/9676/task/9679/stat : 9679 (claspmt) R 9674 9676 7235 0 -1 4202560 262664 0 0 0 110494 131 0 0 25 0 2 0 516192930 1896202240 426669 33554432000 4194304 4964704 140734371623920 18446744073709551615 4313807 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4420.59
Current children cumulated vsize (KiB) 1851760

[startup+1109.1 s]
/proc/loadavg: 8.12 8.11 8.02 6/182 9722
/proc/meminfo: memFree=12217872/32951124 swapFree=67111528/67111528
[pid=9676] ppid=9674 vsize=1851760 CPUtime=4420.99 cores=0,2,4,6
/proc/9676/stat : 9676 (claspmt) S 9674 9676 7235 0 -1 4202496 448778 0 0 0 441827 272 0 0 25 0 2 0 516192689 1896202240 426669 33554432000 4194304 4964704 140734371623920 18446744073709551615 244458747877 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9676/statm: 462940 426669 461 189 0 457289 0
[pid=9676/tid=9679] ppid=9674 vsize=1851760 CPUtime=1106.64 cores=0,2,4,6
/proc/9676/task/9679/stat : 9679 (claspmt) R 9674 9676 7235 0 -1 4202560 262664 0 0 0 110533 131 0 0 25 0 2 0 516192930 1896202240 426669 33554432000 4194304 4964704 140734371623920 18446744073709551615 4313845 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4420.99
Current children cumulated vsize (KiB) 1851760

[startup+1109.5 s]
/proc/loadavg: 8.12 8.11 8.02 6/182 9722
/proc/meminfo: memFree=12217872/32951124 swapFree=67111528/67111528
[pid=9676] ppid=9674 vsize=1819048 CPUtime=4421.39 cores=0,2,4,6
/proc/9676/stat : 9676 (claspmt) R 9674 9676 7235 0 -1 4202496 448787 0 0 0 441867 272 0 0 18 0 1 0 516192689 1862705152 418500 33554432000 4194304 4964704 140734371623920 18446744073709551615 244446600473 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/9676/statm: 454762 418500 470 189 0 449111 0
Current children cumulated CPU time (s) 4421.39
Current children cumulated vsize (KiB) 1819048

[startup+1109.6 s]
/proc/loadavg: 8.12 8.11 8.02 6/182 9722
/proc/meminfo: memFree=12217872/32951124 swapFree=67111528/67111528
[pid=9676] ppid=9674 vsize=1360296 CPUtime=4421.49 cores=0,2,4,6
/proc/9676/stat : 9676 (claspmt) R 9674 9676 7235 0 -1 4202496 448788 0 0 0 441875 274 0 0 18 0 1 0 516192689 1392943104 309482 33554432000 4194304 4964704 140734371623920 18446744073709551615 244446988423 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/9676/statm: 340074 309482 471 189 0 334423 0
Current children cumulated CPU time (s) 4421.49
Current children cumulated vsize (KiB) 1360296

Child status: 20
Real time (s): 1109.66
CPU time (s): 4421.56
CPU user time (s): 4418.75
CPU system time (s): 2.80557
CPU usage (%): 398.461
Max. virtual memory (cumulated for all children) (KiB): 1851760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4418.75
system time used= 2.80557
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 448789
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= 1686
involuntary context switches= 21531

runsolver used 1.80672 second user time and 4.24735 second system time

The end

Launcher Data 

Begin job on node105 at 2011-04-29 04:58:42
IDJOB=3299763
IDBENCH=71037
IDSOLVER=1683
FILE ID=node105/3299763-1304045921
RUNJOBID= node105-1304045896-9562
PBS_JOBID= 13170347
Free space on /tmp= 71888 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UTI-20-10p0.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-3299763-1304045921/watcher-3299763-1304045921 -o /tmp/evaluation-result-3299763-1304045921/solver-3299763-1304045921 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299763-1304045921.cnf

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

MD5SUM BENCH= 209f7789e3588d11f275f2003f2c6a67
RANDOM SEED=1733188459

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      15329508 kB
Buffers:       2300268 kB
Cached:       14454880 kB
SwapCached:          0 kB
Active:        9195580 kB
Inactive:      7855720 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15329508 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           54160 kB
Writeback:           0 kB
AnonPages:      295792 kB
Mapped:          15740 kB
Slab:           507896 kB
PageTables:       5252 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   450112 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= 71888 MiB
End job on node105 at 2011-04-29 05:17:12