Trace number 3380913

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
claspmt 2.0-R4095-patched (fixed)UNSAT 924.844 123.623

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 ...494622/instance-3380913-1305494622.cnf
2.10/2.21	c Solving...
924.81/123.61	s UNSATISFIABLE
924.81/123.61	
924.81/123.61	c Models        : 0     
924.81/123.61	c Time          : 123.402s (Solving: 121.19s 1st Model: 0.00s Unsat: 121.19s)
924.81/123.61	c CPU Time      : 924.610s

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: 961)

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-3380913-1305494622/watcher-3380913-1305494622 -o /tmp/evaluation-result-3380913-1305494622/solver-3380913-1305494622 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3380913-1305494622.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.64 5.25 4.24 1/321 21203
/proc/meminfo: memFree=8883752/32950928 swapFree=64721848/67111528
[pid=21203] ppid=21201 vsize=28416 CPUtime=0 cores=0-7
/proc/21203/stat : 21203 (claspmt) R 21201 21203 21107 0 -1 4202496 2640 0 0 0 0 0 0 0 21 0 1 0 661062026 29097984 2292 33554432000 4194304 4964800 140734477720480 18446744073709551615 248089359045 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21203/statm: 7140 2300 386 189 0 2014 0

[startup+0.030041 s]
/proc/loadavg: 7.64 5.25 4.24 1/321 21203
/proc/meminfo: memFree=8883752/32950928 swapFree=64721848/67111528
[pid=21203] ppid=21201 vsize=31648 CPUtime=0.02 cores=0-7
/proc/21203/stat : 21203 (claspmt) R 21201 21203 21107 0 -1 4202496 3697 0 0 0 2 0 0 0 21 0 1 0 661062026 32407552 3057 33554432000 4194304 4964800 140734477720480 18446744073709551615 248089359045 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21203/statm: 7912 3058 386 189 0 2786 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 31648

[startup+0.101029 s]
/proc/loadavg: 7.64 5.25 4.24 1/321 21203
/proc/meminfo: memFree=8883752/32950928 swapFree=64721848/67111528
[pid=21203] ppid=21201 vsize=43124 CPUtime=0.09 cores=0-7
/proc/21203/stat : 21203 (claspmt) R 21201 21203 21107 0 -1 4202496 7436 0 0 0 8 1 0 0 21 0 1 0 661062026 44158976 5938 33554432000 4194304 4964800 140734477720480 18446744073709551615 248089359045 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21203/statm: 10781 5939 386 189 0 5655 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43124

[startup+0.300994 s]
/proc/loadavg: 7.64 5.25 4.24 1/321 21203
/proc/meminfo: memFree=8883752/32950928 swapFree=64721848/67111528
[pid=21203] ppid=21201 vsize=79492 CPUtime=0.28 cores=0-7
/proc/21203/stat : 21203 (claspmt) R 21201 21203 21107 0 -1 4202496 19186 0 0 0 26 2 0 0 22 0 1 0 661062026 81399808 14452 33554432000 4194304 4964800 140734477720480 18446744073709551615 4625105 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21203/statm: 19873 14452 397 189 0 14747 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 79492

[startup+0.700999 s]
/proc/loadavg: 7.64 5.25 4.24 1/321 21203
/proc/meminfo: memFree=8883752/32950928 swapFree=64721848/67111528
[pid=21203] ppid=21201 vsize=98232 CPUtime=0.69 cores=0-7
/proc/21203/stat : 21203 (claspmt) R 21201 21203 21107 0 -1 4202496 23657 0 0 0 66 3 0 0 24 0 1 0 661062026 100589568 18923 33554432000 4194304 4964800 140734477720480 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21203/statm: 24558 18923 399 189 0 19432 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 98232

[startup+1.50086 s]
/proc/loadavg: 7.64 5.25 4.24 2/322 21204
/proc/meminfo: memFree=8809096/32950928 swapFree=64721848/67111528
[pid=21203] ppid=21201 vsize=98232 CPUtime=1.49 cores=0-7
/proc/21203/stat : 21203 (claspmt) R 21201 21203 21107 0 -1 4202496 23658 0 0 0 146 3 0 0 25 0 1 0 661062026 100589568 18924 33554432000 4194304 4964800 140734477720480 18446744073709551615 4607585 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21203/statm: 24558 18924 399 189 0 19432 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 98232

[startup+3.1005 s]
/proc/loadavg: 7.10 5.18 4.22 2/322 21204
/proc/meminfo: memFree=8804260/32950928 swapFree=64721848/67111528
[pid=21203] ppid=21201 vsize=600356 CPUtime=3.84 cores=0-7
/proc/21203/stat : 21203 (claspmt) S 21201 21203 21107 0 -1 4202496 89590 0 0 0 337 47 0 0 18 0 8 0 661062026 614764544 81946 33554432000 4194304 4964800 140734477720480 18446744073709551615 248101514137 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/21203/statm: 150089 81946 443 189 0 144438 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 600356

[startup+6.30101 s]
/proc/loadavg: 7.10 5.18 4.22 2/329 21211
/proc/meminfo: memFree=8558188/32950928 swapFree=64721848/67111528
[pid=21203] ppid=21201 vsize=600356 CPUtime=7.04 cores=0-7
/proc/21203/stat : 21203 (claspmt) S 21201 21203 21107 0 -1 4202496 89669 0 0 0 657 47 0 0 18 0 8 0 661062026 614764544 82025 33554432000 4194304 4964800 140734477720480 18446744073709551615 248101514137 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/21203/statm: 150089 82025 443 189 0 144438 0
[pid=21203/tid=21205] ppid=21201 vsize=600356 CPUtime=0.16 cores=0-7
/proc/21203/task/21205/stat : 21205 (claspmt) S 21201 21203 21107 0 -1 4202560 7631 0 0 0 10 6 0 0 17 0 8 0 661062247 614764544 82025 33554432000 4194304 4964800 140734477720480 18446744073709551615 248101514137 0 0 4096 18946 18446604449612298048 0 0 -1 1 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=600356 CPUtime=0.14 cores=0-7
/proc/21203/task/21206/stat : 21206 (claspmt) S 21201 21203 21107 0 -1 4202560 8834 0 0 0 8 6 0 0 17 0 8 0 661062247 614764544 82025 33554432000 4194304 4964800 140734477720480 18446744073709551615 248101514137 0 0 4096 18946 18446604449612298048 0 0 -1 0 0 0 0
[pid=21203/tid=21207] ppid=21201 vsize=600356 CPUtime=0.17 cores=0-7
/proc/21203/task/21207/stat : 21207 (claspmt) S 21201 21203 21107 0 -1 4202560 9255 0 0 0 12 5 0 0 17 0 8 0 661062247 614764544 82025 33554432000 4194304 4964800 140734477720480 18446744073709551615 248101514137 0 0 4096 18946 18446604449612298048 0 0 -1 5 0 0 0
[pid=21203/tid=21208] ppid=21201 vsize=600356 CPUtime=0.13 cores=0-7
/proc/21203/task/21208/stat : 21208 (claspmt) S 21201 21203 21107 0 -1 4202560 9003 0 0 0 8 5 0 0 17 0 8 0 661062247 614764544 82025 33554432000 4194304 4964800 140734477720480 18446744073709551615 248101514137 0 0 4096 18946 18446604449612298048 0 0 -1 2 0 0 0
[pid=21203/tid=21209] ppid=21201 vsize=600356 CPUtime=3.9 cores=0-7
/proc/21203/task/21209/stat : 21209 (claspmt) R 21201 21203 21107 0 -1 4202560 11333 0 0 0 383 7 0 0 25 0 8 0 661062247 614764544 82025 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670670 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21203/tid=21210] ppid=21201 vsize=600356 CPUtime=0.12 cores=0-7
/proc/21203/task/21210/stat : 21210 (claspmt) S 21201 21203 21107 0 -1 4202560 8192 0 0 0 7 5 0 0 17 0 8 0 661062247 614764544 82025 33554432000 4194304 4964800 140734477720480 18446744073709551615 248101514137 0 0 4096 18946 18446604449612298048 0 0 -1 0 0 0 0
[pid=21203/tid=21211] ppid=21201 vsize=600356 CPUtime=0.15 cores=0-7
/proc/21203/task/21211/stat : 21211 (claspmt) S 21201 21203 21107 0 -1 4202560 8540 0 0 0 10 5 0 0 17 0 8 0 661062247 614764544 82025 33554432000 4194304 4964800 140734477720480 18446744073709551615 248101514137 0 0 4096 18946 18446604449612298048 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.04
Current children cumulated vsize (KiB) 600356

[startup+12.7008 s]
/proc/loadavg: 6.81 5.17 4.23 9/329 21211
/proc/meminfo: memFree=8527188/32950928 swapFree=64721848/67111528
[pid=21203] ppid=21201 vsize=601280 CPUtime=40.29 cores=0-7
/proc/21203/stat : 21203 (claspmt) R 21201 21203 21107 0 -1 4202496 98141 0 0 0 3976 53 0 0 25 0 8 0 661062026 615710720 90497 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21203/statm: 150320 90497 464 189 0 144669 0
[pid=21203/tid=21205] ppid=21201 vsize=601280 CPUtime=4.01 cores=0-7
/proc/21203/task/21205/stat : 21205 (claspmt) R 21201 21203 21107 0 -1 4202560 8753 0 0 0 394 7 0 0 21 0 8 0 661062247 615710720 90497 33554432000 4194304 4964800 140734477720480 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=601280 CPUtime=3.95 cores=0-7
/proc/21203/task/21206/stat : 21206 (claspmt) R 21201 21203 21107 0 -1 4202560 9812 0 0 0 388 7 0 0 21 0 8 0 661062247 615710720 90497 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21203/tid=21207] ppid=21201 vsize=601280 CPUtime=4.03 cores=0-7
/proc/21203/task/21207/stat : 21207 (claspmt) R 21201 21203 21107 0 -1 4202560 10121 0 0 0 397 6 0 0 21 0 8 0 661062247 615710720 90497 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21203/tid=21208] ppid=21201 vsize=601280 CPUtime=3.99 cores=0-7
/proc/21203/task/21208/stat : 21208 (claspmt) R 21201 21203 21107 0 -1 4202560 9871 0 0 0 393 6 0 0 21 0 8 0 661062247 615710720 90497 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21203/tid=21209] ppid=21201 vsize=601280 CPUtime=10.3 cores=0-7
/proc/21203/task/21209/stat : 21209 (claspmt) R 21201 21203 21107 0 -1 4202560 11347 0 0 0 1023 7 0 0 25 0 8 0 661062247 615710720 90497 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21203/tid=21210] ppid=21201 vsize=601280 CPUtime=3.97 cores=0-7
/proc/21203/task/21210/stat : 21210 (claspmt) R 21201 21203 21107 0 -1 4202560 10473 0 0 0 390 7 0 0 21 0 8 0 661062247 615710720 90497 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21203/tid=21211] ppid=21201 vsize=601280 CPUtime=3.98 cores=0-7
/proc/21203/task/21211/stat : 21211 (claspmt) R 21201 21203 21107 0 -1 4202560 9906 0 0 0 392 6 0 0 21 0 8 0 661062247 615710720 90497 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 40.29
Current children cumulated vsize (KiB) 601280

[startup+25.5006 s]
/proc/loadavg: 6.99 5.27 4.27 9/329 21212
/proc/meminfo: memFree=8500876/32950928 swapFree=64721848/67111528
[pid=21203] ppid=21201 vsize=602004 CPUtime=142.55 cores=0-7
/proc/21203/stat : 21203 (claspmt) R 21201 21203 21107 0 -1 4202496 105133 0 0 0 14192 63 0 0 25 0 8 0 661062026 616452096 97489 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670403 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21203/statm: 150501 97489 464 189 0 144850 0
[pid=21203/tid=21205] ppid=21201 vsize=602004 CPUtime=16.81 cores=0-7
/proc/21203/task/21205/stat : 21205 (claspmt) R 21201 21203 21107 0 -1 4202560 9175 0 0 0 1673 8 0 0 25 0 8 0 661062247 616452096 97490 33554432000 4194304 4964800 140734477720480 18446744073709551615 248089359393 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=602004 CPUtime=16.75 cores=0-7
/proc/21203/task/21206/stat : 21206 (claspmt) R 21201 21203 21107 0 -1 4202560 11512 0 0 0 1666 9 0 0 25 0 8 0 661062247 616452096 97490 33554432000 4194304 4964800 140734477720480 18446744073709551615 4325342 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21203/tid=21207] ppid=21201 vsize=602004 CPUtime=16.83 cores=0-7
/proc/21203/task/21207/stat : 21207 (claspmt) R 21201 21203 21107 0 -1 4202560 11048 0 0 0 1676 7 0 0 25 0 8 0 661062247 616452096 97490 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21203/tid=21208] ppid=21201 vsize=602004 CPUtime=16.79 cores=0-7
/proc/21203/task/21208/stat : 21208 (claspmt) R 21201 21203 21107 0 -1 4202560 11307 0 0 0 1672 7 0 0 25 0 8 0 661062247 616452096 97490 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21203/tid=21209] ppid=21201 vsize=602004 CPUtime=23.1 cores=0-7
/proc/21203/task/21209/stat : 21209 (claspmt) R 21201 21203 21107 0 -1 4202560 11449 0 0 0 2303 7 0 0 25 0 8 0 661062247 616452096 97490 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21203/tid=21210] ppid=21201 vsize=602004 CPUtime=16.76 cores=0-7
/proc/21203/task/21210/stat : 21210 (claspmt) R 21201 21203 21107 0 -1 4202560 11279 0 0 0 1669 7 0 0 25 0 8 0 661062247 616452096 97490 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21203/tid=21211] ppid=21201 vsize=602004 CPUtime=16.79 cores=0-7
/proc/21203/task/21211/stat : 21211 (claspmt) R 21201 21203 21107 0 -1 4202560 11380 0 0 0 1670 9 0 0 25 0 8 0 661062247 616452096 97490 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 142.55
Current children cumulated vsize (KiB) 602004

[startup+51.101 s]
/proc/loadavg: 7.33 5.48 4.36 9/329 21212
/proc/meminfo: memFree=8447808/32950928 swapFree=64721848/67111528
[pid=21203] ppid=21201 vsize=606720 CPUtime=347.07 cores=0-7
/proc/21203/stat : 21203 (claspmt) R 21201 21203 21107 0 -1 4202496 119046 0 0 0 34628 79 0 0 25 0 8 0 661062026 621281280 111402 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670323 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21203/statm: 151680 111402 466 189 0 146029 0
[pid=21203/tid=21205] ppid=21201 vsize=606720 CPUtime=42.42 cores=0-7
/proc/21203/task/21205/stat : 21205 (claspmt) R 21201 21203 21107 0 -1 4202560 9554 0 0 0 4233 9 0 0 25 0 8 0 661062247 621281280 111402 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=606720 CPUtime=42.34 cores=0-7
/proc/21203/task/21206/stat : 21206 (claspmt) R 21201 21203 21107 0 -1 4202560 12913 0 0 0 4223 11 0 0 25 0 8 0 661062247 621281280 111402 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21203/tid=21207] ppid=21201 vsize=606720 CPUtime=42.43 cores=0-7
/proc/21203/task/21207/stat : 21207 (claspmt) R 21201 21203 21107 0 -1 4202560 12289 0 0 0 4234 9 0 0 25 0 8 0 661062247 621281280 111402 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21203/tid=21208] ppid=21201 vsize=606720 CPUtime=42.39 cores=0-7
/proc/21203/task/21208/stat : 21208 (claspmt) R 21201 21203 21107 0 -1 4202560 12911 0 0 0 4230 9 0 0 25 0 8 0 661062247 621281280 111402 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21203/tid=21209] ppid=21201 vsize=606720 CPUtime=48.7 cores=0-7
/proc/21203/task/21209/stat : 21209 (claspmt) R 21201 21203 21107 0 -1 4202560 14689 0 0 0 4858 12 0 0 25 0 8 0 661062247 621281280 111402 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21203/tid=21210] ppid=21201 vsize=606720 CPUtime=42.37 cores=0-7
/proc/21203/task/21210/stat : 21210 (claspmt) R 21201 21203 21107 0 -1 4202560 13226 0 0 0 4228 9 0 0 25 0 8 0 661062247 621281280 111402 33554432000 4194304 4964800 140734477720480 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21203/tid=21211] ppid=21201 vsize=606720 CPUtime=42.39 cores=0-7
/proc/21203/task/21211/stat : 21211 (claspmt) R 21201 21203 21107 0 -1 4202560 14702 0 0 0 4226 13 0 0 25 0 8 0 661062247 621281280 111402 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 347.07
Current children cumulated vsize (KiB) 606720

[startup+102.313 s]
/proc/loadavg: 7.73 5.91 4.57 9/329 21214
/proc/meminfo: memFree=8376424/32950928 swapFree=64721848/67111528
[pid=21203] ppid=21201 vsize=683216 CPUtime=756.21 cores=0-7
/proc/21203/stat : 21203 (claspmt) R 21201 21203 21107 0 -1 4202496 136346 0 0 0 75514 107 0 0 25 0 8 0 661062026 699613184 128702 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21203/statm: 170804 128702 466 189 0 165153 0
[pid=21203/tid=21205] ppid=21201 vsize=683216 CPUtime=93.62 cores=0-7
/proc/21203/task/21205/stat : 21205 (claspmt) R 21201 21203 21107 0 -1 4202560 10322 0 0 0 9352 10 0 0 25 0 8 0 661062247 699613184 128702 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=683216 CPUtime=93.55 cores=0-7
/proc/21203/task/21206/stat : 21206 (claspmt) R 21201 21203 21107 0 -1 4202560 14881 0 0 0 9339 16 0 0 25 0 8 0 661062247 699613184 128702 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21203/tid=21207] ppid=21201 vsize=683216 CPUtime=93.65 cores=0-7
/proc/21203/task/21207/stat : 21207 (claspmt) R 21201 21203 21107 0 -1 4202560 14419 0 0 0 9353 12 0 0 25 0 8 0 661062247 699613184 128702 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21203/tid=21208] ppid=21201 vsize=683216 CPUtime=93.6 cores=0-7
/proc/21203/task/21208/stat : 21208 (claspmt) R 21201 21203 21107 0 -1 4202560 15856 0 0 0 9348 12 0 0 25 0 8 0 661062247 699613184 128702 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21203/tid=21209] ppid=21201 vsize=683216 CPUtime=99.91 cores=0-7
/proc/21203/task/21209/stat : 21209 (claspmt) R 21201 21203 21107 0 -1 4202560 16290 0 0 0 9977 14 0 0 25 0 8 0 661062247 699613184 128702 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670407 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21203/tid=21210] ppid=21201 vsize=683216 CPUtime=93.58 cores=0-7
/proc/21203/task/21210/stat : 21210 (claspmt) R 21201 21203 21107 0 -1 4202560 15900 0 0 0 9347 11 0 0 25 0 8 0 661062247 699613184 128702 33554432000 4194304 4964800 140734477720480 18446744073709551615 4675677 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21203/tid=21211] ppid=21201 vsize=683216 CPUtime=93.6 cores=0-7
/proc/21203/task/21211/stat : 21211 (claspmt) R 21201 21203 21107 0 -1 4202560 19207 0 0 0 9339 21 0 0 25 0 8 0 661062247 699613184 128702 33554432000 4194304 4964800 140734477720480 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 756.21
Current children cumulated vsize (KiB) 683216

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

[startup+115.101 s]
/proc/loadavg: 7.77 5.97 4.61 9/329 21214
/proc/meminfo: memFree=8369176/32950928 swapFree=64721848/67111528
[pid=21203] ppid=21201 vsize=685204 CPUtime=858.38 cores=0-7
/proc/21203/stat : 21203 (claspmt) R 21201 21203 21107 0 -1 4202496 138361 0 0 0 85729 109 0 0 25 0 8 0 661062026 701648896 130713 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21203/statm: 171301 130713 466 189 0 165650 0
[pid=21203/tid=21205] ppid=21201 vsize=685204 CPUtime=106.4 cores=0-7
/proc/21203/task/21205/stat : 21205 (claspmt) R 21201 21203 21107 0 -1 4202560 10366 0 0 0 10630 10 0 0 25 0 8 0 661062247 701648896 130713 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=685204 CPUtime=106.34 cores=0-7
/proc/21203/task/21206/stat : 21206 (claspmt) R 21201 21203 21107 0 -1 4202560 14892 0 0 0 10618 16 0 0 25 0 8 0 661062247 701648896 130713 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670330 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21203/tid=21207] ppid=21201 vsize=685204 CPUtime=106.43 cores=0-7
/proc/21203/task/21207/stat : 21207 (claspmt) R 21201 21203 21107 0 -1 4202560 14685 0 0 0 10631 12 0 0 25 0 8 0 661062247 701648896 130713 33554432000 4194304 4964800 140734477720480 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21203/tid=21208] ppid=21201 vsize=685204 CPUtime=106.38 cores=0-7
/proc/21203/task/21208/stat : 21208 (claspmt) R 21201 21203 21107 0 -1 4202560 16064 0 0 0 10626 12 0 0 25 0 8 0 661062247 701648896 130713 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21203/tid=21209] ppid=21201 vsize=685204 CPUtime=112.7 cores=0-7
/proc/21203/task/21209/stat : 21209 (claspmt) R 21201 21203 21107 0 -1 4202560 16658 0 0 0 11256 14 0 0 25 0 8 0 661062247 701648896 130713 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21203/tid=21210] ppid=21201 vsize=685204 CPUtime=106.37 cores=0-7
/proc/21203/task/21210/stat : 21210 (claspmt) R 21201 21203 21107 0 -1 4202560 16096 0 0 0 10625 12 0 0 25 0 8 0 661062247 701648896 130713 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21203/tid=21211] ppid=21201 vsize=685204 CPUtime=106.39 cores=0-7
/proc/21203/task/21211/stat : 21211 (claspmt) R 21201 21203 21107 0 -1 4202560 20015 0 0 0 10617 22 0 0 25 0 8 0 661062247 701648896 130713 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 858.38
Current children cumulated vsize (KiB) 685204

[startup+118.301 s]
/proc/loadavg: 7.79 6.01 4.62 9/329 21214
/proc/meminfo: memFree=8368956/32950928 swapFree=64721848/67111528
[pid=21203] ppid=21201 vsize=685204 CPUtime=883.95 cores=0-7
/proc/21203/stat : 21203 (claspmt) R 21201 21203 21107 0 -1 4202496 138369 0 0 0 88286 109 0 0 25 0 8 0 661062026 701648896 130721 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21203/statm: 171301 130721 466 189 0 165650 0
[pid=21203/tid=21205] ppid=21201 vsize=685204 CPUtime=109.61 cores=0-7
/proc/21203/task/21205/stat : 21205 (claspmt) R 21201 21203 21107 0 -1 4202560 10366 0 0 0 10951 10 0 0 25 0 8 0 661062247 701648896 130721 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=685204 CPUtime=109.54 cores=0-7
/proc/21203/task/21206/stat : 21206 (claspmt) R 21201 21203 21107 0 -1 4202560 14893 0 0 0 10938 16 0 0 25 0 8 0 661062247 701648896 130721 33554432000 4194304 4964800 140734477720480 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21203/tid=21207] ppid=21201 vsize=685204 CPUtime=109.63 cores=0-7
/proc/21203/task/21207/stat : 21207 (claspmt) R 21201 21203 21107 0 -1 4202560 14685 0 0 0 10951 12 0 0 25 0 8 0 661062247 701648896 130721 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21203/tid=21208] ppid=21201 vsize=685204 CPUtime=109.58 cores=0-7
/proc/21203/task/21208/stat : 21208 (claspmt) R 21201 21203 21107 0 -1 4202560 16064 0 0 0 10946 12 0 0 25 0 8 0 661062247 701648896 130721 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21203/tid=21209] ppid=21201 vsize=685204 CPUtime=115.9 cores=0-7
/proc/21203/task/21209/stat : 21209 (claspmt) R 21201 21203 21107 0 -1 4202560 16658 0 0 0 11576 14 0 0 25 0 8 0 661062247 701648896 130721 33554432000 4194304 4964800 140734477720480 18446744073709551615 4669389 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21203/tid=21210] ppid=21201 vsize=685204 CPUtime=109.57 cores=0-7
/proc/21203/task/21210/stat : 21210 (claspmt) R 21201 21203 21107 0 -1 4202560 16103 0 0 0 10945 12 0 0 25 0 8 0 661062247 701648896 130721 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21203/tid=21211] ppid=21201 vsize=685204 CPUtime=109.59 cores=0-7
/proc/21203/task/21211/stat : 21211 (claspmt) R 21201 21203 21107 0 -1 4202560 20015 0 0 0 10937 22 0 0 25 0 8 0 661062247 701648896 130721 33554432000 4194304 4964800 140734477720480 18446744073709551615 4668698 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 883.95
Current children cumulated vsize (KiB) 685204

[startup+121.501 s]
/proc/loadavg: 7.79 6.01 4.62 9/329 21214
/proc/meminfo: memFree=8368588/32950928 swapFree=64721848/67111528
[pid=21203] ppid=21201 vsize=685204 CPUtime=909.5 cores=0-7
/proc/21203/stat : 21203 (claspmt) R 21201 21203 21107 0 -1 4202496 138417 0 0 0 90841 109 0 0 25 0 8 0 661062026 701648896 130769 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21203/statm: 171301 130769 466 189 0 165650 0
[pid=21203/tid=21205] ppid=21201 vsize=685204 CPUtime=112.8 cores=0-7
/proc/21203/task/21205/stat : 21205 (claspmt) R 21201 21203 21107 0 -1 4202560 10395 0 0 0 11270 10 0 0 25 0 8 0 661062247 701648896 130769 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=685204 CPUtime=112.74 cores=0-7
/proc/21203/task/21206/stat : 21206 (claspmt) R 21201 21203 21107 0 -1 4202560 14893 0 0 0 11258 16 0 0 25 0 8 0 661062247 701648896 130769 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21203/tid=21207] ppid=21201 vsize=685204 CPUtime=112.83 cores=0-7
/proc/21203/task/21207/stat : 21207 (claspmt) R 21201 21203 21107 0 -1 4202560 14685 0 0 0 11271 12 0 0 25 0 8 0 661062247 701648896 130769 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21203/tid=21208] ppid=21201 vsize=685204 CPUtime=112.78 cores=0-7
/proc/21203/task/21208/stat : 21208 (claspmt) R 21201 21203 21107 0 -1 4202560 16064 0 0 0 11266 12 0 0 25 0 8 0 661062247 701648896 130769 33554432000 4194304 4964800 140734477720480 18446744073709551615 4669376 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21203/tid=21209] ppid=21201 vsize=685204 CPUtime=119.09 cores=0-7
/proc/21203/task/21209/stat : 21209 (claspmt) R 21201 21203 21107 0 -1 4202560 16669 0 0 0 11895 14 0 0 25 0 8 0 661062247 701648896 130769 33554432000 4194304 4964800 140734477720480 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21203/tid=21210] ppid=21201 vsize=685204 CPUtime=112.77 cores=0-7
/proc/21203/task/21210/stat : 21210 (claspmt) R 21201 21203 21107 0 -1 4202560 16111 0 0 0 11265 12 0 0 25 0 8 0 661062247 701648896 130769 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21203/tid=21211] ppid=21201 vsize=685204 CPUtime=112.79 cores=0-7
/proc/21203/task/21211/stat : 21211 (claspmt) R 21201 21203 21107 0 -1 4202560 20015 0 0 0 11257 22 0 0 25 0 8 0 661062247 701648896 130769 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670403 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 909.5
Current children cumulated vsize (KiB) 685204

[startup+122.3 s]
/proc/loadavg: 7.81 6.04 4.64 9/329 21214
/proc/meminfo: memFree=8368588/32950928 swapFree=64721848/67111528
[pid=21203] ppid=21201 vsize=685204 CPUtime=915.89 cores=0-7
/proc/21203/stat : 21203 (claspmt) R 21201 21203 21107 0 -1 4202496 138417 0 0 0 91480 109 0 0 25 0 8 0 661062026 701648896 130768 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21203/statm: 171301 130768 466 189 0 165650 0
[pid=21203/tid=21205] ppid=21201 vsize=685204 CPUtime=113.6 cores=0-7
/proc/21203/task/21205/stat : 21205 (claspmt) R 21201 21203 21107 0 -1 4202560 10395 0 0 0 11350 10 0 0 25 0 8 0 661062247 701648896 130768 33554432000 4194304 4964800 140734477720480 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=685204 CPUtime=113.54 cores=0-7
/proc/21203/task/21206/stat : 21206 (claspmt) R 21201 21203 21107 0 -1 4202560 14893 0 0 0 11338 16 0 0 25 0 8 0 661062247 701648896 130768 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21203/tid=21207] ppid=21201 vsize=685204 CPUtime=113.63 cores=0-7
/proc/21203/task/21207/stat : 21207 (claspmt) R 21201 21203 21107 0 -1 4202560 14685 0 0 0 11351 12 0 0 25 0 8 0 661062247 701648896 130768 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21203/tid=21208] ppid=21201 vsize=685204 CPUtime=113.58 cores=0-7
/proc/21203/task/21208/stat : 21208 (claspmt) R 21201 21203 21107 0 -1 4202560 16064 0 0 0 11346 12 0 0 25 0 8 0 661062247 701648896 130768 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670343 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21203/tid=21209] ppid=21201 vsize=685204 CPUtime=119.89 cores=0-7
/proc/21203/task/21209/stat : 21209 (claspmt) R 21201 21203 21107 0 -1 4202560 16669 0 0 0 11975 14 0 0 25 0 8 0 661062247 701648896 130768 33554432000 4194304 4964800 140734477720480 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21203/tid=21210] ppid=21201 vsize=685204 CPUtime=113.57 cores=0-7
/proc/21203/task/21210/stat : 21210 (claspmt) R 21201 21203 21107 0 -1 4202560 16111 0 0 0 11345 12 0 0 25 0 8 0 661062247 701648896 130768 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21203/tid=21211] ppid=21201 vsize=685204 CPUtime=113.59 cores=0-7
/proc/21203/task/21211/stat : 21211 (claspmt) R 21201 21203 21107 0 -1 4202560 20015 0 0 0 11337 22 0 0 25 0 8 0 661062247 701648896 130768 33554432000 4194304 4964800 140734477720480 18446744073709551615 4320984 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 915.89
Current children cumulated vsize (KiB) 685204

[startup+123.1 s]
/proc/loadavg: 7.81 6.04 4.64 9/329 21214
/proc/meminfo: memFree=8368580/32950928 swapFree=64721848/67111528
[pid=21203] ppid=21201 vsize=685204 CPUtime=922.36 cores=0-7
/proc/21203/stat : 21203 (claspmt) R 21201 21203 21107 0 -1 4202496 138417 0 0 0 92127 109 0 0 25 0 8 0 661062026 701648896 130768 33554432000 4194304 4964800 140734477720480 18446744073709551615 4364587 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21203/statm: 171301 130768 466 189 0 165650 0
[pid=21203/tid=21205] ppid=21201 vsize=685204 CPUtime=114.41 cores=0-7
/proc/21203/task/21205/stat : 21205 (claspmt) R 21201 21203 21107 0 -1 4202560 10395 0 0 0 11431 10 0 0 25 0 8 0 661062247 701648896 130768 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21203/tid=21206] ppid=21201 vsize=685204 CPUtime=114.35 cores=0-7
/proc/21203/task/21206/stat : 21206 (claspmt) R 21201 21203 21107 0 -1 4202560 14893 0 0 0 11419 16 0 0 25 0 8 0 661062247 701648896 130768 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21203/tid=21207] ppid=21201 vsize=685204 CPUtime=114.44 cores=0-7
/proc/21203/task/21207/stat : 21207 (claspmt) R 21201 21203 21107 0 -1 4202560 14685 0 0 0 11432 12 0 0 25 0 8 0 661062247 701648896 130768 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21203/tid=21208] ppid=21201 vsize=685204 CPUtime=114.39 cores=0-7
/proc/21203/task/21208/stat : 21208 (claspmt) R 21201 21203 21107 0 -1 4202560 16064 0 0 0 11427 12 0 0 25 0 8 0 661062247 701648896 130768 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21203/tid=21209] ppid=21201 vsize=685204 CPUtime=120.71 cores=0-7
/proc/21203/task/21209/stat : 21209 (claspmt) R 21201 21203 21107 0 -1 4202560 16669 0 0 0 12057 14 0 0 25 0 8 0 661062247 701648896 130768 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21203/tid=21210] ppid=21201 vsize=685204 CPUtime=114.38 cores=0-7
/proc/21203/task/21210/stat : 21210 (claspmt) R 21201 21203 21107 0 -1 4202560 16111 0 0 0 11426 12 0 0 25 0 8 0 661062247 701648896 130768 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21203/tid=21211] ppid=21201 vsize=685204 CPUtime=114.4 cores=0-7
/proc/21203/task/21211/stat : 21211 (claspmt) R 21201 21203 21107 0 -1 4202560 20015 0 0 0 11418 22 0 0 25 0 8 0 661062247 701648896 130768 33554432000 4194304 4964800 140734477720480 18446744073709551615 4670343 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 922.36
Current children cumulated vsize (KiB) 685204

[startup+123.5 s]
/proc/loadavg: 7.81 6.04 4.64 9/329 21214
/proc/meminfo: memFree=8368580/32950928 swapFree=64721848/67111528
[pid=21203] ppid=21201 vsize=680724 CPUtime=924.71 cores=0-7
/proc/21203/stat : 21203 (claspmt) R 21201 21203 21107 0 -1 4202496 138427 0 0 0 92362 109 0 0 18 0 1 0 661062026 697061376 129453 33554432000 4194304 4964800 140734477720480 18446744073709551615 4646544 0 0 4096 18946 0 0 0 17 7 0 0 0
/proc/21203/statm: 170181 129453 476 189 0 164530 0
Current children cumulated CPU time (s) 924.71
Current children cumulated vsize (KiB) 680724

[startup+123.6 s]
/proc/loadavg: 7.81 6.04 4.64 9/329 21214
/proc/meminfo: memFree=8368580/32950928 swapFree=64721848/67111528
[pid=21203] ppid=21201 vsize=596712 CPUtime=924.81 cores=0-7
/proc/21203/stat : 21203 (claspmt) R 21201 21203 21107 0 -1 4202496 138427 0 0 0 92371 110 0 0 18 0 1 0 661062026 611033088 91853 33554432000 4194304 4964800 140734477720480 18446744073709551615 248089741671 0 0 4096 18946 0 0 0 17 7 0 0 0
/proc/21203/statm: 149178 91853 476 189 0 143527 0
Current children cumulated CPU time (s) 924.81
Current children cumulated vsize (KiB) 596712

Child status: 20
Real time (s): 123.623
CPU time (s): 924.844
CPU user time (s): 923.72
CPU system time (s): 1.12483
CPU usage (%): 748.115
Max. virtual memory (cumulated for all children) (KiB): 685204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 923.72
system time used= 1.12483
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138428
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= 61624
involuntary context switches= 4386

runsolver used 0.32795 second user time and 0.995848 second system time

The end

Launcher Data 

Begin job on node123 at 2011-05-15 23:23:42
IDJOB=3380913
IDBENCH=82494
IDSOLVER=1865
FILE ID=node123/3380913-1305494622
RUNJOBID= node123-1305494455-21121
PBS_JOBID= 13325432
Free space on /tmp= 73384 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
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-3380913-1305494622/watcher-3380913-1305494622 -o /tmp/evaluation-result-3380913-1305494622/solver-3380913-1305494622 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3380913-1305494622.cnf

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

MD5SUM BENCH= 2385047c56f7801a7fd110b2ffe2f293
RANDOM SEED=795098155

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       8883900 kB
Buffers:        333476 kB
Cached:        4461860 kB
SwapCached:      10528 kB
Active:       20673656 kB
Inactive:      3083868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       8883900 kB
SwapTotal:    67111528 kB
SwapFree:     64721848 kB
Dirty:           19752 kB
Writeback:           0 kB
AnonPages:    18959364 kB
Mapped:          24796 kB
Slab:           180768 kB
PageTables:      59680 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 69836452 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= 73384 MiB
End job on node123 at 2011-05-15 23:25:46