Trace number 3321507

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 14256 2037.91

General information on the benchmark

NameCRAFTED/rbsat/crafted/unforced/
rbsat-v760c43649g2.cnf
MD5SUM791cdb75c1a209efd7f7547f06e0fed9
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4697.32
Satisfiable
(Un)Satisfiability was proved
Number of variables760
Number of clauses43649
Sum of the clauses size87978
Maximum clause length19
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 243609
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 540

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...357062/instance-3321507-1304357062.cnf
0.09/0.11	c Solving...
14255.99/2037.90	s UNSATISFIABLE
14255.99/2037.90	
14255.99/2037.90	c Models        : 0     
14255.99/2037.90	c Time          : 2037.849s (Solving: 2037.73s 1st Model: 0.00s Unsat: 2037.73s)
14255.99/2037.90	c CPU Time      : 14255.940s

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-3321507-1304357062/watcher-3321507-1304357062 -o /tmp/evaluation-result-3321507-1304357062/solver-3321507-1304357062 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3321507-1304357062.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.48 7.99 8.02 2/281 29442
/proc/meminfo: memFree=21408576/32951124 swapFree=66735616/67111528
[pid=29442] ppid=29440 vsize=22352 CPUtime=0 cores=0-7
/proc/29442/stat : 29442 (claspmt) R 29440 29442 27951 0 -1 4202496 974 0 0 0 0 0 0 0 23 0 1 0 625936713 22888448 808 33554432000 4194304 4964704 140737346818656 18446744073709551615 252457726661 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29442/statm: 5588 809 386 189 0 462 0

[startup+0.0265739 s]
/proc/loadavg: 7.48 7.99 8.02 2/281 29442
/proc/meminfo: memFree=21408576/32951124 swapFree=66735616/67111528
[pid=29442] ppid=29440 vsize=24056 CPUtime=0.02 cores=0-7
/proc/29442/stat : 29442 (claspmt) R 29440 29442 27951 0 -1 4202496 1439 0 0 0 2 0 0 0 23 0 1 0 625936713 24633344 1185 33554432000 4194304 4964704 140737346818656 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29442/statm: 6014 1185 399 189 0 888 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 24056

[startup+0.100545 s]
/proc/loadavg: 7.48 7.99 8.02 2/281 29442
/proc/meminfo: memFree=21408576/32951124 swapFree=66735616/67111528
[pid=29442] ppid=29440 vsize=24452 CPUtime=0.09 cores=0-7
/proc/29442/stat : 29442 (claspmt) R 29440 29442 27951 0 -1 4202496 1548 0 0 0 9 0 0 0 23 0 1 0 625936713 25038848 1294 33554432000 4194304 4964704 140737346818656 18446744073709551615 4600366 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29442/statm: 6113 1294 400 189 0 987 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24452

[startup+0.300477 s]
/proc/loadavg: 7.48 7.99 8.02 2/281 29442
/proc/meminfo: memFree=21408576/32951124 swapFree=66735616/67111528
[pid=29442] ppid=29440 vsize=254776 CPUtime=1.21 cores=0-7
/proc/29442/stat : 29442 (claspmt) R 29440 29442 27951 0 -1 4202496 4114 0 0 0 120 1 0 0 18 0 8 0 625936713 260890624 3757 33554432000 4194304 4964704 140737346818656 18446744073709551615 4653264 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/29442/statm: 63694 3757 464 189 0 58043 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 254776

[startup+0.700404 s]
/proc/loadavg: 7.48 7.99 8.02 2/281 29442
/proc/meminfo: memFree=21408576/32951124 swapFree=66735616/67111528
[pid=29442] ppid=29440 vsize=323184 CPUtime=4 cores=0-7
/proc/29442/stat : 29442 (claspmt) R 29440 29442 27951 0 -1 4202496 7025 0 0 0 397 3 0 0 18 0 8 0 625936713 330940416 6668 33554432000 4194304 4964704 140737346818656 18446744073709551615 4653184 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/29442/statm: 80796 6668 464 189 0 75145 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 323184

[startup+1.50126 s]
/proc/loadavg: 7.48 7.99 8.02 10/289 29450
/proc/meminfo: memFree=21379868/32951124 swapFree=66735616/67111528
[pid=29442] ppid=29440 vsize=323620 CPUtime=9.59 cores=0-7
/proc/29442/stat : 29442 (claspmt) R 29440 29442 27951 0 -1 4202496 8701 0 0 0 955 4 0 0 19 0 8 0 625936713 331386880 8344 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670184 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/29442/statm: 80905 8344 464 189 0 75254 0
[pid=29442/tid=29444] ppid=29440 vsize=323620 CPUtime=1.33 cores=0-7
/proc/29442/task/29444/stat : 29444 (claspmt) R 29440 29442 27951 0 -1 4202560 821 0 0 0 133 0 0 0 19 0 8 0 625936725 331386880 8344 33554432000 4194304 4964704 140737346818656 18446744073709551615 4627652 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29442/tid=29445] ppid=29440 vsize=323620 CPUtime=0.12 cores=0-7
/proc/29442/task/29445/stat : 29445 (claspmt) R 29440 29442 27951 0 -1 4202560 40 0 0 0 12 0 0 0 24 0 8 0 625936725 331386880 8344 33554432000 4194304 4964704 140737346818656 18446744073709551615 4668953 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29442/tid=29446] ppid=29440 vsize=323620 CPUtime=1.22 cores=0-7
/proc/29442/task/29446/stat : 29446 (claspmt) R 29440 29442 27951 0 -1 4202560 927 0 0 0 122 0 0 0 19 0 8 0 625936725 331386880 8344 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670286 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29442/tid=29447] ppid=29440 vsize=323620 CPUtime=1.34 cores=0-7
/proc/29442/task/29447/stat : 29447 (claspmt) R 29440 29442 27951 0 -1 4202560 994 0 0 0 134 0 0 0 19 0 8 0 625936725 331386880 8345 33554432000 4194304 4964704 140737346818656 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29442/tid=29448] ppid=29440 vsize=323620 CPUtime=1.37 cores=0-7
/proc/29442/task/29448/stat : 29448 (claspmt) R 29440 29442 27951 0 -1 4202560 301 0 0 0 137 0 0 0 19 0 8 0 625936725 331386880 8345 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670215 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29442/tid=29449] ppid=29440 vsize=323620 CPUtime=1.34 cores=0-7
/proc/29442/task/29449/stat : 29449 (claspmt) R 29440 29442 27951 0 -1 4202560 1274 0 0 0 134 0 0 0 19 0 8 0 625936725 331386880 8345 33554432000 4194304 4964704 140737346818656 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29442/tid=29450] ppid=29440 vsize=323620 CPUtime=1.34 cores=0-7
/proc/29442/task/29450/stat : 29450 (claspmt) R 29440 29442 27951 0 -1 4202560 1859 0 0 0 134 0 0 0 19 0 8 0 625936725 331386880 8345 33554432000 4194304 4964704 140737346818656 18446744073709551615 252457727009 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.59
Current children cumulated vsize (KiB) 323620

[startup+3.10096 s]
/proc/loadavg: 7.60 8.01 8.03 10/289 29450
/proc/meminfo: memFree=21371932/32951124 swapFree=66735616/67111528
[pid=29442] ppid=29440 vsize=325192 CPUtime=20.77 cores=0-7
/proc/29442/stat : 29442 (claspmt) R 29440 29442 27951 0 -1 4202496 11168 0 0 0 2072 5 0 0 21 0 8 0 625936713 332996608 10811 33554432000 4194304 4964704 140737346818656 18446744073709551615 4654435 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/29442/statm: 81298 10811 466 189 0 75647 0
[pid=29442/tid=29444] ppid=29440 vsize=325192 CPUtime=2.92 cores=0-7
/proc/29442/task/29444/stat : 29444 (claspmt) R 29440 29442 27951 0 -1 4202560 1108 0 0 0 292 0 0 0 22 0 8 0 625936725 332996608 10811 33554432000 4194304 4964704 140737346818656 18446744073709551615 4627536 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29442/tid=29445] ppid=29440 vsize=325192 CPUtime=1.54 cores=0-7
/proc/29442/task/29445/stat : 29445 (claspmt) R 29440 29442 27951 0 -1 4202560 510 0 0 0 154 0 0 0 25 0 8 0 625936725 332996608 10811 33554432000 4194304 4964704 140737346818656 18446744073709551615 4627401 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29442/tid=29446] ppid=29440 vsize=325192 CPUtime=2.41 cores=0-7
/proc/29442/task/29446/stat : 29446 (claspmt) R 29440 29442 27951 0 -1 4202560 1146 0 0 0 241 0 0 0 21 0 8 0 625936725 332996608 10811 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670260 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29442/tid=29447] ppid=29440 vsize=325192 CPUtime=2.94 cores=0-7
/proc/29442/task/29447/stat : 29447 (claspmt) R 29440 29442 27951 0 -1 4202560 1314 0 0 0 294 0 0 0 22 0 8 0 625936725 332996608 10811 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670215 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29442/tid=29448] ppid=29440 vsize=325192 CPUtime=2.97 cores=0-7
/proc/29442/task/29448/stat : 29448 (claspmt) R 29440 29442 27951 0 -1 4202560 589 0 0 0 297 0 0 0 24 0 8 0 625936725 332996608 10811 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670260 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29442/tid=29449] ppid=29440 vsize=325192 CPUtime=2.19 cores=0-7
/proc/29442/task/29449/stat : 29449 (claspmt) R 29440 29442 27951 0 -1 4202560 1550 0 0 0 219 0 0 0 19 0 8 0 625936725 332996608 10811 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29442/tid=29450] ppid=29440 vsize=325192 CPUtime=2.93 cores=0-7
/proc/29442/task/29450/stat : 29450 (claspmt) R 29440 29442 27951 0 -1 4202560 2347 0 0 0 293 0 0 0 24 0 8 0 625936725 332996608 10811 33554432000 4194304 4964704 140737346818656 18446744073709551615 4668953 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 20.77
Current children cumulated vsize (KiB) 325192

[startup+6.30036 s]
/proc/loadavg: 7.60 8.01 8.03 10/289 29450
/proc/meminfo: memFree=21358540/32951124 swapFree=66735616/67111528
[pid=29442] ppid=29440 vsize=328860 CPUtime=43.14 cores=0-7
/proc/29442/stat : 29442 (claspmt) R 29440 29442 27951 0 -1 4202496 14566 0 0 0 4308 6 0 0 25 0 8 0 625936713 336752640 14209 33554432000 4194304 4964704 140737346818656 18446744073709551615 4627281 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/29442/statm: 82215 14209 466 189 0 76564 0
[pid=29442/tid=29444] ppid=29440 vsize=328860 CPUtime=6.09 cores=0-7
/proc/29442/task/29444/stat : 29444 (claspmt) R 29440 29442 27951 0 -1 4202560 1445 0 0 0 609 0 0 0 25 0 8 0 625936725 336752640 14209 33554432000 4194304 4964704 140737346818656 18446744073709551615 4658656 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29442/tid=29445] ppid=29440 vsize=328860 CPUtime=4.73 cores=0-7
/proc/29442/task/29445/stat : 29445 (claspmt) R 29440 29442 27951 0 -1 4202560 1105 0 0 0 473 0 0 0 25 0 8 0 625936725 336752640 14209 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670301 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29442/tid=29446] ppid=29440 vsize=328860 CPUtime=3.87 cores=0-7
/proc/29442/task/29446/stat : 29446 (claspmt) R 29440 29442 27951 0 -1 4202560 1353 0 0 0 387 0 0 0 24 0 8 0 625936725 336752640 14209 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670184 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29442/tid=29447] ppid=29440 vsize=328860 CPUtime=6.14 cores=0-7
/proc/29442/task/29447/stat : 29447 (claspmt) R 29440 29442 27951 0 -1 4202560 1761 0 0 0 614 0 0 0 25 0 8 0 625936725 336752640 14209 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29442/tid=29448] ppid=29440 vsize=328860 CPUtime=5.49 cores=0-7
/proc/29442/task/29448/stat : 29448 (claspmt) R 29440 29442 27951 0 -1 4202560 856 0 0 0 549 0 0 0 25 0 8 0 625936725 336752640 14209 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29442/tid=29449] ppid=29440 vsize=328860 CPUtime=4.8 cores=0-7
/proc/29442/task/29449/stat : 29449 (claspmt) R 29440 29442 27951 0 -1 4202560 1860 0 0 0 480 0 0 0 25 0 8 0 625936725 336752640 14209 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29442/tid=29450] ppid=29440 vsize=328860 CPUtime=6.14 cores=0-7
/proc/29442/task/29450/stat : 29450 (claspmt) R 29440 29442 27951 0 -1 4202560 3195 0 0 0 613 1 0 0 25 0 8 0 625936725 336752640 14209 33554432000 4194304 4964704 140737346818656 18446744073709551615 4668918 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 43.14
Current children cumulated vsize (KiB) 328860

[startup+12.7012 s]
/proc/loadavg: 7.82 8.04 8.04 10/289 29450
/proc/meminfo: memFree=21324240/32951124 swapFree=66735616/67111528
[pid=29442] ppid=29440 vsize=462488 CPUtime=87.78 cores=0-7
/proc/29442/stat : 29442 (claspmt) R 29440 29442 27951 0 -1 4202496 22861 0 0 0 8767 11 0 0 25 0 8 0 625936713 473587712 22504 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670291 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/29442/statm: 115622 22504 466 189 0 109971 0
[pid=29442/tid=29444] ppid=29440 vsize=462488 CPUtime=10.82 cores=0-7
/proc/29442/task/29444/stat : 29444 (claspmt) R 29440 29442 27951 0 -1 4202560 2405 0 0 0 1081 1 0 0 21 0 8 0 625936725 473587712 22504 33554432000 4194304 4964704 140737346818656 18446744073709551615 4632289 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29442/tid=29445] ppid=29440 vsize=462488 CPUtime=11.12 cores=0-7
/proc/29442/task/29445/stat : 29445 (claspmt) R 29440 29442 27951 0 -1 4202560 2254 0 0 0 1112 0 0 0 25 0 8 0 625936725 473587712 22504 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29442/tid=29446] ppid=29440 vsize=462488 CPUtime=10.18 cores=0-7
/proc/29442/task/29446/stat : 29446 (claspmt) R 29440 29442 27951 0 -1 4202560 2216 0 0 0 1017 1 0 0 25 0 8 0 625936725 473587712 22504 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29442/tid=29447] ppid=29440 vsize=462488 CPUtime=11.27 cores=0-7
/proc/29442/task/29447/stat : 29447 (claspmt) R 29440 29442 27951 0 -1 4202560 2502 0 0 0 1126 1 0 0 20 0 8 0 625936725 473587712 22504 33554432000 4194304 4964704 140737346818656 18446744073709551615 4321146 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29442/tid=29448] ppid=29440 vsize=462488 CPUtime=8.52 cores=0-7
/proc/29442/task/29448/stat : 29448 (claspmt) R 29440 29442 27951 0 -1 4202560 1200 0 0 0 852 0 0 0 25 0 8 0 625936725 473587712 22504 33554432000 4194304 4964704 140737346818656 18446744073709551615 252458170862 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29442/tid=29449] ppid=29440 vsize=462488 CPUtime=11.19 cores=0-7
/proc/29442/task/29449/stat : 29449 (claspmt) R 29440 29442 27951 0 -1 4202560 2624 0 0 0 1118 1 0 0 25 0 8 0 625936725 473587712 22504 33554432000 4194304 4964704 140737346818656 18446744073709551615 4653104 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29442/tid=29450] ppid=29440 vsize=462488 CPUtime=12.42 cores=0-7
/proc/29442/task/29450/stat : 29450 (claspmt) R 29440 29442 27951 0 -1 4202560 5621 0 0 0 1240 2 0 0 18 0 8 0 625936725 473587712 22504 33554432000 4194304 4964704 140737346818656 18446744073709551615 4660043 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 87.78
Current children cumulated vsize (KiB) 462488

[startup+25.5008 s]
/proc/loadavg: 8.08 8.09 8.05 10/289 29451
/proc/meminfo: memFree=21293200/32951124 swapFree=66735616/67111528
[pid=29442] ppid=29440 vsize=465324 CPUtime=178.19 cores=0-7
/proc/29442/stat : 29442 (claspmt) R 29440 29442 27951 0 -1 4202496 30005 0 0 0 17804 15 0 0 25 0 8 0 625936713 476491776 29648 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670184 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/29442/statm: 116331 29648 466 189 0 110680 0
[pid=29442/tid=29444] ppid=29440 vsize=465324 CPUtime=17.51 cores=0-7
/proc/29442/task/29444/stat : 29444 (claspmt) R 29440 29442 27951 0 -1 4202560 2918 0 0 0 1750 1 0 0 25 0 8 0 625936725 476491776 29648 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29442/tid=29445] ppid=29440 vsize=465324 CPUtime=20.55 cores=0-7
/proc/29442/task/29445/stat : 29445 (claspmt) R 29440 29442 27951 0 -1 4202560 2865 0 0 0 2055 0 0 0 18 0 8 0 625936725 476491776 29648 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29442/tid=29446] ppid=29440 vsize=465324 CPUtime=22.97 cores=0-7
/proc/29442/task/29446/stat : 29446 (claspmt) R 29440 29442 27951 0 -1 4202560 3263 0 0 0 2295 2 0 0 25 0 8 0 625936725 476491776 29648 33554432000 4194304 4964704 140737346818656 18446744073709551615 4320961 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29442/tid=29447] ppid=29440 vsize=465324 CPUtime=24.01 cores=0-7
/proc/29442/task/29447/stat : 29447 (claspmt) R 29440 29442 27951 0 -1 4202560 3166 0 0 0 2399 2 0 0 25 0 8 0 625936725 476491776 29648 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670252 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29442/tid=29448] ppid=29440 vsize=465324 CPUtime=20.31 cores=0-7
/proc/29442/task/29448/stat : 29448 (claspmt) R 29440 29442 27951 0 -1 4202560 1767 0 0 0 2031 0 0 0 25 0 8 0 625936725 476491776 29648 33554432000 4194304 4964704 140737346818656 18446744073709551615 4658598 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29442/tid=29449] ppid=29440 vsize=465324 CPUtime=23.09 cores=0-7
/proc/29442/task/29449/stat : 29449 (claspmt) R 29440 29442 27951 0 -1 4202560 3154 0 0 0 2308 1 0 0 25 0 8 0 625936725 476491776 29648 33554432000 4194304 4964704 140737346818656 18446744073709551615 4660077 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29442/tid=29450] ppid=29440 vsize=465324 CPUtime=24.68 cores=0-7
/proc/29442/task/29450/stat : 29450 (claspmt) R 29440 29442 27951 0 -1 4202560 8103 0 0 0 2465 3 0 0 25 0 8 0 625936725 476491776 29648 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670277 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 178.19
Current children cumulated vsize (KiB) 465324

[startup+51.101 s]
/proc/loadavg: 8.39 8.16 8.08 10/289 29451
/proc/meminfo: memFree=21259176/32951124 swapFree=66735616/67111528
[pid=29442] ppid=29440 vsize=472908 CPUtime=357.14 cores=0-7
/proc/29442/stat : 29442 (claspmt) R 29440 29442 27951 0 -1 4202496 38348 0 0 0 35694 20 0 0 25 0 8 0 625936713 484257792 37803 33554432000 4194304 4964704 140737346818656 18446744073709551615 4660075 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/29442/statm: 118227 37803 466 189 0 112576 0
[pid=29442/tid=29444] ppid=29440 vsize=472908 CPUtime=31.31 cores=0-7
/proc/29442/task/29444/stat : 29444 (claspmt) R 29440 29442 27951 0 -1 4202560 3648 0 0 0 3130 1 0 0 25 0 8 0 625936725 484257792 37803 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29442/tid=29445] ppid=29440 vsize=472908 CPUtime=46.15 cores=0-7
/proc/29442/task/29445/stat : 29445 (claspmt) R 29440 29442 27951 0 -1 4202560 4356 0 0 0 4614 1 0 0 25 0 8 0 625936725 484257792 37803 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29442/tid=29446] ppid=29440 vsize=472908 CPUtime=47.74 cores=0-7
/proc/29442/task/29446/stat : 29446 (claspmt) R 29440 29442 27951 0 -1 4202560 4409 0 0 0 4772 2 0 0 25 0 8 0 625936725 484257792 37803 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29442/tid=29447] ppid=29440 vsize=472908 CPUtime=45.71 cores=0-7
/proc/29442/task/29447/stat : 29447 (claspmt) R 29440 29442 27951 0 -1 4202560 3553 0 0 0 4569 2 0 0 25 0 8 0 625936725 484257792 37803 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670288 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29442/tid=29448] ppid=29440 vsize=472908 CPUtime=42.78 cores=0-7
/proc/29442/task/29448/stat : 29448 (claspmt) R 29440 29442 27951 0 -1 4202560 2293 0 0 0 4277 1 0 0 25 0 8 0 625936725 484257792 37803 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670255 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29442/tid=29449] ppid=29440 vsize=472908 CPUtime=48.65 cores=0-7
/proc/29442/task/29449/stat : 29449 (claspmt) R 29440 29442 27951 0 -1 4202560 3863 0 0 0 4863 2 0 0 25 0 8 0 625936725 484257792 37803 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29442/tid=29450] ppid=29440 vsize=472908 CPUtime=46.75 cores=0-7
/proc/29442/task/29450/stat : 29450 (claspmt) R 29440 29442 27951 0 -1 4202560 11043 0 0 0 4670 5 0 0 25 0 8 0 625936725 484257792 37803 33554432000 4194304 4964704 140737346818656 18446744073709551615 4325338 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 357.14

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

/proc/loadavg: 9.08 9.07 8.92 10/289 29505
/proc/meminfo: memFree=20863048/32951124 swapFree=66735616/67111528
[pid=29442] ppid=29440 vsize=917900 CPUtime=13728 cores=0-7
/proc/29442/stat : 29442 (claspmt) R 29440 29442 27951 0 -1 4202496 132565 0 0 0 1372659 139 0 0 25 0 8 0 625936713 939929600 128190 33554432000 4194304 4964704 140737346818656 18446744073709551615 4342157 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/29442/statm: 229475 128190 466 189 0 223824 0
[pid=29442/tid=29444] ppid=29440 vsize=917900 CPUtime=1546.25 cores=0-7
/proc/29442/task/29444/stat : 29444 (claspmt) R 29440 29442 27951 0 -1 4202560 14335 0 0 0 154616 9 0 0 25 0 8 0 625936725 939929600 128190 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29442/tid=29445] ppid=29440 vsize=917900 CPUtime=1815.64 cores=0-7
/proc/29442/task/29445/stat : 29445 (claspmt) R 29440 29442 27951 0 -1 4202560 17352 0 0 0 181554 10 0 0 25 0 8 0 625936725 939929600 128190 33554432000 4194304 4964704 140737346818656 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29442/tid=29446] ppid=29440 vsize=917900 CPUtime=1621.74 cores=0-7
/proc/29442/task/29446/stat : 29446 (claspmt) R 29440 29442 27951 0 -1 4202560 14088 0 0 0 162158 16 0 0 25 0 8 0 625936725 939929600 128190 33554432000 4194304 4964704 140737346818656 18446744073709551615 4669357 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29442/tid=29447] ppid=29440 vsize=917900 CPUtime=1698.31 cores=0-7
/proc/29442/task/29447/stat : 29447 (claspmt) R 29440 29442 27951 0 -1 4202560 7593 0 0 0 169823 8 0 0 25 0 8 0 625936725 939929600 128190 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670416 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29442/tid=29448] ppid=29440 vsize=917900 CPUtime=1756.86 cores=0-7
/proc/29442/task/29448/stat : 29448 (claspmt) R 29440 29442 27951 0 -1 4202560 8930 0 0 0 175673 13 0 0 25 0 8 0 625936725 939929600 128190 33554432000 4194304 4964704 140737346818656 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29442/tid=29449] ppid=29440 vsize=917900 CPUtime=1701.79 cores=0-7
/proc/29442/task/29449/stat : 29449 (claspmt) R 29440 29442 27951 0 -1 4202560 9037 0 0 0 170169 10 0 0 25 0 8 0 625936725 939929600 128190 33554432000 4194304 4964704 140737346818656 18446744073709551615 4333128 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29442/tid=29450] ppid=29440 vsize=917900 CPUtime=1812.52 cores=0-7
/proc/29442/task/29450/stat : 29450 (claspmt) R 29440 29442 27951 0 -1 4202560 47017 0 0 0 181199 53 0 0 25 0 8 0 625936725 939929600 128190 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 13728
Current children cumulated vsize (KiB) 917900

[startup+2022.3 s]
/proc/loadavg: 9.03 9.06 8.92 10/289 29507
/proc/meminfo: memFree=20862896/32951124 swapFree=66735616/67111528
[pid=29442] ppid=29440 vsize=917900 CPUtime=14147.4 cores=0-7
/proc/29442/stat : 29442 (claspmt) R 29440 29442 27951 0 -1 4202496 132672 0 0 0 1414598 139 0 0 25 0 8 0 625936713 939929600 128297 33554432000 4194304 4964704 140737346818656 18446744073709551615 4627252 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/29442/statm: 229475 128297 466 189 0 223824 0
[pid=29442/tid=29444] ppid=29440 vsize=917900 CPUtime=1606.24 cores=0-7
/proc/29442/task/29444/stat : 29444 (claspmt) R 29440 29442 27951 0 -1 4202560 14392 0 0 0 160615 9 0 0 25 0 8 0 625936725 939929600 128297 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29442/tid=29445] ppid=29440 vsize=917900 CPUtime=1861.06 cores=0-7
/proc/29442/task/29445/stat : 29445 (claspmt) R 29440 29442 27951 0 -1 4202560 17352 0 0 0 186096 10 0 0 25 0 8 0 625936725 939929600 128297 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29442/tid=29446] ppid=29440 vsize=917900 CPUtime=1681.73 cores=0-7
/proc/29442/task/29446/stat : 29446 (claspmt) R 29440 29442 27951 0 -1 4202560 14088 0 0 0 168157 16 0 0 25 0 8 0 625936725 939929600 128297 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29442/tid=29447] ppid=29440 vsize=917900 CPUtime=1736.53 cores=0-7
/proc/29442/task/29447/stat : 29447 (claspmt) R 29440 29442 27951 0 -1 4202560 7593 0 0 0 173645 8 0 0 25 0 8 0 625936725 939929600 128297 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670454 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29442/tid=29448] ppid=29440 vsize=917900 CPUtime=1816.85 cores=0-7
/proc/29442/task/29448/stat : 29448 (claspmt) R 29440 29442 27951 0 -1 4202560 8932 0 0 0 181672 13 0 0 25 0 8 0 625936725 939929600 128297 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29442/tid=29449] ppid=29440 vsize=917900 CPUtime=1761.78 cores=0-7
/proc/29442/task/29449/stat : 29449 (claspmt) R 29440 29442 27951 0 -1 4202560 9043 0 0 0 176168 10 0 0 25 0 8 0 625936725 939929600 128297 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670419 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29442/tid=29450] ppid=29440 vsize=917900 CPUtime=1872.5 cores=0-7
/proc/29442/task/29450/stat : 29450 (claspmt) R 29440 29442 27951 0 -1 4202560 47048 0 0 0 187197 53 0 0 25 0 8 0 625936725 939929600 128297 33554432000 4194304 4964704 140737346818656 18446744073709551615 4669432 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 14147.4
Current children cumulated vsize (KiB) 917900

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

[startup+2028.7 s]
/proc/loadavg: 9.03 9.06 8.92 10/289 29507
/proc/meminfo: memFree=20862768/32951124 swapFree=66735616/67111528
[pid=29442] ppid=29440 vsize=917900 CPUtime=14192.1 cores=0-7
/proc/29442/stat : 29442 (claspmt) R 29440 29442 27951 0 -1 4202496 132674 0 0 0 1419072 139 0 0 25 0 8 0 625936713 939929600 128299 33554432000 4194304 4964704 140737346818656 18446744073709551615 4362184 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/29442/statm: 229475 128299 466 189 0 223824 0
[pid=29442/tid=29444] ppid=29440 vsize=917900 CPUtime=1612.64 cores=0-7
/proc/29442/task/29444/stat : 29444 (claspmt) R 29440 29442 27951 0 -1 4202560 14392 0 0 0 161255 9 0 0 25 0 8 0 625936725 939929600 128299 33554432000 4194304 4964704 140737346818656 18446744073709551615 4333204 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29442/tid=29445] ppid=29440 vsize=917900 CPUtime=1867.4 cores=0-7
/proc/29442/task/29445/stat : 29445 (claspmt) R 29440 29442 27951 0 -1 4202560 17352 0 0 0 186730 10 0 0 25 0 8 0 625936725 939929600 128299 33554432000 4194304 4964704 140737346818656 18446744073709551615 4321023 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29442/tid=29446] ppid=29440 vsize=917900 CPUtime=1688.13 cores=0-7
/proc/29442/task/29446/stat : 29446 (claspmt) R 29440 29442 27951 0 -1 4202560 14088 0 0 0 168797 16 0 0 25 0 8 0 625936725 939929600 128299 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670269 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29442/tid=29447] ppid=29440 vsize=917900 CPUtime=1739.83 cores=0-7
/proc/29442/task/29447/stat : 29447 (claspmt) R 29440 29442 27951 0 -1 4202560 7593 0 0 0 173975 8 0 0 25 0 8 0 625936725 939929600 128299 33554432000 4194304 4964704 140737346818656 18446744073709551615 4627309 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29442/tid=29448] ppid=29440 vsize=917900 CPUtime=1823.25 cores=0-7
/proc/29442/task/29448/stat : 29448 (claspmt) R 29440 29442 27951 0 -1 4202560 8932 0 0 0 182312 13 0 0 25 0 8 0 625936725 939929600 128299 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29442/tid=29449] ppid=29440 vsize=917900 CPUtime=1768.18 cores=0-7
/proc/29442/task/29449/stat : 29449 (claspmt) R 29440 29442 27951 0 -1 4202560 9043 0 0 0 176808 10 0 0 25 0 8 0 625936725 939929600 128299 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29442/tid=29450] ppid=29440 vsize=917900 CPUtime=1878.9 cores=0-7
/proc/29442/task/29450/stat : 29450 (claspmt) R 29440 29442 27951 0 -1 4202560 47050 0 0 0 187837 53 0 0 25 0 8 0 625936725 939929600 128299 33554432000 4194304 4964704 140737346818656 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 14192.1
Current children cumulated vsize (KiB) 917900

[startup+2031.9 s]
/proc/loadavg: 9.02 9.05 8.92 10/289 29507
/proc/meminfo: memFree=20862644/32951124 swapFree=66735616/67111528
[pid=29442] ppid=29440 vsize=917900 CPUtime=14214.5 cores=0-7
/proc/29442/stat : 29442 (claspmt) R 29440 29442 27951 0 -1 4202496 132677 0 0 0 1421309 139 0 0 25 0 8 0 625936713 939929600 128302 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670266 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/29442/statm: 229475 128302 466 189 0 223824 0
[pid=29442/tid=29444] ppid=29440 vsize=917900 CPUtime=1615.84 cores=0-7
/proc/29442/task/29444/stat : 29444 (claspmt) R 29440 29442 27951 0 -1 4202560 14393 0 0 0 161575 9 0 0 25 0 8 0 625936725 939929600 128302 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670458 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29442/tid=29445] ppid=29440 vsize=917900 CPUtime=1870.17 cores=0-7
/proc/29442/task/29445/stat : 29445 (claspmt) R 29440 29442 27951 0 -1 4202560 17352 0 0 0 187007 10 0 0 25 0 8 0 625936725 939929600 128302 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29442/tid=29446] ppid=29440 vsize=917900 CPUtime=1691.33 cores=0-7
/proc/29442/task/29446/stat : 29446 (claspmt) R 29440 29442 27951 0 -1 4202560 14088 0 0 0 169117 16 0 0 25 0 8 0 625936725 939929600 128302 33554432000 4194304 4964704 140737346818656 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29442/tid=29447] ppid=29440 vsize=917900 CPUtime=1741.8 cores=0-7
/proc/29442/task/29447/stat : 29447 (claspmt) R 29440 29442 27951 0 -1 4202560 7593 0 0 0 174172 8 0 0 25 0 8 0 625936725 939929600 128302 33554432000 4194304 4964704 140737346818656 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29442/tid=29448] ppid=29440 vsize=917900 CPUtime=1826.45 cores=0-7
/proc/29442/task/29448/stat : 29448 (claspmt) R 29440 29442 27951 0 -1 4202560 8932 0 0 0 182632 13 0 0 25 0 8 0 625936725 939929600 128302 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29442/tid=29449] ppid=29440 vsize=917900 CPUtime=1771.38 cores=0-7
/proc/29442/task/29449/stat : 29449 (claspmt) R 29440 29442 27951 0 -1 4202560 9043 0 0 0 177128 10 0 0 25 0 8 0 625936725 939929600 128302 33554432000 4194304 4964704 140737346818656 18446744073709551615 4627347 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29442/tid=29450] ppid=29440 vsize=917900 CPUtime=1882.1 cores=0-7
/proc/29442/task/29450/stat : 29450 (claspmt) R 29440 29442 27951 0 -1 4202560 47052 0 0 0 188157 53 0 0 25 0 8 0 625936725 939929600 128302 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 14214.5
Current children cumulated vsize (KiB) 917900

[startup+2035.1 s]
/proc/loadavg: 9.02 9.05 8.92 10/289 29507
/proc/meminfo: memFree=20862644/32951124 swapFree=66735616/67111528
[pid=29442] ppid=29440 vsize=917900 CPUtime=14236.8 cores=0-7
/proc/29442/stat : 29442 (claspmt) R 29440 29442 27951 0 -1 4202496 132678 0 0 0 1423546 139 0 0 25 0 8 0 625936713 939929600 128257 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/29442/statm: 229475 128257 466 189 0 223824 0
[pid=29442/tid=29444] ppid=29440 vsize=917900 CPUtime=1619.04 cores=0-7
/proc/29442/task/29444/stat : 29444 (claspmt) R 29440 29442 27951 0 -1 4202560 14393 0 0 0 161895 9 0 0 25 0 8 0 625936725 939929600 128257 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29442/tid=29445] ppid=29440 vsize=917900 CPUtime=1871.63 cores=0-7
/proc/29442/task/29445/stat : 29445 (claspmt) R 29440 29442 27951 0 -1 4202560 17352 0 0 0 187153 10 0 0 25 0 8 0 625936725 939929600 128257 33554432000 4194304 4964704 140737346818656 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29442/tid=29446] ppid=29440 vsize=917900 CPUtime=1694.53 cores=0-7
/proc/29442/task/29446/stat : 29446 (claspmt) R 29440 29442 27951 0 -1 4202560 14089 0 0 0 169437 16 0 0 25 0 8 0 625936725 939929600 128257 33554432000 4194304 4964704 140737346818656 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29442/tid=29447] ppid=29440 vsize=917900 CPUtime=1745 cores=0-7
/proc/29442/task/29447/stat : 29447 (claspmt) R 29440 29442 27951 0 -1 4202560 7593 0 0 0 174492 8 0 0 25 0 8 0 625936725 939929600 128257 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29442/tid=29448] ppid=29440 vsize=917900 CPUtime=1829.65 cores=0-7
/proc/29442/task/29448/stat : 29448 (claspmt) R 29440 29442 27951 0 -1 4202560 8932 0 0 0 182952 13 0 0 25 0 8 0 625936725 939929600 128257 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29442/tid=29449] ppid=29440 vsize=917900 CPUtime=1774.58 cores=0-7
/proc/29442/task/29449/stat : 29449 (claspmt) R 29440 29442 27951 0 -1 4202560 9043 0 0 0 177448 10 0 0 25 0 8 0 625936725 939929600 128257 33554432000 4194304 4964704 140737346818656 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29442/tid=29450] ppid=29440 vsize=917900 CPUtime=1885.3 cores=0-7
/proc/29442/task/29450/stat : 29450 (claspmt) R 29440 29442 27951 0 -1 4202560 47052 0 0 0 188477 53 0 0 25 0 8 0 625936725 939929600 128257 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 14236.8
Current children cumulated vsize (KiB) 917900

[startup+2036.7 s]
/proc/loadavg: 9.02 9.05 8.92 10/289 29507
/proc/meminfo: memFree=20862644/32951124 swapFree=66735616/67111528
[pid=29442] ppid=29440 vsize=917900 CPUtime=14248 cores=0-7
/proc/29442/stat : 29442 (claspmt) R 29440 29442 27951 0 -1 4202496 132678 0 0 0 1424665 139 0 0 25 0 8 0 625936713 939929600 128257 33554432000 4194304 4964704 140737346818656 18446744073709551615 4669270 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/29442/statm: 229475 128257 466 189 0 223824 0
[pid=29442/tid=29444] ppid=29440 vsize=917900 CPUtime=1620.64 cores=0-7
/proc/29442/task/29444/stat : 29444 (claspmt) R 29440 29442 27951 0 -1 4202560 14393 0 0 0 162055 9 0 0 25 0 8 0 625936725 939929600 128257 33554432000 4194304 4964704 140737346818656 18446744073709551615 4690926 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29442/tid=29445] ppid=29440 vsize=917900 CPUtime=1872.43 cores=0-7
/proc/29442/task/29445/stat : 29445 (claspmt) R 29440 29442 27951 0 -1 4202560 17352 0 0 0 187233 10 0 0 25 0 8 0 625936725 939929600 128257 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29442/tid=29446] ppid=29440 vsize=917900 CPUtime=1696.13 cores=0-7
/proc/29442/task/29446/stat : 29446 (claspmt) R 29440 29442 27951 0 -1 4202560 14089 0 0 0 169597 16 0 0 25 0 8 0 625936725 939929600 128257 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29442/tid=29447] ppid=29440 vsize=917900 CPUtime=1746.6 cores=0-7
/proc/29442/task/29447/stat : 29447 (claspmt) R 29440 29442 27951 0 -1 4202560 7593 0 0 0 174652 8 0 0 25 0 8 0 625936725 939929600 128257 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29442/tid=29448] ppid=29440 vsize=917900 CPUtime=1831.25 cores=0-7
/proc/29442/task/29448/stat : 29448 (claspmt) R 29440 29442 27951 0 -1 4202560 8932 0 0 0 183112 13 0 0 25 0 8 0 625936725 939929600 128257 33554432000 4194304 4964704 140737346818656 18446744073709551615 4669337 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29442/tid=29449] ppid=29440 vsize=917900 CPUtime=1776.18 cores=0-7
/proc/29442/task/29449/stat : 29449 (claspmt) R 29440 29442 27951 0 -1 4202560 9043 0 0 0 177608 10 0 0 25 0 8 0 625936725 939929600 128257 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29442/tid=29450] ppid=29440 vsize=917900 CPUtime=1886.9 cores=0-7
/proc/29442/task/29450/stat : 29450 (claspmt) R 29440 29442 27951 0 -1 4202560 47052 0 0 0 188637 53 0 0 25 0 8 0 625936725 939929600 128257 33554432000 4194304 4964704 140737346818656 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 14248
Current children cumulated vsize (KiB) 917900

[startup+2037.5 s]
/proc/loadavg: 9.02 9.05 8.92 10/289 29507
/proc/meminfo: memFree=20862644/32951124 swapFree=66735616/67111528
[pid=29442] ppid=29440 vsize=917900 CPUtime=14253.6 cores=0-7
/proc/29442/stat : 29442 (claspmt) R 29440 29442 27951 0 -1 4202496 132678 0 0 0 1425224 139 0 0 25 0 8 0 625936713 939929600 128257 33554432000 4194304 4964704 140737346818656 18446744073709551615 4320909 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/29442/statm: 229475 128257 466 189 0 223824 0
[pid=29442/tid=29444] ppid=29440 vsize=917900 CPUtime=1621.44 cores=0-7
/proc/29442/task/29444/stat : 29444 (claspmt) R 29440 29442 27951 0 -1 4202560 14393 0 0 0 162135 9 0 0 25 0 8 0 625936725 939929600 128257 33554432000 4194304 4964704 140737346818656 18446744073709551615 4321020 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29442/tid=29445] ppid=29440 vsize=917900 CPUtime=1872.92 cores=0-7
/proc/29442/task/29445/stat : 29445 (claspmt) R 29440 29442 27951 0 -1 4202560 17352 0 0 0 187282 10 0 0 25 0 8 0 625936725 939929600 128257 33554432000 4194304 4964704 140737346818656 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29442/tid=29446] ppid=29440 vsize=917900 CPUtime=1696.93 cores=0-7
/proc/29442/task/29446/stat : 29446 (claspmt) R 29440 29442 27951 0 -1 4202560 14089 0 0 0 169677 16 0 0 25 0 8 0 625936725 939929600 128257 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29442/tid=29447] ppid=29440 vsize=917900 CPUtime=1747.4 cores=0-7
/proc/29442/task/29447/stat : 29447 (claspmt) R 29440 29442 27951 0 -1 4202560 7593 0 0 0 174732 8 0 0 25 0 8 0 625936725 939929600 128257 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670045 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29442/tid=29448] ppid=29440 vsize=917900 CPUtime=1832.05 cores=0-7
/proc/29442/task/29448/stat : 29448 (claspmt) R 29440 29442 27951 0 -1 4202560 8932 0 0 0 183192 13 0 0 25 0 8 0 625936725 939929600 128257 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29442/tid=29449] ppid=29440 vsize=917900 CPUtime=1776.98 cores=0-7
/proc/29442/task/29449/stat : 29449 (claspmt) R 29440 29442 27951 0 -1 4202560 9043 0 0 0 177688 10 0 0 25 0 8 0 625936725 939929600 128257 33554432000 4194304 4964704 140737346818656 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29442/tid=29450] ppid=29440 vsize=917900 CPUtime=1887.7 cores=0-7
/proc/29442/task/29450/stat : 29450 (claspmt) R 29440 29442 27951 0 -1 4202560 47052 0 0 0 188717 53 0 0 25 0 8 0 625936725 939929600 128257 33554432000 4194304 4964704 140737346818656 18446744073709551615 4627254 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 14253.6
Current children cumulated vsize (KiB) 917900

[startup+2037.9 s]
/proc/loadavg: 9.02 9.05 8.92 10/289 29507
/proc/meminfo: memFree=20862644/32951124 swapFree=66735616/67111528
[pid=29442] ppid=29440 vsize=514932 CPUtime=14256 cores=0-7
/proc/29442/stat : 29442 (claspmt) R 29440 29442 27951 0 -1 4202496 132688 0 0 0 1425453 146 0 0 17 0 1 0 625936713 527290368 51032 33554432000 4194304 4964704 140737346818656 18446744073709551615 252458109287 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29442/statm: 128733 50996 476 189 0 123082 0
Current children cumulated CPU time (s) 14256
Current children cumulated vsize (KiB) 514932

Child status: 20
Real time (s): 2037.91
CPU time (s): 14256
CPU user time (s): 14254.5
CPU system time (s): 1.47478
CPU usage (%): 699.54
Max. virtual memory (cumulated for all children) (KiB): 917900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14254.5
system time used= 1.47477
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132689
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= 43818
involuntary context switches= 99768

runsolver used 5.18221 second user time and 13.346 second system time

The end

Launcher Data 

Begin job on node111 at 2011-05-02 19:24:22
IDJOB=3321507
IDBENCH=71514
IDSOLVER=1711
FILE ID=node111/3321507-1304357062
RUNJOBID= node111-1304335887-27965
PBS_JOBID= 13178022
Free space on /tmp= 73000 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v760c43649g2.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-3321507-1304357062/watcher-3321507-1304357062 -o /tmp/evaluation-result-3321507-1304357062/solver-3321507-1304357062 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3321507-1304357062.cnf

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

MD5SUM BENCH= 791cdb75c1a209efd7f7547f06e0fed9
RANDOM SEED=1641063023

node111.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.849
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.69
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.849
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	: 5428.12
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.849
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.75
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.849
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.86
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.849
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.75
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.849
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.83
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.849
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.67
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.849
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21408732 kB
Buffers:        292728 kB
Cached:        1578572 kB
SwapCached:      22532 kB
Active:        6396524 kB
Inactive:      4756932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21408732 kB
SwapTotal:    67111528 kB
SwapFree:     66735616 kB
Dirty:            1256 kB
Writeback:           0 kB
AnonPages:     9263876 kB
Mapped:          24232 kB
Slab:           288204 kB
PageTables:      31760 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 41645388 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= 72996 MiB
End job on node111 at 2011-05-02 19:58:20