Trace number 3299622

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.29 1202.1

General information on the benchmark

NameSAT05/crafted/sabharwal05/counting/php/unsat/
easier/php-045-035.shuffled-as.sat05-1181.cnf
MD5SUM057b78ff24cc0773c9c67e770a7b9de2
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark44.4072
Satisfiable
(Un)Satisfiability was proved
Number of variables1575
Number of clauses34695
Sum of the clauses size70875
Maximum clause length35
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 234650
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...104878/instance-3299622-1304104878.cnf
0.09/0.10	c Solving...
4800.18/1202.01	
4800.18/1202.01	*** INTERRUPTED! ***
4800.18/1202.01	*** Shutting down threads...
4800.18/1202.09	s UNKNOWN
4800.18/1202.09	
4800.18/1202.09	c INTERRUPTED   : 1
4800.18/1202.09	c Models        : 0+    
4800.18/1202.09	c Time          : 1202.009s (Solving: 1201.91s 1st Model: 0.00s Unsat: 0.00s)
4800.18/1202.09	c CPU Time      : 4800.200s

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-3299622-1304104878/watcher-3299622-1304104878 -o /tmp/evaluation-result-3299622-1304104878/solver-3299622-1304104878 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299622-1304104878.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.95 7.94 7.35 6/180 31601
/proc/meminfo: memFree=30936976/32951124 swapFree=67111364/67111528
[pid=31601] ppid=31599 vsize=21520 CPUtime=0 cores=1,3,5,7
/proc/31601/stat : 31601 (claspmt) R 31599 31601 31273 0 -1 4202496 675 0 0 0 0 0 0 0 25 0 1 0 522085758 22036480 593 33554432000 4194304 4964704 140736623527488 18446744073709551615 228244348672 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/31601/statm: 5380 594 385 189 0 254 0

[startup+0.0582411 s]
/proc/loadavg: 7.95 7.94 7.35 6/180 31601
/proc/meminfo: memFree=30936976/32951124 swapFree=67111364/67111528
[pid=31601] ppid=31599 vsize=23776 CPUtime=0.05 cores=1,3,5,7
/proc/31601/stat : 31601 (claspmt) R 31599 31601 31273 0 -1 4202496 1346 0 0 0 5 0 0 0 25 0 1 0 522085758 24346624 1160 33554432000 4194304 4964704 140736623527488 18446744073709551615 228244009669 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/31601/statm: 5944 1160 399 189 0 818 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 23776

[startup+0.10022 s]
/proc/loadavg: 7.95 7.94 7.35 6/180 31601
/proc/meminfo: memFree=30936976/32951124 swapFree=67111364/67111528
[pid=31601] ppid=31599 vsize=24172 CPUtime=0.09 cores=1,3,5,7
/proc/31601/stat : 31601 (claspmt) R 31599 31601 31273 0 -1 4202496 1453 0 0 0 9 0 0 0 25 0 1 0 522085758 24752128 1267 33554432000 4194304 4964704 140736623527488 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/31601/statm: 6043 1267 399 189 0 917 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24172

[startup+0.300154 s]
/proc/loadavg: 7.95 7.94 7.35 6/180 31601
/proc/meminfo: memFree=30936976/32951124 swapFree=67111364/67111528
[pid=31601] ppid=31599 vsize=174496 CPUtime=0.86 cores=1,3,5,7
/proc/31601/stat : 31601 (claspmt) R 31599 31601 31273 0 -1 4202496 4736 0 0 0 85 1 0 0 25 0 4 0 522085758 178683904 4466 33554432000 4194304 4964704 140736623527488 18446744073709551615 4332557 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/31601/statm: 43624 4466 458 189 0 37973 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 174496

[startup+0.906155 s]
/proc/loadavg: 7.95 7.94 7.35 6/180 31601
/proc/meminfo: memFree=30936976/32951124 swapFree=67111364/67111528
[pid=31601] ppid=31599 vsize=253620 CPUtime=4.15 cores=1,3,5,7
/proc/31601/stat : 31601 (claspmt) R 31599 31601 31273 0 -1 4202496 14871 0 0 0 410 5 0 0 25 0 4 0 522085758 259706880 14601 33554432000 4194304 4964704 140736623527488 18446744073709551615 228244453919 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/31601/statm: 63405 14602 458 189 0 57754 0
Current children cumulated CPU time (s) 4.15
Current children cumulated vsize (KiB) 253620

[startup+1.50095 s]
/proc/loadavg: 7.95 7.94 7.35 6/180 31601
/proc/meminfo: memFree=30936976/32951124 swapFree=67111364/67111528
[pid=31601] ppid=31599 vsize=260616 CPUtime=5.66 cores=1,3,5,7
/proc/31601/stat : 31601 (claspmt) R 31599 31601 31273 0 -1 4202496 19980 0 0 0 560 6 0 0 25 0 4 0 522085758 266870784 19710 33554432000 4194304 4964704 140736623527488 18446744073709551615 4670266 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/31601/statm: 65154 19710 458 189 0 59503 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 260616

[startup+3.10067 s]
/proc/loadavg: 7.95 7.94 7.35 9/184 31605
/proc/meminfo: memFree=30847356/32951124 swapFree=67111364/67111528
[pid=31601] ppid=31599 vsize=262468 CPUtime=12.05 cores=1,3,5,7
/proc/31601/stat : 31601 (claspmt) R 31599 31601 31273 0 -1 4202496 24094 0 0 0 1197 8 0 0 25 0 4 0 522085758 268767232 23824 33554432000 4194304 4964704 140736623527488 18446744073709551615 4362295 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/31601/statm: 65617 23824 458 189 0 59966 0
[pid=31601/tid=31603] ppid=31599 vsize=262468 CPUtime=2.98 cores=1,3,5,7
/proc/31601/task/31603/stat : 31603 (claspmt) R 31599 31601 31273 0 -1 4202560 6127 0 0 0 296 2 0 0 23 0 4 0 522085769 268767232 23824 33554432000 4194304 4964704 140736623527488 18446744073709551615 4332519 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31601/tid=31604] ppid=31599 vsize=262468 CPUtime=2.97 cores=1,3,5,7
/proc/31601/task/31604/stat : 31604 (claspmt) R 31599 31601 31273 0 -1 4202560 7247 0 0 0 295 2 0 0 23 0 4 0 522085769 268767232 23824 33554432000 4194304 4964704 140736623527488 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31601/tid=31605] ppid=31599 vsize=262468 CPUtime=2.98 cores=1,3,5,7
/proc/31601/task/31605/stat : 31605 (claspmt) R 31599 31601 31273 0 -1 4202560 5043 0 0 0 296 2 0 0 25 0 4 0 522085769 268767232 23824 33554432000 4194304 4964704 140736623527488 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.05
Current children cumulated vsize (KiB) 262468

[startup+6.30111 s]
/proc/loadavg: 7.95 7.94 7.36 9/184 31606
/proc/meminfo: memFree=30804212/32951124 swapFree=67111364/67111528
[pid=31601] ppid=31599 vsize=280116 CPUtime=24.83 cores=1,3,5,7
/proc/31601/stat : 31601 (claspmt) R 31599 31601 31273 0 -1 4202496 34583 0 0 0 2472 11 0 0 25 0 4 0 522085758 286838784 34313 33554432000 4194304 4964704 140736623527488 18446744073709551615 4325392 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/31601/statm: 70029 34313 460 189 0 64378 0
[pid=31601/tid=31603] ppid=31599 vsize=280116 CPUtime=6.18 cores=1,3,5,7
/proc/31601/task/31603/stat : 31603 (claspmt) R 31599 31601 31273 0 -1 4202560 7259 0 0 0 616 2 0 0 25 0 4 0 522085769 286838784 34313 33554432000 4194304 4964704 140736623527488 18446744073709551615 4670263 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31601/tid=31604] ppid=31599 vsize=280116 CPUtime=6.15 cores=1,3,5,7
/proc/31601/task/31604/stat : 31604 (claspmt) R 31599 31601 31273 0 -1 4202560 11798 0 0 0 612 3 0 0 25 0 4 0 522085769 286838784 34313 33554432000 4194304 4964704 140736623527488 18446744073709551615 4670184 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31601/tid=31605] ppid=31599 vsize=280116 CPUtime=6.18 cores=1,3,5,7
/proc/31601/task/31605/stat : 31605 (claspmt) R 31599 31601 31273 0 -1 4202560 6000 0 0 0 616 2 0 0 25 0 4 0 522085769 286838784 34313 33554432000 4194304 4964704 140736623527488 18446744073709551615 228244046426 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.83
Current children cumulated vsize (KiB) 280116

[startup+12.707 s]
/proc/loadavg: 7.96 7.94 7.36 9/184 31606
/proc/meminfo: memFree=30759444/32951124 swapFree=67111364/67111528
[pid=31601] ppid=31599 vsize=281568 CPUtime=50.41 cores=1,3,5,7
/proc/31601/stat : 31601 (claspmt) R 31599 31601 31273 0 -1 4202496 44484 0 0 0 5025 16 0 0 25 0 4 0 522085758 288325632 44214 33554432000 4194304 4964704 140736623527488 18446744073709551615 4342149 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/31601/statm: 70392 44214 460 189 0 64741 0
[pid=31601/tid=31603] ppid=31599 vsize=281568 CPUtime=12.59 cores=1,3,5,7
/proc/31601/task/31603/stat : 31603 (claspmt) R 31599 31601 31273 0 -1 4202560 10668 0 0 0 1255 4 0 0 25 0 4 0 522085769 288325632 44214 33554432000 4194304 4964704 140736623527488 18446744073709551615 4670243 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31601/tid=31604] ppid=31599 vsize=281568 CPUtime=12.52 cores=1,3,5,7
/proc/31601/task/31604/stat : 31604 (claspmt) R 31599 31601 31273 0 -1 4202560 12656 0 0 0 1249 3 0 0 25 0 4 0 522085769 288325632 44214 33554432000 4194304 4964704 140736623527488 18446744073709551615 4670281 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31601/tid=31605] ppid=31599 vsize=281568 CPUtime=12.59 cores=1,3,5,7
/proc/31601/task/31605/stat : 31605 (claspmt) R 31599 31601 31273 0 -1 4202560 9672 0 0 0 1255 4 0 0 25 0 4 0 522085769 288325632 44214 33554432000 4194304 4964704 140736623527488 18446744073709551615 4332545 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.41
Current children cumulated vsize (KiB) 281568

[startup+25.5007 s]
/proc/loadavg: 7.96 7.94 7.37 9/184 31666
/proc/meminfo: memFree=30497416/32951124 swapFree=67111364/67111528
[pid=31601] ppid=31599 vsize=513608 CPUtime=101.52 cores=1,3,5,7
/proc/31601/stat : 31601 (claspmt) R 31599 31601 31273 0 -1 4202496 80189 0 0 0 10122 30 0 0 25 0 4 0 522085758 525934592 79617 33554432000 4194304 4964704 140736623527488 18446744073709551615 4653184 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/31601/statm: 128402 79617 460 189 0 122751 0
[pid=31601/tid=31603] ppid=31599 vsize=513608 CPUtime=25.38 cores=1,3,5,7
/proc/31601/task/31603/stat : 31603 (claspmt) R 31599 31601 31273 0 -1 4202560 17680 0 0 0 2532 6 0 0 25 0 4 0 522085769 525934592 79617 33554432000 4194304 4964704 140736623527488 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31601/tid=31604] ppid=31599 vsize=513608 CPUtime=25.24 cores=1,3,5,7
/proc/31601/task/31604/stat : 31604 (claspmt) R 31599 31601 31273 0 -1 4202560 18970 0 0 0 2519 5 0 0 25 0 4 0 522085769 525934592 79617 33554432000 4194304 4964704 140736623527488 18446744073709551615 4320976 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31601/tid=31605] ppid=31599 vsize=513608 CPUtime=25.38 cores=1,3,5,7
/proc/31601/task/31605/stat : 31605 (claspmt) R 31599 31601 31273 0 -1 4202560 28356 0 0 0 2526 12 0 0 25 0 4 0 522085769 525934592 79617 33554432000 4194304 4964704 140736623527488 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 513608

[startup+51.1003 s]
/proc/loadavg: 7.98 7.95 7.38 9/184 31667
/proc/meminfo: memFree=30197756/32951124 swapFree=67111364/67111528
[pid=31601] ppid=31599 vsize=535872 CPUtime=203.77 cores=1,3,5,7
/proc/31601/stat : 31601 (claspmt) R 31599 31601 31273 0 -1 4202496 110791 0 0 0 20334 43 0 0 25 0 4 0 522085758 548732928 110197 33554432000 4194304 4964704 140736623527488 18446744073709551615 4332491 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/31601/statm: 133968 110197 460 189 0 128317 0
[pid=31601/tid=31603] ppid=31599 vsize=535872 CPUtime=50.96 cores=1,3,5,7
/proc/31601/task/31603/stat : 31603 (claspmt) R 31599 31601 31273 0 -1 4202560 29010 0 0 0 5086 10 0 0 25 0 4 0 522085769 548732928 110197 33554432000 4194304 4964704 140736623527488 18446744073709551615 4332519 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31601/tid=31604] ppid=31599 vsize=535872 CPUtime=50.7 cores=1,3,5,7
/proc/31601/task/31604/stat : 31604 (claspmt) R 31599 31601 31273 0 -1 4202560 20611 0 0 0 5065 5 0 0 25 0 4 0 522085769 548732928 110197 33554432000 4194304 4964704 140736623527488 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31601/tid=31605] ppid=31599 vsize=535872 CPUtime=50.98 cores=1,3,5,7
/proc/31601/task/31605/stat : 31605 (claspmt) R 31599 31601 31273 0 -1 4202560 40428 0 0 0 5081 17 0 0 25 0 4 0 522085769 548732928 110197 33554432000 4194304 4964704 140736623527488 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.77
Current children cumulated vsize (KiB) 535872

[startup+102.3 s]
/proc/loadavg: 8.07 7.98 7.42 9/184 31668
/proc/meminfo: memFree=29904092/32951124 swapFree=67111364/67111528
[pid=31601] ppid=31599 vsize=688792 CPUtime=408.23 cores=1,3,5,7
/proc/31601/stat : 31601 (claspmt) R 31599 31601 31273 0 -1 4202496 135385 0 0 0 40766 57 0 0 25 0 4 0 522085758 705323008 134664 33554432000 4194304 4964704 140736623527488 18446744073709551615 4342223 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/31601/statm: 172198 134664 460 189 0 166547 0
[pid=31601/tid=31603] ppid=31599 vsize=688792 CPUtime=102.13 cores=1,3,5,7
/proc/31601/task/31603/stat : 31603 (claspmt) R 31599 31601 31273 0 -1 4202560 42968 0 0 0 10196 17 0 0 25 0 4 0 522085769 705323008 134664 33554432000 4194304 4964704 140736623527488 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31601/tid=31604] ppid=31599 vsize=688792 CPUtime=101.62 cores=1,3,5,7
/proc/31601/task/31604/stat : 31604 (claspmt) R 31599 31601 31273 0 -1 4202560 23513 0 0 0 10154 8 0 0 25 0 4 0 522085769 705323008 134664 33554432000 4194304 4964704 140736623527488 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31601/tid=31605] ppid=31599 vsize=688792 CPUtime=102.17 cores=1,3,5,7
/proc/31601/task/31605/stat : 31605 (claspmt) R 31599 31601 31273 0 -1 4202560 42177 0 0 0 10198 19 0 0 25 0 4 0 522085769 705323008 134664 33554432000 4194304 4964704 140736623527488 18446744073709551615 4660075 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.23
Current children cumulated vsize (KiB) 688792

[startup+162.307 s]
/proc/loadavg: 8.07 8.00 7.46 9/184 31670
/proc/meminfo: memFree=29631020/32951124 swapFree=67111364/67111528
[pid=31601] ppid=31599 vsize=820928 CPUtime=647.87 cores=1,3,5,7
/proc/31601/stat : 31601 (claspmt) R 31599 31601 31273 0 -1 4202496 161559 0 0 0 64719 68 0 0 25 0 4 0 522085758 840630272 160838 33554432000 4194304 4964704 140736623527488 18446744073709551615 4332507 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/31601/statm: 205232 160838 460 189 0 199581 0
[pid=31601/tid=31603] ppid=31599 vsize=820928 CPUtime=162.1 cores=1,3,5,7
/proc/31601/task/31603/stat : 31603 (claspmt) R 31599 31601 31273 0 -1 4202560 48556 0 0 0 16190 20 0 0 25 0 4 0 522085769 840630272 160838 33554432000 4194304 4964704 140736623527488 18446744073709551615 4653432 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31601/tid=31604] ppid=31599 vsize=820928 CPUtime=161.29 cores=1,3,5,7
/proc/31601/task/31604/stat : 31604 (claspmt) R 31599 31601 31273 0 -1 4202560 35878 0 0 0 16117 12 0 0 25 0 4 0 522085769 840630272 160838 33554432000 4194304 4964704 140736623527488 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31601/tid=31605] ppid=31599 vsize=820928 CPUtime=162.17 cores=1,3,5,7
/proc/31601/task/31605/stat : 31605 (claspmt) R 31599 31601 31273 0 -1 4202560 47975 0 0 0 16196 21 0 0 25 0 4 0 522085769 840630272 160838 33554432000 4194304 4964704 140736623527488 18446744073709551615 228244010017 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 647.87
Current children cumulated vsize (KiB) 820928

[startup+222.3 s]
/proc/loadavg: 8.10 8.03 7.50 9/184 31671
/proc/meminfo: memFree=29453676/32951124 swapFree=67111364/67111528
[pid=31601] ppid=31599 vsize=891264 CPUtime=887.48 cores=1,3,5,7
/proc/31601/stat : 31601 (claspmt) R 31599 31601 31273 0 -1 4202496 193492 0 0 0 88662 86 0 0 25 0 4 0 522085758 912654336 192399 33554432000 4194304 4964704 140736623527488 18446744073709551615 4342157 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/31601/statm: 222816 192399 460 189 0 217165 0
[pid=31601/tid=31603] ppid=31599 vsize=891264 CPUtime=222.06 cores=1,3,5,7
/proc/31601/task/31603/stat : 31603 (claspmt) R 31599 31601 31273 0 -1 4202560 60256 0 0 0 22180 26 0 0 25 0 4 0 522085769 912654336 192399 33554432000 4194304 4964704 140736623527488 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31601/tid=31604] ppid=31599 vsize=891264 CPUtime=220.96 cores=1,3,5,7
/proc/31601/task/31604/stat : 31604 (claspmt) R 31599 31601 31273 0 -1 4202560 53620 0 0 0 22074 22 0 0 25 0 4 0 522085769 912654336 192399 33554432000 4194304 4964704 140736623527488 18446744073709551615 4670215 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31601/tid=31605] ppid=31599 vsize=891264 CPUtime=222.16 cores=1,3,5,7
/proc/31601/task/31605/stat : 31605 (claspmt) R 31599 31601 31273 0 -1 4202560 50366 0 0 0 22194 22 0 0 25 0 4 0 522085769 912654336 192399 33554432000 4194304 4964704 140736623527488 18446744073709551615 4653275 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 887.48
Current children cumulated vsize (KiB) 891264

[startup+282.301 s]
/proc/loadavg: 8.07 8.03 7.54 9/184 31673
/proc/meminfo: memFree=29426116/32951124 swapFree=67111364/67111528
[pid=31601] ppid=31599 vsize=918616 CPUtime=1127.08 cores=1,3,5,7
/proc/31601/stat : 31601 (claspmt) R 31599 31601 31273 0 -1 4202496 200364 0 0 0 112619 89 0 0 25 0 4 0 522085758 940662784 199258 33554432000 4194304 4964704 140736623527488 18446744073709551615 4653563 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/31601/statm: 229654 199258 460 189 0 224003 0
[pid=31601/tid=31603] ppid=31599 vsize=918616 CPUtime=281.8 cores=1,3,5,7

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

[pid=31601] ppid=31599 vsize=1049688 CPUtime=2564.79 cores=1,3,5,7
/proc/31601/stat : 31601 (claspmt) R 31599 31601 31273 0 -1 4202496 240404 0 0 0 256358 121 0 0 25 0 4 0 522085758 1074880512 235920 33554432000 4194304 4964704 140736623527488 18446744073709551615 4684027 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/31601/statm: 262422 235920 460 189 0 256771 0
[pid=31601/tid=31603] ppid=31599 vsize=1049688 CPUtime=639.61 cores=1,3,5,7
/proc/31601/task/31603/stat : 31603 (claspmt) R 31599 31601 31273 0 -1 4202560 64595 0 0 0 63929 32 0 0 25 0 4 0 522085769 1074880512 235920 33554432000 4194304 4964704 140736623527488 18446744073709551615 4332494 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31601/tid=31604] ppid=31599 vsize=1049688 CPUtime=640.82 cores=1,3,5,7
/proc/31601/task/31604/stat : 31604 (claspmt) R 31599 31601 31273 0 -1 4202560 60683 0 0 0 64054 28 0 0 25 0 4 0 522085769 1074880512 235920 33554432000 4194304 4964704 140736623527488 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31601/tid=31605] ppid=31599 vsize=1049688 CPUtime=642.12 cores=1,3,5,7
/proc/31601/task/31605/stat : 31605 (claspmt) R 31599 31601 31273 0 -1 4202560 72763 0 0 0 64175 37 0 0 25 0 4 0 522085769 1074880512 235920 33554432000 4194304 4964704 140736623527488 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2564.79
Current children cumulated vsize (KiB) 1049688

[startup+702.3 s]
/proc/loadavg: 8.15 8.09 7.73 9/184 31684
/proc/meminfo: memFree=29135932/32951124 swapFree=67111364/67111528
[pid=31601] ppid=31599 vsize=1049688 CPUtime=2804.44 cores=1,3,5,7
/proc/31601/stat : 31601 (claspmt) R 31599 31601 31273 0 -1 4202496 245374 0 0 0 280319 125 0 0 25 0 4 0 522085758 1074880512 240890 33554432000 4194304 4964704 140736623527488 18446744073709551615 4670263 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/31601/statm: 262422 240890 460 189 0 256771 0
[pid=31601/tid=31603] ppid=31599 vsize=1049688 CPUtime=699.26 cores=1,3,5,7
/proc/31601/task/31603/stat : 31603 (claspmt) R 31599 31601 31273 0 -1 4202560 64601 0 0 0 69893 33 0 0 25 0 4 0 522085769 1074880512 240890 33554432000 4194304 4964704 140736623527488 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31601/tid=31604] ppid=31599 vsize=1049688 CPUtime=700.82 cores=1,3,5,7
/proc/31601/task/31604/stat : 31604 (claspmt) R 31599 31601 31273 0 -1 4202560 60686 0 0 0 70054 28 0 0 25 0 4 0 522085769 1074880512 240890 33554432000 4194304 4964704 140736623527488 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31601/tid=31605] ppid=31599 vsize=1049688 CPUtime=702.12 cores=1,3,5,7
/proc/31601/task/31605/stat : 31605 (claspmt) R 31599 31601 31273 0 -1 4202560 72766 0 0 0 70175 37 0 0 25 0 4 0 522085769 1074880512 240890 33554432000 4194304 4964704 140736623527488 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2804.44
Current children cumulated vsize (KiB) 1049688

[startup+762.301 s]
/proc/loadavg: 8.16 8.10 7.75 9/184 31686
/proc/meminfo: memFree=29113840/32951124 swapFree=67111364/67111528
[pid=31601] ppid=31599 vsize=1049688 CPUtime=3044.08 cores=1,3,5,7
/proc/31601/stat : 31601 (claspmt) R 31599 31601 31273 0 -1 4202496 250925 0 0 0 304280 128 0 0 25 0 4 0 522085758 1074880512 246436 33554432000 4194304 4964704 140736623527488 18446744073709551615 4342232 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/31601/statm: 262422 246436 460 189 0 256771 0
[pid=31601/tid=31603] ppid=31599 vsize=1049688 CPUtime=758.92 cores=1,3,5,7
/proc/31601/task/31603/stat : 31603 (claspmt) R 31599 31601 31273 0 -1 4202560 70137 0 0 0 75857 35 0 0 25 0 4 0 522085769 1074880512 246436 33554432000 4194304 4964704 140736623527488 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31601/tid=31604] ppid=31599 vsize=1049688 CPUtime=760.81 cores=1,3,5,7
/proc/31601/task/31604/stat : 31604 (claspmt) R 31599 31601 31273 0 -1 4202560 60690 0 0 0 76053 28 0 0 25 0 4 0 522085769 1074880512 246436 33554432000 4194304 4964704 140736623527488 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31601/tid=31605] ppid=31599 vsize=1049688 CPUtime=762.11 cores=1,3,5,7
/proc/31601/task/31605/stat : 31605 (claspmt) R 31599 31601 31273 0 -1 4202560 72775 0 0 0 76174 37 0 0 25 0 4 0 522085769 1074880512 246436 33554432000 4194304 4964704 140736623527488 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3044.08
Current children cumulated vsize (KiB) 1049688

[startup+822.306 s]
/proc/loadavg: 8.11 8.09 7.77 9/184 31687
/proc/meminfo: memFree=29023060/32951124 swapFree=67111364/67111528
[pid=31601] ppid=31599 vsize=1180760 CPUtime=3283.73 cores=1,3,5,7
/proc/31601/stat : 31601 (claspmt) R 31599 31601 31273 0 -1 4202496 268716 0 0 0 328234 139 0 0 25 0 4 0 522085758 1209098240 264222 33554432000 4194304 4964704 140736623527488 18446744073709551615 4670255 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/31601/statm: 295190 264222 460 189 0 289539 0
[pid=31601/tid=31603] ppid=31599 vsize=1180760 CPUtime=818.57 cores=1,3,5,7
/proc/31601/task/31603/stat : 31603 (claspmt) R 31599 31601 31273 0 -1 4202560 70395 0 0 0 81821 36 0 0 25 0 4 0 522085769 1209098240 264222 33554432000 4194304 4964704 140736623527488 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31601/tid=31604] ppid=31599 vsize=1180760 CPUtime=820.81 cores=1,3,5,7
/proc/31601/task/31604/stat : 31604 (claspmt) R 31599 31601 31273 0 -1 4202560 60691 0 0 0 82053 28 0 0 25 0 4 0 522085769 1209098240 264222 33554432000 4194304 4964704 140736623527488 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31601/tid=31605] ppid=31599 vsize=1180760 CPUtime=822.11 cores=1,3,5,7
/proc/31601/task/31605/stat : 31605 (claspmt) R 31599 31601 31273 0 -1 4202560 89730 0 0 0 82164 47 0 0 25 0 4 0 522085769 1209098240 264222 33554432000 4194304 4964704 140736623527488 18446744073709551615 4342199 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3283.73
Current children cumulated vsize (KiB) 1180760

[startup+882.301 s]
/proc/loadavg: 8.09 8.09 7.79 9/184 31689
/proc/meminfo: memFree=28897792/32951124 swapFree=67111364/67111528
[pid=31601] ppid=31599 vsize=1180760 CPUtime=3523.34 cores=1,3,5,7
/proc/31601/stat : 31601 (claspmt) R 31599 31601 31273 0 -1 4202496 270238 0 0 0 352192 142 0 0 25 0 4 0 522085758 1209098240 265744 33554432000 4194304 4964704 140736623527488 18446744073709551615 4332462 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/31601/statm: 295190 265744 460 189 0 289539 0
[pid=31601/tid=31603] ppid=31599 vsize=1180760 CPUtime=878.21 cores=1,3,5,7
/proc/31601/task/31603/stat : 31603 (claspmt) R 31599 31601 31273 0 -1 4202560 70416 0 0 0 87785 36 0 0 25 0 4 0 522085769 1209098240 265744 33554432000 4194304 4964704 140736623527488 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31601/tid=31604] ppid=31599 vsize=1180760 CPUtime=880.8 cores=1,3,5,7
/proc/31601/task/31604/stat : 31604 (claspmt) R 31599 31601 31273 0 -1 4202560 60700 0 0 0 88052 28 0 0 25 0 4 0 522085769 1209098240 265744 33554432000 4194304 4964704 140736623527488 18446744073709551615 4644183 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31601/tid=31605] ppid=31599 vsize=1180760 CPUtime=882.09 cores=1,3,5,7
/proc/31601/task/31605/stat : 31605 (claspmt) R 31599 31601 31273 0 -1 4202560 89730 0 0 0 88162 47 0 0 25 0 4 0 522085769 1209098240 265744 33554432000 4194304 4964704 140736623527488 18446744073709551615 4332491 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3523.34
Current children cumulated vsize (KiB) 1180760

[startup+942.3 s]
/proc/loadavg: 8.07 8.08 7.80 9/184 31691
/proc/meminfo: memFree=28894680/32951124 swapFree=67111364/67111528
[pid=31601] ppid=31599 vsize=1180760 CPUtime=3762.97 cores=1,3,5,7
/proc/31601/stat : 31601 (claspmt) R 31599 31601 31273 0 -1 4202496 270262 0 0 0 376154 143 0 0 25 0 4 0 522085758 1209098240 265768 33554432000 4194304 4964704 140736623527488 18446744073709551615 4670266 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/31601/statm: 295190 265768 460 189 0 289539 0
[pid=31601/tid=31603] ppid=31599 vsize=1180760 CPUtime=937.85 cores=1,3,5,7
/proc/31601/task/31603/stat : 31603 (claspmt) R 31599 31601 31273 0 -1 4202560 70417 0 0 0 93749 36 0 0 25 0 4 0 522085769 1209098240 265768 33554432000 4194304 4964704 140736623527488 18446744073709551615 4670215 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31601/tid=31604] ppid=31599 vsize=1180760 CPUtime=940.8 cores=1,3,5,7
/proc/31601/task/31604/stat : 31604 (claspmt) R 31599 31601 31273 0 -1 4202560 60702 0 0 0 94051 29 0 0 25 0 4 0 522085769 1209098240 265768 33554432000 4194304 4964704 140736623527488 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31601/tid=31605] ppid=31599 vsize=1180760 CPUtime=942.1 cores=1,3,5,7
/proc/31601/task/31605/stat : 31605 (claspmt) R 31599 31601 31273 0 -1 4202560 89751 0 0 0 94162 48 0 0 25 0 4 0 522085769 1209098240 265768 33554432000 4194304 4964704 140736623527488 18446744073709551615 4332557 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3762.97
Current children cumulated vsize (KiB) 1180760

[startup+1002.3 s]
/proc/loadavg: 8.03 8.07 7.81 9/184 31692
/proc/meminfo: memFree=28899132/32951124 swapFree=67111364/67111528
[pid=31601] ppid=31599 vsize=1180760 CPUtime=4002.61 cores=1,3,5,7
/proc/31601/stat : 31601 (claspmt) R 31599 31601 31273 0 -1 4202496 270282 0 0 0 400117 144 0 0 25 0 4 0 522085758 1209098240 265788 33554432000 4194304 4964704 140736623527488 18446744073709551615 4332488 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/31601/statm: 295190 265788 460 189 0 289539 0
[pid=31601/tid=31603] ppid=31599 vsize=1180760 CPUtime=997.5 cores=1,3,5,7
/proc/31601/task/31603/stat : 31603 (claspmt) R 31599 31601 31273 0 -1 4202560 70417 0 0 0 99714 36 0 0 25 0 4 0 522085769 1209098240 265788 33554432000 4194304 4964704 140736623527488 18446744073709551615 4342193 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31601/tid=31604] ppid=31599 vsize=1180760 CPUtime=1000.79 cores=1,3,5,7
/proc/31601/task/31604/stat : 31604 (claspmt) R 31599 31601 31273 0 -1 4202560 60706 0 0 0 100050 29 0 0 25 0 4 0 522085769 1209098240 265788 33554432000 4194304 4964704 140736623527488 18446744073709551615 4670255 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31601/tid=31605] ppid=31599 vsize=1180760 CPUtime=1002.09 cores=1,3,5,7
/proc/31601/task/31605/stat : 31605 (claspmt) R 31599 31601 31273 0 -1 4202560 89767 0 0 0 100161 48 0 0 25 0 4 0 522085769 1209098240 265788 33554432000 4194304 4964704 140736623527488 18446744073709551615 4332491 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4002.61
Current children cumulated vsize (KiB) 1180760

[startup+1062.3 s]
/proc/loadavg: 8.09 8.08 7.83 9/184 31694
/proc/meminfo: memFree=28859932/32951124 swapFree=67111364/67111528
[pid=31601] ppid=31599 vsize=1246296 CPUtime=4242.2 cores=1,3,5,7
/proc/31601/stat : 31601 (claspmt) R 31599 31601 31273 0 -1 4202496 276690 0 0 0 424071 149 0 0 19 0 4 0 522085758 1276207104 272149 33554432000 4194304 4964704 140736623527488 18446744073709551615 4343846 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/31601/statm: 311574 272149 460 189 0 305923 0
[pid=31601/tid=31603] ppid=31599 vsize=1246296 CPUtime=1057.13 cores=1,3,5,7
/proc/31601/task/31603/stat : 31603 (claspmt) R 31599 31601 31273 0 -1 4202560 76695 0 0 0 105672 41 0 0 25 0 4 0 522085769 1276207104 272149 33554432000 4194304 4964704 140736623527488 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31601/tid=31604] ppid=31599 vsize=1246296 CPUtime=1060.79 cores=1,3,5,7
/proc/31601/task/31604/stat : 31604 (claspmt) R 31599 31601 31273 0 -1 4202560 60836 0 0 0 106050 29 0 0 25 0 4 0 522085769 1276207104 272149 33554432000 4194304 4964704 140736623527488 18446744073709551615 4321054 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31601/tid=31605] ppid=31599 vsize=1246296 CPUtime=1062.07 cores=1,3,5,7
/proc/31601/task/31605/stat : 31605 (claspmt) R 31599 31601 31273 0 -1 4202560 89767 0 0 0 106159 48 0 0 25 0 4 0 522085769 1276207104 272149 33554432000 4194304 4964704 140736623527488 18446744073709551615 4332560 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4242.2
Current children cumulated vsize (KiB) 1246296

[startup+1122.3 s]
/proc/loadavg: 8.06 8.08 7.84 9/184 31695
/proc/meminfo: memFree=28830520/32951124 swapFree=67111364/67111528
[pid=31601] ppid=31599 vsize=1275268 CPUtime=4481.84 cores=1,3,5,7
/proc/31601/stat : 31601 (claspmt) R 31599 31601 31273 0 -1 4202496 283962 0 0 0 448033 151 0 0 25 0 4 0 522085758 1305874432 279418 33554432000 4194304 4964704 140736623527488 18446744073709551615 4660083 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/31601/statm: 318817 279418 460 189 0 313166 0
[pid=31601/tid=31603] ppid=31599 vsize=1275268 CPUtime=1116.78 cores=1,3,5,7
/proc/31601/task/31603/stat : 31603 (claspmt) R 31599 31601 31273 0 -1 4202560 76726 0 0 0 111637 41 0 0 25 0 4 0 522085769 1305874432 279418 33554432000 4194304 4964704 140736623527488 18446744073709551615 4320976 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31601/tid=31604] ppid=31599 vsize=1275268 CPUtime=1120.78 cores=1,3,5,7
/proc/31601/task/31604/stat : 31604 (claspmt) R 31599 31601 31273 0 -1 4202560 60837 0 0 0 112049 29 0 0 25 0 4 0 522085769 1305874432 279418 33554432000 4194304 4964704 140736623527488 18446744073709551615 4320905 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31601/tid=31605] ppid=31599 vsize=1275268 CPUtime=1122.07 cores=1,3,5,7
/proc/31601/task/31605/stat : 31605 (claspmt) R 31599 31601 31273 0 -1 4202560 97007 0 0 0 112157 50 0 0 25 0 4 0 522085769 1305874432 279418 33554432000 4194304 4964704 140736623527488 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4481.84
Current children cumulated vsize (KiB) 1275268

[startup+1182.3 s]
/proc/loadavg: 8.09 8.08 7.85 9/184 31697
/proc/meminfo: memFree=28807056/32951124 swapFree=67111364/67111528
[pid=31601] ppid=31599 vsize=1276104 CPUtime=4721.49 cores=1,3,5,7
/proc/31601/stat : 31601 (claspmt) R 31599 31601 31273 0 -1 4202496 285954 0 0 0 471995 154 0 0 25 0 4 0 522085758 1306730496 281395 33554432000 4194304 4964704 140736623527488 18446744073709551615 4332499 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/31601/statm: 319026 281395 460 189 0 313375 0
[pid=31601/tid=31603] ppid=31599 vsize=1276104 CPUtime=1176.43 cores=1,3,5,7
/proc/31601/task/31603/stat : 31603 (claspmt) R 31599 31601 31273 0 -1 4202560 76927 0 0 0 117602 41 0 0 25 0 4 0 522085769 1306730496 281395 33554432000 4194304 4964704 140736623527488 18446744073709551615 4342157 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31601/tid=31604] ppid=31599 vsize=1276104 CPUtime=1180.78 cores=1,3,5,7
/proc/31601/task/31604/stat : 31604 (claspmt) R 31599 31601 31273 0 -1 4202560 60843 0 0 0 118049 29 0 0 25 0 4 0 522085769 1306730496 281395 33554432000 4194304 4964704 140736623527488 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31601/tid=31605] ppid=31599 vsize=1276104 CPUtime=1182.07 cores=1,3,5,7
/proc/31601/task/31605/stat : 31605 (claspmt) R 31599 31601 31273 0 -1 4202560 97007 0 0 0 118157 50 0 0 25 0 4 0 522085769 1306730496 281395 33554432000 4194304 4964704 140736623527488 18446744073709551615 4342232 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4721.49
Current children cumulated vsize (KiB) 1276104



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202 s]
/proc/loadavg: 8.07 8.07 7.86 9/184 31697
/proc/meminfo: memFree=28772944/32951124 swapFree=67111364/67111528
[pid=31601] ppid=31599 vsize=1277440 CPUtime=4800.18 cores=1,3,5,7
/proc/31601/stat : 31601 (claspmt) R 31599 31601 31273 0 -1 4202496 293807 0 0 0 479859 159 0 0 25 0 4 0 522085758 1308098560 289090 33554432000 4194304 4964704 140736623527488 18446744073709551615 4670357 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/31601/statm: 319360 289090 460 189 0 313709 0
[pid=31601/tid=31603] ppid=31599 vsize=1277440 CPUtime=1196.02 cores=1,3,5,7
/proc/31601/task/31603/stat : 31603 (claspmt) R 31599 31601 31273 0 -1 4202560 84196 0 0 0 119555 47 0 0 25 0 4 0 522085769 1308098560 289090 33554432000 4194304 4964704 140736623527488 18446744073709551615 4321038 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31601/tid=31604] ppid=31599 vsize=1277440 CPUtime=1200.48 cores=1,3,5,7
/proc/31601/task/31604/stat : 31604 (claspmt) R 31599 31601 31273 0 -1 4202560 61426 0 0 0 120019 29 0 0 25 0 4 0 522085769 1308098560 289090 33554432000 4194304 4964704 140736623527488 18446744073709551615 4683872 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31601/tid=31605] ppid=31599 vsize=1277440 CPUtime=1201.77 cores=1,3,5,7
/proc/31601/task/31605/stat : 31605 (claspmt) R 31599 31601 31273 0 -1 4202560 97008 0 0 0 120127 50 0 0 25 0 4 0 522085769 1308098560 289090 33554432000 4194304 4964704 140736623527488 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 1277440

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

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

Child status: 0
Real time (s): 1202.1
CPU time (s): 4800.29
CPU user time (s): 4798.65
CPU system time (s): 1.64675
CPU usage (%): 399.327
Max. virtual memory (cumulated for all children) (KiB): 1277440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.65
system time used= 1.64675
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 293819
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= 52573
involuntary context switches= 32818

runsolver used 1.9577 second user time and 4.6013 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-29 21:21:18
IDJOB=3299622
IDBENCH=85438
IDSOLVER=1683
FILE ID=node136/3299622-1304104878
RUNJOBID= node136-1304103610-31292
PBS_JOBID= 13170640
Free space on /tmp= 72336 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT05/crafted/sabharwal05/counting/php/unsat/easier/php-045-035.shuffled-as.sat05-1181.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-3299622-1304104878/watcher-3299622-1304104878 -o /tmp/evaluation-result-3299622-1304104878/solver-3299622-1304104878 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299622-1304104878.cnf

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

MD5SUM BENCH= 057b78ff24cc0773c9c67e770a7b9de2
RANDOM SEED=1813010469

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30937256 kB
Buffers:        584936 kB
Cached:         928948 kB
SwapCached:          0 kB
Active:         139812 kB
Inactive:      1451048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30937256 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            2184 kB
Writeback:           0 kB
AnonPages:       76276 kB
Mapped:          15724 kB
Slab:           359932 kB
PageTables:       4920 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   231376 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= 72332 MiB
End job on node136 at 2011-04-29 21:41:22