Trace number 3299400

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.5 1204.21

General information on the benchmark

Namecrafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-5-5_34309.cnf
MD5SUMe252fbf81407f3388187ab50f0786909
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 variables34307
Number of clauses708206
Sum of the clauses size3541030
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 5708206
Number of clauses of size over 50

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...092431/instance-3299400-1304092431.cnf
2.49/2.54	c Solving...
4800.08/1203.81	
4800.08/1203.81	*** INTERRUPTED! ***
4800.08/1203.81	*** Shutting down threads...
4800.49/1204.20	s UNKNOWN
4800.49/1204.20	
4800.49/1204.20	c INTERRUPTED   : 1
4800.49/1204.20	c Models        : 0+    
4800.49/1204.20	c Time          : 1203.811s (Solving: 1201.27s 1st Model: 0.00s Unsat: 0.00s)
4800.49/1204.20	c CPU Time      : 4800.100s

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.68 7.99 7.86 5/180 17258
/proc/meminfo: memFree=30107456/32950928 swapFree=67111428/67111528
[pid=17258] ppid=17256 vsize=25168 CPUtime=0 cores=1,3,5,7
/proc/17258/stat : 17258 (claspmt) R 17256 17258 16787 0 -1 4202496 1365 0 0 0 0 0 0 0 24 0 1 0 520843049 25772032 1294 33554432000 4194304 4964704 140737197608432 18446744073709551615 4700332 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17258/statm: 6292 1302 375 189 0 1166 0

[startup+0.0599479 s]
/proc/loadavg: 7.68 7.99 7.86 5/180 17258
/proc/meminfo: memFree=30107456/32950928 swapFree=67111428/67111528
[pid=17258] ppid=17256 vsize=34884 CPUtime=0.05 cores=1,3,5,7
/proc/17258/stat : 17258 (claspmt) R 17256 17258 16787 0 -1 4202496 4722 0 0 0 5 0 0 0 24 0 1 0 520843049 35721216 3910 33554432000 4194304 4964704 140737197608432 18446744073709551615 248089359045 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17258/statm: 8721 3912 385 189 0 3595 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 34884

[startup+0.100941 s]
/proc/loadavg: 7.68 7.99 7.86 5/180 17258
/proc/meminfo: memFree=30107456/32950928 swapFree=67111428/67111528
[pid=17258] ppid=17256 vsize=41116 CPUtime=0.09 cores=1,3,5,7
/proc/17258/stat : 17258 (claspmt) R 17256 17258 16787 0 -1 4202496 6815 0 0 0 9 0 0 0 24 0 1 0 520843049 42102784 5326 33554432000 4194304 4964704 140737197608432 18446744073709551615 248089359045 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17258/statm: 10279 5327 385 189 0 5153 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41116

[startup+0.300907 s]
/proc/loadavg: 7.68 7.99 7.86 5/180 17258
/proc/meminfo: memFree=30107456/32950928 swapFree=67111428/67111528
[pid=17258] ppid=17256 vsize=72132 CPUtime=0.29 cores=1,3,5,7
/proc/17258/stat : 17258 (claspmt) R 17256 17258 16787 0 -1 4202496 17266 0 0 0 27 2 0 0 25 0 1 0 520843049 73863168 12555 33554432000 4194304 4964704 140737197608432 18446744073709551615 248089359045 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17258/statm: 18033 12556 396 189 0 12907 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 72132

[startup+0.700839 s]
/proc/loadavg: 7.68 7.99 7.86 5/180 17258
/proc/meminfo: memFree=30107456/32950928 swapFree=67111428/67111528
[pid=17258] ppid=17256 vsize=99836 CPUtime=0.69 cores=1,3,5,7
/proc/17258/stat : 17258 (claspmt) R 17256 17258 16787 0 -1 4202496 23848 0 0 0 66 3 0 0 25 0 1 0 520843049 102232064 19137 33554432000 4194304 4964704 140737197608432 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17258/statm: 24959 19137 398 189 0 19833 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 99836

[startup+1.50069 s]
/proc/loadavg: 7.68 7.99 7.86 6/181 17259
/proc/meminfo: memFree=30032064/32950928 swapFree=67111428/67111528
[pid=17258] ppid=17256 vsize=99836 CPUtime=1.49 cores=1,3,5,7
/proc/17258/stat : 17258 (claspmt) R 17256 17258 16787 0 -1 4202496 23848 0 0 0 146 3 0 0 25 0 1 0 520843049 102232064 19137 33554432000 4194304 4964704 140737197608432 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17258/statm: 24959 19137 398 189 0 19833 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 99836

[startup+3.10041 s]
/proc/loadavg: 7.68 7.99 7.86 6/181 17259
/proc/meminfo: memFree=30030656/32950928 swapFree=67111428/67111528
[pid=17258] ppid=17256 vsize=323652 CPUtime=4.49 cores=1,3,5,7
/proc/17258/stat : 17258 (claspmt) R 17256 17258 16787 0 -1 4202496 59495 0 0 0 424 25 0 0 25 0 4 0 520843049 331419648 53011 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17258/statm: 80913 53011 457 189 0 75262 0
Current children cumulated CPU time (s) 4.49
Current children cumulated vsize (KiB) 323652

[startup+6.30085 s]
/proc/loadavg: 7.71 7.99 7.86 9/184 17262
/proc/meminfo: memFree=29856192/32950928 swapFree=67111428/67111528
[pid=17258] ppid=17256 vsize=333024 CPUtime=17.27 cores=1,3,5,7
/proc/17258/stat : 17258 (claspmt) R 17256 17258 16787 0 -1 4202496 73182 0 0 0 1696 31 0 0 25 0 4 0 520843049 341016576 66698 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670219 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17258/statm: 83256 66698 457 189 0 77605 0
[pid=17258/tid=17260] ppid=17256 vsize=333024 CPUtime=3.73 cores=1,3,5,7
/proc/17258/task/17260/stat : 17260 (claspmt) R 17256 17258 16787 0 -1 4202560 11346 0 0 0 365 8 0 0 25 0 4 0 520843304 341016576 66698 33554432000 4194304 4964704 140737197608432 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17258/tid=17261] ppid=17256 vsize=333024 CPUtime=3.71 cores=1,3,5,7
/proc/17258/task/17261/stat : 17261 (claspmt) R 17256 17258 16787 0 -1 4202560 15756 0 0 0 362 9 0 0 25 0 4 0 520843304 341016576 66698 33554432000 4194304 4964704 140737197608432 18446744073709551615 4361247 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17258/tid=17262] ppid=17256 vsize=333024 CPUtime=3.73 cores=1,3,5,7
/proc/17258/task/17262/stat : 17262 (claspmt) R 17256 17258 16787 0 -1 4202560 13770 0 0 0 366 7 0 0 25 0 4 0 520843304 341016576 66698 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 17.27
Current children cumulated vsize (KiB) 333024

[startup+12.7007 s]
/proc/loadavg: 7.73 7.99 7.86 9/184 17263
/proc/meminfo: memFree=29767428/32950928 swapFree=67111428/67111528
[pid=17258] ppid=17256 vsize=480624 CPUtime=42.83 cores=1,3,5,7
/proc/17258/stat : 17258 (claspmt) R 17256 17258 16787 0 -1 4202496 92988 0 0 0 4242 41 0 0 25 0 4 0 520843049 492158976 86504 33554432000 4194304 4964704 140737197608432 18446744073709551615 4321079 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17258/statm: 120156 86504 459 189 0 114505 0
[pid=17258/tid=17260] ppid=17256 vsize=480624 CPUtime=10.14 cores=1,3,5,7
/proc/17258/task/17260/stat : 17260 (claspmt) R 17256 17258 16787 0 -1 4202560 15461 0 0 0 1004 10 0 0 25 0 4 0 520843304 492158976 86504 33554432000 4194304 4964704 140737197608432 18446744073709551615 4338992 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17258/tid=17261] ppid=17256 vsize=480624 CPUtime=10.08 cores=1,3,5,7
/proc/17258/task/17261/stat : 17261 (claspmt) R 17256 17258 16787 0 -1 4202560 23457 0 0 0 996 12 0 0 25 0 4 0 520843304 492158976 86504 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17258/tid=17262] ppid=17256 vsize=480624 CPUtime=10.14 cores=1,3,5,7
/proc/17258/task/17262/stat : 17262 (claspmt) R 17256 17258 16787 0 -1 4202560 17710 0 0 0 1003 11 0 0 25 0 4 0 520843304 492158976 86504 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 42.83
Current children cumulated vsize (KiB) 480624

[startup+25.5005 s]
/proc/loadavg: 7.87 8.01 7.87 9/184 17263
/proc/meminfo: memFree=29639840/32950928 swapFree=67111428/67111528
[pid=17258] ppid=17256 vsize=560844 CPUtime=93.96 cores=1,3,5,7
/proc/17258/stat : 17258 (claspmt) R 17256 17258 16787 0 -1 4202496 122007 0 0 0 9335 61 0 0 25 0 4 0 520843049 574304256 115523 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17258/statm: 140211 115523 459 189 0 134560 0
[pid=17258/tid=17260] ppid=17256 vsize=560844 CPUtime=22.94 cores=1,3,5,7
/proc/17258/task/17260/stat : 17260 (claspmt) R 17256 17258 16787 0 -1 4202560 23325 0 0 0 2278 16 0 0 25 0 4 0 520843304 574304256 115523 33554432000 4194304 4964704 140737197608432 18446744073709551615 4332059 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17258/tid=17261] ppid=17256 vsize=560844 CPUtime=22.81 cores=1,3,5,7
/proc/17258/task/17261/stat : 17261 (claspmt) R 17256 17258 16787 0 -1 4202560 31147 0 0 0 2264 17 0 0 25 0 4 0 520843304 574304256 115523 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17258/tid=17262] ppid=17256 vsize=560844 CPUtime=22.93 cores=1,3,5,7
/proc/17258/task/17262/stat : 17262 (claspmt) R 17256 17258 16787 0 -1 4202560 24930 0 0 0 2278 15 0 0 25 0 4 0 520843304 574304256 115523 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670230 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 93.96
Current children cumulated vsize (KiB) 560844

[startup+51.1009 s]
/proc/loadavg: 7.91 8.01 7.87 9/184 17264
/proc/meminfo: memFree=29445824/32950928 swapFree=67111428/67111528
[pid=17258] ppid=17256 vsize=806888 CPUtime=196.21 cores=1,3,5,7
/proc/17258/stat : 17258 (claspmt) R 17256 17258 16787 0 -1 4202496 170238 0 0 0 19530 91 0 0 25 0 4 0 520843049 826253312 163754 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17258/statm: 201722 163754 459 189 0 196071 0
[pid=17258/tid=17260] ppid=17256 vsize=806888 CPUtime=48.53 cores=1,3,5,7
/proc/17258/task/17260/stat : 17260 (claspmt) R 17256 17258 16787 0 -1 4202560 30905 0 0 0 4833 20 0 0 25 0 4 0 520843304 826253312 163754 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17258/tid=17261] ppid=17256 vsize=806888 CPUtime=48.27 cores=1,3,5,7
/proc/17258/task/17261/stat : 17261 (claspmt) R 17256 17258 16787 0 -1 4202560 40638 0 0 0 4805 22 0 0 25 0 4 0 520843304 826253312 163754 33554432000 4194304 4964704 140737197608432 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17258/tid=17262] ppid=17256 vsize=806888 CPUtime=48.53 cores=1,3,5,7
/proc/17258/task/17262/stat : 17262 (claspmt) R 17256 17258 16787 0 -1 4202560 34979 0 0 0 4831 22 0 0 25 0 4 0 520843304 826253312 163754 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 196.21
Current children cumulated vsize (KiB) 806888

[startup+102.307 s]
/proc/loadavg: 8.06 8.03 7.88 9/184 17265
/proc/meminfo: memFree=29183472/32950928 swapFree=67111428/67111528
[pid=17258] ppid=17256 vsize=1073692 CPUtime=400.75 cores=1,3,5,7
/proc/17258/stat : 17258 (claspmt) R 17256 17258 16787 0 -1 4202496 231689 0 0 0 39937 138 0 0 25 0 4 0 520843049 1099460608 225198 33554432000 4194304 4964704 140737197608432 18446744073709551615 4684027 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17258/statm: 268423 225198 459 189 0 262772 0
[pid=17258/tid=17260] ppid=17256 vsize=1073692 CPUtime=99.74 cores=1,3,5,7
/proc/17258/task/17260/stat : 17260 (claspmt) R 17256 17258 16787 0 -1 4202560 55266 0 0 0 9938 36 0 0 25 0 4 0 520843304 1099460608 225198 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17258/tid=17261] ppid=17256 vsize=1073692 CPUtime=99.2 cores=1,3,5,7
/proc/17258/task/17261/stat : 17261 (claspmt) R 17256 17258 16787 0 -1 4202560 50474 0 0 0 9889 31 0 0 25 0 4 0 520843304 1099460608 225198 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670243 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17258/tid=17262] ppid=17256 vsize=1073692 CPUtime=99.74 cores=1,3,5,7
/proc/17258/task/17262/stat : 17262 (claspmt) R 17256 17258 16787 0 -1 4202560 43291 0 0 0 9946 28 0 0 25 0 4 0 520843304 1099460608 225198 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 400.75
Current children cumulated vsize (KiB) 1073692

[startup+162.3 s]
/proc/loadavg: 8.12 8.05 7.90 9/184 17267
/proc/meminfo: memFree=28947912/32950928 swapFree=67111428/67111528
[pid=17258] ppid=17256 vsize=1270300 CPUtime=640.39 cores=1,3,5,7
/proc/17258/stat : 17258 (claspmt) R 17256 17258 16787 0 -1 4202496 281627 0 0 0 63854 185 0 0 25 0 4 0 520843049 1300787200 275090 33554432000 4194304 4964704 140737197608432 18446744073709551615 4320879 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17258/statm: 317575 275090 459 189 0 311924 0
[pid=17258/tid=17260] ppid=17256 vsize=1270300 CPUtime=159.73 cores=1,3,5,7
/proc/17258/task/17260/stat : 17260 (claspmt) R 17256 17258 16787 0 -1 4202560 80121 0 0 0 15912 61 0 0 25 0 4 0 520843304 1300787200 275090 33554432000 4194304 4964704 140737197608432 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17258/tid=17261] ppid=17256 vsize=1270300 CPUtime=158.86 cores=1,3,5,7
/proc/17258/task/17261/stat : 17261 (claspmt) R 17256 17258 16787 0 -1 4202560 60091 0 0 0 15849 37 0 0 25 0 4 0 520843304 1300787200 275090 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17258/tid=17262] ppid=17256 vsize=1270300 CPUtime=159.72 cores=1,3,5,7
/proc/17258/task/17262/stat : 17262 (claspmt) R 17256 17258 16787 0 -1 4202560 58713 0 0 0 15930 42 0 0 25 0 4 0 520843304 1300787200 275090 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 640.39
Current children cumulated vsize (KiB) 1270300

[startup+222.301 s]
/proc/loadavg: 8.13 8.07 7.91 9/184 17268
/proc/meminfo: memFree=28840732/32950928 swapFree=67111428/67111528
[pid=17258] ppid=17256 vsize=1336720 CPUtime=880.05 cores=1,3,5,7
/proc/17258/stat : 17258 (claspmt) R 17256 17258 16787 0 -1 4202496 299069 0 0 0 87794 211 0 0 25 0 4 0 520843049 1368801280 292386 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17258/statm: 334180 292386 459 189 0 328529 0
[pid=17258/tid=17260] ppid=17256 vsize=1336720 CPUtime=219.73 cores=1,3,5,7
/proc/17258/task/17260/stat : 17260 (claspmt) R 17256 17258 16787 0 -1 4202560 80326 0 0 0 21912 61 0 0 25 0 4 0 520843304 1368801280 292386 33554432000 4194304 4964704 140737197608432 18446744073709551615 4660415 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17258/tid=17261] ppid=17256 vsize=1336720 CPUtime=218.53 cores=1,3,5,7
/proc/17258/task/17261/stat : 17261 (claspmt) R 17256 17258 16787 0 -1 4202560 61029 0 0 0 21815 38 0 0 25 0 4 0 520843304 1368801280 292386 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17258/tid=17262] ppid=17256 vsize=1336720 CPUtime=219.72 cores=1,3,5,7
/proc/17258/task/17262/stat : 17262 (claspmt) R 17256 17258 16787 0 -1 4202560 73989 0 0 0 21905 67 0 0 25 0 4 0 520843304 1368801280 292386 33554432000 4194304 4964704 140737197608432 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 880.05
Current children cumulated vsize (KiB) 1336720

[startup+282.301 s]
/proc/loadavg: 8.12 8.08 7.92 9/184 17270
/proc/meminfo: memFree=28689040/32950928 swapFree=67111428/67111528
[pid=17258] ppid=17256 vsize=1472356 CPUtime=1119.73 cores=1,3,5,7
/proc/17258/stat : 17258 (claspmt) R 17256 17258 16787 0 -1 4202496 334679 0 0 0 111714 259 0 0 25 0 4 0 520843049 1507692544 327687 33554432000 4194304 4964704 140737197608432 18446744073709551615 4320909 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17258/statm: 368089 327687 460 189 0 362438 0
[pid=17258/tid=17260] ppid=17256 vsize=1472356 CPUtime=279.73 cores=1,3,5,7
/proc/17258/task/17260/stat : 17260 (claspmt) R 17256 17258 16787 0 -1 4202560 86988 0 0 0 27903 70 0 0 25 0 4 0 520843304 1507692544 327687 33554432000 4194304 4964704 140737197608432 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17258/tid=17261] ppid=17256 vsize=1472356 CPUtime=278.21 cores=1,3,5,7
/proc/17258/task/17261/stat : 17261 (claspmt) R 17256 17258 16787 0 -1 4202560 69706 0 0 0 27773 48 0 0 25 0 4 0 520843304 1507692544 327687 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17258/tid=17262] ppid=17256 vsize=1472356 CPUtime=279.72 cores=1,3,5,7
/proc/17258/task/17262/stat : 17262 (claspmt) R 17256 17258 16787 0 -1 4202560 86875 0 0 0 27885 87 0 0 25 0 4 0 520843304 1507692544 327687 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1119.73

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

Current children cumulated CPU time (s) 2556.87
Current children cumulated vsize (KiB) 2105528

[startup+702.301 s]
/proc/loadavg: 7.96 8.09 7.97 5/176 17311
/proc/meminfo: memFree=28651528/32950928 swapFree=67111428/67111528
[pid=17258] ppid=17256 vsize=2201644 CPUtime=2796.53 cores=1,3,5,7
/proc/17258/stat : 17258 (claspmt) R 17256 17258 16787 0 -1 4202496 511097 0 0 0 279159 494 0 0 25 0 4 0 520843049 2254483456 503041 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17258/statm: 550411 503041 460 189 0 544760 0
[pid=17258/tid=17260] ppid=17256 vsize=2201644 CPUtime=699.6 cores=1,3,5,7
/proc/17258/task/17260/stat : 17260 (claspmt) R 17256 17258 16787 0 -1 4202560 120198 0 0 0 69849 111 0 0 25 0 4 0 520843304 2254483456 503041 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17258/tid=17261] ppid=17256 vsize=2201644 CPUtime=695.93 cores=1,3,5,7
/proc/17258/task/17261/stat : 17261 (claspmt) R 17256 17258 16787 0 -1 4202560 92990 0 0 0 69522 71 0 0 25 0 4 0 520843304 2254483456 503041 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17258/tid=17262] ppid=17256 vsize=2201644 CPUtime=698.97 cores=1,3,5,7
/proc/17258/task/17262/stat : 17262 (claspmt) R 17256 17258 16787 0 -1 4202560 172706 0 0 0 69675 222 0 0 25 0 4 0 520843304 2254483456 503041 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670230 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2796.53
Current children cumulated vsize (KiB) 2201644

[startup+762.306 s]
/proc/loadavg: 5.51 7.35 7.72 5/175 17313
/proc/meminfo: memFree=28489504/32950928 swapFree=67111428/67111528
[pid=17258] ppid=17256 vsize=2351688 CPUtime=3036.28 cores=1,3,5,7
/proc/17258/stat : 17258 (claspmt) R 17256 17258 16787 0 -1 4202496 551721 0 0 0 303073 555 0 0 25 0 4 0 520843049 2408128512 543515 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17258/statm: 587922 543515 460 189 0 582271 0
[pid=17258/tid=17260] ppid=17256 vsize=2351688 CPUtime=759.61 cores=1,3,5,7
/proc/17258/task/17260/stat : 17260 (claspmt) R 17256 17258 16787 0 -1 4202560 140603 0 0 0 75833 128 0 0 25 0 4 0 520843304 2408128512 543515 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17258/tid=17261] ppid=17256 vsize=2351688 CPUtime=755.66 cores=1,3,5,7
/proc/17258/task/17261/stat : 17261 (claspmt) R 17256 17258 16787 0 -1 4202560 97601 0 0 0 75493 73 0 0 25 0 4 0 520843304 2408128512 543515 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17258/tid=17262] ppid=17256 vsize=2351688 CPUtime=758.98 cores=1,3,5,7
/proc/17258/task/17262/stat : 17262 (claspmt) R 17256 17258 16787 0 -1 4202560 188313 0 0 0 75634 264 0 0 25 0 4 0 520843304 2408128512 543515 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3036.28
Current children cumulated vsize (KiB) 2351688

[startup+822.301 s]
/proc/loadavg: 4.60 6.76 7.49 5/175 17314
/proc/meminfo: memFree=28356024/32950928 swapFree=67111428/67111528
[pid=17258] ppid=17256 vsize=2448288 CPUtime=3275.96 cores=1,3,5,7
/proc/17258/stat : 17258 (claspmt) R 17256 17258 16787 0 -1 4202496 585173 0 0 0 327003 593 0 0 25 0 4 0 520843049 2507046912 576918 33554432000 4194304 4964704 140737197608432 18446744073709551615 4359867 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17258/statm: 612072 576918 460 189 0 606421 0
[pid=17258/tid=17260] ppid=17256 vsize=2448288 CPUtime=819.61 cores=1,3,5,7
/proc/17258/task/17260/stat : 17260 (claspmt) R 17256 17258 16787 0 -1 4202560 157542 0 0 0 81822 139 0 0 25 0 4 0 520843304 2507046912 576918 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17258/tid=17261] ppid=17256 vsize=2448288 CPUtime=815.37 cores=1,3,5,7
/proc/17258/task/17261/stat : 17261 (claspmt) R 17256 17258 16787 0 -1 4202560 97667 0 0 0 81464 73 0 0 25 0 4 0 520843304 2507046912 576918 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17258/tid=17262] ppid=17256 vsize=2448288 CPUtime=818.96 cores=1,3,5,7
/proc/17258/task/17262/stat : 17262 (claspmt) R 17256 17258 16787 0 -1 4202560 197263 0 0 0 81610 286 0 0 25 0 4 0 520843304 2507046912 576918 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3275.96
Current children cumulated vsize (KiB) 2448288

[startup+882.301 s]
/proc/loadavg: 4.22 6.25 7.27 5/175 17316
/proc/meminfo: memFree=28352864/32950928 swapFree=67111428/67111528
[pid=17258] ppid=17256 vsize=2448288 CPUtime=3515.65 cores=1,3,5,7
/proc/17258/stat : 17258 (claspmt) R 17256 17258 16787 0 -1 4202496 585913 0 0 0 350972 593 0 0 25 0 4 0 520843049 2507046912 577658 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670269 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17258/statm: 612072 577658 460 189 0 606421 0
[pid=17258/tid=17260] ppid=17256 vsize=2448288 CPUtime=879.6 cores=1,3,5,7
/proc/17258/task/17260/stat : 17260 (claspmt) R 17256 17258 16787 0 -1 4202560 157543 0 0 0 87821 139 0 0 25 0 4 0 520843304 2507046912 577658 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17258/tid=17261] ppid=17256 vsize=2448288 CPUtime=875.06 cores=1,3,5,7
/proc/17258/task/17261/stat : 17261 (claspmt) R 17256 17258 16787 0 -1 4202560 97752 0 0 0 87433 73 0 0 25 0 4 0 520843304 2507046912 577658 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17258/tid=17262] ppid=17256 vsize=2448288 CPUtime=878.96 cores=1,3,5,7
/proc/17258/task/17262/stat : 17262 (claspmt) R 17256 17258 16787 0 -1 4202560 197917 0 0 0 87610 286 0 0 25 0 4 0 520843304 2507046912 577658 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3515.65
Current children cumulated vsize (KiB) 2448288

[startup+942.301 s]
/proc/loadavg: 4.08 5.84 7.06 5/175 17317
/proc/meminfo: memFree=28338184/32950928 swapFree=67111428/67111528
[pid=17258] ppid=17256 vsize=2448288 CPUtime=3755.35 cores=1,3,5,7
/proc/17258/stat : 17258 (claspmt) R 17256 17258 16787 0 -1 4202496 589881 0 0 0 374926 609 0 0 25 0 4 0 520843049 2507046912 581626 33554432000 4194304 4964704 140737197608432 18446744073709551615 4332576 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17258/statm: 612072 581626 460 189 0 606421 0
[pid=17258/tid=17260] ppid=17256 vsize=2448288 CPUtime=939.61 cores=1,3,5,7
/proc/17258/task/17260/stat : 17260 (claspmt) R 17256 17258 16787 0 -1 4202560 161427 0 0 0 93806 155 0 0 25 0 4 0 520843304 2507046912 581626 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17258/tid=17261] ppid=17256 vsize=2448288 CPUtime=934.76 cores=1,3,5,7
/proc/17258/task/17261/stat : 17261 (claspmt) R 17256 17258 16787 0 -1 4202560 97824 0 0 0 93403 73 0 0 25 0 4 0 520843304 2507046912 581626 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17258/tid=17262] ppid=17256 vsize=2448288 CPUtime=938.96 cores=1,3,5,7
/proc/17258/task/17262/stat : 17262 (claspmt) R 17256 17258 16787 0 -1 4202560 197920 0 0 0 93610 286 0 0 25 0 4 0 520843304 2507046912 581626 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670291 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3755.35
Current children cumulated vsize (KiB) 2448288

[startup+1002.3 s]
/proc/loadavg: 4.03 5.50 6.87 5/175 17319
/proc/meminfo: memFree=28232844/32950928 swapFree=67111428/67111528
[pid=17258] ppid=17256 vsize=2579360 CPUtime=3995.04 cores=1,3,5,7
/proc/17258/stat : 17258 (claspmt) R 17256 17258 16787 0 -1 4202496 616064 0 0 0 398811 693 0 0 25 0 4 0 520843049 2641264640 607809 33554432000 4194304 4964704 140737197608432 18446744073709551615 4684027 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17258/statm: 644840 607809 460 189 0 639189 0
[pid=17258/tid=17260] ppid=17256 vsize=2579360 CPUtime=999.6 cores=1,3,5,7
/proc/17258/task/17260/stat : 17260 (claspmt) R 17256 17258 16787 0 -1 4202560 174165 0 0 0 99766 194 0 0 25 0 4 0 520843304 2641264640 607809 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17258/tid=17261] ppid=17256 vsize=2579360 CPUtime=994.46 cores=1,3,5,7
/proc/17258/task/17261/stat : 17261 (claspmt) R 17256 17258 16787 0 -1 4202560 97982 0 0 0 99372 74 0 0 25 0 4 0 520843304 2641264640 607809 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17258/tid=17262] ppid=17256 vsize=2579360 CPUtime=998.96 cores=1,3,5,7
/proc/17258/task/17262/stat : 17262 (claspmt) R 17256 17258 16787 0 -1 4202560 211101 0 0 0 99566 330 0 0 25 0 4 0 520843304 2641264640 607809 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3995.04
Current children cumulated vsize (KiB) 2579360

[startup+1062.3 s]
/proc/loadavg: 4.05 5.24 6.69 5/175 17321
/proc/meminfo: memFree=28174140/32950928 swapFree=67111428/67111528
[pid=17258] ppid=17256 vsize=2644896 CPUtime=4234.75 cores=1,3,5,7
/proc/17258/stat : 17258 (claspmt) R 17256 17258 16787 0 -1 4202496 630620 0 0 0 422722 753 0 0 25 0 4 0 520843049 2708373504 622365 33554432000 4194304 4964704 140737197608432 18446744073709551615 4668488 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17258/statm: 661224 622365 460 189 0 655573 0
[pid=17258/tid=17260] ppid=17256 vsize=2644896 CPUtime=1059.6 cores=1,3,5,7
/proc/17258/task/17260/stat : 17260 (claspmt) R 17256 17258 16787 0 -1 4202560 174254 0 0 0 105766 194 0 0 25 0 4 0 520843304 2708373504 622365 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670298 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17258/tid=17261] ppid=17256 vsize=2644896 CPUtime=1054.16 cores=1,3,5,7
/proc/17258/task/17261/stat : 17261 (claspmt) R 17256 17258 16787 0 -1 4202560 98067 0 0 0 105342 74 0 0 25 0 4 0 520843304 2708373504 622365 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17258/tid=17262] ppid=17256 vsize=2644896 CPUtime=1058.97 cores=1,3,5,7
/proc/17258/task/17262/stat : 17262 (claspmt) R 17256 17258 16787 0 -1 4202560 225464 0 0 0 105507 390 0 0 25 0 4 0 520843304 2708373504 622365 33554432000 4194304 4964704 140737197608432 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4234.75
Current children cumulated vsize (KiB) 2644896

[startup+1122.3 s]
/proc/loadavg: 4.02 5.01 6.52 5/175 17322
/proc/meminfo: memFree=28164156/32950928 swapFree=67111428/67111528
[pid=17258] ppid=17256 vsize=2644896 CPUtime=4474.45 cores=1,3,5,7
/proc/17258/stat : 17258 (claspmt) R 17256 17258 16787 0 -1 4202496 633173 0 0 0 446692 753 0 0 25 0 4 0 520843049 2708373504 624918 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17258/statm: 661224 624918 460 189 0 655573 0
[pid=17258/tid=17260] ppid=17256 vsize=2644896 CPUtime=1119.6 cores=1,3,5,7
/proc/17258/task/17260/stat : 17260 (claspmt) R 17256 17258 16787 0 -1 4202560 176653 0 0 0 111766 194 0 0 25 0 4 0 520843304 2708373504 624918 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17258/tid=17261] ppid=17256 vsize=2644896 CPUtime=1113.86 cores=1,3,5,7
/proc/17258/task/17261/stat : 17261 (claspmt) R 17256 17258 16787 0 -1 4202560 98123 0 0 0 111312 74 0 0 25 0 4 0 520843304 2708373504 624918 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17258/tid=17262] ppid=17256 vsize=2644896 CPUtime=1118.97 cores=1,3,5,7
/proc/17258/task/17262/stat : 17262 (claspmt) R 17256 17258 16787 0 -1 4202560 225487 0 0 0 111507 390 0 0 25 0 4 0 520843304 2708373504 624918 33554432000 4194304 4964704 140737197608432 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4474.45
Current children cumulated vsize (KiB) 2644896

[startup+1182.3 s]
/proc/loadavg: 4.04 4.84 6.36 5/175 17324
/proc/meminfo: memFree=28123924/32950928 swapFree=67111428/67111528
[pid=17258] ppid=17256 vsize=2686288 CPUtime=4714.17 cores=1,3,5,7
/proc/17258/stat : 17258 (claspmt) R 17256 17258 16787 0 -1 4202496 643465 0 0 0 470656 761 0 0 25 0 4 0 520843049 2750758912 635210 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670560 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17258/statm: 671572 635210 460 189 0 665921 0
[pid=17258/tid=17260] ppid=17256 vsize=2686288 CPUtime=1179.6 cores=1,3,5,7
/proc/17258/task/17260/stat : 17260 (claspmt) R 17256 17258 16787 0 -1 4202560 176653 0 0 0 117766 194 0 0 25 0 4 0 520843304 2750758912 635210 33554432000 4194304 4964704 140737197608432 18446744073709551615 4362287 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17258/tid=17261] ppid=17256 vsize=2686288 CPUtime=1173.58 cores=1,3,5,7
/proc/17258/task/17261/stat : 17261 (claspmt) R 17256 17258 16787 0 -1 4202560 98174 0 0 0 117283 75 0 0 25 0 4 0 520843304 2750758912 635210 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17258/tid=17262] ppid=17256 vsize=2686288 CPUtime=1178.96 cores=1,3,5,7
/proc/17258/task/17262/stat : 17262 (claspmt) R 17256 17258 16787 0 -1 4202560 235675 0 0 0 117499 397 0 0 25 0 4 0 520843304 2750758912 635210 33554432000 4194304 4964704 140737197608432 18446744073709551615 4342909 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4714.17
Current children cumulated vsize (KiB) 2686288



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.8 s]
/proc/loadavg: 4.08 4.79 6.31 5/175 17324
/proc/meminfo: memFree=28098864/32950928 swapFree=67111428/67111528
[pid=17258] ppid=17256 vsize=2707200 CPUtime=4800.08 cores=1,3,5,7
/proc/17258/stat : 17258 (claspmt) R 17256 17258 16787 0 -1 4202496 649428 0 0 0 479243 765 0 0 25 0 4 0 520843049 2772172800 641173 33554432000 4194304 4964704 140737197608432 18446744073709551615 4362287 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/17258/statm: 676800 641173 460 189 0 671149 0
[pid=17258/tid=17260] ppid=17256 vsize=2707200 CPUtime=1201.11 cores=1,3,5,7
/proc/17258/task/17260/stat : 17260 (claspmt) R 17256 17258 16787 0 -1 4202560 177293 0 0 0 119917 194 0 0 25 0 4 0 520843304 2772172800 641173 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17258/tid=17261] ppid=17256 vsize=2707200 CPUtime=1194.97 cores=1,3,5,7
/proc/17258/task/17261/stat : 17261 (claspmt) R 17256 17258 16787 0 -1 4202560 98193 0 0 0 119422 75 0 0 25 0 4 0 520843304 2772172800 641173 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17258/tid=17262] ppid=17256 vsize=2707200 CPUtime=1200.47 cores=1,3,5,7
/proc/17258/task/17262/stat : 17262 (claspmt) R 17256 17258 16787 0 -1 4202560 240876 0 0 0 119646 401 0 0 25 0 4 0 520843304 2772172800 641173 33554432000 4194304 4964704 140737197608432 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 2707200

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

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

[startup+1204.2 s]
/proc/loadavg: 4.08 4.79 6.31 5/175 17324
/proc/meminfo: memFree=28098864/32950928 swapFree=67111428/67111528
[pid=17258] ppid=17256 vsize=307804 CPUtime=4800.49 cores=1,3,5,7
/proc/17258/stat : 17258 (claspmt) R 17256 17258 16787 0 -1 4202496 649441 0 0 0 479274 775 0 0 25 0 1 0 520843049 315191296 33919 33554432000 4194304 4964704 140737197608432 18446744073709551615 248089724010 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17258/statm: 76951 33675 471 189 0 71300 0
Current children cumulated CPU time (s) 4800.49
Current children cumulated vsize (KiB) 307804

Child status: 0
Real time (s): 1204.21
CPU time (s): 4800.5
CPU user time (s): 4792.74
CPU system time (s): 7.76382
CPU usage (%): 398.644
Max. virtual memory (cumulated for all children) (KiB): 2707200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.74
system time used= 7.76382
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 649442
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= 20509
involuntary context switches= 35023

runsolver used 1.91071 second user time and 4.40833 second system time

The end

Launcher Data 

Begin job on node123 at 2011-04-29 17:53:53
IDJOB=3299400
IDBENCH=83251
IDSOLVER=1683
FILE ID=node123/3299400-1304092431
RUNJOBID= node123-1304089895-16806
PBS_JOBID= 13170573
Free space on /tmp= 72792 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-5-5_34309.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-3299400-1304092431/watcher-3299400-1304092431 -o /tmp/evaluation-result-3299400-1304092431/solver-3299400-1304092431 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299400-1304092431.cnf

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

MD5SUM BENCH= e252fbf81407f3388187ab50f0786909
RANDOM SEED=1961085737

node123.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.838
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.67
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.838
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.15
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.838
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.75
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.838
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.82
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.838
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.838
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.80
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.838
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.74
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.838
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:     32950928 kB
MemFree:      30107736 kB
Buffers:        559968 kB
Cached:        1300360 kB
SwapCached:        100 kB
Active:         701700 kB
Inactive:      1779148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30107736 kB
SwapTotal:    67111528 kB
SwapFree:     67111428 kB
Dirty:           23552 kB
Writeback:           0 kB
AnonPages:      620084 kB
Mapped:          15740 kB
Slab:           298912 kB
PageTables:       5848 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   777576 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= 72796 MiB
End job on node123 at 2011-04-29 18:13:58