Trace number 3373353

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
claspmt 2.0-R4095-patched (fixed)? (TO) 4800.59 1212.24

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 ...419015/instance-3373353-1305419015.cnf
10.39/10.45	c Solving...
4800.15/1211.81	
4800.15/1211.81	*** INTERRUPTED! ***
4800.15/1211.81	*** Shutting down threads...
4800.55/1212.23	s UNKNOWN
4800.55/1212.23	
4800.55/1212.23	c INTERRUPTED   : 1
4800.55/1212.23	c Models        : 0+    
4800.55/1212.23	c Time          : 1211.818s (Solving: 1201.36s 1st Model: 0.00s Unsat: 0.00s)
4800.55/1212.23	c CPU Time      : 4800.170s

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-3373353-1305419015/watcher-3373353-1305419015 -o /tmp/evaluation-result-3373353-1305419015/solver-3373353-1305419015 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373353-1305419015.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: 6.43 7.33 7.60 5/388 29839
/proc/meminfo: memFree=26949052/32950928 swapFree=44388876/67111528
[pid=29839] ppid=29837 vsize=24312 CPUtime=0.01 cores=1,3,5,7
/proc/29839/stat : 29839 (claspmt) R 29837 29839 29676 0 -1 4202496 1373 0 0 0 1 0 0 0 25 0 1 0 653500254 24895488 1183 33554432000 4194304 4964800 140735372882096 18446744073709551615 251813936907 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/29839/statm: 6078 1197 385 189 0 952 0

[startup+0.0900059 s]
/proc/loadavg: 6.43 7.33 7.60 5/388 29839
/proc/meminfo: memFree=26949052/32950928 swapFree=44388876/67111528
[pid=29839] ppid=29837 vsize=40748 CPUtime=0.08 cores=1,3,5,7
/proc/29839/stat : 29839 (claspmt) R 29837 29839 29676 0 -1 4202496 7006 0 0 0 8 0 0 0 25 0 1 0 653500254 41725952 5148 33554432000 4194304 4964800 140735372882096 18446744073709551615 251813900997 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/29839/statm: 10187 5150 385 189 0 5061 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 40748

[startup+0.101 s]
/proc/loadavg: 6.43 7.33 7.60 5/388 29839
/proc/meminfo: memFree=26949052/32950928 swapFree=44388876/67111528
[pid=29839] ppid=29837 vsize=42860 CPUtime=0.09 cores=1,3,5,7
/proc/29839/stat : 29839 (claspmt) R 29837 29839 29676 0 -1 4202496 7615 0 0 0 9 0 0 0 25 0 1 0 653500254 43888640 5757 33554432000 4194304 4964800 140735372882096 18446744073709551615 251814240000 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/29839/statm: 10715 5758 385 189 0 5589 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42860

[startup+0.300973 s]
/proc/loadavg: 6.43 7.33 7.60 5/388 29839
/proc/meminfo: memFree=26949052/32950928 swapFree=44388876/67111528
[pid=29839] ppid=29837 vsize=58404 CPUtime=0.29 cores=1,3,5,7
/proc/29839/stat : 29839 (claspmt) R 29837 29839 29676 0 -1 4202496 11745 0 0 0 28 1 0 0 25 0 1 0 653500254 59805696 9849 33554432000 4194304 4964800 140735372882096 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/29839/statm: 14601 9849 398 189 0 9475 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58404

[startup+0.700906 s]
/proc/loadavg: 6.43 7.33 7.60 5/388 29839
/proc/meminfo: memFree=26949052/32950928 swapFree=44388876/67111528
[pid=29839] ppid=29837 vsize=58404 CPUtime=0.69 cores=1,3,5,7
/proc/29839/stat : 29839 (claspmt) R 29837 29839 29676 0 -1 4202496 11745 0 0 0 68 1 0 0 25 0 1 0 653500254 59805696 9849 33554432000 4194304 4964800 140735372882096 18446744073709551615 4607585 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/29839/statm: 14601 9849 398 189 0 9475 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 58404

[startup+1.50077 s]
/proc/loadavg: 6.43 7.33 7.60 6/389 29840
/proc/meminfo: memFree=26909380/32950928 swapFree=44388876/67111528
[pid=29839] ppid=29837 vsize=58404 CPUtime=1.49 cores=1,3,5,7
/proc/29839/stat : 29839 (claspmt) R 29837 29839 29676 0 -1 4202496 11745 0 0 0 148 1 0 0 25 0 1 0 653500254 59805696 9849 33554432000 4194304 4964800 140735372882096 18446744073709551615 4607575 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/29839/statm: 14601 9849 398 189 0 9475 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 58404

[startup+3.1005 s]
/proc/loadavg: 6.43 7.33 7.60 6/389 29840
/proc/meminfo: memFree=26907644/32950928 swapFree=44388876/67111528
[pid=29839] ppid=29837 vsize=58404 CPUtime=3.09 cores=1,3,5,7
/proc/29839/stat : 29839 (claspmt) R 29837 29839 29676 0 -1 4202496 11745 0 0 0 308 1 0 0 25 0 1 0 653500254 59805696 9849 33554432000 4194304 4964800 140735372882096 18446744073709551615 4607513 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/29839/statm: 14601 9849 398 189 0 9475 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58404

[startup+6.30096 s]
/proc/loadavg: 6.31 7.29 7.58 6/389 29840
/proc/meminfo: memFree=26898720/32950928 swapFree=44388876/67111528
[pid=29839] ppid=29837 vsize=63204 CPUtime=6.29 cores=1,3,5,7
/proc/29839/stat : 29839 (claspmt) R 29837 29839 29676 0 -1 4202496 12942 0 0 0 628 1 0 0 25 0 1 0 653500254 64720896 11046 33554432000 4194304 4964800 140735372882096 18446744073709551615 4600431 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/29839/statm: 15801 11046 399 189 0 10675 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63204

[startup+12.7009 s]
/proc/loadavg: 6.21 7.25 7.57 9/392 29843
/proc/meminfo: memFree=26862036/32950928 swapFree=44388876/67111528
[pid=29839] ppid=29837 vsize=216832 CPUtime=19.3 cores=1,3,5,7
/proc/29839/stat : 29839 (claspmt) R 29837 29839 29676 0 -1 4202496 22703 0 0 0 1926 4 0 0 25 0 4 0 653500254 222035968 19862 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670328 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/29839/statm: 54208 19862 458 189 0 48557 0
[pid=29839/tid=29841] ppid=29837 vsize=216832 CPUtime=2.2 cores=1,3,5,7
/proc/29839/task/29841/stat : 29841 (claspmt) R 29837 29839 29676 0 -1 4202560 1399 0 0 0 220 0 0 0 25 0 4 0 653501299 222035968 19862 33554432000 4194304 4964800 140735372882096 18446744073709551615 4627272 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29839/tid=29842] ppid=29837 vsize=216832 CPUtime=2.21 cores=1,3,5,7
/proc/29839/task/29842/stat : 29842 (claspmt) R 29837 29839 29676 0 -1 4202560 1950 0 0 0 221 0 0 0 25 0 4 0 653501299 222035968 19862 33554432000 4194304 4964800 140735372882096 18446744073709551615 4660236 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29839/tid=29843] ppid=29837 vsize=216832 CPUtime=2.21 cores=1,3,5,7
/proc/29839/task/29843/stat : 29843 (claspmt) R 29837 29839 29676 0 -1 4202560 2189 0 0 0 221 0 0 0 25 0 4 0 653501299 222035968 19862 33554432000 4194304 4964800 140735372882096 18446744073709551615 4332351 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 19.3
Current children cumulated vsize (KiB) 216832

[startup+25.5007 s]
/proc/loadavg: 6.60 7.29 7.57 9/392 29843
/proc/meminfo: memFree=26749880/32950928 swapFree=44388876/67111528
[pid=29839] ppid=29837 vsize=243996 CPUtime=70.33 cores=1,3,5,7
/proc/29839/stat : 29839 (claspmt) R 29837 29839 29676 0 -1 4202496 47504 0 0 0 7018 15 0 0 25 0 4 0 653500254 249851904 44663 33554432000 4194304 4964800 140735372882096 18446744073709551615 4627920 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/29839/statm: 60999 44663 460 189 0 55348 0
[pid=29839/tid=29841] ppid=29837 vsize=243996 CPUtime=15 cores=1,3,5,7
/proc/29839/task/29841/stat : 29841 (claspmt) R 29837 29839 29676 0 -1 4202560 6487 0 0 0 1497 3 0 0 25 0 4 0 653501299 249851904 44663 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29839/tid=29842] ppid=29837 vsize=243996 CPUtime=15.01 cores=1,3,5,7
/proc/29839/task/29842/stat : 29842 (claspmt) R 29837 29839 29676 0 -1 4202560 10874 0 0 0 1498 3 0 0 25 0 4 0 653501299 249851904 44663 33554432000 4194304 4964800 140735372882096 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29839/tid=29843] ppid=29837 vsize=243996 CPUtime=15.01 cores=1,3,5,7
/proc/29839/task/29843/stat : 29843 (claspmt) R 29837 29839 29676 0 -1 4202560 7359 0 0 0 1499 2 0 0 25 0 4 0 653501299 249851904 44663 33554432000 4194304 4964800 140735372882096 18446744073709551615 251813900997 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 70.33
Current children cumulated vsize (KiB) 243996

[startup+51.1004 s]
/proc/loadavg: 7.15 7.36 7.59 9/392 29844
/proc/meminfo: memFree=26558820/32950928 swapFree=44388876/67111528
[pid=29839] ppid=29837 vsize=429064 CPUtime=172.39 cores=1,3,5,7
/proc/29839/stat : 29839 (claspmt) R 29837 29839 29676 0 -1 4202496 88197 0 0 0 17199 40 0 0 25 0 4 0 653500254 439361536 85356 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670534 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/29839/statm: 107266 85356 460 189 0 101615 0
[pid=29839/tid=29841] ppid=29837 vsize=429064 CPUtime=40.6 cores=1,3,5,7
/proc/29839/task/29841/stat : 29841 (claspmt) R 29837 29839 29676 0 -1 4202560 15072 0 0 0 4052 8 0 0 25 0 4 0 653501299 439361536 85356 33554432000 4194304 4964800 140735372882096 18446744073709551615 4627168 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29839/tid=29842] ppid=29837 vsize=429064 CPUtime=40.61 cores=1,3,5,7
/proc/29839/task/29842/stat : 29842 (claspmt) R 29837 29839 29676 0 -1 4202560 25096 0 0 0 4049 12 0 0 25 0 4 0 653501299 439361536 85356 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29839/tid=29843] ppid=29837 vsize=429064 CPUtime=40.61 cores=1,3,5,7
/proc/29839/task/29843/stat : 29843 (claspmt) R 29837 29839 29676 0 -1 4202560 14334 0 0 0 4056 5 0 0 25 0 4 0 653501299 439361536 85356 33554432000 4194304 4964800 140735372882096 18446744073709551615 4627290 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 172.39
Current children cumulated vsize (KiB) 429064

[startup+102.315 s]
/proc/loadavg: 7.77 7.49 7.62 9/392 29846
/proc/meminfo: memFree=26331320/32950928 swapFree=44388876/67111528
[pid=29839] ppid=29837 vsize=629704 CPUtime=376.57 cores=1,3,5,7
/proc/29839/stat : 29839 (claspmt) R 29837 29839 29676 0 -1 4202496 133988 0 0 0 37590 67 0 0 25 0 4 0 653500254 644816896 131091 33554432000 4194304 4964800 140735372882096 18446744073709551615 4320951 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/29839/statm: 157426 131091 460 189 0 151775 0
[pid=29839/tid=29841] ppid=29837 vsize=629704 CPUtime=91.8 cores=1,3,5,7
/proc/29839/task/29841/stat : 29841 (claspmt) R 29837 29839 29676 0 -1 4202560 25375 0 0 0 9164 16 0 0 25 0 4 0 653501299 644816896 131091 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29839/tid=29842] ppid=29837 vsize=629704 CPUtime=91.64 cores=1,3,5,7
/proc/29839/task/29842/stat : 29842 (claspmt) R 29837 29839 29676 0 -1 4202560 41442 0 0 0 9144 20 0 0 25 0 4 0 653501299 644816896 131091 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29839/tid=29843] ppid=29837 vsize=629704 CPUtime=91.82 cores=1,3,5,7
/proc/29839/task/29843/stat : 29843 (claspmt) R 29837 29839 29676 0 -1 4202560 22228 0 0 0 9174 8 0 0 25 0 4 0 653501299 644816896 131091 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 376.57
Current children cumulated vsize (KiB) 629704

[startup+162.301 s]
/proc/loadavg: 8.12 7.63 7.66 9/392 29847
/proc/meminfo: memFree=26157652/32950928 swapFree=44388876/67111528
[pid=29839] ppid=29837 vsize=759960 CPUtime=615.73 cores=1,3,5,7
/proc/29839/stat : 29839 (claspmt) R 29837 29839 29676 0 -1 4202496 171179 0 0 0 61478 95 0 0 25 0 4 0 653500254 778199040 168209 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/29839/statm: 189990 168209 460 189 0 184339 0
[pid=29839/tid=29841] ppid=29837 vsize=759960 CPUtime=151.77 cores=1,3,5,7
/proc/29839/task/29841/stat : 29841 (claspmt) R 29837 29839 29676 0 -1 4202560 33540 0 0 0 15154 23 0 0 25 0 4 0 653501299 778199040 168209 33554432000 4194304 4964800 140735372882096 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29839/tid=29842] ppid=29837 vsize=759960 CPUtime=150.86 cores=1,3,5,7
/proc/29839/task/29842/stat : 29842 (claspmt) R 29837 29839 29676 0 -1 4202560 51142 0 0 0 15060 26 0 0 25 0 4 0 653501299 778199040 168209 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29839/tid=29843] ppid=29837 vsize=759960 CPUtime=151.81 cores=1,3,5,7
/proc/29839/task/29843/stat : 29843 (claspmt) R 29837 29839 29676 0 -1 4202560 29986 0 0 0 15168 13 0 0 25 0 4 0 653501299 778199040 168209 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 615.73
Current children cumulated vsize (KiB) 759960

[startup+222.301 s]
/proc/loadavg: 8.24 7.74 7.69 9/392 29849
/proc/meminfo: memFree=26030728/32950928 swapFree=44388876/67111528
[pid=29839] ppid=29837 vsize=854160 CPUtime=854.93 cores=1,3,5,7
/proc/29839/stat : 29839 (claspmt) R 29837 29839 29676 0 -1 4202496 197335 0 0 0 85376 117 0 0 25 0 4 0 653500254 874659840 194325 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/29839/statm: 213540 194325 460 189 0 207889 0
[pid=29839/tid=29841] ppid=29837 vsize=854160 CPUtime=211.75 cores=1,3,5,7
/proc/29839/task/29841/stat : 29841 (claspmt) R 29837 29839 29676 0 -1 4202560 39690 0 0 0 21147 28 0 0 25 0 4 0 653501299 874659840 194325 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29839/tid=29842] ppid=29837 vsize=854160 CPUtime=210.4 cores=1,3,5,7
/proc/29839/task/29842/stat : 29842 (claspmt) R 29837 29839 29676 0 -1 4202560 56766 0 0 0 21011 29 0 0 25 0 4 0 653501299 874659840 194325 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29839/tid=29843] ppid=29837 vsize=854160 CPUtime=211.49 cores=1,3,5,7
/proc/29839/task/29843/stat : 29843 (claspmt) R 29837 29839 29676 0 -1 4202560 34518 0 0 0 21133 16 0 0 25 0 4 0 653501299 874659840 194325 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 854.93
Current children cumulated vsize (KiB) 854160

[startup+282.301 s]
/proc/loadavg: 8.14 7.80 7.71 9/392 29850
/proc/meminfo: memFree=25873296/32950928 swapFree=44388876/67111528
[pid=29839] ppid=29837 vsize=1017452 CPUtime=1094.16 cores=1,3,5,7
/proc/29839/stat : 29839 (claspmt) R 29837 29839 29676 0 -1 4202496 230926 0 0 0 109266 150 0 0 25 0 4 0 653500254 1041870848 227862 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670346 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/29839/statm: 254363 227862 460 189 0 248712 0
[pid=29839/tid=29841] ppid=29837 vsize=1017452 CPUtime=271.74 cores=1,3,5,7
/proc/29839/task/29841/stat : 29841 (claspmt) R 29837 29839 29676 0 -1 4202560 46902 0 0 0 27137 37 0 0 25 0 4 0 653501299 1041870848 227862 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29839/tid=29842] ppid=29837 vsize=1017452 CPUtime=270.41 cores=1,3,5,7
/proc/29839/task/29842/stat : 29842 (claspmt) R 29837 29839 29676 0 -1 4202560 63373 0 0 0 27005 36 0 0 25 0 4 0 653501299 1041870848 227863 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29839/tid=29843] ppid=29837 vsize=1017452 CPUtime=270.73 cores=1,3,5,7
/proc/29839/task/29843/stat : 29843 (claspmt) R 29837 29839 29676 0 -1 4202560 41213 0 0 0 27053 20 0 0 25 0 4 0 653501299 1041870848 227863 33554432000 4194304 4964800 140735372882096 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1094.16
Current children cumulated vsize (KiB) 1017452

[startup+342.301 s]
/proc/loadavg: 8.16 7.86 7.74 9/392 29852
/proc/meminfo: memFree=25717716/32950928 swapFree=44388876/67111528
[pid=29839] ppid=29837 vsize=1191616 CPUtime=1333.37 cores=1,3,5,7

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

Current children cumulated CPU time (s) 2529.5
Current children cumulated vsize (KiB) 1524264

[startup+702.301 s]
/proc/loadavg: 8.25 8.06 7.85 9/392 29861
/proc/meminfo: memFree=25257952/32950928 swapFree=44388876/67111528
[pid=29839] ppid=29837 vsize=1599760 CPUtime=2768.69 cores=1,3,5,7
/proc/29839/stat : 29839 (claspmt) R 29837 29839 29676 0 -1 4202496 367203 0 0 0 276586 283 0 0 25 0 4 0 653500254 1638154240 362354 33554432000 4194304 4964800 140735372882096 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/29839/statm: 399940 362354 460 189 0 394289 0
[pid=29839/tid=29841] ppid=29837 vsize=1599760 CPUtime=691.66 cores=1,3,5,7
/proc/29839/task/29841/stat : 29841 (claspmt) R 29837 29839 29676 0 -1 4202560 84584 0 0 0 69096 70 0 0 25 0 4 0 653501299 1638154240 362354 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670155 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29839/tid=29842] ppid=29837 vsize=1599760 CPUtime=690.41 cores=1,3,5,7
/proc/29839/task/29842/stat : 29842 (claspmt) R 29837 29839 29676 0 -1 4202560 91073 0 0 0 68985 56 0 0 25 0 4 0 653501299 1638154240 362354 33554432000 4194304 4964800 140735372882096 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29839/tid=29843] ppid=29837 vsize=1599760 CPUtime=685.35 cores=1,3,5,7
/proc/29839/task/29843/stat : 29843 (claspmt) R 29837 29839 29676 0 -1 4202560 65455 0 0 0 68494 41 0 0 25 0 4 0 653501299 1638154240 362354 33554432000 4194304 4964800 140735372882096 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2768.69
Current children cumulated vsize (KiB) 1599760

[startup+762.315 s]
/proc/loadavg: 8.20 8.08 7.87 9/392 29863
/proc/meminfo: memFree=25119476/32950928 swapFree=44388876/67111528
[pid=29839] ppid=29837 vsize=1705556 CPUtime=3007.98 cores=1,3,5,7
/proc/29839/stat : 29839 (claspmt) R 29837 29839 29676 0 -1 4202496 398789 0 0 0 300480 318 0 0 25 0 4 0 653500254 1746489344 393940 33554432000 4194304 4964800 140735372882096 18446744073709551615 4627168 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/29839/statm: 426389 393940 460 189 0 420738 0
[pid=29839/tid=29841] ppid=29837 vsize=1705556 CPUtime=751.68 cores=1,3,5,7
/proc/29839/task/29841/stat : 29841 (claspmt) R 29837 29839 29676 0 -1 4202560 88967 0 0 0 75093 75 0 0 25 0 4 0 653501299 1746489344 393940 33554432000 4194304 4964800 140735372882096 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29839/tid=29842] ppid=29837 vsize=1705556 CPUtime=750.42 cores=1,3,5,7
/proc/29839/task/29842/stat : 29842 (claspmt) R 29837 29839 29676 0 -1 4202560 95356 0 0 0 74982 60 0 0 25 0 4 0 653501299 1746489344 393940 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29839/tid=29843] ppid=29837 vsize=1705556 CPUtime=744.59 cores=1,3,5,7
/proc/29839/task/29843/stat : 29843 (claspmt) R 29837 29839 29676 0 -1 4202560 71614 0 0 0 74414 45 0 0 25 0 4 0 653501299 1746489344 393940 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3007.98
Current children cumulated vsize (KiB) 1705556

[startup+822.301 s]
/proc/loadavg: 8.15 8.09 7.89 9/392 29865
/proc/meminfo: memFree=25066952/32950928 swapFree=44388876/67111528
[pid=29839] ppid=29837 vsize=1723148 CPUtime=3247.12 cores=1,3,5,7
/proc/29839/stat : 29839 (claspmt) R 29837 29839 29676 0 -1 4202496 409591 0 0 0 324381 331 0 0 25 0 4 0 653500254 1764503552 404742 33554432000 4194304 4964800 140735372882096 18446744073709551615 4668734 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/29839/statm: 430787 404742 460 189 0 425136 0
[pid=29839/tid=29841] ppid=29837 vsize=1723148 CPUtime=811.19 cores=1,3,5,7
/proc/29839/task/29841/stat : 29841 (claspmt) R 29837 29839 29676 0 -1 4202560 92454 0 0 0 81041 78 0 0 25 0 4 0 653501299 1764503552 404742 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29839/tid=29842] ppid=29837 vsize=1723148 CPUtime=810.41 cores=1,3,5,7
/proc/29839/task/29842/stat : 29842 (claspmt) R 29837 29839 29676 0 -1 4202560 97431 0 0 0 80979 62 0 0 25 0 4 0 653501299 1764503552 404742 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29839/tid=29843] ppid=29837 vsize=1723148 CPUtime=804.26 cores=1,3,5,7
/proc/29839/task/29843/stat : 29843 (claspmt) R 29837 29839 29676 0 -1 4202560 73686 0 0 0 80378 48 0 0 25 0 4 0 653501299 1764503552 404742 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670361 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3247.12
Current children cumulated vsize (KiB) 1723148

[startup+882.301 s]
/proc/loadavg: 8.19 8.10 7.90 9/392 29866
/proc/meminfo: memFree=25061412/32950928 swapFree=44388876/67111528
[pid=29839] ppid=29837 vsize=1724096 CPUtime=3486.35 cores=1,3,5,7
/proc/29839/stat : 29839 (claspmt) R 29837 29839 29676 0 -1 4202496 410298 0 0 0 348303 332 0 0 25 0 4 0 653500254 1765474304 405449 33554432000 4194304 4964800 140735372882096 18446744073709551615 4332616 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/29839/statm: 431024 405449 460 189 0 425373 0
[pid=29839/tid=29841] ppid=29837 vsize=1724096 CPUtime=870.42 cores=1,3,5,7
/proc/29839/task/29841/stat : 29841 (claspmt) R 29837 29839 29676 0 -1 4202560 92781 0 0 0 86964 78 0 0 25 0 4 0 653501299 1765474304 405449 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29839/tid=29842] ppid=29837 vsize=1724096 CPUtime=870.41 cores=1,3,5,7
/proc/29839/task/29842/stat : 29842 (claspmt) R 29837 29839 29676 0 -1 4202560 97577 0 0 0 86979 62 0 0 25 0 4 0 653501299 1765474304 405449 33554432000 4194304 4964800 140735372882096 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29839/tid=29843] ppid=29837 vsize=1724096 CPUtime=864.26 cores=1,3,5,7
/proc/29839/task/29843/stat : 29843 (claspmt) R 29837 29839 29676 0 -1 4202560 73905 0 0 0 86378 48 0 0 25 0 4 0 653501299 1765474304 405449 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3486.35
Current children cumulated vsize (KiB) 1724096

[startup+942.301 s]
/proc/loadavg: 8.16 8.11 7.91 9/392 29868
/proc/meminfo: memFree=24963516/32950928 swapFree=44388876/67111528
[pid=29839] ppid=29837 vsize=1840784 CPUtime=3725.59 cores=1,3,5,7
/proc/29839/stat : 29839 (claspmt) R 29837 29839 29676 0 -1 4202496 434857 0 0 0 372204 355 0 0 25 0 4 0 653500254 1884962816 427829 33554432000 4194304 4964800 140735372882096 18446744073709551615 4320976 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/29839/statm: 460196 427829 460 189 0 454545 0
[pid=29839/tid=29841] ppid=29837 vsize=1840784 CPUtime=929.66 cores=1,3,5,7
/proc/29839/task/29841/stat : 29841 (claspmt) R 29837 29839 29676 0 -1 4202560 101496 0 0 0 92881 85 0 0 25 0 4 0 653501299 1884962816 427829 33554432000 4194304 4964800 140735372882096 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29839/tid=29842] ppid=29837 vsize=1840784 CPUtime=930.42 cores=1,3,5,7
/proc/29839/task/29842/stat : 29842 (claspmt) R 29837 29839 29676 0 -1 4202560 103834 0 0 0 92975 67 0 0 25 0 4 0 653501299 1884962816 427829 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29839/tid=29843] ppid=29837 vsize=1840784 CPUtime=924.26 cores=1,3,5,7
/proc/29839/task/29843/stat : 29843 (claspmt) R 29837 29839 29676 0 -1 4202560 77505 0 0 0 92375 51 0 0 25 0 4 0 653501299 1884962816 427829 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3725.59
Current children cumulated vsize (KiB) 1840784

[startup+1002.3 s]
/proc/loadavg: 8.24 8.13 7.93 9/392 29869
/proc/meminfo: memFree=24928592/32950928 swapFree=44388876/67111528
[pid=29839] ppid=29837 vsize=1852180 CPUtime=3964.8 cores=1,3,5,7
/proc/29839/stat : 29839 (claspmt) R 29837 29839 29676 0 -1 4202496 441652 0 0 0 396118 362 0 0 25 0 4 0 653500254 1896632320 434608 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/29839/statm: 463045 434608 460 189 0 457394 0
[pid=29839/tid=29841] ppid=29837 vsize=1852180 CPUtime=988.87 cores=1,3,5,7
/proc/29839/task/29841/stat : 29841 (claspmt) R 29837 29839 29676 0 -1 4202560 104716 0 0 0 98798 89 0 0 25 0 4 0 653501299 1896632320 434608 33554432000 4194304 4964800 140735372882096 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29839/tid=29842] ppid=29837 vsize=1852180 CPUtime=990.41 cores=1,3,5,7
/proc/29839/task/29842/stat : 29842 (claspmt) R 29837 29839 29676 0 -1 4202560 104792 0 0 0 98974 67 0 0 25 0 4 0 653501299 1896632320 434608 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29839/tid=29843] ppid=29837 vsize=1852180 CPUtime=984.26 cores=1,3,5,7
/proc/29839/task/29843/stat : 29843 (claspmt) R 29837 29839 29676 0 -1 4202560 79255 0 0 0 98374 52 0 0 25 0 4 0 653501299 1896632320 434608 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3964.8
Current children cumulated vsize (KiB) 1852180

[startup+1062.3 s]
/proc/loadavg: 8.14 8.12 7.94 9/392 29871
/proc/meminfo: memFree=24924440/32950928 swapFree=44388876/67111528
[pid=29839] ppid=29837 vsize=1853504 CPUtime=4204.02 cores=1,3,5,7
/proc/29839/stat : 29839 (claspmt) R 29837 29839 29676 0 -1 4202496 442919 0 0 0 420038 364 0 0 25 0 4 0 653500254 1897988096 435406 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670335 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/29839/statm: 463376 435406 460 189 0 457725 0
[pid=29839/tid=29841] ppid=29837 vsize=1853504 CPUtime=1048.1 cores=1,3,5,7
/proc/29839/task/29841/stat : 29841 (claspmt) R 29837 29839 29676 0 -1 4202560 105379 0 0 0 104720 90 0 0 25 0 4 0 653501299 1897988096 435406 33554432000 4194304 4964800 140735372882096 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29839/tid=29842] ppid=29837 vsize=1853504 CPUtime=1050.41 cores=1,3,5,7
/proc/29839/task/29842/stat : 29842 (claspmt) R 29837 29839 29676 0 -1 4202560 104844 0 0 0 104974 67 0 0 25 0 4 0 653501299 1897988096 435406 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29839/tid=29843] ppid=29837 vsize=1853504 CPUtime=1044.25 cores=1,3,5,7
/proc/29839/task/29843/stat : 29843 (claspmt) R 29837 29839 29676 0 -1 4202560 79807 0 0 0 104372 53 0 0 25 0 4 0 653501299 1897988096 435406 33554432000 4194304 4964800 140735372882096 18446744073709551615 4653507 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4204.02
Current children cumulated vsize (KiB) 1853504

[startup+1122.3 s]
/proc/loadavg: 8.11 8.11 7.94 9/392 29873
/proc/meminfo: memFree=24898568/32950928 swapFree=44388876/67111528
[pid=29839] ppid=29837 vsize=1920864 CPUtime=4443.25 cores=1,3,5,7
/proc/29839/stat : 29839 (claspmt) R 29837 29839 29676 0 -1 4202496 449279 0 0 0 443952 373 0 0 25 0 4 0 653500254 1966964736 441726 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/29839/statm: 480216 441726 460 189 0 474565 0
[pid=29839/tid=29841] ppid=29837 vsize=1920864 CPUtime=1107.33 cores=1,3,5,7
/proc/29839/task/29841/stat : 29841 (claspmt) R 29837 29839 29676 0 -1 4202560 106925 0 0 0 110641 92 0 0 25 0 4 0 653501299 1966964736 441726 33554432000 4194304 4964800 140735372882096 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29839/tid=29842] ppid=29837 vsize=1920864 CPUtime=1110.42 cores=1,3,5,7
/proc/29839/task/29842/stat : 29842 (claspmt) R 29837 29839 29676 0 -1 4202560 105879 0 0 0 110974 68 0 0 25 0 4 0 653501299 1966964736 441726 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29839/tid=29843] ppid=29837 vsize=1920864 CPUtime=1104.25 cores=1,3,5,7
/proc/29839/task/29843/stat : 29843 (claspmt) R 29837 29839 29676 0 -1 4202560 81418 0 0 0 110370 55 0 0 25 0 4 0 653501299 1966964736 441726 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4443.25
Current children cumulated vsize (KiB) 1920864

[startup+1182.3 s]
/proc/loadavg: 8.04 8.09 7.94 9/392 29874
/proc/meminfo: memFree=24801404/32950928 swapFree=44388876/67111528
[pid=29839] ppid=29837 vsize=1976820 CPUtime=4682.5 cores=1,3,5,7
/proc/29839/stat : 29839 (claspmt) R 29837 29839 29676 0 -1 4202496 473721 0 0 0 467852 398 0 0 25 0 4 0 653500254 2024263680 466168 33554432000 4194304 4964800 140735372882096 18446744073709551615 4321102 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/29839/statm: 494205 466168 460 189 0 488554 0
[pid=29839/tid=29841] ppid=29837 vsize=1976820 CPUtime=1166.58 cores=1,3,5,7
/proc/29839/task/29841/stat : 29841 (claspmt) R 29837 29839 29676 0 -1 4202560 114118 0 0 0 116560 98 0 0 25 0 4 0 653501299 2024263680 466168 33554432000 4194304 4964800 140735372882096 18446744073709551615 47760493936624 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29839/tid=29842] ppid=29837 vsize=1976820 CPUtime=1170.41 cores=1,3,5,7
/proc/29839/task/29842/stat : 29842 (claspmt) R 29837 29839 29676 0 -1 4202560 110106 0 0 0 116971 70 0 0 25 0 4 0 653501299 2024263680 466168 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29839/tid=29843] ppid=29837 vsize=1976820 CPUtime=1164.25 cores=1,3,5,7
/proc/29839/task/29843/stat : 29843 (claspmt) R 29837 29839 29676 0 -1 4202560 86995 0 0 0 116366 59 0 0 25 0 4 0 653501299 2024263680 466168 33554432000 4194304 4964800 140735372882096 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4682.5
Current children cumulated vsize (KiB) 1976820



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1211.8 s]
/proc/loadavg: 7.84 8.03 7.93 10/392 29906
/proc/meminfo: memFree=24940632/32950928 swapFree=44388876/67111528
[pid=29839] ppid=29837 vsize=1986468 CPUtime=4800.15 cores=1,3,5,7
/proc/29839/stat : 29839 (claspmt) R 29837 29839 29676 0 -1 4202496 480032 0 0 0 479610 405 0 0 25 0 4 0 653500254 2034143232 472365 33554432000 4194304 4964800 140735372882096 18446744073709551615 4668698 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/29839/statm: 496617 472365 460 189 0 490966 0
[pid=29839/tid=29841] ppid=29837 vsize=1986468 CPUtime=1195.68 cores=1,3,5,7
/proc/29839/task/29841/stat : 29841 (claspmt) R 29837 29839 29676 0 -1 4202560 115070 0 0 0 119469 99 0 0 25 0 4 0 653501299 2034143232 472366 33554432000 4194304 4964800 140735372882096 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29839/tid=29842] ppid=29837 vsize=1986468 CPUtime=1199.93 cores=1,3,5,7
/proc/29839/task/29842/stat : 29842 (claspmt) R 29837 29839 29676 0 -1 4202560 111010 0 0 0 119921 72 0 0 25 0 4 0 653501299 2034143232 472366 33554432000 4194304 4964800 140735372882096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29839/tid=29843] ppid=29837 vsize=1986468 CPUtime=1193.77 cores=1,3,5,7
/proc/29839/task/29843/stat : 29843 (claspmt) R 29837 29839 29676 0 -1 4202560 89406 0 0 0 119316 61 0 0 25 0 4 0 653501299 2034143232 472366 33554432000 4194304 4964800 140735372882096 18446744073709551615 4321099 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 1986468

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

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

[startup+1212.21 s]
/proc/loadavg: 7.84 8.03 7.93 6/390 29907
/proc/meminfo: memFree=24942256/32950928 swapFree=44388876/67111528
[pid=29839] ppid=29837 vsize=758344 CPUtime=4800.55 cores=1,3,5,7
/proc/29839/stat : 29839 (claspmt) R 29837 29839 29676 0 -1 4202496 480044 0 0 0 479646 409 0 0 25 0 1 0 653500254 776544256 154967 33554432000 4194304 4964800 140735372882096 18446744073709551615 251814283623 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29839/statm: 189586 154967 471 189 0 183935 0
Current children cumulated CPU time (s) 4800.55
Current children cumulated vsize (KiB) 758344

Child status: 0
Real time (s): 1212.24
CPU time (s): 4800.59
CPU user time (s): 4796.47
CPU system time (s): 4.12137
CPU usage (%): 396.01
Max. virtual memory (cumulated for all children) (KiB): 1986468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.47
system time used= 4.12137
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 480045
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= 25615
involuntary context switches= 33678

runsolver used 4.15337 second user time and 11.2933 second system time

The end

Launcher Data 

Begin job on node126 at 2011-05-15 02:23:36
IDJOB=3373353
IDBENCH=71095
IDSOLVER=1853
FILE ID=node126/3373353-1305419015
RUNJOBID= node126-1305418956-29695
PBS_JOBID= 13324566
Free space on /tmp= 73316 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
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-3373353-1305419015/watcher-3373353-1305419015 -o /tmp/evaluation-result-3373353-1305419015/solver-3373353-1305419015 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373353-1305419015.cnf

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

MD5SUM BENCH= 4cf2a693df1b6e5a084b88e84ec5f2af
RANDOM SEED=568145623

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26949332 kB
Buffers:        265512 kB
Cached:        2463704 kB
SwapCached:      92524 kB
Active:         846020 kB
Inactive:      4903408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26949332 kB
SwapTotal:    67111528 kB
SwapFree:     44388876 kB
Dirty:           11168 kB
Writeback:           0 kB
AnonPages:     2940060 kB
Mapped:          16040 kB
Slab:           110412 kB
PageTables:      75404 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 88182304 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= 73312 MiB
End job on node126 at 2011-05-15 02:43:49