Trace number 3386099

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
SArTagnan 2011-05-15 (fixed)? (TO) 4800.38 1204.92

General information on the benchmark

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

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

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-3386099-1305578625/watcher-3386099-1305578625 -o /tmp/evaluation-result-3386099-1305578625/solver-3386099-1305578625 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386099-1305578625.cnf -threads=4 

running on 4 cores: 0,2,4,6

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.48 7.99 8.11 6/459 7942
/proc/meminfo: memFree=10545272/32951124 swapFree=65980224/67111528
[pid=7942] ppid=7940 vsize=23108 CPUtime=0 cores=0,2,4,6
/proc/7942/stat : 7942 (SArTagnan) R 7940 7942 7803 0 -1 4202496 776 0 0 0 0 0 0 0 25 0 1 0 650278029 23662592 518 33554432000 4194304 4625164 140733338328192 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/7942/statm: 5777 518 296 106 0 1280 0

[startup+0.0366661 s]
/proc/loadavg: 7.48 7.99 8.11 6/459 7942
/proc/meminfo: memFree=10545272/32951124 swapFree=65980224/67111528
[pid=7942] ppid=7940 vsize=25060 CPUtime=0.03 cores=0,2,4,6
/proc/7942/stat : 7942 (SArTagnan) R 7940 7942 7803 0 -1 4202496 2110 0 0 0 3 0 0 0 25 0 1 0 650278029 25661440 877 33554432000 4194304 4625164 140733338328192 18446744073709551615 228095450880 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/7942/statm: 6265 877 296 106 0 1768 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 25060

[startup+0.15158 s]
/proc/loadavg: 7.48 7.99 8.11 6/459 7942
/proc/meminfo: memFree=10545272/32951124 swapFree=65980224/67111528
[pid=7942] ppid=7940 vsize=196552 CPUtime=0.45 cores=0,2,4,6
/proc/7942/stat : 7942 (SArTagnan) R 7940 7942 7803 0 -1 4202496 5332 0 0 0 45 0 0 0 25 0 4 0 650278029 201269248 4065 33554432000 4194304 4625164 140733338328192 18446744073709551615 4509440 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7942/statm: 49138 4065 345 106 0 44641 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 196552

[startup+0.300554 s]
/proc/loadavg: 7.48 7.99 8.11 6/459 7942
/proc/meminfo: memFree=10545272/32951124 swapFree=65980224/67111528
[pid=7942] ppid=7940 vsize=263952 CPUtime=1.05 cores=0,2,4,6
/proc/7942/stat : 7942 (SArTagnan) R 7940 7942 7803 0 -1 4202496 6886 0 0 0 104 1 0 0 25 0 4 0 650278029 270286848 5619 33554432000 4194304 4625164 140733338328192 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7942/statm: 65988 5619 345 106 0 61491 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 263952

[startup+0.700482 s]
/proc/loadavg: 7.48 7.99 8.11 6/459 7942
/proc/meminfo: memFree=10545272/32951124 swapFree=65980224/67111528
[pid=7942] ppid=7940 vsize=269360 CPUtime=2.65 cores=0,2,4,6
/proc/7942/stat : 7942 (SArTagnan) R 7940 7942 7803 0 -1 4202496 10015 0 0 0 264 1 0 0 25 0 4 0 650278029 275824640 8527 33554432000 4194304 4625164 140733338328192 18446744073709551615 4509216 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7942/statm: 67340 8527 345 106 0 62843 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 269360

[startup+1.50033 s]
/proc/loadavg: 7.48 7.99 8.11 9/463 7946
/proc/meminfo: memFree=10487092/32951124 swapFree=65980224/67111528
[pid=7942] ppid=7940 vsize=277600 CPUtime=5.84 cores=0,2,4,6
/proc/7942/stat : 7942 (SArTagnan) R 7940 7942 7803 0 -1 4202496 14647 0 0 0 582 2 0 0 25 0 4 0 650278029 284262400 12115 33554432000 4194304 4625164 140733338328192 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7942/statm: 69400 12115 346 106 0 64903 0
[pid=7942/tid=7944] ppid=7940 vsize=277600 CPUtime=1.44 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (SArTagnan) R 7940 7942 7803 0 -1 4202560 2656 0 0 0 144 0 0 0 25 0 4 0 650278033 284262400 12115 33554432000 4194304 4625164 140733338328192 18446744073709551615 4351981 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7942/tid=7945] ppid=7940 vsize=277600 CPUtime=1.44 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (SArTagnan) R 7940 7942 7803 0 -1 4202560 3079 0 0 0 144 0 0 0 25 0 4 0 650278033 284262400 12115 33554432000 4194304 4625164 140733338328192 18446744073709551615 4352571 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7942/tid=7946] ppid=7940 vsize=277600 CPUtime=1.43 cores=0,2,4,6
/proc/7942/task/7946/stat : 7946 (SArTagnan) R 7940 7942 7803 0 -1 4202560 2162 0 0 0 143 0 0 0 25 0 4 0 650278033 284262400 12115 33554432000 4194304 4625164 140733338328192 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.84
Current children cumulated vsize (KiB) 277600

[startup+3.10104 s]
/proc/loadavg: 7.48 7.99 8.11 9/463 7946
/proc/meminfo: memFree=10454788/32951124 swapFree=65980224/67111528
[pid=7942] ppid=7940 vsize=289368 CPUtime=12.23 cores=0,2,4,6
/proc/7942/stat : 7942 (SArTagnan) R 7940 7942 7803 0 -1 4202496 28258 0 0 0 1218 5 0 0 25 0 4 0 650278029 296312832 17611 33554432000 4194304 4625164 140733338328192 18446744073709551615 4509456 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7942/statm: 72342 17611 346 106 0 67845 0
[pid=7942/tid=7944] ppid=7940 vsize=289368 CPUtime=3.04 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (SArTagnan) R 7940 7942 7803 0 -1 4202560 4683 0 0 0 304 0 0 0 25 0 4 0 650278033 296312832 17611 33554432000 4194304 4625164 140733338328192 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7942/tid=7945] ppid=7940 vsize=289368 CPUtime=3.04 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (SArTagnan) R 7940 7942 7803 0 -1 4202560 5476 0 0 0 303 1 0 0 25 0 4 0 650278033 296312832 17611 33554432000 4194304 4625164 140733338328192 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7942/tid=7946] ppid=7940 vsize=289368 CPUtime=3.01 cores=0,2,4,6
/proc/7942/task/7946/stat : 7946 (SArTagnan) R 7940 7942 7803 0 -1 4202560 9818 0 0 0 301 0 0 0 25 0 4 0 650278033 296312832 17611 33554432000 4194304 4625164 140733338328192 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.23
Current children cumulated vsize (KiB) 289368

[startup+6.30045 s]
/proc/loadavg: 7.60 8.00 8.11 9/463 7946
/proc/meminfo: memFree=10398024/32951124 swapFree=65980224/67111528
[pid=7942] ppid=7940 vsize=299448 CPUtime=24.97 cores=0,2,4,6
/proc/7942/stat : 7942 (SArTagnan) R 7940 7942 7803 0 -1 4202496 48496 0 0 0 2489 8 0 0 25 0 4 0 650278029 306634752 25039 33554432000 4194304 4625164 140733338328192 18446744073709551615 4512035 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7942/statm: 74862 25039 346 106 0 70365 0
[pid=7942/tid=7944] ppid=7940 vsize=299448 CPUtime=6.24 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (SArTagnan) R 7940 7942 7803 0 -1 4202560 7056 0 0 0 624 0 0 0 25 0 4 0 650278033 306634752 25039 33554432000 4194304 4625164 140733338328192 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7942/tid=7945] ppid=7940 vsize=299448 CPUtime=6.25 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (SArTagnan) R 7940 7942 7803 0 -1 4202560 9723 0 0 0 622 3 0 0 25 0 4 0 650278033 306634752 25039 33554432000 4194304 4625164 140733338328192 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7942/tid=7946] ppid=7940 vsize=299448 CPUtime=6.17 cores=0,2,4,6
/proc/7942/task/7946/stat : 7946 (SArTagnan) R 7940 7942 7803 0 -1 4202560 21033 0 0 0 615 2 0 0 25 0 4 0 650278033 306634752 25039 33554432000 4194304 4625164 140733338328192 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.97
Current children cumulated vsize (KiB) 299448

[startup+12.7003 s]
/proc/loadavg: 7.63 8.00 8.11 9/463 7946
/proc/meminfo: memFree=10315100/32951124 swapFree=65980224/67111528
[pid=7942] ppid=7940 vsize=316108 CPUtime=50.47 cores=0,2,4,6
/proc/7942/stat : 7942 (SArTagnan) R 7940 7942 7803 0 -1 4202496 80654 0 0 0 5031 16 0 0 25 0 4 0 650278029 323694592 37334 33554432000 4194304 4625164 140733338328192 18446744073709551615 4508870 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7942/statm: 79027 37334 346 106 0 74530 0
[pid=7942/tid=7944] ppid=7940 vsize=316108 CPUtime=12.64 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (SArTagnan) R 7940 7942 7803 0 -1 4202560 11224 0 0 0 1262 2 0 0 25 0 4 0 650278033 323694592 37334 33554432000 4194304 4625164 140733338328192 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7942/tid=7945] ppid=7940 vsize=316108 CPUtime=12.64 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (SArTagnan) R 7940 7942 7803 0 -1 4202560 17720 0 0 0 1259 5 0 0 25 0 4 0 650278033 323694592 37334 33554432000 4194304 4625164 140733338328192 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7942/tid=7946] ppid=7940 vsize=316108 CPUtime=12.46 cores=0,2,4,6
/proc/7942/task/7946/stat : 7946 (SArTagnan) R 7940 7942 7803 0 -1 4202560 39597 0 0 0 1241 5 0 0 25 0 4 0 650278033 323694592 37334 33554432000 4194304 4625164 140733338328192 18446744073709551615 4335599 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.47
Current children cumulated vsize (KiB) 316108

[startup+25.5009 s]
/proc/loadavg: 7.71 8.00 8.11 9/463 7946
/proc/meminfo: memFree=10190864/32951124 swapFree=65980224/67111528
[pid=7942] ppid=7940 vsize=354812 CPUtime=101.48 cores=0,2,4,6
/proc/7942/stat : 7942 (SArTagnan) R 7940 7942 7803 0 -1 4202496 181519 0 0 0 10113 35 0 0 25 0 4 0 650278029 363327488 59143 33554432000 4194304 4625164 140733338328192 18446744073709551615 4393089 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7942/statm: 88703 59143 346 106 0 84206 0
[pid=7942/tid=7944] ppid=7940 vsize=354812 CPUtime=25.44 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (SArTagnan) R 7940 7942 7803 0 -1 4202560 18795 0 0 0 2539 5 0 0 25 0 4 0 650278033 363327488 59144 33554432000 4194304 4625164 140733338328192 18446744073709551615 4464320 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7942/tid=7945] ppid=7940 vsize=354812 CPUtime=25.45 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (SArTagnan) R 7940 7942 7803 0 -1 4202560 26428 0 0 0 2536 9 0 0 25 0 4 0 650278033 363327488 59144 33554432000 4194304 4625164 140733338328192 18446744073709551615 228095112225 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7942/tid=7946] ppid=7940 vsize=354812 CPUtime=25.07 cores=0,2,4,6
/proc/7942/task/7946/stat : 7946 (SArTagnan) R 7940 7942 7803 0 -1 4202560 109642 0 0 0 2492 15 0 0 25 0 4 0 650278033 363327488 59144 33554432000 4194304 4625164 140733338328192 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 354812

[startup+51.1012 s]
/proc/loadavg: 7.87 8.02 8.11 9/463 7947
/proc/meminfo: memFree=9966896/32951124 swapFree=65980224/67111528
[pid=7942] ppid=7940 vsize=571616 CPUtime=203.48 cores=0,2,4,6
/proc/7942/stat : 7942 (SArTagnan) R 7940 7942 7803 0 -1 4202496 362999 0 0 0 20280 68 0 0 25 0 4 0 650278029 585334784 96410 33554432000 4194304 4625164 140733338328192 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7942/statm: 142904 96410 346 106 0 138407 0
[pid=7942/tid=7944] ppid=7940 vsize=571616 CPUtime=51.03 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (SArTagnan) R 7940 7942 7803 0 -1 4202560 28731 0 0 0 5093 10 0 0 25 0 4 0 650278033 585334784 96410 33554432000 4194304 4625164 140733338328192 18446744073709551615 4351942 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7942/tid=7945] ppid=7940 vsize=571616 CPUtime=51.04 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (SArTagnan) R 7940 7942 7803 0 -1 4202560 38795 0 0 0 5090 14 0 0 25 0 4 0 650278033 585334784 96410 33554432000 4194304 4625164 140733338328192 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7942/tid=7946] ppid=7940 vsize=571616 CPUtime=50.28 cores=0,2,4,6
/proc/7942/task/7946/stat : 7946 (SArTagnan) R 7940 7942 7803 0 -1 4202560 224281 0 0 0 4997 31 0 0 25 0 4 0 650278033 585334784 96410 33554432000 4194304 4625164 140733338328192 18446744073709551615 4328133 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.48
Current children cumulated vsize (KiB) 571616

[startup+102.318 s]
/proc/loadavg: 8.05 8.04 8.11 9/463 7948
/proc/meminfo: memFree=9669040/32951124 swapFree=65980224/67111528
[pid=7942] ppid=7940 vsize=747616 CPUtime=407.55 cores=0,2,4,6
/proc/7942/stat : 7942 (SArTagnan) R 7940 7942 7803 0 -1 4202496 656654 0 0 0 40634 121 0 0 25 0 4 0 650278029 765558784 143981 33554432000 4194304 4625164 140733338328192 18446744073709551615 4392981 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7942/statm: 186904 143981 346 106 0 182407 0
[pid=7942/tid=7944] ppid=7940 vsize=747616 CPUtime=102.24 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (SArTagnan) R 7940 7942 7803 0 -1 4202560 40819 0 0 0 10208 16 0 0 25 0 4 0 650278033 765558784 143981 33554432000 4194304 4625164 140733338328192 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7942/tid=7945] ppid=7940 vsize=747616 CPUtime=102.25 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (SArTagnan) R 7940 7942 7803 0 -1 4202560 55190 0 0 0 10203 22 0 0 25 0 4 0 650278033 765558784 143981 33554432000 4194304 4625164 140733338328192 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7942/tid=7946] ppid=7940 vsize=747616 CPUtime=100.71 cores=0,2,4,6
/proc/7942/task/7946/stat : 7946 (SArTagnan) R 7940 7942 7803 0 -1 4202560 449487 0 0 0 10006 65 0 0 25 0 4 0 650278033 765558784 143981 33554432000 4194304 4625164 140733338328192 18446744073709551615 4334485 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.55
Current children cumulated vsize (KiB) 747616

[startup+162.301 s]
/proc/loadavg: 8.12 8.06 8.11 9/463 7950
/proc/meminfo: memFree=9323068/32951124 swapFree=65980224/67111528
[pid=7942] ppid=7940 vsize=1029556 CPUtime=646.56 cores=0,2,4,6
/proc/7942/stat : 7942 (SArTagnan) R 7940 7942 7803 0 -1 4202496 764457 0 0 0 64502 154 0 0 25 0 4 0 650278029 1054265344 201786 33554432000 4194304 4625164 140733338328192 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7942/statm: 257389 201786 358 106 0 252892 0
[pid=7942/tid=7944] ppid=7940 vsize=1029556 CPUtime=162.22 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (SArTagnan) R 7940 7942 7803 0 -1 4202560 58429 0 0 0 16195 27 0 0 25 0 4 0 650278033 1054265344 201786 33554432000 4194304 4625164 140733338328192 18446744073709551615 4352005 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7942/tid=7945] ppid=7940 vsize=1029556 CPUtime=162.24 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (SArTagnan) R 7940 7942 7803 0 -1 4202560 78968 0 0 0 16190 34 0 0 25 0 4 0 650278033 1054265344 201786 33554432000 4194304 4625164 140733338328192 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7942/tid=7946] ppid=7940 vsize=1029556 CPUtime=159.78 cores=0,2,4,6
/proc/7942/task/7946/stat : 7946 (SArTagnan) R 7940 7942 7803 0 -1 4202560 462332 0 0 0 15911 67 0 0 25 0 4 0 650278033 1054265344 201786 33554432000 4194304 4625164 140733338328192 18446744073709551615 4288743 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 646.56
Current children cumulated vsize (KiB) 1029556

[startup+222.301 s]
/proc/loadavg: 8.10 8.06 8.10 9/463 7952
/proc/meminfo: memFree=8988012/32951124 swapFree=65980224/67111528
[pid=7942] ppid=7940 vsize=1206052 CPUtime=885.62 cores=0,2,4,6
/proc/7942/stat : 7942 (SArTagnan) R 7940 7942 7803 0 -1 4202496 1034490 0 0 0 88354 208 0 0 25 0 4 0 650278029 1234997248 254503 33554432000 4194304 4625164 140733338328192 18446744073709551615 4393051 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7942/statm: 301513 254503 381 106 0 297016 0
[pid=7942/tid=7944] ppid=7940 vsize=1206052 CPUtime=222.19 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (SArTagnan) R 7940 7942 7803 0 -1 4202560 80084 0 0 0 22181 38 0 0 25 0 4 0 650278033 1234997248 254503 33554432000 4194304 4625164 140733338328192 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7942/tid=7945] ppid=7940 vsize=1206052 CPUtime=222.23 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (SArTagnan) R 7940 7942 7803 0 -1 4202560 89763 0 0 0 22181 42 0 0 25 0 4 0 650278033 1234997248 254503 33554432000 4194304 4625164 140733338328192 18446744073709551615 4339616 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7942/tid=7946] ppid=7940 vsize=1206052 CPUtime=218.86 cores=0,2,4,6
/proc/7942/task/7946/stat : 7946 (SArTagnan) R 7940 7942 7803 0 -1 4202560 628505 0 0 0 21794 92 0 0 25 0 4 0 650278033 1234997248 254503 33554432000 4194304 4625164 140733338328192 18446744073709551615 4579601 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 885.62
Current children cumulated vsize (KiB) 1206052

[startup+282.301 s]

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

[pid=7942] ppid=7940 vsize=2058696 CPUtime=2559.11 cores=0,2,4,6
/proc/7942/stat : 7942 (SArTagnan) R 7940 7942 7803 0 -1 4202496 4304441 0 0 0 255172 739 0 0 25 0 4 0 650278029 2108104704 411509 33554432000 4194304 4625164 140733338328192 18446744073709551615 4393110 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7942/statm: 514674 411509 346 106 0 510177 0
[pid=7942/tid=7944] ppid=7940 vsize=2058696 CPUtime=642.12 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (SArTagnan) R 7940 7942 7803 0 -1 4202560 94166 0 0 0 64163 49 0 0 25 0 4 0 650278033 2108104704 411509 33554432000 4194304 4625164 140733338328192 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7942/tid=7945] ppid=7940 vsize=2058696 CPUtime=642.26 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (SArTagnan) R 7940 7942 7803 0 -1 4202560 117103 0 0 0 64176 50 0 0 25 0 4 0 650278033 2108104704 411509 33554432000 4194304 4625164 140733338328192 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7942/tid=7946] ppid=7940 vsize=2058696 CPUtime=632.4 cores=0,2,4,6
/proc/7942/task/7946/stat : 7946 (SArTagnan) R 7940 7942 7803 0 -1 4202560 3563749 0 0 0 62682 558 0 0 25 0 4 0 650278033 2108104704 411509 33554432000 4194304 4625164 140733338328192 18446744073709551615 4339655 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2559.11
Current children cumulated vsize (KiB) 2058696

[startup+702.3 s]
/proc/loadavg: 8.18 8.11 8.09 9/463 7964
/proc/meminfo: memFree=7875796/32951124 swapFree=65980224/67111528
[pid=7942] ppid=7940 vsize=2058696 CPUtime=2798.14 cores=0,2,4,6
/proc/7942/stat : 7942 (SArTagnan) R 7940 7942 7803 0 -1 4202496 4713011 0 0 0 279010 804 0 0 25 0 4 0 650278029 2108104704 425008 33554432000 4194304 4625164 140733338328192 18446744073709551615 4511982 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7942/statm: 514674 425008 346 106 0 510177 0
[pid=7942/tid=7944] ppid=7940 vsize=2058696 CPUtime=702.09 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (SArTagnan) R 7940 7942 7803 0 -1 4202560 94596 0 0 0 70160 49 0 0 25 0 4 0 650278033 2108104704 425008 33554432000 4194304 4625164 140733338328192 18446744073709551615 4330613 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7942/tid=7945] ppid=7940 vsize=2058696 CPUtime=702.24 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (SArTagnan) R 7940 7942 7803 0 -1 4202560 117390 0 0 0 70174 50 0 0 25 0 4 0 650278033 2108104704 425008 33554432000 4194304 4625164 140733338328192 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7942/tid=7946] ppid=7940 vsize=2058696 CPUtime=691.47 cores=0,2,4,6
/proc/7942/task/7946/stat : 7946 (SArTagnan) R 7940 7942 7803 0 -1 4202560 3964245 0 0 0 68526 621 0 0 25 0 4 0 650278033 2108104704 425008 33554432000 4194304 4625164 140733338328192 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2798.14
Current children cumulated vsize (KiB) 2058696

[startup+762.317 s]
/proc/loadavg: 8.20 8.12 8.10 9/463 7966
/proc/meminfo: memFree=7750796/32951124 swapFree=65980224/67111528
[pid=7942] ppid=7940 vsize=2060272 CPUtime=3037.21 cores=0,2,4,6
/proc/7942/stat : 7942 (SArTagnan) R 7940 7942 7803 0 -1 4202496 5124271 0 0 0 302855 866 0 0 25 0 4 0 650278029 2109718528 435707 33554432000 4194304 4625164 140733338328192 18446744073709551615 4513489 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7942/statm: 515068 435707 346 106 0 510571 0
[pid=7942/tid=7944] ppid=7940 vsize=2060272 CPUtime=762.08 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (SArTagnan) R 7940 7942 7803 0 -1 4202560 94972 0 0 0 76159 49 0 0 25 0 4 0 650278033 2109718528 435707 33554432000 4194304 4625164 140733338328192 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7942/tid=7945] ppid=7940 vsize=2060272 CPUtime=762.21 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (SArTagnan) R 7940 7942 7803 0 -1 4202560 117600 0 0 0 76171 50 0 0 25 0 4 0 650278033 2109718528 435707 33554432000 4194304 4625164 140733338328192 18446744073709551615 4352002 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7942/tid=7946] ppid=7940 vsize=2060272 CPUtime=750.55 cores=0,2,4,6
/proc/7942/task/7946/stat : 7946 (SArTagnan) R 7940 7942 7803 0 -1 4202560 4367388 0 0 0 74374 681 0 0 25 0 4 0 650278033 2109718528 435707 33554432000 4194304 4625164 140733338328192 18446744073709551615 4547818 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3037.21
Current children cumulated vsize (KiB) 2060272

[startup+822.3 s]
/proc/loadavg: 8.26 8.14 8.10 9/463 7967
/proc/meminfo: memFree=7651584/32951124 swapFree=65980224/67111528
[pid=7942] ppid=7940 vsize=2060272 CPUtime=3276.22 cores=0,2,4,6
/proc/7942/stat : 7942 (SArTagnan) R 7940 7942 7803 0 -1 4202496 5492758 0 0 0 326694 928 0 0 25 0 4 0 650278029 2109718528 445565 33554432000 4194304 4625164 140733338328192 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7942/statm: 515068 445565 346 106 0 510571 0
[pid=7942/tid=7944] ppid=7940 vsize=2060272 CPUtime=822.05 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (SArTagnan) R 7940 7942 7803 0 -1 4202560 95436 0 0 0 82156 49 0 0 25 0 4 0 650278033 2109718528 445565 33554432000 4194304 4625164 140733338328192 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7942/tid=7945] ppid=7940 vsize=2060272 CPUtime=822.19 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (SArTagnan) R 7940 7942 7803 0 -1 4202560 118264 0 0 0 82169 50 0 0 25 0 4 0 650278033 2109718528 445565 33554432000 4194304 4625164 140733338328192 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7942/tid=7946] ppid=7940 vsize=2060272 CPUtime=809.62 cores=0,2,4,6
/proc/7942/task/7946/stat : 7946 (SArTagnan) R 7940 7942 7803 0 -1 4202560 4724033 0 0 0 80222 740 0 0 25 0 4 0 650278033 2109718528 445565 33554432000 4194304 4625164 140733338328192 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3276.22
Current children cumulated vsize (KiB) 2060272

[startup+882.3 s]
/proc/loadavg: 8.21 8.15 8.10 9/463 7969
/proc/meminfo: memFree=7453056/32951124 swapFree=65980224/67111528
[pid=7942] ppid=7940 vsize=2381652 CPUtime=3515.27 cores=0,2,4,6
/proc/7942/stat : 7942 (SArTagnan) R 7940 7942 7803 0 -1 4202496 6121311 0 0 0 350505 1022 0 0 25 0 4 0 650278029 2438811648 482922 33554432000 4194304 4625164 140733338328192 18446744073709551615 4392976 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7942/statm: 595413 482922 346 106 0 590916 0
[pid=7942/tid=7944] ppid=7940 vsize=2381652 CPUtime=882.05 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (SArTagnan) R 7940 7942 7803 0 -1 4202560 95977 0 0 0 88155 50 0 0 25 0 4 0 650278033 2438811648 482922 33554432000 4194304 4625164 140733338328192 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7942/tid=7945] ppid=7940 vsize=2381652 CPUtime=882.19 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (SArTagnan) R 7940 7942 7803 0 -1 4202560 123391 0 0 0 88166 53 0 0 25 0 4 0 650278033 2438811648 482922 33554432000 4194304 4625164 140733338328192 18446744073709551615 4352014 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7942/tid=7946] ppid=7940 vsize=2381652 CPUtime=868.68 cores=0,2,4,6
/proc/7942/task/7946/stat : 7946 (SArTagnan) R 7940 7942 7803 0 -1 4202560 5157435 0 0 0 86061 807 0 0 25 0 4 0 650278033 2438811648 482922 33554432000 4194304 4625164 140733338328192 18446744073709551615 4547291 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3515.27
Current children cumulated vsize (KiB) 2381652

[startup+942.3 s]
/proc/loadavg: 8.19 8.15 8.10 9/463 7971
/proc/meminfo: memFree=7336112/32951124 swapFree=65980224/67111528
[pid=7942] ppid=7940 vsize=2547288 CPUtime=3754.33 cores=0,2,4,6
/proc/7942/stat : 7942 (SArTagnan) R 7940 7942 7803 0 -1 4202496 6614198 0 0 0 374328 1105 0 0 25 0 4 0 650278029 2608422912 504430 33554432000 4194304 4625164 140733338328192 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7942/statm: 636822 504430 346 106 0 632325 0
[pid=7942/tid=7944] ppid=7940 vsize=2547288 CPUtime=942.02 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (SArTagnan) R 7940 7942 7803 0 -1 4202560 96441 0 0 0 94152 50 0 0 25 0 4 0 650278033 2608422912 504430 33554432000 4194304 4625164 140733338328192 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7942/tid=7945] ppid=7940 vsize=2547288 CPUtime=942.2 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (SArTagnan) R 7940 7942 7803 0 -1 4202560 130853 0 0 0 94157 63 0 0 25 0 4 0 650278033 2608422912 504430 33554432000 4194304 4625164 140733338328192 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7942/tid=7946] ppid=7940 vsize=2547288 CPUtime=927.76 cores=0,2,4,6
/proc/7942/task/7946/stat : 7946 (SArTagnan) R 7940 7942 7803 0 -1 4202560 5617898 0 0 0 91900 876 0 0 25 0 4 0 650278033 2608422912 504430 33554432000 4194304 4625164 140733338328192 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3754.33
Current children cumulated vsize (KiB) 2547288

[startup+1002.3 s]
/proc/loadavg: 8.11 8.13 8.09 9/463 7972
/proc/meminfo: memFree=7212356/32951124 swapFree=65980224/67111528
[pid=7942] ppid=7940 vsize=2577148 CPUtime=3993.38 cores=0,2,4,6
/proc/7942/stat : 7942 (SArTagnan) R 7940 7942 7803 0 -1 4202496 7101260 0 0 0 398152 1186 0 0 25 0 4 0 650278029 2638999552 527307 33554432000 4194304 4625164 140733338328192 18446744073709551615 4393110 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7942/statm: 644287 527307 346 106 0 639790 0
[pid=7942/tid=7944] ppid=7940 vsize=2577148 CPUtime=1002.01 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (SArTagnan) R 7940 7942 7803 0 -1 4202560 112706 0 0 0 100149 52 0 0 25 0 4 0 650278033 2638999552 527307 33554432000 4194304 4625164 140733338328192 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7942/tid=7945] ppid=7940 vsize=2577148 CPUtime=1002.2 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (SArTagnan) R 7940 7942 7803 0 -1 4202560 138118 0 0 0 100148 72 0 0 25 0 4 0 650278033 2638999552 527307 33554432000 4194304 4625164 140733338328192 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7942/tid=7946] ppid=7940 vsize=2577148 CPUtime=986.82 cores=0,2,4,6
/proc/7942/task/7946/stat : 7946 (SArTagnan) R 7940 7942 7803 0 -1 4202560 6073658 0 0 0 97737 945 0 0 25 0 4 0 650278033 2638999552 527307 33554432000 4194304 4625164 140733338328192 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3993.38
Current children cumulated vsize (KiB) 2577148

[startup+1062.3 s]
/proc/loadavg: 8.14 8.14 8.09 9/463 7983
/proc/meminfo: memFree=7104268/32951124 swapFree=65980224/67111528
[pid=7942] ppid=7940 vsize=2642684 CPUtime=4232.45 cores=0,2,4,6
/proc/7942/stat : 7942 (SArTagnan) R 7940 7942 7803 0 -1 4202496 7571709 0 0 0 421981 1264 0 0 25 0 4 0 650278029 2706108416 545077 33554432000 4194304 4625164 140733338328192 18446744073709551615 4392981 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7942/statm: 660671 545077 346 106 0 656174 0
[pid=7942/tid=7944] ppid=7940 vsize=2642684 CPUtime=1062.01 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (SArTagnan) R 7940 7942 7803 0 -1 4202560 113132 0 0 0 106148 53 0 0 25 0 4 0 650278033 2706108416 545077 33554432000 4194304 4625164 140733338328192 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7942/tid=7945] ppid=7940 vsize=2642684 CPUtime=1062.19 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (SArTagnan) R 7940 7942 7803 0 -1 4202560 141516 0 0 0 106142 77 0 0 25 0 4 0 650278033 2706108416 545077 33554432000 4194304 4625164 140733338328192 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7942/tid=7946] ppid=7940 vsize=2642684 CPUtime=1045.9 cores=0,2,4,6
/proc/7942/task/7946/stat : 7946 (SArTagnan) R 7940 7942 7803 0 -1 4202560 6532166 0 0 0 103574 1016 0 0 25 0 4 0 650278033 2706108416 545077 33554432000 4194304 4625164 140733338328192 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4232.45
Current children cumulated vsize (KiB) 2642684

[startup+1122.3 s]
/proc/loadavg: 8.09 8.12 8.09 9/463 7985
/proc/meminfo: memFree=7003316/32951124 swapFree=65980224/67111528
[pid=7942] ppid=7940 vsize=2690688 CPUtime=4471.49 cores=0,2,4,6
/proc/7942/stat : 7942 (SArTagnan) R 7940 7942 7803 0 -1 4202496 7795191 0 0 0 445850 1299 0 0 25 0 4 0 650278029 2755264512 561630 33554432000 4194304 4625164 140733338328192 18446744073709551615 4393074 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7942/statm: 672672 561630 346 106 0 668175 0
[pid=7942/tid=7944] ppid=7940 vsize=2690688 CPUtime=1121.99 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (SArTagnan) R 7940 7942 7803 0 -1 4202560 119687 0 0 0 112145 54 0 0 25 0 4 0 650278033 2755264512 561630 33554432000 4194304 4625164 140733338328192 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7942/tid=7945] ppid=7940 vsize=2690688 CPUtime=1122.19 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (SArTagnan) R 7940 7942 7803 0 -1 4202560 141882 0 0 0 112142 77 0 0 25 0 4 0 650278033 2755264512 561630 33554432000 4194304 4625164 140733338328192 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7942/tid=7946] ppid=7940 vsize=2690688 CPUtime=1104.97 cores=0,2,4,6
/proc/7942/task/7946/stat : 7946 (SArTagnan) R 7940 7942 7803 0 -1 4202560 6740556 0 0 0 109449 1048 0 0 25 0 4 0 650278033 2755264512 561630 33554432000 4194304 4625164 140733338328192 18446744073709551615 4334485 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4471.49
Current children cumulated vsize (KiB) 2690688

[startup+1182.3 s]
/proc/loadavg: 8.08 8.11 8.09 9/463 7986
/proc/meminfo: memFree=6846572/32951124 swapFree=65980224/67111528
[pid=7942] ppid=7940 vsize=2733480 CPUtime=4710.57 cores=0,2,4,6
/proc/7942/stat : 7942 (SArTagnan) R 7940 7942 7803 0 -1 4202496 8113866 0 0 0 469712 1345 0 0 25 0 4 0 650278029 2799083520 577640 33554432000 4194304 4625164 140733338328192 18446744073709551615 4393110 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7942/statm: 683370 577640 346 106 0 678873 0
[pid=7942/tid=7944] ppid=7940 vsize=2733480 CPUtime=1181.98 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (SArTagnan) R 7940 7942 7803 0 -1 4202560 120545 0 0 0 118144 54 0 0 25 0 4 0 650278033 2799083520 577640 33554432000 4194304 4625164 140733338328192 18446744073709551615 4488056 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7942/tid=7945] ppid=7940 vsize=2733480 CPUtime=1182.19 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (SArTagnan) R 7940 7942 7803 0 -1 4202560 142548 0 0 0 118142 77 0 0 25 0 4 0 650278033 2799083520 577640 33554432000 4194304 4625164 140733338328192 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7942/tid=7946] ppid=7940 vsize=2733480 CPUtime=1164.05 cores=0,2,4,6
/proc/7942/task/7946/stat : 7946 (SArTagnan) R 7940 7942 7803 0 -1 4202560 7046107 0 0 0 115314 1091 0 0 25 0 4 0 650278033 2799083520 577640 33554432000 4194304 4625164 140733338328192 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4710.57
Current children cumulated vsize (KiB) 2733480



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.8 s]
/proc/loadavg: 8.20 8.14 8.10 5/458 7988
/proc/meminfo: memFree=8216936/32951124 swapFree=65980224/67111528
[pid=7942] ppid=7940 vsize=2778148 CPUtime=4800.23 cores=0,2,4,6
/proc/7942/stat : 7942 (SArTagnan) R 7940 7942 7803 0 -1 4202496 8310689 0 0 0 478649 1374 0 0 25 0 4 0 650278029 2844823552 583871 33554432000 4194304 4625164 140733338328192 18446744073709551615 4392976 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7942/statm: 694537 583871 346 106 0 690040 0
[pid=7942/tid=7944] ppid=7940 vsize=2778148 CPUtime=1204.48 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (SArTagnan) R 7940 7942 7803 0 -1 4202560 120725 0 0 0 120394 54 0 0 25 0 4 0 650278033 2844823552 583871 33554432000 4194304 4625164 140733338328192 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7942/tid=7945] ppid=7940 vsize=2778148 CPUtime=1204.71 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (SArTagnan) R 7940 7942 7803 0 -1 4202560 166636 0 0 0 120390 81 0 0 25 0 4 0 650278033 2844823552 583871 33554432000 4194304 4625164 140733338328192 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7942/tid=7946] ppid=7940 vsize=2778148 CPUtime=1186.2 cores=0,2,4,6
/proc/7942/task/7946/stat : 7946 (SArTagnan) R 7940 7942 7803 0 -1 4202560 7216090 0 0 0 117504 1116 0 0 25 0 4 0 650278033 2844823552 583871 33554432000 4194304 4625164 140733338328192 18446744073709551615 228095148439 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 2778148

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1204.92
CPU time (s): 4800.38
CPU user time (s): 4786.54
CPU system time (s): 13.8449
CPU usage (%): 398.399
Max. virtual memory (cumulated for all children) (KiB): 3023732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4786.54
system time used= 13.8449
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8310689
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= 2421
involuntary context switches= 32928

runsolver used 5.2542 second user time and 13.329 second system time

The end

Launcher Data 

Begin job on node142 at 2011-05-16 22:43:46
IDJOB=3386099
IDBENCH=71443
IDSOLVER=1871
FILE ID=node142/3386099-1305578625
RUNJOBID= node142-1305577418-7821
PBS_JOBID= 13350222
Free space on /tmp= 73568 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v1820c171155g5.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386099-1305578625/watcher-3386099-1305578625 -o /tmp/evaluation-result-3386099-1305578625/solver-3386099-1305578625 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386099-1305578625.cnf -threads=4

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

MD5SUM BENCH= 70a781814cd432fb0f934a7edd92ccff
RANDOM SEED=1861349997

node142.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.846
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.69
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.846
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	: 5131.95
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.846
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.82
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.846
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.67
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.846
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.81
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.846
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.846
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.82
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.846
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:      10545676 kB
Buffers:        355488 kB
Cached:        4975012 kB
SwapCached:      11512 kB
Active:       18904364 kB
Inactive:      3129360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      10545676 kB
SwapTotal:    67111528 kB
SwapFree:     65980224 kB
Dirty:            3928 kB
Writeback:           0 kB
AnonPages:    16701008 kB
Mapped:          27796 kB
Slab:           237576 kB
PageTables:      66140 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 114566072 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= 73564 MiB
End job on node142 at 2011-05-16 23:03:52