Trace number 3386331

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.62 1204.38

General information on the benchmark

Nameapplication/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-TPP-21-step11.cnf
MD5SUM00d93f117a3253605ad3ac6a153ec61f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark234.365
Satisfiable
(Un)Satisfiability was proved
Number of variables99736
Number of clauses783991
Sum of the clauses size1708562
Maximum clause length91
Minimum clause length1
Number of clauses of size 1139
Number of clauses of size 2756759
Number of clauses of size 37636
Number of clauses of size 411357
Number of clauses of size 5745
Number of clauses of size over 57355

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-3386331-1305579793/watcher-3386331-1305579793 -o /tmp/evaluation-result-3386331-1305579793/solver-3386331-1305579793 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386331-1305579793.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: 8.82 9.08 9.07 6/400 9659
/proc/meminfo: memFree=20724920/32951124 swapFree=67057896/67111528
[pid=9659] ppid=9657 vsize=45420 CPUtime=0 cores=0,2,4,6
/proc/9659/stat : 9659 (SArTagnan) R 9657 9659 9320 0 -1 4202496 2384 0 0 0 0 0 0 0 25 0 1 0 650394674 46510080 2218 33554432000 4194304 4625164 140733463878384 18446744073709551615 254261616384 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9659/statm: 11355 2218 295 106 0 6858 0

[startup+0.058258 s]
/proc/loadavg: 8.82 9.08 9.07 6/400 9659
/proc/meminfo: memFree=20724920/32951124 swapFree=67057896/67111528
[pid=9659] ppid=9657 vsize=52096 CPUtime=0.05 cores=0,2,4,6
/proc/9659/stat : 9659 (SArTagnan) R 9657 9659 9320 0 -1 4202496 5056 0 0 0 5 0 0 0 25 0 1 0 650394674 53346304 3678 33554432000 4194304 4625164 140733463878384 18446744073709551615 254261616384 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9659/statm: 13024 3679 299 106 0 8527 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 52096

[startup+0.100249 s]
/proc/loadavg: 8.82 9.08 9.07 6/400 9659
/proc/meminfo: memFree=20724920/32951124 swapFree=67057896/67111528
[pid=9659] ppid=9657 vsize=53988 CPUtime=0.09 cores=0,2,4,6
/proc/9659/stat : 9659 (SArTagnan) R 9657 9659 9320 0 -1 4202496 6419 0 0 0 9 0 0 0 25 0 1 0 650394674 55283712 4094 33554432000 4194304 4625164 140733463878384 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9659/statm: 13497 4095 299 106 0 9000 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 53988

[startup+0.300178 s]
/proc/loadavg: 8.82 9.08 9.07 6/400 9659
/proc/meminfo: memFree=20724920/32951124 swapFree=67057896/67111528
[pid=9659] ppid=9657 vsize=217060 CPUtime=0.34 cores=0,2,4,6
/proc/9659/stat : 9659 (SArTagnan) R 9657 9659 9320 0 -1 4202496 24790 0 0 0 32 2 0 0 25 0 4 0 650394674 222269440 18415 33554432000 4194304 4625164 140733463878384 18446744073709551615 4499178 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9659/statm: 54265 18415 321 106 0 49768 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 217060

[startup+0.701105 s]
/proc/loadavg: 8.82 9.08 9.07 6/400 9659
/proc/meminfo: memFree=20724920/32951124 swapFree=67057896/67111528
[pid=9659] ppid=9657 vsize=349824 CPUtime=1.95 cores=0,2,4,6
/proc/9659/stat : 9659 (SArTagnan) R 9657 9659 9320 0 -1 4202496 26667 0 0 0 193 2 0 0 25 0 4 0 650394674 358219776 20136 33554432000 4194304 4625164 140733463878384 18446744073709551615 4390631 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9659/statm: 87456 20136 336 106 0 82959 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 349824

[startup+1.50096 s]
/proc/loadavg: 8.82 9.08 9.07 10/404 9663
/proc/meminfo: memFree=20640328/32951124 swapFree=67057896/67111528
[pid=9659] ppid=9657 vsize=357212 CPUtime=5.13 cores=0,2,4,6
/proc/9659/stat : 9659 (SArTagnan) R 9657 9659 9320 0 -1 4202496 30542 0 0 0 511 2 0 0 25 0 4 0 650394674 365785088 23054 33554432000 4194304 4625164 140733463878384 18446744073709551615 4278644 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9659/statm: 89303 23054 339 106 0 84806 0
[pid=9659/tid=9661] ppid=9657 vsize=357212 CPUtime=1.21 cores=0,2,4,6
/proc/9659/task/9661/stat : 9661 (SArTagnan) R 9657 9659 9320 0 -1 4202560 1282 0 0 0 121 0 0 0 25 0 4 0 650394702 365785088 23054 33554432000 4194304 4625164 140733463878384 18446744073709551615 4352812 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9659/tid=9662] ppid=9657 vsize=357212 CPUtime=1.21 cores=0,2,4,6
/proc/9659/task/9662/stat : 9662 (SArTagnan) R 9657 9659 9320 0 -1 4202560 1125 0 0 0 121 0 0 0 25 0 4 0 650394702 365785088 23054 33554432000 4194304 4625164 140733463878384 18446744073709551615 4288886 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9659/tid=9663] ppid=9657 vsize=357212 CPUtime=1.2 cores=0,2,4,6
/proc/9659/task/9663/stat : 9663 (SArTagnan) R 9657 9659 9320 0 -1 4202560 1627 0 0 0 120 0 0 0 25 0 4 0 650394702 365785088 23054 33554432000 4194304 4625164 140733463878384 18446744073709551615 4553548 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.13
Current children cumulated vsize (KiB) 357212

[startup+3.10068 s]
/proc/loadavg: 8.82 9.08 9.07 10/404 9663
/proc/meminfo: memFree=20618004/32951124 swapFree=67057896/67111528
[pid=9659] ppid=9657 vsize=380984 CPUtime=11.51 cores=0,2,4,6
/proc/9659/stat : 9659 (SArTagnan) R 9657 9659 9320 0 -1 4202496 45775 0 0 0 1146 5 0 0 25 0 4 0 650394674 390127616 33938 33554432000 4194304 4625164 140733463878384 18446744073709551615 4390900 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9659/statm: 95246 33938 452 106 0 90749 0
[pid=9659/tid=9661] ppid=9657 vsize=380984 CPUtime=2.81 cores=0,2,4,6
/proc/9659/task/9661/stat : 9661 (SArTagnan) R 9657 9659 9320 0 -1 4202560 2718 0 0 0 281 0 0 0 25 0 4 0 650394702 390127616 33938 33554432000 4194304 4625164 140733463878384 18446744073709551615 4352672 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9659/tid=9662] ppid=9657 vsize=380984 CPUtime=2.81 cores=0,2,4,6
/proc/9659/task/9662/stat : 9662 (SArTagnan) R 9657 9659 9320 0 -1 4202560 1953 0 0 0 280 1 0 0 25 0 4 0 650394702 390127616 33938 33554432000 4194304 4625164 140733463878384 18446744073709551615 4288883 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9659/tid=9663] ppid=9657 vsize=380984 CPUtime=2.78 cores=0,2,4,6
/proc/9659/task/9663/stat : 9663 (SArTagnan) R 9657 9659 9320 0 -1 4202560 4060 0 0 0 278 0 0 0 25 0 4 0 650394702 390127616 33938 33554432000 4194304 4625164 140733463878384 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.51
Current children cumulated vsize (KiB) 380984

[startup+6.30111 s]
/proc/loadavg: 8.92 9.09 9.08 10/404 9663
/proc/meminfo: memFree=20533312/32951124 swapFree=67057896/67111528
[pid=9659] ppid=9657 vsize=440728 CPUtime=24.27 cores=0,2,4,6
/proc/9659/stat : 9659 (SArTagnan) R 9657 9659 9320 0 -1 4202496 78803 0 0 0 2417 10 0 0 25 0 4 0 650394674 451305472 53781 33554432000 4194304 4625164 140733463878384 18446744073709551615 4390631 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9659/statm: 110182 53781 648 106 0 105685 0
[pid=9659/tid=9661] ppid=9657 vsize=440728 CPUtime=6.01 cores=0,2,4,6
/proc/9659/task/9661/stat : 9661 (SArTagnan) R 9657 9659 9320 0 -1 4202560 4702 0 0 0 601 0 0 0 25 0 4 0 650394702 451305472 53781 33554432000 4194304 4625164 140733463878384 18446744073709551615 4351731 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9659/tid=9662] ppid=9657 vsize=440728 CPUtime=6 cores=0,2,4,6
/proc/9659/task/9662/stat : 9662 (SArTagnan) R 9657 9659 9320 0 -1 4202560 3573 0 0 0 599 1 0 0 25 0 4 0 650394702 451305472 53781 33554432000 4194304 4625164 140733463878384 18446744073709551615 4339536 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9659/tid=9663] ppid=9657 vsize=440728 CPUtime=5.94 cores=0,2,4,6
/proc/9659/task/9663/stat : 9663 (SArTagnan) R 9657 9659 9320 0 -1 4202560 7541 0 0 0 593 1 0 0 25 0 4 0 650394702 451305472 53781 33554432000 4194304 4625164 140733463878384 18446744073709551615 4375338 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.27
Current children cumulated vsize (KiB) 440728

[startup+12.701 s]
/proc/loadavg: 8.92 9.09 9.08 10/404 9663
/proc/meminfo: memFree=20415164/32951124 swapFree=67057896/67111528
[pid=9659] ppid=9657 vsize=528908 CPUtime=49.79 cores=0,2,4,6
/proc/9659/stat : 9659 (SArTagnan) R 9657 9659 9320 0 -1 4202496 142085 0 0 0 4961 18 0 0 25 0 4 0 650394674 541601792 78918 33554432000 4194304 4625164 140733463878384 18446744073709551615 4509287 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9659/statm: 132227 78918 711 106 0 127730 0
[pid=9659/tid=9661] ppid=9657 vsize=528908 CPUtime=12.4 cores=0,2,4,6
/proc/9659/task/9661/stat : 9661 (SArTagnan) R 9657 9659 9320 0 -1 4202560 8923 0 0 0 1240 0 0 0 25 0 4 0 650394702 541601792 78918 33554432000 4194304 4625164 140733463878384 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9659/tid=9662] ppid=9657 vsize=528908 CPUtime=12.4 cores=0,2,4,6
/proc/9659/task/9662/stat : 9662 (SArTagnan) R 9657 9659 9320 0 -1 4202560 4491 0 0 0 1239 1 0 0 25 0 4 0 650394702 541601792 78918 33554432000 4194304 4625164 140733463878384 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9659/tid=9663] ppid=9657 vsize=528908 CPUtime=12.26 cores=0,2,4,6
/proc/9659/task/9663/stat : 9663 (SArTagnan) R 9657 9659 9320 0 -1 4202560 16125 0 0 0 1224 2 0 0 25 0 4 0 650394702 541601792 78918 33554432000 4194304 4625164 140733463878384 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 49.79
Current children cumulated vsize (KiB) 528908

[startup+25.5007 s]
/proc/loadavg: 8.94 9.08 9.07 10/404 9664
/proc/meminfo: memFree=20312244/32951124 swapFree=67057896/67111528
[pid=9659] ppid=9657 vsize=538292 CPUtime=100.81 cores=0,2,4,6
/proc/9659/stat : 9659 (SArTagnan) R 9657 9659 9320 0 -1 4202496 179238 0 0 0 10057 24 0 0 25 0 4 0 650394674 551211008 101646 33554432000 4194304 4625164 140733463878384 18446744073709551615 4512326 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9659/statm: 134573 101646 700 106 0 130076 0
[pid=9659/tid=9661] ppid=9657 vsize=538292 CPUtime=25.21 cores=0,2,4,6
/proc/9659/task/9661/stat : 9661 (SArTagnan) R 9657 9659 9320 0 -1 4202560 14886 0 0 0 2519 2 0 0 25 0 4 0 650394702 551211008 101646 33554432000 4194304 4625164 140733463878384 18446744073709551615 4288883 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9659/tid=9662] ppid=9657 vsize=538292 CPUtime=25.2 cores=0,2,4,6
/proc/9659/task/9662/stat : 9662 (SArTagnan) R 9657 9659 9320 0 -1 4202560 7304 0 0 0 2518 2 0 0 25 0 4 0 650394702 551211008 101646 33554432000 4194304 4625164 140733463878384 18446744073709551615 4351731 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9659/tid=9663] ppid=9657 vsize=538292 CPUtime=24.89 cores=0,2,4,6
/proc/9659/task/9663/stat : 9663 (SArTagnan) R 9657 9659 9320 0 -1 4202560 16486 0 0 0 2486 3 0 0 25 0 4 0 650394702 551211008 101646 33554432000 4194304 4625164 140733463878384 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 100.81
Current children cumulated vsize (KiB) 538292

[startup+51.1011 s]
/proc/loadavg: 9.02 9.09 9.08 10/404 9664
/proc/meminfo: memFree=19890888/32951124 swapFree=67057896/67111528
[pid=9659] ppid=9657 vsize=1045052 CPUtime=202.86 cores=0,2,4,6
/proc/9659/stat : 9659 (SArTagnan) R 9657 9659 9320 0 -1 4202496 379420 0 0 0 20238 48 0 0 25 0 4 0 650394674 1070133248 202313 33554432000 4194304 4625164 140733463878384 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9659/statm: 261263 202313 372 106 0 256766 0
[pid=9659/tid=9661] ppid=9657 vsize=1045052 CPUtime=50.8 cores=0,2,4,6
/proc/9659/task/9661/stat : 9661 (SArTagnan) R 9657 9659 9320 0 -1 4202560 43571 0 0 0 5074 6 0 0 25 0 4 0 650394702 1070133248 202313 33554432000 4194304 4625164 140733463878384 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9659/tid=9662] ppid=9657 vsize=1045052 CPUtime=50.79 cores=0,2,4,6
/proc/9659/task/9662/stat : 9662 (SArTagnan) R 9657 9659 9320 0 -1 4202560 29398 0 0 0 5075 4 0 0 25 0 4 0 650394702 1070133248 202313 33554432000 4194304 4625164 140733463878384 18446744073709551615 4334466 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9659/tid=9663] ppid=9657 vsize=1045052 CPUtime=50.16 cores=0,2,4,6
/proc/9659/task/9663/stat : 9663 (SArTagnan) R 9657 9659 9320 0 -1 4202560 38022 0 0 0 5011 5 0 0 25 0 4 0 650394702 1070133248 202313 33554432000 4194304 4625164 140733463878384 18446744073709551615 4334251 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 202.86
Current children cumulated vsize (KiB) 1045052

[startup+102.315 s]
/proc/loadavg: 9.07 9.09 9.08 10/404 9666
/proc/meminfo: memFree=19565044/32951124 swapFree=67057896/67111528
[pid=9659] ppid=9657 vsize=1455888 CPUtime=407.06 cores=0,2,4,6
/proc/9659/stat : 9659 (SArTagnan) R 9657 9659 9320 0 -1 4202496 653080 0 0 0 40620 86 0 0 25 0 4 0 650394674 1490829312 279917 33554432000 4194304 4625164 140733463878384 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9659/statm: 363972 279917 428 106 0 359475 0
[pid=9659/tid=9661] ppid=9657 vsize=1455888 CPUtime=102.01 cores=0,2,4,6
/proc/9659/task/9661/stat : 9661 (SArTagnan) R 9657 9659 9320 0 -1 4202560 73894 0 0 0 10191 10 0 0 25 0 4 0 650394702 1490829312 279917 33554432000 4194304 4625164 140733463878384 18446744073709551615 4351981 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9659/tid=9662] ppid=9657 vsize=1455888 CPUtime=102 cores=0,2,4,6
/proc/9659/task/9662/stat : 9662 (SArTagnan) R 9657 9659 9320 0 -1 4202560 40920 0 0 0 10193 7 0 0 25 0 4 0 650394702 1490829312 279917 33554432000 4194304 4625164 140733463878384 18446744073709551615 4317294 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9659/tid=9663] ppid=9657 vsize=1455888 CPUtime=100.72 cores=0,2,4,6
/proc/9659/task/9663/stat : 9663 (SArTagnan) R 9657 9659 9320 0 -1 4202560 104250 0 0 0 10057 15 0 0 25 0 4 0 650394702 1490829312 279917 33554432000 4194304 4625164 140733463878384 18446744073709551615 4334224 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.06
Current children cumulated vsize (KiB) 1455888

[startup+162.3 s]
/proc/loadavg: 9.14 9.10 9.08 10/404 9667
/proc/meminfo: memFree=19225888/32951124 swapFree=67057896/67111528
[pid=9659] ppid=9657 vsize=1814684 CPUtime=646.22 cores=0,2,4,6
/proc/9659/stat : 9659 (SArTagnan) R 9657 9659 9320 0 -1 4202496 1020556 0 0 0 64484 138 0 0 25 0 4 0 650394674 1858236416 354606 33554432000 4194304 4625164 140733463878384 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9659/statm: 453671 354606 386 106 0 449174 0
[pid=9659/tid=9661] ppid=9657 vsize=1814684 CPUtime=161.99 cores=0,2,4,6
/proc/9659/task/9661/stat : 9661 (SArTagnan) R 9657 9659 9320 0 -1 4202560 81377 0 0 0 16187 12 0 0 25 0 4 0 650394702 1858236416 354606 33554432000 4194304 4625164 140733463878384 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9659/tid=9662] ppid=9657 vsize=1814684 CPUtime=161.96 cores=0,2,4,6
/proc/9659/task/9662/stat : 9662 (SArTagnan) R 9657 9659 9320 0 -1 4202560 58978 0 0 0 16186 10 0 0 25 0 4 0 650394702 1858236416 354606 33554432000 4194304 4625164 140733463878384 18446744073709551615 4316669 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9659/tid=9663] ppid=9657 vsize=1814684 CPUtime=159.95 cores=0,2,4,6
/proc/9659/task/9663/stat : 9663 (SArTagnan) R 9657 9659 9320 0 -1 4202560 342308 0 0 0 15947 48 0 0 25 0 4 0 650394702 1858236416 354606 33554432000 4194304 4625164 140733463878384 18446744073709551615 4288861 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 646.22
Current children cumulated vsize (KiB) 1814684

[startup+222.301 s]
/proc/loadavg: 9.09 9.10 9.08 10/404 9669
/proc/meminfo: memFree=18992388/32951124 swapFree=67057896/67111528
[pid=9659] ppid=9657 vsize=2046508 CPUtime=885.46 cores=0,2,4,6
/proc/9659/stat : 9659 (SArTagnan) R 9657 9659 9320 0 -1 4202496 1433225 0 0 0 88348 198 0 0 25 0 4 0 650394674 2095624192 407574 33554432000 4194304 4625164 140733463878384 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9659/statm: 511627 407574 348 106 0 507130 0
[pid=9659/tid=9661] ppid=9657 vsize=2046508 CPUtime=221.99 cores=0,2,4,6
/proc/9659/task/9661/stat : 9661 (SArTagnan) R 9657 9659 9320 0 -1 4202560 112249 0 0 0 22182 17 0 0 25 0 4 0 650394702 2095624192 407574 33554432000 4194304 4625164 140733463878384 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9659/tid=9662] ppid=9657 vsize=2046508 CPUtime=221.95 cores=0,2,4,6
/proc/9659/task/9662/stat : 9662 (SArTagnan) R 9657 9659 9320 0 -1 4202560 67381 0 0 0 22183 12 0 0 25 0 4 0 650394702 2095624192 407574 33554432000 4194304 4625164 140733463878384 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9659/tid=9663] ppid=9657 vsize=2046508 CPUtime=219.18 cores=0,2,4,6
/proc/9659/task/9663/stat : 9663 (SArTagnan) R 9657 9659 9320 0 -1 4202560 611407 0 0 0 21832 86 0 0 25 0 4 0 650394702 2095624192 407574 33554432000 4194304 4625164 140733463878384 18446744073709551615 4288686 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 885.46
Current children cumulated vsize (KiB) 2046508

[startup+282.301 s]

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


[startup+702.301 s]
/proc/loadavg: 9.21 9.12 9.09 10/404 9713
/proc/meminfo: memFree=18029004/32951124 swapFree=67057896/67111528
[pid=9659] ppid=9657 vsize=3703688 CPUtime=2799.28 cores=0,2,4,6
/proc/9659/stat : 9659 (SArTagnan) R 9657 9659 9320 0 -1 4202496 3581634 0 0 0 279418 510 0 0 25 0 4 0 650394674 3792576512 752568 33554432000 4194304 4625164 140733463878384 18446744073709551615 4511938 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9659/statm: 925922 752568 384 106 0 921425 0
[pid=9659/tid=9661] ppid=9657 vsize=3703688 CPUtime=702.01 cores=0,2,4,6
/proc/9659/task/9661/stat : 9661 (SArTagnan) R 9657 9659 9320 0 -1 4202560 240422 0 0 0 70164 37 0 0 25 0 4 0 650394702 3792576512 752568 33554432000 4194304 4625164 140733463878384 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9659/tid=9662] ppid=9657 vsize=3703688 CPUtime=701.86 cores=0,2,4,6
/proc/9659/task/9662/stat : 9662 (SArTagnan) R 9657 9659 9320 0 -1 4202560 125169 0 0 0 70159 27 0 0 25 0 4 0 650394702 3792576512 752568 33554432000 4194304 4625164 140733463878384 18446744073709551615 4288765 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9659/tid=9663] ppid=9657 vsize=3703688 CPUtime=693.09 cores=0,2,4,6
/proc/9659/task/9663/stat : 9663 (SArTagnan) R 9657 9659 9320 0 -1 4202560 2033539 0 0 0 69019 290 0 0 25 0 4 0 650394702 3792576512 752568 33554432000 4194304 4625164 140733463878384 18446744073709551615 4351702 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2799.28
Current children cumulated vsize (KiB) 3703688

[startup+762.315 s]
/proc/loadavg: 9.08 9.10 9.09 10/404 9714
/proc/meminfo: memFree=17779748/32951124 swapFree=67057896/67111528
[pid=9659] ppid=9657 vsize=3865628 CPUtime=3038.56 cores=0,2,4,6
/proc/9659/stat : 9659 (SArTagnan) R 9657 9659 9320 0 -1 4202496 3791722 0 0 0 303312 544 0 0 25 0 4 0 650394674 3958403072 794242 33554432000 4194304 4625164 140733463878384 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9659/statm: 966407 794242 356 106 0 961910 0
[pid=9659/tid=9661] ppid=9657 vsize=3865628 CPUtime=762.02 cores=0,2,4,6
/proc/9659/task/9661/stat : 9661 (SArTagnan) R 9657 9659 9320 0 -1 4202560 249372 0 0 0 76164 38 0 0 25 0 4 0 650394702 3958403072 794242 33554432000 4194304 4625164 140733463878384 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9659/tid=9662] ppid=9657 vsize=3865628 CPUtime=761.86 cores=0,2,4,6
/proc/9659/task/9662/stat : 9662 (SArTagnan) R 9657 9659 9320 0 -1 4202560 150220 0 0 0 76155 31 0 0 25 0 4 0 650394702 3958403072 794242 33554432000 4194304 4625164 140733463878384 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9659/tid=9663] ppid=9657 vsize=3865628 CPUtime=752.34 cores=0,2,4,6
/proc/9659/task/9663/stat : 9663 (SArTagnan) R 9657 9659 9320 0 -1 4202560 2180673 0 0 0 74921 313 0 0 25 0 4 0 650394702 3958403072 794242 33554432000 4194304 4625164 140733463878384 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3038.56
Current children cumulated vsize (KiB) 3865628

[startup+822.301 s]
/proc/loadavg: 9.03 9.08 9.08 10/404 9716
/proc/meminfo: memFree=17651144/32951124 swapFree=67057896/67111528
[pid=9659] ppid=9657 vsize=3865628 CPUtime=3277.74 cores=0,2,4,6
/proc/9659/stat : 9659 (SArTagnan) R 9657 9659 9320 0 -1 4202496 4052981 0 0 0 327192 582 0 0 25 0 4 0 650394674 3958403072 814332 33554432000 4194304 4625164 140733463878384 18446744073709551615 4509158 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9659/statm: 966407 814332 348 106 0 961910 0
[pid=9659/tid=9661] ppid=9657 vsize=3865628 CPUtime=822.01 cores=0,2,4,6
/proc/9659/task/9661/stat : 9661 (SArTagnan) R 9657 9659 9320 0 -1 4202560 253690 0 0 0 82162 39 0 0 25 0 4 0 650394702 3958403072 814332 33554432000 4194304 4625164 140733463878384 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9659/tid=9662] ppid=9657 vsize=3865628 CPUtime=821.84 cores=0,2,4,6
/proc/9659/task/9662/stat : 9662 (SArTagnan) R 9657 9659 9320 0 -1 4202560 150582 0 0 0 82153 31 0 0 25 0 4 0 650394702 3958403072 814332 33554432000 4194304 4625164 140733463878384 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9659/tid=9663] ppid=9657 vsize=3865628 CPUtime=811.56 cores=0,2,4,6
/proc/9659/task/9663/stat : 9663 (SArTagnan) R 9657 9659 9320 0 -1 4202560 2421840 0 0 0 80809 347 0 0 25 0 4 0 650394702 3958403072 814332 33554432000 4194304 4625164 140733463878384 18446744073709551615 4579376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3277.74
Current children cumulated vsize (KiB) 3865628

[startup+882.301 s]
/proc/loadavg: 9.01 9.06 9.07 10/404 9718
/proc/meminfo: memFree=17584548/32951124 swapFree=67057896/67111528
[pid=9659] ppid=9657 vsize=3927248 CPUtime=3516.97 cores=0,2,4,6
/proc/9659/stat : 9659 (SArTagnan) R 9657 9659 9320 0 -1 4202496 4385591 0 0 0 351064 633 0 0 25 0 4 0 650394674 4021501952 829735 33554432000 4194304 4625164 140733463878384 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9659/statm: 981812 829735 348 106 0 977315 0
[pid=9659/tid=9661] ppid=9657 vsize=3927248 CPUtime=882.01 cores=0,2,4,6
/proc/9659/task/9661/stat : 9661 (SArTagnan) R 9657 9659 9320 0 -1 4202560 253913 0 0 0 88162 39 0 0 25 0 4 0 650394702 4021501952 829735 33554432000 4194304 4625164 140733463878384 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9659/tid=9662] ppid=9657 vsize=3927248 CPUtime=881.82 cores=0,2,4,6
/proc/9659/task/9662/stat : 9662 (SArTagnan) R 9657 9659 9320 0 -1 4202560 151417 0 0 0 88151 31 0 0 25 0 4 0 650394702 4021501952 829735 33554432000 4194304 4625164 140733463878384 18446744073709551615 4278661 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9659/tid=9663] ppid=9657 vsize=3927248 CPUtime=870.79 cores=0,2,4,6
/proc/9659/task/9663/stat : 9663 (SArTagnan) R 9657 9659 9320 0 -1 4202560 2730098 0 0 0 86685 394 0 0 25 0 4 0 650394702 4021501952 829735 33554432000 4194304 4625164 140733463878384 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3516.97
Current children cumulated vsize (KiB) 3927248

[startup+942.3 s]
/proc/loadavg: 9.05 9.06 9.07 10/404 9719
/proc/meminfo: memFree=17476404/32951124 swapFree=67057896/67111528
[pid=9659] ppid=9657 vsize=4969624 CPUtime=3756.2 cores=0,2,4,6
/proc/9659/stat : 9659 (SArTagnan) R 9657 9659 9320 0 -1 4202496 4695378 0 0 0 374941 679 0 0 25 0 4 0 650394674 5088894976 928367 33554432000 4194304 4625164 140733463878384 18446744073709551615 254261314005 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9659/statm: 1242406 928388 351 106 0 1237909 0
[pid=9659/tid=9661] ppid=9657 vsize=4969624 CPUtime=942.01 cores=0,2,4,6
/proc/9659/task/9661/stat : 9661 (SArTagnan) R 9657 9659 9320 0 -1 4202560 254207 0 0 0 94162 39 0 0 25 0 4 0 650394702 5088894976 928398 33554432000 4194304 4625164 140733463878384 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9659/tid=9662] ppid=9657 vsize=4969624 CPUtime=941.81 cores=0,2,4,6
/proc/9659/task/9662/stat : 9662 (SArTagnan) R 9657 9659 9320 0 -1 4202560 155303 0 0 0 94148 33 0 0 25 0 4 0 650394702 5088894976 928411 33554432000 4194304 4625164 140733463878384 18446744073709551615 4317256 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9659/tid=9663] ppid=9657 vsize=4969624 CPUtime=930.04 cores=0,2,4,6
/proc/9659/task/9663/stat : 9663 (SArTagnan) R 9657 9659 9320 0 -1 4202560 2943972 0 0 0 92576 428 0 0 25 0 4 0 650394702 5088894976 928424 33554432000 4194304 4625164 140733463878384 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3756.2
Current children cumulated vsize (KiB) 4969624

[startup+1002.3 s]
/proc/loadavg: 9.27 9.11 9.09 10/404 9751
/proc/meminfo: memFree=17881804/32951124 swapFree=67057896/67111528
[pid=9659] ppid=9657 vsize=4341484 CPUtime=3995.38 cores=0,2,4,6
/proc/9659/stat : 9659 (SArTagnan) R 9657 9659 9320 0 -1 4202496 4922330 0 0 0 398823 715 0 0 25 0 4 0 650394674 4445679616 880922 33554432000 4194304 4625164 140733463878384 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9659/statm: 1085371 880922 349 106 0 1080874 0
[pid=9659/tid=9661] ppid=9657 vsize=4341484 CPUtime=1002.02 cores=0,2,4,6
/proc/9659/task/9661/stat : 9661 (SArTagnan) R 9657 9659 9320 0 -1 4202560 254415 0 0 0 100162 40 0 0 25 0 4 0 650394702 4445679616 880922 33554432000 4194304 4625164 140733463878384 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9659/tid=9662] ppid=9657 vsize=4341484 CPUtime=1001.78 cores=0,2,4,6
/proc/9659/task/9662/stat : 9662 (SArTagnan) R 9657 9659 9320 0 -1 4202560 157797 0 0 0 100144 34 0 0 25 0 4 0 650394702 4445679616 880922 33554432000 4194304 4625164 140733463878384 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9659/tid=9663] ppid=9657 vsize=4341484 CPUtime=989.25 cores=0,2,4,6
/proc/9659/task/9663/stat : 9663 (SArTagnan) R 9657 9659 9320 0 -1 4202560 3062737 0 0 0 98477 448 0 0 25 0 4 0 650394702 4445679616 880922 33554432000 4194304 4625164 140733463878384 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3995.38
Current children cumulated vsize (KiB) 4341484

[startup+1062.3 s]
/proc/loadavg: 9.15 9.10 9.09 10/404 9752
/proc/meminfo: memFree=17704828/32951124 swapFree=67057896/67111528
[pid=9659] ppid=9657 vsize=4408076 CPUtime=4234.6 cores=0,2,4,6
/proc/9659/stat : 9659 (SArTagnan) R 9657 9659 9320 0 -1 4202496 5229461 0 0 0 422693 767 0 0 25 0 4 0 650394674 4513869824 897816 33554432000 4194304 4625164 140733463878384 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9659/statm: 1102019 897816 355 106 0 1097522 0
[pid=9659/tid=9661] ppid=9657 vsize=4408076 CPUtime=1062.01 cores=0,2,4,6
/proc/9659/task/9661/stat : 9661 (SArTagnan) R 9657 9659 9320 0 -1 4202560 254644 0 0 0 106161 40 0 0 25 0 4 0 650394702 4513869824 897816 33554432000 4194304 4625164 140733463878384 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9659/tid=9662] ppid=9657 vsize=4408076 CPUtime=1061.77 cores=0,2,4,6
/proc/9659/task/9662/stat : 9662 (SArTagnan) R 9657 9659 9320 0 -1 4202560 161801 0 0 0 106141 36 0 0 25 0 4 0 650394702 4513869824 897816 33554432000 4194304 4625164 140733463878384 18446744073709551615 4317432 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9659/tid=9663] ppid=9657 vsize=4408076 CPUtime=1048.49 cores=0,2,4,6
/proc/9659/task/9663/stat : 9663 (SArTagnan) R 9657 9659 9320 0 -1 4202560 3353774 0 0 0 104354 495 0 0 25 0 4 0 650394702 4513869824 897816 33554432000 4194304 4625164 140733463878384 18446744073709551615 4552336 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4234.6
Current children cumulated vsize (KiB) 4408076

[startup+1122.3 s]
/proc/loadavg: 9.11 9.10 9.09 10/404 9754
/proc/meminfo: memFree=17518936/32951124 swapFree=67057896/67111528
[pid=9659] ppid=9657 vsize=4562484 CPUtime=4473.83 cores=0,2,4,6
/proc/9659/stat : 9659 (SArTagnan) R 9657 9659 9320 0 -1 4202496 5531773 0 0 0 446567 816 0 0 25 0 4 0 650394674 4671983616 914936 33554432000 4194304 4625164 140733463878384 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9659/statm: 1140621 914936 348 106 0 1136124 0
[pid=9659/tid=9661] ppid=9657 vsize=4562484 CPUtime=1122.02 cores=0,2,4,6
/proc/9659/task/9661/stat : 9661 (SArTagnan) R 9657 9659 9320 0 -1 4202560 254862 0 0 0 112162 40 0 0 25 0 4 0 650394702 4671983616 914936 33554432000 4194304 4625164 140733463878384 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9659/tid=9662] ppid=9657 vsize=4562484 CPUtime=1121.76 cores=0,2,4,6
/proc/9659/task/9662/stat : 9662 (SArTagnan) R 9657 9659 9320 0 -1 4202560 164655 0 0 0 112139 37 0 0 25 0 4 0 650394702 4671983616 914936 33554432000 4194304 4625164 140733463878384 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9659/tid=9663] ppid=9657 vsize=4562484 CPUtime=1107.72 cores=0,2,4,6
/proc/9659/task/9663/stat : 9663 (SArTagnan) R 9657 9659 9320 0 -1 4202560 3605840 0 0 0 110237 535 0 0 25 0 4 0 650394702 4671983616 914936 33554432000 4194304 4625164 140733463878384 18446744073709551615 4335165 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4473.83
Current children cumulated vsize (KiB) 4562484

[startup+1182.3 s]
/proc/loadavg: 9.15 9.11 9.09 10/404 9756
/proc/meminfo: memFree=17389952/32951124 swapFree=67057896/67111528
[pid=9659] ppid=9657 vsize=4628020 CPUtime=4713.08 cores=0,2,4,6
/proc/9659/stat : 9659 (SArTagnan) R 9657 9659 9320 0 -1 4202496 5826122 0 0 0 470441 867 0 0 25 0 4 0 650394674 4739092480 935322 33554432000 4194304 4625164 140733463878384 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9659/statm: 1157005 935322 348 106 0 1152508 0
[pid=9659/tid=9661] ppid=9657 vsize=4628020 CPUtime=1182.02 cores=0,2,4,6
/proc/9659/task/9661/stat : 9661 (SArTagnan) R 9657 9659 9320 0 -1 4202560 255115 0 0 0 118162 40 0 0 25 0 4 0 650394702 4739092480 935322 33554432000 4194304 4625164 140733463878384 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9659/tid=9662] ppid=9657 vsize=4628020 CPUtime=1181.75 cores=0,2,4,6
/proc/9659/task/9662/stat : 9662 (SArTagnan) R 9657 9659 9320 0 -1 4202560 166439 0 0 0 118137 38 0 0 25 0 4 0 650394702 4739092480 935322 33554432000 4194304 4625164 140733463878384 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9659/tid=9663] ppid=9657 vsize=4628020 CPUtime=1166.96 cores=0,2,4,6
/proc/9659/task/9663/stat : 9663 (SArTagnan) R 9657 9659 9320 0 -1 4202560 3878762 0 0 0 116115 581 0 0 25 0 4 0 650394702 4739092480 935322 33554432000 4194304 4625164 140733463878384 18446744073709551615 4579595 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4713.08
Current children cumulated vsize (KiB) 4628020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.2 s]
/proc/loadavg: 9.11 9.10 9.09 10/404 9756
/proc/meminfo: memFree=17326452/32951124 swapFree=67057896/67111528
[pid=9659] ppid=9657 vsize=4630912 CPUtime=4800.42 cores=0,2,4,6
/proc/9659/stat : 9659 (SArTagnan) R 9657 9659 9320 0 -1 4202496 5914822 0 0 0 479160 882 0 0 25 0 4 0 650394674 4742053888 943188 33554432000 4194304 4625164 140733463878384 18446744073709551615 4390435 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9659/statm: 1157728 943188 352 106 0 1153231 0
[pid=9659/tid=9661] ppid=9657 vsize=4630912 CPUtime=1203.94 cores=0,2,4,6
/proc/9659/task/9661/stat : 9661 (SArTagnan) R 9657 9659 9320 0 -1 4202560 255156 0 0 0 120353 41 0 0 25 0 4 0 650394702 4742053888 943240 33554432000 4194304 4625164 140733463878384 18446744073709551615 4330976 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9659/tid=9662] ppid=9657 vsize=4630912 CPUtime=1203.65 cores=0,2,4,6
/proc/9659/task/9662/stat : 9662 (SArTagnan) R 9657 9659 9320 0 -1 4202560 167433 0 0 0 120327 38 0 0 25 0 4 0 650394702 4742053888 943240 33554432000 4194304 4625164 140733463878384 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9659/tid=9663] ppid=9657 vsize=4630912 CPUtime=1188.58 cores=0,2,4,6
/proc/9659/task/9663/stat : 9663 (SArTagnan) R 9657 9659 9320 0 -1 4202560 3961096 0 0 0 118264 594 0 0 25 0 4 0 650394702 4742053888 943240 33554432000 4194304 4625164 140733463878384 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.42
Current children cumulated vsize (KiB) 4630912

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

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

[startup+1204.32 s]
/proc/loadavg: 9.11 9.10 9.09 10/404 9756
/proc/meminfo: memFree=17326452/32951124 swapFree=67057896/67111528
[pid=9659] ppid=9657 vsize=0 CPUtime=4800.55 cores=0,2,4,6
/proc/9659/stat : 9659 (SArTagnan) Z 9657 9659 9320 0 -1 4203548 5914883 0 0 0 479163 892 0 0 25 0 2 0 650394674 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9659/statm: 0 0 0 0 0 0 0
[pid=9659/tid=9663] ppid=9657 vsize=0 CPUtime=1188.69 cores=0,2,4,6
/proc/9659/task/9663/stat : 9663 (SArTagnan) R 9657 9659 9320 0 -1 4203588 3961098 0 0 0 118265 604 0 0 25 0 2 0 650394702 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.55
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1204.38
CPU time (s): 4800.62
CPU user time (s): 4791.64
CPU system time (s): 8.97763
CPU usage (%): 398.597
Max. virtual memory (cumulated for all children) (KiB): 4969624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4791.64
system time used= 8.97763
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5914883
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= 1578
involuntary context switches= 21379

runsolver used 4.37533 second user time and 10.9923 second system time

The end

Launcher Data 

Begin job on node140 at 2011-05-16 23:03:14
IDJOB=3386331
IDBENCH=82431
IDSOLVER=1871
FILE ID=node140/3386331-1305579793
RUNJOBID= node140-1305577067-9338
PBS_JOBID= 13350214
Free space on /tmp= 73416 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-TPP-21-step11.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386331-1305579793/watcher-3386331-1305579793 -o /tmp/evaluation-result-3386331-1305579793/solver-3386331-1305579793 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386331-1305579793.cnf -threads=4

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

MD5SUM BENCH= 00d93f117a3253605ad3ac6a153ec61f
RANDOM SEED=2078601887

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.14
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.833
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.833
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.833
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.833
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.74
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.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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:      20725084 kB
Buffers:        334384 kB
Cached:        4963104 kB
SwapCached:       8088 kB
Active:        8461056 kB
Inactive:      3429164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20725084 kB
SwapTotal:    67111528 kB
SwapFree:     67057896 kB
Dirty:           12836 kB
Writeback:           0 kB
AnonPages:     6589580 kB
Mapped:          31304 kB
Slab:           227520 kB
PageTables:      43040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 103039272 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= 73416 MiB
End job on node140 at 2011-05-16 23:23:20