Trace number 3299909

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.52 1203.74

General information on the benchmark

Nameindustrial/anbulagan/
hard-sat/partial-10-17-s.cnf
MD5SUMf72920912a1bb14f90e9fea5dee0ec1c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark77.9931
Satisfiable
(Un)Satisfiability was proved
Number of variables298900
Number of clauses1409628
Sum of the clauses size3261218
Maximum clause length10
Minimum clause length1
Number of clauses of size 122283
Number of clauses of size 21089480
Number of clauses of size 3242405
Number of clauses of size 46160
Number of clauses of size 524640
Number of clauses of size over 524660

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...036341/instance-3299909-1304036341.cnf
2.19/2.25	c Solving...
4800.07/1203.31	
4800.07/1203.31	*** INTERRUPTED! ***
4800.07/1203.31	*** Shutting down threads...
4800.38/1203.69	s UNKNOWN
4800.38/1203.69	
4800.38/1203.69	c INTERRUPTED   : 1
4800.38/1203.69	c Models        : 0+    
4800.38/1203.69	c Time          : 1203.318s (Solving: 1201.06s 1st Model: 0.00s Unsat: 0.00s)
4800.38/1203.69	c CPU Time      : 4800.090s

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-3299909-1304036341/watcher-3299909-1304036341 -o /tmp/evaluation-result-3299909-1304036341/solver-3299909-1304036341 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299909-1304036341.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: 3.90 6.56 7.04 5/180 17964
/proc/meminfo: memFree=25379372/32951124 swapFree=67051468/67111528
[pid=17964] ppid=17962 vsize=58824 CPUtime=0 cores=1,3,5,7
/proc/17964/stat : 17964 (claspmt) R 17962 17964 16958 0 -1 4202496 948 0 0 0 0 0 0 0 23 0 1 0 515236992 60235776 877 33554432000 4194304 4964704 140736169490384 18446744073709551615 4700332 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17964/statm: 14706 885 375 189 0 9580 0

[startup+0.014403 s]
/proc/loadavg: 3.90 6.56 7.04 5/180 17964
/proc/meminfo: memFree=25379372/32951124 swapFree=67051468/67111528
[pid=17964] ppid=17962 vsize=58824 CPUtime=0 cores=1,3,5,7
/proc/17964/stat : 17964 (claspmt) R 17962 17964 16958 0 -1 4202496 4112 0 0 0 0 0 0 0 23 0 1 0 515236992 60235776 4041 33554432000 4194304 4964704 140736169490384 18446744073709551615 4700332 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17964/statm: 14706 4059 375 189 0 9580 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 58824

[startup+0.100377 s]
/proc/loadavg: 3.90 6.56 7.04 5/180 17964
/proc/meminfo: memFree=25379372/32951124 swapFree=67051468/67111528
[pid=17964] ppid=17962 vsize=88912 CPUtime=0.09 cores=1,3,5,7
/proc/17964/stat : 17964 (claspmt) R 17962 17964 16958 0 -1 4202496 20503 0 0 0 7 2 0 0 23 0 1 0 515236992 91045888 16947 33554432000 4194304 4964704 140736169490384 18446744073709551615 218370618053 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17964/statm: 22228 16948 385 189 0 17102 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 88912

[startup+0.300338 s]
/proc/loadavg: 3.90 6.56 7.04 5/180 17964
/proc/meminfo: memFree=25379372/32951124 swapFree=67051468/67111528
[pid=17964] ppid=17962 vsize=119764 CPUtime=0.29 cores=1,3,5,7
/proc/17964/stat : 17964 (claspmt) R 17962 17964 16958 0 -1 4202496 31134 0 0 0 25 4 0 0 24 0 1 0 515236992 122638336 24690 33554432000 4194304 4964704 140736169490384 18446744073709551615 218370618053 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17964/statm: 29941 24691 385 189 0 24815 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 119764

[startup+0.700281 s]
/proc/loadavg: 3.90 6.56 7.04 5/180 17964
/proc/meminfo: memFree=25379372/32951124 swapFree=67051468/67111528
[pid=17964] ppid=17962 vsize=180408 CPUtime=0.69 cores=1,3,5,7
/proc/17964/stat : 17964 (claspmt) R 17962 17964 16958 0 -1 4202496 50810 0 0 0 63 6 0 0 25 0 1 0 515236992 184737792 39324 33554432000 4194304 4964704 140736169490384 18446744073709551615 4618467 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17964/statm: 45102 39324 399 189 0 39976 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 180408

[startup+1.50113 s]
/proc/loadavg: 3.90 6.56 7.04 6/181 17965
/proc/meminfo: memFree=25215196/32951124 swapFree=67051468/67111528
[pid=17964] ppid=17962 vsize=187480 CPUtime=1.49 cores=1,3,5,7
/proc/17964/stat : 17964 (claspmt) R 17962 17964 16958 0 -1 4202496 52579 0 0 0 143 6 0 0 25 0 1 0 515236992 191979520 41093 33554432000 4194304 4964704 140736169490384 18446744073709551615 4600867 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17964/statm: 46870 41094 403 189 0 41744 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 187480

[startup+3.10081 s]
/proc/loadavg: 3.90 6.56 7.04 6/181 17965
/proc/meminfo: memFree=25205276/32951124 swapFree=67051468/67111528
[pid=17964] ppid=17962 vsize=426184 CPUtime=5.46 cores=1,3,5,7
/proc/17964/stat : 17964 (claspmt) R 17962 17964 16958 0 -1 4202496 85824 0 0 0 533 13 0 0 25 0 4 0 515236992 436412416 61703 33554432000 4194304 4964704 140736169490384 18446744073709551615 4370364 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/17964/statm: 106546 61703 454 189 0 100895 0
Current children cumulated CPU time (s) 5.46
Current children cumulated vsize (KiB) 426184

[startup+6.30024 s]
/proc/loadavg: 4.07 6.55 7.04 9/184 17968
/proc/meminfo: memFree=25121084/32951124 swapFree=67051468/67111528
[pid=17964] ppid=17962 vsize=426184 CPUtime=18.24 cores=1,3,5,7
/proc/17964/stat : 17964 (claspmt) R 17962 17964 16958 0 -1 4202496 86330 0 0 0 1810 14 0 0 25 0 4 0 515236992 436412416 62209 33554432000 4194304 4964704 140736169490384 18446744073709551615 4677956 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/17964/statm: 106546 62209 458 189 0 100895 0
[pid=17964/tid=17966] ppid=17962 vsize=426184 CPUtime=3.99 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (claspmt) R 17962 17964 16958 0 -1 4202560 8923 0 0 0 397 2 0 0 25 0 4 0 515237217 436412416 62209 33554432000 4194304 4964704 140736169490384 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=426184 CPUtime=4.03 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (claspmt) R 17962 17964 16958 0 -1 4202560 8995 0 0 0 402 1 0 0 25 0 4 0 515237217 436412416 62209 33554432000 4194304 4964704 140736169490384 18446744073709551615 4668840 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17964/tid=17968] ppid=17962 vsize=426184 CPUtime=4.03 cores=1,3,5,7
/proc/17964/task/17968/stat : 17968 (claspmt) R 17962 17964 16958 0 -1 4202560 13395 0 0 0 401 2 0 0 25 0 4 0 515237217 436412416 62209 33554432000 4194304 4964704 140736169490384 18446744073709551615 4668668 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 18.24
Current children cumulated vsize (KiB) 426184

[startup+12.7011 s]
/proc/loadavg: 4.38 6.57 7.04 9/184 17969
/proc/meminfo: memFree=25110580/32951124 swapFree=67051468/67111528
[pid=17964] ppid=17962 vsize=426184 CPUtime=43.81 cores=1,3,5,7
/proc/17964/stat : 17964 (claspmt) R 17962 17964 16958 0 -1 4202496 87286 0 0 0 4366 15 0 0 25 0 4 0 515236992 436412416 63165 33554432000 4194304 4964704 140736169490384 18446744073709551615 4668907 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/17964/statm: 106546 63165 458 189 0 100895 0
[pid=17964/tid=17966] ppid=17962 vsize=426184 CPUtime=10.4 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (claspmt) R 17962 17964 16958 0 -1 4202560 9224 0 0 0 1037 3 0 0 25 0 4 0 515237217 436412416 63165 33554432000 4194304 4964704 140736169490384 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=426184 CPUtime=10.43 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (claspmt) R 17962 17964 16958 0 -1 4202560 9103 0 0 0 1042 1 0 0 25 0 4 0 515237217 436412416 63165 33554432000 4194304 4964704 140736169490384 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17964/tid=17968] ppid=17962 vsize=426184 CPUtime=10.43 cores=1,3,5,7
/proc/17964/task/17968/stat : 17968 (claspmt) R 17962 17964 16958 0 -1 4202560 13889 0 0 0 1040 3 0 0 25 0 4 0 515237217 436412416 63165 33554432000 4194304 4964704 140736169490384 18446744073709551615 4363491 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 43.81
Current children cumulated vsize (KiB) 426184

[startup+25.5008 s]
/proc/loadavg: 5.01 6.61 7.04 10/184 17999
/proc/meminfo: memFree=24976112/32951124 swapFree=67051468/67111528
[pid=17964] ppid=17962 vsize=426184 CPUtime=94.94 cores=1,3,5,7
/proc/17964/stat : 17964 (claspmt) R 17962 17964 16958 0 -1 4202496 89219 0 0 0 9473 21 0 0 25 0 4 0 515236992 436412416 65098 33554432000 4194304 4964704 140736169490384 18446744073709551615 4668931 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/17964/statm: 106546 65098 458 189 0 100895 0
[pid=17964/tid=17966] ppid=17962 vsize=426184 CPUtime=23.19 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (claspmt) R 17962 17964 16958 0 -1 4202560 9627 0 0 0 2315 4 0 0 25 0 4 0 515237217 436412416 65098 33554432000 4194304 4964704 140736169490384 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=426184 CPUtime=23.22 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (claspmt) R 17962 17964 16958 0 -1 4202560 9598 0 0 0 2320 2 0 0 25 0 4 0 515237217 436412416 65098 33554432000 4194304 4964704 140736169490384 18446744073709551615 218370618401 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17964/tid=17968] ppid=17962 vsize=426184 CPUtime=23.23 cores=1,3,5,7
/proc/17964/task/17968/stat : 17968 (claspmt) R 17962 17964 16958 0 -1 4202560 14591 0 0 0 2319 4 0 0 25 0 4 0 515237217 436412416 65098 33554432000 4194304 4964704 140736169490384 18446744073709551615 4668931 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 94.94
Current children cumulated vsize (KiB) 426184

[startup+51.1003 s]
/proc/loadavg: 6.10 6.73 7.07 9/184 18000
/proc/meminfo: memFree=24919120/32951124 swapFree=67051468/67111528
[pid=17964] ppid=17962 vsize=426184 CPUtime=197.2 cores=1,3,5,7
/proc/17964/stat : 17964 (claspmt) R 17962 17964 16958 0 -1 4202496 98251 0 0 0 19687 33 0 0 25 0 4 0 515236992 436412416 74130 33554432000 4194304 4964704 140736169490384 18446744073709551615 4370264 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/17964/statm: 106546 74130 458 189 0 100895 0
[pid=17964/tid=17966] ppid=17962 vsize=426184 CPUtime=48.79 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (claspmt) R 17962 17964 16958 0 -1 4202560 10112 0 0 0 4874 5 0 0 25 0 4 0 515237217 436412416 74130 33554432000 4194304 4964704 140736169490384 18446744073709551615 4668946 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=426184 CPUtime=48.83 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (claspmt) R 17962 17964 16958 0 -1 4202560 15964 0 0 0 4873 10 0 0 25 0 4 0 515237217 436412416 74130 33554432000 4194304 4964704 140736169490384 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17964/tid=17968] ppid=17962 vsize=426184 CPUtime=48.83 cores=1,3,5,7
/proc/17964/task/17968/stat : 17968 (claspmt) R 17962 17964 16958 0 -1 4202560 16765 0 0 0 4875 8 0 0 25 0 4 0 515237217 436412416 74130 33554432000 4194304 4964704 140736169490384 18446744073709551615 4668907 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 197.2
Current children cumulated vsize (KiB) 426184

[startup+102.307 s]
/proc/loadavg: 7.28 6.96 7.13 9/184 18001
/proc/meminfo: memFree=24743228/32951124 swapFree=67051468/67111528
[pid=17964] ppid=17962 vsize=438284 CPUtime=401.75 cores=1,3,5,7
/proc/17964/stat : 17964 (claspmt) R 17962 17964 16958 0 -1 4202496 116253 0 0 0 40123 52 0 0 25 0 4 0 515236992 448802816 92132 33554432000 4194304 4964704 140736169490384 18446744073709551615 4668632 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/17964/statm: 109571 92132 458 189 0 103920 0
[pid=17964/tid=17966] ppid=17962 vsize=438284 CPUtime=100 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (claspmt) R 17962 17964 16958 0 -1 4202560 11313 0 0 0 9994 6 0 0 25 0 4 0 515237217 448802816 92132 33554432000 4194304 4964704 140736169490384 18446744073709551615 4669200 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=438284 CPUtime=100.04 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (claspmt) R 17962 17964 16958 0 -1 4202560 26848 0 0 0 9984 20 0 0 25 0 4 0 515237217 448802816 92132 33554432000 4194304 4964704 140736169490384 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17964/tid=17968] ppid=17962 vsize=438284 CPUtime=100.04 cores=1,3,5,7
/proc/17964/task/17968/stat : 17968 (claspmt) R 17962 17964 16958 0 -1 4202560 21592 0 0 0 9990 14 0 0 25 0 4 0 515237217 448802816 92132 33554432000 4194304 4964704 140736169490384 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 401.75
Current children cumulated vsize (KiB) 438284

[startup+162.3 s]
/proc/loadavg: 7.84 7.17 7.19 9/184 18003
/proc/meminfo: memFree=24438984/32951124 swapFree=67051468/67111528
[pid=17964] ppid=17962 vsize=684564 CPUtime=641.41 cores=1,3,5,7
/proc/17964/stat : 17964 (claspmt) R 17962 17964 16958 0 -1 4202496 148482 0 0 0 64061 80 0 0 25 0 4 0 515236992 700993536 124361 33554432000 4194304 4964704 140736169490384 18446744073709551615 4364587 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/17964/statm: 171141 124361 460 189 0 165490 0
[pid=17964/tid=17966] ppid=17962 vsize=684564 CPUtime=159.99 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (claspmt) R 17962 17964 16958 0 -1 4202560 12941 0 0 0 15992 7 0 0 25 0 4 0 515237217 700993536 124361 33554432000 4194304 4964704 140736169490384 18446744073709551615 4654627 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=684564 CPUtime=160.03 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (claspmt) R 17962 17964 16958 0 -1 4202560 43252 0 0 0 15973 30 0 0 25 0 4 0 515237217 700993536 124361 33554432000 4194304 4964704 140736169490384 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17964/tid=17968] ppid=17962 vsize=684564 CPUtime=160.03 cores=1,3,5,7
/proc/17964/task/17968/stat : 17968 (claspmt) R 17962 17964 16958 0 -1 4202560 31520 0 0 0 15976 27 0 0 25 0 4 0 515237217 700993536 124361 33554432000 4194304 4964704 140736169490384 18446744073709551615 4668505 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 641.41
Current children cumulated vsize (KiB) 684564

[startup+222.301 s]
/proc/loadavg: 8.05 7.35 7.25 9/184 18004
/proc/meminfo: memFree=24153808/32951124 swapFree=67051468/67111528
[pid=17964] ppid=17962 vsize=723396 CPUtime=881.08 cores=1,3,5,7
/proc/17964/stat : 17964 (claspmt) R 17962 17964 16958 0 -1 4202496 181053 0 0 0 87999 109 0 0 25 0 4 0 515236992 740757504 156932 33554432000 4194304 4964704 140736169490384 18446744073709551615 4332029 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/17964/statm: 180849 156932 460 189 0 175198 0
[pid=17964/tid=17966] ppid=17962 vsize=723396 CPUtime=220 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (claspmt) R 17962 17964 16958 0 -1 4202560 19593 0 0 0 21984 16 0 0 25 0 4 0 515237217 740757504 156932 33554432000 4194304 4964704 140736169490384 18446744073709551615 4668654 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=723396 CPUtime=220.03 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (claspmt) R 17962 17964 16958 0 -1 4202560 56793 0 0 0 21965 38 0 0 25 0 4 0 515237217 740757504 156932 33554432000 4194304 4964704 140736169490384 18446744073709551615 4670594 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17964/tid=17968] ppid=17962 vsize=723396 CPUtime=220.03 cores=1,3,5,7
/proc/17964/task/17968/stat : 17968 (claspmt) R 17962 17964 16958 0 -1 4202560 38897 0 0 0 21969 34 0 0 25 0 4 0 515237217 740757504 156932 33554432000 4194304 4964704 140736169490384 18446744073709551615 4313792 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 881.08
Current children cumulated vsize (KiB) 723396

[startup+282.301 s]
/proc/loadavg: 8.02 7.47 7.29 9/184 18006
/proc/meminfo: memFree=23834844/32951124 swapFree=67051468/67111528
[pid=17964] ppid=17962 vsize=914272 CPUtime=1120.76 cores=1,3,5,7
/proc/17964/stat : 17964 (claspmt) R 17962 17964 16958 0 -1 4202496 219195 0 0 0 111933 143 0 0 25 0 4 0 515236992 936214528 195074 33554432000 4194304 4964704 140736169490384 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/17964/statm: 228568 195074 460 189 0 222917 0
[pid=17964/tid=17966] ppid=17962 vsize=914272 CPUtime=280 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (claspmt) R 17962 17964 16958 0 -1 4202560 24261 0 0 0 27978 22 0 0 25 0 4 0 515237217 936214528 195074 33554432000 4194304 4964704 140736169490384 18446744073709551615 4668657 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=914272 CPUtime=280.03 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (claspmt) R 17962 17964 16958 0 -1 4202560 76297 0 0 0 27948 55 0 0 25 0 4 0 515237217 936214528 195074 33554432000 4194304 4964704 140736169490384 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17964/tid=17968] ppid=17962 vsize=914272 CPUtime=280.03 cores=1,3,5,7
/proc/17964/task/17968/stat : 17968 (claspmt) R 17962 17964 16958 0 -1 4202560 51425 0 0 0 27960 43 0 0 25 0 4 0 515237217 936214528 195074 33554432000 4194304 4964704 140736169490384 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1120.76

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

[startup+762.307 s]
/proc/loadavg: 4.19 5.99 6.82 6/175 18036
/proc/meminfo: memFree=23370792/32951124 swapFree=67051468/67111528
[pid=17964] ppid=17962 vsize=2305176 CPUtime=3038.25 cores=1,3,5,7
/proc/17964/stat : 17964 (claspmt) R 17962 17964 16958 0 -1 4202496 548029 0 0 0 303323 502 0 0 25 0 4 0 515236992 2360500224 523878 33554432000 4194304 4964704 140736169490384 18446744073709551615 4660364 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/17964/statm: 576294 523878 460 189 0 570643 0
[pid=17964/tid=17966] ppid=17962 vsize=2305176 CPUtime=760 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (claspmt) R 17962 17964 16958 0 -1 4202560 72018 0 0 0 75904 96 0 0 25 0 4 0 515237217 2360500224 523878 33554432000 4194304 4964704 140736169490384 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=2305176 CPUtime=760.04 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (claspmt) R 17962 17964 16958 0 -1 4202560 218758 0 0 0 75867 137 0 0 25 0 4 0 515237217 2360500224 523878 33554432000 4194304 4964704 140736169490384 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17964/tid=17968] ppid=17962 vsize=2305176 CPUtime=760.04 cores=1,3,5,7
/proc/17964/task/17968/stat : 17968 (claspmt) R 17962 17964 16958 0 -1 4202560 121903 0 0 0 75880 124 0 0 25 0 4 0 515237217 2360500224 523878 33554432000 4194304 4964704 140736169490384 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3038.25
Current children cumulated vsize (KiB) 2305176

[startup+822.301 s]
/proc/loadavg: 4.08 5.65 6.65 5/175 18037
/proc/meminfo: memFree=23167140/32951124 swapFree=67051468/67111528
[pid=17964] ppid=17962 vsize=2436724 CPUtime=3277.92 cores=1,3,5,7
/proc/17964/stat : 17964 (claspmt) R 17962 17964 16958 0 -1 4202496 599596 0 0 0 327231 561 0 0 25 0 4 0 515236992 2495205376 575429 33554432000 4194304 4964704 140736169490384 18446744073709551615 4370224 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/17964/statm: 609181 575429 460 189 0 603530 0
[pid=17964/tid=17966] ppid=17962 vsize=2436724 CPUtime=820 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (claspmt) R 17962 17964 16958 0 -1 4202560 77748 0 0 0 81891 109 0 0 25 0 4 0 515237217 2495205376 575429 33554432000 4194304 4964704 140736169490384 18446744073709551615 4684070 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=2436724 CPUtime=820.04 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (claspmt) R 17962 17964 16958 0 -1 4202560 248873 0 0 0 81836 168 0 0 25 0 4 0 515237217 2495205376 575429 33554432000 4194304 4964704 140736169490384 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17964/tid=17968] ppid=17962 vsize=2436724 CPUtime=820.03 cores=1,3,5,7
/proc/17964/task/17968/stat : 17968 (claspmt) R 17962 17964 16958 0 -1 4202560 133510 0 0 0 81871 132 0 0 25 0 4 0 515237217 2495205376 575429 33554432000 4194304 4964704 140736169490384 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3277.92
Current children cumulated vsize (KiB) 2436724

[startup+882.3 s]
/proc/loadavg: 4.03 5.35 6.48 5/175 18039
/proc/meminfo: memFree=22967092/32951124 swapFree=67051468/67111528
[pid=17964] ppid=17962 vsize=2703668 CPUtime=3517.61 cores=1,3,5,7
/proc/17964/stat : 17964 (claspmt) R 17962 17964 16958 0 -1 4202496 648827 0 0 0 351132 629 0 0 25 0 4 0 515236992 2768556032 624639 33554432000 4194304 4964704 140736169490384 18446744073709551615 4669480 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/17964/statm: 675917 624639 460 189 0 670266 0
[pid=17964/tid=17966] ppid=17962 vsize=2703668 CPUtime=879.99 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (claspmt) R 17962 17964 16958 0 -1 4202560 84547 0 0 0 87875 124 0 0 25 0 4 0 515237217 2768556032 624639 33554432000 4194304 4964704 140736169490384 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=2703668 CPUtime=880.04 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (claspmt) R 17962 17964 16958 0 -1 4202560 274954 0 0 0 87809 195 0 0 25 0 4 0 515237217 2768556032 624639 33554432000 4194304 4964704 140736169490384 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17964/tid=17968] ppid=17962 vsize=2703668 CPUtime=880.04 cores=1,3,5,7
/proc/17964/task/17968/stat : 17968 (claspmt) R 17962 17964 16958 0 -1 4202560 141902 0 0 0 87867 137 0 0 25 0 4 0 515237217 2768556032 624639 33554432000 4194304 4964704 140736169490384 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3517.61
Current children cumulated vsize (KiB) 2703668

[startup+942.301 s]
/proc/loadavg: 4.09 5.12 6.33 5/175 18040
/proc/meminfo: memFree=22803748/32951124 swapFree=67051468/67111528
[pid=17964] ppid=17962 vsize=2784564 CPUtime=3757.32 cores=1,3,5,7
/proc/17964/stat : 17964 (claspmt) R 17962 17964 16958 0 -1 4202496 690072 0 0 0 375028 704 0 0 25 0 4 0 515236992 2851393536 665884 33554432000 4194304 4964704 140736169490384 18446744073709551615 4669270 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/17964/statm: 696141 665884 460 189 0 690490 0
[pid=17964/tid=17966] ppid=17962 vsize=2784564 CPUtime=940 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (claspmt) R 17962 17964 16958 0 -1 4202560 98931 0 0 0 93831 169 0 0 25 0 4 0 515237217 2851393536 665884 33554432000 4194304 4964704 140736169490384 18446744073709551615 4684013 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=2784564 CPUtime=940.04 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (claspmt) R 17962 17964 16958 0 -1 4202560 295285 0 0 0 93801 203 0 0 25 0 4 0 515237217 2851393536 665884 33554432000 4194304 4964704 140736169490384 18446744073709551615 218370653963 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17964/tid=17968] ppid=17962 vsize=2784564 CPUtime=940.04 cores=1,3,5,7
/proc/17964/task/17968/stat : 17968 (claspmt) R 17962 17964 16958 0 -1 4202560 143387 0 0 0 93863 141 0 0 25 0 4 0 515237217 2851393536 665884 33554432000 4194304 4964704 140736169490384 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3757.32
Current children cumulated vsize (KiB) 2784564

[startup+1002.3 s]
/proc/loadavg: 4.03 4.91 6.18 5/175 18042
/proc/meminfo: memFree=22745168/32951124 swapFree=67051468/67111528
[pid=17964] ppid=17962 vsize=2875380 CPUtime=3997 cores=1,3,5,7
/proc/17964/stat : 17964 (claspmt) R 17962 17964 16958 0 -1 4202496 704080 0 0 0 398977 723 0 0 25 0 4 0 515236992 2944389120 679892 33554432000 4194304 4964704 140736169490384 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/17964/statm: 718845 679892 460 189 0 713194 0
[pid=17964/tid=17966] ppid=17962 vsize=2875380 CPUtime=999.99 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (claspmt) R 17962 17964 16958 0 -1 4202560 100521 0 0 0 99829 170 0 0 25 0 4 0 515237217 2944389120 679892 33554432000 4194304 4964704 140736169490384 18446744073709551615 4669060 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=2875380 CPUtime=1000.05 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (claspmt) R 17962 17964 16958 0 -1 4202560 299784 0 0 0 99800 205 0 0 25 0 4 0 515237217 2944389120 679892 33554432000 4194304 4964704 140736169490384 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17964/tid=17968] ppid=17962 vsize=2875380 CPUtime=1000.02 cores=1,3,5,7
/proc/17964/task/17968/stat : 17968 (claspmt) R 17962 17964 16958 0 -1 4202560 146295 0 0 0 99856 146 0 0 25 0 4 0 515237217 2944389120 679892 33554432000 4194304 4964704 140736169490384 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3997
Current children cumulated vsize (KiB) 2875380

[startup+1062.3 s]
/proc/loadavg: 4.01 4.74 6.04 5/175 18044
/proc/meminfo: memFree=22744904/32951124 swapFree=67051468/67111528
[pid=17964] ppid=17962 vsize=2875380 CPUtime=4236.71 cores=1,3,5,7
/proc/17964/stat : 17964 (claspmt) R 17962 17964 16958 0 -1 4202496 704123 0 0 0 422948 723 0 0 25 0 4 0 515236992 2944389120 679848 33554432000 4194304 4964704 140736169490384 18446744073709551615 4321102 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/17964/statm: 718845 679848 460 189 0 713194 0
[pid=17964/tid=17966] ppid=17962 vsize=2875380 CPUtime=1059.99 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (claspmt) R 17962 17964 16958 0 -1 4202560 100529 0 0 0 105829 170 0 0 25 0 4 0 515237217 2944389120 679848 33554432000 4194304 4964704 140736169490384 18446744073709551615 4332491 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=2875380 CPUtime=1060.05 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (claspmt) R 17962 17964 16958 0 -1 4202560 299818 0 0 0 105800 205 0 0 25 0 4 0 515237217 2944389120 679848 33554432000 4194304 4964704 140736169490384 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17964/tid=17968] ppid=17962 vsize=2875380 CPUtime=1060.02 cores=1,3,5,7
/proc/17964/task/17968/stat : 17968 (claspmt) R 17962 17964 16958 0 -1 4202560 146296 0 0 0 105856 146 0 0 25 0 4 0 515237217 2944389120 679848 33554432000 4194304 4964704 140736169490384 18446744073709551615 4653475 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4236.71
Current children cumulated vsize (KiB) 2875380

[startup+1122.3 s]
/proc/loadavg: 4.06 4.62 5.92 5/175 18045
/proc/meminfo: memFree=22712628/32951124 swapFree=67051468/67111528
[pid=17964] ppid=17962 vsize=2940916 CPUtime=4476.42 cores=1,3,5,7
/proc/17964/stat : 17964 (claspmt) R 17962 17964 16958 0 -1 4202496 712419 0 0 0 446888 754 0 0 25 0 4 0 515236992 3011497984 688144 33554432000 4194304 4964704 140736169490384 18446744073709551615 4670071 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/17964/statm: 735229 688144 460 189 0 729578 0
[pid=17964/tid=17966] ppid=17962 vsize=2940916 CPUtime=1120 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (claspmt) R 17962 17964 16958 0 -1 4202560 108618 0 0 0 111799 201 0 0 25 0 4 0 515237217 3011497984 688144 33554432000 4194304 4964704 140736169490384 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=2940916 CPUtime=1120.05 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (claspmt) R 17962 17964 16958 0 -1 4202560 300025 0 0 0 111800 205 0 0 25 0 4 0 515237217 3011497984 688144 33554432000 4194304 4964704 140736169490384 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17964/tid=17968] ppid=17962 vsize=2940916 CPUtime=1120.02 cores=1,3,5,7
/proc/17964/task/17968/stat : 17968 (claspmt) R 17962 17964 16958 0 -1 4202560 146296 0 0 0 111856 146 0 0 25 0 4 0 515237217 3011497984 688144 33554432000 4194304 4964704 140736169490384 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4476.42
Current children cumulated vsize (KiB) 2940916

[startup+1182.3 s]
/proc/loadavg: 4.08 4.52 5.80 5/175 18047
/proc/meminfo: memFree=22623424/32951124 swapFree=67051468/67111528
[pid=17964] ppid=17962 vsize=3013620 CPUtime=4716.13 cores=1,3,5,7
/proc/17964/stat : 17964 (claspmt) R 17962 17964 16958 0 -1 4202496 735413 0 0 0 470786 827 0 0 25 0 4 0 515236992 3085946880 711138 33554432000 4194304 4964704 140736169490384 18446744073709551615 4342186 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/17964/statm: 753405 711138 460 189 0 747754 0
[pid=17964/tid=17966] ppid=17962 vsize=3013620 CPUtime=1180 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (claspmt) R 17962 17964 16958 0 -1 4202560 127157 0 0 0 117731 269 0 0 25 0 4 0 515237217 3085946880 711138 33554432000 4194304 4964704 140736169490384 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=3013620 CPUtime=1180.04 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (claspmt) R 17962 17964 16958 0 -1 4202560 302575 0 0 0 117796 208 0 0 25 0 4 0 515237217 3085946880 711138 33554432000 4194304 4964704 140736169490384 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17964/tid=17968] ppid=17962 vsize=3013620 CPUtime=1180.03 cores=1,3,5,7
/proc/17964/task/17968/stat : 17968 (claspmt) R 17962 17964 16958 0 -1 4202560 148191 0 0 0 117855 148 0 0 25 0 4 0 515237217 3085946880 711138 33554432000 4194304 4964704 140736169490384 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4716.13
Current children cumulated vsize (KiB) 3013620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.3 s]
/proc/loadavg: 4.05 4.48 5.75 5/175 18047
/proc/meminfo: memFree=22541944/32951124 swapFree=67051468/67111528
[pid=17964] ppid=17962 vsize=3111924 CPUtime=4800.07 cores=1,3,5,7
/proc/17964/stat : 17964 (claspmt) R 17962 17964 16958 0 -1 4202496 754982 0 0 0 479150 857 0 0 25 0 4 0 515236992 3186610176 730669 33554432000 4194304 4964704 140736169490384 18446744073709551615 4668488 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/17964/statm: 777981 730669 460 189 0 772330 0
[pid=17964/tid=17966] ppid=17962 vsize=3111924 CPUtime=1201.01 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (claspmt) R 17962 17964 16958 0 -1 4202560 131013 0 0 0 119824 277 0 0 25 0 4 0 515237217 3186610176 730669 33554432000 4194304 4964704 140736169490384 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=3111924 CPUtime=1201.06 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (claspmt) R 17962 17964 16958 0 -1 4202560 303813 0 0 0 119895 211 0 0 25 0 4 0 515237217 3186610176 730669 33554432000 4194304 4964704 140736169490384 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17964/tid=17968] ppid=17962 vsize=3111924 CPUtime=1201.04 cores=1,3,5,7
/proc/17964/task/17968/stat : 17968 (claspmt) R 17962 17964 16958 0 -1 4202560 152152 0 0 0 119951 153 0 0 25 0 4 0 515237217 3186610176 730669 33554432000 4194304 4964704 140736169490384 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 3111924

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

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

[startup+1203.42 s]
/proc/loadavg: 4.05 4.48 5.75 5/175 18047
/proc/meminfo: memFree=22541944/32951124 swapFree=67051468/67111528
[pid=17964] ppid=17962 vsize=3074268 CPUtime=4800.19 cores=1,3,5,7
/proc/17964/stat : 17964 (claspmt) R 17962 17964 16958 0 -1 4202496 755000 0 0 0 479162 857 0 0 25 0 1 0 515236992 3148050432 721273 33554432000 4194304 4964704 140736169490384 18446744073709551615 218370612577 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17964/statm: 768567 721273 470 189 0 762916 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 3074268

[startup+1203.6 s]
/proc/loadavg: 4.05 4.48 5.75 5/175 18047
/proc/meminfo: memFree=22541944/32951124 swapFree=67051468/67111528
[pid=17964] ppid=17962 vsize=3032232 CPUtime=4800.38 cores=1,3,5,7
/proc/17964/stat : 17964 (claspmt) R 17962 17964 16958 0 -1 4202496 755001 0 0 0 479180 858 0 0 25 0 1 0 515236992 3105005568 706674 33554432000 4194304 4964704 140736169490384 18446744073709551615 218370615058 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17964/statm: 758058 706674 471 189 0 752407 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 3032232

[startup+1203.7 s]
/proc/loadavg: 4.05 4.48 5.75 5/175 18047
/proc/meminfo: memFree=22541944/32951124 swapFree=67051468/67111528
[pid=17964] ppid=17962 vsize=0 CPUtime=4800.47 cores=1,3,5,7
/proc/17964/stat : 17964 (claspmt) R 17962 17964 16958 0 -1 4202500 755002 0 0 0 479182 865 0 0 25 0 1 0 515236992 0 0 33554432000 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/17964/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4800.47
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1203.74
CPU time (s): 4800.52
CPU user time (s): 4791.83
CPU system time (s): 8.69668
CPU usage (%): 398.801
Max. virtual memory (cumulated for all children) (KiB): 3111924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4791.83
system time used= 8.69668
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 755002
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= 3944
involuntary context switches= 19028

runsolver used 1.75573 second user time and 4.54131 second system time

The end

Launcher Data 

Begin job on node101 at 2011-04-29 02:19:02
IDJOB=3299909
IDBENCH=20349
IDSOLVER=1683
FILE ID=node101/3299909-1304036341
RUNJOBID= node101-1304036341-17942
PBS_JOBID= 13170351
Free space on /tmp= 71992 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT07/industrial/anbulagan/hard-sat/partial-10-17-s.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-3299909-1304036341/watcher-3299909-1304036341 -o /tmp/evaluation-result-3299909-1304036341/solver-3299909-1304036341 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299909-1304036341.cnf

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

MD5SUM BENCH= f72920912a1bb14f90e9fea5dee0ec1c
RANDOM SEED=1566164628

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25379652 kB
Buffers:       2006936 kB
Cached:        5007100 kB
SwapCached:      30452 kB
Active:        2928284 kB
Inactive:      4199352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25379652 kB
SwapTotal:    67111528 kB
SwapFree:     67051468 kB
Dirty:           35488 kB
Writeback:          24 kB
AnonPages:      104568 kB
Mapped:           9272 kB
Slab:           379832 kB
PageTables:       4584 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   298452 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= 72000 MiB
End job on node101 at 2011-04-29 02:39:08