Trace number 3373030

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.75 1206.95

General information on the benchmark

Namecrafted/manthey/sudoku-single-hard/
sudoku_81x81_unknown.cnf
MD5SUMcbd78921480e79d133eb06cb2172caa1
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables18217
Number of clauses284829
Sum of the clauses size622430
Maximum clause length28
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2275099
Number of clauses of size 3620
Number of clauses of size 4984
Number of clauses of size 51120
Number of clauses of size over 57006

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...425783/instance-3373030-1305425783.cnf
0.29/0.32	c Solving...
4800.37/1206.62	
4800.37/1206.62	*** INTERRUPTED! ***
4800.37/1206.62	*** Shutting down threads...
4800.69/1206.94	s UNKNOWN
4800.69/1206.94	
4800.69/1206.94	c INTERRUPTED   : 1
4800.69/1206.94	c Models        : 0+    
4800.69/1206.94	c Time          : 1206.633s (Solving: 1206.31s 1st Model: 0.00s Unsat: 0.00s)
4800.69/1206.94	c CPU Time      : 4800.420s

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-3373030-1305425783/watcher-3373030-1305425783 -o /tmp/evaluation-result-3373030-1305425783/solver-3373030-1305425783 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373030-1305425783.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: 7.74 8.32 8.34 5/298 7089
/proc/meminfo: memFree=12876044/32950928 swapFree=67083212/67111528
[pid=7089] ppid=7087 vsize=24588 CPUtime=0 cores=0,2,4,6
/proc/7089/stat : 7089 (claspmt) R 7087 7089 4446 0 -1 4202496 1569 0 0 0 0 0 0 0 25 0 1 0 654178009 25178112 1357 33554432000 4194304 4964800 140734594125712 18446744073709551615 208080232192 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7089/statm: 6147 1358 385 189 0 1021 0

[startup+0.0697309 s]
/proc/loadavg: 7.74 8.32 8.34 5/298 7089
/proc/meminfo: memFree=12876044/32950928 swapFree=67083212/67111528
[pid=7089] ppid=7087 vsize=35204 CPUtime=0.06 cores=0,2,4,6
/proc/7089/stat : 7089 (claspmt) R 7087 7089 4446 0 -1 4202496 5260 0 0 0 6 0 0 0 25 0 1 0 654178009 36048896 3898 33554432000 4194304 4964800 140734594125712 18446744073709551615 208079893189 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7089/statm: 8801 3900 385 189 0 3675 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 35204

[startup+0.100726 s]
/proc/loadavg: 7.74 8.32 8.34 5/298 7089
/proc/meminfo: memFree=12876044/32950928 swapFree=67083212/67111528
[pid=7089] ppid=7087 vsize=40148 CPUtime=0.09 cores=0,2,4,6
/proc/7089/stat : 7089 (claspmt) R 7087 7089 4446 0 -1 4202496 6699 0 0 0 9 0 0 0 25 0 1 0 654178009 41111552 5160 33554432000 4194304 4964800 140734594125712 18446744073709551615 208079893189 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7089/statm: 10037 5161 396 189 0 4911 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40148

[startup+0.300688 s]
/proc/loadavg: 7.74 8.32 8.34 5/298 7089
/proc/meminfo: memFree=12876044/32950928 swapFree=67083212/67111528
[pid=7089] ppid=7087 vsize=43736 CPUtime=0.29 cores=0,2,4,6
/proc/7089/stat : 7089 (claspmt) R 7087 7089 4446 0 -1 4202496 7613 0 0 0 28 1 0 0 25 0 1 0 654178009 44785664 6074 33554432000 4194304 4964800 140734594125712 18446744073709551615 208079890194 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7089/statm: 10934 6074 402 189 0 5808 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43736

[startup+0.700614 s]
/proc/loadavg: 7.74 8.32 8.34 5/298 7089
/proc/meminfo: memFree=12876044/32950928 swapFree=67083212/67111528
[pid=7089] ppid=7087 vsize=190400 CPUtime=1.79 cores=0,2,4,6
/proc/7089/stat : 7089 (claspmt) R 7087 7089 4446 0 -1 4202496 10167 0 0 0 178 1 0 0 25 0 4 0 654178009 194969600 7778 33554432000 4194304 4964800 140734594125712 18446744073709551615 4334250 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/7089/statm: 47600 7778 458 189 0 41949 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 190400

[startup+1.50046 s]
/proc/loadavg: 7.74 8.32 8.34 9/302 7093
/proc/meminfo: memFree=12843036/32950928 swapFree=67083212/67111528
[pid=7089] ppid=7087 vsize=190568 CPUtime=4.98 cores=0,2,4,6
/proc/7089/stat : 7089 (claspmt) R 7087 7089 4446 0 -1 4202496 11249 0 0 0 496 2 0 0 25 0 4 0 654178009 195141632 8860 33554432000 4194304 4964800 140734594125712 18446744073709551615 4320909 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/7089/statm: 47642 8860 458 189 0 41991 0
[pid=7089/tid=7091] ppid=7087 vsize=190568 CPUtime=1.16 cores=0,2,4,6
/proc/7089/task/7091/stat : 7091 (claspmt) R 7087 7089 4446 0 -1 4202560 742 0 0 0 116 0 0 0 25 0 4 0 654178042 195141632 8860 33554432000 4194304 4964800 140734594125712 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=7089/tid=7092] ppid=7087 vsize=190568 CPUtime=1.16 cores=0,2,4,6
/proc/7089/task/7092/stat : 7092 (claspmt) R 7087 7089 4446 0 -1 4202560 1396 0 0 0 116 0 0 0 25 0 4 0 654178042 195141632 8860 33554432000 4194304 4964800 140734594125712 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7089/tid=7093] ppid=7087 vsize=190568 CPUtime=1.17 cores=0,2,4,6
/proc/7089/task/7093/stat : 7093 (claspmt) R 7087 7089 4446 0 -1 4202560 943 0 0 0 117 0 0 0 25 0 4 0 654178042 195141632 8860 33554432000 4194304 4964800 140734594125712 18446744073709551615 4647774 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.98
Current children cumulated vsize (KiB) 190568

[startup+3.10116 s]
/proc/loadavg: 7.74 8.32 8.34 9/302 7093
/proc/meminfo: memFree=12834976/32950928 swapFree=67083212/67111528
[pid=7089] ppid=7087 vsize=190848 CPUtime=11.38 cores=0,2,4,6
/proc/7089/stat : 7089 (claspmt) R 7087 7089 4446 0 -1 4202496 12888 0 0 0 1135 3 0 0 25 0 4 0 654178009 195428352 10499 33554432000 4194304 4964800 140734594125712 18446744073709551615 4668568 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/7089/statm: 47712 10499 458 189 0 42061 0
[pid=7089/tid=7091] ppid=7087 vsize=190848 CPUtime=2.76 cores=0,2,4,6
/proc/7089/task/7091/stat : 7091 (claspmt) R 7087 7089 4446 0 -1 4202560 979 0 0 0 276 0 0 0 25 0 4 0 654178042 195428352 10499 33554432000 4194304 4964800 140734594125712 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=7089/tid=7092] ppid=7087 vsize=190848 CPUtime=2.76 cores=0,2,4,6
/proc/7089/task/7092/stat : 7092 (claspmt) R 7087 7089 4446 0 -1 4202560 2020 0 0 0 276 0 0 0 25 0 4 0 654178042 195428352 10499 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670670 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7089/tid=7093] ppid=7087 vsize=190848 CPUtime=2.76 cores=0,2,4,6
/proc/7089/task/7093/stat : 7093 (claspmt) R 7087 7089 4446 0 -1 4202560 1388 0 0 0 276 0 0 0 25 0 4 0 654178042 195428352 10499 33554432000 4194304 4964800 140734594125712 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.38
Current children cumulated vsize (KiB) 190848

[startup+6.30055 s]
/proc/loadavg: 7.76 8.31 8.34 9/302 7093
/proc/meminfo: memFree=12817788/32950928 swapFree=67083212/67111528
[pid=7089] ppid=7087 vsize=194544 CPUtime=24.14 cores=0,2,4,6
/proc/7089/stat : 7089 (claspmt) R 7087 7089 4446 0 -1 4202496 16307 0 0 0 2409 5 0 0 25 0 4 0 654178009 199213056 13918 33554432000 4194304 4964800 140734594125712 18446744073709551615 4668568 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/7089/statm: 48636 13918 458 189 0 42985 0
[pid=7089/tid=7091] ppid=7087 vsize=194544 CPUtime=5.95 cores=0,2,4,6
/proc/7089/task/7091/stat : 7091 (claspmt) R 7087 7089 4446 0 -1 4202560 1569 0 0 0 595 0 0 0 25 0 4 0 654178042 199213056 13918 33554432000 4194304 4964800 140734594125712 18446744073709551615 4669093 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=7089/tid=7092] ppid=7087 vsize=194544 CPUtime=5.97 cores=0,2,4,6
/proc/7089/task/7092/stat : 7092 (claspmt) R 7087 7089 4446 0 -1 4202560 3139 0 0 0 596 1 0 0 25 0 4 0 654178042 199213056 13918 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7089/tid=7093] ppid=7087 vsize=194544 CPUtime=5.97 cores=0,2,4,6
/proc/7089/task/7093/stat : 7093 (claspmt) R 7087 7089 4446 0 -1 4202560 2421 0 0 0 596 1 0 0 25 0 4 0 654178042 199213056 13918 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.14
Current children cumulated vsize (KiB) 194544

[startup+12.7003 s]
/proc/loadavg: 7.78 8.30 8.34 9/302 7093
/proc/meminfo: memFree=12782464/32950928 swapFree=67083212/67111528
[pid=7089] ppid=7087 vsize=205652 CPUtime=49.68 cores=0,2,4,6
/proc/7089/stat : 7089 (claspmt) R 7087 7089 4446 0 -1 4202496 24587 0 0 0 4957 11 0 0 25 0 4 0 654178009 210587648 22198 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/7089/statm: 51413 22199 460 189 0 45762 0
[pid=7089/tid=7091] ppid=7087 vsize=205652 CPUtime=12.35 cores=0,2,4,6
/proc/7089/task/7091/stat : 7091 (claspmt) R 7087 7089 4446 0 -1 4202560 3110 0 0 0 1234 1 0 0 25 0 4 0 654178042 210587648 22199 33554432000 4194304 4964800 140734594125712 18446744073709551615 208079893537 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=7089/tid=7092] ppid=7087 vsize=205652 CPUtime=12.36 cores=0,2,4,6
/proc/7089/task/7092/stat : 7092 (claspmt) R 7087 7089 4446 0 -1 4202560 5893 0 0 0 1233 3 0 0 25 0 4 0 654178042 210587648 22199 33554432000 4194304 4964800 140734594125712 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7089/tid=7093] ppid=7087 vsize=205652 CPUtime=12.37 cores=0,2,4,6
/proc/7089/task/7093/stat : 7093 (claspmt) R 7087 7089 4446 0 -1 4202560 4526 0 0 0 1235 2 0 0 25 0 4 0 654178042 210587648 22199 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.68
Current children cumulated vsize (KiB) 205652

[startup+25.5009 s]
/proc/loadavg: 7.83 8.29 8.33 9/302 7094
/proc/meminfo: memFree=12741420/32950928 swapFree=67083212/67111528
[pid=7089] ppid=7087 vsize=217544 CPUtime=100.74 cores=0,2,4,6
/proc/7089/stat : 7089 (claspmt) R 7087 7089 4446 0 -1 4202496 33307 0 0 0 10057 17 0 0 25 0 4 0 654178009 222765056 30918 33554432000 4194304 4964800 140734594125712 18446744073709551615 4669022 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/7089/statm: 54386 30918 460 189 0 48735 0
[pid=7089/tid=7091] ppid=7087 vsize=217544 CPUtime=25.09 cores=0,2,4,6
/proc/7089/task/7091/stat : 7091 (claspmt) R 7087 7089 4446 0 -1 4202560 4800 0 0 0 2507 2 0 0 25 0 4 0 654178042 222765056 30918 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7089/tid=7092] ppid=7087 vsize=217544 CPUtime=25.16 cores=0,2,4,6
/proc/7089/task/7092/stat : 7092 (claspmt) R 7087 7089 4446 0 -1 4202560 8576 0 0 0 2512 4 0 0 25 0 4 0 654178042 222765056 30918 33554432000 4194304 4964800 140734594125712 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=7089/tid=7093] ppid=7087 vsize=217544 CPUtime=25.16 cores=0,2,4,6
/proc/7089/task/7093/stat : 7093 (claspmt) R 7087 7089 4446 0 -1 4202560 6905 0 0 0 2513 3 0 0 25 0 4 0 654178042 222765056 30918 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.74
Current children cumulated vsize (KiB) 217544

[startup+51.101 s]
/proc/loadavg: 7.96 8.28 8.33 9/302 7094
/proc/meminfo: memFree=12692452/32950928 swapFree=67083212/67111528
[pid=7089] ppid=7087 vsize=235000 CPUtime=202.9 cores=0,2,4,6
/proc/7089/stat : 7089 (claspmt) R 7087 7089 4446 0 -1 4202496 43067 0 0 0 20266 24 0 0 25 0 4 0 654178009 240640000 40678 33554432000 4194304 4964800 140734594125712 18446744073709551615 4321102 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/7089/statm: 58750 40678 460 189 0 53099 0
[pid=7089/tid=7091] ppid=7087 vsize=235000 CPUtime=50.45 cores=0,2,4,6
/proc/7089/task/7091/stat : 7091 (claspmt) R 7087 7089 4446 0 -1 4202560 6824 0 0 0 5041 4 0 0 25 0 4 0 654178042 240640000 40678 33554432000 4194304 4964800 140734594125712 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7089/tid=7092] ppid=7087 vsize=235000 CPUtime=50.76 cores=0,2,4,6
/proc/7089/task/7092/stat : 7092 (claspmt) R 7087 7089 4446 0 -1 4202560 11386 0 0 0 5070 6 0 0 25 0 4 0 654178042 240640000 40678 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=7089/tid=7093] ppid=7087 vsize=235000 CPUtime=50.76 cores=0,2,4,6
/proc/7089/task/7093/stat : 7093 (claspmt) R 7087 7089 4446 0 -1 4202560 9079 0 0 0 5071 5 0 0 25 0 4 0 654178042 240640000 40678 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 202.9
Current children cumulated vsize (KiB) 235000

[startup+102.311 s]
/proc/loadavg: 7.98 8.23 8.30 9/302 7126
/proc/meminfo: memFree=12595368/32950928 swapFree=67083212/67111528
[pid=7089] ppid=7087 vsize=393924 CPUtime=407.23 cores=0,2,4,6
/proc/7089/stat : 7089 (claspmt) R 7087 7089 4446 0 -1 4202496 65273 0 0 0 40681 42 0 0 25 0 4 0 654178009 403378176 62863 33554432000 4194304 4964800 140734594125712 18446744073709551615 4668568 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/7089/statm: 98481 62863 460 189 0 92830 0
[pid=7089/tid=7091] ppid=7087 vsize=393924 CPUtime=101.16 cores=0,2,4,6
/proc/7089/task/7091/stat : 7091 (claspmt) R 7087 7089 4446 0 -1 4202560 11037 0 0 0 10108 8 0 0 25 0 4 0 654178042 403378176 62863 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7089/tid=7092] ppid=7087 vsize=393924 CPUtime=101.96 cores=0,2,4,6
/proc/7089/task/7092/stat : 7092 (claspmt) R 7087 7089 4446 0 -1 4202560 17163 0 0 0 10186 10 0 0 25 0 4 0 654178042 403378176 62863 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=7089/tid=7093] ppid=7087 vsize=393924 CPUtime=101.97 cores=0,2,4,6
/proc/7089/task/7093/stat : 7093 (claspmt) R 7087 7089 4446 0 -1 4202560 15019 0 0 0 10187 10 0 0 25 0 4 0 654178042 403378176 62863 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.23
Current children cumulated vsize (KiB) 393924

[startup+162.301 s]
/proc/loadavg: 8.04 8.20 8.29 9/302 7127
/proc/meminfo: memFree=12418832/32950928 swapFree=67083212/67111528
[pid=7089] ppid=7087 vsize=461648 CPUtime=646.63 cores=0,2,4,6
/proc/7089/stat : 7089 (claspmt) R 7087 7089 4446 0 -1 4202496 91383 0 0 0 64594 69 0 0 25 0 4 0 654178009 472727552 88946 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670180 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/7089/statm: 115412 88946 460 189 0 109761 0
[pid=7089/tid=7091] ppid=7087 vsize=461648 CPUtime=160.6 cores=0,2,4,6
/proc/7089/task/7091/stat : 7091 (claspmt) R 7087 7089 4446 0 -1 4202560 17203 0 0 0 16045 15 0 0 25 0 4 0 654178042 472727552 88946 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7089/tid=7092] ppid=7087 vsize=461648 CPUtime=161.96 cores=0,2,4,6
/proc/7089/task/7092/stat : 7092 (claspmt) R 7087 7089 4446 0 -1 4202560 24774 0 0 0 16178 18 0 0 25 0 4 0 654178042 472727552 88946 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=7089/tid=7093] ppid=7087 vsize=461648 CPUtime=161.95 cores=0,2,4,6
/proc/7089/task/7093/stat : 7093 (claspmt) R 7087 7089 4446 0 -1 4202560 21994 0 0 0 16178 17 0 0 25 0 4 0 654178042 472727552 88946 33554432000 4194304 4964800 140734594125712 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 646.63
Current children cumulated vsize (KiB) 461648

[startup+222.3 s]
/proc/loadavg: 8.09 8.19 8.28 9/302 7129
/proc/meminfo: memFree=12297032/32950928 swapFree=67083212/67111528
[pid=7089] ppid=7087 vsize=619124 CPUtime=886.07 cores=0,2,4,6
/proc/7089/stat : 7089 (claspmt) R 7087 7089 4446 0 -1 4202496 113408 0 0 0 88521 86 0 0 25 0 4 0 654178009 633982976 110925 33554432000 4194304 4964800 140734594125712 18446744073709551615 4320909 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/7089/statm: 154781 110925 460 189 0 149130 0
[pid=7089/tid=7091] ppid=7087 vsize=619124 CPUtime=220.03 cores=0,2,4,6
/proc/7089/task/7091/stat : 7091 (claspmt) R 7087 7089 4446 0 -1 4202560 20708 0 0 0 21984 19 0 0 25 0 4 0 654178042 633982976 110925 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7089/tid=7092] ppid=7087 vsize=619124 CPUtime=221.95 cores=0,2,4,6
/proc/7089/task/7092/stat : 7092 (claspmt) R 7087 7089 4446 0 -1 4202560 29986 0 0 0 22175 20 0 0 25 0 4 0 654178042 633982976 110925 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=7089/tid=7093] ppid=7087 vsize=619124 CPUtime=221.96 cores=0,2,4,6
/proc/7089/task/7093/stat : 7093 (claspmt) R 7087 7089 4446 0 -1 4202560 24859 0 0 0 22176 20 0 0 25 0 4 0 654178042 633982976 110925 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670361 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 886.07
Current children cumulated vsize (KiB) 619124

[startup+282.301 s]

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

[pid=7089/tid=7091] ppid=7087 vsize=1163512 CPUtime=697.33 cores=0,2,4,6
/proc/7089/task/7091/stat : 7091 (claspmt) R 7087 7089 4446 0 -1 4202560 27941 0 0 0 69707 26 0 0 25 0 4 0 654178042 1191436288 248325 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7089/tid=7092] ppid=7087 vsize=1163512 CPUtime=698.97 cores=0,2,4,6
/proc/7089/task/7092/stat : 7092 (claspmt) R 7087 7089 4446 0 -1 4202560 81698 0 0 0 69838 59 0 0 25 0 4 0 654178042 1191436288 248325 33554432000 4194304 4964800 140734594125712 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7089/tid=7093] ppid=7087 vsize=1163512 CPUtime=698.06 cores=0,2,4,6
/proc/7089/task/7093/stat : 7093 (claspmt) R 7087 7089 4446 0 -1 4202560 57931 0 0 0 69754 52 0 0 25 0 4 0 654178042 1191436288 248325 33554432000 4194304 4964800 140734594125712 18446744073709551615 4342208 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2795.89
Current children cumulated vsize (KiB) 1163512

[startup+762.312 s]
/proc/loadavg: 9.21 8.92 8.58 10/309 19019
/proc/meminfo: memFree=11521472/32950928 swapFree=67083212/67111528
[pid=7089] ppid=7087 vsize=1240260 CPUtime=3034.52 cores=0,2,4,6
/proc/7089/stat : 7089 (claspmt) R 7087 7089 4446 0 -1 4202496 271391 0 0 0 303231 221 0 0 25 0 4 0 654178009 1270026240 267593 33554432000 4194304 4964800 140734594125712 18446744073709551615 4320955 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7089/statm: 310065 267593 460 189 0 304414 0
[pid=7089/tid=7091] ppid=7087 vsize=1240260 CPUtime=757.18 cores=0,2,4,6
/proc/7089/task/7091/stat : 7091 (claspmt) R 7087 7089 4446 0 -1 4202560 38380 0 0 0 75686 32 0 0 25 0 4 0 654178042 1270026240 267593 33554432000 4194304 4964800 140734594125712 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7089/tid=7092] ppid=7087 vsize=1240260 CPUtime=758.29 cores=0,2,4,6
/proc/7089/task/7092/stat : 7092 (claspmt) R 7087 7089 4446 0 -1 4202560 82013 0 0 0 75770 59 0 0 25 0 4 0 654178042 1270026240 267593 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7089/tid=7093] ppid=7087 vsize=1240260 CPUtime=757.62 cores=0,2,4,6
/proc/7089/task/7093/stat : 7093 (claspmt) R 7087 7089 4446 0 -1 4202560 66438 0 0 0 75705 57 0 0 25 0 4 0 654178042 1270026240 267593 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3034.52
Current children cumulated vsize (KiB) 1240260

[startup+822.301 s]
/proc/loadavg: 9.33 9.01 8.63 10/308 20647
/proc/meminfo: memFree=11458160/32950928 swapFree=67083212/67111528
[pid=7089] ppid=7087 vsize=1271684 CPUtime=3273.05 cores=0,2,4,6
/proc/7089/stat : 7089 (claspmt) R 7087 7089 4446 0 -1 4202496 283864 0 0 0 327074 231 0 0 25 0 4 0 654178009 1302204416 280066 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670194 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7089/statm: 317921 280066 460 189 0 312270 0
[pid=7089/tid=7091] ppid=7087 vsize=1271684 CPUtime=817.05 cores=0,2,4,6
/proc/7089/task/7091/stat : 7091 (claspmt) R 7087 7089 4446 0 -1 4202560 45435 0 0 0 81670 35 0 0 25 0 4 0 654178042 1302204416 280066 33554432000 4194304 4964800 140734594125712 18446744073709551615 4683996 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7089/tid=7092] ppid=7087 vsize=1271684 CPUtime=817.58 cores=0,2,4,6
/proc/7089/task/7092/stat : 7092 (claspmt) R 7087 7089 4446 0 -1 4202560 82103 0 0 0 81698 60 0 0 25 0 4 0 654178042 1302204416 280066 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7089/tid=7093] ppid=7087 vsize=1271684 CPUtime=817.15 cores=0,2,4,6
/proc/7089/task/7093/stat : 7093 (claspmt) R 7087 7089 4446 0 -1 4202560 70750 0 0 0 81653 62 0 0 25 0 4 0 654178042 1302204416 280066 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3273.05
Current children cumulated vsize (KiB) 1271684

[startup+882.301 s]
/proc/loadavg: 9.36 9.07 8.67 10/309 22322
/proc/meminfo: memFree=11444112/32950928 swapFree=67083212/67111528
[pid=7089] ppid=7087 vsize=1271684 CPUtime=3511.53 cores=0,2,4,6
/proc/7089/stat : 7089 (claspmt) R 7087 7089 4446 0 -1 4202496 286601 0 0 0 350919 234 0 0 25 0 4 0 654178009 1302204416 282803 33554432000 4194304 4964800 140734594125712 18446744073709551615 4320970 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7089/statm: 317921 282803 460 189 0 312270 0
[pid=7089/tid=7091] ppid=7087 vsize=1271684 CPUtime=876.98 cores=0,2,4,6
/proc/7089/task/7091/stat : 7091 (claspmt) R 7087 7089 4446 0 -1 4202560 45448 0 0 0 87662 36 0 0 25 0 4 0 654178042 1302204416 282803 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7089/tid=7092] ppid=7087 vsize=1271684 CPUtime=876.97 cores=0,2,4,6
/proc/7089/task/7092/stat : 7092 (claspmt) R 7087 7089 4446 0 -1 4202560 84765 0 0 0 87635 62 0 0 25 0 4 0 654178042 1302204416 282803 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7089/tid=7093] ppid=7087 vsize=1271684 CPUtime=876.37 cores=0,2,4,6
/proc/7089/task/7093/stat : 7093 (claspmt) R 7087 7089 4446 0 -1 4202560 70798 0 0 0 87575 62 0 0 25 0 4 0 654178042 1302204416 282803 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3511.53
Current children cumulated vsize (KiB) 1271684

[startup+942.3 s]
/proc/loadavg: 9.40 9.14 8.72 10/310 24152
/proc/meminfo: memFree=11346876/32950928 swapFree=67083212/67111528
[pid=7089] ppid=7087 vsize=1362044 CPUtime=3749.94 cores=0,2,4,6
/proc/7089/stat : 7089 (claspmt) R 7087 7089 4446 0 -1 4202496 312505 0 0 0 374733 261 0 0 25 0 4 0 654178009 1394733056 307339 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670678 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7089/statm: 340511 307339 460 189 0 334860 0
[pid=7089/tid=7091] ppid=7087 vsize=1362044 CPUtime=936.89 cores=0,2,4,6
/proc/7089/task/7091/stat : 7091 (claspmt) R 7087 7089 4446 0 -1 4202560 46522 0 0 0 93652 37 0 0 25 0 4 0 654178042 1394733056 307339 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7089/tid=7092] ppid=7087 vsize=1362044 CPUtime=936.3 cores=0,2,4,6
/proc/7089/task/7092/stat : 7092 (claspmt) R 7087 7089 4446 0 -1 4202560 89597 0 0 0 93562 68 0 0 25 0 4 0 654178042 1394733056 307339 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7089/tid=7093] ppid=7087 vsize=1362044 CPUtime=935.62 cores=0,2,4,6
/proc/7089/task/7093/stat : 7093 (claspmt) R 7087 7089 4446 0 -1 4202560 73859 0 0 0 93496 66 0 0 25 0 4 0 654178042 1394733056 307339 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3749.94
Current children cumulated vsize (KiB) 1362044

[startup+1002.3 s]
/proc/loadavg: 9.29 9.16 8.75 10/308 25971
/proc/meminfo: memFree=11270872/32950928 swapFree=67083212/67111528
[pid=7089] ppid=7087 vsize=1432212 CPUtime=3988.36 cores=0,2,4,6
/proc/7089/stat : 7089 (claspmt) R 7087 7089 4446 0 -1 4202496 324371 0 0 0 398560 276 0 0 25 0 4 0 654178009 1466585088 318962 33554432000 4194304 4964800 140734594125712 18446744073709551615 4325293 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/7089/statm: 358053 318962 460 189 0 352402 0
[pid=7089/tid=7091] ppid=7087 vsize=1432212 CPUtime=996.72 cores=0,2,4,6
/proc/7089/task/7091/stat : 7091 (claspmt) R 7087 7089 4446 0 -1 4202560 46828 0 0 0 99635 37 0 0 25 0 4 0 654178042 1466585088 318962 33554432000 4194304 4964800 140734594125712 18446744073709551615 4668598 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=7089/tid=7092] ppid=7087 vsize=1432212 CPUtime=995.75 cores=0,2,4,6
/proc/7089/task/7092/stat : 7092 (claspmt) R 7087 7089 4446 0 -1 4202560 90828 0 0 0 99507 68 0 0 25 0 4 0 654178042 1466585088 318962 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7089/tid=7093] ppid=7087 vsize=1432212 CPUtime=994.9 cores=0,2,4,6
/proc/7089/task/7093/stat : 7093 (claspmt) R 7087 7089 4446 0 -1 4202560 84100 0 0 0 99410 80 0 0 25 0 4 0 654178042 1466585088 318962 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3988.36
Current children cumulated vsize (KiB) 1432212

[startup+1062.3 s]
/proc/loadavg: 9.23 9.17 8.77 11/310 27696
/proc/meminfo: memFree=11168084/32950928 swapFree=67083212/67111528
[pid=7089] ppid=7087 vsize=1500040 CPUtime=4226.89 cores=0,2,4,6
/proc/7089/stat : 7089 (claspmt) R 7087 7089 4446 0 -1 4202496 348879 0 0 0 422388 301 0 0 25 0 4 0 654178009 1536040960 343375 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/7089/statm: 375010 343375 460 189 0 369359 0
[pid=7089/tid=7091] ppid=7087 vsize=1500040 CPUtime=1056.57 cores=0,2,4,6
/proc/7089/task/7091/stat : 7091 (claspmt) R 7087 7089 4446 0 -1 4202560 47290 0 0 0 105620 37 0 0 25 0 4 0 654178042 1536040960 343375 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=7089/tid=7092] ppid=7087 vsize=1500040 CPUtime=1055.13 cores=0,2,4,6
/proc/7089/task/7092/stat : 7092 (claspmt) R 7087 7089 4446 0 -1 4202560 96617 0 0 0 105439 74 0 0 25 0 4 0 654178042 1536040960 343375 33554432000 4194304 4964800 140734594125712 18446744073709551615 4627309 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7089/tid=7093] ppid=7087 vsize=1500040 CPUtime=1054.3 cores=0,2,4,6
/proc/7089/task/7093/stat : 7093 (claspmt) R 7087 7089 4446 0 -1 4202560 102328 0 0 0 105331 99 0 0 25 0 4 0 654178042 1536040960 343375 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4226.89
Current children cumulated vsize (KiB) 1500040

[startup+1122.3 s]
/proc/loadavg: 9.33 9.21 8.81 10/309 29516
/proc/meminfo: memFree=11049328/32950928 swapFree=67083212/67111528
[pid=7089] ppid=7087 vsize=1592964 CPUtime=4465.33 cores=0,2,4,6
/proc/7089/stat : 7089 (claspmt) R 7087 7089 4446 0 -1 4202496 377381 0 0 0 446205 328 0 0 25 0 4 0 654178009 1631195136 371877 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/7089/statm: 398241 371877 460 189 0 392590 0
[pid=7089/tid=7091] ppid=7087 vsize=1592964 CPUtime=1116.5 cores=0,2,4,6
/proc/7089/task/7091/stat : 7091 (claspmt) R 7087 7089 4446 0 -1 4202560 54153 0 0 0 111609 41 0 0 25 0 4 0 654178042 1631195136 371877 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=7089/tid=7092] ppid=7087 vsize=1592964 CPUtime=1114.41 cores=0,2,4,6
/proc/7089/task/7092/stat : 7092 (claspmt) R 7087 7089 4446 0 -1 4202560 107118 0 0 0 111359 82 0 0 25 0 4 0 654178042 1631195136 371877 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7089/tid=7093] ppid=7087 vsize=1592964 CPUtime=1113.93 cores=0,2,4,6
/proc/7089/task/7093/stat : 7093 (claspmt) R 7087 7089 4446 0 -1 4202560 113432 0 0 0 111280 113 0 0 25 0 4 0 654178042 1631195136 371877 33554432000 4194304 4964800 140734594125712 18446744073709551615 4669022 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4465.33
Current children cumulated vsize (KiB) 1592964

[startup+1182.3 s]
/proc/loadavg: 9.37 9.25 8.85 10/310 31324
/proc/meminfo: memFree=11013804/32950928 swapFree=67083212/67111528
[pid=7089] ppid=7087 vsize=1613020 CPUtime=4703.76 cores=0,2,4,6
/proc/7089/stat : 7089 (claspmt) R 7087 7089 4446 0 -1 4202496 382190 0 0 0 470046 330 0 0 25 0 4 0 654178009 1651732480 376686 33554432000 4194304 4964800 140734594125712 18446744073709551615 4668568 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/7089/statm: 403255 376686 460 189 0 397604 0
[pid=7089/tid=7091] ppid=7087 vsize=1613020 CPUtime=1176.02 cores=0,2,4,6
/proc/7089/task/7091/stat : 7091 (claspmt) R 7087 7089 4446 0 -1 4202560 58889 0 0 0 117560 42 0 0 25 0 4 0 654178042 1651732480 376686 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7089/tid=7092] ppid=7087 vsize=1613020 CPUtime=1174.01 cores=0,2,4,6
/proc/7089/task/7092/stat : 7092 (claspmt) R 7087 7089 4446 0 -1 4202560 107183 0 0 0 117319 82 0 0 25 0 4 0 654178042 1651732480 376686 33554432000 4194304 4964800 140734594125712 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=7089/tid=7093] ppid=7087 vsize=1613020 CPUtime=1173.83 cores=0,2,4,6
/proc/7089/task/7093/stat : 7093 (claspmt) R 7087 7089 4446 0 -1 4202560 113440 0 0 0 117270 113 0 0 25 0 4 0 654178042 1651732480 376686 33554432000 4194304 4964800 140734594125712 18446744073709551615 4321010 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4703.76
Current children cumulated vsize (KiB) 1613020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1206.6 s]
/proc/loadavg: 9.43 9.27 8.87 10/308 32096
/proc/meminfo: memFree=11008780/32950928 swapFree=67083212/67111528
[pid=7089] ppid=7087 vsize=1613020 CPUtime=4800.37 cores=0,2,4,6
/proc/7089/stat : 7089 (claspmt) R 7087 7089 4446 0 -1 4202496 382685 0 0 0 479706 331 0 0 25 0 4 0 654178009 1651732480 377181 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/7089/statm: 403255 377181 460 189 0 397604 0
[pid=7089/tid=7091] ppid=7087 vsize=1613020 CPUtime=1200.06 cores=0,2,4,6
/proc/7089/task/7091/stat : 7091 (claspmt) R 7087 7089 4446 0 -1 4202560 58889 0 0 0 119964 42 0 0 25 0 4 0 654178042 1651732480 377187 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7089/tid=7092] ppid=7087 vsize=1613020 CPUtime=1198.26 cores=0,2,4,6
/proc/7089/task/7092/stat : 7092 (claspmt) R 7087 7089 4446 0 -1 4202560 107205 0 0 0 119744 82 0 0 25 0 4 0 654178042 1651732480 377187 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=7089/tid=7093] ppid=7087 vsize=1613020 CPUtime=1198.08 cores=0,2,4,6
/proc/7089/task/7093/stat : 7093 (claspmt) R 7087 7089 4446 0 -1 4202560 113443 0 0 0 119694 114 0 0 25 0 4 0 654178042 1651732480 377187 33554432000 4194304 4964800 140734594125712 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 1613020

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

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

[startup+1206.8 s]
/proc/loadavg: 9.43 9.27 8.87 10/308 32096
/proc/meminfo: memFree=11008780/32950928 swapFree=67083212/67111528
[pid=7089] ppid=7087 vsize=1610740 CPUtime=4800.59 cores=0,2,4,6
/proc/7089/stat : 7089 (claspmt) R 7087 7089 4446 0 -1 4202496 382707 0 0 0 479728 331 0 0 25 0 1 0 654178009 1649397760 371812 33554432000 4194304 4964800 140734594125712 18446744073709551615 208079888945 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/7089/statm: 402685 371812 470 189 0 397034 0
Current children cumulated CPU time (s) 4800.59
Current children cumulated vsize (KiB) 1610740

[startup+1206.9 s]
/proc/loadavg: 9.43 9.27 8.87 10/308 32096
/proc/meminfo: memFree=11008780/32950928 swapFree=67083212/67111528
[pid=7089] ppid=7087 vsize=1322076 CPUtime=4800.69 cores=0,2,4,6
/proc/7089/stat : 7089 (claspmt) R 7087 7089 4446 0 -1 4202496 382708 0 0 0 479735 334 0 0 25 0 1 0 654178009 1353805824 257855 33554432000 4194304 4964800 140734594125712 18446744073709551615 208080258154 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/7089/statm: 330519 257855 471 189 0 324868 0
Current children cumulated CPU time (s) 4800.69
Current children cumulated vsize (KiB) 1322076

Child status: 0
Real time (s): 1206.95
CPU time (s): 4800.75
CPU user time (s): 4797.36
CPU system time (s): 3.38848
CPU usage (%): 397.758
Max. virtual memory (cumulated for all children) (KiB): 1613020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.36
system time used= 3.38848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 382709
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= 5684
involuntary context switches= 46255

runsolver used 3.32949 second user time and 8.11077 second system time

The end

Launcher Data 

Begin job on node127 at 2011-05-15 04:16:23
IDJOB=3373030
IDBENCH=83244
IDSOLVER=1853
FILE ID=node127/3373030-1305425783
RUNJOBID= node127-1305423346-4464
PBS_JOBID= 13324590
Free space on /tmp= 73508 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/crafted/manthey/sudoku-single-hard/sudoku_81x81_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-3373030-1305425783/watcher-3373030-1305425783 -o /tmp/evaluation-result-3373030-1305425783/solver-3373030-1305425783 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373030-1305425783.cnf

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

MD5SUM BENCH= cbd78921480e79d133eb06cb2172caa1
RANDOM SEED=208443687

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
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.823
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.75
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.823
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.60
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.823
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:      12876076 kB
Buffers:        297908 kB
Cached:        3559020 kB
SwapCached:       1620 kB
Active:       16896496 kB
Inactive:      2847364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      12876076 kB
SwapTotal:    67111528 kB
SwapFree:     67083212 kB
Dirty:            6424 kB
Writeback:           0 kB
AnonPages:    15885092 kB
Mapped:          26980 kB
Slab:           222248 kB
PageTables:      47020 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 44405384 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= 73504 MiB
End job on node127 at 2011-05-15 04:36:32