Trace number 3373521

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)? (TO) 4800.61 1204.12

General information on the benchmark

NameSAT02/industrial/nam/fpga-routing/
k2fix_gr_rcs_w8.shuffled.cnf
MD5SUM82e833e539576c6d79252b19dcace0cf
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark5.08123
Satisfiable
(Un)Satisfiability was proved
Number of variables10056
Number of clauses271393
Sum of the clauses size550328
Maximum clause length8
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2270136
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51257

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...431996/instance-3373521-1305431996.cnf
1.69/1.77	c Solving...
4800.37/1203.91	
4800.37/1203.91	*** INTERRUPTED! ***
4800.37/1203.91	*** Shutting down threads...
4800.58/1204.11	s UNKNOWN
4800.58/1204.11	
4800.58/1204.11	c INTERRUPTED   : 1
4800.58/1204.11	c Models        : 0+    
4800.58/1204.11	c Time          : 1203.915s (Solving: 1202.14s 1st Model: 0.00s Unsat: 0.00s)
4800.58/1204.11	c CPU Time      : 4800.400s

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

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

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

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


[startup+0 s]
/proc/loadavg: 4.58 5.94 6.76 6/277 7713
/proc/meminfo: memFree=25115680/32951124 swapFree=67083432/67111528
[pid=7713] ppid=7711 vsize=23508 CPUtime=0 cores=0,2,4,6
/proc/7713/stat : 7713 (claspmt) R 7711 7713 510 0 -1 4202496 1220 0 0 0 0 0 0 0 25 0 1 0 733430190 24072192 1072 33554432000 4194304 4964800 140733444948480 18446744073709551615 4583014 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/7713/statm: 5877 1072 385 189 0 751 0

[startup+0.034365 s]
/proc/loadavg: 4.58 5.94 6.76 6/277 7713
/proc/meminfo: memFree=25115680/32951124 swapFree=67083432/67111528
[pid=7713] ppid=7711 vsize=28144 CPUtime=0.02 cores=0,2,4,6
/proc/7713/stat : 7713 (claspmt) R 7711 7713 510 0 -1 4202496 2856 0 0 0 2 0 0 0 25 0 1 0 733430190 28819456 2235 33554432000 4194304 4964800 140733444948480 18446744073709551615 260020056773 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/7713/statm: 7036 2237 385 189 0 1910 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 28144

[startup+0.100355 s]
/proc/loadavg: 4.58 5.94 6.76 6/277 7713
/proc/meminfo: memFree=25115680/32951124 swapFree=67083432/67111528
[pid=7713] ppid=7711 vsize=38224 CPUtime=0.09 cores=0,2,4,6
/proc/7713/stat : 7713 (claspmt) R 7711 7713 510 0 -1 4202496 6039 0 0 0 8 1 0 0 25 0 1 0 733430190 39141376 4644 33554432000 4194304 4964800 140733444948480 18446744073709551615 4616033 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/7713/statm: 9556 4645 397 189 0 4430 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38224

[startup+0.300322 s]
/proc/loadavg: 4.58 5.94 6.76 6/277 7713
/proc/meminfo: memFree=25115680/32951124 swapFree=67083432/67111528
[pid=7713] ppid=7711 vsize=40044 CPUtime=0.29 cores=0,2,4,6
/proc/7713/stat : 7713 (claspmt) R 7711 7713 510 0 -1 4202496 6499 0 0 0 28 1 0 0 25 0 1 0 733430190 41005056 5104 33554432000 4194304 4964800 140733444948480 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/7713/statm: 10011 5104 401 189 0 4885 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40044

[startup+0.700244 s]
/proc/loadavg: 4.58 5.94 6.76 6/277 7713
/proc/meminfo: memFree=25115680/32951124 swapFree=67083432/67111528
[pid=7713] ppid=7711 vsize=41232 CPUtime=0.69 cores=0,2,4,6
/proc/7713/stat : 7713 (claspmt) R 7711 7713 510 0 -1 4202496 6811 0 0 0 68 1 0 0 25 0 1 0 733430190 42221568 5416 33554432000 4194304 4964800 140733444948480 18446744073709551615 260020056773 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/7713/statm: 10308 5416 402 189 0 5182 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41232

[startup+1.5011 s]
/proc/loadavg: 4.58 5.94 6.76 6/278 7714
/proc/meminfo: memFree=25089908/32951124 swapFree=67083432/67111528
[pid=7713] ppid=7711 vsize=47040 CPUtime=1.49 cores=0,2,4,6
/proc/7713/stat : 7713 (claspmt) R 7711 7713 510 0 -1 4202496 8276 0 0 0 148 1 0 0 25 0 1 0 733430190 48168960 6881 33554432000 4194304 4964800 140733444948480 18446744073709551615 4600360 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/7713/statm: 11760 6881 402 189 0 6634 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47040

[startup+3.10076 s]
/proc/loadavg: 4.58 5.94 6.76 9/281 7717
/proc/meminfo: memFree=25061240/32951124 swapFree=67083432/67111528
[pid=7713] ppid=7711 vsize=261800 CPUtime=6.97 cores=0,2,4,6
/proc/7713/stat : 7713 (claspmt) R 7711 7713 510 0 -1 4202496 15485 0 0 0 693 4 0 0 25 0 4 0 733430190 268083200 13395 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670299 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7713/statm: 65450 13395 458 189 0 59799 0
[pid=7713/tid=7715] ppid=7711 vsize=261800 CPUtime=1.3 cores=0,2,4,6
/proc/7713/task/7715/stat : 7715 (claspmt) R 7711 7713 510 0 -1 4202560 1529 0 0 0 129 1 0 0 19 0 4 0 733430367 268083200 13395 33554432000 4194304 4964800 140733444948480 18446744073709551615 4627412 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7713/tid=7716] ppid=7711 vsize=261800 CPUtime=1.29 cores=0,2,4,6
/proc/7713/task/7716/stat : 7716 (claspmt) R 7711 7713 510 0 -1 4202560 2135 0 0 0 129 0 0 0 19 0 4 0 733430367 268083200 13395 33554432000 4194304 4964800 140733444948480 18446744073709551615 4627254 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7713/tid=7717] ppid=7711 vsize=261800 CPUtime=1.3 cores=0,2,4,6
/proc/7713/task/7717/stat : 7717 (claspmt) R 7711 7713 510 0 -1 4202560 2000 0 0 0 130 0 0 0 25 0 4 0 733430367 268083200 13395 33554432000 4194304 4964800 140733444948480 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.97
Current children cumulated vsize (KiB) 261800

[startup+6.30118 s]
/proc/loadavg: 4.85 5.97 6.76 9/281 7717
/proc/meminfo: memFree=25047944/32951124 swapFree=67083432/67111528
[pid=7713] ppid=7711 vsize=261800 CPUtime=19.74 cores=0,2,4,6
/proc/7713/stat : 7713 (claspmt) R 7711 7713 510 0 -1 4202496 16842 0 0 0 1969 5 0 0 25 0 4 0 733430190 268083200 14752 33554432000 4194304 4964800 140733444948480 18446744073709551615 4627252 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7713/statm: 65450 14752 458 189 0 59799 0
[pid=7713/tid=7715] ppid=7711 vsize=261800 CPUtime=4.49 cores=0,2,4,6
/proc/7713/task/7715/stat : 7715 (claspmt) R 7711 7713 510 0 -1 4202560 2022 0 0 0 448 1 0 0 25 0 4 0 733430367 268083200 14752 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7713/tid=7716] ppid=7711 vsize=261800 CPUtime=4.46 cores=0,2,4,6
/proc/7713/task/7716/stat : 7716 (claspmt) R 7711 7713 510 0 -1 4202560 2374 0 0 0 446 0 0 0 25 0 4 0 733430367 268083200 14752 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7713/tid=7717] ppid=7711 vsize=261800 CPUtime=4.5 cores=0,2,4,6
/proc/7713/task/7717/stat : 7717 (claspmt) R 7711 7713 510 0 -1 4202560 2411 0 0 0 450 0 0 0 25 0 4 0 733430367 268083200 14752 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.74
Current children cumulated vsize (KiB) 261800

[startup+12.701 s]
/proc/loadavg: 5.10 6.01 6.77 9/281 7717
/proc/meminfo: memFree=25033540/32951124 swapFree=67083432/67111528
[pid=7713] ppid=7711 vsize=261800 CPUtime=45.29 cores=0,2,4,6
/proc/7713/stat : 7713 (claspmt) R 7711 7713 510 0 -1 4202496 19085 0 0 0 4521 8 0 0 25 0 4 0 733430190 268083200 16995 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7713/statm: 65450 16995 458 189 0 59799 0
[pid=7713/tid=7715] ppid=7711 vsize=261800 CPUtime=10.89 cores=0,2,4,6
/proc/7713/task/7715/stat : 7715 (claspmt) R 7711 7713 510 0 -1 4202560 2443 0 0 0 1087 2 0 0 25 0 4 0 733430367 268083200 16995 33554432000 4194304 4964800 140733444948480 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7713/tid=7716] ppid=7711 vsize=261800 CPUtime=10.81 cores=0,2,4,6
/proc/7713/task/7716/stat : 7716 (claspmt) R 7711 7713 510 0 -1 4202560 3234 0 0 0 1080 1 0 0 25 0 4 0 733430367 268083200 16995 33554432000 4194304 4964800 140733444948480 18446744073709551615 4627378 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7713/tid=7717] ppid=7711 vsize=261800 CPUtime=10.9 cores=0,2,4,6
/proc/7713/task/7717/stat : 7717 (claspmt) R 7711 7713 510 0 -1 4202560 3015 0 0 0 1089 1 0 0 25 0 4 0 733430367 268083200 16995 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 45.29
Current children cumulated vsize (KiB) 261800

[startup+25.5007 s]
/proc/loadavg: 5.74 6.10 6.79 9/281 7717
/proc/meminfo: memFree=25008972/32951124 swapFree=67083432/67111528
[pid=7713] ppid=7711 vsize=265792 CPUtime=96.38 cores=0,2,4,6
/proc/7713/stat : 7713 (claspmt) R 7711 7713 510 0 -1 4202496 23055 0 0 0 9626 12 0 0 25 0 4 0 733430190 272171008 20965 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670437 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7713/statm: 66448 20965 460 189 0 60797 0
[pid=7713/tid=7715] ppid=7711 vsize=265792 CPUtime=23.69 cores=0,2,4,6
/proc/7713/task/7715/stat : 7715 (claspmt) R 7711 7713 510 0 -1 4202560 3036 0 0 0 2366 3 0 0 25 0 4 0 733430367 272171008 20965 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7713/tid=7716] ppid=7711 vsize=265792 CPUtime=23.5 cores=0,2,4,6
/proc/7713/task/7716/stat : 7716 (claspmt) R 7711 7713 510 0 -1 4202560 5128 0 0 0 2347 3 0 0 25 0 4 0 733430367 272171008 20965 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7713/tid=7717] ppid=7711 vsize=265792 CPUtime=23.7 cores=0,2,4,6
/proc/7713/task/7717/stat : 7717 (claspmt) R 7711 7713 510 0 -1 4202560 3961 0 0 0 2369 1 0 0 25 0 4 0 733430367 272171008 20965 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670670 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 96.38
Current children cumulated vsize (KiB) 265792

[startup+51.101 s]
/proc/loadavg: 6.57 6.27 6.83 9/281 7718
/proc/meminfo: memFree=24978576/32951124 swapFree=67083432/67111528
[pid=7713] ppid=7711 vsize=274024 CPUtime=198.57 cores=0,2,4,6
/proc/7713/stat : 7713 (claspmt) R 7711 7713 510 0 -1 4202496 29207 0 0 0 19840 17 0 0 25 0 4 0 733430190 280600576 27117 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7713/statm: 68506 27117 460 189 0 62855 0
[pid=7713/tid=7715] ppid=7711 vsize=274024 CPUtime=49.29 cores=0,2,4,6
/proc/7713/task/7715/stat : 7715 (claspmt) R 7711 7713 510 0 -1 4202560 4176 0 0 0 4925 4 0 0 25 0 4 0 733430367 280600576 27120 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7713/tid=7716] ppid=7711 vsize=274024 CPUtime=48.89 cores=0,2,4,6
/proc/7713/task/7716/stat : 7716 (claspmt) R 7711 7713 510 0 -1 4202560 7457 0 0 0 4885 4 0 0 25 0 4 0 733430367 280600576 27120 33554432000 4194304 4964800 140733444948480 18446744073709551615 4320848 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7713/tid=7717] ppid=7711 vsize=274024 CPUtime=49.31 cores=0,2,4,6
/proc/7713/task/7717/stat : 7717 (claspmt) R 7711 7713 510 0 -1 4202560 5823 0 0 0 4928 3 0 0 25 0 4 0 733430367 280600576 27120 33554432000 4194304 4964800 140733444948480 18446744073709551615 260020092683 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 198.57
Current children cumulated vsize (KiB) 274024

[startup+102.311 s]
/proc/loadavg: 7.52 6.57 6.90 9/281 7728
/proc/meminfo: memFree=24940316/32951124 swapFree=67083432/67111528
[pid=7713] ppid=7711 vsize=274720 CPUtime=402.97 cores=0,2,4,6
/proc/7713/stat : 7713 (claspmt) R 7711 7713 510 0 -1 4202496 37144 0 0 0 40275 22 0 0 25 0 4 0 733430190 281313280 35053 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670346 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7713/statm: 68680 35053 460 189 0 63029 0
[pid=7713/tid=7715] ppid=7711 vsize=274720 CPUtime=100.5 cores=0,2,4,6
/proc/7713/task/7715/stat : 7715 (claspmt) R 7711 7713 510 0 -1 4202560 5269 0 0 0 10045 5 0 0 25 0 4 0 733430367 281313280 35053 33554432000 4194304 4964800 140733444948480 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7713/tid=7716] ppid=7711 vsize=274720 CPUtime=99.66 cores=0,2,4,6
/proc/7713/task/7716/stat : 7716 (claspmt) R 7711 7713 510 0 -1 4202560 11966 0 0 0 9959 7 0 0 25 0 4 0 733430367 281313280 35053 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7713/tid=7717] ppid=7711 vsize=274720 CPUtime=100.51 cores=0,2,4,6
/proc/7713/task/7717/stat : 7717 (claspmt) R 7711 7713 510 0 -1 4202560 6931 0 0 0 10048 3 0 0 25 0 4 0 733430367 281313280 35053 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 402.97
Current children cumulated vsize (KiB) 274720

[startup+162.301 s]
/proc/loadavg: 7.88 6.84 6.97 9/281 7730
/proc/meminfo: memFree=24899888/32951124 swapFree=67083432/67111528
[pid=7713] ppid=7711 vsize=278804 CPUtime=642.45 cores=0,2,4,6
/proc/7713/stat : 7713 (claspmt) R 7711 7713 510 0 -1 4202496 44846 0 0 0 64215 30 0 0 25 0 4 0 733430190 285495296 42755 33554432000 4194304 4964800 140733444948480 18446744073709551615 4627365 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7713/statm: 69701 42755 460 189 0 64050 0
[pid=7713/tid=7715] ppid=7711 vsize=278804 CPUtime=160.49 cores=0,2,4,6
/proc/7713/task/7715/stat : 7715 (claspmt) R 7711 7713 510 0 -1 4202560 6575 0 0 0 16043 6 0 0 25 0 4 0 733430367 285495296 42755 33554432000 4194304 4964800 140733444948480 18446744073709551615 4669008 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7713/tid=7716] ppid=7711 vsize=278804 CPUtime=159.16 cores=0,2,4,6
/proc/7713/task/7716/stat : 7716 (claspmt) R 7711 7713 510 0 -1 4202560 15520 0 0 0 15906 10 0 0 25 0 4 0 733430367 285495296 42755 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7713/tid=7717] ppid=7711 vsize=278804 CPUtime=160.5 cores=0,2,4,6
/proc/7713/task/7717/stat : 7717 (claspmt) R 7711 7713 510 0 -1 4202560 9368 0 0 0 16044 6 0 0 25 0 4 0 733430367 285495296 42755 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 642.45
Current children cumulated vsize (KiB) 278804

[startup+222.301 s]
/proc/loadavg: 8.07 7.08 7.04 9/281 7732
/proc/meminfo: memFree=24869004/32951124 swapFree=67083432/67111528
[pid=7713] ppid=7711 vsize=278992 CPUtime=881.95 cores=0,2,4,6
/proc/7713/stat : 7713 (claspmt) R 7711 7713 510 0 -1 4202496 51673 0 0 0 88156 39 0 0 25 0 4 0 733430190 285687808 49545 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7713/statm: 69748 49545 460 189 0 64097 0
[pid=7713/tid=7715] ppid=7711 vsize=278992 CPUtime=220.5 cores=0,2,4,6
/proc/7713/task/7715/stat : 7715 (claspmt) R 7711 7713 510 0 -1 4202560 8436 0 0 0 22042 8 0 0 25 0 4 0 733430367 285687808 49545 33554432000 4194304 4964800 140733444948480 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7713/tid=7716] ppid=7711 vsize=278992 CPUtime=218.66 cores=0,2,4,6
/proc/7713/task/7716/stat : 7716 (claspmt) R 7711 7713 510 0 -1 4202560 17926 0 0 0 21852 14 0 0 25 0 4 0 733430367 285687808 49545 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7713/tid=7717] ppid=7711 vsize=278992 CPUtime=220.5 cores=0,2,4,6
/proc/7713/task/7717/stat : 7717 (claspmt) R 7711 7713 510 0 -1 4202560 11891 0 0 0 22041 9 0 0 25 0 4 0 733430367 285687808 49545 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 278992

[startup+282.301 s]
/proc/loadavg: 8.08 7.26 7.10 9/281 7733
/proc/meminfo: memFree=24832428/32951124 swapFree=67083432/67111528
[pid=7713] ppid=7711 vsize=352404 CPUtime=1121.46 cores=0,2,4,6
/proc/7713/stat : 7713 (claspmt) R 7711 7713 510 0 -1 4202496 59300 0 0 0 112101 45 0 0 25 0 4 0 733430190 360861696 57172 33554432000 4194304 4964800 140733444948480 18446744073709551615 4627186 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7713/statm: 88101 57172 460 189 0 82450 0
[pid=7713/tid=7715] ppid=7711 vsize=352404 CPUtime=280.5 cores=0,2,4,6

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

[pid=7713/tid=7715] ppid=7711 vsize=504208 CPUtime=700.5 cores=0,2,4,6
/proc/7713/task/7715/stat : 7715 (claspmt) R 7711 7713 510 0 -1 4202560 16893 0 0 0 70034 16 0 0 25 0 4 0 733430367 516308992 84684 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7713/tid=7716] ppid=7711 vsize=504208 CPUtime=694.73 cores=0,2,4,6
/proc/7713/task/7716/stat : 7716 (claspmt) R 7711 7713 510 0 -1 4202560 36698 0 0 0 69447 26 0 0 25 0 4 0 733430367 516308992 84684 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7713/tid=7717] ppid=7711 vsize=504208 CPUtime=700.51 cores=0,2,4,6
/proc/7713/task/7717/stat : 7717 (claspmt) R 7711 7713 510 0 -1 4202560 17753 0 0 0 70035 16 0 0 25 0 4 0 733430367 516308992 84684 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2798.04
Current children cumulated vsize (KiB) 504208

[startup+762.31 s]
/proc/loadavg: 8.10 7.92 7.48 9/281 7776
/proc/meminfo: memFree=23803680/32951124 swapFree=67083432/67111528
[pid=7713] ppid=7711 vsize=504208 CPUtime=3037.59 cores=0,2,4,6
/proc/7713/stat : 7713 (claspmt) R 7711 7713 510 0 -1 4202496 93212 0 0 0 303685 74 0 0 25 0 4 0 733430190 516308992 89633 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670180 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7713/statm: 126052 89633 460 189 0 120401 0
[pid=7713/tid=7715] ppid=7711 vsize=504208 CPUtime=760.52 cores=0,2,4,6
/proc/7713/task/7715/stat : 7715 (claspmt) R 7711 7713 510 0 -1 4202560 18142 0 0 0 76035 17 0 0 25 0 4 0 733430367 516308992 89633 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670332 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7713/tid=7716] ppid=7711 vsize=504208 CPUtime=754.24 cores=0,2,4,6
/proc/7713/task/7716/stat : 7716 (claspmt) R 7711 7713 510 0 -1 4202560 38819 0 0 0 75396 28 0 0 25 0 4 0 733430367 516308992 89633 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7713/tid=7717] ppid=7711 vsize=504208 CPUtime=760.52 cores=0,2,4,6
/proc/7713/task/7717/stat : 7717 (claspmt) R 7711 7713 510 0 -1 4202560 19437 0 0 0 76034 18 0 0 25 0 4 0 733430367 516308992 89633 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3037.59
Current children cumulated vsize (KiB) 504208

[startup+822.3 s]
/proc/loadavg: 8.01 7.93 7.51 9/281 7778
/proc/meminfo: memFree=23666408/32951124 swapFree=67083432/67111528
[pid=7713] ppid=7711 vsize=511020 CPUtime=3277.05 cores=0,2,4,6
/proc/7713/stat : 7713 (claspmt) R 7711 7713 510 0 -1 4202496 98028 0 0 0 327628 77 0 0 25 0 4 0 733430190 523284480 94331 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670328 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7713/statm: 127755 94331 460 189 0 122104 0
[pid=7713/tid=7715] ppid=7711 vsize=511020 CPUtime=820.51 cores=0,2,4,6
/proc/7713/task/7715/stat : 7715 (claspmt) R 7711 7713 510 0 -1 4202560 19488 0 0 0 82033 18 0 0 25 0 4 0 733430367 523284480 94331 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7713/tid=7716] ppid=7711 vsize=511020 CPUtime=813.74 cores=0,2,4,6
/proc/7713/task/7716/stat : 7716 (claspmt) R 7711 7713 510 0 -1 4202560 41187 0 0 0 81345 29 0 0 25 0 4 0 733430367 523284480 94331 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7713/tid=7717] ppid=7711 vsize=511020 CPUtime=820.51 cores=0,2,4,6
/proc/7713/task/7717/stat : 7717 (claspmt) R 7711 7713 510 0 -1 4202560 19548 0 0 0 82033 18 0 0 25 0 4 0 733430367 523284480 94331 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3277.05
Current children cumulated vsize (KiB) 511020

[startup+882.3 s]
/proc/loadavg: 8.11 7.97 7.55 9/281 7779
/proc/meminfo: memFree=23541156/32951124 swapFree=67083432/67111528
[pid=7713] ppid=7711 vsize=527572 CPUtime=3516.57 cores=0,2,4,6
/proc/7713/stat : 7713 (claspmt) R 7711 7713 510 0 -1 4202496 106154 0 0 0 351576 81 0 0 25 0 4 0 733430190 540233728 101089 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7713/statm: 131893 101089 460 189 0 126242 0
[pid=7713/tid=7715] ppid=7711 vsize=527572 CPUtime=880.51 cores=0,2,4,6
/proc/7713/task/7715/stat : 7715 (claspmt) R 7711 7713 510 0 -1 4202560 21732 0 0 0 88031 20 0 0 25 0 4 0 733430367 540233728 101089 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7713/tid=7716] ppid=7711 vsize=527572 CPUtime=873.25 cores=0,2,4,6
/proc/7713/task/7716/stat : 7716 (claspmt) R 7711 7713 510 0 -1 4202560 44438 0 0 0 87295 30 0 0 25 0 4 0 733430367 540233728 101089 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7713/tid=7717] ppid=7711 vsize=527572 CPUtime=880.52 cores=0,2,4,6
/proc/7713/task/7717/stat : 7717 (claspmt) R 7711 7713 510 0 -1 4202560 21442 0 0 0 88033 19 0 0 25 0 4 0 733430367 540233728 101089 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3516.57
Current children cumulated vsize (KiB) 527572

[startup+942.3 s]
/proc/loadavg: 8.11 7.99 7.58 9/281 7781
/proc/meminfo: memFree=23402144/32951124 swapFree=67083432/67111528
[pid=7713] ppid=7711 vsize=603008 CPUtime=3756.08 cores=0,2,4,6
/proc/7713/stat : 7713 (claspmt) R 7711 7713 510 0 -1 4202496 112410 0 0 0 375522 86 0 0 25 0 4 0 733430190 617480192 107345 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7713/statm: 150752 107345 460 189 0 145101 0
[pid=7713/tid=7715] ppid=7711 vsize=603008 CPUtime=940.51 cores=0,2,4,6
/proc/7713/task/7715/stat : 7715 (claspmt) R 7711 7713 510 0 -1 4202560 24492 0 0 0 94028 23 0 0 25 0 4 0 733430367 617480192 107345 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7713/tid=7716] ppid=7711 vsize=603008 CPUtime=932.76 cores=0,2,4,6
/proc/7713/task/7716/stat : 7716 (claspmt) R 7711 7713 510 0 -1 4202560 45742 0 0 0 93246 30 0 0 25 0 4 0 733430367 617480192 107345 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7713/tid=7717] ppid=7711 vsize=603008 CPUtime=940.52 cores=0,2,4,6
/proc/7713/task/7717/stat : 7717 (claspmt) R 7711 7713 510 0 -1 4202560 23553 0 0 0 94032 20 0 0 25 0 4 0 733430367 617480192 107345 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3756.08
Current children cumulated vsize (KiB) 603008

[startup+1002.3 s]
/proc/loadavg: 8.16 8.02 7.62 9/281 7782
/proc/meminfo: memFree=23382556/32951124 swapFree=67083432/67111528
[pid=7713] ppid=7711 vsize=603944 CPUtime=3995.59 cores=0,2,4,6
/proc/7713/stat : 7713 (claspmt) R 7711 7713 510 0 -1 4202496 116032 0 0 0 399471 88 0 0 25 0 4 0 733430190 618438656 110967 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670437 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7713/statm: 150986 110967 460 189 0 145335 0
[pid=7713/tid=7715] ppid=7711 vsize=603944 CPUtime=1000.51 cores=0,2,4,6
/proc/7713/task/7715/stat : 7715 (claspmt) R 7711 7713 510 0 -1 4202560 26453 0 0 0 100026 25 0 0 25 0 4 0 733430367 618438656 110967 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7713/tid=7716] ppid=7711 vsize=603944 CPUtime=992.26 cores=0,2,4,6
/proc/7713/task/7716/stat : 7716 (claspmt) R 7711 7713 510 0 -1 4202560 47131 0 0 0 99196 30 0 0 25 0 4 0 733430367 618438656 110967 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7713/tid=7717] ppid=7711 vsize=603944 CPUtime=1000.52 cores=0,2,4,6
/proc/7713/task/7717/stat : 7717 (claspmt) R 7711 7713 510 0 -1 4202560 23589 0 0 0 100032 20 0 0 25 0 4 0 733430367 618438656 110967 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3995.59
Current children cumulated vsize (KiB) 603944

[startup+1062.3 s]
/proc/loadavg: 8.12 8.03 7.64 9/281 7784
/proc/meminfo: memFree=23315108/32951124 swapFree=67083432/67111528
[pid=7713] ppid=7711 vsize=604968 CPUtime=4235.11 cores=0,2,4,6
/proc/7713/stat : 7713 (claspmt) R 7711 7713 510 0 -1 4202496 118597 0 0 0 423420 91 0 0 25 0 4 0 733430190 619487232 113532 33554432000 4194304 4964800 140733444948480 18446744073709551615 4627263 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7713/statm: 151242 113532 460 189 0 145591 0
[pid=7713/tid=7715] ppid=7711 vsize=604968 CPUtime=1060.52 cores=0,2,4,6
/proc/7713/task/7715/stat : 7715 (claspmt) R 7711 7713 510 0 -1 4202560 26984 0 0 0 106026 26 0 0 25 0 4 0 733430367 619487232 113532 33554432000 4194304 4964800 140733444948480 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7713/tid=7716] ppid=7711 vsize=604968 CPUtime=1051.78 cores=0,2,4,6
/proc/7713/task/7716/stat : 7716 (claspmt) R 7711 7713 510 0 -1 4202560 47609 0 0 0 105147 31 0 0 25 0 4 0 733430367 619487232 113532 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7713/tid=7717] ppid=7711 vsize=604968 CPUtime=1060.52 cores=0,2,4,6
/proc/7713/task/7717/stat : 7717 (claspmt) R 7711 7713 510 0 -1 4202560 23832 0 0 0 106032 20 0 0 25 0 4 0 733430367 619487232 113532 33554432000 4194304 4964800 140733444948480 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4235.11
Current children cumulated vsize (KiB) 604968

[startup+1122.3 s]
/proc/loadavg: 8.10 8.04 7.67 9/281 7786
/proc/meminfo: memFree=23206232/32951124 swapFree=67083432/67111528
[pid=7713] ppid=7711 vsize=604968 CPUtime=4474.62 cores=0,2,4,6
/proc/7713/stat : 7713 (claspmt) R 7711 7713 510 0 -1 4202496 119723 0 0 0 447370 92 0 0 25 0 4 0 733430190 619487232 114658 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7713/statm: 151242 114658 460 189 0 145591 0
[pid=7713/tid=7715] ppid=7711 vsize=604968 CPUtime=1120.52 cores=0,2,4,6
/proc/7713/task/7715/stat : 7715 (claspmt) R 7711 7713 510 0 -1 4202560 26985 0 0 0 112026 26 0 0 25 0 4 0 733430367 619487232 114658 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670194 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7713/tid=7716] ppid=7711 vsize=604968 CPUtime=1111.28 cores=0,2,4,6
/proc/7713/task/7716/stat : 7716 (claspmt) R 7711 7713 510 0 -1 4202560 48518 0 0 0 111097 31 0 0 25 0 4 0 733430367 619487232 114658 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7713/tid=7717] ppid=7711 vsize=604968 CPUtime=1120.53 cores=0,2,4,6
/proc/7713/task/7717/stat : 7717 (claspmt) R 7711 7713 510 0 -1 4202560 24046 0 0 0 112032 21 0 0 25 0 4 0 733430367 619487232 114658 33554432000 4194304 4964800 140733444948480 18446744073709551615 4632389 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4474.62
Current children cumulated vsize (KiB) 604968

[startup+1182.3 s]
/proc/loadavg: 8.03 8.03 7.68 9/281 7787
/proc/meminfo: memFree=23182416/32951124 swapFree=67083432/67111528
[pid=7713] ppid=7711 vsize=604968 CPUtime=4714.13 cores=0,2,4,6
/proc/7713/stat : 7713 (claspmt) R 7711 7713 510 0 -1 4202496 124142 0 0 0 471317 96 0 0 25 0 4 0 733430190 619487232 119062 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7713/statm: 151242 119062 460 189 0 145591 0
[pid=7713/tid=7715] ppid=7711 vsize=604968 CPUtime=1180.52 cores=0,2,4,6
/proc/7713/task/7715/stat : 7715 (claspmt) R 7711 7713 510 0 -1 4202560 29738 0 0 0 118023 29 0 0 25 0 4 0 733430367 619487232 119062 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7713/tid=7716] ppid=7711 vsize=604968 CPUtime=1170.78 cores=0,2,4,6
/proc/7713/task/7716/stat : 7716 (claspmt) R 7711 7713 510 0 -1 4202560 49647 0 0 0 117047 31 0 0 25 0 4 0 733430367 619487232 119062 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7713/tid=7717] ppid=7711 vsize=604968 CPUtime=1180.52 cores=0,2,4,6
/proc/7713/task/7717/stat : 7717 (claspmt) R 7711 7713 510 0 -1 4202560 24581 0 0 0 118031 21 0 0 25 0 4 0 733430367 619487232 119062 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4714.13
Current children cumulated vsize (KiB) 604968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.9 s]
/proc/loadavg: 8.02 8.02 7.69 9/281 7788
/proc/meminfo: memFree=23155252/32951124 swapFree=67083432/67111528
[pid=7713] ppid=7711 vsize=604968 CPUtime=4800.37 cores=0,2,4,6
/proc/7713/stat : 7713 (claspmt) R 7711 7713 510 0 -1 4202496 124983 0 0 0 479940 97 0 0 25 0 4 0 733430190 619487232 119903 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7713/statm: 151242 119903 460 189 0 145591 0
[pid=7713/tid=7715] ppid=7711 vsize=604968 CPUtime=1202.13 cores=0,2,4,6
/proc/7713/task/7715/stat : 7715 (claspmt) R 7711 7713 510 0 -1 4202560 30076 0 0 0 120184 29 0 0 25 0 4 0 733430367 619487232 119903 33554432000 4194304 4964800 140733444948480 18446744073709551615 4321010 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7713/tid=7716] ppid=7711 vsize=604968 CPUtime=1192.21 cores=0,2,4,6
/proc/7713/task/7716/stat : 7716 (claspmt) R 7711 7713 510 0 -1 4202560 49995 0 0 0 119189 32 0 0 25 0 4 0 733430367 619487232 119903 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7713/tid=7717] ppid=7711 vsize=604968 CPUtime=1202.14 cores=0,2,4,6
/proc/7713/task/7717/stat : 7717 (claspmt) R 7711 7713 510 0 -1 4202560 24736 0 0 0 120192 22 0 0 25 0 4 0 733430367 619487232 119903 33554432000 4194304 4964800 140733444948480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 604968

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1204.02 s]
/proc/loadavg: 8.02 8.02 7.69 9/281 7788
/proc/meminfo: memFree=23155252/32951124 swapFree=67083432/67111528
[pid=7713] ppid=7711 vsize=603708 CPUtime=4800.5 cores=0,2,4,6
/proc/7713/stat : 7713 (claspmt) R 7711 7713 510 0 -1 4202496 124999 0 0 0 479953 97 0 0 25 0 1 0 733430190 618196992 119433 33554432000 4194304 4964800 140733444948480 18446744073709551615 260020051297 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7713/statm: 150927 119433 470 189 0 145276 0
Current children cumulated CPU time (s) 4800.5
Current children cumulated vsize (KiB) 603708

[startup+1204.1 s]
/proc/loadavg: 8.02 8.02 7.69 9/281 7788
/proc/meminfo: memFree=23155252/32951124 swapFree=67083432/67111528
[pid=7713] ppid=7711 vsize=464432 CPUtime=4800.58 cores=0,2,4,6
/proc/7713/stat : 7713 (claspmt) R 7711 7713 510 0 -1 4202496 125000 0 0 0 479961 97 0 0 25 0 1 0 733430190 475578368 93600 33554432000 4194304 4964800 140733444948480 18446744073709551615 260020439399 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7713/statm: 116108 93338 471 189 0 110457 0
Current children cumulated CPU time (s) 4800.58
Current children cumulated vsize (KiB) 464432

Child status: 0
Real time (s): 1204.12
CPU time (s): 4800.61
CPU user time (s): 4799.61
CPU system time (s): 0.996848
CPU usage (%): 398.683
Max. virtual memory (cumulated for all children) (KiB): 604968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.61
system time used= 0.996848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125001
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= 1071
involuntary context switches= 20153

runsolver used 2.74958 second user time and 7.2009 second system time

The end

Launcher Data 

Begin job on node110 at 2011-05-15 05:59:56
IDJOB=3373521
IDBENCH=88062
IDSOLVER=1853
FILE ID=node110/3373521-1305431996
RUNJOBID= node110-1305431994-7660
PBS_JOBID= 13324577
Free space on /tmp= 73636 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT02/industrial/nam/fpga-routing/k2fix_gr_rcs_w8.shuffled.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-3373521-1305431996/watcher-3373521-1305431996 -o /tmp/evaluation-result-3373521-1305431996/solver-3373521-1305431996 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373521-1305431996.cnf

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

MD5SUM BENCH= 82e833e539576c6d79252b19dcace0cf
RANDOM SEED=1597013207

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25115960 kB
Buffers:        282908 kB
Cached:        4063716 kB
SwapCached:       1440 kB
Active:        4329544 kB
Inactive:      3179176 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25115960 kB
SwapTotal:    67111528 kB
SwapFree:     67083432 kB
Dirty:            5344 kB
Writeback:           0 kB
AnonPages:     3160100 kB
Mapped:          23600 kB
Slab:           244932 kB
PageTables:      20836 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 46151720 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= 73624 MiB
End job on node110 at 2011-05-15 06:20:02