Trace number 3321708

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 1001.21 133.83

General information on the benchmark

Nameapplication/manthey/traffic/
traffic_fb_unknown.cnf
MD5SUM2385047c56f7801a7fd110b2ffe2f293
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark99.5369
Satisfiable
(Un)Satisfiability was proved
Number of variables35819
Number of clauses773506
Sum of the clauses size2886709
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 255953
Number of clauses of size 395409
Number of clauses of size 4622144
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...366476/instance-3321708-1304366476.cnf
2.19/2.21	c Solving...
1001.17/133.82	s UNSATISFIABLE
1001.17/133.82	
1001.17/133.82	c Models        : 0     
1001.17/133.82	c Time          : 133.629s (Solving: 131.41s 1st Model: 0.00s Unsat: 131.41s)
1001.17/133.82	c CPU Time      : 1001.000s

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-3321708-1304366476/watcher-3321708-1304366476 -o /tmp/evaluation-result-3321708-1304366476/solver-3321708-1304366476 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3321708-1304366476.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: 0.15 0.03 0.08 2/261 21678
/proc/meminfo: memFree=23575400/32950940 swapFree=67111364/67111528
[pid=21678] ppid=21676 vsize=28008 CPUtime=0 cores=0-7
/proc/21678/stat : 21678 (claspmt) R 21676 21678 21550 0 -1 4202496 2544 0 0 0 0 0 0 0 21 0 1 0 626878479 28680192 2195 33554432000 4194304 4964704 140733962405120 18446744073709551615 215988289291 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21678/statm: 7002 2196 386 189 0 1876 0

[startup+0.0854671 s]
/proc/loadavg: 0.15 0.03 0.08 2/261 21678
/proc/meminfo: memFree=23575400/32950940 swapFree=67111364/67111528
[pid=21678] ppid=21676 vsize=41012 CPUtime=0.08 cores=0-7
/proc/21678/stat : 21678 (claspmt) R 21676 21678 21550 0 -1 4202496 6793 0 0 0 7 1 0 0 21 0 1 0 626878479 41996288 5294 33554432000 4194304 4964704 140733962405120 18446744073709551615 215988253381 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21678/statm: 10253 5295 386 189 0 5127 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 41012

[startup+0.100464 s]
/proc/loadavg: 0.15 0.03 0.08 2/261 21678
/proc/meminfo: memFree=23575400/32950940 swapFree=67111364/67111528
[pid=21678] ppid=21676 vsize=43124 CPUtime=0.09 cores=0-7
/proc/21678/stat : 21678 (claspmt) R 21676 21678 21550 0 -1 4202496 7407 0 0 0 8 1 0 0 21 0 1 0 626878479 44158976 5908 33554432000 4194304 4964704 140733962405120 18446744073709551615 215988253381 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21678/statm: 10781 5910 386 189 0 5655 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43124

[startup+0.300429 s]
/proc/loadavg: 0.15 0.03 0.08 2/261 21678
/proc/meminfo: memFree=23575400/32950940 swapFree=67111364/67111528
[pid=21678] ppid=21676 vsize=79492 CPUtime=0.29 cores=0-7
/proc/21678/stat : 21678 (claspmt) R 21676 21678 21550 0 -1 4202496 19186 0 0 0 27 2 0 0 22 0 1 0 626878479 81399808 14451 33554432000 4194304 4964704 140733962405120 18446744073709551615 4618467 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21678/statm: 19873 14451 397 189 0 14747 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 79492

[startup+0.700359 s]
/proc/loadavg: 0.15 0.03 0.08 2/261 21678
/proc/meminfo: memFree=23575400/32950940 swapFree=67111364/67111528
[pid=21678] ppid=21676 vsize=98232 CPUtime=0.69 cores=0-7
/proc/21678/stat : 21678 (claspmt) R 21676 21678 21550 0 -1 4202496 23658 0 0 0 66 3 0 0 23 0 1 0 626878479 100589568 18923 33554432000 4194304 4964704 140733962405120 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21678/statm: 24558 18923 399 189 0 19432 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 98232

[startup+1.50022 s]
/proc/loadavg: 0.15 0.03 0.08 2/262 21679
/proc/meminfo: memFree=23501124/32950940 swapFree=67111364/67111528
[pid=21678] ppid=21676 vsize=98232 CPUtime=1.49 cores=0-7
/proc/21678/stat : 21678 (claspmt) R 21676 21678 21550 0 -1 4202496 23659 0 0 0 146 3 0 0 25 0 1 0 626878479 100589568 18924 33554432000 4194304 4964704 140733962405120 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21678/statm: 24558 18924 399 189 0 19432 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 98232

[startup+3.10094 s]
/proc/loadavg: 0.22 0.05 0.08 2/262 21679
/proc/meminfo: memFree=23496704/32950940 swapFree=67111364/67111528
[pid=21678] ppid=21676 vsize=604492 CPUtime=3.62 cores=0-7
/proc/21678/stat : 21678 (claspmt) S 21676 21678 21550 0 -1 4202496 88164 0 0 0 323 39 0 0 18 0 8 0 626878479 618999808 81022 33554432000 4194304 4964704 140733962405120 18446744073709551615 216000408473 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/21678/statm: 151123 81022 442 189 0 145472 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 604492

[startup+6.30038 s]
/proc/loadavg: 0.22 0.05 0.08 2/269 21686
/proc/meminfo: memFree=23252120/32950940 swapFree=67111364/67111528
[pid=21678] ppid=21676 vsize=604492 CPUtime=6.82 cores=0-7
/proc/21678/stat : 21678 (claspmt) S 21676 21678 21550 0 -1 4202496 88272 0 0 0 643 39 0 0 18 0 8 0 626878479 618999808 81130 33554432000 4194304 4964704 140733962405120 18446744073709551615 216000408473 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/21678/statm: 151123 81130 442 189 0 145472 0
[pid=21678/tid=21680] ppid=21676 vsize=604492 CPUtime=0.18 cores=0-7
/proc/21678/task/21680/stat : 21680 (claspmt) S 21676 21678 21550 0 -1 4202560 7828 0 0 0 12 6 0 0 18 0 8 0 626878709 618999808 81130 33554432000 4194304 4964704 140733962405120 18446744073709551615 216000408473 0 0 4096 18946 18446604443120988608 0 0 -1 1 0 0 0
[pid=21678/tid=21681] ppid=21676 vsize=604492 CPUtime=0.09 cores=0-7
/proc/21678/task/21681/stat : 21681 (claspmt) S 21676 21678 21550 0 -1 4202560 9200 0 0 0 6 3 0 0 16 0 8 0 626878709 618999808 81130 33554432000 4194304 4964704 140733962405120 18446744073709551615 216000408473 0 0 4096 18946 18446604443120988608 0 0 -1 2 0 0 0
[pid=21678/tid=21682] ppid=21676 vsize=604492 CPUtime=0.08 cores=0-7
/proc/21678/task/21682/stat : 21682 (claspmt) S 21676 21678 21550 0 -1 4202560 6861 0 0 0 5 3 0 0 17 0 8 0 626878709 618999808 81130 33554432000 4194304 4964704 140733962405120 18446744073709551615 216000408473 0 0 4096 18946 18446604443120988608 0 0 -1 2 0 0 0
[pid=21678/tid=21683] ppid=21676 vsize=604492 CPUtime=0.19 cores=0-7
/proc/21678/task/21683/stat : 21683 (claspmt) S 21676 21678 21550 0 -1 4202560 9037 0 0 0 13 6 0 0 17 0 8 0 626878709 618999808 81130 33554432000 4194304 4964704 140733962405120 18446744073709551615 216000408473 0 0 4096 18946 18446604443120988608 0 0 -1 3 0 0 0
[pid=21678/tid=21684] ppid=21676 vsize=604492 CPUtime=3.83 cores=0-7
/proc/21678/task/21684/stat : 21684 (claspmt) R 21676 21678 21550 0 -1 4202560 11248 0 0 0 377 6 0 0 22 0 8 0 626878709 618999808 81130 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670332 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21678/tid=21685] ppid=21676 vsize=604492 CPUtime=0.07 cores=0-7
/proc/21678/task/21685/stat : 21685 (claspmt) S 21676 21678 21550 0 -1 4202560 8886 0 0 0 4 3 0 0 17 0 8 0 626878709 618999808 81130 33554432000 4194304 4964704 140733962405120 18446744073709551615 216000408473 0 0 4096 18946 18446604443120988608 0 0 -1 6 0 0 0
[pid=21678/tid=21686] ppid=21676 vsize=604492 CPUtime=0.1 cores=0-7
/proc/21678/task/21686/stat : 21686 (claspmt) S 21676 21678 21550 0 -1 4202560 8329 0 0 0 5 5 0 0 16 0 8 0 626878709 618999808 81130 33554432000 4194304 4964704 140733962405120 18446744073709551615 216000408473 0 0 4096 18946 18446604443120988608 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.82
Current children cumulated vsize (KiB) 604492

[startup+12.7013 s]
/proc/loadavg: 0.90 0.20 0.13 9/269 21686
/proc/meminfo: memFree=23222840/32950940 swapFree=67111364/67111528
[pid=21678] ppid=21676 vsize=607140 CPUtime=34.78 cores=0-7
/proc/21678/stat : 21678 (claspmt) R 21676 21678 21550 0 -1 4202496 96484 0 0 0 3431 47 0 0 25 0 8 0 626878479 621711360 89342 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/21678/statm: 151785 89342 464 189 0 146134 0
[pid=21678/tid=21680] ppid=21676 vsize=607140 CPUtime=3.28 cores=0-7
/proc/21678/task/21680/stat : 21680 (claspmt) R 21676 21678 21550 0 -1 4202560 8824 0 0 0 321 7 0 0 25 0 8 0 626878709 621711360 89342 33554432000 4194304 4964704 140733962405120 18446744073709551615 4370242 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21678/tid=21681] ppid=21676 vsize=607140 CPUtime=3.18 cores=0-7
/proc/21678/task/21681/stat : 21681 (claspmt) R 21676 21678 21550 0 -1 4202560 10348 0 0 0 313 5 0 0 19 0 8 0 626878709 621711360 89342 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21678/tid=21682] ppid=21676 vsize=607140 CPUtime=3.17 cores=0-7
/proc/21678/task/21682/stat : 21682 (claspmt) R 21676 21678 21550 0 -1 4202560 7687 0 0 0 314 3 0 0 19 0 8 0 626878709 621711360 89342 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21678/tid=21683] ppid=21676 vsize=607140 CPUtime=3.3 cores=0-7
/proc/21678/task/21683/stat : 21683 (claspmt) R 21676 21678 21550 0 -1 4202560 10148 0 0 0 323 7 0 0 19 0 8 0 626878709 621711360 89342 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670260 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21678/tid=21684] ppid=21676 vsize=607140 CPUtime=10.13 cores=0-7
/proc/21678/task/21684/stat : 21684 (claspmt) R 21676 21678 21550 0 -1 4202560 11283 0 0 0 1007 6 0 0 25 0 8 0 626878709 621711360 89342 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21678/tid=21685] ppid=21676 vsize=607140 CPUtime=3.16 cores=0-7
/proc/21678/task/21685/stat : 21685 (claspmt) R 21676 21678 21550 0 -1 4202560 10691 0 0 0 311 5 0 0 19 0 8 0 626878709 621711360 89342 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21678/tid=21686] ppid=21676 vsize=607140 CPUtime=3.19 cores=0-7
/proc/21678/task/21686/stat : 21686 (claspmt) R 21676 21678 21550 0 -1 4202560 9631 0 0 0 313 6 0 0 19 0 8 0 626878709 621711360 89342 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670419 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 34.78
Current children cumulated vsize (KiB) 607140

[startup+25.501 s]
/proc/loadavg: 1.99 0.45 0.21 9/269 21687
/proc/meminfo: memFree=23194100/32950940 swapFree=67111364/67111528
[pid=21678] ppid=21676 vsize=610816 CPUtime=137.07 cores=0-7
/proc/21678/stat : 21678 (claspmt) R 21676 21678 21550 0 -1 4202496 103756 0 0 0 13652 55 0 0 25 0 8 0 626878479 625475584 96614 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/21678/statm: 152704 96614 466 189 0 147053 0
[pid=21678/tid=21680] ppid=21676 vsize=610816 CPUtime=16.08 cores=0-7
/proc/21678/task/21680/stat : 21680 (claspmt) R 21676 21678 21550 0 -1 4202560 9482 0 0 0 1600 8 0 0 25 0 8 0 626878709 625475584 96614 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21678/tid=21681] ppid=21676 vsize=610816 CPUtime=15.98 cores=0-7
/proc/21678/task/21681/stat : 21681 (claspmt) R 21676 21678 21550 0 -1 4202560 11520 0 0 0 1592 6 0 0 25 0 8 0 626878709 625475584 96614 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21678/tid=21682] ppid=21676 vsize=610816 CPUtime=15.97 cores=0-7
/proc/21678/task/21682/stat : 21682 (claspmt) R 21676 21678 21550 0 -1 4202560 8468 0 0 0 1593 4 0 0 25 0 8 0 626878709 625475584 96614 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21678/tid=21683] ppid=21676 vsize=610816 CPUtime=16.1 cores=0-7
/proc/21678/task/21683/stat : 21683 (claspmt) R 21676 21678 21550 0 -1 4202560 11351 0 0 0 1602 8 0 0 25 0 8 0 626878709 625475584 96614 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21678/tid=21684] ppid=21676 vsize=610816 CPUtime=22.82 cores=0-7
/proc/21678/task/21684/stat : 21684 (claspmt) R 21676 21678 21550 0 -1 4202560 11401 0 0 0 2276 6 0 0 25 0 8 0 626878709 625475584 96614 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21678/tid=21685] ppid=21676 vsize=610816 CPUtime=15.96 cores=0-7
/proc/21678/task/21685/stat : 21685 (claspmt) R 21676 21678 21550 0 -1 4202560 11735 0 0 0 1590 6 0 0 25 0 8 0 626878709 625475584 96614 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21678/tid=21686] ppid=21676 vsize=610816 CPUtime=15.99 cores=0-7
/proc/21678/task/21686/stat : 21686 (claspmt) R 21676 21678 21550 0 -1 4202560 11279 0 0 0 1591 8 0 0 25 0 8 0 626878709 625475584 96614 33554432000 4194304 4964704 140733962405120 18446744073709551615 4668635 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 137.07
Current children cumulated vsize (KiB) 610816

[startup+51.1005 s]
/proc/loadavg: 4.04 1.06 0.42 10/269 21687
/proc/meminfo: memFree=23138992/32950940 swapFree=67111364/67111528
[pid=21678] ppid=21676 vsize=613612 CPUtime=341.65 cores=0-7
/proc/21678/stat : 21678 (claspmt) R 21676 21678 21550 0 -1 4202496 117564 0 0 0 34094 71 0 0 25 0 8 0 626878479 628338688 110422 33554432000 4194304 4964704 140733962405120 18446744073709551615 4370381 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/21678/statm: 153403 110422 466 189 0 147752 0
[pid=21678/tid=21680] ppid=21676 vsize=613612 CPUtime=41.68 cores=0-7
/proc/21678/task/21680/stat : 21680 (claspmt) R 21676 21678 21550 0 -1 4202560 10232 0 0 0 4159 9 0 0 25 0 8 0 626878709 628338688 110422 33554432000 4194304 4964704 140733962405120 18446744073709551615 4669192 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21678/tid=21681] ppid=21676 vsize=613612 CPUtime=41.57 cores=0-7
/proc/21678/task/21681/stat : 21681 (claspmt) R 21676 21678 21550 0 -1 4202560 13700 0 0 0 4149 8 0 0 25 0 8 0 626878709 628338688 110422 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21678/tid=21682] ppid=21676 vsize=613612 CPUtime=41.57 cores=0-7
/proc/21678/task/21682/stat : 21682 (claspmt) R 21676 21678 21550 0 -1 4202560 9776 0 0 0 4151 6 0 0 25 0 8 0 626878709 628338688 110422 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21678/tid=21683] ppid=21676 vsize=613612 CPUtime=41.7 cores=0-7
/proc/21678/task/21683/stat : 21683 (claspmt) R 21676 21678 21550 0 -1 4202560 13077 0 0 0 4160 10 0 0 25 0 8 0 626878709 628338688 110422 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670215 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21678/tid=21684] ppid=21676 vsize=613612 CPUtime=48.2 cores=0-7
/proc/21678/task/21684/stat : 21684 (claspmt) R 21676 21678 21550 0 -1 4202560 12956 0 0 0 4812 8 0 0 25 0 8 0 626878709 628338688 110422 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670332 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21678/tid=21685] ppid=21676 vsize=613612 CPUtime=41.56 cores=0-7
/proc/21678/task/21685/stat : 21685 (claspmt) R 21676 21678 21550 0 -1 4202560 13750 0 0 0 4149 7 0 0 25 0 8 0 626878709 628338688 110422 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21678/tid=21686] ppid=21676 vsize=613612 CPUtime=41.59 cores=0-7
/proc/21678/task/21686/stat : 21686 (claspmt) R 21676 21678 21550 0 -1 4202560 14897 0 0 0 4146 13 0 0 25 0 8 0 626878709 628338688 110422 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670431 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 341.65
Current children cumulated vsize (KiB) 613612

[startup+102.311 s]
/proc/loadavg: 6.48 2.24 0.86 9/269 21689
/proc/meminfo: memFree=23066724/32950940 swapFree=67111364/67111528
[pid=21678] ppid=21676 vsize=685004 CPUtime=750.9 cores=0-7
/proc/21678/stat : 21678 (claspmt) R 21676 21678 21550 0 -1 4202496 135484 0 0 0 74995 95 0 0 25 0 8 0 626878479 701444096 128342 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/21678/statm: 171251 128342 466 189 0 165600 0
[pid=21678/tid=21680] ppid=21676 vsize=685004 CPUtime=92.89 cores=0-7
/proc/21678/task/21680/stat : 21680 (claspmt) R 21676 21678 21550 0 -1 4202560 11503 0 0 0 9279 10 0 0 25 0 8 0 626878709 701444096 128342 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670454 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21678/tid=21681] ppid=21676 vsize=685004 CPUtime=92.77 cores=0-7
/proc/21678/task/21681/stat : 21681 (claspmt) R 21676 21678 21550 0 -1 4202560 16700 0 0 0 9265 12 0 0 25 0 8 0 626878709 701444096 128342 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21678/tid=21682] ppid=21676 vsize=685004 CPUtime=92.78 cores=0-7
/proc/21678/task/21682/stat : 21682 (claspmt) R 21676 21678 21550 0 -1 4202560 10882 0 0 0 9271 7 0 0 25 0 8 0 626878709 701444096 128342 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670366 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21678/tid=21683] ppid=21676 vsize=685004 CPUtime=92.91 cores=0-7
/proc/21678/task/21683/stat : 21683 (claspmt) R 21676 21678 21550 0 -1 4202560 14950 0 0 0 9278 13 0 0 25 0 8 0 626878709 701444096 128342 33554432000 4194304 4964704 140733962405120 18446744073709551615 4668907 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21678/tid=21684] ppid=21676 vsize=685004 CPUtime=98.99 cores=0-7
/proc/21678/task/21684/stat : 21684 (claspmt) R 21676 21678 21550 0 -1 4202560 16711 0 0 0 9886 13 0 0 25 0 8 0 626878709 701444096 128342 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21678/tid=21685] ppid=21676 vsize=685004 CPUtime=92.78 cores=0-7
/proc/21678/task/21685/stat : 21685 (claspmt) R 21676 21678 21550 0 -1 4202560 15363 0 0 0 9269 9 0 0 25 0 8 0 626878709 701444096 128342 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21678/tid=21686] ppid=21676 vsize=685004 CPUtime=92.79 cores=0-7
/proc/21678/task/21686/stat : 21686 (claspmt) R 21676 21678 21550 0 -1 4202560 19262 0 0 0 9259 20 0 0 25 0 8 0 626878709 701444096 128342 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670298 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 750.9
Current children cumulated vsize (KiB) 685004

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

[startup+115.101 s]
/proc/loadavg: 6.71 2.43 0.93 9/269 21689
/proc/meminfo: memFree=23050096/32950940 swapFree=67111364/67111528
[pid=21678] ppid=21676 vsize=691540 CPUtime=853.13 cores=0-7
/proc/21678/stat : 21678 (claspmt) R 21676 21678 21550 0 -1 4202496 140052 0 0 0 85215 98 0 0 25 0 8 0 626878479 708136960 132909 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670241 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/21678/statm: 172885 132909 466 189 0 167234 0
[pid=21678/tid=21680] ppid=21676 vsize=691540 CPUtime=105.67 cores=0-7
/proc/21678/task/21680/stat : 21680 (claspmt) R 21676 21678 21550 0 -1 4202560 11823 0 0 0 10557 10 0 0 25 0 8 0 626878709 708136960 132909 33554432000 4194304 4964704 140733962405120 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21678/tid=21681] ppid=21676 vsize=691540 CPUtime=105.57 cores=0-7
/proc/21678/task/21681/stat : 21681 (claspmt) R 21676 21678 21550 0 -1 4202560 17363 0 0 0 10544 13 0 0 25 0 8 0 626878709 708136960 132909 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21678/tid=21682] ppid=21676 vsize=691540 CPUtime=105.58 cores=0-7
/proc/21678/task/21682/stat : 21682 (claspmt) R 21676 21678 21550 0 -1 4202560 11915 0 0 0 10550 8 0 0 25 0 8 0 626878709 708136960 132909 33554432000 4194304 4964704 140733962405120 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21678/tid=21683] ppid=21676 vsize=691540 CPUtime=105.7 cores=0-7
/proc/21678/task/21683/stat : 21683 (claspmt) R 21676 21678 21550 0 -1 4202560 15455 0 0 0 10557 13 0 0 25 0 8 0 626878709 708136960 132909 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21678/tid=21684] ppid=21676 vsize=691540 CPUtime=111.68 cores=0-7
/proc/21678/task/21684/stat : 21684 (claspmt) R 21676 21678 21550 0 -1 4202560 17535 0 0 0 11155 13 0 0 25 0 8 0 626878709 708136960 132909 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670454 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21678/tid=21685] ppid=21676 vsize=691540 CPUtime=105.57 cores=0-7
/proc/21678/task/21685/stat : 21685 (claspmt) R 21676 21678 21550 0 -1 4202560 15414 0 0 0 10548 9 0 0 25 0 8 0 626878709 708136960 132909 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21678/tid=21686] ppid=21676 vsize=691540 CPUtime=105.59 cores=0-7
/proc/21678/task/21686/stat : 21686 (claspmt) R 21676 21678 21550 0 -1 4202560 20050 0 0 0 10538 21 0 0 25 0 8 0 626878709 708136960 132909 33554432000 4194304 4964704 140733962405120 18446744073709551615 4668618 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 853.13
Current children cumulated vsize (KiB) 691540

[startup+121.501 s]
/proc/loadavg: 6.82 2.52 0.97 9/269 21689
/proc/meminfo: memFree=23042036/32950940 swapFree=67111364/67111528
[pid=21678] ppid=21676 vsize=692596 CPUtime=904.27 cores=0-7
/proc/21678/stat : 21678 (claspmt) R 21676 21678 21550 0 -1 4202496 141684 0 0 0 90328 99 0 0 25 0 8 0 626878479 709218304 134541 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/21678/statm: 173149 134541 466 189 0 167498 0
[pid=21678/tid=21680] ppid=21676 vsize=692596 CPUtime=112.08 cores=0-7
/proc/21678/task/21680/stat : 21680 (claspmt) R 21676 21678 21550 0 -1 4202560 12095 0 0 0 11197 11 0 0 25 0 8 0 626878709 709218304 134541 33554432000 4194304 4964704 140733962405120 18446744073709551615 4364856 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21678/tid=21681] ppid=21676 vsize=692596 CPUtime=111.96 cores=0-7
/proc/21678/task/21681/stat : 21681 (claspmt) R 21676 21678 21550 0 -1 4202560 17947 0 0 0 11183 13 0 0 25 0 8 0 626878709 709218304 134541 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21678/tid=21682] ppid=21676 vsize=692596 CPUtime=111.97 cores=0-7
/proc/21678/task/21682/stat : 21682 (claspmt) R 21676 21678 21550 0 -1 4202560 12156 0 0 0 11189 8 0 0 25 0 8 0 626878709 709218304 134541 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21678/tid=21683] ppid=21676 vsize=692596 CPUtime=112.1 cores=0-7
/proc/21678/task/21683/stat : 21683 (claspmt) R 21676 21678 21550 0 -1 4202560 15738 0 0 0 11197 13 0 0 25 0 8 0 626878709 709218304 134541 33554432000 4194304 4964704 140733962405120 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21678/tid=21684] ppid=21676 vsize=692596 CPUtime=118.03 cores=0-7
/proc/21678/task/21684/stat : 21684 (claspmt) R 21676 21678 21550 0 -1 4202560 17547 0 0 0 11790 13 0 0 25 0 8 0 626878709 709218304 134541 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21678/tid=21685] ppid=21676 vsize=692596 CPUtime=111.97 cores=0-7
/proc/21678/task/21685/stat : 21685 (claspmt) R 21676 21678 21550 0 -1 4202560 15642 0 0 0 11188 9 0 0 25 0 8 0 626878709 709218304 134541 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21678/tid=21686] ppid=21676 vsize=692596 CPUtime=111.99 cores=0-7
/proc/21678/task/21686/stat : 21686 (claspmt) R 21676 21678 21550 0 -1 4202560 20050 0 0 0 11178 21 0 0 25 0 8 0 626878709 709218304 134541 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 904.27
Current children cumulated vsize (KiB) 692596

[startup+127.901 s]
/proc/loadavg: 7.00 2.70 1.05 9/269 21689
/proc/meminfo: memFree=23035216/32950940 swapFree=67111364/67111528
[pid=21678] ppid=21676 vsize=759264 CPUtime=955.42 cores=0-7
/proc/21678/stat : 21678 (claspmt) R 21676 21678 21550 0 -1 4202496 143383 0 0 0 95441 101 0 0 25 0 8 0 626878479 777486336 136240 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670184 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/21678/statm: 189816 136240 466 189 0 184165 0
[pid=21678/tid=21680] ppid=21676 vsize=759264 CPUtime=118.48 cores=0-7
/proc/21678/task/21680/stat : 21680 (claspmt) R 21676 21678 21550 0 -1 4202560 12376 0 0 0 11837 11 0 0 25 0 8 0 626878709 777486336 136240 33554432000 4194304 4964704 140733962405120 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21678/tid=21681] ppid=21676 vsize=759264 CPUtime=118.37 cores=0-7
/proc/21678/task/21681/stat : 21681 (claspmt) R 21676 21678 21550 0 -1 4202560 18436 0 0 0 11823 14 0 0 25 0 8 0 626878709 777486336 136240 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21678/tid=21682] ppid=21676 vsize=759264 CPUtime=118.38 cores=0-7
/proc/21678/task/21682/stat : 21682 (claspmt) R 21676 21678 21550 0 -1 4202560 12388 0 0 0 11829 9 0 0 25 0 8 0 626878709 777486336 136240 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21678/tid=21683] ppid=21676 vsize=759264 CPUtime=118.5 cores=0-7
/proc/21678/task/21683/stat : 21683 (claspmt) R 21676 21678 21550 0 -1 4202560 15786 0 0 0 11837 13 0 0 25 0 8 0 626878709 777486336 136240 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21678/tid=21684] ppid=21676 vsize=759264 CPUtime=124.37 cores=0-7
/proc/21678/task/21684/stat : 21684 (claspmt) R 21676 21678 21550 0 -1 4202560 17597 0 0 0 12424 13 0 0 25 0 8 0 626878709 777486336 136240 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21678/tid=21685] ppid=21676 vsize=759264 CPUtime=118.36 cores=0-7
/proc/21678/task/21685/stat : 21685 (claspmt) R 21676 21678 21550 0 -1 4202560 16167 0 0 0 11827 9 0 0 25 0 8 0 626878709 777486336 136240 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21678/tid=21686] ppid=21676 vsize=759264 CPUtime=118.39 cores=0-7
/proc/21678/task/21686/stat : 21686 (claspmt) R 21676 21678 21550 0 -1 4202560 20092 0 0 0 11818 21 0 0 25 0 8 0 626878709 777486336 136240 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 955.42
Current children cumulated vsize (KiB) 759264

[startup+131.101 s]
/proc/loadavg: 7.00 2.70 1.05 9/269 21690
/proc/meminfo: memFree=23032608/32950940 swapFree=67111364/67111528
[pid=21678] ppid=21676 vsize=759264 CPUtime=980.98 cores=0-7
/proc/21678/stat : 21678 (claspmt) R 21676 21678 21550 0 -1 4202496 143901 0 0 0 97997 101 0 0 25 0 8 0 626878479 777486336 136758 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670184 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/21678/statm: 189816 136758 466 189 0 184165 0
[pid=21678/tid=21680] ppid=21676 vsize=759264 CPUtime=121.68 cores=0-7
/proc/21678/task/21680/stat : 21680 (claspmt) R 21676 21678 21550 0 -1 4202560 12376 0 0 0 12157 11 0 0 25 0 8 0 626878709 777486336 136758 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670318 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21678/tid=21681] ppid=21676 vsize=759264 CPUtime=121.56 cores=0-7
/proc/21678/task/21681/stat : 21681 (claspmt) R 21676 21678 21550 0 -1 4202560 18461 0 0 0 12142 14 0 0 25 0 8 0 626878709 777486336 136758 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21678/tid=21682] ppid=21676 vsize=759264 CPUtime=121.58 cores=0-7
/proc/21678/task/21682/stat : 21682 (claspmt) R 21676 21678 21550 0 -1 4202560 12395 0 0 0 12149 9 0 0 25 0 8 0 626878709 777486336 136758 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670243 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21678/tid=21683] ppid=21676 vsize=759264 CPUtime=121.7 cores=0-7
/proc/21678/task/21683/stat : 21683 (claspmt) R 21676 21678 21550 0 -1 4202560 15854 0 0 0 12157 13 0 0 25 0 8 0 626878709 777486336 136758 33554432000 4194304 4964704 140733962405120 18446744073709551615 4313973 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21678/tid=21684] ppid=21676 vsize=759264 CPUtime=127.54 cores=0-7
/proc/21678/task/21684/stat : 21684 (claspmt) R 21676 21678 21550 0 -1 4202560 17642 0 0 0 12741 13 0 0 25 0 8 0 626878709 777486336 136758 33554432000 4194304 4964704 140733962405120 18446744073709551615 4647727 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21678/tid=21685] ppid=21676 vsize=759264 CPUtime=121.56 cores=0-7
/proc/21678/task/21685/stat : 21685 (claspmt) R 21676 21678 21550 0 -1 4202560 16211 0 0 0 12147 9 0 0 25 0 8 0 626878709 777486336 136758 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21678/tid=21686] ppid=21676 vsize=759264 CPUtime=121.58 cores=0-7
/proc/21678/task/21686/stat : 21686 (claspmt) R 21676 21678 21550 0 -1 4202560 20391 0 0 0 12137 21 0 0 25 0 8 0 626878709 777486336 136758 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 980.98
Current children cumulated vsize (KiB) 759264

[startup+132.701 s]
/proc/loadavg: 7.08 2.79 1.08 9/269 21690
/proc/meminfo: memFree=23032476/32950940 swapFree=67111364/67111528
[pid=21678] ppid=21676 vsize=759264 CPUtime=993.79 cores=0-7
/proc/21678/stat : 21678 (claspmt) R 21676 21678 21550 0 -1 4202496 143904 0 0 0 99277 102 0 0 25 0 8 0 626878479 777486336 136761 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/21678/statm: 189816 136761 466 189 0 184165 0
[pid=21678/tid=21680] ppid=21676 vsize=759264 CPUtime=123.28 cores=0-7
/proc/21678/task/21680/stat : 21680 (claspmt) R 21676 21678 21550 0 -1 4202560 12376 0 0 0 12317 11 0 0 25 0 8 0 626878709 777486336 136761 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21678/tid=21681] ppid=21676 vsize=759264 CPUtime=123.16 cores=0-7
/proc/21678/task/21681/stat : 21681 (claspmt) R 21676 21678 21550 0 -1 4202560 18461 0 0 0 12302 14 0 0 25 0 8 0 626878709 777486336 136761 33554432000 4194304 4964704 140733962405120 18446744073709551615 4688657 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21678/tid=21682] ppid=21676 vsize=759264 CPUtime=123.18 cores=0-7
/proc/21678/task/21682/stat : 21682 (claspmt) R 21676 21678 21550 0 -1 4202560 12395 0 0 0 12309 9 0 0 25 0 8 0 626878709 777486336 136761 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670277 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21678/tid=21683] ppid=21676 vsize=759264 CPUtime=123.3 cores=0-7
/proc/21678/task/21683/stat : 21683 (claspmt) R 21676 21678 21550 0 -1 4202560 15854 0 0 0 12317 13 0 0 25 0 8 0 626878709 777486336 136761 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21678/tid=21684] ppid=21676 vsize=759264 CPUtime=129.14 cores=0-7
/proc/21678/task/21684/stat : 21684 (claspmt) R 21676 21678 21550 0 -1 4202560 17642 0 0 0 12901 13 0 0 25 0 8 0 626878709 777486336 136761 33554432000 4194304 4964704 140733962405120 18446744073709551615 4370224 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21678/tid=21685] ppid=21676 vsize=759264 CPUtime=123.16 cores=0-7
/proc/21678/task/21685/stat : 21685 (claspmt) R 21676 21678 21550 0 -1 4202560 16214 0 0 0 12307 9 0 0 25 0 8 0 626878709 777486336 136761 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21678/tid=21686] ppid=21676 vsize=759264 CPUtime=123.18 cores=0-7
/proc/21678/task/21686/stat : 21686 (claspmt) R 21676 21678 21550 0 -1 4202560 20391 0 0 0 12297 21 0 0 25 0 8 0 626878709 777486336 136761 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 993.79
Current children cumulated vsize (KiB) 759264

[startup+133.501 s]
/proc/loadavg: 7.08 2.79 1.08 9/269 21690
/proc/meminfo: memFree=23032476/32950940 swapFree=67111364/67111528
[pid=21678] ppid=21676 vsize=759264 CPUtime=1000.17 cores=0-7
/proc/21678/stat : 21678 (claspmt) R 21676 21678 21550 0 -1 4202496 143904 0 0 0 99915 102 0 0 25 0 8 0 626878479 777486336 136761 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/21678/statm: 189816 136761 466 189 0 184165 0
[pid=21678/tid=21680] ppid=21676 vsize=759264 CPUtime=124.08 cores=0-7
/proc/21678/task/21680/stat : 21680 (claspmt) R 21676 21678 21550 0 -1 4202560 12376 0 0 0 12397 11 0 0 25 0 8 0 626878709 777486336 136761 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670454 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21678/tid=21681] ppid=21676 vsize=759264 CPUtime=123.96 cores=0-7
/proc/21678/task/21681/stat : 21681 (claspmt) R 21676 21678 21550 0 -1 4202560 18461 0 0 0 12382 14 0 0 25 0 8 0 626878709 777486336 136761 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670466 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21678/tid=21682] ppid=21676 vsize=759264 CPUtime=123.98 cores=0-7
/proc/21678/task/21682/stat : 21682 (claspmt) R 21676 21678 21550 0 -1 4202560 12395 0 0 0 12389 9 0 0 25 0 8 0 626878709 777486336 136761 33554432000 4194304 4964704 140733962405120 18446744073709551615 4668632 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21678/tid=21683] ppid=21676 vsize=759264 CPUtime=124.1 cores=0-7
/proc/21678/task/21683/stat : 21683 (claspmt) R 21676 21678 21550 0 -1 4202560 15854 0 0 0 12397 13 0 0 25 0 8 0 626878709 777486336 136761 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21678/tid=21684] ppid=21676 vsize=759264 CPUtime=129.93 cores=0-7
/proc/21678/task/21684/stat : 21684 (claspmt) R 21676 21678 21550 0 -1 4202560 17642 0 0 0 12980 13 0 0 25 0 8 0 626878709 777486336 136761 33554432000 4194304 4964704 140733962405120 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21678/tid=21685] ppid=21676 vsize=759264 CPUtime=123.96 cores=0-7
/proc/21678/task/21685/stat : 21685 (claspmt) R 21676 21678 21550 0 -1 4202560 16214 0 0 0 12387 9 0 0 25 0 8 0 626878709 777486336 136761 33554432000 4194304 4964704 140733962405120 18446744073709551615 4313624 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21678/tid=21686] ppid=21676 vsize=759264 CPUtime=123.98 cores=0-7
/proc/21678/task/21686/stat : 21686 (claspmt) R 21676 21678 21550 0 -1 4202560 20391 0 0 0 12377 21 0 0 25 0 8 0 626878709 777486336 136761 33554432000 4194304 4964704 140733962405120 18446744073709551615 4321105 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1000.17
Current children cumulated vsize (KiB) 759264

[startup+133.701 s]
/proc/loadavg: 7.08 2.79 1.08 9/269 21690
/proc/meminfo: memFree=23032476/32950940 swapFree=67111364/67111528
[pid=21678] ppid=21676 vsize=754784 CPUtime=1001.07 cores=0-7
/proc/21678/stat : 21678 (claspmt) R 21676 21678 21550 0 -1 4202496 143914 0 0 0 100004 103 0 0 25 0 1 0 626878479 772898816 135633 33554432000 4194304 4964704 140733962405120 18446744073709551615 215988247905 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21678/statm: 188696 135633 476 189 0 183045 0
Current children cumulated CPU time (s) 1001.07
Current children cumulated vsize (KiB) 754784

[startup+133.801 s]
/proc/loadavg: 7.08 2.79 1.08 9/269 21690
/proc/meminfo: memFree=23032476/32950940 swapFree=67111364/67111528
[pid=21678] ppid=21676 vsize=623712 CPUtime=1001.17 cores=0-7
/proc/21678/stat : 21678 (claspmt) R 21676 21678 21550 0 -1 4202496 143914 0 0 0 100014 103 0 0 25 0 1 0 626878479 638681088 126352 33554432000 4194304 4964704 140733962405120 18446744073709551615 215988636007 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21678/statm: 155928 126352 476 189 0 150277 0
Current children cumulated CPU time (s) 1001.17
Current children cumulated vsize (KiB) 623712

Child status: 20
Real time (s): 133.83
CPU time (s): 1001.21
CPU user time (s): 1000.14
CPU system time (s): 1.06584
CPU usage (%): 748.119
Max. virtual memory (cumulated for all children) (KiB): 759264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1000.14
system time used= 1.06584
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143915
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= 62409
involuntary context switches= 5384

runsolver used 0.297954 second user time and 0.794879 second system time

The end

Launcher Data 

Begin job on node117 at 2011-05-02 22:01:17
IDJOB=3321708
IDBENCH=82494
IDSOLVER=1711
FILE ID=node117/3321708-1304366476
RUNJOBID= node117-1304366467-21564
PBS_JOBID= 13181754
Free space on /tmp= 72656 MiB

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

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

MD5SUM BENCH= 2385047c56f7801a7fd110b2ffe2f293
RANDOM SEED=2123509085

node117.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	: 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.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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

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

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


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      23575804 kB
Buffers:       1021420 kB
Cached:        4489620 kB
SwapCached:        160 kB
Active:        3806064 kB
Inactive:      5077516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      23575804 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           20200 kB
Writeback:           0 kB
AnonPages:     3372556 kB
Mapped:          23120 kB
Slab:           408712 kB
PageTables:      19604 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS: 37495224 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= 72652 MiB
End job on node117 at 2011-05-02 22:03:31