Trace number 3299637

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) 4801.7 1204.06

General information on the benchmark

NameCRAFTED/rbsat/random/
forced/rbsat-v1820c171155gyes3.cnf
MD5SUMcd19d9eb9be97e183fa1a1d47d679d01
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1820
Number of clauses171155
Sum of the clauses size344000
Maximum clause length28
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2171090
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 565

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...053259/instance-3299637-1304053259.cnf
0.69/0.71	c Solving...
4800.02/1202.41	
4800.02/1202.41	*** INTERRUPTED! ***
4800.02/1202.41	*** Shutting down threads...
4801.63/1204.06	s UNKNOWN
4801.63/1204.06	
4801.63/1204.06	c INTERRUPTED   : 1
4801.63/1204.06	c Models        : 0+    
4801.63/1204.06	c Time          : 1203.940s (Solving: 1203.23s 1st Model: 0.00s Unsat: 0.00s)
4801.63/1204.06	c CPU Time      : 4801.580s

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-3299637-1304053259/watcher-3299637-1304053259 -o /tmp/evaluation-result-3299637-1304053259/solver-3299637-1304053259 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299637-1304053259.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: 4.29 7.02 7.17 2/178 5468
/proc/meminfo: memFree=25100196/32951124 swapFree=67111352/67111528
[pid=5468] ppid=5466 vsize=21848 CPUtime=0 cores=1,3,5,7
/proc/5468/stat : 5468 (claspmt) R 5466 5468 5436 0 -1 4202496 761 0 0 0 0 0 0 0 22 0 1 0 516924117 22372352 678 33554432000 4194304 4964704 140734483701088 18446744073709551615 4599599 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5468/statm: 5462 679 385 189 0 336 0

[startup+0.0655339 s]
/proc/loadavg: 4.29 7.02 7.17 2/178 5468
/proc/meminfo: memFree=25100196/32951124 swapFree=67111352/67111528
[pid=5468] ppid=5466 vsize=31976 CPUtime=0.05 cores=1,3,5,7
/proc/5468/stat : 5468 (claspmt) R 5466 5468 5436 0 -1 4202496 3951 0 0 0 5 0 0 0 22 0 1 0 516924117 32743424 3107 33554432000 4194304 4964704 140734483701088 18446744073709551615 4607616 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5468/statm: 7994 3107 398 189 0 2868 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 31976

[startup+0.100528 s]
/proc/loadavg: 4.29 7.02 7.17 2/178 5468
/proc/meminfo: memFree=25100196/32951124 swapFree=67111352/67111528
[pid=5468] ppid=5466 vsize=31976 CPUtime=0.09 cores=1,3,5,7
/proc/5468/stat : 5468 (claspmt) R 5466 5468 5436 0 -1 4202496 3951 0 0 0 9 0 0 0 22 0 1 0 516924117 32743424 3107 33554432000 4194304 4964704 140734483701088 18446744073709551615 4607107 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5468/statm: 7994 3107 398 189 0 2868 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31976

[startup+0.300489 s]
/proc/loadavg: 4.29 7.02 7.17 2/178 5468
/proc/meminfo: memFree=25100196/32951124 swapFree=67111352/67111528
[pid=5468] ppid=5466 vsize=31976 CPUtime=0.29 cores=1,3,5,7
/proc/5468/stat : 5468 (claspmt) R 5466 5468 5436 0 -1 4202496 3951 0 0 0 29 0 0 0 23 0 1 0 516924117 32743424 3107 33554432000 4194304 4964704 140734483701088 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5468/statm: 7994 3107 398 189 0 2868 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31976

[startup+0.700417 s]
/proc/loadavg: 4.29 7.02 7.17 2/178 5468
/proc/meminfo: memFree=25100196/32951124 swapFree=67111352/67111528
[pid=5468] ppid=5466 vsize=33984 CPUtime=0.69 cores=1,3,5,7
/proc/5468/stat : 5468 (claspmt) R 5466 5468 5436 0 -1 4202496 4490 0 0 0 68 1 0 0 25 0 1 0 516924117 34799616 3646 33554432000 4194304 4964704 140734483701088 18446744073709551615 4324647 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/5468/statm: 8496 3646 401 189 0 3370 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33984

[startup+1.50024 s]
/proc/loadavg: 4.29 7.02 7.17 6/185 5478
/proc/meminfo: memFree=25060580/32951124 swapFree=67111352/67111528
[pid=5468] ppid=5466 vsize=244880 CPUtime=3.82 cores=1,3,5,7
/proc/5468/stat : 5468 (claspmt) R 5466 5468 5436 0 -1 4202496 8569 0 0 0 377 5 0 0 18 0 4 0 516924117 250757120 7366 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5468/statm: 61220 7366 458 189 0 55569 0
[pid=5468/tid=5476] ppid=5466 vsize=244880 CPUtime=0.77 cores=1,3,5,7
/proc/5468/task/5476/stat : 5476 (claspmt) R 5466 5468 5436 0 -1 4202560 536 0 0 0 77 0 0 0 18 0 4 0 516924188 250757120 7366 33554432000 4194304 4964704 140734483701088 18446744073709551615 4647541 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5468/tid=5477] ppid=5466 vsize=244880 CPUtime=0.77 cores=1,3,5,7
/proc/5468/task/5477/stat : 5477 (claspmt) R 5466 5468 5436 0 -1 4202560 1145 0 0 0 76 1 0 0 25 0 4 0 516924188 250757120 7366 33554432000 4194304 4964704 140734483701088 18446744073709551615 4668998 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5468/tid=5478] ppid=5466 vsize=244880 CPUtime=0.77 cores=1,3,5,7
/proc/5468/task/5478/stat : 5478 (claspmt) R 5466 5468 5436 0 -1 4202560 1226 0 0 0 76 1 0 0 19 0 4 0 516924188 250757120 7366 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 244880

[startup+3.10094 s]
/proc/loadavg: 4.29 7.02 7.17 9/188 5490
/proc/meminfo: memFree=25038228/32951124 swapFree=67111352/67111528
[pid=5468] ppid=5466 vsize=244880 CPUtime=10.21 cores=1,3,5,7
/proc/5468/stat : 5468 (claspmt) R 5466 5468 5436 0 -1 4202496 11908 0 0 0 1014 7 0 0 21 0 4 0 516924117 250757120 10705 33554432000 4194304 4964704 140734483701088 18446744073709551615 4320966 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5468/statm: 61220 10705 458 189 0 55569 0
[pid=5468/tid=5476] ppid=5466 vsize=244880 CPUtime=2.37 cores=1,3,5,7
/proc/5468/task/5476/stat : 5476 (claspmt) R 5466 5468 5436 0 -1 4202560 818 0 0 0 237 0 0 0 22 0 4 0 516924188 250757120 10705 33554432000 4194304 4964704 140734483701088 18446744073709551615 4658370 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5468/tid=5477] ppid=5466 vsize=244880 CPUtime=2.37 cores=1,3,5,7
/proc/5468/task/5477/stat : 5477 (claspmt) R 5466 5468 5436 0 -1 4202560 2722 0 0 0 235 2 0 0 25 0 4 0 516924188 250757120 10705 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670419 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5468/tid=5478] ppid=5466 vsize=244880 CPUtime=2.36 cores=1,3,5,7
/proc/5468/task/5478/stat : 5478 (claspmt) R 5466 5468 5436 0 -1 4202560 2362 0 0 0 235 1 0 0 22 0 4 0 516924188 250757120 10705 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670263 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10.21
Current children cumulated vsize (KiB) 244880

[startup+6.30036 s]
/proc/loadavg: 4.66 7.05 7.18 10/188 5490
/proc/meminfo: memFree=24979368/32951124 swapFree=67111352/67111528
[pid=5468] ppid=5466 vsize=249924 CPUtime=22.99 cores=1,3,5,7
/proc/5468/stat : 5468 (claspmt) R 5466 5468 5436 0 -1 4202496 18719 0 0 0 2289 10 0 0 25 0 4 0 516924117 255922176 17516 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5468/statm: 62481 17516 460 189 0 56830 0
[pid=5468/tid=5476] ppid=5466 vsize=249924 CPUtime=5.57 cores=1,3,5,7
/proc/5468/task/5476/stat : 5476 (claspmt) R 5466 5468 5436 0 -1 4202560 1867 0 0 0 557 0 0 0 25 0 4 0 516924188 255922176 17516 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5468/tid=5477] ppid=5466 vsize=249924 CPUtime=5.57 cores=1,3,5,7
/proc/5468/task/5477/stat : 5477 (claspmt) R 5466 5468 5436 0 -1 4202560 4662 0 0 0 554 3 0 0 25 0 4 0 516924188 255922176 17516 33554432000 4194304 4964704 140734483701088 18446744073709551615 4668928 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5468/tid=5478] ppid=5466 vsize=249924 CPUtime=5.54 cores=1,3,5,7
/proc/5468/task/5478/stat : 5478 (claspmt) R 5466 5468 5436 0 -1 4202560 4446 0 0 0 552 2 0 0 25 0 4 0 516924188 255922176 17516 33554432000 4194304 4964704 140734483701088 18446744073709551615 4342193 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 22.99
Current children cumulated vsize (KiB) 249924

[startup+12.7012 s]
/proc/loadavg: 5.01 7.08 7.19 9/188 5490
/proc/meminfo: memFree=24901608/32951124 swapFree=67111352/67111528
[pid=5468] ppid=5466 vsize=255256 CPUtime=48.56 cores=1,3,5,7
/proc/5468/stat : 5468 (claspmt) R 5466 5468 5436 0 -1 4202496 24912 0 0 0 4842 14 0 0 25 0 4 0 516924117 261382144 23709 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670248 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5468/statm: 63814 23709 460 189 0 58163 0
[pid=5468/tid=5476] ppid=5466 vsize=255256 CPUtime=11.97 cores=1,3,5,7
/proc/5468/task/5476/stat : 5476 (claspmt) R 5466 5468 5436 0 -1 4202560 3789 0 0 0 1196 1 0 0 25 0 4 0 516924188 261382144 23709 33554432000 4194304 4964704 140734483701088 18446744073709551615 4627556 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5468/tid=5477] ppid=5466 vsize=255256 CPUtime=11.97 cores=1,3,5,7
/proc/5468/task/5477/stat : 5477 (claspmt) R 5466 5468 5436 0 -1 4202560 6804 0 0 0 1193 4 0 0 25 0 4 0 516924188 261382144 23709 33554432000 4194304 4964704 140734483701088 18446744073709551615 4627269 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5468/tid=5478] ppid=5466 vsize=255256 CPUtime=11.9 cores=1,3,5,7
/proc/5468/task/5478/stat : 5478 (claspmt) R 5466 5468 5436 0 -1 4202560 5614 0 0 0 1187 3 0 0 25 0 4 0 516924188 261382144 23709 33554432000 4194304 4964704 140734483701088 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 48.56
Current children cumulated vsize (KiB) 255256

[startup+25.5009 s]
/proc/loadavg: 5.67 7.13 7.20 9/188 5491
/proc/meminfo: memFree=24811264/32951124 swapFree=67111352/67111528
[pid=5468] ppid=5466 vsize=257244 CPUtime=99.69 cores=1,3,5,7
/proc/5468/stat : 5468 (claspmt) R 5466 5468 5436 0 -1 4202496 32694 0 0 0 9950 19 0 0 25 0 4 0 516924117 263417856 31486 33554432000 4194304 4964704 140734483701088 18446744073709551615 4627263 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5468/statm: 64311 31486 460 189 0 58660 0
[pid=5468/tid=5476] ppid=5466 vsize=257244 CPUtime=24.77 cores=1,3,5,7
/proc/5468/task/5476/stat : 5476 (claspmt) R 5466 5468 5436 0 -1 4202560 4978 0 0 0 2475 2 0 0 25 0 4 0 516924188 263417856 31486 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5468/tid=5477] ppid=5466 vsize=257244 CPUtime=24.77 cores=1,3,5,7
/proc/5468/task/5477/stat : 5477 (claspmt) R 5466 5468 5436 0 -1 4202560 9367 0 0 0 2472 5 0 0 25 0 4 0 516924188 263417856 31486 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670281 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5468/tid=5478] ppid=5466 vsize=257244 CPUtime=24.63 cores=1,3,5,7
/proc/5468/task/5478/stat : 5478 (claspmt) R 5466 5468 5436 0 -1 4202560 8177 0 0 0 2457 6 0 0 25 0 4 0 516924188 263417856 31486 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 99.69
Current children cumulated vsize (KiB) 257244

[startup+51.1012 s]
/proc/loadavg: 6.63 7.23 7.23 9/188 5491
/proc/meminfo: memFree=24695476/32951124 swapFree=67111352/67111528
[pid=5468] ppid=5466 vsize=279344 CPUtime=201.94 cores=1,3,5,7
/proc/5468/stat : 5468 (claspmt) R 5466 5468 5436 0 -1 4202496 45370 0 0 0 20166 28 0 0 25 0 4 0 516924117 286048256 44150 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670277 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5468/statm: 69836 44150 460 189 0 64185 0
[pid=5468/tid=5476] ppid=5466 vsize=279344 CPUtime=50.36 cores=1,3,5,7
/proc/5468/task/5476/stat : 5476 (claspmt) R 5466 5468 5436 0 -1 4202560 10962 0 0 0 5029 7 0 0 25 0 4 0 516924188 286048256 44150 33554432000 4194304 4964704 140734483701088 18446744073709551615 4660034 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5468/tid=5477] ppid=5466 vsize=279344 CPUtime=50.37 cores=1,3,5,7
/proc/5468/task/5477/stat : 5477 (claspmt) R 5466 5468 5436 0 -1 4202560 12955 0 0 0 5031 6 0 0 25 0 4 0 516924188 286048256 44150 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5468/tid=5478] ppid=5466 vsize=279344 CPUtime=50.1 cores=1,3,5,7
/proc/5468/task/5478/stat : 5478 (claspmt) R 5466 5468 5436 0 -1 4202560 10341 0 0 0 5002 8 0 0 25 0 4 0 516924188 286048256 44150 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 201.94
Current children cumulated vsize (KiB) 279344

[startup+102.307 s]
/proc/loadavg: 7.40 7.35 7.27 9/188 5493
/proc/meminfo: memFree=24576800/32951124 swapFree=67111352/67111528
[pid=5468] ppid=5466 vsize=359964 CPUtime=406.48 cores=1,3,5,7
/proc/5468/stat : 5468 (claspmt) R 5466 5468 5436 0 -1 4202496 62225 0 0 0 40604 44 0 0 25 0 4 0 516924117 368603136 60910 33554432000 4194304 4964704 140734483701088 18446744073709551615 4320981 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5468/statm: 89991 60910 460 189 0 84340 0
[pid=5468/tid=5476] ppid=5466 vsize=359964 CPUtime=101.57 cores=1,3,5,7
/proc/5468/task/5476/stat : 5476 (claspmt) R 5466 5468 5436 0 -1 4202560 18255 0 0 0 10144 13 0 0 25 0 4 0 516924188 368603136 60910 33554432000 4194304 4964704 140734483701088 18446744073709551615 246516495393 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5468/tid=5477] ppid=5466 vsize=359964 CPUtime=101.58 cores=1,3,5,7
/proc/5468/task/5477/stat : 5477 (claspmt) R 5466 5468 5436 0 -1 4202560 17598 0 0 0 10146 12 0 0 25 0 4 0 516924188 368603136 60910 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5468/tid=5478] ppid=5466 vsize=359964 CPUtime=101.02 cores=1,3,5,7
/proc/5468/task/5478/stat : 5478 (claspmt) R 5466 5468 5436 0 -1 4202560 11097 0 0 0 10093 9 0 0 25 0 4 0 516924188 368603136 60910 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 406.48
Current children cumulated vsize (KiB) 359964

[startup+162.301 s]
/proc/loadavg: 8.04 7.54 7.34 9/188 5494
/proc/meminfo: memFree=24389784/32951124 swapFree=67111352/67111528
[pid=5468] ppid=5466 vsize=494572 CPUtime=646.13 cores=1,3,5,7
/proc/5468/stat : 5468 (claspmt) R 5466 5468 5436 0 -1 4202496 83469 0 0 0 64541 72 0 0 25 0 4 0 516924117 506441728 81387 33554432000 4194304 4964704 140734483701088 18446744073709551615 4627186 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5468/statm: 123643 81387 460 189 0 117992 0
[pid=5468/tid=5476] ppid=5466 vsize=494572 CPUtime=161.56 cores=1,3,5,7
/proc/5468/task/5476/stat : 5476 (claspmt) R 5466 5468 5436 0 -1 4202560 29146 0 0 0 16127 29 0 0 25 0 4 0 516924188 506441728 81387 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670250 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5468/tid=5477] ppid=5466 vsize=494572 CPUtime=161.58 cores=1,3,5,7
/proc/5468/task/5477/stat : 5477 (claspmt) R 5466 5468 5436 0 -1 4202560 22756 0 0 0 16141 17 0 0 25 0 4 0 516924188 506441728 81387 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5468/tid=5478] ppid=5466 vsize=494572 CPUtime=160.69 cores=1,3,5,7
/proc/5468/task/5478/stat : 5478 (claspmt) R 5466 5468 5436 0 -1 4202560 13486 0 0 0 16056 13 0 0 25 0 4 0 516924188 506441728 81387 33554432000 4194304 4964704 140734483701088 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 646.13
Current children cumulated vsize (KiB) 494572

[startup+222.301 s]
/proc/loadavg: 8.28 7.68 7.40 10/189 5499
/proc/meminfo: memFree=24245416/32951124 swapFree=67111352/67111528
[pid=5468] ppid=5466 vsize=497120 CPUtime=885.1 cores=1,3,5,7
/proc/5468/stat : 5468 (claspmt) R 5466 5468 5436 0 -1 4202496 96602 0 0 0 88422 88 0 0 25 0 4 0 516924117 509050880 94370 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5468/statm: 124280 94370 460 189 0 118629 0
[pid=5468/tid=5476] ppid=5466 vsize=497120 CPUtime=221.52 cores=1,3,5,7
/proc/5468/task/5476/stat : 5476 (claspmt) R 5466 5468 5436 0 -1 4202560 33443 0 0 0 22118 34 0 0 25 0 4 0 516924188 509050880 94370 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670462 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5468/tid=5477] ppid=5466 vsize=497120 CPUtime=221.5 cores=1,3,5,7
/proc/5468/task/5477/stat : 5477 (claspmt) R 5466 5468 5436 0 -1 4202560 24464 0 0 0 22133 17 0 0 25 0 4 0 516924188 509050880 94370 33554432000 4194304 4964704 140734483701088 18446744073709551615 4321093 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5468/tid=5478] ppid=5466 vsize=497120 CPUtime=219.77 cores=1,3,5,7
/proc/5468/task/5478/stat : 5478 (claspmt) R 5466 5468 5436 0 -1 4202560 20614 0 0 0 21954 23 0 0 25 0 4 0 516924188 509050880 94370 33554432000 4194304 4964704 140734483701088 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 885.1
Current children cumulated vsize (KiB) 497120

[startup+282.301 s]

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

/proc/5468/stat : 5468 (claspmt) R 5466 5468 5436 0 -1 4202496 148205 0 0 0 304070 136 0 0 25 0 4 0 516924117 688058368 143935 33554432000 4194304 4964704 140734483701088 18446744073709551615 4320909 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5468/statm: 167983 143935 460 189 0 162332 0
[pid=5468/tid=5476] ppid=5466 vsize=671932 CPUtime=761.51 cores=1,3,5,7
/proc/5468/task/5476/stat : 5476 (claspmt) R 5466 5468 5436 0 -1 4202560 51010 0 0 0 76099 52 0 0 25 0 4 0 516924188 688058368 143935 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5468/tid=5477] ppid=5466 vsize=671932 CPUtime=761.52 cores=1,3,5,7
/proc/5468/task/5477/stat : 5477 (claspmt) R 5466 5468 5436 0 -1 4202560 42702 0 0 0 76123 29 0 0 25 0 4 0 516924188 688058368 143935 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670215 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5468/tid=5478] ppid=5466 vsize=671932 CPUtime=756.71 cores=1,3,5,7
/proc/5468/task/5478/stat : 5478 (claspmt) R 5466 5468 5436 0 -1 4202560 31411 0 0 0 75637 34 0 0 25 0 4 0 516924188 688058368 143935 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3042.06
Current children cumulated vsize (KiB) 671932

[startup+822.3 s]
/proc/loadavg: 8.25 8.15 7.77 9/188 5515
/proc/meminfo: memFree=23628440/32951124 swapFree=67111352/67111528
[pid=5468] ppid=5466 vsize=671932 CPUtime=3281.71 cores=1,3,5,7
/proc/5468/stat : 5468 (claspmt) R 5466 5468 5436 0 -1 4202496 149229 0 0 0 328034 137 0 0 25 0 4 0 516924117 688058368 144959 33554432000 4194304 4964704 140734483701088 18446744073709551615 4627290 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5468/statm: 167983 144959 460 189 0 162332 0
[pid=5468/tid=5476] ppid=5466 vsize=671932 CPUtime=821.5 cores=1,3,5,7
/proc/5468/task/5476/stat : 5476 (claspmt) R 5466 5468 5436 0 -1 4202560 51034 0 0 0 82098 52 0 0 25 0 4 0 516924188 688058368 144959 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670260 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5468/tid=5477] ppid=5466 vsize=671932 CPUtime=821.51 cores=1,3,5,7
/proc/5468/task/5477/stat : 5477 (claspmt) R 5466 5468 5436 0 -1 4202560 43696 0 0 0 82121 30 0 0 25 0 4 0 516924188 688058368 144959 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670458 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5468/tid=5478] ppid=5466 vsize=671932 CPUtime=816.37 cores=1,3,5,7
/proc/5468/task/5478/stat : 5478 (claspmt) R 5466 5468 5436 0 -1 4202560 31412 0 0 0 81603 34 0 0 25 0 4 0 516924188 688058368 144959 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670233 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3281.71
Current children cumulated vsize (KiB) 671932

[startup+882.3 s]
/proc/loadavg: 8.34 8.19 7.81 9/188 5516
/proc/meminfo: memFree=23559732/32951124 swapFree=67111352/67111528
[pid=5468] ppid=5466 vsize=737468 CPUtime=3521.38 cores=1,3,5,7
/proc/5468/stat : 5468 (claspmt) R 5466 5468 5436 0 -1 4202496 158238 0 0 0 351987 151 0 0 25 0 4 0 516924117 755167232 153968 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5468/statm: 184367 153968 460 189 0 178716 0
[pid=5468/tid=5476] ppid=5466 vsize=737468 CPUtime=881.5 cores=1,3,5,7
/proc/5468/task/5476/stat : 5476 (claspmt) R 5466 5468 5436 0 -1 4202560 51055 0 0 0 88098 52 0 0 25 0 4 0 516924188 755167232 153968 33554432000 4194304 4964704 140734483701088 18446744073709551615 4342186 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5468/tid=5477] ppid=5466 vsize=737468 CPUtime=881.51 cores=1,3,5,7
/proc/5468/task/5477/stat : 5477 (claspmt) R 5466 5468 5436 0 -1 4202560 52680 0 0 0 88107 44 0 0 25 0 4 0 516924188 755167232 153968 33554432000 4194304 4964704 140734483701088 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5468/tid=5478] ppid=5466 vsize=737468 CPUtime=876.05 cores=1,3,5,7
/proc/5468/task/5478/stat : 5478 (claspmt) R 5466 5468 5436 0 -1 4202560 31416 0 0 0 87571 34 0 0 25 0 4 0 516924188 755167232 153968 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3521.38
Current children cumulated vsize (KiB) 737468

[startup+942.3 s]
/proc/loadavg: 8.27 8.20 7.83 9/188 5518
/proc/meminfo: memFree=23506640/32951124 swapFree=67111352/67111528
[pid=5468] ppid=5466 vsize=803004 CPUtime=3761.05 cores=1,3,5,7
/proc/5468/stat : 5468 (claspmt) R 5466 5468 5436 0 -1 4202496 169601 0 0 0 375935 170 0 0 25 0 4 0 516924117 822276096 165331 33554432000 4194304 4964704 140734483701088 18446744073709551615 4627365 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5468/statm: 200751 165331 460 189 0 195100 0
[pid=5468/tid=5476] ppid=5466 vsize=803004 CPUtime=941.5 cores=1,3,5,7
/proc/5468/task/5476/stat : 5476 (claspmt) R 5466 5468 5436 0 -1 4202560 59479 0 0 0 94083 67 0 0 25 0 4 0 516924188 822276096 165331 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5468/tid=5477] ppid=5466 vsize=803004 CPUtime=941.52 cores=1,3,5,7
/proc/5468/task/5477/stat : 5477 (claspmt) R 5466 5468 5436 0 -1 4202560 55599 0 0 0 94103 49 0 0 25 0 4 0 516924188 822276096 165331 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5468/tid=5478] ppid=5466 vsize=803004 CPUtime=935.72 cores=1,3,5,7
/proc/5468/task/5478/stat : 5478 (claspmt) R 5466 5468 5436 0 -1 4202560 31425 0 0 0 93538 34 0 0 25 0 4 0 516924188 822276096 165331 33554432000 4194304 4964704 140734483701088 18446744073709551615 4342186 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3761.05
Current children cumulated vsize (KiB) 803004

[startup+1002.3 s]
/proc/loadavg: 8.26 8.21 7.85 9/188 5520
/proc/meminfo: memFree=23475872/32951124 swapFree=67111352/67111528
[pid=5468] ppid=5466 vsize=811620 CPUtime=4000.71 cores=1,3,5,7
/proc/5468/stat : 5468 (claspmt) R 5466 5468 5436 0 -1 4202496 176657 0 0 0 399890 181 0 0 25 0 4 0 516924117 831098880 172387 33554432000 4194304 4964704 140734483701088 18446744073709551615 4321016 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5468/statm: 202905 172387 460 189 0 197254 0
[pid=5468/tid=5476] ppid=5466 vsize=811620 CPUtime=1001.49 cores=1,3,5,7
/proc/5468/task/5476/stat : 5476 (claspmt) R 5466 5468 5436 0 -1 4202560 62016 0 0 0 100077 72 0 0 25 0 4 0 516924188 831098880 172387 33554432000 4194304 4964704 140734483701088 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5468/tid=5477] ppid=5466 vsize=811620 CPUtime=1001.5 cores=1,3,5,7
/proc/5468/task/5477/stat : 5477 (claspmt) R 5466 5468 5436 0 -1 4202560 60070 0 0 0 100097 53 0 0 25 0 4 0 516924188 831098880 172387 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5468/tid=5478] ppid=5466 vsize=811620 CPUtime=995.39 cores=1,3,5,7
/proc/5468/task/5478/stat : 5478 (claspmt) R 5466 5468 5436 0 -1 4202560 31473 0 0 0 99505 34 0 0 25 0 4 0 516924188 831098880 172387 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4000.71
Current children cumulated vsize (KiB) 811620

[startup+1062.3 s]
/proc/loadavg: 8.24 8.21 7.88 9/188 5521
/proc/meminfo: memFree=23458372/32951124 swapFree=67111352/67111528
[pid=5468] ppid=5466 vsize=816052 CPUtime=4240.38 cores=1,3,5,7
/proc/5468/stat : 5468 (claspmt) R 5466 5468 5436 0 -1 4202496 178075 0 0 0 423855 183 0 0 25 0 4 0 516924117 835637248 173544 33554432000 4194304 4964704 140734483701088 18446744073709551615 4321272 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5468/statm: 204013 173544 460 189 0 198362 0
[pid=5468/tid=5476] ppid=5466 vsize=816052 CPUtime=1061.16 cores=1,3,5,7
/proc/5468/task/5476/stat : 5476 (claspmt) R 5466 5468 5436 0 -1 4202560 62306 0 0 0 106044 72 0 0 25 0 4 0 516924188 835637248 173544 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5468/tid=5477] ppid=5466 vsize=816052 CPUtime=1061.5 cores=1,3,5,7
/proc/5468/task/5477/stat : 5477 (claspmt) R 5466 5468 5436 0 -1 4202560 60997 0 0 0 106096 54 0 0 25 0 4 0 516924188 835637248 173544 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670243 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5468/tid=5478] ppid=5466 vsize=816052 CPUtime=1055.38 cores=1,3,5,7
/proc/5468/task/5478/stat : 5478 (claspmt) R 5466 5468 5436 0 -1 4202560 31674 0 0 0 105503 35 0 0 25 0 4 0 516924188 835637248 173544 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4240.38
Current children cumulated vsize (KiB) 816052

[startup+1122.3 s]
/proc/loadavg: 8.21 8.20 7.89 9/188 5523
/proc/meminfo: memFree=23369320/32951124 swapFree=67111352/67111528
[pid=5468] ppid=5466 vsize=905724 CPUtime=4480.05 cores=1,3,5,7
/proc/5468/stat : 5468 (claspmt) R 5466 5468 5436 0 -1 4202496 188778 0 0 0 447810 195 0 0 25 0 4 0 516924117 927461376 184247 33554432000 4194304 4964704 140734483701088 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5468/statm: 226431 184247 460 189 0 220780 0
[pid=5468/tid=5476] ppid=5466 vsize=905724 CPUtime=1120.83 cores=1,3,5,7
/proc/5468/task/5476/stat : 5476 (claspmt) R 5466 5468 5436 0 -1 4202560 67816 0 0 0 112007 76 0 0 25 0 4 0 516924188 927461376 184247 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670454 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5468/tid=5477] ppid=5466 vsize=905724 CPUtime=1121.51 cores=1,3,5,7
/proc/5468/task/5477/stat : 5477 (claspmt) R 5466 5468 5436 0 -1 4202560 65698 0 0 0 112089 62 0 0 25 0 4 0 516924188 927461376 184247 33554432000 4194304 4964704 140734483701088 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5468/tid=5478] ppid=5466 vsize=905724 CPUtime=1115.38 cores=1,3,5,7
/proc/5468/task/5478/stat : 5478 (claspmt) R 5466 5468 5436 0 -1 4202560 32157 0 0 0 111503 35 0 0 25 0 4 0 516924188 927461376 184247 33554432000 4194304 4964704 140734483701088 18446744073709551615 4668820 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4480.05
Current children cumulated vsize (KiB) 905724

[startup+1182.3 s]
/proc/loadavg: 8.18 8.19 7.91 9/188 5524
/proc/meminfo: memFree=23270468/32951124 swapFree=67111352/67111528
[pid=5468] ppid=5466 vsize=914324 CPUtime=4719.72 cores=1,3,5,7
/proc/5468/stat : 5468 (claspmt) R 5466 5468 5436 0 -1 4202496 197084 0 0 0 471766 206 0 0 25 0 4 0 516924117 936267776 192263 33554432000 4194304 4964704 140734483701088 18446744073709551615 4653275 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5468/statm: 228581 192263 460 189 0 222930 0
[pid=5468/tid=5476] ppid=5466 vsize=914324 CPUtime=1180.49 cores=1,3,5,7
/proc/5468/task/5476/stat : 5476 (claspmt) R 5466 5468 5436 0 -1 4202560 70461 0 0 0 117971 78 0 0 25 0 4 0 516924188 936267776 192263 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5468/tid=5477] ppid=5466 vsize=914324 CPUtime=1181.51 cores=1,3,5,7
/proc/5468/task/5477/stat : 5477 (claspmt) R 5466 5468 5436 0 -1 4202560 71222 0 0 0 118080 71 0 0 25 0 4 0 516924188 936267776 192263 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5468/tid=5478] ppid=5466 vsize=914324 CPUtime=1175.38 cores=1,3,5,7
/proc/5468/task/5478/stat : 5478 (claspmt) R 5466 5468 5436 0 -1 4202560 32294 0 0 0 117503 35 0 0 25 0 4 0 516924188 936267776 192263 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4719.72
Current children cumulated vsize (KiB) 914324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.4 s]
/proc/loadavg: 8.13 8.18 7.91 9/188 5525
/proc/meminfo: memFree=23246152/32951124 swapFree=67111352/67111528
[pid=5468] ppid=5466 vsize=915492 CPUtime=4800.02 cores=1,3,5,7
/proc/5468/stat : 5468 (claspmt) R 5466 5468 5436 0 -1 4202496 197475 0 0 0 479796 206 0 0 25 0 4 0 516924117 937463808 192654 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670230 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5468/statm: 228873 192654 460 189 0 223222 0
[pid=5468/tid=5476] ppid=5466 vsize=915492 CPUtime=1200.48 cores=1,3,5,7
/proc/5468/task/5476/stat : 5476 (claspmt) R 5466 5468 5436 0 -1 4202560 70637 0 0 0 119970 78 0 0 25 0 4 0 516924188 937463808 192654 33554432000 4194304 4964704 140734483701088 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5468/tid=5477] ppid=5466 vsize=915492 CPUtime=1201.62 cores=1,3,5,7
/proc/5468/task/5477/stat : 5477 (claspmt) R 5466 5468 5436 0 -1 4202560 71434 0 0 0 120091 71 0 0 25 0 4 0 516924188 937463808 192654 33554432000 4194304 4964704 140734483701088 18446744073709551615 4644844 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5468/tid=5478] ppid=5466 vsize=915492 CPUtime=1195.49 cores=1,3,5,7
/proc/5468/task/5478/stat : 5478 (claspmt) R 5466 5468 5436 0 -1 4202560 32297 0 0 0 119514 35 0 0 25 0 4 0 516924188 937463808 192654 33554432000 4194304 4964704 140734483701088 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 915492

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

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

[startup+1203 s]
/proc/loadavg: 8.13 8.18 7.91 9/188 5525
/proc/meminfo: memFree=23246152/32951124 swapFree=67111352/67111528
[pid=5468] ppid=5466 vsize=915492 CPUtime=4800.63 cores=1,3,5,7
/proc/5468/stat : 5468 (claspmt) S 5466 5468 5436 0 -1 4202496 197477 0 0 0 479857 206 0 0 25 0 2 0 516924117 937463808 192656 33554432000 4194304 4964704 140734483701088 18446744073709551615 246528636901 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5468/statm: 228873 192656 462 189 0 223222 0
[pid=5468/tid=5477] ppid=5466 vsize=915492 CPUtime=1202.21 cores=1,3,5,7
/proc/5468/task/5477/stat : 5477 (claspmt) R 5466 5468 5436 0 -1 4202560 71434 0 0 0 120150 71 0 0 25 0 2 0 516924188 937463808 192656 33554432000 4194304 4964704 140734483701088 18446744073709551615 4644870 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.63
Current children cumulated vsize (KiB) 915492

[startup+1203.8 s]
/proc/loadavg: 7.64 8.08 7.88 3/185 5527
/proc/meminfo: memFree=23731884/32951124 swapFree=67111352/67111528
[pid=5468] ppid=5466 vsize=915492 CPUtime=4801.43 cores=1,3,5,7
/proc/5468/stat : 5468 (claspmt) S 5466 5468 5436 0 -1 4202496 197477 0 0 0 479937 206 0 0 25 0 2 0 516924117 937463808 192656 33554432000 4194304 4964704 140734483701088 18446744073709551615 246528636901 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5468/statm: 228873 192656 462 189 0 223222 0
[pid=5468/tid=5477] ppid=5466 vsize=915492 CPUtime=1203.01 cores=1,3,5,7
/proc/5468/task/5477/stat : 5477 (claspmt) R 5466 5468 5436 0 -1 4202560 71434 0 0 0 120230 71 0 0 25 0 2 0 516924188 937463808 192656 33554432000 4194304 4964704 140734483701088 18446744073709551615 246516531806 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4801.43
Current children cumulated vsize (KiB) 915492

[startup+1204 s]
/proc/loadavg: 7.64 8.08 7.88 3/185 5527
/proc/meminfo: memFree=23731884/32951124 swapFree=67111352/67111528
[pid=5468] ppid=5466 vsize=909792 CPUtime=4801.63 cores=1,3,5,7
/proc/5468/stat : 5468 (claspmt) R 5466 5468 5436 0 -1 4202496 197485 0 0 0 479957 206 0 0 18 0 1 0 516924117 931627008 191518 33554432000 4194304 4964704 140734483701088 18446744073709551615 246516490131 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5468/statm: 227448 191518 470 189 0 221797 0
Current children cumulated CPU time (s) 4801.63
Current children cumulated vsize (KiB) 909792

Child status: 0
Real time (s): 1204.06
CPU time (s): 4801.7
CPU user time (s): 4799.6
CPU system time (s): 2.09768
CPU usage (%): 398.792
Max. virtual memory (cumulated for all children) (KiB): 915492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.6
system time used= 2.09768
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197487
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= 5737
involuntary context switches= 34818

runsolver used 1.77073 second user time and 4.80627 second system time

The end

Launcher Data 

Begin job on node134 at 2011-04-29 07:00:59
IDJOB=3299637
IDBENCH=71409
IDSOLVER=1683
FILE ID=node134/3299637-1304053259
RUNJOBID= node134-1304053259-5455
PBS_JOBID= 13170420
Free space on /tmp= 71580 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v1820c171155gyes3.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-3299637-1304053259/watcher-3299637-1304053259 -o /tmp/evaluation-result-3299637-1304053259/solver-3299637-1304053259 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299637-1304053259.cnf

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

MD5SUM BENCH= cd19d9eb9be97e183fa1a1d47d679d01
RANDOM SEED=1721265173

node134.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.831
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.66
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.831
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.67
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.831
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.83
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.831
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	: 7186.06
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.831
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.831
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.831
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.831
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25100484 kB
Buffers:       1474116 kB
Cached:        5785136 kB
SwapCached:         64 kB
Active:        1403784 kB
Inactive:      5923348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25100484 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:            4480 kB
Writeback:           0 kB
AnonPages:       67532 kB
Mapped:          14492 kB
Slab:           458148 kB
PageTables:       5148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   189760 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71576 MiB
End job on node134 at 2011-04-29 07:21:04