Trace number 3299726

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? (TO) 4800.73 1206.88

General information on the benchmark

Nameindustrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
MD5SUM409f4401e9e8b60ee665ac5567a13e41
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1110.09
Satisfiable
(Un)Satisfiability was proved
Number of variables359341
Number of clauses1254773
Sum of the clauses size3046189
Maximum clause length57
Minimum clause length1
Number of clauses of size 1256
Number of clauses of size 2896240
Number of clauses of size 3346435
Number of clauses of size 4830
Number of clauses of size 5571
Number of clauses of size over 510441

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...038057/instance-3299726-1304038057.cnf
5.79/5.84	c Solving...
4800.13/1206.31	
4800.13/1206.31	*** INTERRUPTED! ***
4800.13/1206.31	*** Shutting down threads...
4800.64/1206.87	s UNKNOWN
4800.64/1206.87	
4800.64/1206.87	c INTERRUPTED   : 1
4800.64/1206.87	c Models        : 0+    
4800.64/1206.87	c Time          : 1206.319s (Solving: 1200.48s 1st Model: 0.00s Unsat: 0.00s)
4800.64/1206.87	c CPU Time      : 4800.160s

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

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3299726-1304038057/watcher-3299726-1304038057 -o /tmp/evaluation-result-3299726-1304038057/solver-3299726-1304038057 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299726-1304038057.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.97 8.09 7.97 5/180 17721
/proc/meminfo: memFree=18523044/32951124 swapFree=67111528/67111528
[pid=17721] ppid=17719 vsize=66732 CPUtime=0 cores=0,2,4,6
/proc/17721/stat : 17721 (claspmt) R 17719 17721 17518 0 -1 4202496 793 0 0 0 0 0 0 0 23 0 1 0 515403802 68333568 722 33554432000 4194304 4964704 140733582368240 18446744073709551615 4700332 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17721/statm: 16683 730 375 189 0 11557 0

[startup+0.0252531 s]
/proc/loadavg: 7.97 8.09 7.97 5/180 17721
/proc/meminfo: memFree=18523044/32951124 swapFree=67111528/67111528
[pid=17721] ppid=17719 vsize=66732 CPUtime=0.01 cores=0,2,4,6
/proc/17721/stat : 17721 (claspmt) R 17719 17721 17518 0 -1 4202496 7819 0 0 0 1 0 0 0 23 0 1 0 515403802 68333568 7748 33554432000 4194304 4964704 140733582368240 18446744073709551615 4700332 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17721/statm: 16683 7763 375 189 0 11557 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 66732

[startup+0.100237 s]
/proc/loadavg: 7.97 8.09 7.97 5/180 17721
/proc/meminfo: memFree=18523044/32951124 swapFree=67111528/67111528
[pid=17721] ppid=17719 vsize=99136 CPUtime=0.09 cores=0,2,4,6
/proc/17721/stat : 17721 (claspmt) R 17719 17721 17518 0 -1 4202496 23199 0 0 0 7 2 0 0 23 0 1 0 515403802 101515264 19563 33554432000 4194304 4964704 140733582368240 18446744073709551615 228122374853 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17721/statm: 24817 19565 388 189 0 19691 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 99136

[startup+0.300201 s]
/proc/loadavg: 7.97 8.09 7.97 5/180 17721
/proc/meminfo: memFree=18523044/32951124 swapFree=67111528/67111528
[pid=17721] ppid=17719 vsize=131984 CPUtime=0.28 cores=0,2,4,6
/proc/17721/stat : 17721 (claspmt) R 17719 17721 17518 0 -1 4202496 34462 0 0 0 25 3 0 0 25 0 1 0 515403802 135151616 27532 33554432000 4194304 4964704 140733582368240 18446744073709551615 228122374853 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17721/statm: 32996 27533 388 189 0 27870 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 131984

[startup+0.70113 s]
/proc/loadavg: 7.97 8.09 7.97 5/180 17721
/proc/meminfo: memFree=18523044/32951124 swapFree=67111528/67111528
[pid=17721] ppid=17719 vsize=212856 CPUtime=0.69 cores=0,2,4,6
/proc/17721/stat : 17721 (claspmt) R 17719 17721 17518 0 -1 4202496 59264 0 0 0 62 7 0 0 25 0 1 0 515403802 217964544 46668 33554432000 4194304 4964704 140733582368240 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17721/statm: 53214 46668 402 189 0 48088 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 212856

[startup+1.50098 s]
/proc/loadavg: 7.97 8.09 7.97 7/181 17722
/proc/meminfo: memFree=18337540/32951124 swapFree=67111528/67111528
[pid=17721] ppid=17719 vsize=228044 CPUtime=1.49 cores=0,2,4,6
/proc/17721/stat : 17721 (claspmt) R 17719 17721 17518 0 -1 4202496 63077 0 0 0 141 8 0 0 25 0 1 0 515403802 233517056 50481 33554432000 4194304 4964704 140733582368240 18446744073709551615 228122374853 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17721/statm: 57011 50481 403 189 0 51885 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 228044

[startup+3.10073 s]
/proc/loadavg: 7.97 8.09 7.97 7/181 17722
/proc/meminfo: memFree=18304792/32951124 swapFree=67111528/67111528
[pid=17721] ppid=17719 vsize=257416 CPUtime=3.09 cores=0,2,4,6
/proc/17721/stat : 17721 (claspmt) R 17719 17721 17518 0 -1 4202496 70348 0 0 0 300 9 0 0 25 0 1 0 515403802 263593984 57752 33554432000 4194304 4964704 140733582368240 18446744073709551615 4621687 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17721/statm: 64354 57752 403 189 0 59228 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 257416

[startup+6.30108 s]
/proc/loadavg: 7.73 8.04 7.95 6/181 17722
/proc/meminfo: memFree=18283472/32951124 swapFree=67111528/67111528
[pid=17721] ppid=17719 vsize=524728 CPUtime=7.48 cores=0,2,4,6
/proc/17721/stat : 17721 (claspmt) R 17719 17721 17518 0 -1 4202496 120722 0 0 0 729 19 0 0 25 0 4 0 515403802 537321472 93610 33554432000 4194304 4964704 140733582368240 18446744073709551615 4670219 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/17721/statm: 131182 93610 450 189 0 125531 0
Current children cumulated CPU time (s) 7.48
Current children cumulated vsize (KiB) 524728

[startup+12.7009 s]
/proc/loadavg: 7.75 8.04 7.95 10/184 17725
/proc/meminfo: memFree=18146420/32951124 swapFree=67111528/67111528
[pid=17721] ppid=17719 vsize=524728 CPUtime=33.04 cores=0,2,4,6
/proc/17721/stat : 17721 (claspmt) R 17719 17721 17518 0 -1 4202496 121386 0 0 0 3284 20 0 0 25 0 4 0 515403802 537321472 94274 33554432000 4194304 4964704 140733582368240 18446744073709551615 4677956 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/17721/statm: 131182 94274 458 189 0 125531 0
[pid=17721/tid=17723] ppid=17719 vsize=524728 CPUtime=6.79 cores=0,2,4,6
/proc/17721/task/17723/stat : 17723 (claspmt) R 17719 17721 17518 0 -1 4202560 9654 0 0 0 677 2 0 0 25 0 4 0 515404387 537321472 94274 33554432000 4194304 4964704 140733582368240 18446744073709551615 4668693 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17721/tid=17724] ppid=17719 vsize=524728 CPUtime=6.84 cores=0,2,4,6
/proc/17721/task/17724/stat : 17724 (claspmt) R 17719 17721 17518 0 -1 4202560 17793 0 0 0 681 3 0 0 25 0 4 0 515404387 537321472 94274 33554432000 4194304 4964704 140733582368240 18446744073709551615 4677998 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17721/tid=17725] ppid=17719 vsize=524728 CPUtime=6.84 cores=0,2,4,6
/proc/17721/task/17725/stat : 17725 (claspmt) R 17719 17721 17518 0 -1 4202560 18123 0 0 0 680 4 0 0 25 0 4 0 515404387 537321472 94274 33554432000 4194304 4964704 140733582368240 18446744073709551615 4668931 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 33.04
Current children cumulated vsize (KiB) 524728

[startup+25.5006 s]
/proc/loadavg: 7.81 8.03 7.95 9/184 17725
/proc/meminfo: memFree=18142428/32951124 swapFree=67111528/67111528
[pid=17721] ppid=17719 vsize=524728 CPUtime=84.17 cores=0,2,4,6
/proc/17721/stat : 17721 (claspmt) R 17719 17721 17518 0 -1 4202496 122134 0 0 0 8396 21 0 0 25 0 4 0 515403802 537321472 95022 33554432000 4194304 4964704 140733582368240 18446744073709551615 4670266 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/17721/statm: 131182 95022 458 189 0 125531 0
[pid=17721/tid=17723] ppid=17719 vsize=524728 CPUtime=19.51 cores=0,2,4,6
/proc/17721/task/17723/stat : 17723 (claspmt) R 17719 17721 17518 0 -1 4202560 9654 0 0 0 1949 2 0 0 25 0 4 0 515404387 537321472 95022 33554432000 4194304 4964704 140733582368240 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17721/tid=17724] ppid=17719 vsize=524728 CPUtime=19.64 cores=0,2,4,6
/proc/17721/task/17724/stat : 17724 (claspmt) R 17719 17721 17518 0 -1 4202560 18129 0 0 0 1960 4 0 0 25 0 4 0 515404387 537321472 95022 33554432000 4194304 4964704 140733582368240 18446744073709551615 4668931 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17721/tid=17725] ppid=17719 vsize=524728 CPUtime=19.64 cores=0,2,4,6
/proc/17721/task/17725/stat : 17725 (claspmt) R 17719 17721 17518 0 -1 4202560 18535 0 0 0 1960 4 0 0 25 0 4 0 515404387 537321472 95022 33554432000 4194304 4964704 140733582368240 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 84.17
Current children cumulated vsize (KiB) 524728

[startup+51.101 s]
/proc/loadavg: 7.87 8.03 7.95 10/184 17726
/proc/meminfo: memFree=18128264/32951124 swapFree=67111528/67111528
[pid=17721] ppid=17719 vsize=524728 CPUtime=186.43 cores=0,2,4,6
/proc/17721/stat : 17721 (claspmt) R 17719 17721 17518 0 -1 4202496 124211 0 0 0 18620 23 0 0 25 0 4 0 515403802 537321472 97099 33554432000 4194304 4964704 140733582368240 18446744073709551615 4668488 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/17721/statm: 131182 97099 458 189 0 125531 0
[pid=17721/tid=17723] ppid=17719 vsize=524728 CPUtime=44.97 cores=0,2,4,6
/proc/17721/task/17723/stat : 17723 (claspmt) R 17719 17721 17518 0 -1 4202560 9654 0 0 0 4495 2 0 0 25 0 4 0 515404387 537321472 97099 33554432000 4194304 4964704 140733582368240 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17721/tid=17724] ppid=17719 vsize=524728 CPUtime=45.24 cores=0,2,4,6
/proc/17721/task/17724/stat : 17724 (claspmt) R 17719 17721 17518 0 -1 4202560 19438 0 0 0 4519 5 0 0 25 0 4 0 515404387 537321472 97099 33554432000 4194304 4964704 140733582368240 18446744073709551615 4668654 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17721/tid=17725] ppid=17719 vsize=524728 CPUtime=45.24 cores=0,2,4,6
/proc/17721/task/17725/stat : 17725 (claspmt) R 17719 17721 17518 0 -1 4202560 19248 0 0 0 4519 5 0 0 25 0 4 0 515404387 537321472 97099 33554432000 4194304 4964704 140733582368240 18446744073709551615 4668923 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 186.43
Current children cumulated vsize (KiB) 524728

[startup+102.307 s]
/proc/loadavg: 7.98 8.04 7.96 9/184 17727
/proc/meminfo: memFree=18096808/32951124 swapFree=67111528/67111528
[pid=17721] ppid=17719 vsize=524728 CPUtime=390.97 cores=0,2,4,6
/proc/17721/stat : 17721 (claspmt) R 17719 17721 17518 0 -1 4202496 128857 0 0 0 39066 31 0 0 25 0 4 0 515403802 537321472 101745 33554432000 4194304 4964704 140733582368240 18446744073709551615 4668488 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/17721/statm: 131182 101745 458 189 0 125531 0
[pid=17721/tid=17723] ppid=17719 vsize=524728 CPUtime=95.89 cores=0,2,4,6
/proc/17721/task/17723/stat : 17723 (claspmt) R 17719 17721 17518 0 -1 4202560 9669 0 0 0 9587 2 0 0 25 0 4 0 515404387 537321472 101745 33554432000 4194304 4964704 140733582368240 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17721/tid=17724] ppid=17719 vsize=524728 CPUtime=96.45 cores=0,2,4,6
/proc/17721/task/17724/stat : 17724 (claspmt) R 17719 17721 17518 0 -1 4202560 22372 0 0 0 9635 10 0 0 25 0 4 0 515404387 537321472 101745 33554432000 4194304 4964704 140733582368240 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17721/tid=17725] ppid=17719 vsize=524728 CPUtime=96.45 cores=0,2,4,6
/proc/17721/task/17725/stat : 17725 (claspmt) R 17719 17721 17518 0 -1 4202560 20721 0 0 0 9637 8 0 0 25 0 4 0 515404387 537321472 101745 33554432000 4194304 4964704 140733582368240 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 390.97
Current children cumulated vsize (KiB) 524728

[startup+162.301 s]
/proc/loadavg: 8.03 8.04 7.96 9/184 17729
/proc/meminfo: memFree=18074956/32951124 swapFree=67111528/67111528
[pid=17721] ppid=17719 vsize=590264 CPUtime=630.62 cores=0,2,4,6
/proc/17721/stat : 17721 (claspmt) R 17719 17721 17518 0 -1 4202496 133869 0 0 0 63024 38 0 0 25 0 4 0 515403802 604430336 106757 33554432000 4194304 4964704 140733582368240 18446744073709551615 4670219 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/17721/statm: 147566 106757 460 189 0 141915 0
[pid=17721/tid=17723] ppid=17719 vsize=590264 CPUtime=155.56 cores=0,2,4,6
/proc/17721/task/17723/stat : 17723 (claspmt) R 17719 17721 17518 0 -1 4202560 9675 0 0 0 15554 2 0 0 25 0 4 0 515404387 604430336 106757 33554432000 4194304 4964704 140733582368240 18446744073709551615 4627338 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17721/tid=17724] ppid=17719 vsize=590264 CPUtime=156.44 cores=0,2,4,6
/proc/17721/task/17724/stat : 17724 (claspmt) R 17719 17721 17518 0 -1 4202560 25615 0 0 0 15630 14 0 0 25 0 4 0 515404387 604430336 106757 33554432000 4194304 4964704 140733582368240 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17721/tid=17725] ppid=17719 vsize=590264 CPUtime=156.44 cores=0,2,4,6
/proc/17721/task/17725/stat : 17725 (claspmt) R 17719 17721 17518 0 -1 4202560 22287 0 0 0 15634 10 0 0 25 0 4 0 515404387 604430336 106757 33554432000 4194304 4964704 140733582368240 18446744073709551615 4670020 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 630.62
Current children cumulated vsize (KiB) 590264

[startup+222.301 s]
/proc/loadavg: 8.04 8.05 7.97 10/184 17731
/proc/meminfo: memFree=18050112/32951124 swapFree=67111528/67111528
[pid=17721] ppid=17719 vsize=590264 CPUtime=870.3 cores=0,2,4,6
/proc/17721/stat : 17721 (claspmt) R 17719 17721 17518 0 -1 4202496 139351 0 0 0 86985 45 0 0 25 0 4 0 515403802 604430336 112239 33554432000 4194304 4964704 140733582368240 18446744073709551615 4670219 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/17721/statm: 147566 112239 460 189 0 141915 0
[pid=17721/tid=17723] ppid=17719 vsize=590264 CPUtime=215.23 cores=0,2,4,6
/proc/17721/task/17723/stat : 17723 (claspmt) R 17719 17721 17518 0 -1 4202560 9720 0 0 0 21521 2 0 0 25 0 4 0 515404387 604430336 112239 33554432000 4194304 4964704 140733582368240 18446744073709551615 4668931 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17721/tid=17724] ppid=17719 vsize=590264 CPUtime=216.45 cores=0,2,4,6
/proc/17721/task/17724/stat : 17724 (claspmt) R 17719 17721 17518 0 -1 4202560 28974 0 0 0 21627 18 0 0 25 0 4 0 515404387 604430336 112239 33554432000 4194304 4964704 140733582368240 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17721/tid=17725] ppid=17719 vsize=590264 CPUtime=216.44 cores=0,2,4,6
/proc/17721/task/17725/stat : 17725 (claspmt) R 17719 17721 17518 0 -1 4202560 24103 0 0 0 21631 13 0 0 25 0 4 0 515404387 604430336 112239 33554432000 4194304 4964704 140733582368240 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 870.3
Current children cumulated vsize (KiB) 590264

[startup+282.3 s]
/proc/loadavg: 8.08 8.06 7.98 10/184 17732
/proc/meminfo: memFree=18025892/32951124 swapFree=67111528/67111528
[pid=17721] ppid=17719 vsize=590264 CPUtime=1109.97 cores=0,2,4,6
/proc/17721/stat : 17721 (claspmt) R 17719 17721 17518 0 -1 4202496 144618 0 0 0 110944 53 0 0 25 0 4 0 515403802 604430336 117506 33554432000 4194304 4964704 140733582368240 18446744073709551615 4668931 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/17721/statm: 147566 117506 460 189 0 141915 0
[pid=17721/tid=17723] ppid=17719 vsize=590264 CPUtime=274.9 cores=0,2,4,6
/proc/17721/task/17723/stat : 17723 (claspmt) R 17719 17721 17518 0 -1 4202560 9724 0 0 0 27488 2 0 0 25 0 4 0 515404387 604430336 117506 33554432000 4194304 4964704 140733582368240 18446744073709551615 4669051 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17721/tid=17724] ppid=17719 vsize=590264 CPUtime=276.45 cores=0,2,4,6
/proc/17721/task/17724/stat : 17724 (claspmt) R 17719 17721 17518 0 -1 4202560 32376 0 0 0 27621 24 0 0 25 0 4 0 515404387 604430336 117506 33554432000 4194304 4964704 140733582368240 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17721/tid=17725] ppid=17719 vsize=590264 CPUtime=276.44 cores=0,2,4,6
/proc/17721/task/17725/stat : 17725 (claspmt) R 17719 17721 17518 0 -1 4202560 25696 0 0 0 27629 15 0 0 25 0 4 0 515404387 604430336 117506 33554432000 4194304 4964704 140733582368240 18446744073709551615 4669056 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1109.97
Current children cumulated vsize (KiB) 590264

[startup+342.301 s]
/proc/loadavg: 8.25 8.11 8.00 10/184 17734
/proc/meminfo: memFree=18005752/32951124 swapFree=67111528/67111528
[pid=17721] ppid=17719 vsize=590264 CPUtime=1349.64 cores=0,2,4,6

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

[pid=17721/tid=17723] ppid=17719 vsize=721336 CPUtime=692.57 cores=0,2,4,6
/proc/17721/task/17723/stat : 17723 (claspmt) R 17719 17721 17518 0 -1 4202560 9819 0 0 0 69255 2 0 0 25 0 4 0 515404387 738648064 152236 33554432000 4194304 4964704 140733582368240 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17721/tid=17724] ppid=17719 vsize=721336 CPUtime=696.46 cores=0,2,4,6
/proc/17721/task/17724/stat : 17724 (claspmt) R 17719 17721 17518 0 -1 4202560 55216 0 0 0 69589 57 0 0 25 0 4 0 515404387 738648064 152236 33554432000 4194304 4964704 140733582368240 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17721/tid=17725] ppid=17719 vsize=721336 CPUtime=696.46 cores=0,2,4,6
/proc/17721/task/17725/stat : 17725 (claspmt) R 17719 17721 17518 0 -1 4202560 36019 0 0 0 69616 30 0 0 25 0 4 0 515404387 738648064 152236 33554432000 4194304 4964704 140733582368240 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2787.69
Current children cumulated vsize (KiB) 721336

[startup+762.307 s]
/proc/loadavg: 8.03 8.08 8.01 9/184 17745
/proc/meminfo: memFree=17851568/32951124 swapFree=67111528/67111528
[pid=17721] ppid=17719 vsize=786872 CPUtime=3027.38 cores=0,2,4,6
/proc/17721/stat : 17721 (claspmt) R 17719 17721 17518 0 -1 4202496 184287 0 0 0 302629 109 0 0 25 0 4 0 515403802 805756928 157175 33554432000 4194304 4964704 140733582368240 18446744073709551615 4668629 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/17721/statm: 196718 157175 460 189 0 191067 0
[pid=17721/tid=17723] ppid=17719 vsize=786872 CPUtime=752.25 cores=0,2,4,6
/proc/17721/task/17723/stat : 17723 (claspmt) R 17719 17721 17518 0 -1 4202560 9835 0 0 0 75223 2 0 0 25 0 4 0 515404387 805756928 157175 33554432000 4194304 4964704 140733582368240 18446744073709551615 4670193 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17721/tid=17724] ppid=17719 vsize=786872 CPUtime=756.47 cores=0,2,4,6
/proc/17721/task/17724/stat : 17724 (claspmt) R 17719 17721 17518 0 -1 4202560 59316 0 0 0 75586 61 0 0 25 0 4 0 515404387 805756928 157175 33554432000 4194304 4964704 140733582368240 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17721/tid=17725] ppid=17719 vsize=786872 CPUtime=756.47 cores=0,2,4,6
/proc/17721/task/17725/stat : 17725 (claspmt) R 17719 17721 17518 0 -1 4202560 36375 0 0 0 75616 31 0 0 25 0 4 0 515404387 805756928 157175 33554432000 4194304 4964704 140733582368240 18446744073709551615 4627601 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3027.38
Current children cumulated vsize (KiB) 786872

[startup+822.301 s]
/proc/loadavg: 8.01 8.07 8.01 9/184 17756
/proc/meminfo: memFree=17839156/32951124 swapFree=67111528/67111528
[pid=17721] ppid=17719 vsize=786872 CPUtime=3267.02 cores=0,2,4,6
/proc/17721/stat : 17721 (claspmt) R 17719 17721 17518 0 -1 4202496 187315 0 0 0 326589 113 0 0 25 0 4 0 515403802 805756928 160203 33554432000 4194304 4964704 140733582368240 18446744073709551615 4670219 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/17721/statm: 196718 160203 460 189 0 191067 0
[pid=17721/tid=17723] ppid=17719 vsize=786872 CPUtime=811.91 cores=0,2,4,6
/proc/17721/task/17723/stat : 17723 (claspmt) R 17719 17721 17518 0 -1 4202560 9958 0 0 0 81189 2 0 0 25 0 4 0 515404387 805756928 160203 33554432000 4194304 4964704 140733582368240 18446744073709551615 4668654 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17721/tid=17724] ppid=17719 vsize=786872 CPUtime=816.45 cores=0,2,4,6
/proc/17721/task/17724/stat : 17724 (claspmt) R 17719 17721 17518 0 -1 4202560 62208 0 0 0 81581 64 0 0 25 0 4 0 515404387 805756928 160203 33554432000 4194304 4964704 140733582368240 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17721/tid=17725] ppid=17719 vsize=786872 CPUtime=816.46 cores=0,2,4,6
/proc/17721/task/17725/stat : 17725 (claspmt) R 17719 17721 17518 0 -1 4202560 36384 0 0 0 81615 31 0 0 25 0 4 0 515404387 805756928 160203 33554432000 4194304 4964704 140733582368240 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3267.02
Current children cumulated vsize (KiB) 786872

[startup+882.3 s]
/proc/loadavg: 8.05 8.06 8.01 10/184 17757
/proc/meminfo: memFree=17828204/32951124 swapFree=67111528/67111528
[pid=17721] ppid=17719 vsize=786872 CPUtime=3506.69 cores=0,2,4,6
/proc/17721/stat : 17721 (claspmt) R 17719 17721 17518 0 -1 4202496 189472 0 0 0 350554 115 0 0 25 0 4 0 515403802 805756928 162360 33554432000 4194304 4964704 140733582368240 18446744073709551615 4670064 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/17721/statm: 196718 162360 460 189 0 191067 0
[pid=17721/tid=17723] ppid=17719 vsize=786872 CPUtime=871.57 cores=0,2,4,6
/proc/17721/task/17723/stat : 17723 (claspmt) R 17719 17721 17518 0 -1 4202560 9961 0 0 0 87155 2 0 0 25 0 4 0 515404387 805756928 162360 33554432000 4194304 4964704 140733582368240 18446744073709551615 4669084 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17721/tid=17724] ppid=17719 vsize=786872 CPUtime=876.45 cores=0,2,4,6
/proc/17721/task/17724/stat : 17724 (claspmt) R 17719 17721 17518 0 -1 4202560 64344 0 0 0 87579 66 0 0 25 0 4 0 515404387 805756928 162360 33554432000 4194304 4964704 140733582368240 18446744073709551615 4670202 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17721/tid=17725] ppid=17719 vsize=786872 CPUtime=876.46 cores=0,2,4,6
/proc/17721/task/17725/stat : 17725 (claspmt) R 17719 17721 17518 0 -1 4202560 36402 0 0 0 87615 31 0 0 25 0 4 0 515404387 805756928 162360 33554432000 4194304 4964704 140733582368240 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3506.69
Current children cumulated vsize (KiB) 786872

[startup+942.301 s]
/proc/loadavg: 8.06 8.06 8.01 10/184 17759
/proc/meminfo: memFree=17817604/32951124 swapFree=67111528/67111528
[pid=17721] ppid=17719 vsize=786872 CPUtime=3746.37 cores=0,2,4,6
/proc/17721/stat : 17721 (claspmt) R 17719 17721 17518 0 -1 4202496 192150 0 0 0 374518 119 0 0 25 0 4 0 515403802 805756928 165038 33554432000 4194304 4964704 140733582368240 18446744073709551615 4670100 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/17721/statm: 196718 165038 460 189 0 191067 0
[pid=17721/tid=17723] ppid=17719 vsize=786872 CPUtime=931.25 cores=0,2,4,6
/proc/17721/task/17723/stat : 17723 (claspmt) R 17719 17721 17518 0 -1 4202560 9980 0 0 0 93123 2 0 0 25 0 4 0 515404387 805756928 165038 33554432000 4194304 4964704 140733582368240 18446744073709551615 4627338 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17721/tid=17724] ppid=17719 vsize=786872 CPUtime=936.45 cores=0,2,4,6
/proc/17721/task/17724/stat : 17724 (claspmt) R 17719 17721 17518 0 -1 4202560 66923 0 0 0 93576 69 0 0 25 0 4 0 515404387 805756928 165038 33554432000 4194304 4964704 140733582368240 18446744073709551615 4670020 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17721/tid=17725] ppid=17719 vsize=786872 CPUtime=936.46 cores=0,2,4,6
/proc/17721/task/17725/stat : 17725 (claspmt) R 17719 17721 17518 0 -1 4202560 36482 0 0 0 93615 31 0 0 25 0 4 0 515404387 805756928 165038 33554432000 4194304 4964704 140733582368240 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3746.37
Current children cumulated vsize (KiB) 786872

[startup+1002.3 s]
/proc/loadavg: 8.06 8.06 8.01 11/185 17763
/proc/meminfo: memFree=17803780/32951124 swapFree=67111528/67111528
[pid=17721] ppid=17719 vsize=786872 CPUtime=3986 cores=0,2,4,6
/proc/17721/stat : 17721 (claspmt) R 17719 17721 17518 0 -1 4202496 194662 0 0 0 398478 122 0 0 25 0 4 0 515403802 805756928 167550 33554432000 4194304 4964704 140733582368240 18446744073709551615 4670219 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/17721/statm: 196718 167550 460 189 0 191067 0
[pid=17721/tid=17723] ppid=17719 vsize=786872 CPUtime=990.91 cores=0,2,4,6
/proc/17721/task/17723/stat : 17723 (claspmt) R 17719 17721 17518 0 -1 4202560 9982 0 0 0 99089 2 0 0 25 0 4 0 515404387 805756928 167550 33554432000 4194304 4964704 140733582368240 18446744073709551615 4669051 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17721/tid=17724] ppid=17719 vsize=786872 CPUtime=996.41 cores=0,2,4,6
/proc/17721/task/17724/stat : 17724 (claspmt) R 17719 17721 17518 0 -1 4202560 69400 0 0 0 99569 72 0 0 25 0 4 0 515404387 805756928 167550 33554432000 4194304 4964704 140733582368240 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17721/tid=17725] ppid=17719 vsize=786872 CPUtime=996.47 cores=0,2,4,6
/proc/17721/task/17725/stat : 17725 (claspmt) R 17719 17721 17518 0 -1 4202560 36515 0 0 0 99616 31 0 0 25 0 4 0 515404387 805756928 167550 33554432000 4194304 4964704 140733582368240 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3986
Current children cumulated vsize (KiB) 786872

[startup+1062.3 s]
/proc/loadavg: 8.20 8.12 8.03 9/184 17796
/proc/meminfo: memFree=17922240/32951124 swapFree=67111528/67111528
[pid=17721] ppid=17719 vsize=786872 CPUtime=4224.89 cores=0,2,4,6
/proc/17721/stat : 17721 (claspmt) R 17719 17721 17518 0 -1 4202496 197066 0 0 0 422362 127 0 0 25 0 4 0 515403802 805756928 169954 33554432000 4194304 4964704 140733582368240 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/17721/statm: 196718 169954 460 189 0 191067 0
[pid=17721/tid=17723] ppid=17719 vsize=786872 CPUtime=1050.58 cores=0,2,4,6
/proc/17721/task/17723/stat : 17723 (claspmt) R 17719 17721 17518 0 -1 4202560 10001 0 0 0 105056 2 0 0 25 0 4 0 515404387 805756928 169954 33554432000 4194304 4964704 140733582368240 18446744073709551615 4668693 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17721/tid=17724] ppid=17719 vsize=786872 CPUtime=1056.31 cores=0,2,4,6
/proc/17721/task/17724/stat : 17724 (claspmt) R 17719 17721 17518 0 -1 4202560 71650 0 0 0 105554 77 0 0 25 0 4 0 515404387 805756928 169954 33554432000 4194304 4964704 140733582368240 18446744073709551615 4670243 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17721/tid=17725] ppid=17719 vsize=786872 CPUtime=1056.47 cores=0,2,4,6
/proc/17721/task/17725/stat : 17725 (claspmt) R 17719 17721 17518 0 -1 4202560 36650 0 0 0 105616 31 0 0 25 0 4 0 515404387 805756928 169954 33554432000 4194304 4964704 140733582368240 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4224.89
Current children cumulated vsize (KiB) 786872

[startup+1122.3 s]
/proc/loadavg: 8.14 8.12 8.03 9/184 17798
/proc/meminfo: memFree=17902496/32951124 swapFree=67111528/67111528
[pid=17721] ppid=17719 vsize=852408 CPUtime=4464.56 cores=0,2,4,6
/proc/17721/stat : 17721 (claspmt) R 17719 17721 17518 0 -1 4202496 200035 0 0 0 446326 130 0 0 25 0 4 0 515403802 872865792 172923 33554432000 4194304 4964704 140733582368240 18446744073709551615 4668820 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/17721/statm: 213102 172923 460 189 0 207451 0
[pid=17721/tid=17723] ppid=17719 vsize=852408 CPUtime=1110.25 cores=0,2,4,6
/proc/17721/task/17723/stat : 17723 (claspmt) R 17719 17721 17518 0 -1 4202560 10002 0 0 0 111023 2 0 0 25 0 4 0 515404387 872865792 172923 33554432000 4194304 4964704 140733582368240 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17721/tid=17724] ppid=17719 vsize=852408 CPUtime=1116.31 cores=0,2,4,6
/proc/17721/task/17724/stat : 17724 (claspmt) R 17719 17721 17518 0 -1 4202560 74572 0 0 0 111551 80 0 0 25 0 4 0 515404387 872865792 172923 33554432000 4194304 4964704 140733582368240 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17721/tid=17725] ppid=17719 vsize=852408 CPUtime=1116.47 cores=0,2,4,6
/proc/17721/task/17725/stat : 17725 (claspmt) R 17719 17721 17518 0 -1 4202560 36696 0 0 0 111616 31 0 0 25 0 4 0 515404387 872865792 172923 33554432000 4194304 4964704 140733582368240 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4464.56
Current children cumulated vsize (KiB) 852408

[startup+1182.3 s]
/proc/loadavg: 8.08 8.11 8.03 9/184 17799
/proc/meminfo: memFree=17887092/32951124 swapFree=67111528/67111528
[pid=17721] ppid=17719 vsize=852732 CPUtime=4704.24 cores=0,2,4,6
/proc/17721/stat : 17721 (claspmt) R 17719 17721 17518 0 -1 4202496 202989 0 0 0 470290 134 0 0 25 0 4 0 515403802 873197568 175877 33554432000 4194304 4964704 140733582368240 18446744073709551615 4670100 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/17721/statm: 213183 175877 460 189 0 207532 0
[pid=17721/tid=17723] ppid=17719 vsize=852732 CPUtime=1169.92 cores=0,2,4,6
/proc/17721/task/17723/stat : 17723 (claspmt) R 17719 17721 17518 0 -1 4202560 10092 0 0 0 116990 2 0 0 25 0 4 0 515404387 873197568 175877 33554432000 4194304 4964704 140733582368240 18446744073709551615 4668693 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17721/tid=17724] ppid=17719 vsize=852732 CPUtime=1176.31 cores=0,2,4,6
/proc/17721/task/17724/stat : 17724 (claspmt) R 17719 17721 17518 0 -1 4202560 77205 0 0 0 117548 83 0 0 25 0 4 0 515404387 873197568 175877 33554432000 4194304 4964704 140733582368240 18446744073709551615 4670215 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17721/tid=17725] ppid=17719 vsize=852732 CPUtime=1176.48 cores=0,2,4,6
/proc/17721/task/17725/stat : 17725 (claspmt) R 17719 17721 17518 0 -1 4202560 36756 0 0 0 117616 32 0 0 25 0 4 0 515404387 873197568 175877 33554432000 4194304 4964704 140733582368240 18446744073709551615 4668709 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4704.24
Current children cumulated vsize (KiB) 852732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1206.3 s]
/proc/loadavg: 8.05 8.10 8.03 9/184 17800
/proc/meminfo: memFree=17880504/32951124 swapFree=67111528/67111528
[pid=17721] ppid=17719 vsize=852732 CPUtime=4800.13 cores=0,2,4,6
/proc/17721/stat : 17721 (claspmt) R 17719 17721 17518 0 -1 4202496 204124 0 0 0 479877 136 0 0 25 0 4 0 515403802 873197568 177012 33554432000 4194304 4964704 140733582368240 18446744073709551615 4669214 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/17721/statm: 213183 177012 460 189 0 207532 0
[pid=17721/tid=17723] ppid=17719 vsize=852732 CPUtime=1193.79 cores=0,2,4,6
/proc/17721/task/17723/stat : 17723 (claspmt) R 17719 17721 17518 0 -1 4202560 10092 0 0 0 119377 2 0 0 25 0 4 0 515404387 873197568 177012 33554432000 4194304 4964704 140733582368240 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17721/tid=17724] ppid=17719 vsize=852732 CPUtime=1200.32 cores=0,2,4,6
/proc/17721/task/17724/stat : 17724 (claspmt) R 17719 17721 17518 0 -1 4202560 78290 0 0 0 119947 85 0 0 25 0 4 0 515404387 873197568 177012 33554432000 4194304 4964704 140733582368240 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17721/tid=17725] ppid=17719 vsize=852732 CPUtime=1200.48 cores=0,2,4,6
/proc/17721/task/17725/stat : 17725 (claspmt) R 17719 17721 17518 0 -1 4202560 36794 0 0 0 120016 32 0 0 25 0 4 0 515404387 873197568 177012 33554432000 4194304 4964704 140733582368240 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.13
Current children cumulated vsize (KiB) 852732

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

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

[startup+1206.6 s]
/proc/loadavg: 8.05 8.10 8.03 6/182 17801
/proc/meminfo: memFree=17925284/32951124 swapFree=67111528/67111528
[pid=17721] ppid=17719 vsize=807232 CPUtime=4800.44 cores=0,2,4,6
/proc/17721/stat : 17721 (claspmt) R 17719 17721 17518 0 -1 4202496 204137 0 0 0 479908 136 0 0 25 0 1 0 515403802 826605568 165650 33554432000 4194304 4964704 140733582368240 18446744073709551615 228122370055 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17721/statm: 201808 165650 470 189 0 196157 0
Current children cumulated CPU time (s) 4800.44
Current children cumulated vsize (KiB) 807232

[startup+1206.8 s]
/proc/loadavg: 8.05 8.10 8.03 6/182 17801
/proc/meminfo: memFree=17925284/32951124 swapFree=67111528/67111528
[pid=17721] ppid=17719 vsize=690912 CPUtime=4800.64 cores=0,2,4,6
/proc/17721/stat : 17721 (claspmt) R 17719 17721 17518 0 -1 4202496 204138 0 0 0 479928 136 0 0 25 0 1 0 515403802 707493888 140467 33554432000 4194304 4964704 140733582368240 18446744073709551615 228122363276 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17721/statm: 172728 140467 471 189 0 167077 0
Current children cumulated CPU time (s) 4800.64
Current children cumulated vsize (KiB) 690912

Child status: 0
Real time (s): 1206.88
CPU time (s): 4800.73
CPU user time (s): 4799.33
CPU system time (s): 1.39479
CPU usage (%): 397.78
Max. virtual memory (cumulated for all children) (KiB): 852732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.33
system time used= 1.39479
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204139
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= 2310
involuntary context switches= 20508

runsolver used 1.85772 second user time and 4.73828 second system time

The end

Launcher Data 

Begin job on node138 at 2011-04-29 02:47:38
IDJOB=3299726
IDBENCH=20410
IDSOLVER=1683
FILE ID=node138/3299726-1304038057
RUNJOBID= node138-1304036586-17536
PBS_JOBID= 13170360
Free space on /tmp= 71792 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT07/industrial/palacios/hard/sortnet-8-ipc5-h19-sat.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-3299726-1304038057/watcher-3299726-1304038057 -o /tmp/evaluation-result-3299726-1304038057/solver-3299726-1304038057 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299726-1304038057.cnf

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

MD5SUM BENCH= 409f4401e9e8b60ee665ac5567a13e41
RANDOM SEED=751738585

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18523324 kB
Buffers:       2041124 kB
Cached:       11664744 kB
SwapCached:          0 kB
Active:        3422908 kB
Inactive:     10441472 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18523324 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           23500 kB
Writeback:           0 kB
AnonPages:      157600 kB
Mapped:          15736 kB
Slab:           501080 kB
PageTables:       5000 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   315808 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= 71792 MiB
End job on node138 at 2011-04-29 03:07:47