Trace number 3385889

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.3 1204.16

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-21x40.cnf
MD5SUM65a5698edfd6f3a12089595d81c196e3
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 variables3360
Number of clauses661080
Sum of the clauses size2634240
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 25040
Number of clauses of size 30
Number of clauses of size 4656040
Number of clauses of size 50
Number of clauses of size over 50

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-3385889-1305581224/watcher-3385889-1305581224 -o /tmp/evaluation-result-3385889-1305581224/solver-3385889-1305581224 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3385889-1305581224.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: 3.46 4.09 5.43 5/376 5839
/proc/meminfo: memFree=27822156/32951124 swapFree=37160408/67111528
[pid=5839] ppid=5837 vsize=35616 CPUtime=0 cores=0,2,4,6
/proc/5839/stat : 5839 (SArTagnan) R 5837 5839 5006 0 -1 4202496 1084 0 0 0 0 0 0 0 21 0 1 0 669722873 36470784 814 33554432000 4194304 4625164 140735065325888 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5839/statm: 8904 815 296 106 0 4407 0

[startup+0.104953 s]
/proc/loadavg: 3.46 4.09 5.43 5/376 5839
/proc/meminfo: memFree=27822156/32951124 swapFree=37160408/67111528
[pid=5839] ppid=5837 vsize=50476 CPUtime=0.1 cores=0,2,4,6
/proc/5839/stat : 5839 (SArTagnan) R 5837 5839 5006 0 -1 4202496 9772 0 0 0 9 1 0 0 21 0 1 0 669722873 51687424 4993 33554432000 4194304 4625164 140735065325888 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5839/statm: 12619 4994 296 106 0 8122 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 50476

[startup+0.200937 s]
/proc/loadavg: 3.46 4.09 5.43 5/376 5839
/proc/meminfo: memFree=27822156/32951124 swapFree=37160408/67111528
[pid=5839] ppid=5837 vsize=75860 CPUtime=0.19 cores=0,2,4,6
/proc/5839/stat : 5839 (SArTagnan) R 5837 5839 5006 0 -1 4202496 20045 0 0 0 16 3 0 0 22 0 1 0 669722873 77680640 10953 33554432000 4194304 4625164 140735065325888 18446744073709551615 230808863189 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5839/statm: 18965 10973 296 106 0 14468 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 75860

[startup+0.300917 s]
/proc/loadavg: 3.46 4.09 5.43 5/376 5839
/proc/meminfo: memFree=27822156/32951124 swapFree=37160408/67111528
[pid=5839] ppid=5837 vsize=79164 CPUtime=0.29 cores=0,2,4,6
/proc/5839/stat : 5839 (SArTagnan) R 5837 5839 5006 0 -1 4202496 26821 0 0 0 26 3 0 0 22 0 1 0 669722873 81063936 13096 33554432000 4194304 4625164 140735065325888 18446744073709551615 230809165568 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5839/statm: 19791 13096 296 106 0 15294 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 79164

[startup+0.700806 s]
/proc/loadavg: 3.46 4.09 5.43 5/376 5839
/proc/meminfo: memFree=27822156/32951124 swapFree=37160408/67111528
[pid=5839] ppid=5837 vsize=397688 CPUtime=1.46 cores=0,2,4,6
/proc/5839/stat : 5839 (SArTagnan) R 5837 5839 5006 0 -1 4202496 71479 0 0 0 138 8 0 0 25 0 4 0 669722873 407232512 48621 33554432000 4194304 4625164 140735065325888 18446744073709551615 4392981 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5839/statm: 99422 48621 342 106 0 94925 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 397688

[startup+1.50066 s]
/proc/loadavg: 3.46 4.09 5.43 9/380 5843
/proc/meminfo: memFree=27590500/32951124 swapFree=37160408/67111528
[pid=5839] ppid=5837 vsize=423056 CPUtime=4.64 cores=0,2,4,6
/proc/5839/stat : 5839 (SArTagnan) R 5837 5839 5006 0 -1 4202496 104903 0 0 0 452 12 0 0 25 0 4 0 669722873 433209344 51705 33554432000 4194304 4625164 140735065325888 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5839/statm: 105764 51705 339 106 0 101267 0
[pid=5839/tid=5841] ppid=5837 vsize=423056 CPUtime=1.05 cores=0,2,4,6
/proc/5839/task/5841/stat : 5841 (SArTagnan) R 5837 5839 5006 0 -1 4202560 7478 0 0 0 104 1 0 0 25 0 4 0 669722918 433209344 51705 33554432000 4194304 4625164 140735065325888 18446744073709551615 4462556 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5839/tid=5842] ppid=5837 vsize=423056 CPUtime=1.04 cores=0,2,4,6
/proc/5839/task/5842/stat : 5842 (SArTagnan) R 5837 5839 5006 0 -1 4202560 7612 0 0 0 104 0 0 0 25 0 4 0 669722918 433209344 51705 33554432000 4194304 4625164 140735065325888 18446744073709551615 4352612 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5839/tid=5843] ppid=5837 vsize=423056 CPUtime=1.03 cores=0,2,4,6
/proc/5839/task/5843/stat : 5843 (SArTagnan) R 5837 5839 5006 0 -1 4202560 31267 0 0 0 100 3 0 0 25 0 4 0 669722918 433209344 51705 33554432000 4194304 4625164 140735065325888 18446744073709551615 4547221 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.64
Current children cumulated vsize (KiB) 423056

[startup+3.10037 s]
/proc/loadavg: 3.46 4.09 5.43 9/380 5843
/proc/meminfo: memFree=27543624/32951124 swapFree=37160408/67111528
[pid=5839] ppid=5837 vsize=423056 CPUtime=11.03 cores=0,2,4,6
/proc/5839/stat : 5839 (SArTagnan) R 5837 5839 5006 0 -1 4202496 142471 0 0 0 1086 17 0 0 25 0 4 0 669722873 433209344 54939 33554432000 4194304 4625164 140735065325888 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5839/statm: 105764 54939 339 106 0 101267 0
[pid=5839/tid=5841] ppid=5837 vsize=423056 CPUtime=2.65 cores=0,2,4,6
/proc/5839/task/5841/stat : 5841 (SArTagnan) R 5837 5839 5006 0 -1 4202560 8131 0 0 0 264 1 0 0 25 0 4 0 669722918 433209344 54939 33554432000 4194304 4625164 140735065325888 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5839/tid=5842] ppid=5837 vsize=423056 CPUtime=2.64 cores=0,2,4,6
/proc/5839/task/5842/stat : 5842 (SArTagnan) R 5837 5839 5006 0 -1 4202560 8222 0 0 0 264 0 0 0 25 0 4 0 669722918 433209344 54939 33554432000 4194304 4625164 140735065325888 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5839/tid=5843] ppid=5837 vsize=423056 CPUtime=2.62 cores=0,2,4,6
/proc/5839/task/5843/stat : 5843 (SArTagnan) R 5837 5839 5006 0 -1 4202560 67325 0 0 0 255 7 0 0 25 0 4 0 669722918 433209344 54939 33554432000 4194304 4625164 140735065325888 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.03
Current children cumulated vsize (KiB) 423056

[startup+6.30078 s]
/proc/loadavg: 3.83 4.15 5.44 9/380 5843
/proc/meminfo: memFree=27463900/32951124 swapFree=37160408/67111528
[pid=5839] ppid=5837 vsize=497968 CPUtime=23.78 cores=0,2,4,6
/proc/5839/stat : 5839 (SArTagnan) R 5837 5839 5006 0 -1 4202496 201325 0 0 0 2352 26 0 0 25 0 4 0 669722873 509919232 63540 33554432000 4194304 4625164 140735065325888 18446744073709551615 4512017 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5839/statm: 124492 63540 339 106 0 119995 0
[pid=5839/tid=5841] ppid=5837 vsize=497968 CPUtime=5.84 cores=0,2,4,6
/proc/5839/task/5841/stat : 5841 (SArTagnan) R 5837 5839 5006 0 -1 4202560 10386 0 0 0 582 2 0 0 25 0 4 0 669722918 509919232 63540 33554432000 4194304 4625164 140735065325888 18446744073709551615 4352170 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5839/tid=5842] ppid=5837 vsize=497968 CPUtime=5.85 cores=0,2,4,6
/proc/5839/task/5842/stat : 5842 (SArTagnan) R 5837 5839 5006 0 -1 4202560 10372 0 0 0 584 1 0 0 25 0 4 0 669722918 509919232 63540 33554432000 4194304 4625164 140735065325888 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5839/tid=5843] ppid=5837 vsize=497968 CPUtime=5.78 cores=0,2,4,6
/proc/5839/task/5843/stat : 5843 (SArTagnan) R 5837 5839 5006 0 -1 4202560 121456 0 0 0 564 14 0 0 25 0 4 0 669722918 509919232 63540 33554432000 4194304 4625164 140735065325888 18446744073709551615 4334485 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 23.78
Current children cumulated vsize (KiB) 497968

[startup+12.7006 s]
/proc/loadavg: 4.16 4.21 5.46 9/380 5843
/proc/meminfo: memFree=27289244/32951124 swapFree=37160408/67111528
[pid=5839] ppid=5837 vsize=510716 CPUtime=49.3 cores=0,2,4,6
/proc/5839/stat : 5839 (SArTagnan) R 5837 5839 5006 0 -1 4202496 465778 0 0 0 4872 58 0 0 25 0 4 0 669722873 522973184 79411 33554432000 4194304 4625164 140735065325888 18446744073709551615 4392981 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5839/statm: 127679 79411 339 106 0 123182 0
[pid=5839/tid=5841] ppid=5837 vsize=510716 CPUtime=12.25 cores=0,2,4,6
/proc/5839/task/5841/stat : 5841 (SArTagnan) R 5837 5839 5006 0 -1 4202560 20643 0 0 0 1221 4 0 0 25 0 4 0 669722918 522973184 79411 33554432000 4194304 4625164 140735065325888 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5839/tid=5842] ppid=5837 vsize=510716 CPUtime=12.25 cores=0,2,4,6
/proc/5839/task/5842/stat : 5842 (SArTagnan) R 5837 5839 5006 0 -1 4202560 14332 0 0 0 1223 2 0 0 25 0 4 0 669722918 522973184 79412 33554432000 4194304 4625164 140735065325888 18446744073709551615 230808826913 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5839/tid=5843] ppid=5837 vsize=510716 CPUtime=12.1 cores=0,2,4,6
/proc/5839/task/5843/stat : 5843 (SArTagnan) R 5837 5839 5006 0 -1 4202560 371616 0 0 0 1166 44 0 0 25 0 4 0 669722918 522973184 79412 33554432000 4194304 4625164 140735065325888 18446744073709551615 4351987 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 49.3
Current children cumulated vsize (KiB) 510716

[startup+25.5013 s]
/proc/loadavg: 5.01 4.40 5.50 9/380 5844
/proc/meminfo: memFree=27022144/32951124 swapFree=37160408/67111528
[pid=5839] ppid=5837 vsize=619432 CPUtime=100.33 cores=0,2,4,6
/proc/5839/stat : 5839 (SArTagnan) R 5837 5839 5006 0 -1 4202496 889680 0 0 0 9917 116 0 0 25 0 4 0 669722873 634298368 105321 33554432000 4194304 4625164 140735065325888 18446744073709551615 4499022 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5839/statm: 154858 105322 342 106 0 150361 0
[pid=5839/tid=5841] ppid=5837 vsize=619432 CPUtime=25.04 cores=0,2,4,6
/proc/5839/task/5841/stat : 5841 (SArTagnan) R 5837 5839 5006 0 -1 4202560 25565 0 0 0 2499 5 0 0 25 0 4 0 669722918 634298368 105323 33554432000 4194304 4625164 140735065325888 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5839/tid=5842] ppid=5837 vsize=619432 CPUtime=24.96 cores=0,2,4,6
/proc/5839/task/5842/stat : 5842 (SArTagnan) R 5837 5839 5006 0 -1 4202560 31399 0 0 0 2489 7 0 0 25 0 4 0 669722918 634298368 105324 33554432000 4194304 4625164 140735065325888 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5839/tid=5843] ppid=5837 vsize=619432 CPUtime=24.81 cores=0,2,4,6
/proc/5839/task/5843/stat : 5843 (SArTagnan) R 5837 5839 5006 0 -1 4202560 773006 0 0 0 2387 94 0 0 25 0 4 0 669722918 634298368 105325 33554432000 4194304 4625164 140735065325888 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.33
Current children cumulated vsize (KiB) 619432

[startup+51.1006 s]
/proc/loadavg: 6.17 4.72 5.57 9/380 5844
/proc/meminfo: memFree=26662096/32951124 swapFree=37160408/67111528
[pid=5839] ppid=5837 vsize=778068 CPUtime=202.41 cores=0,2,4,6
/proc/5839/stat : 5839 (SArTagnan) R 5837 5839 5006 0 -1 4202496 1635942 0 0 0 20021 220 0 0 25 0 4 0 669722873 796741632 144902 33554432000 4194304 4625164 140735065325888 18446744073709551615 4393124 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5839/statm: 194517 144902 342 106 0 190020 0
[pid=5839/tid=5841] ppid=5837 vsize=778068 CPUtime=50.64 cores=0,2,4,6
/proc/5839/task/5841/stat : 5841 (SArTagnan) R 5837 5839 5006 0 -1 4202560 42291 0 0 0 5055 9 0 0 25 0 4 0 669722918 796741632 144902 33554432000 4194304 4625164 140735065325888 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5839/tid=5842] ppid=5837 vsize=778068 CPUtime=50.26 cores=0,2,4,6
/proc/5839/task/5842/stat : 5842 (SArTagnan) R 5837 5839 5006 0 -1 4202560 50637 0 0 0 5015 11 0 0 25 0 4 0 669722918 796741632 144902 33554432000 4194304 4625164 140735065325888 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5839/tid=5843] ppid=5837 vsize=778068 CPUtime=50.41 cores=0,2,4,6
/proc/5839/task/5843/stat : 5843 (SArTagnan) R 5837 5839 5006 0 -1 4202560 1473636 0 0 0 4851 190 0 0 25 0 4 0 669722918 796741632 144902 33554432000 4194304 4625164 140735065325888 18446744073709551615 4547342 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 202.41
Current children cumulated vsize (KiB) 778068

[startup+102.301 s]
/proc/loadavg: 7.20 5.22 5.70 9/380 5846
/proc/meminfo: memFree=26027456/32951124 swapFree=37160408/67111528
[pid=5839] ppid=5837 vsize=1112960 CPUtime=406.62 cores=0,2,4,6
/proc/5839/stat : 5839 (SArTagnan) R 5837 5839 5006 0 -1 4202496 2526866 0 0 0 40313 349 0 0 25 0 4 0 669722873 1139671040 224353 33554432000 4194304 4625164 140735065325888 18446744073709551615 4396709 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5839/statm: 278240 224353 507 106 0 273743 0
[pid=5839/tid=5841] ppid=5837 vsize=1112960 CPUtime=101.85 cores=0,2,4,6
/proc/5839/task/5841/stat : 5841 (SArTagnan) R 5837 5839 5006 0 -1 4202560 67439 0 0 0 10169 16 0 0 25 0 4 0 669722918 1139671040 224354 33554432000 4194304 4625164 140735065325888 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5839/tid=5842] ppid=5837 vsize=1112960 CPUtime=100.86 cores=0,2,4,6
/proc/5839/task/5842/stat : 5842 (SArTagnan) R 5837 5839 5006 0 -1 4202560 69803 0 0 0 10061 25 0 0 25 0 4 0 669722918 1139671040 224354 33554432000 4194304 4625164 140735065325888 18446744073709551615 4462657 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5839/tid=5843] ppid=5837 vsize=1112960 CPUtime=101.62 cores=0,2,4,6
/proc/5839/task/5843/stat : 5843 (SArTagnan) R 5837 5839 5006 0 -1 4202560 2311110 0 0 0 9866 296 0 0 25 0 4 0 669722918 1139671040 224354 33554432000 4194304 4625164 140735065325888 18446744073709551615 4548757 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 406.62
Current children cumulated vsize (KiB) 1112960

[startup+162.3 s]
/proc/loadavg: 7.74 5.74 5.84 9/380 5847
/proc/meminfo: memFree=25414980/32951124 swapFree=37160408/67111528
[pid=5839] ppid=5837 vsize=1549176 CPUtime=645.85 cores=0,2,4,6
/proc/5839/stat : 5839 (SArTagnan) R 5837 5839 5006 0 -1 4202496 3942833 0 0 0 64047 538 0 0 25 0 4 0 669722873 1586356224 296908 33554432000 4194304 4625164 140735065325888 18446744073709551615 4336866 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5839/statm: 387294 296908 342 106 0 382797 0
[pid=5839/tid=5841] ppid=5837 vsize=1549176 CPUtime=161.83 cores=0,2,4,6
/proc/5839/task/5841/stat : 5841 (SArTagnan) R 5837 5839 5006 0 -1 4202560 104974 0 0 0 16161 22 0 0 25 0 4 0 669722918 1586356224 296908 33554432000 4194304 4625164 140735065325888 18446744073709551615 4462461 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5839/tid=5842] ppid=5837 vsize=1549176 CPUtime=160.13 cores=0,2,4,6
/proc/5839/task/5842/stat : 5842 (SArTagnan) R 5837 5839 5006 0 -1 4202560 106169 0 0 0 15976 37 0 0 25 0 4 0 669722918 1586356224 296908 33554432000 4194304 4625164 140735065325888 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5839/tid=5843] ppid=5837 vsize=1549176 CPUtime=161.6 cores=0,2,4,6
/proc/5839/task/5843/stat : 5843 (SArTagnan) R 5837 5839 5006 0 -1 4202560 3632687 0 0 0 15697 463 0 0 25 0 4 0 669722918 1586356224 296908 33554432000 4194304 4625164 140735065325888 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 645.85
Current children cumulated vsize (KiB) 1549176

[startup+222.314 s]
/proc/loadavg: 8.00 6.19 5.99 9/380 5849
/proc/meminfo: memFree=24943880/32951124 swapFree=37160408/67111528
[pid=5839] ppid=5837 vsize=1695164 CPUtime=885.14 cores=0,2,4,6
/proc/5839/stat : 5839 (SArTagnan) R 5837 5839 5006 0 -1 4202496 5495820 0 0 0 87746 768 0 0 25 0 4 0 669722873 1735847936 357444 33554432000 4194304 4625164 140735065325888 18446744073709551615 4396555 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5839/statm: 423791 357444 342 106 0 419294 0
[pid=5839/tid=5841] ppid=5837 vsize=1695164 CPUtime=221.86 cores=0,2,4,6
/proc/5839/task/5841/stat : 5841 (SArTagnan) R 5837 5839 5006 0 -1 4202560 115213 0 0 0 22161 25 0 0 25 0 4 0 669722918 1735847936 357444 33554432000 4194304 4625164 140735065325888 18446744073709551615 4351814 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5839/tid=5842] ppid=5837 vsize=1695164 CPUtime=219.41 cores=0,2,4,6
/proc/5839/task/5842/stat : 5842 (SArTagnan) R 5837 5839 5006 0 -1 4202560 126015 0 0 0 21882 59 0 0 25 0 4 0 669722918 1735847936 357444 33554432000 4194304 4625164 140735065325888 18446744073709551615 4351839 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5839/tid=5843] ppid=5837 vsize=1695164 CPUtime=221.61 cores=0,2,4,6
/proc/5839/task/5843/stat : 5843 (SArTagnan) R 5837 5839 5006 0 -1 4202560 5152932 0 0 0 21491 670 0 0 25 0 4 0 669722918 1735847936 357444 33554432000 4194304 4625164 140735065325888 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 885.14
Current children cumulated vsize (KiB) 1695164

[startup+282.3 s]

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


[startup+702.301 s]
/proc/loadavg: 8.09 7.73 6.83 9/380 5862
/proc/meminfo: memFree=22997268/32951124 swapFree=37160408/67111528
[pid=5839] ppid=5837 vsize=2795204 CPUtime=2799.32 cores=0,2,4,6
/proc/5839/stat : 5839 (SArTagnan) R 5837 5839 5006 0 -1 4202496 12540695 0 0 0 278043 1889 0 0 25 0 4 0 669722873 2862288896 599309 33554432000 4194304 4625164 140735065325888 18446744073709551615 4396555 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5839/statm: 698801 599330 342 106 0 694304 0
[pid=5839/tid=5841] ppid=5837 vsize=2795204 CPUtime=701.84 cores=0,2,4,6
/proc/5839/task/5841/stat : 5841 (SArTagnan) R 5837 5839 5006 0 -1 4202560 256614 0 0 0 70108 76 0 0 25 0 4 0 669722918 2862288896 599339 33554432000 4194304 4625164 140735065325888 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5839/tid=5842] ppid=5837 vsize=2795204 CPUtime=693.71 cores=0,2,4,6
/proc/5839/task/5842/stat : 5842 (SArTagnan) R 5837 5839 5006 0 -1 4202560 129938 0 0 0 69309 62 0 0 25 0 4 0 669722918 2862288896 599351 33554432000 4194304 4625164 140735065325888 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5839/tid=5843] ppid=5837 vsize=2795204 CPUtime=701.59 cores=0,2,4,6
/proc/5839/task/5843/stat : 5843 (SArTagnan) R 5837 5839 5006 0 -1 4202560 12013480 0 0 0 68431 1728 0 0 25 0 4 0 669722918 2862288896 599363 33554432000 4194304 4625164 140735065325888 18446744073709551615 230808863117 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2799.32
Current children cumulated vsize (KiB) 2795204

[startup+762.301 s]
/proc/loadavg: 8.03 7.77 6.90 9/380 5863
/proc/meminfo: memFree=22805528/32951124 swapFree=37160408/67111528
[pid=5839] ppid=5837 vsize=2872356 CPUtime=3038.64 cores=0,2,4,6
/proc/5839/stat : 5839 (SArTagnan) R 5837 5839 5006 0 -1 4202496 13401091 0 0 0 301835 2029 0 0 25 0 4 0 669722873 2941292544 623555 33554432000 4194304 4625164 140735065325888 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5839/statm: 718089 623555 342 106 0 713592 0
[pid=5839/tid=5841] ppid=5837 vsize=2872356 CPUtime=761.85 cores=0,2,4,6
/proc/5839/task/5841/stat : 5841 (SArTagnan) R 5837 5839 5006 0 -1 4202560 260571 0 0 0 76107 78 0 0 25 0 4 0 669722918 2941292544 623591 33554432000 4194304 4625164 140735065325888 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5839/tid=5842] ppid=5837 vsize=2872356 CPUtime=753 cores=0,2,4,6
/proc/5839/task/5842/stat : 5842 (SArTagnan) R 5837 5839 5006 0 -1 4202560 130019 0 0 0 75238 62 0 0 25 0 4 0 669722918 2941292544 623591 33554432000 4194304 4625164 140735065325888 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5839/tid=5843] ppid=5837 vsize=2872356 CPUtime=761.61 cores=0,2,4,6
/proc/5839/task/5843/stat : 5843 (SArTagnan) R 5837 5839 5006 0 -1 4202560 12868473 0 0 0 74295 1866 0 0 25 0 4 0 669722918 2941292544 623591 33554432000 4194304 4625164 140735065325888 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3038.64
Current children cumulated vsize (KiB) 2872356

[startup+822.301 s]
/proc/loadavg: 8.05 7.83 6.97 9/380 5865
/proc/meminfo: memFree=22588868/32951124 swapFree=37160408/67111528
[pid=5839] ppid=5837 vsize=2980504 CPUtime=3277.87 cores=0,2,4,6
/proc/5839/stat : 5839 (SArTagnan) R 5837 5839 5006 0 -1 4202496 14293591 0 0 0 325620 2167 0 0 25 0 4 0 669722873 3052036096 646099 33554432000 4194304 4625164 140735065325888 18446744073709551615 4396555 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5839/statm: 745126 646099 342 106 0 740629 0
[pid=5839/tid=5841] ppid=5837 vsize=2980504 CPUtime=821.84 cores=0,2,4,6
/proc/5839/task/5841/stat : 5841 (SArTagnan) R 5837 5839 5006 0 -1 4202560 263845 0 0 0 82104 80 0 0 25 0 4 0 669722918 3052036096 646099 33554432000 4194304 4625164 140735065325888 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5839/tid=5842] ppid=5837 vsize=2980504 CPUtime=812.3 cores=0,2,4,6
/proc/5839/task/5842/stat : 5842 (SArTagnan) R 5837 5839 5006 0 -1 4202560 130099 0 0 0 81167 63 0 0 25 0 4 0 669722918 3052036096 646099 33554432000 4194304 4625164 140735065325888 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5839/tid=5843] ppid=5837 vsize=2980504 CPUtime=821.6 cores=0,2,4,6
/proc/5839/task/5843/stat : 5843 (SArTagnan) R 5837 5839 5006 0 -1 4202560 13733086 0 0 0 80161 1999 0 0 25 0 4 0 669722918 3052036096 646099 33554432000 4194304 4625164 140735065325888 18446744073709551615 4547431 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3277.87
Current children cumulated vsize (KiB) 2980504

[startup+882.315 s]
/proc/loadavg: 8.02 7.86 7.04 9/380 5867
/proc/meminfo: memFree=22389568/32951124 swapFree=37160408/67111528
[pid=5839] ppid=5837 vsize=3024784 CPUtime=3517.21 cores=0,2,4,6
/proc/5839/stat : 5839 (SArTagnan) R 5837 5839 5006 0 -1 4202496 14628674 0 0 0 349499 2222 0 0 25 0 4 0 669722873 3097378816 671339 33554432000 4194304 4625164 140735065325888 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5839/statm: 756196 671339 342 106 0 751699 0
[pid=5839/tid=5841] ppid=5837 vsize=3024784 CPUtime=881.86 cores=0,2,4,6
/proc/5839/task/5841/stat : 5841 (SArTagnan) R 5837 5839 5006 0 -1 4202560 268356 0 0 0 88101 85 0 0 25 0 4 0 669722918 3097378816 671339 33554432000 4194304 4625164 140735065325888 18446744073709551615 4351998 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5839/tid=5842] ppid=5837 vsize=3024784 CPUtime=871.59 cores=0,2,4,6
/proc/5839/task/5842/stat : 5842 (SArTagnan) R 5837 5839 5006 0 -1 4202560 130171 0 0 0 87096 63 0 0 25 0 4 0 669722918 3097378816 671339 33554432000 4194304 4625164 140735065325888 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5839/tid=5843] ppid=5837 vsize=3024784 CPUtime=881.61 cores=0,2,4,6
/proc/5839/task/5843/stat : 5843 (SArTagnan) R 5837 5839 5006 0 -1 4202560 14062555 0 0 0 86112 2049 0 0 25 0 4 0 669722918 3097378816 671339 33554432000 4194304 4625164 140735065325888 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3517.21
Current children cumulated vsize (KiB) 3024784

[startup+942.301 s]
/proc/loadavg: 8.04 7.89 7.10 9/380 5868
/proc/meminfo: memFree=22241856/32951124 swapFree=37160408/67111528
[pid=5839] ppid=5837 vsize=3213016 CPUtime=3756.43 cores=0,2,4,6
/proc/5839/stat : 5839 (SArTagnan) R 5837 5839 5006 0 -1 4202496 14936087 0 0 0 373370 2273 0 0 25 0 4 0 669722873 3290128384 696206 33554432000 4194304 4625164 140735065325888 18446744073709551615 4512142 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5839/statm: 803254 696206 342 106 0 798757 0
[pid=5839/tid=5841] ppid=5837 vsize=3213016 CPUtime=941.85 cores=0,2,4,6
/proc/5839/task/5841/stat : 5841 (SArTagnan) R 5837 5839 5006 0 -1 4202560 273922 0 0 0 94094 91 0 0 25 0 4 0 669722918 3290128384 696206 33554432000 4194304 4625164 140735065325888 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5839/tid=5842] ppid=5837 vsize=3213016 CPUtime=930.87 cores=0,2,4,6
/proc/5839/task/5842/stat : 5842 (SArTagnan) R 5837 5839 5006 0 -1 4202560 130272 0 0 0 93024 63 0 0 25 0 4 0 669722918 3290128384 696206 33554432000 4194304 4625164 140735065325888 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5839/tid=5843] ppid=5837 vsize=3213016 CPUtime=941.6 cores=0,2,4,6
/proc/5839/task/5843/stat : 5843 (SArTagnan) R 5837 5839 5006 0 -1 4202560 14348820 0 0 0 92069 2091 0 0 25 0 4 0 669722918 3290128384 696206 33554432000 4194304 4625164 140735065325888 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3756.43
Current children cumulated vsize (KiB) 3213016

[startup+1002.3 s]
/proc/loadavg: 8.13 7.94 7.16 9/380 5870
/proc/meminfo: memFree=22105544/32951124 swapFree=37160408/67111528
[pid=5839] ppid=5837 vsize=3280092 CPUtime=3995.7 cores=0,2,4,6
/proc/5839/stat : 5839 (SArTagnan) R 5837 5839 5006 0 -1 4202496 15506368 0 0 0 397204 2366 0 0 25 0 4 0 669722873 3358814208 718847 33554432000 4194304 4625164 140735065325888 18446744073709551615 4511906 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5839/statm: 820023 718847 342 106 0 815526 0
[pid=5839/tid=5841] ppid=5837 vsize=3280092 CPUtime=1001.85 cores=0,2,4,6
/proc/5839/task/5841/stat : 5841 (SArTagnan) R 5837 5839 5006 0 -1 4202560 280666 0 0 0 100088 97 0 0 25 0 4 0 669722918 3358814208 718847 33554432000 4194304 4625164 140735065325888 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5839/tid=5842] ppid=5837 vsize=3280092 CPUtime=990.15 cores=0,2,4,6
/proc/5839/task/5842/stat : 5842 (SArTagnan) R 5837 5839 5006 0 -1 4202560 130380 0 0 0 98952 63 0 0 25 0 4 0 669722918 3358814208 718847 33554432000 4194304 4625164 140735065325888 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5839/tid=5843] ppid=5837 vsize=3280092 CPUtime=1001.6 cores=0,2,4,6
/proc/5839/task/5843/stat : 5843 (SArTagnan) R 5837 5839 5006 0 -1 4202560 14910875 0 0 0 97983 2177 0 0 25 0 4 0 669722918 3358814208 718847 33554432000 4194304 4625164 140735065325888 18446744073709551615 4549332 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3995.7
Current children cumulated vsize (KiB) 3280092

[startup+1062.3 s]
/proc/loadavg: 8.23 8.00 7.23 9/380 5871
/proc/meminfo: memFree=21971968/32951124 swapFree=37160408/67111528
[pid=5839] ppid=5837 vsize=3280280 CPUtime=4235 cores=0,2,4,6
/proc/5839/stat : 5839 (SArTagnan) R 5837 5839 5006 0 -1 4202496 16392344 0 0 0 420990 2510 0 0 25 0 4 0 669722873 3359006720 738798 33554432000 4194304 4625164 140735065325888 18446744073709551615 4392981 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5839/statm: 820070 738798 342 106 0 815573 0
[pid=5839/tid=5841] ppid=5837 vsize=3280280 CPUtime=1061.84 cores=0,2,4,6
/proc/5839/task/5841/stat : 5841 (SArTagnan) R 5837 5839 5006 0 -1 4202560 288036 0 0 0 106083 101 0 0 25 0 4 0 669722918 3359006720 738798 33554432000 4194304 4625164 140735065325888 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5839/tid=5842] ppid=5837 vsize=3280280 CPUtime=1049.45 cores=0,2,4,6
/proc/5839/task/5842/stat : 5842 (SArTagnan) R 5837 5839 5006 0 -1 4202560 130453 0 0 0 104882 63 0 0 25 0 4 0 669722918 3359006720 738798 33554432000 4194304 4625164 140735065325888 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5839/tid=5843] ppid=5837 vsize=3280280 CPUtime=1061.6 cores=0,2,4,6
/proc/5839/task/5843/stat : 5843 (SArTagnan) R 5837 5839 5006 0 -1 4202560 15788353 0 0 0 103844 2316 0 0 25 0 4 0 669722918 3359006720 738798 33554432000 4194304 4625164 140735065325888 18446744073709551615 47210514116560 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4235
Current children cumulated vsize (KiB) 3280280

[startup+1122.3 s]
/proc/loadavg: 8.16 8.01 7.28 9/380 5873
/proc/meminfo: memFree=21812840/32951124 swapFree=37160408/67111528
[pid=5839] ppid=5837 vsize=3577052 CPUtime=4474.26 cores=0,2,4,6
/proc/5839/stat : 5839 (SArTagnan) R 5837 5839 5006 0 -1 4202496 17207358 0 0 0 444788 2638 0 0 25 0 4 0 669722873 3662901248 769585 33554432000 4194304 4625164 140735065325888 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5839/statm: 894263 769585 342 106 0 889766 0
[pid=5839/tid=5841] ppid=5837 vsize=3577052 CPUtime=1121.85 cores=0,2,4,6
/proc/5839/task/5841/stat : 5841 (SArTagnan) R 5837 5839 5006 0 -1 4202560 377650 0 0 0 112070 115 0 0 25 0 4 0 669722918 3662901248 769585 33554432000 4194304 4625164 140735065325888 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5839/tid=5842] ppid=5837 vsize=3577052 CPUtime=1108.74 cores=0,2,4,6
/proc/5839/task/5842/stat : 5842 (SArTagnan) R 5837 5839 5006 0 -1 4202560 130531 0 0 0 110811 63 0 0 25 0 4 0 669722918 3662901248 769585 33554432000 4194304 4625164 140735065325888 18446744073709551615 4488027 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5839/tid=5843] ppid=5837 vsize=3577052 CPUtime=1121.6 cores=0,2,4,6
/proc/5839/task/5843/stat : 5843 (SArTagnan) R 5837 5839 5006 0 -1 4202560 16509467 0 0 0 109730 2430 0 0 25 0 4 0 669722918 3662901248 769585 33554432000 4194304 4625164 140735065325888 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4474.26
Current children cumulated vsize (KiB) 3577052

[startup+1182.3 s]
/proc/loadavg: 8.27 8.05 7.34 9/380 5874
/proc/meminfo: memFree=21698992/32951124 swapFree=37160408/67111528
[pid=5839] ppid=5837 vsize=3642588 CPUtime=4713.55 cores=0,2,4,6
/proc/5839/stat : 5839 (SArTagnan) R 5837 5839 5006 0 -1 4202496 17998461 0 0 0 468587 2768 0 0 25 0 4 0 669722873 3730010112 787996 33554432000 4194304 4625164 140735065325888 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5839/statm: 910647 787996 342 106 0 906150 0
[pid=5839/tid=5841] ppid=5837 vsize=3642588 CPUtime=1181.85 cores=0,2,4,6
/proc/5839/task/5841/stat : 5841 (SArTagnan) R 5837 5839 5006 0 -1 4202560 381082 0 0 0 118067 118 0 0 25 0 4 0 669722918 3730010112 787996 33554432000 4194304 4625164 140735065325888 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5839/tid=5842] ppid=5837 vsize=3642588 CPUtime=1168.03 cores=0,2,4,6
/proc/5839/task/5842/stat : 5842 (SArTagnan) R 5837 5839 5006 0 -1 4202560 130616 0 0 0 116740 63 0 0 25 0 4 0 669722918 3730010112 787996 33554432000 4194304 4625164 140735065325888 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5839/tid=5843] ppid=5837 vsize=3642588 CPUtime=1181.6 cores=0,2,4,6
/proc/5839/task/5843/stat : 5843 (SArTagnan) R 5837 5839 5006 0 -1 4202560 17286383 0 0 0 115606 2554 0 0 25 0 4 0 669722918 3730010112 787996 33554432000 4194304 4625164 140735065325888 18446744073709551615 4575344 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4713.55
Current children cumulated vsize (KiB) 3642588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204 s]
/proc/loadavg: 7.85 7.98 7.33 5/375 5876
/proc/meminfo: memFree=24666096/32951124 swapFree=37160408/67111528
[pid=5839] ppid=5837 vsize=3642588 CPUtime=4800.13 cores=0,2,4,6
/proc/5839/stat : 5839 (SArTagnan) R 5837 5839 5006 0 -1 4202496 18181076 0 0 0 477215 2798 0 0 25 0 4 0 669722873 3730010112 795200 33554432000 4194304 4625164 140735065325888 18446744073709551615 4396555 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5839/statm: 910647 795200 343 106 0 906150 0
[pid=5839/tid=5841] ppid=5837 vsize=3642588 CPUtime=1203.56 cores=0,2,4,6
/proc/5839/task/5841/stat : 5841 (SArTagnan) R 5837 5839 5006 0 -1 4202560 382834 0 0 0 120237 119 0 0 25 0 4 0 669722918 3730010112 795203 33554432000 4194304 4625164 140735065325888 18446744073709551615 4339643 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5839/tid=5842] ppid=5837 vsize=3642588 CPUtime=1189.47 cores=0,2,4,6
/proc/5839/task/5842/stat : 5842 (SArTagnan) R 5837 5839 5006 0 -1 4202560 130646 0 0 0 118884 63 0 0 25 0 4 0 669722918 3730010112 795203 33554432000 4194304 4625164 140735065325888 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5839/tid=5843] ppid=5837 vsize=3642588 CPUtime=1203.32 cores=0,2,4,6
/proc/5839/task/5843/stat : 5843 (SArTagnan) R 5837 5839 5006 0 -1 4202560 17463394 0 0 0 117750 2582 0 0 25 0 4 0 669722918 3730010112 795203 33554432000 4194304 4625164 140735065325888 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.13
Current children cumulated vsize (KiB) 3642588

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

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

[startup+1204.12 s]
/proc/loadavg: 7.85 7.98 7.33 5/375 5876
/proc/meminfo: memFree=24666096/32951124 swapFree=37160408/67111528
[pid=5839] ppid=5837 vsize=0 CPUtime=4800.26 cores=0,2,4,6
/proc/5839/stat : 5839 (SArTagnan) Z 5837 5839 5006 0 -1 4203548 18181081 0 0 0 477218 2808 0 0 25 0 2 0 669722873 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5839/statm: 0 0 0 0 0 0 0
[pid=5839/tid=5842] ppid=5837 vsize=0 CPUtime=1189.58 cores=0,2,4,6
/proc/5839/task/5842/stat : 5842 (SArTagnan) R 5837 5839 5006 0 -1 4203588 130646 0 0 0 118885 73 0 0 25 0 2 0 669722918 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.26
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1204.16
CPU time (s): 4800.3
CPU user time (s): 4772.19
CPU system time (s): 28.1167
CPU usage (%): 398.644
Max. virtual memory (cumulated for all children) (KiB): 3824992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4772.19
system time used= 28.1167
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18181081
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= 6384
involuntary context switches= 22693

runsolver used 4.01639 second user time and 10.2894 second system time

The end

Launcher Data 

Begin job on node104 at 2011-05-16 23:27:04
IDJOB=3385889
IDBENCH=83166
IDSOLVER=1871
FILE ID=node104/3385889-1305581224
RUNJOBID= node104-1305581224-5816
PBS_JOBID= 13350212
Free space on /tmp= 73256 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-21x40.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3385889-1305581224/watcher-3385889-1305581224 -o /tmp/evaluation-result-3385889-1305581224/solver-3385889-1305581224 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3385889-1305581224.cnf -threads=4

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

MD5SUM BENCH= 65a5698edfd6f3a12089595d81c196e3
RANDOM SEED=2046065294

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27822560 kB
Buffers:        302048 kB
Cached:        2736704 kB
SwapCached:     152312 kB
Active:        1308396 kB
Inactive:      3538888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27822560 kB
SwapTotal:    67111528 kB
SwapFree:     37160408 kB
Dirty:           18552 kB
Writeback:           0 kB
AnonPages:     1668388 kB
Mapped:          11164 kB
Slab:           128260 kB
PageTables:      89236 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 87792756 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= 73252 MiB
End job on node104 at 2011-05-16 23:47:10