Trace number 3299526

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 2494.78 624.608

General information on the benchmark

NameSAT05/crafted/sorge05/QG7a/
gensys-ukn004.shuffled-as.sat05-3844.cnf
MD5SUM7d96ba103689bec761c9e7df7b158323
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3199.02
Satisfiable
(Un)Satisfiability was proved
Number of variables2731
Number of clauses17983
Sum of the clauses size126997
Maximum clause length13
Minimum clause length1
Number of clauses of size 142
Number of clauses of size 2442
Number of clauses of size 32370
Number of clauses of size 4477
Number of clauses of size 5642
Number of clauses of size over 514010

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...106082/instance-3299526-1304106082.cnf
0.00/0.06	c Solving...
2494.77/624.60	s UNSATISFIABLE
2494.77/624.60	
2494.77/624.60	c Models        : 0     
2494.77/624.60	c Time          : 624.594s (Solving: 624.53s 1st Model: 0.00s Unsat: 624.53s)
2494.77/624.60	c CPU Time      : 2494.760s

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-3299526-1304106082/watcher-3299526-1304106082 -o /tmp/evaluation-result-3299526-1304106082/solver-3299526-1304106082 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299526-1304106082.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.74 8.00 7.84 5/180 31725
/proc/meminfo: memFree=29930352/32951124 swapFree=67111364/67111528
[pid=31725] ppid=31723 vsize=21616 CPUtime=0 cores=1,3,5,7
/proc/31725/stat : 31725 (claspmt) R 31723 31725 31273 0 -1 4202496 725 0 0 0 0 0 0 0 25 0 1 0 522206192 22134784 633 33554432000 4194304 4964704 140737064051920 18446744073709551615 228244348672 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/31725/statm: 5404 633 388 189 0 278 0

[startup+0.0973651 s]
/proc/loadavg: 7.74 8.00 7.84 5/180 31725
/proc/meminfo: memFree=29930352/32951124 swapFree=67111364/67111528
[pid=31725] ppid=31723 vsize=173348 CPUtime=0.32 cores=1,3,5,7
/proc/31725/stat : 31725 (claspmt) R 31723 31725 31273 0 -1 4202496 2808 0 0 0 32 0 0 0 25 0 4 0 522206192 177508352 2599 33554432000 4194304 4964704 140737064051920 18446744073709551615 228244453919 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/31725/statm: 43522 3164 458 189 0 37871 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 173348

[startup+0.980841 s]
/proc/loadavg: 7.74 8.00 7.84 5/180 31725
/proc/meminfo: memFree=29930352/32951124 swapFree=67111364/67111528
[pid=31725] ppid=31723 vsize=240152 CPUtime=3.7 cores=1,3,5,7
/proc/31725/stat : 31725 (claspmt) R 31723 31725 31273 0 -1 4202496 4254 0 0 0 369 1 0 0 25 0 4 0 522206192 245915648 4045 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670248 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/31725/statm: 60038 4045 458 189 0 54387 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 240152

[startup+1.08082 s]
/proc/loadavg: 7.74 8.00 7.84 5/180 31725
/proc/meminfo: memFree=29930352/32951124 swapFree=67111364/67111528
[pid=31725] ppid=31723 vsize=240152 CPUtime=4.1 cores=1,3,5,7
/proc/31725/stat : 31725 (claspmt) R 31723 31725 31273 0 -1 4202496 4268 0 0 0 409 1 0 0 25 0 4 0 522206192 245915648 4059 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670454 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/31725/statm: 60038 4059 458 189 0 54387 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 240152

[startup+1.18081 s]
/proc/loadavg: 7.74 8.00 7.84 5/180 31725
/proc/meminfo: memFree=29930352/32951124 swapFree=67111364/67111528
[pid=31725] ppid=31723 vsize=240152 CPUtime=4.5 cores=1,3,5,7
/proc/31725/stat : 31725 (claspmt) R 31723 31725 31273 0 -1 4202496 4274 0 0 0 449 1 0 0 25 0 4 0 522206192 245915648 4065 33554432000 4194304 4964704 140737064051920 18446744073709551615 4627338 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/31725/statm: 60038 4065 458 189 0 54387 0
Current children cumulated CPU time (s) 4.5
Current children cumulated vsize (KiB) 240152

[startup+1.58074 s]
/proc/loadavg: 7.74 8.00 7.84 5/180 31725
/proc/meminfo: memFree=29930352/32951124 swapFree=67111364/67111528
[pid=31725] ppid=31723 vsize=240948 CPUtime=6.1 cores=1,3,5,7
/proc/31725/stat : 31725 (claspmt) R 31723 31725 31273 0 -1 4202496 4817 0 0 0 609 1 0 0 25 0 4 0 522206192 246730752 4608 33554432000 4194304 4964704 140737064051920 18446744073709551615 4668820 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/31725/statm: 60237 4608 458 189 0 54586 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 240948

[startup+3.10047 s]
/proc/loadavg: 7.74 8.00 7.84 9/184 31729
/proc/meminfo: memFree=29909640/32951124 swapFree=67111364/67111528
[pid=31725] ppid=31723 vsize=242228 CPUtime=12.16 cores=1,3,5,7
/proc/31725/stat : 31725 (claspmt) R 31723 31725 31273 0 -1 4202496 5811 0 0 0 1215 1 0 0 25 0 4 0 522206192 248041472 5602 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670357 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/31725/statm: 60557 5602 460 189 0 54906 0
[pid=31725/tid=31727] ppid=31723 vsize=242228 CPUtime=3.02 cores=1,3,5,7
/proc/31725/task/31727/stat : 31727 (claspmt) R 31723 31725 31273 0 -1 4202560 1271 0 0 0 302 0 0 0 25 0 4 0 522206198 248041472 5603 33554432000 4194304 4964704 140737064051920 18446744073709551615 4364761 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31725/tid=31728] ppid=31723 vsize=242228 CPUtime=3.02 cores=1,3,5,7
/proc/31725/task/31728/stat : 31728 (claspmt) R 31723 31725 31273 0 -1 4202560 1791 0 0 0 302 0 0 0 25 0 4 0 522206198 248041472 5603 33554432000 4194304 4964704 140737064051920 18446744073709551615 228244010017 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31725/tid=31729] ppid=31723 vsize=242228 CPUtime=3.01 cores=1,3,5,7
/proc/31725/task/31729/stat : 31729 (claspmt) R 31723 31725 31273 0 -1 4202560 829 0 0 0 301 0 0 0 25 0 4 0 522206198 248041472 5603 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.16
Current children cumulated vsize (KiB) 242228

[startup+6.30691 s]
/proc/loadavg: 7.76 8.00 7.84 9/184 31729
/proc/meminfo: memFree=29903924/32951124 swapFree=67111364/67111528
[pid=31725] ppid=31723 vsize=243752 CPUtime=24.96 cores=1,3,5,7
/proc/31725/stat : 31725 (claspmt) R 31723 31725 31273 0 -1 4202496 7338 0 0 0 2494 2 0 0 25 0 4 0 522206192 249602048 7075 33554432000 4194304 4964704 140737064051920 18446744073709551615 4660112 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/31725/statm: 60938 7075 460 189 0 55287 0
[pid=31725/tid=31727] ppid=31723 vsize=243752 CPUtime=6.23 cores=1,3,5,7
/proc/31725/task/31727/stat : 31727 (claspmt) R 31723 31725 31273 0 -1 4202560 1688 0 0 0 622 1 0 0 25 0 4 0 522206198 249602048 7075 33554432000 4194304 4964704 140737064051920 18446744073709551615 4364544 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31725/tid=31728] ppid=31723 vsize=243752 CPUtime=6.23 cores=1,3,5,7
/proc/31725/task/31728/stat : 31728 (claspmt) R 31723 31725 31273 0 -1 4202560 2580 0 0 0 622 1 0 0 25 0 4 0 522206198 249602048 7075 33554432000 4194304 4964704 140737064051920 18446744073709551615 4321020 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31725/tid=31729] ppid=31723 vsize=243752 CPUtime=6.2 cores=1,3,5,7
/proc/31725/task/31729/stat : 31729 (claspmt) R 31723 31725 31273 0 -1 4202560 1037 0 0 0 620 0 0 0 25 0 4 0 522206198 249602048 7075 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670230 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.96
Current children cumulated vsize (KiB) 243752

[startup+12.7008 s]
/proc/loadavg: 7.78 8.00 7.84 9/184 31729
/proc/meminfo: memFree=29896980/32951124 swapFree=67111364/67111528
[pid=31725] ppid=31723 vsize=245328 CPUtime=50.51 cores=1,3,5,7
/proc/31725/stat : 31725 (claspmt) R 31723 31725 31273 0 -1 4202496 9033 0 0 0 5048 3 0 0 25 0 4 0 522206192 251215872 8716 33554432000 4194304 4964704 140737064051920 18446744073709551615 4627170 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/31725/statm: 61332 8716 460 189 0 55681 0
[pid=31725/tid=31727] ppid=31723 vsize=245328 CPUtime=12.62 cores=1,3,5,7
/proc/31725/task/31727/stat : 31727 (claspmt) R 31723 31725 31273 0 -1 4202560 2118 0 0 0 1261 1 0 0 25 0 4 0 522206198 251215872 8716 33554432000 4194304 4964704 140737064051920 18446744073709551615 4660024 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31725/tid=31728] ppid=31723 vsize=245328 CPUtime=12.62 cores=1,3,5,7
/proc/31725/task/31728/stat : 31728 (claspmt) R 31723 31725 31273 0 -1 4202560 3138 0 0 0 1261 1 0 0 25 0 4 0 522206198 251215872 8716 33554432000 4194304 4964704 140737064051920 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31725/tid=31729] ppid=31723 vsize=245328 CPUtime=12.56 cores=1,3,5,7
/proc/31725/task/31729/stat : 31729 (claspmt) R 31723 31725 31273 0 -1 4202560 1161 0 0 0 1256 0 0 0 25 0 4 0 522206198 251215872 8716 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.51
Current children cumulated vsize (KiB) 245328

[startup+25.5006 s]
/proc/loadavg: 7.83 8.00 7.84 9/184 31760
/proc/meminfo: memFree=30881260/32951124 swapFree=67111364/67111528
[pid=31725] ppid=31723 vsize=245624 CPUtime=101.64 cores=1,3,5,7
/proc/31725/stat : 31725 (claspmt) R 31723 31725 31273 0 -1 4202496 10553 0 0 0 10159 5 0 0 25 0 4 0 522206192 251518976 10236 33554432000 4194304 4964704 140737064051920 18446744073709551615 4320909 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/31725/statm: 61406 10236 460 189 0 55755 0
[pid=31725/tid=31727] ppid=31723 vsize=245624 CPUtime=25.41 cores=1,3,5,7
/proc/31725/task/31727/stat : 31727 (claspmt) R 31723 31725 31273 0 -1 4202560 2430 0 0 0 2540 1 0 0 25 0 4 0 522206198 251518976 10236 33554432000 4194304 4964704 140737064051920 18446744073709551615 4320942 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31725/tid=31728] ppid=31723 vsize=245624 CPUtime=25.42 cores=1,3,5,7
/proc/31725/task/31728/stat : 31728 (claspmt) R 31723 31725 31273 0 -1 4202560 4076 0 0 0 2540 2 0 0 25 0 4 0 522206198 251518976 10236 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670184 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31725/tid=31729] ppid=31723 vsize=245624 CPUtime=25.31 cores=1,3,5,7
/proc/31725/task/31729/stat : 31729 (claspmt) R 31723 31725 31273 0 -1 4202560 1244 0 0 0 2531 0 0 0 25 0 4 0 522206198 251518976 10236 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 245624

[startup+51.1011 s]
/proc/loadavg: 7.95 8.02 7.85 9/184 31761
/proc/meminfo: memFree=30849436/32951124 swapFree=67111364/67111528
[pid=31725] ppid=31723 vsize=251416 CPUtime=203.9 cores=1,3,5,7
/proc/31725/stat : 31725 (claspmt) R 31723 31725 31273 0 -1 4202496 13614 0 0 0 20384 6 0 0 25 0 4 0 522206192 257449984 13294 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670288 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/31725/statm: 62854 13294 460 189 0 57203 0
[pid=31725/tid=31727] ppid=31723 vsize=251416 CPUtime=51.02 cores=1,3,5,7
/proc/31725/task/31727/stat : 31727 (claspmt) R 31723 31725 31273 0 -1 4202560 3281 0 0 0 5100 2 0 0 25 0 4 0 522206198 257449984 13294 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31725/tid=31728] ppid=31723 vsize=251416 CPUtime=51.02 cores=1,3,5,7
/proc/31725/task/31728/stat : 31728 (claspmt) R 31723 31725 31273 0 -1 4202560 5409 0 0 0 5100 2 0 0 25 0 4 0 522206198 257449984 13294 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31725/tid=31729] ppid=31723 vsize=251416 CPUtime=50.91 cores=1,3,5,7
/proc/31725/task/31729/stat : 31729 (claspmt) R 31723 31725 31273 0 -1 4202560 1669 0 0 0 5090 1 0 0 25 0 4 0 522206198 257449984 13294 33554432000 4194304 4964704 140737064051920 18446744073709551615 4644840 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 251416

[startup+102.301 s]
/proc/loadavg: 8.05 8.03 7.86 9/184 31762
/proc/meminfo: memFree=30832164/32951124 swapFree=67111364/67111528
[pid=31725] ppid=31723 vsize=251944 CPUtime=408.42 cores=1,3,5,7
/proc/31725/stat : 31725 (claspmt) R 31723 31725 31273 0 -1 4202496 15355 0 0 0 40834 8 0 0 25 0 4 0 522206192 257990656 15035 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670301 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/31725/statm: 62986 15035 460 189 0 57335 0
[pid=31725/tid=31727] ppid=31723 vsize=251944 CPUtime=102.21 cores=1,3,5,7
/proc/31725/task/31727/stat : 31727 (claspmt) R 31723 31725 31273 0 -1 4202560 3996 0 0 0 10219 2 0 0 25 0 4 0 522206198 257990656 15035 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31725/tid=31728] ppid=31723 vsize=251944 CPUtime=102.22 cores=1,3,5,7
/proc/31725/task/31728/stat : 31728 (claspmt) R 31723 31725 31273 0 -1 4202560 6032 0 0 0 10219 3 0 0 25 0 4 0 522206198 257990656 15035 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31725/tid=31729] ppid=31723 vsize=251944 CPUtime=102.11 cores=1,3,5,7
/proc/31725/task/31729/stat : 31729 (claspmt) R 31723 31725 31273 0 -1 4202560 1922 0 0 0 10210 1 0 0 25 0 4 0 522206198 257990656 15035 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.42
Current children cumulated vsize (KiB) 251944

[startup+162.301 s]
/proc/loadavg: 8.08 8.04 7.87 9/184 31764
/proc/meminfo: memFree=30815280/32951124 swapFree=67111364/67111528
[pid=31725] ppid=31723 vsize=253872 CPUtime=648.09 cores=1,3,5,7
/proc/31725/stat : 31725 (claspmt) R 31723 31725 31273 0 -1 4202496 17515 0 0 0 64799 10 0 0 25 0 4 0 522206192 259964928 17195 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/31725/statm: 63468 17195 460 189 0 57817 0
[pid=31725/tid=31727] ppid=31723 vsize=253872 CPUtime=162.03 cores=1,3,5,7
/proc/31725/task/31727/stat : 31727 (claspmt) R 31723 31725 31273 0 -1 4202560 4571 0 0 0 16200 3 0 0 25 0 4 0 522206198 259964928 17195 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31725/tid=31728] ppid=31723 vsize=253872 CPUtime=162.22 cores=1,3,5,7
/proc/31725/task/31728/stat : 31728 (claspmt) R 31723 31725 31273 0 -1 4202560 7148 0 0 0 16218 4 0 0 25 0 4 0 522206198 259964928 17195 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670202 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31725/tid=31729] ppid=31723 vsize=253872 CPUtime=162.1 cores=1,3,5,7
/proc/31725/task/31729/stat : 31729 (claspmt) R 31723 31725 31273 0 -1 4202560 2302 0 0 0 16209 1 0 0 25 0 4 0 522206198 259964928 17195 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 648.09
Current children cumulated vsize (KiB) 253872

[startup+222.301 s]
/proc/loadavg: 8.11 8.04 7.88 9/184 31765
/proc/meminfo: memFree=30802724/32951124 swapFree=67111364/67111528
[pid=31725] ppid=31723 vsize=254968 CPUtime=887.77 cores=1,3,5,7
/proc/31725/stat : 31725 (claspmt) R 31723 31725 31273 0 -1 4202496 19155 0 0 0 88764 13 0 0 25 0 4 0 522206192 261087232 18815 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670266 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/31725/statm: 63742 18815 460 189 0 58091 0
[pid=31725/tid=31727] ppid=31723 vsize=254968 CPUtime=221.7 cores=1,3,5,7
/proc/31725/task/31727/stat : 31727 (claspmt) R 31723 31725 31273 0 -1 4202560 4771 0 0 0 22167 3 0 0 25 0 4 0 522206198 261087232 18815 33554432000 4194304 4964704 140737064051920 18446744073709551615 4669429 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31725/tid=31728] ppid=31723 vsize=254968 CPUtime=222.22 cores=1,3,5,7
/proc/31725/task/31728/stat : 31728 (claspmt) R 31723 31725 31273 0 -1 4202560 8173 0 0 0 22217 5 0 0 25 0 4 0 522206198 261087232 18815 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31725/tid=31729] ppid=31723 vsize=254968 CPUtime=222.11 cores=1,3,5,7
/proc/31725/task/31729/stat : 31729 (claspmt) R 31723 31725 31273 0 -1 4202560 2346 0 0 0 22210 1 0 0 25 0 4 0 522206198 261087232 18815 33554432000 4194304 4964704 140737064051920 18446744073709551615 4669296 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 887.77
Current children cumulated vsize (KiB) 254968

[startup+282.301 s]
/proc/loadavg: 8.11 8.05 7.89 9/184 31767
/proc/meminfo: memFree=30796248/32951124 swapFree=67111364/67111528
[pid=31725] ppid=31723 vsize=255632 CPUtime=1127.45 cores=1,3,5,7
/proc/31725/stat : 31725 (claspmt) R 31723 31725 31273 0 -1 4202496 20015 0 0 0 112731 14 0 0 25 0 4 0 522206192 261767168 19645 33554432000 4194304 4964704 140737064051920 18446744073709551615 4320928 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/31725/statm: 63908 19645 460 189 0 58257 0
[pid=31725/tid=31727] ppid=31723 vsize=255632 CPUtime=281.38 cores=1,3,5,7

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

/proc/31725/statm: 64616 23105 460 189 0 58965 0
[pid=31725/tid=31727] ppid=31723 vsize=258464 CPUtime=460.39 cores=1,3,5,7
/proc/31725/task/31727/stat : 31727 (claspmt) R 31723 31725 31273 0 -1 4202560 6076 0 0 0 46034 5 0 0 25 0 4 0 522206198 264667136 23105 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31725/tid=31728] ppid=31723 vsize=258464 CPUtime=462.22 cores=1,3,5,7
/proc/31725/task/31728/stat : 31728 (claspmt) R 31723 31725 31273 0 -1 4202560 10541 0 0 0 46214 8 0 0 25 0 4 0 522206198 264667136 23105 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670419 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31725/tid=31729] ppid=31723 vsize=258464 CPUtime=462.11 cores=1,3,5,7
/proc/31725/task/31729/stat : 31729 (claspmt) R 31723 31725 31273 0 -1 4202560 2688 0 0 0 46209 2 0 0 25 0 4 0 522206198 264667136 23105 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1846.46
Current children cumulated vsize (KiB) 258464

[startup+522.301 s]
/proc/loadavg: 8.05 8.05 7.92 9/184 31773
/proc/meminfo: memFree=30770840/32951124 swapFree=67111364/67111528
[pid=31725] ppid=31723 vsize=258840 CPUtime=2086.13 cores=1,3,5,7
/proc/31725/stat : 31725 (claspmt) R 31723 31725 31273 0 -1 4202496 23950 0 0 0 208594 19 0 0 25 0 4 0 522206192 265052160 23522 33554432000 4194304 4964704 140737064051920 18446744073709551615 4320928 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/31725/statm: 64710 23522 460 189 0 59059 0
[pid=31725/tid=31727] ppid=31723 vsize=258840 CPUtime=520.06 cores=1,3,5,7
/proc/31725/task/31727/stat : 31727 (claspmt) R 31723 31725 31273 0 -1 4202560 6222 0 0 0 52001 5 0 0 25 0 4 0 522206198 265052160 23522 33554432000 4194304 4964704 140737064051920 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31725/tid=31728] ppid=31723 vsize=258840 CPUtime=522.22 cores=1,3,5,7
/proc/31725/task/31728/stat : 31728 (claspmt) R 31723 31725 31273 0 -1 4202560 10660 0 0 0 52214 8 0 0 25 0 4 0 522206198 265052160 23522 33554432000 4194304 4964704 140737064051920 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31725/tid=31729] ppid=31723 vsize=258840 CPUtime=522.11 cores=1,3,5,7
/proc/31725/task/31729/stat : 31729 (claspmt) R 31723 31725 31273 0 -1 4202560 2693 0 0 0 52209 2 0 0 25 0 4 0 522206198 265052160 23522 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670075 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2086.13
Current children cumulated vsize (KiB) 258840

[startup+582.301 s]
/proc/loadavg: 8.02 8.04 7.92 6/181 31802
/proc/meminfo: memFree=30833812/32951124 swapFree=67111364/67111528
[pid=31725] ppid=31723 vsize=258840 CPUtime=2325.82 cores=1,3,5,7
/proc/31725/stat : 31725 (claspmt) R 31723 31725 31273 0 -1 4202496 24120 0 0 0 232562 20 0 0 25 0 4 0 522206192 265052160 23692 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670184 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/31725/statm: 64710 23692 460 189 0 59059 0
[pid=31725/tid=31727] ppid=31723 vsize=258840 CPUtime=579.74 cores=1,3,5,7
/proc/31725/task/31727/stat : 31727 (claspmt) R 31723 31725 31273 0 -1 4202560 6301 0 0 0 57969 5 0 0 25 0 4 0 522206198 265052160 23692 33554432000 4194304 4964704 140737064051920 18446744073709551615 4320939 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31725/tid=31728] ppid=31723 vsize=258840 CPUtime=582.22 cores=1,3,5,7
/proc/31725/task/31728/stat : 31728 (claspmt) R 31723 31725 31273 0 -1 4202560 10749 0 0 0 58214 8 0 0 25 0 4 0 522206198 265052160 23692 33554432000 4194304 4964704 140737064051920 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31725/tid=31729] ppid=31723 vsize=258840 CPUtime=582.11 cores=1,3,5,7
/proc/31725/task/31729/stat : 31729 (claspmt) R 31723 31725 31273 0 -1 4202560 2695 0 0 0 58209 2 0 0 25 0 4 0 522206198 265052160 23692 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670419 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2325.82
Current children cumulated vsize (KiB) 258840

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

[startup+589.501 s]
/proc/loadavg: 8.09 8.05 7.92 9/184 31805
/proc/meminfo: memFree=30814004/32951124 swapFree=67111364/67111528
[pid=31725] ppid=31723 vsize=258840 CPUtime=2354.57 cores=1,3,5,7
/proc/31725/stat : 31725 (claspmt) R 31723 31725 31273 0 -1 4202496 24126 0 0 0 235437 20 0 0 25 0 4 0 522206192 265052160 23698 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/31725/statm: 64710 23698 460 189 0 59059 0
[pid=31725/tid=31727] ppid=31723 vsize=258840 CPUtime=586.89 cores=1,3,5,7
/proc/31725/task/31727/stat : 31727 (claspmt) R 31723 31725 31273 0 -1 4202560 6301 0 0 0 58684 5 0 0 25 0 4 0 522206198 265052160 23698 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31725/tid=31728] ppid=31723 vsize=258840 CPUtime=589.42 cores=1,3,5,7
/proc/31725/task/31728/stat : 31728 (claspmt) R 31723 31725 31273 0 -1 4202560 10755 0 0 0 58934 8 0 0 25 0 4 0 522206198 265052160 23698 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31725/tid=31729] ppid=31723 vsize=258840 CPUtime=589.31 cores=1,3,5,7
/proc/31725/task/31729/stat : 31729 (claspmt) R 31723 31725 31273 0 -1 4202560 2695 0 0 0 58929 2 0 0 25 0 4 0 522206198 265052160 23698 33554432000 4194304 4964704 140737064051920 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2354.57
Current children cumulated vsize (KiB) 258840

[startup+602.301 s]
/proc/loadavg: 8.15 8.07 7.93 9/184 31806
/proc/meminfo: memFree=30782776/32951124 swapFree=67111364/67111528
[pid=31725] ppid=31723 vsize=258840 CPUtime=2405.7 cores=1,3,5,7
/proc/31725/stat : 31725 (claspmt) R 31723 31725 31273 0 -1 4202496 24202 0 0 0 240550 20 0 0 25 0 4 0 522206192 265052160 23774 33554432000 4194304 4964704 140737064051920 18446744073709551615 4362240 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/31725/statm: 64710 23774 460 189 0 59059 0
[pid=31725/tid=31727] ppid=31723 vsize=258840 CPUtime=599.63 cores=1,3,5,7
/proc/31725/task/31727/stat : 31727 (claspmt) R 31723 31725 31273 0 -1 4202560 6329 0 0 0 59958 5 0 0 25 0 4 0 522206198 265052160 23774 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31725/tid=31728] ppid=31723 vsize=258840 CPUtime=602.22 cores=1,3,5,7
/proc/31725/task/31728/stat : 31728 (claspmt) R 31723 31725 31273 0 -1 4202560 10803 0 0 0 60214 8 0 0 25 0 4 0 522206198 265052160 23774 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31725/tid=31729] ppid=31723 vsize=258840 CPUtime=602.11 cores=1,3,5,7
/proc/31725/task/31729/stat : 31729 (claspmt) R 31723 31725 31273 0 -1 4202560 2695 0 0 0 60209 2 0 0 25 0 4 0 522206198 265052160 23774 33554432000 4194304 4964704 140737064051920 18446744073709551615 4669333 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2405.7
Current children cumulated vsize (KiB) 258840

[startup+615.1 s]
/proc/loadavg: 8.12 8.06 7.93 9/184 31806
/proc/meminfo: memFree=30757712/32951124 swapFree=67111364/67111528
[pid=31725] ppid=31723 vsize=258840 CPUtime=2456.83 cores=1,3,5,7
/proc/31725/stat : 31725 (claspmt) R 31723 31725 31273 0 -1 4202496 24270 0 0 0 245663 20 0 0 25 0 4 0 522206192 265052160 23842 33554432000 4194304 4964704 140737064051920 18446744073709551615 4321102 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/31725/statm: 64710 23842 460 189 0 59059 0
[pid=31725/tid=31727] ppid=31723 vsize=258840 CPUtime=612.35 cores=1,3,5,7
/proc/31725/task/31727/stat : 31727 (claspmt) R 31723 31725 31273 0 -1 4202560 6358 0 0 0 61230 5 0 0 25 0 4 0 522206198 265052160 23842 33554432000 4194304 4964704 140737064051920 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31725/tid=31728] ppid=31723 vsize=258840 CPUtime=615.02 cores=1,3,5,7
/proc/31725/task/31728/stat : 31728 (claspmt) R 31723 31725 31273 0 -1 4202560 10826 0 0 0 61494 8 0 0 25 0 4 0 522206198 265052160 23842 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670255 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31725/tid=31729] ppid=31723 vsize=258840 CPUtime=614.91 cores=1,3,5,7
/proc/31725/task/31729/stat : 31729 (claspmt) R 31723 31725 31273 0 -1 4202560 2695 0 0 0 61489 2 0 0 25 0 4 0 522206198 265052160 23842 33554432000 4194304 4964704 140737064051920 18446744073709551615 4669005 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2456.83
Current children cumulated vsize (KiB) 258840

[startup+621.5 s]
/proc/loadavg: 8.11 8.06 7.93 9/184 31806
/proc/meminfo: memFree=30744228/32951124 swapFree=67111364/67111528
[pid=31725] ppid=31723 vsize=258840 CPUtime=2482.39 cores=1,3,5,7
/proc/31725/stat : 31725 (claspmt) R 31723 31725 31273 0 -1 4202496 24301 0 0 0 248219 20 0 0 25 0 4 0 522206192 265052160 23873 33554432000 4194304 4964704 140737064051920 18446744073709551615 4669296 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/31725/statm: 64710 23873 460 189 0 59059 0
[pid=31725/tid=31727] ppid=31723 vsize=258840 CPUtime=618.72 cores=1,3,5,7
/proc/31725/task/31727/stat : 31727 (claspmt) R 31723 31725 31273 0 -1 4202560 6387 0 0 0 61867 5 0 0 25 0 4 0 522206198 265052160 23873 33554432000 4194304 4964704 140737064051920 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31725/tid=31728] ppid=31723 vsize=258840 CPUtime=621.42 cores=1,3,5,7
/proc/31725/task/31728/stat : 31728 (claspmt) R 31723 31725 31273 0 -1 4202560 10828 0 0 0 62134 8 0 0 25 0 4 0 522206198 265052160 23873 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31725/tid=31729] ppid=31723 vsize=258840 CPUtime=621.31 cores=1,3,5,7
/proc/31725/task/31729/stat : 31729 (claspmt) R 31723 31725 31273 0 -1 4202560 2695 0 0 0 62129 2 0 0 25 0 4 0 522206198 265052160 23873 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2482.39
Current children cumulated vsize (KiB) 258840

[startup+623.101 s]
/proc/loadavg: 8.11 8.06 7.93 9/184 31806
/proc/meminfo: memFree=30744220/32951124 swapFree=67111364/67111528
[pid=31725] ppid=31723 vsize=258840 CPUtime=2488.79 cores=1,3,5,7
/proc/31725/stat : 31725 (claspmt) R 31723 31725 31273 0 -1 4202496 24317 0 0 0 248859 20 0 0 25 0 4 0 522206192 265052160 23889 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670184 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/31725/statm: 64710 23889 460 189 0 59059 0
[pid=31725/tid=31727] ppid=31723 vsize=258840 CPUtime=620.31 cores=1,3,5,7
/proc/31725/task/31727/stat : 31727 (claspmt) R 31723 31725 31273 0 -1 4202560 6387 0 0 0 62026 5 0 0 25 0 4 0 522206198 265052160 23889 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31725/tid=31728] ppid=31723 vsize=258840 CPUtime=623.02 cores=1,3,5,7
/proc/31725/task/31728/stat : 31728 (claspmt) R 31723 31725 31273 0 -1 4202560 10842 0 0 0 62294 8 0 0 25 0 4 0 522206198 265052160 23889 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31725/tid=31729] ppid=31723 vsize=258840 CPUtime=622.91 cores=1,3,5,7
/proc/31725/task/31729/stat : 31729 (claspmt) R 31723 31725 31273 0 -1 4202560 2695 0 0 0 62289 2 0 0 25 0 4 0 522206198 265052160 23889 33554432000 4194304 4964704 140737064051920 18446744073709551615 4627901 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2488.79
Current children cumulated vsize (KiB) 258840

[startup+623.901 s]
/proc/loadavg: 8.11 8.06 7.93 9/184 31806
/proc/meminfo: memFree=30742980/32951124 swapFree=67111364/67111528
[pid=31725] ppid=31723 vsize=258840 CPUtime=2491.98 cores=1,3,5,7
/proc/31725/stat : 31725 (claspmt) R 31723 31725 31273 0 -1 4202496 24318 0 0 0 249178 20 0 0 25 0 4 0 522206192 265052160 23890 33554432000 4194304 4964704 140737064051920 18446744073709551615 228244046478 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/31725/statm: 64710 23890 460 189 0 59059 0
[pid=31725/tid=31727] ppid=31723 vsize=258840 CPUtime=621.11 cores=1,3,5,7
/proc/31725/task/31727/stat : 31727 (claspmt) R 31723 31725 31273 0 -1 4202560 6388 0 0 0 62106 5 0 0 25 0 4 0 522206198 265052160 23890 33554432000 4194304 4964704 140737064051920 18446744073709551615 4321023 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31725/tid=31728] ppid=31723 vsize=258840 CPUtime=623.82 cores=1,3,5,7
/proc/31725/task/31728/stat : 31728 (claspmt) R 31723 31725 31273 0 -1 4202560 10842 0 0 0 62374 8 0 0 25 0 4 0 522206198 265052160 23890 33554432000 4194304 4964704 140737064051920 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31725/tid=31729] ppid=31723 vsize=258840 CPUtime=623.71 cores=1,3,5,7
/proc/31725/task/31729/stat : 31729 (claspmt) R 31723 31725 31273 0 -1 4202560 2695 0 0 0 62369 2 0 0 25 0 4 0 522206198 265052160 23890 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2491.98
Current children cumulated vsize (KiB) 258840

[startup+624.301 s]
/proc/loadavg: 8.11 8.06 7.93 9/184 31806
/proc/meminfo: memFree=30742980/32951124 swapFree=67111364/67111528
[pid=31725] ppid=31723 vsize=258840 CPUtime=2493.58 cores=1,3,5,7
/proc/31725/stat : 31725 (claspmt) R 31723 31725 31273 0 -1 4202496 24318 0 0 0 249338 20 0 0 25 0 4 0 522206192 265052160 23890 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/31725/statm: 64710 23890 460 189 0 59059 0
[pid=31725/tid=31727] ppid=31723 vsize=258840 CPUtime=621.51 cores=1,3,5,7
/proc/31725/task/31727/stat : 31727 (claspmt) R 31723 31725 31273 0 -1 4202560 6388 0 0 0 62146 5 0 0 25 0 4 0 522206198 265052160 23890 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670250 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31725/tid=31728] ppid=31723 vsize=258840 CPUtime=624.22 cores=1,3,5,7
/proc/31725/task/31728/stat : 31728 (claspmt) R 31723 31725 31273 0 -1 4202560 10842 0 0 0 62414 8 0 0 25 0 4 0 522206198 265052160 23890 33554432000 4194304 4964704 140737064051920 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31725/tid=31729] ppid=31723 vsize=258840 CPUtime=624.11 cores=1,3,5,7
/proc/31725/task/31729/stat : 31729 (claspmt) R 31723 31725 31273 0 -1 4202560 2695 0 0 0 62409 2 0 0 25 0 4 0 522206198 265052160 23890 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2493.58
Current children cumulated vsize (KiB) 258840

[startup+624.507 s]
/proc/loadavg: 8.10 8.06 7.93 9/184 31806
/proc/meminfo: memFree=30742732/32951124 swapFree=67111364/67111528
[pid=31725] ppid=31723 vsize=258840 CPUtime=2494.4 cores=1,3,5,7
/proc/31725/stat : 31725 (claspmt) R 31723 31725 31273 0 -1 4202496 24318 0 0 0 249420 20 0 0 25 0 4 0 522206192 265052160 23890 33554432000 4194304 4964704 140737064051920 18446744073709551615 4321069 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/31725/statm: 64710 23890 460 189 0 59059 0
[pid=31725/tid=31727] ppid=31723 vsize=258840 CPUtime=621.71 cores=1,3,5,7
/proc/31725/task/31727/stat : 31727 (claspmt) R 31723 31725 31273 0 -1 4202560 6388 0 0 0 62166 5 0 0 25 0 4 0 522206198 265052160 23890 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670288 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31725/tid=31728] ppid=31723 vsize=258840 CPUtime=624.43 cores=1,3,5,7
/proc/31725/task/31728/stat : 31728 (claspmt) R 31723 31725 31273 0 -1 4202560 10842 0 0 0 62435 8 0 0 25 0 4 0 522206198 265052160 23890 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31725/tid=31729] ppid=31723 vsize=258840 CPUtime=624.31 cores=1,3,5,7
/proc/31725/task/31729/stat : 31729 (claspmt) R 31723 31725 31273 0 -1 4202560 2695 0 0 0 62429 2 0 0 25 0 4 0 522206198 265052160 23890 33554432000 4194304 4964704 140737064051920 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2494.4
Current children cumulated vsize (KiB) 258840

[startup+624.601 s]
/proc/loadavg: 8.10 8.06 7.93 9/184 31806
/proc/meminfo: memFree=30742732/32951124 swapFree=67111364/67111528
[pid=31725] ppid=31723 vsize=258496 CPUtime=2494.77 cores=1,3,5,7
/proc/31725/stat : 31725 (claspmt) R 31723 31725 31273 0 -1 4202496 24328 0 0 0 249456 21 0 0 17 0 1 0 522206192 264699904 23706 33554432000 4194304 4964704 140737064051920 18446744073709551615 228244392295 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/31725/statm: 64624 23706 470 189 0 58973 0
Current children cumulated CPU time (s) 2494.77
Current children cumulated vsize (KiB) 258496

Child status: 20
Real time (s): 624.608
CPU time (s): 2494.78
CPU user time (s): 2494.56
CPU system time (s): 0.214967
CPU usage (%): 399.415
Max. virtual memory (cumulated for all children) (KiB): 258840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2494.56
system time used= 0.214967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24330
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= 5315
involuntary context switches= 16936

runsolver used 1.02784 second user time and 2.38164 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-29 21:41:22
IDJOB=3299526
IDBENCH=85805
IDSOLVER=1683
FILE ID=node136/3299526-1304106082
RUNJOBID= node136-1304103610-31292
PBS_JOBID= 13170640
Free space on /tmp= 72332 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT05/crafted/sorge05/QG7a/gensys-ukn004.shuffled-as.sat05-3844.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-3299526-1304106082/watcher-3299526-1304106082 -o /tmp/evaluation-result-3299526-1304106082/solver-3299526-1304106082 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299526-1304106082.cnf

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

MD5SUM BENCH= 7d96ba103689bec761c9e7df7b158323
RANDOM SEED=1101967670

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29930632 kB
Buffers:        585632 kB
Cached:         930084 kB
SwapCached:          0 kB
Active:        1143260 kB
Inactive:      1451784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29930632 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            1604 kB
Writeback:           0 kB
AnonPages:     1079484 kB
Mapped:          15720 kB
Slab:           360096 kB
PageTables:       6772 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1241408 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= 72328 MiB
End job on node136 at 2011-04-29 21:51:47