Trace number 3380675

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
claspmt 2.0-R4095-patched (fixed)UNSAT 20320.8 2545.14

General information on the benchmark

NameCRAFTED/modcircuits/
mod4block_3vars_7gates.cnf
MD5SUMcc925e6de728ca79f6f89379842f14b0
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2027.29
Satisfiable
(Un)Satisfiability was proved
Number of variables574
Number of clauses118394
Sum of the clauses size692282
Maximum clause length24
Minimum clause length1
Number of clauses of size 1160
Number of clauses of size 21597
Number of clauses of size 30
Number of clauses of size 41923
Number of clauses of size 57170
Number of clauses of size over 5107544

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...486661/instance-3380675-1305486661.cnf
0.19/0.25	c Solving...
20320.72/2545.13	s UNSATISFIABLE
20320.72/2545.13	
20320.72/2545.13	c Models        : 0     
20320.72/2545.13	c Time          : 2545.107s (Solving: 2544.85s 1st Model: 0.00s Unsat: 2544.85s)
20320.72/2545.13	c CPU Time      : 20320.730s

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3380675-1305486661/watcher-3380675-1305486661 -o /tmp/evaluation-result-3380675-1305486661/solver-3380675-1305486661 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3380675-1305486661.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.36 4.06 6.22 1/447 19619
/proc/meminfo: memFree=24984516/32951124 swapFree=53501244/67111528
[pid=19619] ppid=19617 vsize=22816 CPUtime=0.01 cores=0-7
/proc/19619/stat : 19619 (claspmt) R 19617 19619 19167 0 -1 4202496 1067 0 0 0 1 0 0 0 20 0 1 0 660268775 23363584 903 33554432000 4194304 4964800 140734640464048 18446744073709551615 216634176197 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/19619/statm: 5704 903 386 189 0 578 0

[startup+0.021413 s]
/proc/loadavg: 2.36 4.06 6.22 1/447 19619
/proc/meminfo: memFree=24984516/32951124 swapFree=53501244/67111528
[pid=19619] ppid=19617 vsize=23504 CPUtime=0.01 cores=0-7
/proc/19619/stat : 19619 (claspmt) R 19617 19619 19167 0 -1 4202496 1316 0 0 0 1 0 0 0 20 0 1 0 660268775 24068096 1071 33554432000 4194304 4964800 140734640464048 18446744073709551615 216634176197 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/19619/statm: 5876 1072 386 189 0 750 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 23504

[startup+0.100446 s]
/proc/loadavg: 2.36 4.06 6.22 1/447 19619
/proc/meminfo: memFree=24984516/32951124 swapFree=53501244/67111528
[pid=19619] ppid=19617 vsize=30276 CPUtime=0.09 cores=0-7
/proc/19619/stat : 19619 (claspmt) R 19617 19619 19167 0 -1 4202496 3279 0 0 0 9 0 0 0 20 0 1 0 660268775 31002624 2728 33554432000 4194304 4964800 140734640464048 18446744073709551615 4607536 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/19619/statm: 7569 2728 403 189 0 2443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30276

[startup+0.311402 s]
/proc/loadavg: 2.36 4.06 6.22 1/447 19619
/proc/meminfo: memFree=24984516/32951124 swapFree=53501244/67111528
[pid=19619] ppid=19617 vsize=521348 CPUtime=0.51 cores=0-7
/proc/19619/stat : 19619 (claspmt) R 19617 19619 19167 0 -1 4202496 6974 0 0 0 48 3 0 0 22 0 8 0 660268775 533860352 6185 33554432000 4194304 4964800 140734640464048 18446744073709551615 216634173168 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19619/statm: 130337 6185 464 189 0 124686 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 521348

[startup+0.700299 s]
/proc/loadavg: 2.36 4.06 6.22 1/447 19619
/proc/meminfo: memFree=24984516/32951124 swapFree=53501244/67111528
[pid=19619] ppid=19617 vsize=521348 CPUtime=3.59 cores=0-7
/proc/19619/stat : 19619 (claspmt) R 19617 19619 19167 0 -1 4202496 9444 0 0 0 355 4 0 0 24 0 8 0 660268775 533860352 8655 33554432000 4194304 4964800 140734640464048 18446744073709551615 4320976 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/19619/statm: 130337 8655 464 189 0 124686 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 521348

[startup+1.50116 s]
/proc/loadavg: 2.36 4.06 6.22 9/455 19627
/proc/meminfo: memFree=24950864/32951124 swapFree=53501244/67111528
[pid=19619] ppid=19617 vsize=521348 CPUtime=9.98 cores=0-7
/proc/19619/stat : 19619 (claspmt) R 19617 19619 19167 0 -1 4202496 10677 0 0 0 994 4 0 0 25 0 8 0 660268775 533860352 9888 33554432000 4194304 4964800 140734640464048 18446744073709551615 4660157 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/19619/statm: 130337 9888 464 189 0 124686 0
[pid=19619/tid=19621] ppid=19617 vsize=521348 CPUtime=1.22 cores=0-7
/proc/19619/task/19621/stat : 19621 (claspmt) R 19617 19619 19167 0 -1 4202560 761 0 0 0 122 0 0 0 19 0 8 0 660268801 533860352 9888 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=19619/tid=19622] ppid=19617 vsize=521348 CPUtime=1.21 cores=0-7
/proc/19619/task/19622/stat : 19622 (claspmt) R 19617 19619 19167 0 -1 4202560 1113 0 0 0 121 0 0 0 19 0 8 0 660268801 533860352 9888 33554432000 4194304 4964800 140734640464048 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=19619/tid=19623] ppid=19617 vsize=521348 CPUtime=1.21 cores=0-7
/proc/19619/task/19623/stat : 19623 (claspmt) R 19617 19619 19167 0 -1 4202560 928 0 0 0 121 0 0 0 19 0 8 0 660268801 533860352 9888 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=19619/tid=19624] ppid=19617 vsize=521348 CPUtime=1.22 cores=0-7
/proc/19619/task/19624/stat : 19624 (claspmt) R 19617 19619 19167 0 -1 4202560 831 0 0 0 122 0 0 0 19 0 8 0 660268801 533860352 9888 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=19619/tid=19625] ppid=19617 vsize=521348 CPUtime=1.23 cores=0-7
/proc/19619/task/19625/stat : 19625 (claspmt) R 19617 19619 19167 0 -1 4202560 889 0 0 0 123 0 0 0 19 0 8 0 660268801 533860352 9888 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19619/tid=19626] ppid=19617 vsize=521348 CPUtime=1.22 cores=0-7
/proc/19619/task/19626/stat : 19626 (claspmt) R 19617 19619 19167 0 -1 4202560 961 0 0 0 122 0 0 0 19 0 8 0 660268801 533860352 9888 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=19619/tid=19627] ppid=19617 vsize=521348 CPUtime=1.21 cores=0-7
/proc/19619/task/19627/stat : 19627 (claspmt) R 19617 19619 19167 0 -1 4202560 1132 0 0 0 121 0 0 0 18 0 8 0 660268801 533860352 9888 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (KiB) 521348

[startup+3.10088 s]
/proc/loadavg: 2.81 4.12 6.23 9/455 19627
/proc/meminfo: memFree=24943796/32951124 swapFree=53501244/67111528
[pid=19619] ppid=19617 vsize=521348 CPUtime=22.76 cores=0-7
/proc/19619/stat : 19619 (claspmt) R 19617 19619 19167 0 -1 4202496 12420 0 0 0 2271 5 0 0 25 0 8 0 660268775 533860352 11631 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670335 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/19619/statm: 130337 11631 466 189 0 124686 0
[pid=19619/tid=19621] ppid=19617 vsize=521348 CPUtime=2.82 cores=0-7
/proc/19619/task/19621/stat : 19621 (claspmt) R 19617 19619 19167 0 -1 4202560 901 0 0 0 282 0 0 0 23 0 8 0 660268801 533860352 11631 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=19619/tid=19622] ppid=19617 vsize=521348 CPUtime=2.81 cores=0-7
/proc/19619/task/19622/stat : 19622 (claspmt) R 19617 19619 19167 0 -1 4202560 1529 0 0 0 281 0 0 0 23 0 8 0 660268801 533860352 11631 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=19619/tid=19623] ppid=19617 vsize=521348 CPUtime=2.81 cores=0-7
/proc/19619/task/19623/stat : 19623 (claspmt) R 19617 19619 19167 0 -1 4202560 1109 0 0 0 281 0 0 0 23 0 8 0 660268801 533860352 11631 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670332 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=19619/tid=19624] ppid=19617 vsize=521348 CPUtime=2.82 cores=0-7
/proc/19619/task/19624/stat : 19624 (claspmt) R 19617 19619 19167 0 -1 4202560 1174 0 0 0 282 0 0 0 23 0 8 0 660268801 533860352 11631 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670330 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=19619/tid=19625] ppid=19617 vsize=521348 CPUtime=2.83 cores=0-7
/proc/19619/task/19625/stat : 19625 (claspmt) R 19617 19619 19167 0 -1 4202560 1101 0 0 0 283 0 0 0 23 0 8 0 660268801 533860352 11631 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19619/tid=19626] ppid=19617 vsize=521348 CPUtime=2.82 cores=0-7
/proc/19619/task/19626/stat : 19626 (claspmt) R 19617 19619 19167 0 -1 4202560 1154 0 0 0 282 0 0 0 23 0 8 0 660268801 533860352 11631 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=19619/tid=19627] ppid=19617 vsize=521348 CPUtime=2.81 cores=0-7
/proc/19619/task/19627/stat : 19627 (claspmt) R 19617 19619 19167 0 -1 4202560 1235 0 0 0 281 0 0 0 21 0 8 0 660268801 533860352 11631 33554432000 4194304 4964800 140734640464048 18446744073709551615 216634212944 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 22.76
Current children cumulated vsize (KiB) 521348

[startup+6.30132 s]
/proc/loadavg: 2.81 4.12 6.23 9/455 19627
/proc/meminfo: memFree=24933956/32951124 swapFree=53501244/67111528
[pid=19619] ppid=19617 vsize=521656 CPUtime=48.3 cores=0-7
/proc/19619/stat : 19619 (claspmt) R 19617 19619 19167 0 -1 4202496 14564 0 0 0 4823 7 0 0 25 0 8 0 660268775 534175744 13775 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670323 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/19619/statm: 130414 13775 466 189 0 124763 0
[pid=19619/tid=19621] ppid=19617 vsize=521656 CPUtime=6.02 cores=0-7
/proc/19619/task/19621/stat : 19621 (claspmt) R 19617 19619 19167 0 -1 4202560 1185 0 0 0 601 1 0 0 25 0 8 0 660268801 534175744 13775 33554432000 4194304 4964800 140734640464048 18446744073709551615 4659391 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=19619/tid=19622] ppid=19617 vsize=521656 CPUtime=6.01 cores=0-7
/proc/19619/task/19622/stat : 19622 (claspmt) R 19617 19619 19167 0 -1 4202560 2011 0 0 0 600 1 0 0 25 0 8 0 660268801 534175744 13775 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670538 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=19619/tid=19623] ppid=19617 vsize=521656 CPUtime=6.01 cores=0-7
/proc/19619/task/19623/stat : 19623 (claspmt) R 19617 19619 19167 0 -1 4202560 1162 0 0 0 601 0 0 0 25 0 8 0 660268801 534175744 13775 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=19619/tid=19624] ppid=19617 vsize=521656 CPUtime=6.01 cores=0-7
/proc/19619/task/19624/stat : 19624 (claspmt) R 19617 19619 19167 0 -1 4202560 1498 0 0 0 601 0 0 0 25 0 8 0 660268801 534175744 13775 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=19619/tid=19625] ppid=19617 vsize=521656 CPUtime=6.03 cores=0-7
/proc/19619/task/19625/stat : 19625 (claspmt) R 19617 19619 19167 0 -1 4202560 1220 0 0 0 603 0 0 0 25 0 8 0 660268801 534175744 13775 33554432000 4194304 4964800 140734640464048 18446744073709551615 4321013 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19619/tid=19626] ppid=19617 vsize=521656 CPUtime=6.02 cores=0-7
/proc/19619/task/19626/stat : 19626 (claspmt) R 19617 19619 19167 0 -1 4202560 1399 0 0 0 602 0 0 0 25 0 8 0 660268801 534175744 13775 33554432000 4194304 4964800 140734640464048 18446744073709551615 4627338 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=19619/tid=19627] ppid=19617 vsize=521656 CPUtime=6.01 cores=0-7
/proc/19619/task/19627/stat : 19627 (claspmt) R 19617 19619 19167 0 -1 4202560 1721 0 0 0 600 1 0 0 25 0 8 0 660268801 534175744 13775 33554432000 4194304 4964800 140734640464048 18446744073709551615 4321146 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 48.3
Current children cumulated vsize (KiB) 521656

[startup+12.7012 s]
/proc/loadavg: 3.61 4.25 6.25 9/455 19627
/proc/meminfo: memFree=24917848/32951124 swapFree=53501244/67111528
[pid=19619] ppid=19617 vsize=523428 CPUtime=99.4 cores=0-7
/proc/19619/stat : 19619 (claspmt) R 19617 19619 19167 0 -1 4202496 18481 0 0 0 9930 10 0 0 25 0 8 0 660268775 535990272 17692 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670310 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/19619/statm: 130857 17692 466 189 0 125206 0
[pid=19619/tid=19621] ppid=19617 vsize=523428 CPUtime=12.42 cores=0-7
/proc/19619/task/19621/stat : 19621 (claspmt) R 19617 19619 19167 0 -1 4202560 1700 0 0 0 1241 1 0 0 25 0 8 0 660268801 535990272 17692 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=19619/tid=19622] ppid=19617 vsize=523428 CPUtime=12.41 cores=0-7
/proc/19619/task/19622/stat : 19622 (claspmt) R 19617 19619 19167 0 -1 4202560 2827 0 0 0 1240 1 0 0 25 0 8 0 660268801 535990272 17692 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=19619/tid=19623] ppid=19617 vsize=523428 CPUtime=12.41 cores=0-7
/proc/19619/task/19623/stat : 19623 (claspmt) R 19617 19619 19167 0 -1 4202560 1530 0 0 0 1241 0 0 0 25 0 8 0 660268801 535990272 17692 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=19619/tid=19624] ppid=19617 vsize=523428 CPUtime=12.42 cores=0-7
/proc/19619/task/19624/stat : 19624 (claspmt) R 19617 19619 19167 0 -1 4202560 1819 0 0 0 1241 1 0 0 25 0 8 0 660268801 535990272 17692 33554432000 4194304 4964800 140734640464048 18446744073709551615 4325293 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=19619/tid=19625] ppid=19617 vsize=523428 CPUtime=12.43 cores=0-7
/proc/19619/task/19625/stat : 19625 (claspmt) R 19617 19619 19167 0 -1 4202560 1349 0 0 0 1243 0 0 0 25 0 8 0 660268801 535990272 17692 33554432000 4194304 4964800 140734640464048 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19619/tid=19626] ppid=19617 vsize=523428 CPUtime=12.42 cores=0-7
/proc/19619/task/19626/stat : 19626 (claspmt) R 19617 19619 19167 0 -1 4202560 1768 0 0 0 1241 1 0 0 25 0 8 0 660268801 535990272 17692 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=19619/tid=19627] ppid=19617 vsize=523428 CPUtime=12.4 cores=0-7
/proc/19619/task/19627/stat : 19627 (claspmt) R 19617 19619 19167 0 -1 4202560 2700 0 0 0 1238 2 0 0 25 0 8 0 660268801 535990272 17692 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 99.4
Current children cumulated vsize (KiB) 523428

[startup+25.5009 s]
/proc/loadavg: 4.28 4.37 6.27 9/455 19628
/proc/meminfo: memFree=24896440/32951124 swapFree=53501244/67111528
[pid=19619] ppid=19617 vsize=525428 CPUtime=201.6 cores=0-7
/proc/19619/stat : 19619 (claspmt) R 19617 19619 19167 0 -1 4202496 23578 0 0 0 20146 14 0 0 25 0 8 0 660268775 538038272 22784 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670313 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/19619/statm: 131357 22784 466 189 0 125706 0
[pid=19619/tid=19621] ppid=19617 vsize=525428 CPUtime=25.21 cores=0-7
/proc/19619/task/19621/stat : 19621 (claspmt) R 19617 19619 19167 0 -1 4202560 2145 0 0 0 2520 1 0 0 25 0 8 0 660268801 538038272 22784 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=19619/tid=19622] ppid=19617 vsize=525428 CPUtime=25.21 cores=0-7
/proc/19619/task/19622/stat : 19622 (claspmt) R 19617 19619 19167 0 -1 4202560 3780 0 0 0 2519 2 0 0 25 0 8 0 660268801 538038272 22784 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=19619/tid=19623] ppid=19617 vsize=525428 CPUtime=25.21 cores=0-7
/proc/19619/task/19623/stat : 19623 (claspmt) R 19617 19619 19167 0 -1 4202560 1823 0 0 0 2521 0 0 0 25 0 8 0 660268801 538038272 22784 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=19619/tid=19624] ppid=19617 vsize=525428 CPUtime=25.21 cores=0-7
/proc/19619/task/19624/stat : 19624 (claspmt) R 19617 19619 19167 0 -1 4202560 2157 0 0 0 2520 1 0 0 25 0 8 0 660268801 538038272 22784 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=19619/tid=19625] ppid=19617 vsize=525428 CPUtime=25.22 cores=0-7
/proc/19619/task/19625/stat : 19625 (claspmt) R 19617 19619 19167 0 -1 4202560 1792 0 0 0 2522 0 0 0 25 0 8 0 660268801 538038272 22784 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19619/tid=19626] ppid=19617 vsize=525428 CPUtime=25.21 cores=0-7
/proc/19619/task/19626/stat : 19626 (claspmt) R 19617 19619 19167 0 -1 4202560 2457 0 0 0 2520 1 0 0 25 0 8 0 660268801 538038272 22784 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=19619/tid=19627] ppid=19617 vsize=525428 CPUtime=25.2 cores=0-7
/proc/19619/task/19627/stat : 19627 (claspmt) R 19617 19619 19167 0 -1 4202560 4340 0 0 0 2517 3 0 0 25 0 8 0 660268801 538038272 22784 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670343 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 201.6
Current children cumulated vsize (KiB) 525428

[startup+51.1004 s]
/proc/loadavg: 5.55 4.66 6.31 9/455 19628
/proc/meminfo: memFree=24872392/32951124 swapFree=53501244/67111528
[pid=19619] ppid=19617 vsize=528644 CPUtime=406.01 cores=0-7
/proc/19619/stat : 19619 (claspmt) R 19617 19619 19167 0 -1 4202496 30207 0 0 0 40579 22 0 0 25 0 8 0 660268775 541331456 29373 33554432000 4194304 4964800 140734640464048 18446744073709551615 4321020 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/19619/statm: 132161 29373 466 189 0 126510 0
[pid=19619/tid=19621] ppid=19617 vsize=528644 CPUtime=50.82 cores=0-7
/proc/19619/task/19621/stat : 19621 (claspmt) R 19617 19619 19167 0 -1 4202560 2742 0 0 0 5080 2 0 0 25 0 8 0 660268801 541331456 29373 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=19619/tid=19622] ppid=19617 vsize=528644 CPUtime=50.81 cores=0-7
/proc/19619/task/19622/stat : 19622 (claspmt) R 19617 19619 19167 0 -1 4202560 4953 0 0 0 5078 3 0 0 25 0 8 0 660268801 541331456 29373 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=19619/tid=19623] ppid=19617 vsize=528644 CPUtime=50.81 cores=0-7
/proc/19619/task/19623/stat : 19623 (claspmt) R 19617 19619 19167 0 -1 4202560 2339 0 0 0 5080 1 0 0 25 0 8 0 660268801 541331456 29373 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=19619/tid=19624] ppid=19617 vsize=528644 CPUtime=50.82 cores=0-7
/proc/19619/task/19624/stat : 19624 (claspmt) R 19617 19619 19167 0 -1 4202560 2844 0 0 0 5080 2 0 0 25 0 8 0 660268801 541331456 29373 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=19619/tid=19625] ppid=19617 vsize=528644 CPUtime=50.82 cores=0-7
/proc/19619/task/19625/stat : 19625 (claspmt) R 19617 19619 19167 0 -1 4202560 2712 0 0 0 5081 1 0 0 25 0 8 0 660268801 541331456 29373 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19619/tid=19626] ppid=19617 vsize=528644 CPUtime=50.81 cores=0-7
/proc/19619/task/19626/stat : 19626 (claspmt) R 19617 19619 19167 0 -1 4202560 3339 0 0 0 5078 3 0 0 25 0 8 0 660268801 541331456 29373 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670351 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=19619/tid=19627] ppid=19617 vsize=528644 CPUtime=50.79 cores=0-7
/proc/19619/task/19627/stat : 19627 (claspmt) R 19617 19619 19167 0 -1 4202560 5882 0 0 0 5074 5 0 0 25 0 8 0 660268801 541331456 29373 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 406.01

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

/proc/loadavg: 8.07 8.04 7.89 9/455 19694
/proc/meminfo: memFree=24618920/32951124 swapFree=53501244/67111528
[pid=19619] ppid=19617 vsize=563652 CPUtime=20030.2 cores=0-7
/proc/19619/stat : 19619 (claspmt) R 19617 19619 19167 0 -1 4202496 97717 0 0 0 2002893 129 0 0 25 0 8 0 660268775 577179648 91918 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670499 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/19619/statm: 140913 91918 466 189 0 135262 0
[pid=19619/tid=19621] ppid=19617 vsize=563652 CPUtime=2505.42 cores=0-7
/proc/19619/task/19621/stat : 19621 (claspmt) R 19617 19619 19167 0 -1 4202560 15626 0 0 0 250529 13 0 0 25 0 8 0 660268801 577179648 91918 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=19619/tid=19622] ppid=19617 vsize=563652 CPUtime=2508.42 cores=0-7
/proc/19619/task/19622/stat : 19622 (claspmt) R 19617 19619 19167 0 -1 4202560 14268 0 0 0 250826 16 0 0 25 0 8 0 660268801 577179648 91918 33554432000 4194304 4964800 140734640464048 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=19619/tid=19623] ppid=19617 vsize=563652 CPUtime=2508.39 cores=0-7
/proc/19619/task/19623/stat : 19623 (claspmt) R 19617 19619 19167 0 -1 4202560 7757 0 0 0 250827 12 0 0 25 0 8 0 660268801 577179648 91918 33554432000 4194304 4964800 140734640464048 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=19619/tid=19624] ppid=19617 vsize=563652 CPUtime=2491.12 cores=0-7
/proc/19619/task/19624/stat : 19624 (claspmt) R 19617 19619 19167 0 -1 4202560 12655 0 0 0 249097 15 0 0 25 0 8 0 660268801 577179648 91918 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=19619/tid=19625] ppid=19617 vsize=563652 CPUtime=2508.42 cores=0-7
/proc/19619/task/19625/stat : 19625 (claspmt) R 19617 19619 19167 0 -1 4202560 9249 0 0 0 250828 14 0 0 25 0 8 0 660268801 577179648 91918 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19619/tid=19626] ppid=19617 vsize=563652 CPUtime=2493.56 cores=0-7
/proc/19619/task/19626/stat : 19626 (claspmt) R 19617 19619 19167 0 -1 4202560 10718 0 0 0 249337 19 0 0 25 0 8 0 660268801 577179648 91918 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=19619/tid=19627] ppid=19617 vsize=563652 CPUtime=2507.77 cores=0-7
/proc/19619/task/19627/stat : 19627 (claspmt) R 19617 19619 19167 0 -1 4202560 16869 0 0 0 250756 21 0 0 25 0 8 0 660268801 577179648 91918 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 20030.2
Current children cumulated vsize (KiB) 563652

[startup+2521.5 s]
/proc/loadavg: 8.05 8.04 7.89 9/455 19694
/proc/meminfo: memFree=24618300/32951124 swapFree=53501244/67111528
[pid=19619] ppid=19617 vsize=563652 CPUtime=20132.4 cores=0-7
/proc/19619/stat : 19619 (claspmt) R 19617 19619 19167 0 -1 4202496 97904 0 0 0 2013113 129 0 0 25 0 8 0 660268775 577179648 92054 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/19619/statm: 140913 92054 466 189 0 135262 0
[pid=19619/tid=19621] ppid=19617 vsize=563652 CPUtime=2518.22 cores=0-7
/proc/19619/task/19621/stat : 19621 (claspmt) R 19617 19619 19167 0 -1 4202560 15695 0 0 0 251809 13 0 0 25 0 8 0 660268801 577179648 92054 33554432000 4194304 4964800 140734640464048 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=19619/tid=19622] ppid=19617 vsize=563652 CPUtime=2521.22 cores=0-7
/proc/19619/task/19622/stat : 19622 (claspmt) R 19617 19619 19167 0 -1 4202560 14268 0 0 0 252106 16 0 0 25 0 8 0 660268801 577179648 92054 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=19619/tid=19623] ppid=19617 vsize=563652 CPUtime=2521.19 cores=0-7
/proc/19619/task/19623/stat : 19623 (claspmt) R 19617 19619 19167 0 -1 4202560 7757 0 0 0 252107 12 0 0 25 0 8 0 660268801 577179648 92054 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=19619/tid=19624] ppid=19617 vsize=563652 CPUtime=2503.73 cores=0-7
/proc/19619/task/19624/stat : 19624 (claspmt) R 19617 19619 19167 0 -1 4202560 12702 0 0 0 250358 15 0 0 25 0 8 0 660268801 577179648 92054 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=19619/tid=19625] ppid=19617 vsize=563652 CPUtime=2521.22 cores=0-7
/proc/19619/task/19625/stat : 19625 (claspmt) R 19617 19619 19167 0 -1 4202560 9316 0 0 0 252108 14 0 0 25 0 8 0 660268801 577179648 92054 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19619/tid=19626] ppid=19617 vsize=563652 CPUtime=2506.36 cores=0-7
/proc/19619/task/19626/stat : 19626 (claspmt) R 19617 19619 19167 0 -1 4202560 10718 0 0 0 250617 19 0 0 25 0 8 0 660268801 577179648 92054 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=19619/tid=19627] ppid=19617 vsize=563652 CPUtime=2520.56 cores=0-7
/proc/19619/task/19627/stat : 19627 (claspmt) R 19617 19619 19167 0 -1 4202560 16869 0 0 0 252035 21 0 0 25 0 8 0 660268801 577179648 92054 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 20132.4
Current children cumulated vsize (KiB) 563652

[startup+2534.3 s]
/proc/loadavg: 8.12 8.05 7.89 9/455 19694
/proc/meminfo: memFree=24618176/32951124 swapFree=53501244/67111528
[pid=19619] ppid=19617 vsize=563652 CPUtime=20234.7 cores=0-7
/proc/19619/stat : 19619 (claspmt) R 19617 19619 19167 0 -1 4202496 97950 0 0 0 2023345 129 0 0 25 0 8 0 660268775 577179648 92100 33554432000 4194304 4964800 140734640464048 18446744073709551615 4626894 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/19619/statm: 140913 92100 466 189 0 135262 0
[pid=19619/tid=19621] ppid=19617 vsize=563652 CPUtime=2531.03 cores=0-7
/proc/19619/task/19621/stat : 19621 (claspmt) R 19617 19619 19167 0 -1 4202560 15695 0 0 0 253090 13 0 0 25 0 8 0 660268801 577179648 92100 33554432000 4194304 4964800 140734640464048 18446744073709551615 4364560 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=19619/tid=19622] ppid=19617 vsize=563652 CPUtime=2534.03 cores=0-7
/proc/19619/task/19622/stat : 19622 (claspmt) R 19617 19619 19167 0 -1 4202560 14270 0 0 0 253387 16 0 0 25 0 8 0 660268801 577179648 92100 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=19619/tid=19623] ppid=19617 vsize=563652 CPUtime=2534 cores=0-7
/proc/19619/task/19623/stat : 19623 (claspmt) R 19617 19619 19167 0 -1 4202560 7757 0 0 0 253388 12 0 0 25 0 8 0 660268801 577179648 92100 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=19619/tid=19624] ppid=19617 vsize=563652 CPUtime=2516.35 cores=0-7
/proc/19619/task/19624/stat : 19624 (claspmt) R 19617 19619 19167 0 -1 4202560 12702 0 0 0 251620 15 0 0 25 0 8 0 660268801 577179648 92100 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670259 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=19619/tid=19625] ppid=19617 vsize=563652 CPUtime=2534.04 cores=0-7
/proc/19619/task/19625/stat : 19625 (claspmt) R 19617 19619 19167 0 -1 4202560 9358 0 0 0 253390 14 0 0 25 0 8 0 660268801 577179648 92100 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670446 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19619/tid=19626] ppid=19617 vsize=563652 CPUtime=2519.17 cores=0-7
/proc/19619/task/19626/stat : 19626 (claspmt) R 19617 19619 19167 0 -1 4202560 10718 0 0 0 251898 19 0 0 25 0 8 0 660268801 577179648 92100 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=19619/tid=19627] ppid=19617 vsize=563652 CPUtime=2533.37 cores=0-7
/proc/19619/task/19627/stat : 19627 (claspmt) R 19617 19619 19167 0 -1 4202560 16869 0 0 0 253316 21 0 0 25 0 8 0 660268801 577179648 92100 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 20234.7
Current children cumulated vsize (KiB) 563652

[startup+2540.7 s]
/proc/loadavg: 8.11 8.05 7.89 9/455 19695
/proc/meminfo: memFree=24618176/32951124 swapFree=53501244/67111528
[pid=19619] ppid=19617 vsize=563652 CPUtime=20285.7 cores=0-7
/proc/19619/stat : 19619 (claspmt) R 19617 19619 19167 0 -1 4202496 97954 0 0 0 2028445 129 0 0 25 0 8 0 660268775 577179648 92104 33554432000 4194304 4964800 140734640464048 18446744073709551615 4659391 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/19619/statm: 140913 92104 466 189 0 135262 0
[pid=19619/tid=19621] ppid=19617 vsize=563652 CPUtime=2537.42 cores=0-7
/proc/19619/task/19621/stat : 19621 (claspmt) R 19617 19619 19167 0 -1 4202560 15695 0 0 0 253729 13 0 0 25 0 8 0 660268801 577179648 92104 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=19619/tid=19622] ppid=19617 vsize=563652 CPUtime=2540.42 cores=0-7
/proc/19619/task/19622/stat : 19622 (claspmt) R 19617 19619 19167 0 -1 4202560 14270 0 0 0 254026 16 0 0 25 0 8 0 660268801 577179648 92104 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=19619/tid=19623] ppid=19617 vsize=563652 CPUtime=2540.39 cores=0-7
/proc/19619/task/19623/stat : 19623 (claspmt) R 19617 19619 19167 0 -1 4202560 7757 0 0 0 254027 12 0 0 25 0 8 0 660268801 577179648 92104 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=19619/tid=19624] ppid=19617 vsize=563652 CPUtime=2522.66 cores=0-7
/proc/19619/task/19624/stat : 19624 (claspmt) R 19617 19619 19167 0 -1 4202560 12702 0 0 0 252251 15 0 0 25 0 8 0 660268801 577179648 92104 33554432000 4194304 4964800 140734640464048 18446744073709551615 4362381 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=19619/tid=19625] ppid=19617 vsize=563652 CPUtime=2540.42 cores=0-7
/proc/19619/task/19625/stat : 19625 (claspmt) R 19617 19619 19167 0 -1 4202560 9358 0 0 0 254028 14 0 0 25 0 8 0 660268801 577179648 92104 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19619/tid=19626] ppid=19617 vsize=563652 CPUtime=2525.56 cores=0-7
/proc/19619/task/19626/stat : 19626 (claspmt) R 19617 19619 19167 0 -1 4202560 10722 0 0 0 252537 19 0 0 25 0 8 0 660268801 577179648 92104 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=19619/tid=19627] ppid=19617 vsize=563652 CPUtime=2539.75 cores=0-7
/proc/19619/task/19627/stat : 19627 (claspmt) R 19617 19619 19167 0 -1 4202560 16869 0 0 0 253954 21 0 0 25 0 8 0 660268801 577179648 92104 33554432000 4194304 4964800 140734640464048 18446744073709551615 4324688 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 20285.7
Current children cumulated vsize (KiB) 563652

[startup+2542.3 s]
/proc/loadavg: 8.10 8.05 7.89 9/455 19695
/proc/meminfo: memFree=24618052/32951124 swapFree=53501244/67111528
[pid=19619] ppid=19617 vsize=563652 CPUtime=20298.5 cores=0-7
/proc/19619/stat : 19619 (claspmt) R 19617 19619 19167 0 -1 4202496 97954 0 0 0 2029722 129 0 0 25 0 8 0 660268775 577179648 92104 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/19619/statm: 140913 92104 466 189 0 135262 0
[pid=19619/tid=19621] ppid=19617 vsize=563652 CPUtime=2539.02 cores=0-7
/proc/19619/task/19621/stat : 19621 (claspmt) R 19617 19619 19167 0 -1 4202560 15695 0 0 0 253889 13 0 0 25 0 8 0 660268801 577179648 92104 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=19619/tid=19622] ppid=19617 vsize=563652 CPUtime=2542.02 cores=0-7
/proc/19619/task/19622/stat : 19622 (claspmt) R 19617 19619 19167 0 -1 4202560 14270 0 0 0 254186 16 0 0 25 0 8 0 660268801 577179648 92104 33554432000 4194304 4964800 140734640464048 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=19619/tid=19623] ppid=19617 vsize=563652 CPUtime=2541.99 cores=0-7
/proc/19619/task/19623/stat : 19623 (claspmt) R 19617 19619 19167 0 -1 4202560 7757 0 0 0 254187 12 0 0 25 0 8 0 660268801 577179648 92104 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670330 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=19619/tid=19624] ppid=19617 vsize=563652 CPUtime=2524.22 cores=0-7
/proc/19619/task/19624/stat : 19624 (claspmt) R 19617 19619 19167 0 -1 4202560 12702 0 0 0 252407 15 0 0 25 0 8 0 660268801 577179648 92104 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=19619/tid=19625] ppid=19617 vsize=563652 CPUtime=2542.02 cores=0-7
/proc/19619/task/19625/stat : 19625 (claspmt) R 19617 19619 19167 0 -1 4202560 9358 0 0 0 254188 14 0 0 25 0 8 0 660268801 577179648 92104 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19619/tid=19626] ppid=19617 vsize=563652 CPUtime=2527.16 cores=0-7
/proc/19619/task/19626/stat : 19626 (claspmt) R 19617 19619 19167 0 -1 4202560 10722 0 0 0 252697 19 0 0 25 0 8 0 660268801 577179648 92104 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=19619/tid=19627] ppid=19617 vsize=563652 CPUtime=2541.35 cores=0-7
/proc/19619/task/19627/stat : 19627 (claspmt) R 19617 19619 19167 0 -1 4202560 16869 0 0 0 254114 21 0 0 25 0 8 0 660268801 577179648 92104 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 20298.5
Current children cumulated vsize (KiB) 563652

[startup+2543.9 s]
/proc/loadavg: 8.10 8.05 7.89 9/455 19695
/proc/meminfo: memFree=24618168/32951124 swapFree=53501244/67111528
[pid=19619] ppid=19617 vsize=563652 CPUtime=20311.3 cores=0-7
/proc/19619/stat : 19619 (claspmt) R 19617 19619 19167 0 -1 4202496 97954 0 0 0 2031000 129 0 0 25 0 8 0 660268775 577179648 92104 33554432000 4194304 4964800 140734640464048 18446744073709551615 4332000 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/19619/statm: 140913 92104 466 189 0 135262 0
[pid=19619/tid=19621] ppid=19617 vsize=563652 CPUtime=2540.62 cores=0-7
/proc/19619/task/19621/stat : 19621 (claspmt) R 19617 19619 19167 0 -1 4202560 15695 0 0 0 254049 13 0 0 25 0 8 0 660268801 577179648 92104 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670261 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=19619/tid=19622] ppid=19617 vsize=563652 CPUtime=2543.62 cores=0-7
/proc/19619/task/19622/stat : 19622 (claspmt) R 19617 19619 19167 0 -1 4202560 14270 0 0 0 254346 16 0 0 25 0 8 0 660268801 577179648 92104 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670412 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=19619/tid=19623] ppid=19617 vsize=563652 CPUtime=2543.59 cores=0-7
/proc/19619/task/19623/stat : 19623 (claspmt) R 19617 19619 19167 0 -1 4202560 7757 0 0 0 254347 12 0 0 25 0 8 0 660268801 577179648 92104 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=19619/tid=19624] ppid=19617 vsize=563652 CPUtime=2525.81 cores=0-7
/proc/19619/task/19624/stat : 19624 (claspmt) R 19617 19619 19167 0 -1 4202560 12702 0 0 0 252566 15 0 0 25 0 8 0 660268801 577179648 92104 33554432000 4194304 4964800 140734640464048 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=19619/tid=19625] ppid=19617 vsize=563652 CPUtime=2543.62 cores=0-7
/proc/19619/task/19625/stat : 19625 (claspmt) R 19617 19619 19167 0 -1 4202560 9358 0 0 0 254348 14 0 0 25 0 8 0 660268801 577179648 92104 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19619/tid=19626] ppid=19617 vsize=563652 CPUtime=2528.76 cores=0-7
/proc/19619/task/19626/stat : 19626 (claspmt) R 19617 19619 19167 0 -1 4202560 10722 0 0 0 252857 19 0 0 25 0 8 0 660268801 577179648 92104 33554432000 4194304 4964800 140734640464048 18446744073709551615 4321097 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=19619/tid=19627] ppid=19617 vsize=563652 CPUtime=2542.95 cores=0-7
/proc/19619/task/19627/stat : 19627 (claspmt) R 19617 19619 19167 0 -1 4202560 16869 0 0 0 254274 21 0 0 25 0 8 0 660268801 577179648 92104 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 20311.3
Current children cumulated vsize (KiB) 563652

[startup+2544.7 s]
/proc/loadavg: 8.10 8.05 7.89 9/455 19695
/proc/meminfo: memFree=24618168/32951124 swapFree=53501244/67111528
[pid=19619] ppid=19617 vsize=563652 CPUtime=20317.7 cores=0-7
/proc/19619/stat : 19619 (claspmt) R 19617 19619 19167 0 -1 4202496 97954 0 0 0 2031638 129 0 0 25 0 8 0 660268775 577179648 92104 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670392 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/19619/statm: 140913 92104 466 189 0 135262 0
[pid=19619/tid=19621] ppid=19617 vsize=563652 CPUtime=2541.42 cores=0-7
/proc/19619/task/19621/stat : 19621 (claspmt) R 19617 19619 19167 0 -1 4202560 15695 0 0 0 254129 13 0 0 25 0 8 0 660268801 577179648 92104 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=19619/tid=19622] ppid=19617 vsize=563652 CPUtime=2544.42 cores=0-7
/proc/19619/task/19622/stat : 19622 (claspmt) R 19617 19619 19167 0 -1 4202560 14270 0 0 0 254426 16 0 0 25 0 8 0 660268801 577179648 92104 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=19619/tid=19623] ppid=19617 vsize=563652 CPUtime=2544.39 cores=0-7
/proc/19619/task/19623/stat : 19623 (claspmt) R 19617 19619 19167 0 -1 4202560 7757 0 0 0 254427 12 0 0 25 0 8 0 660268801 577179648 92104 33554432000 4194304 4964800 140734640464048 18446744073709551615 4669272 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=19619/tid=19624] ppid=19617 vsize=563652 CPUtime=2526.59 cores=0-7
/proc/19619/task/19624/stat : 19624 (claspmt) R 19617 19619 19167 0 -1 4202560 12702 0 0 0 252644 15 0 0 25 0 8 0 660268801 577179648 92104 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=19619/tid=19625] ppid=19617 vsize=563652 CPUtime=2544.42 cores=0-7
/proc/19619/task/19625/stat : 19625 (claspmt) R 19617 19619 19167 0 -1 4202560 9358 0 0 0 254428 14 0 0 25 0 8 0 660268801 577179648 92104 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19619/tid=19626] ppid=19617 vsize=563652 CPUtime=2529.56 cores=0-7
/proc/19619/task/19626/stat : 19626 (claspmt) R 19617 19619 19167 0 -1 4202560 10722 0 0 0 252937 19 0 0 25 0 8 0 660268801 577179648 92104 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=19619/tid=19627] ppid=19617 vsize=563652 CPUtime=2543.75 cores=0-7
/proc/19619/task/19627/stat : 19627 (claspmt) R 19617 19619 19167 0 -1 4202560 16869 0 0 0 254354 21 0 0 25 0 8 0 660268801 577179648 92104 33554432000 4194304 4964800 140734640464048 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 20317.7
Current children cumulated vsize (KiB) 563652

[startup+2545.1 s]
/proc/loadavg: 8.10 8.05 7.89 9/455 19695
/proc/meminfo: memFree=24618168/32951124 swapFree=53501244/67111528
[pid=19619] ppid=19617 vsize=563652 CPUtime=20320.7 cores=0-7
/proc/19619/stat : 19619 (claspmt) S 19617 19619 19167 0 -1 4202496 97955 0 0 0 2031941 131 0 0 17 0 2 0 660268775 577179648 91408 33554432000 4194304 4964800 140734640464048 18446744073709551615 216646318053 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/19619/statm: 140913 91408 467 189 0 135262 0
[pid=19619/tid=19626] ppid=19617 vsize=563652 CPUtime=2529.95 cores=0-7
/proc/19619/task/19626/stat : 19626 (claspmt) R 19617 19619 19167 0 -1 4202560 10722 0 0 0 252976 19 0 0 18 0 2 0 660268801 577179648 91408 33554432000 4194304 4964800 140734640464048 18446744073709551615 4644794 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 20320.7
Current children cumulated vsize (KiB) 563652

Child status: 20
Real time (s): 2545.14
CPU time (s): 20320.8
CPU user time (s): 20319.4
CPU system time (s): 1.3268
CPU usage (%): 798.414
Max. virtual memory (cumulated for all children) (KiB): 563652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20319.4
system time used= 1.3268
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97965
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= 53807
involuntary context switches= 96718

runsolver used 9.73152 second user time and 27.3038 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-15 21:11:02
IDJOB=3380675
IDBENCH=71139
IDSOLVER=1865
FILE ID=node103/3380675-1305486661
RUNJOBID= node103-1305481207-19181
PBS_JOBID= 13325377
Free space on /tmp= 72960 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT09/CRAFTED/modcircuits/mod4block_3vars_7gates.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-3380675-1305486661/watcher-3380675-1305486661 -o /tmp/evaluation-result-3380675-1305486661/solver-3380675-1305486661 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3380675-1305486661.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= cc925e6de728ca79f6f89379842f14b0
RANDOM SEED=999027841

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24984672 kB
Buffers:        336056 kB
Cached:        4150924 kB
SwapCached:     340184 kB
Active:        2446916 kB
Inactive:      5219820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24984672 kB
SwapTotal:    67111528 kB
SwapFree:     53501244 kB
Dirty:            4112 kB
Writeback:           0 kB
AnonPages:     2850340 kB
Mapped:          21188 kB
Slab:           162988 kB
PageTables:      66692 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 137673004 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= 72960 MiB
End job on node103 at 2011-05-15 21:53:27