Trace number 3299732

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.4 1209.83

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_19_UNKNOWN.cnf
MD5SUM4cf2a693df1b6e5a084b88e84ec5f2af
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark14.5608
Satisfiable
(Un)Satisfiability was proved
Number of variables4020
Number of clauses466486
Sum of the clauses size1393798
Maximum clause length20
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 26187
Number of clauses of size 3460268
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...047446/instance-3299732-1304047446.cnf
10.39/10.45	c Solving...
4800.04/1209.51	
4800.04/1209.51	*** INTERRUPTED! ***
4800.04/1209.51	*** Shutting down threads...
4800.35/1209.82	s UNKNOWN
4800.35/1209.82	
4800.35/1209.82	c INTERRUPTED   : 1
4800.35/1209.82	c Models        : 0+    
4800.35/1209.82	c Time          : 1209.509s (Solving: 1199.06s 1st Model: 0.00s Unsat: 0.00s)
4800.35/1209.82	c CPU Time      : 4800.070s

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

running on 4 cores: 1,3,5,7

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.77 8.00 7.80 5/180 1148
/proc/meminfo: memFree=18264920/32950904 swapFree=67082284/67111528
[pid=1148] ppid=1146 vsize=21572 CPUtime=0 cores=1,3,5,7
/proc/1148/stat : 1148 (claspmt) R 1146 1148 793 0 -1 4202496 722 0 0 0 0 0 0 0 25 0 1 0 516344350 22089728 621 33554432000 4194304 4964704 140737135989392 18446744073709551615 4679014 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/1148/statm: 5429 629 379 189 0 303 0

[startup+0.012234 s]
/proc/loadavg: 7.77 8.00 7.80 5/180 1148
/proc/meminfo: memFree=18264920/32950904 swapFree=67082284/67111528
[pid=1148] ppid=1146 vsize=23432 CPUtime=0 cores=1,3,5,7
/proc/1148/stat : 1148 (claspmt) R 1146 1148 793 0 -1 4202496 1269 0 0 0 0 0 0 0 25 0 1 0 516344350 23994368 1077 33554432000 4194304 4964704 140737135989392 18446744073709551615 237278540485 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/1148/statm: 5858 1079 385 189 0 732 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23432

[startup+0.100224 s]
/proc/loadavg: 7.77 8.00 7.80 5/180 1148
/proc/meminfo: memFree=18264920/32950904 swapFree=67082284/67111528
[pid=1148] ppid=1146 vsize=42728 CPUtime=0.08 cores=1,3,5,7
/proc/1148/stat : 1148 (claspmt) R 1146 1148 793 0 -1 4202496 7567 0 0 0 8 0 0 0 25 0 1 0 516344350 43753472 5707 33554432000 4194304 4964704 140737135989392 18446744073709551615 237278540485 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/1148/statm: 10682 5709 385 189 0 5556 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 42728

[startup+0.300193 s]
/proc/loadavg: 7.77 8.00 7.80 5/180 1148
/proc/meminfo: memFree=18264920/32950904 swapFree=67082284/67111528
[pid=1148] ppid=1146 vsize=58404 CPUtime=0.29 cores=1,3,5,7
/proc/1148/stat : 1148 (claspmt) R 1146 1148 793 0 -1 4202496 11746 0 0 0 28 1 0 0 25 0 1 0 516344350 59805696 9848 33554432000 4194304 4964704 140737135989392 18446744073709551615 4607587 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/1148/statm: 14601 9848 398 189 0 9475 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58404

[startup+0.701118 s]
/proc/loadavg: 7.77 8.00 7.80 5/180 1148
/proc/meminfo: memFree=18264920/32950904 swapFree=67082284/67111528
[pid=1148] ppid=1146 vsize=58404 CPUtime=0.69 cores=1,3,5,7
/proc/1148/stat : 1148 (claspmt) R 1146 1148 793 0 -1 4202496 11746 0 0 0 68 1 0 0 25 0 1 0 516344350 59805696 9848 33554432000 4194304 4964704 140737135989392 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/1148/statm: 14601 9848 398 189 0 9475 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 58404

[startup+1.50098 s]
/proc/loadavg: 7.77 8.00 7.80 6/181 1149
/proc/meminfo: memFree=18225860/32950904 swapFree=67082284/67111528
[pid=1148] ppid=1146 vsize=58404 CPUtime=1.49 cores=1,3,5,7
/proc/1148/stat : 1148 (claspmt) R 1146 1148 793 0 -1 4202496 11746 0 0 0 148 1 0 0 25 0 1 0 516344350 59805696 9848 33554432000 4194304 4964704 140737135989392 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/1148/statm: 14601 9848 398 189 0 9475 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 58404

[startup+3.10069 s]
/proc/loadavg: 7.55 7.95 7.78 6/181 1149
/proc/meminfo: memFree=18224372/32950904 swapFree=67082284/67111528
[pid=1148] ppid=1146 vsize=58404 CPUtime=3.09 cores=1,3,5,7
/proc/1148/stat : 1148 (claspmt) R 1146 1148 793 0 -1 4202496 11746 0 0 0 308 1 0 0 25 0 1 0 516344350 59805696 9848 33554432000 4194304 4964704 140737135989392 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/1148/statm: 14601 9848 398 189 0 9475 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58404

[startup+6.30112 s]
/proc/loadavg: 7.55 7.95 7.78 6/181 1149
/proc/meminfo: memFree=18217432/32950904 swapFree=67082284/67111528
[pid=1148] ppid=1146 vsize=63204 CPUtime=6.29 cores=1,3,5,7
/proc/1148/stat : 1148 (claspmt) R 1146 1148 793 0 -1 4202496 12943 0 0 0 628 1 0 0 25 0 1 0 516344350 64720896 11045 33554432000 4194304 4964704 140737135989392 18446744073709551615 4600431 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/1148/statm: 15801 11045 399 189 0 10675 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63204

[startup+12.701 s]
/proc/loadavg: 7.40 7.90 7.77 9/184 1152
/proc/meminfo: memFree=18177900/32950904 swapFree=67082284/67111528
[pid=1148] ppid=1146 vsize=282368 CPUtime=19.4 cores=1,3,5,7
/proc/1148/stat : 1148 (claspmt) R 1146 1148 793 0 -1 4202496 23891 0 0 0 1935 5 0 0 25 0 4 0 516344350 289144832 21047 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/1148/statm: 70592 21047 458 189 0 64941 0
[pid=1148/tid=1150] ppid=1146 vsize=282368 CPUtime=2.23 cores=1,3,5,7
/proc/1148/task/1150/stat : 1150 (claspmt) R 1146 1148 793 0 -1 4202560 1990 0 0 0 223 0 0 0 25 0 4 0 516345395 289144832 21047 33554432000 4194304 4964704 140737135989392 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1148/tid=1151] ppid=1146 vsize=282368 CPUtime=2.22 cores=1,3,5,7
/proc/1148/task/1151/stat : 1151 (claspmt) R 1146 1148 793 0 -1 4202560 3731 0 0 0 221 1 0 0 25 0 4 0 516345395 289144832 21047 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1148/tid=1152] ppid=1146 vsize=282368 CPUtime=2.23 cores=1,3,5,7
/proc/1148/task/1152/stat : 1152 (claspmt) R 1146 1148 793 0 -1 4202560 1482 0 0 0 223 0 0 0 25 0 4 0 516345395 289144832 21047 33554432000 4194304 4964704 140737135989392 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 19.4
Current children cumulated vsize (KiB) 282368

[startup+25.5007 s]
/proc/loadavg: 7.49 7.90 7.77 9/184 1153
/proc/meminfo: memFree=18050572/32950904 swapFree=67082284/67111528
[pid=1148] ppid=1146 vsize=290464 CPUtime=70.53 cores=1,3,5,7
/proc/1148/stat : 1148 (claspmt) R 1146 1148 793 0 -1 4202496 48828 0 0 0 7033 20 0 0 25 0 4 0 516344350 297435136 45984 33554432000 4194304 4964704 140737135989392 18446744073709551615 4668632 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/1148/statm: 72616 45984 460 189 0 66965 0
[pid=1148/tid=1150] ppid=1146 vsize=290464 CPUtime=15.04 cores=1,3,5,7
/proc/1148/task/1150/stat : 1150 (claspmt) R 1146 1148 793 0 -1 4202560 8079 0 0 0 1500 4 0 0 25 0 4 0 516345395 297435136 45984 33554432000 4194304 4964704 140737135989392 18446744073709551615 4627882 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1148/tid=1151] ppid=1146 vsize=290464 CPUtime=15.02 cores=1,3,5,7
/proc/1148/task/1151/stat : 1151 (claspmt) R 1146 1148 793 0 -1 4202560 13652 0 0 0 1494 8 0 0 25 0 4 0 516345395 297435136 45984 33554432000 4194304 4964704 140737135989392 18446744073709551615 237278540833 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1148/tid=1152] ppid=1146 vsize=290464 CPUtime=14.95 cores=1,3,5,7
/proc/1148/task/1152/stat : 1152 (claspmt) R 1146 1148 793 0 -1 4202560 5357 0 0 0 1494 1 0 0 25 0 4 0 516345395 297435136 45984 33554432000 4194304 4964704 140737135989392 18446744073709551615 4668668 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 70.53
Current children cumulated vsize (KiB) 290464

[startup+51.1012 s]
/proc/loadavg: 7.66 7.91 7.78 9/184 1153
/proc/meminfo: memFree=17836212/32950904 swapFree=67082284/67111528
[pid=1148] ppid=1146 vsize=476456 CPUtime=172.79 cores=1,3,5,7
/proc/1148/stat : 1148 (claspmt) R 1146 1148 793 0 -1 4202496 90203 0 0 0 17234 45 0 0 25 0 4 0 516344350 487890944 87359 33554432000 4194304 4964704 140737135989392 18446744073709551615 4686984 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/1148/statm: 119114 87359 460 189 0 113463 0
[pid=1148/tid=1150] ppid=1146 vsize=476456 CPUtime=40.63 cores=1,3,5,7
/proc/1148/task/1150/stat : 1150 (claspmt) R 1146 1148 793 0 -1 4202560 17920 0 0 0 4052 11 0 0 25 0 4 0 516345395 487890944 87359 33554432000 4194304 4964704 140737135989392 18446744073709551615 4668645 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1148/tid=1151] ppid=1146 vsize=476456 CPUtime=40.63 cores=1,3,5,7
/proc/1148/task/1151/stat : 1151 (claspmt) R 1146 1148 793 0 -1 4202560 32169 0 0 0 4044 19 0 0 25 0 4 0 516345395 487890944 87359 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670291 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1148/tid=1152] ppid=1146 vsize=476456 CPUtime=40.53 cores=1,3,5,7
/proc/1148/task/1152/stat : 1152 (claspmt) R 1146 1148 793 0 -1 4202560 12549 0 0 0 4049 4 0 0 25 0 4 0 516345395 487890944 87359 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 172.79
Current children cumulated vsize (KiB) 476456

[startup+102.307 s]
/proc/loadavg: 7.59 7.86 7.77 9/184 1186
/proc/meminfo: memFree=19418692/32950904 swapFree=67082284/67111528
[pid=1148] ppid=1146 vsize=716372 CPUtime=377.33 cores=1,3,5,7
/proc/1148/stat : 1148 (claspmt) R 1146 1148 793 0 -1 4202496 139293 0 0 0 37646 87 0 0 25 0 4 0 516344350 733564928 136389 33554432000 4194304 4964704 140737135989392 18446744073709551615 4362262 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/1148/statm: 179093 136389 460 189 0 173442 0
[pid=1148/tid=1150] ppid=1146 vsize=716372 CPUtime=91.84 cores=1,3,5,7
/proc/1148/task/1150/stat : 1150 (claspmt) R 1146 1148 793 0 -1 4202560 30095 0 0 0 9159 25 0 0 25 0 4 0 516345395 733564928 136389 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1148/tid=1151] ppid=1146 vsize=716372 CPUtime=91.83 cores=1,3,5,7
/proc/1148/task/1151/stat : 1151 (claspmt) R 1146 1148 793 0 -1 4202560 54785 0 0 0 9144 39 0 0 25 0 4 0 516345395 733564928 136389 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1148/tid=1152] ppid=1146 vsize=716372 CPUtime=91.74 cores=1,3,5,7
/proc/1148/task/1152/stat : 1152 (claspmt) R 1146 1148 793 0 -1 4202560 22969 0 0 0 9164 10 0 0 25 0 4 0 516345395 733564928 136389 33554432000 4194304 4964704 140737135989392 18446744073709551615 4320993 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 377.33
Current children cumulated vsize (KiB) 716372

[startup+162.3 s]
/proc/loadavg: 7.94 7.91 7.79 9/184 1187
/proc/meminfo: memFree=19197028/32950904 swapFree=67082284/67111528
[pid=1148] ppid=1146 vsize=880952 CPUtime=616.96 cores=1,3,5,7
/proc/1148/stat : 1148 (claspmt) R 1146 1148 793 0 -1 4202496 179724 0 0 0 61570 126 0 0 25 0 4 0 516344350 902094848 176762 33554432000 4194304 4964704 140737135989392 18446744073709551615 4338784 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/1148/statm: 220238 176762 460 189 0 214587 0
[pid=1148/tid=1150] ppid=1146 vsize=880952 CPUtime=151.82 cores=1,3,5,7
/proc/1148/task/1150/stat : 1150 (claspmt) R 1146 1148 793 0 -1 4202560 38390 0 0 0 15149 33 0 0 25 0 4 0 516345395 902094848 176762 33554432000 4194304 4964704 140737135989392 18446744073709551615 4668609 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1148/tid=1151] ppid=1146 vsize=880952 CPUtime=151.83 cores=1,3,5,7
/proc/1148/task/1151/stat : 1151 (claspmt) R 1146 1148 793 0 -1 4202560 65909 0 0 0 15136 47 0 0 25 0 4 0 516345395 902094848 176762 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1148/tid=1152] ppid=1146 vsize=880952 CPUtime=151.72 cores=1,3,5,7
/proc/1148/task/1152/stat : 1152 (claspmt) R 1146 1148 793 0 -1 4202560 34014 0 0 0 15149 23 0 0 25 0 4 0 516345395 902094848 176762 33554432000 4194304 4964704 140737135989392 18446744073709551615 4654493 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 616.96
Current children cumulated vsize (KiB) 880952

[startup+222.301 s]
/proc/loadavg: 8.15 7.97 7.82 9/184 1189
/proc/meminfo: memFree=19033060/32950904 swapFree=67082284/67111528
[pid=1148] ppid=1146 vsize=968272 CPUtime=856.64 cores=1,3,5,7
/proc/1148/stat : 1148 (claspmt) R 1146 1148 793 0 -1 4202496 208853 0 0 0 85509 155 0 0 25 0 4 0 516344350 991510528 205524 33554432000 4194304 4964704 140737135989392 18446744073709551615 4668609 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/1148/statm: 242068 205524 460 189 0 236417 0
[pid=1148/tid=1150] ppid=1146 vsize=968272 CPUtime=211.82 cores=1,3,5,7
/proc/1148/task/1150/stat : 1150 (claspmt) R 1146 1148 793 0 -1 4202560 45588 0 0 0 21141 41 0 0 25 0 4 0 516345395 991510528 205524 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1148/tid=1151] ppid=1146 vsize=968272 CPUtime=211.83 cores=1,3,5,7
/proc/1148/task/1151/stat : 1151 (claspmt) R 1146 1148 793 0 -1 4202560 79774 0 0 0 21124 59 0 0 25 0 4 0 516345395 991510528 205524 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670255 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1148/tid=1152] ppid=1146 vsize=968272 CPUtime=211.73 cores=1,3,5,7
/proc/1148/task/1152/stat : 1152 (claspmt) R 1146 1148 793 0 -1 4202560 36486 0 0 0 21147 26 0 0 25 0 4 0 516345395 991510528 205524 33554432000 4194304 4964704 140737135989392 18446744073709551615 4320872 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 856.64
Current children cumulated vsize (KiB) 968272

[startup+282.301 s]
/proc/loadavg: 8.05 7.97 7.82 9/184 1190
/proc/meminfo: memFree=18852856/32950904 swapFree=67082284/67111528
[pid=1148] ppid=1146 vsize=1117176 CPUtime=1096.31 cores=1,3,5,7
/proc/1148/stat : 1148 (claspmt) R 1146 1148 793 0 -1 4202496 246501 0 0 0 109446 185 0 0 25 0 4 0 516344350 1143988224 243091 33554432000 4194304 4964704 140737135989392 18446744073709551615 4342144 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/1148/statm: 279294 243091 460 189 0 273643 0
[pid=1148/tid=1150] ppid=1146 vsize=1117176 CPUtime=271.83 cores=1,3,5,7
/proc/1148/task/1150/stat : 1150 (claspmt) R 1146 1148 793 0 -1 4202560 53710 0 0 0 27131 52 0 0 25 0 4 0 516345395 1143988224 243091 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670243 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1148/tid=1151] ppid=1146 vsize=1117176 CPUtime=271.83 cores=1,3,5,7
/proc/1148/task/1151/stat : 1151 (claspmt) R 1146 1148 793 0 -1 4202560 100569 0 0 0 27111 72 0 0 25 0 4 0 516345395 1143988224 243091 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1148/tid=1152] ppid=1146 vsize=1117176 CPUtime=271.73 cores=1,3,5,7
/proc/1148/task/1152/stat : 1152 (claspmt) R 1146 1148 793 0 -1 4202560 45209 0 0 0 27140 33 0 0 25 0 4 0 516345395 1143988224 243091 33554432000 4194304 4964704 140737135989392 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1096.31
Current children cumulated vsize (KiB) 1117176

[startup+342.3 s]
/proc/loadavg: 8.02 7.97 7.83 9/184 1192
/proc/meminfo: memFree=18720160/32950904 swapFree=67082284/67111528
[pid=1148] ppid=1146 vsize=1241360 CPUtime=1335.98 cores=1,3,5,7

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

Current children cumulated CPU time (s) 2534.36
Current children cumulated vsize (KiB) 1566168

[startup+702.3 s]
/proc/loadavg: 8.10 8.07 7.91 9/184 1202
/proc/meminfo: memFree=18080828/32950904 swapFree=67082284/67111528
[pid=1148] ppid=1146 vsize=1762776 CPUtime=2774.02 cores=1,3,5,7
/proc/1148/stat : 1148 (claspmt) R 1146 1148 793 0 -1 4202496 402261 0 0 0 277050 352 0 0 25 0 4 0 516344350 1805082624 396972 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670266 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/1148/statm: 440694 396972 460 189 0 435043 0
[pid=1148/tid=1150] ppid=1146 vsize=1762776 CPUtime=690.78 cores=1,3,5,7
/proc/1148/task/1150/stat : 1150 (claspmt) R 1146 1148 793 0 -1 4202560 116532 0 0 0 68963 115 0 0 25 0 4 0 516345395 1805082624 396972 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1148/tid=1151] ppid=1146 vsize=1762776 CPUtime=691.82 cores=1,3,5,7
/proc/1148/task/1151/stat : 1151 (claspmt) R 1146 1148 793 0 -1 4202560 152899 0 0 0 69058 124 0 0 25 0 4 0 516345395 1805082624 396972 33554432000 4194304 4964704 140737135989392 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1148/tid=1152] ppid=1146 vsize=1762776 CPUtime=691.74 cores=1,3,5,7
/proc/1148/task/1152/stat : 1152 (claspmt) R 1146 1148 793 0 -1 4202560 82703 0 0 0 69094 80 0 0 25 0 4 0 516345395 1805082624 396972 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2774.02
Current children cumulated vsize (KiB) 1762776

[startup+762.307 s]
/proc/loadavg: 8.08 8.07 7.91 9/184 1203
/proc/meminfo: memFree=17996100/32950904 swapFree=67082284/67111528
[pid=1148] ppid=1146 vsize=1828312 CPUtime=3013.7 cores=1,3,5,7
/proc/1148/stat : 1148 (claspmt) R 1146 1148 793 0 -1 4202496 422551 0 0 0 300994 376 0 0 25 0 4 0 516344350 1872191488 417051 33554432000 4194304 4964704 140737135989392 18446744073709551615 4332355 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/1148/statm: 457078 417051 460 189 0 451427 0
[pid=1148/tid=1150] ppid=1146 vsize=1828312 CPUtime=750.45 cores=1,3,5,7
/proc/1148/task/1150/stat : 1150 (claspmt) R 1146 1148 793 0 -1 4202560 123710 0 0 0 74922 123 0 0 25 0 4 0 516345395 1872191488 417051 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670243 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1148/tid=1151] ppid=1146 vsize=1828312 CPUtime=751.82 cores=1,3,5,7
/proc/1148/task/1151/stat : 1151 (claspmt) R 1146 1148 793 0 -1 4202560 160199 0 0 0 75049 133 0 0 25 0 4 0 516345395 1872191488 417051 33554432000 4194304 4964704 140737135989392 18446744073709551615 4668629 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1148/tid=1152] ppid=1146 vsize=1828312 CPUtime=751.74 cores=1,3,5,7
/proc/1148/task/1152/stat : 1152 (claspmt) R 1146 1148 793 0 -1 4202560 88400 0 0 0 75088 86 0 0 25 0 4 0 516345395 1872191488 417051 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3013.7
Current children cumulated vsize (KiB) 1828312

[startup+822.301 s]
/proc/loadavg: 8.07 8.07 7.92 9/184 1205
/proc/meminfo: memFree=17949188/32950904 swapFree=67082284/67111528
[pid=1148] ppid=1146 vsize=1828312 CPUtime=3253.36 cores=1,3,5,7
/proc/1148/stat : 1148 (claspmt) R 1146 1148 793 0 -1 4202496 429846 0 0 0 324950 386 0 0 25 0 4 0 516344350 1872191488 424346 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/1148/statm: 457078 424346 460 189 0 451427 0
[pid=1148/tid=1150] ppid=1146 vsize=1828312 CPUtime=810.12 cores=1,3,5,7
/proc/1148/task/1150/stat : 1150 (claspmt) R 1146 1148 793 0 -1 4202560 123827 0 0 0 80889 123 0 0 25 0 4 0 516345395 1872191488 424346 33554432000 4194304 4964704 140737135989392 18446744073709551615 4320976 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1148/tid=1151] ppid=1146 vsize=1828312 CPUtime=811.82 cores=1,3,5,7
/proc/1148/task/1151/stat : 1151 (claspmt) R 1146 1148 793 0 -1 4202560 161624 0 0 0 81049 133 0 0 25 0 4 0 516345395 1872191488 424346 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1148/tid=1152] ppid=1146 vsize=1828312 CPUtime=811.74 cores=1,3,5,7
/proc/1148/task/1152/stat : 1152 (claspmt) R 1146 1148 793 0 -1 4202560 93882 0 0 0 81078 96 0 0 25 0 4 0 516345395 1872191488 424346 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3253.36
Current children cumulated vsize (KiB) 1828312

[startup+882.3 s]
/proc/loadavg: 8.02 8.05 7.92 9/184 1206
/proc/meminfo: memFree=17871032/32950904 swapFree=67082284/67111528
[pid=1148] ppid=1146 vsize=1855052 CPUtime=3493.03 cores=1,3,5,7
/proc/1148/stat : 1148 (claspmt) R 1146 1148 793 0 -1 4202496 449192 0 0 0 348895 408 0 0 25 0 4 0 516344350 1899573248 443692 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/1148/statm: 463763 443692 460 189 0 458112 0
[pid=1148/tid=1150] ppid=1146 vsize=1855052 CPUtime=869.79 cores=1,3,5,7
/proc/1148/task/1150/stat : 1150 (claspmt) R 1146 1148 793 0 -1 4202560 130564 0 0 0 86853 126 0 0 25 0 4 0 516345395 1899573248 443692 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670233 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1148/tid=1151] ppid=1146 vsize=1855052 CPUtime=871.82 cores=1,3,5,7
/proc/1148/task/1151/stat : 1151 (claspmt) R 1146 1148 793 0 -1 4202560 164160 0 0 0 87045 137 0 0 25 0 4 0 516345395 1899573248 443692 33554432000 4194304 4964704 140737135989392 18446744073709551615 4668657 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1148/tid=1152] ppid=1146 vsize=1855052 CPUtime=871.73 cores=1,3,5,7
/proc/1148/task/1152/stat : 1152 (claspmt) R 1146 1148 793 0 -1 4202560 103946 0 0 0 87062 111 0 0 25 0 4 0 516345395 1899573248 443692 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670440 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3493.03
Current children cumulated vsize (KiB) 1855052

[startup+942.301 s]
/proc/loadavg: 8.01 8.04 7.92 9/184 1208
/proc/meminfo: memFree=17786940/32950904 swapFree=67082284/67111528
[pid=1148] ppid=1146 vsize=1994364 CPUtime=3732.69 cores=1,3,5,7
/proc/1148/stat : 1148 (claspmt) R 1146 1148 793 0 -1 4202496 471858 0 0 0 372831 438 0 0 25 0 4 0 516344350 2042228736 464307 33554432000 4194304 4964704 140737135989392 18446744073709551615 4668488 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/1148/statm: 498591 464307 460 189 0 492940 0
[pid=1148/tid=1150] ppid=1146 vsize=1994364 CPUtime=929.45 cores=1,3,5,7
/proc/1148/task/1150/stat : 1150 (claspmt) R 1146 1148 793 0 -1 4202560 144096 0 0 0 92799 146 0 0 25 0 4 0 516345395 2042228736 464307 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1148/tid=1151] ppid=1146 vsize=1994364 CPUtime=931.82 cores=1,3,5,7
/proc/1148/task/1151/stat : 1151 (claspmt) R 1146 1148 793 0 -1 4202560 170414 0 0 0 93039 143 0 0 25 0 4 0 516345395 2042228736 464307 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1148/tid=1152] ppid=1146 vsize=1994364 CPUtime=931.73 cores=1,3,5,7
/proc/1148/task/1152/stat : 1152 (claspmt) R 1146 1148 793 0 -1 4202560 106553 0 0 0 93059 114 0 0 25 0 4 0 516345395 2042228736 464307 33554432000 4194304 4964704 140737135989392 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3732.69
Current children cumulated vsize (KiB) 1994364

[startup+1002.3 s]
/proc/loadavg: 8.04 8.04 7.93 9/184 1210
/proc/meminfo: memFree=17759740/32950904 swapFree=67082284/67111528
[pid=1148] ppid=1146 vsize=2061356 CPUtime=3972.36 cores=1,3,5,7
/proc/1148/stat : 1148 (claspmt) R 1146 1148 793 0 -1 4202496 477452 0 0 0 396791 445 0 0 25 0 4 0 516344350 2110828544 469901 33554432000 4194304 4964704 140737135989392 18446744073709551615 4668632 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/1148/statm: 515339 469901 460 189 0 509688 0
[pid=1148/tid=1150] ppid=1146 vsize=2061356 CPUtime=989.11 cores=1,3,5,7
/proc/1148/task/1150/stat : 1150 (claspmt) R 1146 1148 793 0 -1 4202560 144810 0 0 0 98765 146 0 0 25 0 4 0 516345395 2110828544 469901 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1148/tid=1151] ppid=1146 vsize=2061356 CPUtime=991.82 cores=1,3,5,7
/proc/1148/task/1151/stat : 1151 (claspmt) R 1146 1148 793 0 -1 4202560 173816 0 0 0 99033 149 0 0 25 0 4 0 516345395 2110828544 469901 33554432000 4194304 4964704 140737135989392 18446744073709551615 4668632 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1148/tid=1152] ppid=1146 vsize=2061356 CPUtime=991.74 cores=1,3,5,7
/proc/1148/task/1152/stat : 1152 (claspmt) R 1146 1148 793 0 -1 4202560 108031 0 0 0 99059 115 0 0 25 0 4 0 516345395 2110828544 469901 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3972.36
Current children cumulated vsize (KiB) 2061356

[startup+1062.3 s]
/proc/loadavg: 8.05 8.05 7.93 9/184 1211
/proc/meminfo: memFree=17737620/32950904 swapFree=67082284/67111528
[pid=1148] ppid=1146 vsize=2061356 CPUtime=4212.04 cores=1,3,5,7
/proc/1148/stat : 1148 (claspmt) R 1146 1148 793 0 -1 4202496 481261 0 0 0 420756 448 0 0 25 0 4 0 516344350 2110828544 473710 33554432000 4194304 4964704 140737135989392 18446744073709551615 4627960 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/1148/statm: 515339 473710 460 189 0 509688 0
[pid=1148/tid=1150] ppid=1146 vsize=2061356 CPUtime=1048.79 cores=1,3,5,7
/proc/1148/task/1150/stat : 1150 (claspmt) R 1146 1148 793 0 -1 4202560 144825 0 0 0 104733 146 0 0 25 0 4 0 516345395 2110828544 473710 33554432000 4194304 4964704 140737135989392 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1148/tid=1151] ppid=1146 vsize=2061356 CPUtime=1051.82 cores=1,3,5,7
/proc/1148/task/1151/stat : 1151 (claspmt) R 1146 1148 793 0 -1 4202560 173917 0 0 0 105033 149 0 0 25 0 4 0 516345395 2110828544 473710 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1148/tid=1152] ppid=1146 vsize=2061356 CPUtime=1051.74 cores=1,3,5,7
/proc/1148/task/1152/stat : 1152 (claspmt) R 1146 1148 793 0 -1 4202560 111724 0 0 0 105056 118 0 0 25 0 4 0 516345395 2110828544 473710 33554432000 4194304 4964704 140737135989392 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4212.04
Current children cumulated vsize (KiB) 2061356

[startup+1122.3 s]
/proc/loadavg: 8.13 8.07 7.94 9/184 1213
/proc/meminfo: memFree=17668632/32950904 swapFree=67082284/67111528
[pid=1148] ppid=1146 vsize=2126892 CPUtime=4451.7 cores=1,3,5,7
/proc/1148/stat : 1148 (claspmt) R 1146 1148 793 0 -1 4202496 493698 0 0 0 444709 461 0 0 25 0 4 0 516344350 2177937408 485857 33554432000 4194304 4964704 140737135989392 18446744073709551615 4683929 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/1148/statm: 531723 485857 460 189 0 526072 0
[pid=1148/tid=1150] ppid=1146 vsize=2126892 CPUtime=1108.46 cores=1,3,5,7
/proc/1148/task/1150/stat : 1150 (claspmt) R 1146 1148 793 0 -1 4202560 147591 0 0 0 110696 150 0 0 25 0 4 0 516345395 2177937408 485857 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670243 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1148/tid=1151] ppid=1146 vsize=2126892 CPUtime=1111.82 cores=1,3,5,7
/proc/1148/task/1151/stat : 1151 (claspmt) R 1146 1148 793 0 -1 4202560 174691 0 0 0 111033 149 0 0 25 0 4 0 516345395 2177937408 485857 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670193 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1148/tid=1152] ppid=1146 vsize=2126892 CPUtime=1111.74 cores=1,3,5,7
/proc/1148/task/1152/stat : 1152 (claspmt) R 1146 1148 793 0 -1 4202560 119336 0 0 0 111049 125 0 0 25 0 4 0 516345395 2177937408 485857 33554432000 4194304 4964704 140737135989392 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4451.7
Current children cumulated vsize (KiB) 2126892

[startup+1182.3 s]
/proc/loadavg: 8.17 8.08 7.95 9/184 1214
/proc/meminfo: memFree=17623448/32950904 swapFree=67082284/67111528
[pid=1148] ppid=1146 vsize=2192428 CPUtime=4691.38 cores=1,3,5,7
/proc/1148/stat : 1148 (claspmt) R 1146 1148 793 0 -1 4202496 501204 0 0 0 468667 471 0 0 25 0 4 0 516344350 2245046272 493289 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/1148/statm: 548107 493289 460 189 0 542456 0
[pid=1148/tid=1150] ppid=1146 vsize=2192428 CPUtime=1168.14 cores=1,3,5,7
/proc/1148/task/1150/stat : 1150 (claspmt) R 1146 1148 793 0 -1 4202560 152750 0 0 0 116654 160 0 0 25 0 4 0 516345395 2245046272 493289 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1148/tid=1151] ppid=1146 vsize=2192428 CPUtime=1171.82 cores=1,3,5,7
/proc/1148/task/1151/stat : 1151 (claspmt) R 1146 1148 793 0 -1 4202560 177020 0 0 0 117032 150 0 0 25 0 4 0 516345395 2245046272 493289 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1148/tid=1152] ppid=1146 vsize=2192428 CPUtime=1171.74 cores=1,3,5,7
/proc/1148/task/1152/stat : 1152 (claspmt) R 1146 1148 793 0 -1 4202560 119352 0 0 0 117049 125 0 0 25 0 4 0 516345395 2245046272 493289 33554432000 4194304 4964704 140737135989392 18446744073709551615 4668632 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4691.38
Current children cumulated vsize (KiB) 2192428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1209.5 s]
/proc/loadavg: 8.11 8.08 7.95 9/184 1215
/proc/meminfo: memFree=17585992/32950904 swapFree=67082284/67111528
[pid=1148] ppid=1146 vsize=2192428 CPUtime=4800.04 cores=1,3,5,7
/proc/1148/stat : 1148 (claspmt) R 1146 1148 793 0 -1 4202496 510063 0 0 0 479518 486 0 0 25 0 4 0 516344350 2245046272 502148 33554432000 4194304 4964704 140737135989392 18446744073709551615 4668609 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/1148/statm: 548107 502148 460 189 0 542456 0
[pid=1148/tid=1150] ppid=1146 vsize=2192428 CPUtime=1195.18 cores=1,3,5,7
/proc/1148/task/1150/stat : 1150 (claspmt) R 1146 1148 793 0 -1 4202560 161407 0 0 0 119344 174 0 0 25 0 4 0 516345395 2245046272 502148 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1148/tid=1151] ppid=1146 vsize=2192428 CPUtime=1199.02 cores=1,3,5,7
/proc/1148/task/1151/stat : 1151 (claspmt) R 1146 1148 793 0 -1 4202560 177216 0 0 0 119752 150 0 0 25 0 4 0 516345395 2245046272 502148 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1148/tid=1152] ppid=1146 vsize=2192428 CPUtime=1198.94 cores=1,3,5,7
/proc/1148/task/1152/stat : 1152 (claspmt) R 1146 1148 793 0 -1 4202560 119358 0 0 0 119769 125 0 0 25 0 4 0 516345395 2245046272 502148 33554432000 4194304 4964704 140737135989392 18446744073709551615 4670454 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.04
Current children cumulated vsize (KiB) 2192428

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

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

[startup+1209.8 s]
/proc/loadavg: 8.11 8.08 7.95 9/184 1215
/proc/meminfo: memFree=17585992/32950904 swapFree=67082284/67111528
[pid=1148] ppid=1146 vsize=847788 CPUtime=4800.35 cores=1,3,5,7
/proc/1148/stat : 1148 (claspmt) R 1146 1148 793 0 -1 4202496 510076 0 0 0 479544 491 0 0 25 0 1 0 516344350 868134912 184503 33554432000 4194304 4964704 140737135989392 18446744073709551615 237278923111 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/1148/statm: 211947 184350 471 189 0 206296 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 847788

Child status: 0
Real time (s): 1209.83
CPU time (s): 4800.4
CPU user time (s): 4795.45
CPU system time (s): 4.94625
CPU usage (%): 396.782
Max. virtual memory (cumulated for all children) (KiB): 2192428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.45
system time used= 4.94625
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510077
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= 7296
involuntary context switches= 35077

runsolver used 1.85072 second user time and 4.76028 second system time

The end

Launcher Data 

Begin job on node121 at 2011-04-29 05:24:06
IDJOB=3299732
IDBENCH=71095
IDSOLVER=1683
FILE ID=node121/3299732-1304047446
RUNJOBID= node121-1304044818-812
PBS_JOBID= 13170393
Free space on /tmp= 72620 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_19_UNKNOWN.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3299732-1304047446/watcher-3299732-1304047446 -o /tmp/evaluation-result-3299732-1304047446/solver-3299732-1304047446 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299732-1304047446.cnf

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

MD5SUM BENCH= 4cf2a693df1b6e5a084b88e84ec5f2af
RANDOM SEED=1553748438

node121.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.817
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.63
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.817
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.07
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.817
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.84
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.817
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.77
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.817
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.82
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.817
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.74
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.817
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.75
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.817
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:     32950904 kB
MemFree:      18265200 kB
Buffers:       2178976 kB
Cached:       10224164 kB
SwapCached:       2776 kB
Active:       10853188 kB
Inactive:      3310396 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      18265200 kB
SwapTotal:    67111528 kB
SwapFree:     67082284 kB
Dirty:            8680 kB
Writeback:           0 kB
AnonPages:     1758216 kB
Mapped:          14672 kB
Slab:           455116 kB
PageTables:       7848 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:  1943108 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= 72644 MiB
End job on node121 at 2011-04-29 05:44:18