Trace number 3257736

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-03-24? (TO) 4800.52 1202.13

General information on the benchmark

NameCRAFTED/rbsat/random/unforced/
rbsat-v2400c266431g3.cnf
MD5SUM231f625a25c77518fbce98fe99f807b5
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 variables2400
Number of clauses266431
Sum of the clauses size535112
Maximum clause length32
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2266356
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 575

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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3257736-1304051570/watcher-3257736-1304051570 -o /tmp/evaluation-result-3257736-1304051570/solver-3257736-1304051570 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3257736-1304051570.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.07 8.06 8.00 5/180 28436
/proc/meminfo: memFree=19114528/32950928 swapFree=67111364/67111528
[pid=28436] ppid=28434 vsize=25124 CPUtime=0 cores=0,2,4,6
/proc/28436/stat : 28436 (SArTagnan) R 28434 28436 27953 0 -1 4202496 596 0 0 0 0 0 0 0 25 0 1 0 595387651 25726976 473 33554432000 4194304 4623224 140735446517728 18446744073709551615 251367546624 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/28436/statm: 6281 474 297 105 0 1785 0

[startup+0.0363729 s]
/proc/loadavg: 8.07 8.06 8.00 5/180 28436
/proc/meminfo: memFree=19114528/32950928 swapFree=67111364/67111528
[pid=28436] ppid=28434 vsize=27348 CPUtime=0.03 cores=0,2,4,6
/proc/28436/stat : 28436 (SArTagnan) R 28434 28436 27953 0 -1 4202496 2134 0 0 0 3 0 0 0 25 0 1 0 595387651 28004352 896 33554432000 4194304 4623224 140735446517728 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/28436/statm: 6837 897 297 105 0 2341 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 27348

[startup+0.100298 s]
/proc/loadavg: 8.07 8.06 8.00 5/180 28436
/proc/meminfo: memFree=19114528/32950928 swapFree=67111364/67111528
[pid=28436] ppid=28434 vsize=268048 CPUtime=0.18 cores=0,2,4,6
/proc/28436/stat : 28436 (SArTagnan) R 28434 28436 27953 0 -1 4202496 7832 0 0 0 18 0 0 0 25 0 4 0 595387651 274481152 5977 33554432000 4194304 4623224 140735446517728 18446744073709551615 4366247 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28436/statm: 67012 5979 332 105 0 62516 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 268048

[startup+0.300263 s]
/proc/loadavg: 8.07 8.06 8.00 5/180 28436
/proc/meminfo: memFree=19114528/32950928 swapFree=67111364/67111528
[pid=28436] ppid=28434 vsize=280644 CPUtime=0.98 cores=0,2,4,6
/proc/28436/stat : 28436 (SArTagnan) R 28434 28436 27953 0 -1 4202496 17642 0 0 0 97 1 0 0 25 0 4 0 595387651 287379456 10745 33554432000 4194304 4623224 140735446517728 18446744073709551615 4519712 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28436/statm: 70161 10745 352 105 0 65665 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 280644

[startup+0.700188 s]
/proc/loadavg: 8.07 8.06 8.00 5/180 28436
/proc/meminfo: memFree=19114528/32950928 swapFree=67111364/67111528
[pid=28436] ppid=28434 vsize=285508 CPUtime=2.58 cores=0,2,4,6
/proc/28436/stat : 28436 (SArTagnan) R 28434 28436 27953 0 -1 4202496 19538 0 0 0 256 2 0 0 25 0 4 0 595387651 292360192 12273 33554432000 4194304 4623224 140735446517728 18446744073709551615 4510195 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28436/statm: 71377 12273 349 105 0 66881 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 285508

[startup+1.50104 s]
/proc/loadavg: 8.07 8.06 8.00 9/184 28440
/proc/meminfo: memFree=19060432/32950928 swapFree=67111364/67111528
[pid=28436] ppid=28434 vsize=293952 CPUtime=5.78 cores=0,2,4,6
/proc/28436/stat : 28436 (SArTagnan) R 28434 28436 27953 0 -1 4202496 24187 0 0 0 575 3 0 0 25 0 4 0 595387651 301006848 15805 33554432000 4194304 4623224 140735446517728 18446744073709551615 4510282 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28436/statm: 73488 15805 346 105 0 68992 0
[pid=28436/tid=28438] ppid=28434 vsize=293952 CPUtime=1.41 cores=0,2,4,6
/proc/28436/task/28438/stat : 28438 (SArTagnan) R 28434 28436 27953 0 -1 4202560 2465 0 0 0 141 0 0 0 25 0 4 0 595387658 301006848 15805 33554432000 4194304 4623224 140735446517728 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28436/tid=28439] ppid=28434 vsize=293952 CPUtime=1.42 cores=0,2,4,6
/proc/28436/task/28439/stat : 28439 (SArTagnan) R 28434 28436 27953 0 -1 4202560 3707 0 0 0 142 0 0 0 25 0 4 0 595387658 301006848 15805 33554432000 4194304 4623224 140735446517728 18446744073709551615 4377147 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28436/tid=28440] ppid=28434 vsize=293952 CPUtime=1.43 cores=0,2,4,6
/proc/28436/task/28440/stat : 28440 (SArTagnan) R 28434 28436 27953 0 -1 4202560 1708 0 0 0 143 0 0 0 25 0 4 0 595387658 301006848 15805 33554432000 4194304 4623224 140735446517728 18446744073709551615 4289942 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.78
Current children cumulated vsize (KiB) 293952

[startup+3.10075 s]
/proc/loadavg: 8.07 8.06 8.00 9/184 28440
/proc/meminfo: memFree=19044436/32950928 swapFree=67111364/67111528
[pid=28436] ppid=28434 vsize=302364 CPUtime=12.18 cores=0,2,4,6
/proc/28436/stat : 28436 (SArTagnan) R 28434 28436 27953 0 -1 4202496 30733 0 0 0 1214 4 0 0 25 0 4 0 595387651 309620736 22304 33554432000 4194304 4623224 140735446517728 18446744073709551615 4509955 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28436/statm: 75591 22304 345 105 0 71095 0
[pid=28436/tid=28438] ppid=28434 vsize=302364 CPUtime=3.02 cores=0,2,4,6
/proc/28436/task/28438/stat : 28438 (SArTagnan) R 28434 28436 27953 0 -1 4202560 4907 0 0 0 301 1 0 0 25 0 4 0 595387658 309620736 22304 33554432000 4194304 4623224 140735446517728 18446744073709551615 4485175 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28436/tid=28439] ppid=28434 vsize=302364 CPUtime=3.01 cores=0,2,4,6
/proc/28436/task/28439/stat : 28439 (SArTagnan) R 28434 28436 27953 0 -1 4202560 5798 0 0 0 301 0 0 0 25 0 4 0 595387658 309620736 22304 33554432000 4194304 4623224 140735446517728 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28436/tid=28440] ppid=28434 vsize=302364 CPUtime=3.03 cores=0,2,4,6
/proc/28436/task/28440/stat : 28440 (SArTagnan) R 28434 28436 27953 0 -1 4202560 2661 0 0 0 303 0 0 0 25 0 4 0 595387658 309620736 22304 33554432000 4194304 4623224 140735446517728 18446744073709551615 4377513 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.18
Current children cumulated vsize (KiB) 302364

[startup+6.30116 s]
/proc/loadavg: 8.07 8.06 8.00 9/184 28440
/proc/meminfo: memFree=19009352/32950928 swapFree=67111364/67111528
[pid=28436] ppid=28434 vsize=315612 CPUtime=24.96 cores=0,2,4,6
/proc/28436/stat : 28436 (SArTagnan) R 28434 28436 27953 0 -1 4202496 46381 0 0 0 2489 7 0 0 25 0 4 0 595387651 323186688 29281 33554432000 4194304 4623224 140735446517728 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28436/statm: 78903 29281 350 105 0 74407 0
[pid=28436/tid=28438] ppid=28434 vsize=315612 CPUtime=6.22 cores=0,2,4,6
/proc/28436/task/28438/stat : 28438 (SArTagnan) R 28434 28436 27953 0 -1 4202560 7523 0 0 0 620 2 0 0 25 0 4 0 595387658 323186688 29281 33554432000 4194304 4623224 140735446517728 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28436/tid=28439] ppid=28434 vsize=315612 CPUtime=6.19 cores=0,2,4,6
/proc/28436/task/28439/stat : 28439 (SArTagnan) R 28434 28436 27953 0 -1 4202560 8273 0 0 0 618 1 0 0 25 0 4 0 595387658 323186688 29281 33554432000 4194304 4623224 140735446517728 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28436/tid=28440] ppid=28434 vsize=315612 CPUtime=6.22 cores=0,2,4,6
/proc/28436/task/28440/stat : 28440 (SArTagnan) R 28434 28436 27953 0 -1 4202560 8692 0 0 0 622 0 0 0 25 0 4 0 595387658 323186688 29281 33554432000 4194304 4623224 140735446517728 18446744073709551615 4363989 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.96
Current children cumulated vsize (KiB) 315612

[startup+12.701 s]
/proc/loadavg: 8.06 8.06 8.00 9/184 28441
/proc/meminfo: memFree=18941364/32950928 swapFree=67111364/67111528
[pid=28436] ppid=28434 vsize=354640 CPUtime=50.51 cores=0,2,4,6
/proc/28436/stat : 28436 (SArTagnan) R 28434 28436 27953 0 -1 4202496 95917 0 0 0 5032 19 0 0 25 0 4 0 595387651 363151360 44248 33554432000 4194304 4623224 140735446517728 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28436/statm: 88660 44248 368 105 0 84164 0
[pid=28436/tid=28438] ppid=28434 vsize=354640 CPUtime=12.61 cores=0,2,4,6
/proc/28436/task/28438/stat : 28438 (SArTagnan) R 28434 28436 27953 0 -1 4202560 11828 0 0 0 1259 2 0 0 25 0 4 0 595387658 363151360 44248 33554432000 4194304 4623224 140735446517728 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28436/tid=28439] ppid=28434 vsize=354640 CPUtime=12.56 cores=0,2,4,6
/proc/28436/task/28439/stat : 28439 (SArTagnan) R 28434 28436 27953 0 -1 4202560 13026 0 0 0 1251 5 0 0 25 0 4 0 595387658 363151360 44248 33554432000 4194304 4623224 140735446517728 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28436/tid=28440] ppid=28434 vsize=354640 CPUtime=12.63 cores=0,2,4,6
/proc/28436/task/28440/stat : 28440 (SArTagnan) R 28434 28436 27953 0 -1 4202560 33083 0 0 0 1257 6 0 0 25 0 4 0 595387658 363151360 44248 33554432000 4194304 4623224 140735446517728 18446744073709551615 4363742 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.51
Current children cumulated vsize (KiB) 354640

[startup+25.5006 s]
/proc/loadavg: 8.05 8.05 8.00 9/184 28441
/proc/meminfo: memFree=18813408/32950928 swapFree=67111364/67111528
[pid=28436] ppid=28434 vsize=467028 CPUtime=101.64 cores=0,2,4,6
/proc/28436/stat : 28436 (SArTagnan) R 28434 28436 27953 0 -1 4202496 170240 0 0 0 10131 33 0 0 25 0 4 0 595387651 478236672 72766 33554432000 4194304 4623224 140735446517728 18446744073709551615 4415028 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28436/statm: 116757 72766 437 105 0 112261 0
[pid=28436/tid=28438] ppid=28434 vsize=467028 CPUtime=25.42 cores=0,2,4,6
/proc/28436/task/28438/stat : 28438 (SArTagnan) R 28434 28436 27953 0 -1 4202560 19853 0 0 0 2535 7 0 0 25 0 4 0 595387658 478236672 72766 33554432000 4194304 4623224 140735446517728 18446744073709551615 4466472 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28436/tid=28439] ppid=28434 vsize=467028 CPUtime=25.28 cores=0,2,4,6
/proc/28436/task/28439/stat : 28439 (SArTagnan) R 28434 28436 27953 0 -1 4202560 16639 0 0 0 2522 6 0 0 25 0 4 0 595387658 478236672 72766 33554432000 4194304 4623224 140735446517728 18446744073709551615 4462966 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28436/tid=28440] ppid=28434 vsize=467028 CPUtime=25.42 cores=0,2,4,6
/proc/28436/task/28440/stat : 28440 (SArTagnan) R 28434 28436 27953 0 -1 4202560 57917 0 0 0 2534 8 0 0 25 0 4 0 595387658 478236672 72766 33554432000 4194304 4623224 140735446517728 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 467028

[startup+51.1009 s]
/proc/loadavg: 8.03 8.05 8.00 9/184 28442
/proc/meminfo: memFree=18724032/32950928 swapFree=67111364/67111528
[pid=28436] ppid=28434 vsize=532524 CPUtime=203.9 cores=0,2,4,6
/proc/28436/stat : 28436 (SArTagnan) R 28434 28436 27953 0 -1 4202496 287165 0 0 0 20338 52 0 0 25 0 4 0 595387651 545304576 94444 33554432000 4194304 4623224 140735446517728 18446744073709551615 4414972 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28436/statm: 133131 94444 391 105 0 128635 0
[pid=28436/tid=28438] ppid=28434 vsize=532524 CPUtime=51.02 cores=0,2,4,6
/proc/28436/task/28438/stat : 28438 (SArTagnan) R 28434 28436 27953 0 -1 4202560 21653 0 0 0 5094 8 0 0 25 0 4 0 595387658 545304576 94444 33554432000 4194304 4623224 140735446517728 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28436/tid=28439] ppid=28434 vsize=532524 CPUtime=50.75 cores=0,2,4,6
/proc/28436/task/28439/stat : 28439 (SArTagnan) R 28434 28436 27953 0 -1 4202560 21815 0 0 0 5068 7 0 0 25 0 4 0 595387658 545304576 94444 33554432000 4194304 4623224 140735446517728 18446744073709551615 4376892 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28436/tid=28440] ppid=28434 vsize=532524 CPUtime=51.02 cores=0,2,4,6
/proc/28436/task/28440/stat : 28440 (SArTagnan) R 28434 28436 27953 0 -1 4202560 129036 0 0 0 5083 19 0 0 25 0 4 0 595387658 545304576 94444 33554432000 4194304 4623224 140735446517728 18446744073709551615 4560288 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 532524

[startup+102.306 s]
/proc/loadavg: 8.15 8.08 8.01 9/184 28443
/proc/meminfo: memFree=18510116/32950928 swapFree=67111364/67111528
[pid=28436] ppid=28434 vsize=821100 CPUtime=408.43 cores=0,2,4,6
/proc/28436/stat : 28436 (SArTagnan) R 28434 28436 27953 0 -1 4202496 580652 0 0 0 40742 101 0 0 25 0 4 0 595387651 840806400 146740 33554432000 4194304 4623224 140735446517728 18446744073709551615 4510896 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28436/statm: 205275 146740 491 105 0 200779 0
[pid=28436/tid=28438] ppid=28434 vsize=821100 CPUtime=102.21 cores=0,2,4,6
/proc/28436/task/28438/stat : 28438 (SArTagnan) R 28434 28436 27953 0 -1 4202560 32383 0 0 0 10210 11 0 0 25 0 4 0 595387658 840806400 146740 33554432000 4194304 4623224 140735446517728 18446744073709551615 4376749 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28436/tid=28439] ppid=28434 vsize=821100 CPUtime=101.67 cores=0,2,4,6
/proc/28436/task/28439/stat : 28439 (SArTagnan) R 28434 28436 27953 0 -1 4202560 30678 0 0 0 10158 9 0 0 25 0 4 0 595387658 840806400 146740 33554432000 4194304 4623224 140735446517728 18446744073709551615 4376829 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28436/tid=28440] ppid=28434 vsize=821100 CPUtime=102.22 cores=0,2,4,6
/proc/28436/task/28440/stat : 28440 (SArTagnan) R 28434 28436 27953 0 -1 4202560 343120 0 0 0 10170 52 0 0 25 0 4 0 595387658 840806400 146740 33554432000 4194304 4623224 140735446517728 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.43
Current children cumulated vsize (KiB) 821100

[startup+162.3 s]
/proc/loadavg: 8.15 8.10 8.02 9/184 28445
/proc/meminfo: memFree=18320512/32950928 swapFree=67111364/67111528
[pid=28436] ppid=28434 vsize=929532 CPUtime=648.09 cores=0,2,4,6
/proc/28436/stat : 28436 (SArTagnan) R 28434 28436 27953 0 -1 4202496 1086107 0 0 0 64628 181 0 0 25 0 4 0 595387651 951840768 185515 33554432000 4194304 4623224 140735446517728 18446744073709551615 4414965 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28436/statm: 232383 185515 362 105 0 227887 0
[pid=28436/tid=28438] ppid=28434 vsize=929532 CPUtime=162.21 cores=0,2,4,6
/proc/28436/task/28438/stat : 28438 (SArTagnan) R 28434 28436 27953 0 -1 4202560 47707 0 0 0 16201 20 0 0 25 0 4 0 595387658 951840768 185515 33554432000 4194304 4623224 140735446517728 18446744073709551615 4376640 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28436/tid=28439] ppid=28434 vsize=929532 CPUtime=161.34 cores=0,2,4,6
/proc/28436/task/28439/stat : 28439 (SArTagnan) R 28434 28436 27953 0 -1 4202560 31961 0 0 0 16124 10 0 0 25 0 4 0 595387658 951840768 185515 33554432000 4194304 4623224 140735446517728 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28436/tid=28440] ppid=28434 vsize=929532 CPUtime=162.22 cores=0,2,4,6
/proc/28436/task/28440/stat : 28440 (SArTagnan) R 28434 28436 27953 0 -1 4202560 761424 0 0 0 16110 112 0 0 25 0 4 0 595387658 951840768 185515 33554432000 4194304 4623224 140735446517728 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 648.09
Current children cumulated vsize (KiB) 929532

[startup+222.3 s]
/proc/loadavg: 8.14 8.10 8.02 9/184 28446
/proc/meminfo: memFree=18094940/32950928 swapFree=67111364/67111528
[pid=28436] ppid=28434 vsize=1334484 CPUtime=887.72 cores=0,2,4,6
/proc/28436/stat : 28436 (SArTagnan) R 28434 28436 27953 0 -1 4202496 1349670 0 0 0 88537 235 0 0 25 0 4 0 595387651 1366511616 237075 33554432000 4194304 4623224 140735446517728 18446744073709551615 4414993 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28436/statm: 333621 237076 366 105 0 329125 0
[pid=28436/tid=28438] ppid=28434 vsize=1334484 CPUtime=222.19 cores=0,2,4,6
/proc/28436/task/28438/stat : 28438 (SArTagnan) R 28434 28436 27953 0 -1 4202560 61732 0 0 0 22196 23 0 0 25 0 4 0 595387658 1366511616 237076 33554432000 4194304 4623224 140735446517728 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28436/tid=28439] ppid=28434 vsize=1334484 CPUtime=221 cores=0,2,4,6
/proc/28436/task/28439/stat : 28439 (SArTagnan) R 28434 28436 27953 0 -1 4202560 46842 0 0 0 22074 26 0 0 25 0 4 0 595387658 1366511616 237076 33554432000 4194304 4623224 140735446517728 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28436/tid=28440] ppid=28434 vsize=1334484 CPUtime=222.21 cores=0,2,4,6
/proc/28436/task/28440/stat : 28440 (SArTagnan) R 28434 28436 27953 0 -1 4202560 889463 0 0 0 22089 132 0 0 25 0 4 0 595387658 1366511616 237077 33554432000 4194304 4623224 140735446517728 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 887.72
Current children cumulated vsize (KiB) 1334484

[startup+282.3 s]

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


[startup+702.301 s]
/proc/loadavg: 8.04 8.11 8.05 9/184 28493
/proc/meminfo: memFree=17483040/32950928 swapFree=67111364/67111528
[pid=28436] ppid=28434 vsize=2391504 CPUtime=2804.28 cores=0,2,4,6
/proc/28436/stat : 28436 (SArTagnan) R 28434 28436 27953 0 -1 4202496 2120730 0 0 0 280029 399 0 0 25 0 4 0 595387651 2448900096 466836 33554432000 4194304 4623224 140735446517728 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28436/statm: 597876 466836 374 105 0 593380 0
[pid=28436/tid=28438] ppid=28434 vsize=2391504 CPUtime=702.15 cores=0,2,4,6
/proc/28436/task/28438/stat : 28438 (SArTagnan) R 28434 28436 27953 0 -1 4202560 87109 0 0 0 70188 27 0 0 25 0 4 0 595387658 2448900096 466836 33554432000 4194304 4623224 140735446517728 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28436/tid=28439] ppid=28434 vsize=2391504 CPUtime=698.24 cores=0,2,4,6
/proc/28436/task/28439/stat : 28439 (SArTagnan) R 28434 28436 27953 0 -1 4202560 97781 0 0 0 69745 79 0 0 25 0 4 0 595387658 2448900096 466836 33554432000 4194304 4623224 140735446517728 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28436/tid=28440] ppid=28434 vsize=2391504 CPUtime=702.21 cores=0,2,4,6
/proc/28436/task/28440/stat : 28440 (SArTagnan) R 28434 28436 27953 0 -1 4202560 1089371 0 0 0 70054 167 0 0 25 0 4 0 595387658 2448900096 466836 33554432000 4194304 4623224 140735446517728 18446744073709551615 4363989 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.28
Current children cumulated vsize (KiB) 2391504

[startup+762.307 s]
/proc/loadavg: 8.13 8.12 8.06 9/184 28495
/proc/meminfo: memFree=17309916/32950928 swapFree=67111364/67111528
[pid=28436] ppid=28434 vsize=2498024 CPUtime=3043.97 cores=0,2,4,6
/proc/28436/stat : 28436 (SArTagnan) R 28434 28436 27953 0 -1 4202496 2169015 0 0 0 303987 410 0 0 25 0 4 0 595387651 2557976576 497476 33554432000 4194304 4623224 140735446517728 18446744073709551615 4414984 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28436/statm: 624506 497476 344 105 0 620010 0
[pid=28436/tid=28438] ppid=28434 vsize=2498024 CPUtime=762.15 cores=0,2,4,6
/proc/28436/task/28438/stat : 28438 (SArTagnan) R 28434 28436 27953 0 -1 4202560 87437 0 0 0 76188 27 0 0 25 0 4 0 595387658 2557976576 497476 33554432000 4194304 4623224 140735446517728 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28436/tid=28439] ppid=28434 vsize=2498024 CPUtime=757.91 cores=0,2,4,6
/proc/28436/task/28439/stat : 28439 (SArTagnan) R 28434 28436 27953 0 -1 4202560 109185 0 0 0 75710 81 0 0 25 0 4 0 595387658 2557976576 497476 33554432000 4194304 4623224 140735446517728 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28436/tid=28440] ppid=28434 vsize=2498024 CPUtime=762.22 cores=0,2,4,6
/proc/28436/task/28440/stat : 28440 (SArTagnan) R 28434 28436 27953 0 -1 4202560 1094778 0 0 0 76054 168 0 0 25 0 4 0 595387658 2557976576 497476 33554432000 4194304 4623224 140735446517728 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3043.97
Current children cumulated vsize (KiB) 2498024

[startup+822.301 s]
/proc/loadavg: 8.09 8.11 8.06 9/184 28496
/proc/meminfo: memFree=17098988/32950928 swapFree=67111364/67111528
[pid=28436] ppid=28434 vsize=2517860 CPUtime=3283.63 cores=0,2,4,6
/proc/28436/stat : 28436 (SArTagnan) R 28434 28436 27953 0 -1 4202496 2221822 0 0 0 327938 425 0 0 25 0 4 0 595387651 2578288640 524893 33554432000 4194304 4623224 140735446517728 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28436/statm: 629465 524893 344 105 0 624969 0
[pid=28436/tid=28438] ppid=28434 vsize=2517860 CPUtime=822.14 cores=0,2,4,6
/proc/28436/task/28438/stat : 28438 (SArTagnan) R 28434 28436 27953 0 -1 4202560 87779 0 0 0 82187 27 0 0 25 0 4 0 595387658 2578288640 524893 33554432000 4194304 4623224 140735446517728 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28436/tid=28439] ppid=28434 vsize=2517860 CPUtime=817.59 cores=0,2,4,6
/proc/28436/task/28439/stat : 28439 (SArTagnan) R 28434 28436 27953 0 -1 4202560 112018 0 0 0 81674 85 0 0 25 0 4 0 595387658 2578288640 524893 33554432000 4194304 4623224 140735446517728 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28436/tid=28440] ppid=28434 vsize=2517860 CPUtime=822.21 cores=0,2,4,6
/proc/28436/task/28440/stat : 28440 (SArTagnan) R 28434 28436 27953 0 -1 4202560 1100021 0 0 0 82052 169 0 0 25 0 4 0 595387658 2578288640 524893 33554432000 4194304 4623224 140735446517728 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3283.63
Current children cumulated vsize (KiB) 2517860

[startup+882.301 s]
/proc/loadavg: 8.13 8.12 8.06 9/184 28498
/proc/meminfo: memFree=16862012/32950928 swapFree=67111364/67111528
[pid=28436] ppid=28434 vsize=3018900 CPUtime=3523.3 cores=0,2,4,6
/proc/28436/stat : 28436 (SArTagnan) R 28434 28436 27953 0 -1 4202496 2541216 0 0 0 351860 470 0 0 25 0 4 0 595387651 3091353600 575197 33554432000 4194304 4623224 140735446517728 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28436/statm: 754725 575197 344 105 0 750229 0
[pid=28436/tid=28438] ppid=28434 vsize=3018900 CPUtime=882.14 cores=0,2,4,6
/proc/28436/task/28438/stat : 28438 (SArTagnan) R 28434 28436 27953 0 -1 4202560 88112 0 0 0 88187 27 0 0 25 0 4 0 595387658 3091353600 575197 33554432000 4194304 4623224 140735446517728 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28436/tid=28439] ppid=28434 vsize=3018900 CPUtime=877.26 cores=0,2,4,6
/proc/28436/task/28439/stat : 28439 (SArTagnan) R 28434 28436 27953 0 -1 4202560 114305 0 0 0 87638 88 0 0 25 0 4 0 595387658 3091353600 575197 33554432000 4194304 4623224 140735446517728 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28436/tid=28440] ppid=28434 vsize=3018900 CPUtime=882.21 cores=0,2,4,6
/proc/28436/task/28440/stat : 28440 (SArTagnan) R 28434 28436 27953 0 -1 4202560 1105362 0 0 0 88050 171 0 0 25 0 4 0 595387658 3091353600 575197 33554432000 4194304 4623224 140735446517728 18446744073709551615 4550467 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3523.3
Current children cumulated vsize (KiB) 3018900

[startup+942.301 s]
/proc/loadavg: 8.14 8.12 8.07 10/184 28500
/proc/meminfo: memFree=16752016/32950928 swapFree=67111364/67111528
[pid=28436] ppid=28434 vsize=3102040 CPUtime=3762.97 cores=0,2,4,6
/proc/28436/stat : 28436 (SArTagnan) R 28434 28436 27953 0 -1 4202496 2584418 0 0 0 375818 479 0 0 25 0 4 0 595387651 3176488960 592944 33554432000 4194304 4623224 140735446517728 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28436/statm: 775510 592944 344 105 0 771014 0
[pid=28436/tid=28438] ppid=28434 vsize=3102040 CPUtime=942.14 cores=0,2,4,6
/proc/28436/task/28438/stat : 28438 (SArTagnan) R 28434 28436 27953 0 -1 4202560 88500 0 0 0 94186 28 0 0 25 0 4 0 595387658 3176488960 592944 33554432000 4194304 4623224 140735446517728 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28436/tid=28439] ppid=28434 vsize=3102040 CPUtime=936.94 cores=0,2,4,6
/proc/28436/task/28439/stat : 28439 (SArTagnan) R 28434 28436 27953 0 -1 4202560 115676 0 0 0 93604 90 0 0 25 0 4 0 595387658 3176488960 592944 33554432000 4194304 4623224 140735446517728 18446744073709551615 4376920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28436/tid=28440] ppid=28434 vsize=3102040 CPUtime=942.21 cores=0,2,4,6
/proc/28436/task/28440/stat : 28440 (SArTagnan) R 28434 28436 27953 0 -1 4202560 1109922 0 0 0 94050 171 0 0 25 0 4 0 595387658 3176488960 592944 33554432000 4194304 4623224 140735446517728 18446744073709551615 4577664 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3762.97
Current children cumulated vsize (KiB) 3102040

[startup+1002.3 s]
/proc/loadavg: 8.13 8.13 8.07 9/184 28501
/proc/meminfo: memFree=16586584/32950928 swapFree=67111364/67111528
[pid=28436] ppid=28434 vsize=3186532 CPUtime=4002.64 cores=0,2,4,6
/proc/28436/stat : 28436 (SArTagnan) R 28434 28436 27953 0 -1 4202496 2633166 0 0 0 399774 490 0 0 25 0 4 0 595387651 3263008768 607129 33554432000 4194304 4623224 140735446517728 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28436/statm: 796633 607129 344 105 0 792137 0
[pid=28436/tid=28438] ppid=28434 vsize=3186532 CPUtime=1002.14 cores=0,2,4,6
/proc/28436/task/28438/stat : 28438 (SArTagnan) R 28434 28436 27953 0 -1 4202560 88804 0 0 0 100186 28 0 0 25 0 4 0 595387658 3263008768 607129 33554432000 4194304 4623224 140735446517728 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28436/tid=28439] ppid=28434 vsize=3186532 CPUtime=996.61 cores=0,2,4,6
/proc/28436/task/28439/stat : 28439 (SArTagnan) R 28434 28436 27953 0 -1 4202560 118298 0 0 0 99568 93 0 0 25 0 4 0 595387658 3263008768 607129 33554432000 4194304 4623224 140735446517728 18446744073709551615 4376933 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28436/tid=28440] ppid=28434 vsize=3186532 CPUtime=1002.21 cores=0,2,4,6
/proc/28436/task/28440/stat : 28440 (SArTagnan) R 28434 28436 27953 0 -1 4202560 1114715 0 0 0 100049 172 0 0 25 0 4 0 595387658 3263008768 607129 33554432000 4194304 4623224 140735446517728 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4002.64
Current children cumulated vsize (KiB) 3186532

[startup+1062.3 s]
/proc/loadavg: 8.13 8.13 8.08 9/184 28503
/proc/meminfo: memFree=16253004/32950928 swapFree=67111364/67111528
[pid=28436] ppid=28434 vsize=3205584 CPUtime=4242.33 cores=0,2,4,6
/proc/28436/stat : 28436 (SArTagnan) R 28434 28436 27953 0 -1 4202496 2681830 0 0 0 423730 503 0 0 25 0 4 0 595387651 3282518016 622116 33554432000 4194304 4623224 140735446517728 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28436/statm: 801396 622116 344 105 0 796900 0
[pid=28436/tid=28438] ppid=28434 vsize=3205584 CPUtime=1062.13 cores=0,2,4,6
/proc/28436/task/28438/stat : 28438 (SArTagnan) R 28434 28436 27953 0 -1 4202560 89282 0 0 0 106185 28 0 0 25 0 4 0 595387658 3282518016 622116 33554432000 4194304 4623224 140735446517728 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28436/tid=28439] ppid=28434 vsize=3205584 CPUtime=1056.29 cores=0,2,4,6
/proc/28436/task/28439/stat : 28439 (SArTagnan) R 28434 28436 27953 0 -1 4202560 119995 0 0 0 105534 95 0 0 25 0 4 0 595387658 3282518016 622116 33554432000 4194304 4623224 140735446517728 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28436/tid=28440] ppid=28434 vsize=3205584 CPUtime=1062.21 cores=0,2,4,6
/proc/28436/task/28440/stat : 28440 (SArTagnan) R 28434 28436 27953 0 -1 4202560 1119518 0 0 0 106048 173 0 0 25 0 4 0 595387658 3282518016 622116 33554432000 4194304 4623224 140735446517728 18446744073709551615 4377144 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4242.33
Current children cumulated vsize (KiB) 3205584

[startup+1122.3 s]
/proc/loadavg: 8.25 8.16 8.09 9/184 28504
/proc/meminfo: memFree=15793948/32950928 swapFree=67111364/67111528
[pid=28436] ppid=28434 vsize=3272012 CPUtime=4481.99 cores=0,2,4,6
/proc/28436/stat : 28436 (SArTagnan) R 28434 28436 27953 0 -1 4202496 2743293 0 0 0 447684 515 0 0 25 0 4 0 595387651 3350540288 655558 33554432000 4194304 4623224 140735446517728 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28436/statm: 818003 655558 344 105 0 813507 0
[pid=28436/tid=28438] ppid=28434 vsize=3272012 CPUtime=1122.12 cores=0,2,4,6
/proc/28436/task/28438/stat : 28438 (SArTagnan) R 28434 28436 27953 0 -1 4202560 95577 0 0 0 112183 29 0 0 25 0 4 0 595387658 3350540288 655558 33554432000 4194304 4623224 140735446517728 18446744073709551615 4357776 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28436/tid=28439] ppid=28434 vsize=3272012 CPUtime=1115.96 cores=0,2,4,6
/proc/28436/task/28439/stat : 28439 (SArTagnan) R 28434 28436 27953 0 -1 4202560 120856 0 0 0 111500 96 0 0 25 0 4 0 595387658 3350540288 655558 33554432000 4194304 4623224 140735446517728 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28436/tid=28440] ppid=28434 vsize=3272012 CPUtime=1122.21 cores=0,2,4,6
/proc/28436/task/28440/stat : 28440 (SArTagnan) R 28434 28436 27953 0 -1 4202560 1124300 0 0 0 112047 174 0 0 25 0 4 0 595387658 3350540288 655558 33554432000 4194304 4623224 140735446517728 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4481.99
Current children cumulated vsize (KiB) 3272012

[startup+1182.3 s]
/proc/loadavg: 8.10 8.13 8.09 9/184 28506
/proc/meminfo: memFree=15665968/32950928 swapFree=67111364/67111528
[pid=28436] ppid=28434 vsize=3354932 CPUtime=4721.67 cores=0,2,4,6
/proc/28436/stat : 28436 (SArTagnan) R 28434 28436 27953 0 -1 4202496 2804294 0 0 0 471642 525 0 0 25 0 4 0 595387651 3435450368 679488 33554432000 4194304 4623224 140735446517728 18446744073709551615 4415014 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28436/statm: 838733 679488 344 105 0 834237 0
[pid=28436/tid=28438] ppid=28434 vsize=3354932 CPUtime=1182.12 cores=0,2,4,6
/proc/28436/task/28438/stat : 28438 (SArTagnan) R 28434 28436 27953 0 -1 4202560 96007 0 0 0 118183 29 0 0 25 0 4 0 595387658 3435450368 679488 33554432000 4194304 4623224 140735446517728 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28436/tid=28439] ppid=28434 vsize=3354932 CPUtime=1175.64 cores=0,2,4,6
/proc/28436/task/28439/stat : 28439 (SArTagnan) R 28434 28436 27953 0 -1 4202560 121041 0 0 0 117468 96 0 0 25 0 4 0 595387658 3435450368 679488 33554432000 4194304 4623224 140735446517728 18446744073709551615 4376649 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28436/tid=28440] ppid=28434 vsize=3354932 CPUtime=1182.21 cores=0,2,4,6
/proc/28436/task/28440/stat : 28440 (SArTagnan) R 28434 28436 27953 0 -1 4202560 1129075 0 0 0 118046 175 0 0 25 0 4 0 595387658 3435450368 679488 33554432000 4194304 4623224 140735446517728 18446744073709551615 4577687 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4721.67
Current children cumulated vsize (KiB) 3354932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202 s]
/proc/loadavg: 8.14 8.14 8.09 9/184 28506
/proc/meminfo: memFree=15643512/32950928 swapFree=67111364/67111528
[pid=28436] ppid=28434 vsize=3419476 CPUtime=4800.38 cores=0,2,4,6
/proc/28436/stat : 28436 (SArTagnan) R 28434 28436 27953 0 -1 4202496 2848977 0 0 0 479506 532 0 0 25 0 4 0 595387651 3501543424 683100 33554432000 4194304 4623224 140735446517728 18446744073709551615 4510896 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28436/statm: 854869 683100 344 105 0 850373 0
[pid=28436/tid=28438] ppid=28434 vsize=3419476 CPUtime=1201.82 cores=0,2,4,6
/proc/28436/task/28438/stat : 28438 (SArTagnan) R 28434 28436 27953 0 -1 4202560 96103 0 0 0 120153 29 0 0 25 0 4 0 595387658 3501543424 683100 33554432000 4194304 4623224 140735446517728 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28436/tid=28439] ppid=28434 vsize=3419476 CPUtime=1195.24 cores=0,2,4,6
/proc/28436/task/28439/stat : 28439 (SArTagnan) R 28434 28436 27953 0 -1 4202560 121057 0 0 0 119428 96 0 0 25 0 4 0 595387658 3501543424 683100 33554432000 4194304 4623224 140735446517728 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28436/tid=28440] ppid=28434 vsize=3419476 CPUtime=1201.92 cores=0,2,4,6
/proc/28436/task/28440/stat : 28440 (SArTagnan) R 28434 28436 27953 0 -1 4202560 1130723 0 0 0 120016 176 0 0 25 0 4 0 595387658 3501543424 683100 33554432000 4194304 4623224 140735446517728 18446744073709551615 4545403 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 3419476

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

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

[startup+1202.11 s]
/proc/loadavg: 8.14 8.14 8.09 9/184 28506
/proc/meminfo: memFree=15643512/32950928 swapFree=67111364/67111528
[pid=28436] ppid=28434 vsize=0 CPUtime=4800.5 cores=0,2,4,6
/proc/28436/stat : 28436 (SArTagnan) Z 28434 28436 27953 0 -1 4203548 2848977 0 0 0 479508 542 0 0 25 0 2 0 595387651 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28436/statm: 0 0 0 0 0 0 0
[pid=28436/tid=28439] ppid=28434 vsize=0 CPUtime=1195.34 cores=0,2,4,6
/proc/28436/task/28439/stat : 28439 (SArTagnan) R 28434 28436 27953 0 -1 4203588 121057 0 0 0 119428 106 0 0 25 0 2 0 595387658 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.5
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.13
CPU time (s): 4800.52
CPU user time (s): 4795.09
CPU system time (s): 5.43417
CPU usage (%): 399.336
Max. virtual memory (cumulated for all children) (KiB): 3960924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.09
system time used= 5.43417
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2848977
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= 1347
involuntary context switches= 23581

runsolver used 1.89871 second user time and 4.67029 second system time

The end

Launcher Data 

Begin job on node113 at 2011-04-29 06:32:50
IDJOB=3257736
IDBENCH=71269
IDSOLVER=1656
FILE ID=node113/3257736-1304051570
RUNJOBID= node113-1304050880-28305
PBS_JOBID= 13170405
Free space on /tmp= 71160 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v2400c266431g3.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3257736-1304051570/watcher-3257736-1304051570 -o /tmp/evaluation-result-3257736-1304051570/solver-3257736-1304051570 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3257736-1304051570.cnf -threads=4

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

MD5SUM BENCH= 231f625a25c77518fbce98fe99f807b5
RANDOM SEED=1121754923

node113.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	: 5332.76
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.74
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.75
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.74
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      19114560 kB
Buffers:       1743004 kB
Cached:       10826452 kB
SwapCached:        164 kB
Active:        6925560 kB
Inactive:      6320336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      19114560 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            3884 kB
Writeback:           0 kB
AnonPages:      676108 kB
Mapped:          15460 kB
Slab:           526392 kB
PageTables:       6196 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   951120 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= 71160 MiB
End job on node113 at 2011-04-29 06:52:54