Trace number 3381024

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) 40002.4 5061.16

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-21x39.cnf
MD5SUMe7679ca49bb432c9b90305d907365c4e
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 variables3276
Number of clauses628173
Sum of the clauses size2502864
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 24914
Number of clauses of size 30
Number of clauses of size 4623259
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 ...500561/instance-3381024-1305500561.cnf
58.89/58.99	c Solving...
40000.55/5059.31	
40000.55/5059.31	*** INTERRUPTED! ***
40000.55/5059.31	*** Shutting down threads...
40002.39/5061.15	s UNKNOWN
40002.39/5061.15	
40002.39/5061.15	c INTERRUPTED   : 1
40002.39/5061.15	c Models        : 0+    
40002.39/5061.15	c Time          : 5059.323s (Solving: 5000.33s 1st Model: 0.00s Unsat: 0.00s)
40002.39/5061.15	c CPU Time      : 40000.600s

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-3381024-1305500561/watcher-3381024-1305500561 -o /tmp/evaluation-result-3381024-1305500561/solver-3381024-1305500561 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3381024-1305500561.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.44 7.93 7.96 2/321 21644
/proc/meminfo: memFree=8878008/32950928 swapFree=64721848/67111528
[pid=21644] ppid=21642 vsize=22924 CPUtime=0 cores=0-7
/proc/21644/stat : 21644 (claspmt) R 21642 21644 21584 0 -1 4202496 1083 0 0 0 0 0 0 0 23 0 1 0 661655975 23474176 953 33554432000 4194304 4964800 140736217926864 18446744073709551615 248089359045 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21644/statm: 5731 955 386 189 0 605 0

[startup+0.0259059 s]
/proc/loadavg: 7.44 7.93 7.96 2/321 21644
/proc/meminfo: memFree=8878008/32950928 swapFree=64721848/67111528
[pid=21644] ppid=21642 vsize=25676 CPUtime=0.02 cores=0-7
/proc/21644/stat : 21644 (claspmt) R 21642 21644 21584 0 -1 4202496 1989 0 0 0 2 0 0 0 23 0 1 0 661655975 26292224 1603 33554432000 4194304 4964800 140736217926864 18446744073709551615 248089359045 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21644/statm: 6419 1604 386 189 0 1293 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 25676

[startup+0.100894 s]
/proc/loadavg: 7.44 7.93 7.96 2/321 21644
/proc/meminfo: memFree=8878008/32950928 swapFree=64721848/67111528
[pid=21644] ppid=21642 vsize=42120 CPUtime=0.09 cores=0-7
/proc/21644/stat : 21644 (claspmt) R 21642 21644 21584 0 -1 4202496 6260 0 0 0 9 0 0 0 23 0 1 0 661655975 43130880 5017 33554432000 4194304 4964800 140736217926864 18446744073709551615 248089395669 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21644/statm: 10530 5036 386 189 0 5404 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42120

[startup+0.300858 s]
/proc/loadavg: 7.44 7.93 7.96 2/321 21644
/proc/meminfo: memFree=8878008/32950928 swapFree=64721848/67111528
[pid=21644] ppid=21642 vsize=75724 CPUtime=0.29 cores=0-7
/proc/21644/stat : 21644 (claspmt) R 21642 21644 21584 0 -1 4202496 16718 0 0 0 27 2 0 0 25 0 1 0 661655975 77541376 13923 33554432000 4194304 4964800 140736217926864 18446744073709551615 248089356965 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21644/statm: 18931 13923 397 189 0 13805 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 75724

[startup+0.700789 s]
/proc/loadavg: 7.44 7.93 7.96 2/321 21644
/proc/meminfo: memFree=8878008/32950928 swapFree=64721848/67111528
[pid=21644] ppid=21642 vsize=76520 CPUtime=0.69 cores=0-7
/proc/21644/stat : 21644 (claspmt) R 21642 21644 21584 0 -1 4202496 16956 0 0 0 67 2 0 0 25 0 1 0 661655975 78356480 14161 33554432000 4194304 4964800 140736217926864 18446744073709551615 4607641 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21644/statm: 19130 14161 399 189 0 14004 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76520

[startup+1.50058 s]
/proc/loadavg: 6.92 7.82 7.92 2/322 21645
/proc/meminfo: memFree=8822828/32950928 swapFree=64721848/67111528
[pid=21644] ppid=21642 vsize=76520 CPUtime=1.49 cores=0-7
/proc/21644/stat : 21644 (claspmt) R 21642 21644 21584 0 -1 4202496 16956 0 0 0 147 2 0 0 25 0 1 0 661655975 78356480 14161 33554432000 4194304 4964800 140736217926864 18446744073709551615 4607575 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21644/statm: 19130 14161 399 189 0 14004 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 76520

[startup+3.10029 s]
/proc/loadavg: 6.92 7.82 7.92 2/322 21645
/proc/meminfo: memFree=8822208/32950928 swapFree=64721848/67111528
[pid=21644] ppid=21642 vsize=76520 CPUtime=3.09 cores=0-7
/proc/21644/stat : 21644 (claspmt) R 21642 21644 21584 0 -1 4202496 16956 0 0 0 307 2 0 0 25 0 1 0 661655975 78356480 14161 33554432000 4194304 4964800 140736217926864 18446744073709551615 4607486 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21644/statm: 19130 14161 399 189 0 14004 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76520

[startup+6.30083 s]
/proc/loadavg: 6.92 7.82 7.92 2/322 21645
/proc/meminfo: memFree=8821368/32950928 swapFree=64721848/67111528
[pid=21644] ppid=21642 vsize=77980 CPUtime=6.29 cores=0-7
/proc/21644/stat : 21644 (claspmt) R 21642 21644 21584 0 -1 4202496 17327 0 0 0 627 2 0 0 25 0 1 0 661655975 79851520 14532 33554432000 4194304 4964800 140736217926864 18446744073709551615 4600357 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/21644/statm: 19495 14532 400 189 0 14369 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 77980

[startup+12.7006 s]
/proc/loadavg: 6.01 7.59 7.85 2/322 21646
/proc/meminfo: memFree=8811596/32950928 swapFree=64721848/67111528
[pid=21644] ppid=21642 vsize=89108 CPUtime=12.69 cores=0-7
/proc/21644/stat : 21644 (claspmt) R 21642 21644 21584 0 -1 4202496 20101 0 0 0 1267 2 0 0 25 0 1 0 661655975 91246592 17306 33554432000 4194304 4964800 140736217926864 18446744073709551615 4600357 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/21644/statm: 22277 17306 400 189 0 17151 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 89108

[startup+25.5003 s]
/proc/loadavg: 5.24 7.38 7.77 2/322 21646
/proc/meminfo: memFree=8794724/32950928 swapFree=64721848/67111528
[pid=21644] ppid=21642 vsize=106352 CPUtime=25.49 cores=0-7
/proc/21644/stat : 21644 (claspmt) R 21642 21644 21584 0 -1 4202496 24400 0 0 0 2545 4 0 0 25 0 1 0 661655975 108904448 21605 33554432000 4194304 4964800 140736217926864 18446744073709551615 248089359045 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/21644/statm: 26588 21605 400 189 0 21462 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 106352

[startup+51.1009 s]
/proc/loadavg: 3.79 6.86 7.59 2/322 21647
/proc/meminfo: memFree=8780836/32950928 swapFree=64721848/67111528
[pid=21644] ppid=21642 vsize=119844 CPUtime=51.1 cores=0-7
/proc/21644/stat : 21644 (claspmt) R 21642 21644 21584 0 -1 4202496 27798 0 0 0 5105 5 0 0 25 0 1 0 661655975 122720256 25003 33554432000 4194304 4964800 140736217926864 18446744073709551615 4607472 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/21644/statm: 29961 25003 400 189 0 24835 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 119844

[startup+102.313 s]
/proc/loadavg: 6.28 6.97 7.58 10/330 21658
/proc/meminfo: memFree=7851024/32950928 swapFree=64721848/67111528
[pid=21644] ppid=21642 vsize=1203068 CPUtime=401.47 cores=0-7
/proc/21644/stat : 21644 (claspmt) R 21642 21644 21584 0 -1 4202496 253790 0 0 0 40014 133 0 0 25 0 8 0 661655975 1231941632 249575 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670264 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/21644/statm: 300767 249575 466 189 0 295116 0
[pid=21644/tid=21648] ppid=21642 vsize=1203068 CPUtime=42.29 cores=0-7
/proc/21644/task/21648/stat : 21648 (claspmt) R 21642 21644 21584 0 -1 4202560 34184 0 0 0 4206 23 0 0 25 0 8 0 661661875 1231941632 249575 33554432000 4194304 4964800 140736217926864 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21644/tid=21649] ppid=21642 vsize=1203068 CPUtime=42.96 cores=0-7
/proc/21644/task/21649/stat : 21649 (claspmt) R 21642 21644 21584 0 -1 4202560 26137 0 0 0 4281 15 0 0 25 0 8 0 661661875 1231941632 249575 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21644/tid=21650] ppid=21642 vsize=1203068 CPUtime=42.55 cores=0-7
/proc/21644/task/21650/stat : 21650 (claspmt) R 21642 21644 21584 0 -1 4202560 18446 0 0 0 4243 12 0 0 25 0 8 0 661661875 1231941632 249575 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21644/tid=21651] ppid=21642 vsize=1203068 CPUtime=42.92 cores=0-7
/proc/21644/task/21651/stat : 21651 (claspmt) R 21642 21644 21584 0 -1 4202560 22701 0 0 0 4280 12 0 0 25 0 8 0 661661875 1231941632 249575 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21644/tid=21652] ppid=21642 vsize=1203068 CPUtime=43.1 cores=0-7
/proc/21644/task/21652/stat : 21652 (claspmt) R 21642 21644 21584 0 -1 4202560 25566 0 0 0 4299 11 0 0 25 0 8 0 661661875 1231941632 249575 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21644/tid=21653] ppid=21642 vsize=1203068 CPUtime=42.92 cores=0-7
/proc/21644/task/21653/stat : 21653 (claspmt) R 21642 21644 21584 0 -1 4202560 22627 0 0 0 4282 10 0 0 25 0 8 0 661661875 1231941632 249575 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670343 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21644/tid=21654] ppid=21642 vsize=1203068 CPUtime=42.91 cores=0-7
/proc/21644/task/21654/stat : 21654 (claspmt) R 21642 21644 21584 0 -1 4202560 37260 0 0 0 4270 21 0 0 25 0 8 0 661661875 1231941632 249575 33554432000 4194304 4964800 140736217926864 18446744073709551615 4342180 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 401.47
Current children cumulated vsize (KiB) 1203068

[startup+162.301 s]
/proc/loadavg: 7.43 7.17 7.61 9/329 21660
/proc/meminfo: memFree=7667324/32950928 swapFree=64721848/67111528
[pid=21644] ppid=21642 vsize=1544308 CPUtime=880.6 cores=0-7
/proc/21644/stat : 21644 (claspmt) R 21642 21644 21584 0 -1 4202496 308077 0 0 0 87877 183 0 0 25 0 8 0 661655975 1581371392 303694 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670349 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/21644/statm: 386077 303694 466 189 0 380426 0
[pid=21644/tid=21648] ppid=21642 vsize=1544308 CPUtime=102.19 cores=0-7
/proc/21644/task/21648/stat : 21648 (claspmt) R 21642 21644 21584 0 -1 4202560 45171 0 0 0 10187 32 0 0 25 0 8 0 661661875 1581371392 303694 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21644/tid=21649] ppid=21642 vsize=1544308 CPUtime=102.91 cores=0-7
/proc/21644/task/21649/stat : 21649 (claspmt) R 21642 21644 21584 0 -1 4202560 33196 0 0 0 10270 21 0 0 25 0 8 0 661661875 1581371392 303694 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21644/tid=21650] ppid=21642 vsize=1544308 CPUtime=101.9 cores=0-7
/proc/21644/task/21650/stat : 21650 (claspmt) R 21642 21644 21584 0 -1 4202560 20440 0 0 0 10177 13 0 0 25 0 8 0 661661875 1581371392 303694 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21644/tid=21651] ppid=21642 vsize=1544308 CPUtime=102.91 cores=0-7
/proc/21644/task/21651/stat : 21651 (claspmt) R 21642 21644 21584 0 -1 4202560 25045 0 0 0 10276 15 0 0 25 0 8 0 661661875 1581371392 303694 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21644/tid=21652] ppid=21642 vsize=1544308 CPUtime=103.09 cores=0-7
/proc/21644/task/21652/stat : 21652 (claspmt) R 21642 21644 21584 0 -1 4202560 28454 0 0 0 10296 13 0 0 25 0 8 0 661661875 1581371392 303694 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21644/tid=21653] ppid=21642 vsize=1544308 CPUtime=102.89 cores=0-7
/proc/21644/task/21653/stat : 21653 (claspmt) R 21642 21644 21584 0 -1 4202560 27360 0 0 0 10273 16 0 0 25 0 8 0 661661875 1581371392 303694 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21644/tid=21654] ppid=21642 vsize=1544308 CPUtime=102.9 cores=0-7
/proc/21644/task/21654/stat : 21654 (claspmt) R 21642 21644 21584 0 -1 4202560 51354 0 0 0 10256 34 0 0 25 0 8 0 661661875 1581371392 303694 33554432000 4194304 4964800 140736217926864 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 880.6
Current children cumulated vsize (KiB) 1544308

[startup+222.301 s]
/proc/loadavg: 7.85 7.33 7.64 9/329 21661
/proc/meminfo: memFree=7582644/32950928 swapFree=64721848/67111528
[pid=21644] ppid=21642 vsize=1626612 CPUtime=1359.86 cores=0-7
/proc/21644/stat : 21644 (claspmt) R 21642 21644 21584 0 -1 4202496 328812 0 0 0 135777 209 0 0 25 0 8 0 661655975 1665650688 324289 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/21644/statm: 406653 324289 466 189 0 401002 0
[pid=21644/tid=21648] ppid=21642 vsize=1626612 CPUtime=162.18 cores=0-7
/proc/21644/task/21648/stat : 21648 (claspmt) R 21642 21644 21584 0 -1 4202560 46150 0 0 0 16184 34 0 0 25 0 8 0 661661875 1665650688 324289 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21644/tid=21649] ppid=21642 vsize=1626612 CPUtime=162.9 cores=0-7
/proc/21644/task/21649/stat : 21649 (claspmt) R 21642 21644 21584 0 -1 4202560 34535 0 0 0 16266 24 0 0 25 0 8 0 661661875 1665650688 324289 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21644/tid=21650] ppid=21642 vsize=1626612 CPUtime=161.25 cores=0-7
/proc/21644/task/21650/stat : 21650 (claspmt) R 21642 21644 21584 0 -1 4202560 22417 0 0 0 16109 16 0 0 25 0 8 0 661661875 1665650688 324289 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21644/tid=21651] ppid=21642 vsize=1626612 CPUtime=162.91 cores=0-7
/proc/21644/task/21651/stat : 21651 (claspmt) R 21642 21644 21584 0 -1 4202560 29625 0 0 0 16271 20 0 0 25 0 8 0 661661875 1665650688 324289 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21644/tid=21652] ppid=21642 vsize=1626612 CPUtime=163.09 cores=0-7
/proc/21644/task/21652/stat : 21652 (claspmt) R 21642 21644 21584 0 -1 4202560 29494 0 0 0 16295 14 0 0 25 0 8 0 661661875 1665650688 324289 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21644/tid=21653] ppid=21642 vsize=1626612 CPUtime=162.85 cores=0-7
/proc/21644/task/21653/stat : 21653 (claspmt) R 21642 21644 21584 0 -1 4202560 27748 0 0 0 16268 17 0 0 25 0 8 0 661661875 1665650688 324289 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21644/tid=21654] ppid=21642 vsize=1626612 CPUtime=162.9 cores=0-7
/proc/21644/task/21654/stat : 21654 (claspmt) R 21642 21644 21584 0 -1 4202560 56688 0 0 0 16249 41 0 0 25 0 8 0 661661875 1665650688 324289 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1359.86
Current children cumulated vsize (KiB) 1626612

[startup+282.301 s]
/proc/loadavg: 8.00 7.47 7.66 9/329 21663
/proc/meminfo: memFree=7494116/32950928 swapFree=64721848/67111528
[pid=21644] ppid=21642 vsize=1709288 CPUtime=1839.18 cores=0-7
/proc/21644/stat : 21644 (claspmt) R 21642 21644 21584 0 -1 4202496 351593 0 0 0 183682 236 0 0 25 0 8 0 661655975 1750310912 347070 33554432000 4194304 4964800 140736217926864 18446744073709551615 4342186 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/21644/statm: 427322 347070 466 189 0 421671 0
[pid=21644/tid=21648] ppid=21642 vsize=1709288 CPUtime=221.82 cores=0-7
/proc/21644/task/21648/stat : 21648 (claspmt) R 21642 21644 21584 0 -1 4202560 53759 0 0 0 22142 40 0 0 25 0 8 0 661661875 1750310912 347070 33554432000 4194304 4964800 140736217926864 18446744073709551615 4660168 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21644/tid=21649] ppid=21642 vsize=1709288 CPUtime=222.9 cores=0-7
/proc/21644/task/21649/stat : 21649 (claspmt) R 21642 21644 21584 0 -1 4202560 36713 0 0 0 22262 28 0 0 25 0 8 0 661661875 1750310912 347070 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21644/tid=21650] ppid=21642 vsize=1709288 CPUtime=220.95 cores=0-7
/proc/21644/task/21650/stat : 21650 (claspmt) R 21642 21644 21584 0 -1 4202560 24887 0 0 0 22075 20 0 0 25 0 8 0 661661875 1750310912 347070 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21644/tid=21651] ppid=21642 vsize=1709288 CPUtime=222.91 cores=0-7

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

[pid=21644/tid=21651] ppid=21642 vsize=4278092 CPUtime=4722.89 cores=0-7
/proc/21644/task/21651/stat : 21651 (claspmt) R 21642 21644 21584 0 -1 4202560 63396 0 0 0 472235 54 0 0 25 0 8 0 661661875 4380766208 1004391 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21644/tid=21652] ppid=21642 vsize=4278092 CPUtime=4723.08 cores=0-7
/proc/21644/task/21652/stat : 21652 (claspmt) R 21642 21644 21584 0 -1 4202560 79196 0 0 0 472234 74 0 0 25 0 8 0 661661875 4380766208 1004391 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21644/tid=21653] ppid=21642 vsize=4278092 CPUtime=4721.98 cores=0-7
/proc/21644/task/21653/stat : 21653 (claspmt) R 21642 21644 21584 0 -1 4202560 70848 0 0 0 472122 76 0 0 25 0 8 0 661661875 4380766208 1004391 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21644/tid=21654] ppid=21642 vsize=4278092 CPUtime=4712.48 cores=0-7
/proc/21644/task/21654/stat : 21654 (claspmt) R 21642 21644 21584 0 -1 4202560 259167 0 0 0 470956 292 0 0 25 0 8 0 661661875 4380766208 1004391 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 37787.5
Current children cumulated vsize (KiB) 4278092

[startup+4842.3 s]
/proc/loadavg: 8.06 8.06 8.00 9/329 21796
/proc/meminfo: memFree=4842140/32950928 swapFree=64721848/67111528
[pid=21644] ppid=21642 vsize=4296548 CPUtime=38266.8 cores=0-7
/proc/21644/stat : 21644 (claspmt) R 21642 21644 21584 0 -1 4202496 1026811 0 0 0 3825566 1117 0 0 25 0 8 0 661655975 4399665152 1007518 33554432000 4194304 4964800 140736217926864 18446744073709551615 4320951 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/21644/statm: 1074137 1007518 466 189 0 1068486 0
[pid=21644/tid=21648] ppid=21642 vsize=4296548 CPUtime=4766.27 cores=0-7
/proc/21644/task/21648/stat : 21648 (claspmt) R 21642 21644 21584 0 -1 4202560 140735 0 0 0 476453 174 0 0 25 0 8 0 661661875 4399665152 1007518 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21644/tid=21649] ppid=21642 vsize=4296548 CPUtime=4781.84 cores=0-7
/proc/21644/task/21649/stat : 21649 (claspmt) R 21642 21644 21584 0 -1 4202560 140367 0 0 0 478021 163 0 0 25 0 8 0 661661875 4399665152 1007518 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21644/tid=21650] ppid=21642 vsize=4296548 CPUtime=4772.8 cores=0-7
/proc/21644/task/21650/stat : 21650 (claspmt) R 21642 21644 21584 0 -1 4202560 56427 0 0 0 477216 64 0 0 25 0 8 0 661661875 4399665152 1007518 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21644/tid=21651] ppid=21642 vsize=4296548 CPUtime=4782.89 cores=0-7
/proc/21644/task/21651/stat : 21651 (claspmt) R 21642 21644 21584 0 -1 4202560 63404 0 0 0 478235 54 0 0 25 0 8 0 661661875 4399665152 1007518 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21644/tid=21652] ppid=21642 vsize=4296548 CPUtime=4783.09 cores=0-7
/proc/21644/task/21652/stat : 21652 (claspmt) R 21642 21644 21584 0 -1 4202560 82305 0 0 0 478234 75 0 0 25 0 8 0 661661875 4399665152 1007518 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21644/tid=21653] ppid=21642 vsize=4296548 CPUtime=4781.97 cores=0-7
/proc/21644/task/21653/stat : 21653 (claspmt) R 21642 21644 21584 0 -1 4202560 70850 0 0 0 478121 76 0 0 25 0 8 0 661661875 4399665152 1007518 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21644/tid=21654] ppid=21642 vsize=4296548 CPUtime=4771.82 cores=0-7
/proc/21644/task/21654/stat : 21654 (claspmt) R 21642 21644 21584 0 -1 4202560 259168 0 0 0 476890 292 0 0 25 0 8 0 661661875 4399665152 1007518 33554432000 4194304 4964800 140736217926864 18446744073709551615 4321029 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 38266.8
Current children cumulated vsize (KiB) 4296548

[startup+4902.3 s]
/proc/loadavg: 8.10 8.08 8.01 9/329 21798
/proc/meminfo: memFree=4837692/32950928 swapFree=64721848/67111528
[pid=21644] ppid=21642 vsize=4296548 CPUtime=38746.2 cores=0-7
/proc/21644/stat : 21644 (claspmt) R 21642 21644 21584 0 -1 4202496 1027973 0 0 0 3873499 1119 0 0 25 0 8 0 661655975 4399665152 1008680 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/21644/statm: 1074137 1008680 466 189 0 1068486 0
[pid=21644/tid=21648] ppid=21642 vsize=4296548 CPUtime=4826.27 cores=0-7
/proc/21644/task/21648/stat : 21648 (claspmt) R 21642 21644 21584 0 -1 4202560 140744 0 0 0 482453 174 0 0 25 0 8 0 661661875 4399665152 1008680 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21644/tid=21649] ppid=21642 vsize=4296548 CPUtime=4841.84 cores=0-7
/proc/21644/task/21649/stat : 21649 (claspmt) R 21642 21644 21584 0 -1 4202560 140371 0 0 0 484021 163 0 0 25 0 8 0 661661875 4399665152 1008680 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21644/tid=21650] ppid=21642 vsize=4296548 CPUtime=4832.81 cores=0-7
/proc/21644/task/21650/stat : 21650 (claspmt) R 21642 21644 21584 0 -1 4202560 56427 0 0 0 483217 64 0 0 25 0 8 0 661661875 4399665152 1008680 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21644/tid=21651] ppid=21642 vsize=4296548 CPUtime=4842.89 cores=0-7
/proc/21644/task/21651/stat : 21651 (claspmt) R 21642 21644 21584 0 -1 4202560 63573 0 0 0 484235 54 0 0 25 0 8 0 661661875 4399665152 1008680 33554432000 4194304 4964800 140736217926864 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21644/tid=21652] ppid=21642 vsize=4296548 CPUtime=4843.09 cores=0-7
/proc/21644/task/21652/stat : 21652 (claspmt) R 21642 21644 21584 0 -1 4202560 83274 0 0 0 484233 76 0 0 25 0 8 0 661661875 4399665152 1008680 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21644/tid=21653] ppid=21642 vsize=4296548 CPUtime=4841.97 cores=0-7
/proc/21644/task/21653/stat : 21653 (claspmt) R 21642 21644 21584 0 -1 4202560 70856 0 0 0 484121 76 0 0 25 0 8 0 661661875 4399665152 1008680 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21644/tid=21654] ppid=21642 vsize=4296548 CPUtime=4831.17 cores=0-7
/proc/21644/task/21654/stat : 21654 (claspmt) R 21642 21644 21584 0 -1 4202560 259173 0 0 0 482825 292 0 0 25 0 8 0 661661875 4399665152 1008680 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 38746.2
Current children cumulated vsize (KiB) 4296548

[startup+4962.3 s]
/proc/loadavg: 8.11 8.08 8.01 9/329 21800
/proc/meminfo: memFree=4819060/32950928 swapFree=64721848/67111528
[pid=21644] ppid=21642 vsize=4296548 CPUtime=39225.5 cores=0-7
/proc/21644/stat : 21644 (claspmt) R 21642 21644 21584 0 -1 4202496 1032738 0 0 0 3921426 1126 0 0 25 0 8 0 661655975 4399665152 1013445 33554432000 4194304 4964800 140736217926864 18446744073709551615 4320951 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/21644/statm: 1074137 1013445 466 189 0 1068486 0
[pid=21644/tid=21648] ppid=21642 vsize=4296548 CPUtime=4886.27 cores=0-7
/proc/21644/task/21648/stat : 21648 (claspmt) R 21642 21644 21584 0 -1 4202560 140753 0 0 0 488453 174 0 0 25 0 8 0 661661875 4399665152 1013445 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21644/tid=21649] ppid=21642 vsize=4296548 CPUtime=4901.84 cores=0-7
/proc/21644/task/21649/stat : 21649 (claspmt) R 21642 21644 21584 0 -1 4202560 140373 0 0 0 490021 163 0 0 25 0 8 0 661661875 4399665152 1013445 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21644/tid=21650] ppid=21642 vsize=4296548 CPUtime=4892.81 cores=0-7
/proc/21644/task/21650/stat : 21650 (claspmt) R 21642 21644 21584 0 -1 4202560 56727 0 0 0 489217 64 0 0 25 0 8 0 661661875 4399665152 1013445 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21644/tid=21651] ppid=21642 vsize=4296548 CPUtime=4902.9 cores=0-7
/proc/21644/task/21651/stat : 21651 (claspmt) R 21642 21644 21584 0 -1 4202560 66260 0 0 0 490232 58 0 0 25 0 8 0 661661875 4399665152 1013445 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21644/tid=21652] ppid=21642 vsize=4296548 CPUtime=4903.09 cores=0-7
/proc/21644/task/21652/stat : 21652 (claspmt) R 21642 21644 21584 0 -1 4202560 85016 0 0 0 490230 79 0 0 25 0 8 0 661661875 4399665152 1013445 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21644/tid=21653] ppid=21642 vsize=4296548 CPUtime=4901.95 cores=0-7
/proc/21644/task/21653/stat : 21653 (claspmt) R 21642 21644 21584 0 -1 4202560 70856 0 0 0 490119 76 0 0 25 0 8 0 661661875 4399665152 1013445 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21644/tid=21654] ppid=21642 vsize=4296548 CPUtime=4890.51 cores=0-7
/proc/21644/task/21654/stat : 21654 (claspmt) R 21642 21644 21584 0 -1 4202560 259198 0 0 0 488759 292 0 0 25 0 8 0 661661875 4399665152 1013445 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 39225.5
Current children cumulated vsize (KiB) 4296548

[startup+5022.3 s]
/proc/loadavg: 8.07 8.07 8.00 9/329 21801
/proc/meminfo: memFree=4772644/32950928 swapFree=64721848/67111528
[pid=21644] ppid=21642 vsize=4427620 CPUtime=39704.9 cores=0-7
/proc/21644/stat : 21644 (claspmt) R 21642 21644 21584 0 -1 4202496 1044483 0 0 0 3969342 1145 0 0 25 0 8 0 661655975 4533882880 1025190 33554432000 4194304 4964800 140736217926864 18446744073709551615 4626894 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/21644/statm: 1106905 1025190 466 189 0 1101254 0
[pid=21644/tid=21648] ppid=21642 vsize=4427620 CPUtime=4946.27 cores=0-7
/proc/21644/task/21648/stat : 21648 (claspmt) R 21642 21644 21584 0 -1 4202560 144424 0 0 0 494448 179 0 0 25 0 8 0 661661875 4533882880 1025190 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21644/tid=21649] ppid=21642 vsize=4427620 CPUtime=4961.84 cores=0-7
/proc/21644/task/21649/stat : 21649 (claspmt) R 21642 21644 21584 0 -1 4202560 140407 0 0 0 496021 163 0 0 25 0 8 0 661661875 4533882880 1025190 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21644/tid=21650] ppid=21642 vsize=4427620 CPUtime=4952.81 cores=0-7
/proc/21644/task/21650/stat : 21650 (claspmt) R 21642 21644 21584 0 -1 4202560 56882 0 0 0 495217 64 0 0 25 0 8 0 661661875 4533882880 1025190 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21644/tid=21651] ppid=21642 vsize=4427620 CPUtime=4962.9 cores=0-7
/proc/21644/task/21651/stat : 21651 (claspmt) R 21642 21644 21584 0 -1 4202560 72292 0 0 0 496220 70 0 0 25 0 8 0 661661875 4533882880 1025190 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21644/tid=21652] ppid=21642 vsize=4427620 CPUtime=4963.09 cores=0-7
/proc/21644/task/21652/stat : 21652 (claspmt) R 21642 21644 21584 0 -1 4202560 86855 0 0 0 496228 81 0 0 25 0 8 0 661661875 4533882880 1025190 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21644/tid=21653] ppid=21642 vsize=4427620 CPUtime=4961.94 cores=0-7
/proc/21644/task/21653/stat : 21653 (claspmt) R 21642 21644 21584 0 -1 4202560 70856 0 0 0 496118 76 0 0 25 0 8 0 661661875 4533882880 1025190 33554432000 4194304 4964800 140736217926864 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21644/tid=21654] ppid=21642 vsize=4427620 CPUtime=4949.88 cores=0-7
/proc/21644/task/21654/stat : 21654 (claspmt) R 21642 21644 21584 0 -1 4202560 259212 0 0 0 494695 293 0 0 25 0 8 0 661661875 4533882880 1025190 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 39704.9
Current children cumulated vsize (KiB) 4427620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5059.3 s]
/proc/loadavg: 8.09 8.08 8.01 9/329 21802
/proc/meminfo: memFree=4741876/32950928 swapFree=64721848/67111528
[pid=21644] ppid=21642 vsize=4427620 CPUtime=40000.6 cores=0-7
/proc/21644/stat : 21644 (claspmt) R 21642 21644 21584 0 -1 4202496 1052096 0 0 0 3998900 1155 0 0 25 0 8 0 661655975 4533882880 1032803 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/21644/statm: 1106905 1032803 466 189 0 1101254 0
[pid=21644/tid=21648] ppid=21642 vsize=4427620 CPUtime=4983.29 cores=0-7
/proc/21644/task/21648/stat : 21648 (claspmt) R 21642 21644 21584 0 -1 4202560 147942 0 0 0 498144 185 0 0 25 0 8 0 661661875 4533882880 1032803 33554432000 4194304 4964800 140736217926864 18446744073709551615 4659391 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21644/tid=21649] ppid=21642 vsize=4427620 CPUtime=4998.85 cores=0-7
/proc/21644/task/21649/stat : 21649 (claspmt) R 21642 21644 21584 0 -1 4202560 140420 0 0 0 499722 163 0 0 25 0 8 0 661661875 4533882880 1032803 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21644/tid=21650] ppid=21642 vsize=4427620 CPUtime=4989.82 cores=0-7
/proc/21644/task/21650/stat : 21650 (claspmt) R 21642 21644 21584 0 -1 4202560 57242 0 0 0 498918 64 0 0 25 0 8 0 661661875 4533882880 1032803 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21644/tid=21651] ppid=21642 vsize=4427620 CPUtime=4999.92 cores=0-7
/proc/21644/task/21651/stat : 21651 (claspmt) R 21642 21644 21584 0 -1 4202560 74797 0 0 0 499919 73 0 0 25 0 8 0 661661875 4533882880 1032803 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670330 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21644/tid=21652] ppid=21642 vsize=4427620 CPUtime=5000.1 cores=0-7
/proc/21644/task/21652/stat : 21652 (claspmt) R 21642 21644 21584 0 -1 4202560 87776 0 0 0 499928 82 0 0 25 0 8 0 661661875 4533882880 1032803 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21644/tid=21653] ppid=21642 vsize=4427620 CPUtime=4998.95 cores=0-7
/proc/21644/task/21653/stat : 21653 (claspmt) R 21642 21644 21584 0 -1 4202560 71144 0 0 0 499819 76 0 0 25 0 8 0 661661875 4533882880 1032803 33554432000 4194304 4964800 140736217926864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21644/tid=21654] ppid=21642 vsize=4427620 CPUtime=4986.47 cores=0-7
/proc/21644/task/21654/stat : 21654 (claspmt) R 21642 21644 21584 0 -1 4202560 259219 0 0 0 498354 293 0 0 25 0 8 0 661661875 4533882880 1032803 33554432000 4194304 4964800 140736217926864 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 40000.6
Current children cumulated vsize (KiB) 4427620

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

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

[startup+5059.8 s]
/proc/loadavg: 8.09 8.08 8.01 9/329 21802
/proc/meminfo: memFree=4741876/32950928 swapFree=64721848/67111528
[pid=21644] ppid=21642 vsize=4427208 CPUtime=40001.1 cores=0-7
/proc/21644/stat : 21644 (claspmt) R 21642 21644 21584 0 -1 4202496 1052106 0 0 0 3998953 1155 0 0 25 0 1 0 661655975 4533460992 1031876 33554432000 4194304 4964800 140736217926864 18446744073709551615 248089353569 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/21644/statm: 1106802 1031876 476 189 0 1101151 0
Current children cumulated CPU time (s) 40001.1
Current children cumulated vsize (KiB) 4427208

[startup+5060.6 s]
/proc/loadavg: 7.52 7.96 7.97 2/323 21803
/proc/meminfo: memFree=4744528/32950928 swapFree=64721848/67111528
[pid=21644] ppid=21642 vsize=4343216 CPUtime=40001.9 cores=0-7
/proc/21644/stat : 21644 (claspmt) R 21642 21644 21584 0 -1 4202496 1052106 0 0 0 3999032 1155 0 0 25 0 1 0 661655975 4447453184 1010178 33554432000 4194304 4964800 140736217926864 18446744073709551615 248089353419 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/21644/statm: 1085804 1010178 476 189 0 1080153 0
Current children cumulated CPU time (s) 40001.9
Current children cumulated vsize (KiB) 4343216

[startup+5061 s]
/proc/loadavg: 7.52 7.96 7.97 2/323 21803
/proc/meminfo: memFree=5344240/32950928 swapFree=64721848/67111528
[pid=21644] ppid=21642 vsize=3616688 CPUtime=40002.3 cores=0-7
/proc/21644/stat : 21644 (claspmt) R 21642 21644 21584 0 -1 4202496 1052106 0 0 0 3999070 1159 0 0 25 0 1 0 661655975 3703488512 816842 33554432000 4194304 4964800 140736217926864 18446744073709551615 248089741671 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/21644/statm: 904172 816842 476 189 0 898521 0
Current children cumulated CPU time (s) 40002.3
Current children cumulated vsize (KiB) 3616688

[startup+5061.11 s]
/proc/loadavg: 7.52 7.96 7.97 2/323 21803
/proc/meminfo: memFree=5344240/32950928 swapFree=64721848/67111528
[pid=21644] ppid=21642 vsize=1228872 CPUtime=40002.4 cores=0-7
/proc/21644/stat : 21644 (claspmt) R 21642 21644 21584 0 -1 4202496 1052106 0 0 0 3999070 1169 0 0 25 0 1 0 661655975 1258364928 240109 33554432000 4194304 4964800 140736217926864 18446744073709551615 248089741447 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/21644/statm: 307218 239593 476 189 0 301567 0
Current children cumulated CPU time (s) 40002.4
Current children cumulated vsize (KiB) 1228872

Child status: 0
Real time (s): 5061.16
CPU time (s): 40002.4
CPU user time (s): 39990.7
CPU system time (s): 11.7342
CPU usage (%): 790.382
Max. virtual memory (cumulated for all children) (KiB): 4427620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39990.7
system time used= 11.7342
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1052107
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= 131055
involuntary context switches= 185471

runsolver used 15.6986 second user time and 39.358 second system time

The end

Launcher Data 

Begin job on node123 at 2011-05-16 01:02:42
IDJOB=3381024
IDBENCH=83184
IDSOLVER=1865
FILE ID=node123/3381024-1305500561
RUNJOBID= node123-1305500561-21598
PBS_JOBID= 13325460
Free space on /tmp= 73388 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-21x39.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-3381024-1305500561/watcher-3381024-1305500561 -o /tmp/evaluation-result-3381024-1305500561/solver-3381024-1305500561 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3381024-1305500561.cnf

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

MD5SUM BENCH= e7679ca49bb432c9b90305d907365c4e
RANDOM SEED=1306723831

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:       8878164 kB
Buffers:        334752 kB
Cached:        4471300 kB
SwapCached:      10528 kB
Active:       20674236 kB
Inactive:      3093980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       8878164 kB
SwapTotal:    67111528 kB
SwapFree:     64721848 kB
Dirty:           16100 kB
Writeback:           0 kB
AnonPages:    18959564 kB
Mapped:          24772 kB
Slab:           180644 kB
PageTables:      59012 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 69833520 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= 73388 MiB
End job on node123 at 2011-05-16 02:27:03