Trace number 3439196

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) 40001 5010.02

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf
MD5SUMfaed4f95ee485d18812f5d39a28df3e5
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 variables349
Number of clauses33487
Sum of the clauses size151837
Maximum clause length19
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 330276
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 53211

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

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-3439196-1306960405/watcher-3439196-1306960405 -o /tmp/evaluation-result-3439196-1306960405/solver-3439196-1306960405 -C 40000 -W 5100 -M 31000 SArTagnan HOME/instance-3439196-1306960405.cnf -threads=8 

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

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


[startup+0 s]
/proc/loadavg: 0.06 0.05 0.00 1/446 6848
/proc/meminfo: memFree=32173572/32951124 swapFree=55639044/67111528
[pid=6848] ppid=6846 vsize=20696 CPUtime=0 cores=0-7
/proc/6848/stat : 6848 (SArTagnan) R 6846 6848 6822 0 -1 4202496 1115 0 0 0 0 0 0 0 25 0 1 0 807638428 21192704 767 33554432000 4194304 4625164 140735012325344 18446744073709551615 271550198469 0 0 4096 2 0 0 0 17 6 0 0 0
/proc/6848/statm: 5174 770 296 106 0 677 0

[startup+0.0216621 s]
/proc/loadavg: 0.06 0.05 0.00 1/446 6848
/proc/meminfo: memFree=32173572/32951124 swapFree=55639044/67111528
[pid=6848] ppid=6846 vsize=23756 CPUtime=0.01 cores=0-7
/proc/6848/stat : 6848 (SArTagnan) R 6846 6848 6822 0 -1 4202496 2352 0 0 0 1 0 0 0 25 0 1 0 807638428 24326144 1401 33554432000 4194304 4625164 140735012325344 18446744073709551615 271550234809 0 0 4096 2 0 0 0 17 6 0 0 0
/proc/6848/statm: 5939 1434 298 106 0 1442 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 23756

[startup+0.111282 s]
/proc/loadavg: 0.06 0.05 0.00 1/446 6848
/proc/meminfo: memFree=32173572/32951124 swapFree=55639044/67111528
[pid=6848] ppid=6846 vsize=311244 CPUtime=0.46 cores=0-7
/proc/6848/stat : 6848 (SArTagnan) R 6846 6848 6822 0 -1 4202496 8613 0 0 0 45 1 0 0 25 0 8 0 807638428 318713856 6418 33554432000 4194304 4625164 140735012325344 18446744073709551615 271550580919 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6848/statm: 77811 6418 344 106 0 73314 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 311244

[startup+0.953452 s]
/proc/loadavg: 0.06 0.05 0.00 1/446 6848
/proc/meminfo: memFree=32173572/32951124 swapFree=55639044/67111528
[pid=6848] ppid=6846 vsize=318996 CPUtime=7.16 cores=0-7
/proc/6848/stat : 6848 (SArTagnan) R 6846 6848 6822 0 -1 4202496 17241 0 0 0 713 3 0 0 25 0 8 0 807638428 326651904 11006 33554432000 4194304 4625164 140735012325344 18446744073709551615 4512125 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6848/statm: 79749 11006 344 106 0 75252 0
Current children cumulated CPU time (s) 7.16
Current children cumulated vsize (KiB) 318996

[startup+1.05343 s]
/proc/loadavg: 0.06 0.05 0.00 1/446 6848
/proc/meminfo: memFree=32173572/32951124 swapFree=55639044/67111528
[pid=6848] ppid=6846 vsize=318996 CPUtime=7.96 cores=0-7
/proc/6848/stat : 6848 (SArTagnan) R 6846 6848 6822 0 -1 4202496 17946 0 0 0 793 3 0 0 25 0 8 0 807638428 326651904 11434 33554432000 4194304 4625164 140735012325344 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6848/statm: 79749 11435 344 106 0 75252 0
Current children cumulated CPU time (s) 7.96
Current children cumulated vsize (KiB) 318996

[startup+1.50035 s]
/proc/loadavg: 0.06 0.05 0.00 1/446 6848
/proc/meminfo: memFree=32173572/32951124 swapFree=55639044/67111528
[pid=6848] ppid=6846 vsize=322800 CPUtime=11.54 cores=0-7
/proc/6848/stat : 6848 (SArTagnan) R 6846 6848 6822 0 -1 4202496 22416 0 0 0 1150 4 0 0 25 0 8 0 807638428 330547200 13219 33554432000 4194304 4625164 140735012325344 18446744073709551615 4392925 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6848/statm: 80700 13219 344 106 0 76203 0
Current children cumulated CPU time (s) 11.54
Current children cumulated vsize (KiB) 322800

[startup+3.10106 s]
/proc/loadavg: 0.78 0.20 0.05 9/454 6856
/proc/meminfo: memFree=32093540/32951124 swapFree=55639044/67111528
[pid=6848] ppid=6846 vsize=333548 CPUtime=24.31 cores=0-7
/proc/6848/stat : 6848 (SArTagnan) R 6846 6848 6822 0 -1 4202496 38397 0 0 0 2425 6 0 0 25 0 8 0 807638428 341553152 20549 33554432000 4194304 4625164 140735012325344 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6848/statm: 83387 20549 347 106 0 78890 0
[pid=6848/tid=6850] ppid=6846 vsize=333548 CPUtime=3.05 cores=0-7
/proc/6848/task/6850/stat : 6850 (SArTagnan) R 6846 6848 6822 0 -1 4202560 3583 0 0 0 305 0 0 0 25 0 8 0 807638431 341553152 20549 33554432000 4194304 4625164 140735012325344 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6848/tid=6851] ppid=6846 vsize=333548 CPUtime=3.06 cores=0-7
/proc/6848/task/6851/stat : 6851 (SArTagnan) R 6846 6848 6822 0 -1 4202560 2423 0 0 0 306 0 0 0 25 0 8 0 807638431 341553152 20550 33554432000 4194304 4625164 140735012325344 18446744073709551615 4351975 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6848/tid=6852] ppid=6846 vsize=333548 CPUtime=3.03 cores=0-7
/proc/6848/task/6852/stat : 6852 (SArTagnan) R 6846 6848 6822 0 -1 4202560 14432 0 0 0 302 1 0 0 25 0 8 0 807638431 341553152 20550 33554432000 4194304 4625164 140735012325344 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6848/tid=6853] ppid=6846 vsize=333548 CPUtime=3.04 cores=0-7
/proc/6848/task/6853/stat : 6853 (SArTagnan) R 6846 6848 6822 0 -1 4202560 1851 0 0 0 304 0 0 0 25 0 8 0 807638431 341553152 20550 33554432000 4194304 4625164 140735012325344 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6848/tid=6854] ppid=6846 vsize=333548 CPUtime=2.97 cores=0-7
/proc/6848/task/6854/stat : 6854 (SArTagnan) R 6846 6848 6822 0 -1 4202560 1804 0 0 0 297 0 0 0 19 0 8 0 807638431 341553152 20550 33554432000 4194304 4625164 140735012325344 18446744073709551615 4348941 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6848/tid=6855] ppid=6846 vsize=333548 CPUtime=3 cores=0-7
/proc/6848/task/6855/stat : 6855 (SArTagnan) R 6846 6848 6822 0 -1 4202560 3729 0 0 0 300 0 0 0 25 0 8 0 807638431 341553152 20550 33554432000 4194304 4625164 140735012325344 18446744073709551615 4339643 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6848/tid=6856] ppid=6846 vsize=333548 CPUtime=3.05 cores=0-7
/proc/6848/task/6856/stat : 6856 (SArTagnan) R 6846 6848 6822 0 -1 4202560 3629 0 0 0 305 0 0 0 25 0 8 0 807638431 341553152 20550 33554432000 4194304 4625164 140735012325344 18446744073709551615 271550198469 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.31
Current children cumulated vsize (KiB) 333548

[startup+6.30048 s]
/proc/loadavg: 0.78 0.20 0.05 9/454 6856
/proc/meminfo: memFree=32044312/32951124 swapFree=55639044/67111528
[pid=6848] ppid=6846 vsize=354024 CPUtime=49.86 cores=0-7
/proc/6848/stat : 6848 (SArTagnan) R 6846 6848 6822 0 -1 4202496 63813 0 0 0 4975 11 0 0 25 0 8 0 807638428 362520576 32680 33554432000 4194304 4625164 140735012325344 18446744073709551615 4396555 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6848/statm: 88506 32680 347 106 0 84009 0
[pid=6848/tid=6850] ppid=6846 vsize=354024 CPUtime=6.26 cores=0-7
/proc/6848/task/6850/stat : 6850 (SArTagnan) R 6846 6848 6822 0 -1 4202560 4492 0 0 0 625 1 0 0 25 0 8 0 807638431 362520576 32680 33554432000 4194304 4625164 140735012325344 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6848/tid=6851] ppid=6846 vsize=354024 CPUtime=6.25 cores=0-7
/proc/6848/task/6851/stat : 6851 (SArTagnan) R 6846 6848 6822 0 -1 4202560 3890 0 0 0 625 0 0 0 25 0 8 0 807638431 362520576 32680 33554432000 4194304 4625164 140735012325344 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6848/tid=6852] ppid=6846 vsize=354024 CPUtime=6.24 cores=0-7
/proc/6848/task/6852/stat : 6852 (SArTagnan) R 6846 6848 6822 0 -1 4202560 28648 0 0 0 620 4 0 0 25 0 8 0 807638431 362520576 32680 33554432000 4194304 4625164 140735012325344 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6848/tid=6853] ppid=6846 vsize=354024 CPUtime=6.23 cores=0-7
/proc/6848/task/6853/stat : 6853 (SArTagnan) R 6846 6848 6822 0 -1 4202560 3695 0 0 0 623 0 0 0 25 0 8 0 807638431 362520576 32680 33554432000 4194304 4625164 140735012325344 18446744073709551615 4352585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6848/tid=6854] ppid=6846 vsize=354024 CPUtime=6.17 cores=0-7
/proc/6848/task/6854/stat : 6854 (SArTagnan) R 6846 6848 6822 0 -1 4202560 3488 0 0 0 617 0 0 0 25 0 8 0 807638431 362520576 32680 33554432000 4194304 4625164 140735012325344 18446744073709551615 4348817 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6848/tid=6855] ppid=6846 vsize=354024 CPUtime=6.16 cores=0-7
/proc/6848/task/6855/stat : 6855 (SArTagnan) R 6846 6848 6822 0 -1 4202560 6019 0 0 0 615 1 0 0 25 0 8 0 807638431 362520576 32680 33554432000 4194304 4625164 140735012325344 18446744073709551615 4352035 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6848/tid=6856] ppid=6846 vsize=354024 CPUtime=6.25 cores=0-7
/proc/6848/task/6856/stat : 6856 (SArTagnan) R 6846 6848 6822 0 -1 4202560 4442 0 0 0 625 0 0 0 25 0 8 0 807638431 362520576 32680 33554432000 4194304 4625164 140735012325344 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 49.86
Current children cumulated vsize (KiB) 354024

[startup+12.7003 s]
/proc/loadavg: 2.04 0.48 0.15 10/454 6856
/proc/meminfo: memFree=31961168/32951124 swapFree=55639044/67111528
[pid=6848] ppid=6846 vsize=454776 CPUtime=101.02 cores=0-7
/proc/6848/stat : 6848 (SArTagnan) R 6846 6848 6822 0 -1 4202496 112339 0 0 0 10081 21 0 0 25 0 8 0 807638428 465690624 52701 33554432000 4194304 4625164 140735012325344 18446744073709551615 4396722 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6848/statm: 113694 52701 347 106 0 109197 0
[pid=6848/tid=6850] ppid=6846 vsize=454776 CPUtime=12.67 cores=0-7
/proc/6848/task/6850/stat : 6850 (SArTagnan) R 6846 6848 6822 0 -1 4202560 9393 0 0 0 1266 1 0 0 25 0 8 0 807638431 465690624 52673 33554432000 4194304 4625164 140735012325344 18446744073709551615 4352005 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6848/tid=6851] ppid=6846 vsize=454776 CPUtime=12.67 cores=0-7
/proc/6848/task/6851/stat : 6851 (SArTagnan) R 6846 6848 6822 0 -1 4202560 6236 0 0 0 1266 1 0 0 25 0 8 0 807638431 465690624 52673 33554432000 4194304 4625164 140735012325344 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6848/tid=6852] ppid=6846 vsize=454776 CPUtime=12.66 cores=0-7
/proc/6848/task/6852/stat : 6852 (SArTagnan) R 6846 6848 6822 0 -1 4202560 49722 0 0 0 1258 8 0 0 25 0 8 0 807638431 465690624 52673 33554432000 4194304 4625164 140735012325344 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6848/tid=6853] ppid=6846 vsize=454776 CPUtime=12.65 cores=0-7
/proc/6848/task/6853/stat : 6853 (SArTagnan) R 6846 6848 6822 0 -1 4202560 8972 0 0 0 1264 1 0 0 25 0 8 0 807638431 465690624 52674 33554432000 4194304 4625164 140735012325344 18446744073709551615 4351975 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6848/tid=6854] ppid=6846 vsize=454776 CPUtime=12.58 cores=0-7
/proc/6848/task/6854/stat : 6854 (SArTagnan) R 6846 6848 6822 0 -1 4202560 6376 0 0 0 1257 1 0 0 25 0 8 0 807638431 465690624 52674 33554432000 4194304 4625164 140735012325344 18446744073709551615 4349768 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6848/tid=6855] ppid=6846 vsize=454776 CPUtime=12.48 cores=0-7
/proc/6848/task/6855/stat : 6855 (SArTagnan) R 6846 6848 6822 0 -1 4202560 10318 0 0 0 1246 2 0 0 25 0 8 0 807638431 465690624 52675 33554432000 4194304 4625164 140735012325344 18446744073709551615 4351894 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6848/tid=6856] ppid=6846 vsize=454776 CPUtime=12.67 cores=0-7
/proc/6848/task/6856/stat : 6856 (SArTagnan) R 6846 6848 6822 0 -1 4202560 9239 0 0 0 1266 1 0 0 25 0 8 0 807638431 465690624 52675 33554432000 4194304 4625164 140735012325344 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.02
Current children cumulated vsize (KiB) 454776

[startup+25.501 s]
/proc/loadavg: 2.95 0.73 0.23 9/454 6856
/proc/meminfo: memFree=31863560/32951124 swapFree=55639044/67111528
[pid=6848] ppid=6846 vsize=502000 CPUtime=203.18 cores=0-7
/proc/6848/stat : 6848 (SArTagnan) R 6846 6848 6822 0 -1 4202496 172839 0 0 0 20285 33 0 0 25 0 8 0 807638428 514048000 78802 33554432000 4194304 4625164 140735012325344 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6848/statm: 125500 78803 491 106 0 121003 0
[pid=6848/tid=6850] ppid=6846 vsize=502000 CPUtime=25.45 cores=0-7
/proc/6848/task/6850/stat : 6850 (SArTagnan) R 6846 6848 6822 0 -1 4202560 15196 0 0 0 2542 3 0 0 25 0 8 0 807638431 514048000 78804 33554432000 4194304 4625164 140735012325344 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6848/tid=6851] ppid=6846 vsize=502000 CPUtime=25.46 cores=0-7
/proc/6848/task/6851/stat : 6851 (SArTagnan) R 6846 6848 6822 0 -1 4202560 10301 0 0 0 2544 2 0 0 25 0 8 0 807638431 514048000 78804 33554432000 4194304 4625164 140735012325344 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6848/tid=6852] ppid=6846 vsize=502000 CPUtime=25.43 cores=0-7
/proc/6848/task/6852/stat : 6852 (SArTagnan) R 6846 6848 6822 0 -1 4202560 75272 0 0 0 2532 11 0 0 25 0 8 0 807638431 514048000 78804 33554432000 4194304 4625164 140735012325344 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6848/tid=6853] ppid=6846 vsize=502000 CPUtime=25.44 cores=0-7
/proc/6848/task/6853/stat : 6853 (SArTagnan) R 6846 6848 6822 0 -1 4202560 14163 0 0 0 2541 3 0 0 25 0 8 0 807638431 514048000 78805 33554432000 4194304 4625164 140735012325344 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6848/tid=6854] ppid=6846 vsize=502000 CPUtime=25.36 cores=0-7
/proc/6848/task/6854/stat : 6854 (SArTagnan) R 6846 6848 6822 0 -1 4202560 10070 0 0 0 2535 1 0 0 25 0 8 0 807638431 514048000 78805 33554432000 4194304 4625164 140735012325344 18446744073709551615 4349084 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6848/tid=6855] ppid=6846 vsize=502000 CPUtime=25.09 cores=0-7
/proc/6848/task/6855/stat : 6855 (SArTagnan) R 6846 6848 6822 0 -1 4202560 15816 0 0 0 2506 3 0 0 25 0 8 0 807638431 514048000 78806 33554432000 4194304 4625164 140735012325344 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6848/tid=6856] ppid=6846 vsize=502000 CPUtime=25.46 cores=0-7
/proc/6848/task/6856/stat : 6856 (SArTagnan) R 6846 6848 6822 0 -1 4202560 14968 0 0 0 2543 3 0 0 25 0 8 0 807638431 514048000 78806 33554432000 4194304 4625164 140735012325344 18446744073709551615 4352731 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.18
Current children cumulated vsize (KiB) 502000

[startup+51.1003 s]
/proc/loadavg: 4.67 1.31 0.44 9/454 6857
/proc/meminfo: memFree=31684392/32951124 swapFree=55639044/67111528
[pid=6848] ppid=6846 vsize=781324 CPUtime=407.59 cores=0-7
/proc/6848/stat : 6848 (SArTagnan) R 6846 6848 6822 0 -1 4202496 274289 0 0 0 40706 53 0 0 25 0 8 0 807638428 800075776 122834 33554432000 4194304 4625164 140735012325344 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6848/statm: 195331 122834 685 106 0 190834 0
[pid=6848/tid=6850] ppid=6846 vsize=781324 CPUtime=51.06 cores=0-7
/proc/6848/task/6850/stat : 6850 (SArTagnan) R 6846 6848 6822 0 -1 4202560 22845 0 0 0 5102 4 0 0 25 0 8 0 807638431 800075776 122834 33554432000 4194304 4625164 140735012325344 18446744073709551615 4352035 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6848/tid=6851] ppid=6846 vsize=781324 CPUtime=51.05 cores=0-7
/proc/6848/task/6851/stat : 6851 (SArTagnan) R 6846 6848 6822 0 -1 4202560 16241 0 0 0 5102 3 0 0 25 0 8 0 807638431 800075776 122834 33554432000 4194304 4625164 140735012325344 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6848/tid=6852] ppid=6846 vsize=781324 CPUtime=51.04 cores=0-7
/proc/6848/task/6852/stat : 6852 (SArTagnan) R 6846 6848 6822 0 -1 4202560 115846 0 0 0 5084 20 0 0 25 0 8 0 807638431 800075776 122834 33554432000 4194304 4625164 140735012325344 18446744073709551615 4579312 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6848/tid=6853] ppid=6846 vsize=781324 CPUtime=51.04 cores=0-7
/proc/6848/task/6853/stat : 6853 (SArTagnan) R 6846 6848 6822 0 -1 4202560 22633 0 0 0 5099 5 0 0 25 0 8 0 807638431 800075776 122834 33554432000 4194304 4625164 140735012325344 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6848/tid=6854] ppid=6846 vsize=781324 CPUtime=50.96 cores=0-7
/proc/6848/task/6854/stat : 6854 (SArTagnan) R 6846 6848 6822 0 -1 4202560 15754 0 0 0 5093 3 0 0 25 0 8 0 807638431 800075776 122834 33554432000 4194304 4625164 140735012325344 18446744073709551615 4348864 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6848/tid=6855] ppid=6846 vsize=781324 CPUtime=50.32 cores=0-7
/proc/6848/task/6855/stat : 6855 (SArTagnan) R 6846 6848 6822 0 -1 4202560 32718 0 0 0 5025 7 0 0 25 0 8 0 807638431 800075776 122834 33554432000 4194304 4625164 140735012325344 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6848/tid=6856] ppid=6846 vsize=781324 CPUtime=51.05 cores=0-7
/proc/6848/task/6856/stat : 6856 (SArTagnan) R 6846 6848 6822 0 -1 4202560 24025 0 0 0 5101 4 0 0 25 0 8 0 807638431 800075776 122834 33554432000 4194304 4625164 140735012325344 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 407.59
Current children cumulated vsize (KiB) 781324

[startup+102.301 s]
/proc/loadavg: 6.80 2.48 0.88 9/454 6859
/proc/meminfo: memFree=31470076/32951124 swapFree=55639044/67111528
[pid=6848] ppid=6846 vsize=1054756 CPUtime=816.43 cores=0-7
/proc/6848/stat : 6848 (SArTagnan) R 6846 6848 6822 0 -1 4202496 417225 0 0 0 81557 86 0 0 25 0 8 0 807638428 1080070144 176570 33554432000 4194304 4625164 140735012325344 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6848/statm: 263689 176570 912 106 0 259192 0
[pid=6848/tid=6850] ppid=6846 vsize=1054756 CPUtime=102.26 cores=0-7
/proc/6848/task/6850/stat : 6850 (SArTagnan) R 6846 6848 6822 0 -1 4202560 33613 0 0 0 10219 7 0 0 25 0 8 0 807638431 1080070144 176570 33554432000 4194304 4625164 140735012325344 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6848/tid=6851] ppid=6846 vsize=1054756 CPUtime=102.26 cores=0-7
/proc/6848/task/6851/stat : 6851 (SArTagnan) R 6846 6848 6822 0 -1 4202560 24956 0 0 0 10220 6 0 0 25 0 8 0 807638431 1080070144 176570 33554432000 4194304 4625164 140735012325344 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6848/tid=6852] ppid=6846 vsize=1054756 CPUtime=102.24 cores=0-7
/proc/6848/task/6852/stat : 6852 (SArTagnan) R 6846 6848 6822 0 -1 4202560 196121 0 0 0 10188 36 0 0 25 0 8 0 807638431 1080070144 176570 33554432000 4194304 4625164 140735012325344 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 3 0 0 0

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

/proc/6848/task/6856/stat : 6856 (SArTagnan) R 6846 6848 6822 0 -1 4202560 206490 0 0 0 466196 43 0 0 25 0 8 0 807638431 5131550720 1048719 33554432000 4194304 4625164 140735012325344 18446744073709551615 4330776 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 37226
Current children cumulated vsize (KiB) 5011280

[startup+4722.3 s]
/proc/loadavg: 8.24 8.15 8.07 9/454 6994
/proc/meminfo: memFree=27965464/32951124 swapFree=55639044/67111528
[pid=6848] ppid=6846 vsize=5011280 CPUtime=37705.1 cores=0-7
/proc/6848/stat : 6848 (SArTagnan) R 6846 6848 6822 0 -1 4202496 12106791 0 0 0 3768220 2287 0 0 25 0 8 0 807638428 5131550720 1049629 33554432000 4194304 4625164 140735012325344 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6848/statm: 1252820 1049629 457 106 0 1248323 0
[pid=6848/tid=6850] ppid=6846 vsize=5011280 CPUtime=4722.39 cores=0-7
/proc/6848/task/6850/stat : 6850 (SArTagnan) R 6846 6848 6822 0 -1 4202560 274111 0 0 0 472179 60 0 0 25 0 8 0 807638431 5131550720 1049629 33554432000 4194304 4625164 140735012325344 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6848/tid=6851] ppid=6846 vsize=5011280 CPUtime=4722.34 cores=0-7
/proc/6848/task/6851/stat : 6851 (SArTagnan) R 6846 6848 6822 0 -1 4202560 207854 0 0 0 472179 55 0 0 25 0 8 0 807638431 5131550720 1049629 33554432000 4194304 4625164 140735012325344 18446744073709551615 4488056 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6848/tid=6852] ppid=6846 vsize=5011280 CPUtime=4722.34 cores=0-7
/proc/6848/task/6852/stat : 6852 (SArTagnan) R 6846 6848 6822 0 -1 4202560 8996815 0 0 0 470674 1560 0 0 25 0 8 0 807638431 5131550720 1049629 33554432000 4194304 4625164 140735012325344 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6848/tid=6853] ppid=6846 vsize=5011280 CPUtime=4722.35 cores=0-7
/proc/6848/task/6853/stat : 6853 (SArTagnan) R 6846 6848 6822 0 -1 4202560 205732 0 0 0 472189 46 0 0 25 0 8 0 807638431 5131550720 1049629 33554432000 4194304 4625164 140735012325344 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6848/tid=6854] ppid=6846 vsize=5011280 CPUtime=4669.09 cores=0-7
/proc/6848/task/6854/stat : 6854 (SArTagnan) R 6846 6848 6822 0 -1 4202560 146532 0 0 0 466824 85 0 0 25 0 8 0 807638431 5131550720 1049629 33554432000 4194304 4625164 140735012325344 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6848/tid=6855] ppid=6846 vsize=5011280 CPUtime=4702.88 cores=0-7
/proc/6848/task/6855/stat : 6855 (SArTagnan) R 6846 6848 6822 0 -1 4202560 274243 0 0 0 470219 69 0 0 25 0 8 0 807638431 5131550720 1049629 33554432000 4194304 4625164 140735012325344 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6848/tid=6856] ppid=6846 vsize=5011280 CPUtime=4722.39 cores=0-7
/proc/6848/task/6856/stat : 6856 (SArTagnan) R 6846 6848 6822 0 -1 4202560 206505 0 0 0 472196 43 0 0 25 0 8 0 807638431 5131550720 1049629 33554432000 4194304 4625164 140735012325344 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 37705.1
Current children cumulated vsize (KiB) 5011280

[startup+4782.3 s]
/proc/loadavg: 8.09 8.12 8.06 9/454 6995
/proc/meminfo: memFree=27969768/32951124 swapFree=55639044/67111528
[pid=6848] ppid=6846 vsize=5011280 CPUtime=38184.2 cores=0-7
/proc/6848/stat : 6848 (SArTagnan) R 6846 6848 6822 0 -1 4202496 12242104 0 0 0 3816106 2313 0 0 25 0 8 0 807638428 5131550720 1048959 33554432000 4194304 4625164 140735012325344 18446744073709551615 4519334 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6848/statm: 1252820 1048959 370 106 0 1248323 0
[pid=6848/tid=6850] ppid=6846 vsize=5011280 CPUtime=4782.41 cores=0-7
/proc/6848/task/6850/stat : 6850 (SArTagnan) R 6846 6848 6822 0 -1 4202560 274122 0 0 0 478181 60 0 0 25 0 8 0 807638431 5131550720 1049030 33554432000 4194304 4625164 140735012325344 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6848/tid=6851] ppid=6846 vsize=5011280 CPUtime=4782.36 cores=0-7
/proc/6848/task/6851/stat : 6851 (SArTagnan) R 6846 6848 6822 0 -1 4202560 207856 0 0 0 478181 55 0 0 25 0 8 0 807638431 5131550720 1049030 33554432000 4194304 4625164 140735012325344 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6848/tid=6852] ppid=6846 vsize=5011280 CPUtime=4782.36 cores=0-7
/proc/6848/task/6852/stat : 6852 (SArTagnan) R 6846 6848 6822 0 -1 4202560 9131447 0 0 0 476650 1586 0 0 25 0 8 0 807638431 5131550720 1049030 33554432000 4194304 4625164 140735012325344 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6848/tid=6853] ppid=6846 vsize=5011280 CPUtime=4782.37 cores=0-7
/proc/6848/task/6853/stat : 6853 (SArTagnan) R 6846 6848 6822 0 -1 4202560 205749 0 0 0 478191 46 0 0 25 0 8 0 807638431 5131550720 1049030 33554432000 4194304 4625164 140735012325344 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6848/tid=6854] ppid=6846 vsize=5011280 CPUtime=4728.18 cores=0-7
/proc/6848/task/6854/stat : 6854 (SArTagnan) R 6846 6848 6822 0 -1 4202560 146680 0 0 0 472733 85 0 0 25 0 8 0 807638431 5131550720 1049030 33554432000 4194304 4625164 140735012325344 18446744073709551615 4348817 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6848/tid=6855] ppid=6846 vsize=5011280 CPUtime=4762.9 cores=0-7
/proc/6848/task/6855/stat : 6855 (SArTagnan) R 6846 6848 6822 0 -1 4202560 274256 0 0 0 476221 69 0 0 25 0 8 0 807638431 5131550720 1049030 33554432000 4194304 4625164 140735012325344 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6848/tid=6856] ppid=6846 vsize=5011280 CPUtime=4782.41 cores=0-7
/proc/6848/task/6856/stat : 6856 (SArTagnan) R 6846 6848 6822 0 -1 4202560 206518 0 0 0 478198 43 0 0 25 0 8 0 807638431 5131550720 1049030 33554432000 4194304 4625164 140735012325344 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 38184.2
Current children cumulated vsize (KiB) 5011280

[startup+4842.3 s]
/proc/loadavg: 8.29 8.16 8.08 9/454 6997
/proc/meminfo: memFree=27959704/32951124 swapFree=55639044/67111528
[pid=6848] ppid=6846 vsize=5011280 CPUtime=38663.2 cores=0-7
/proc/6848/stat : 6848 (SArTagnan) R 6846 6848 6822 0 -1 4202496 12407135 0 0 0 3863975 2346 0 0 25 0 8 0 807638428 5131550720 1052263 33554432000 4194304 4625164 140735012325344 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6848/statm: 1252820 1052263 417 106 0 1248323 0
[pid=6848/tid=6850] ppid=6846 vsize=5011280 CPUtime=4842.39 cores=0-7
/proc/6848/task/6850/stat : 6850 (SArTagnan) R 6846 6848 6822 0 -1 4202560 274133 0 0 0 484178 61 0 0 25 0 8 0 807638431 5131550720 1052263 33554432000 4194304 4625164 140735012325344 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6848/tid=6851] ppid=6846 vsize=5011280 CPUtime=4842.35 cores=0-7
/proc/6848/task/6851/stat : 6851 (SArTagnan) R 6846 6848 6822 0 -1 4202560 207862 0 0 0 484180 55 0 0 25 0 8 0 807638431 5131550720 1052263 33554432000 4194304 4625164 140735012325344 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6848/tid=6852] ppid=6846 vsize=5011280 CPUtime=4842.34 cores=0-7
/proc/6848/task/6852/stat : 6852 (SArTagnan) R 6846 6848 6822 0 -1 4202560 9294947 0 0 0 482618 1616 0 0 25 0 8 0 807638431 5131550720 1052263 33554432000 4194304 4625164 140735012325344 18446744073709551615 4548757 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6848/tid=6853] ppid=6846 vsize=5011280 CPUtime=4842.35 cores=0-7
/proc/6848/task/6853/stat : 6853 (SArTagnan) R 6846 6848 6822 0 -1 4202560 205764 0 0 0 484189 46 0 0 25 0 8 0 807638431 5131550720 1052263 33554432000 4194304 4625164 140735012325344 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6848/tid=6854] ppid=6846 vsize=5011280 CPUtime=4787.25 cores=0-7
/proc/6848/task/6854/stat : 6854 (SArTagnan) R 6846 6848 6822 0 -1 4202560 147707 0 0 0 478638 87 0 0 25 0 8 0 807638431 5131550720 1052263 33554432000 4194304 4625164 140735012325344 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6848/tid=6855] ppid=6846 vsize=5011280 CPUtime=4822.88 cores=0-7
/proc/6848/task/6855/stat : 6855 (SArTagnan) R 6846 6848 6822 0 -1 4202560 274279 0 0 0 482219 69 0 0 25 0 8 0 807638431 5131550720 1052263 33554432000 4194304 4625164 140735012325344 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6848/tid=6856] ppid=6846 vsize=5011280 CPUtime=4842.39 cores=0-7
/proc/6848/task/6856/stat : 6856 (SArTagnan) R 6846 6848 6822 0 -1 4202560 206533 0 0 0 484196 43 0 0 25 0 8 0 807638431 5131550720 1052263 33554432000 4194304 4625164 140735012325344 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 38663.2
Current children cumulated vsize (KiB) 5011280

[startup+4902.32 s]
/proc/loadavg: 8.16 8.14 8.08 9/454 6999
/proc/meminfo: memFree=27948888/32951124 swapFree=55639044/67111528
[pid=6848] ppid=6846 vsize=5013996 CPUtime=39142.4 cores=0-7
/proc/6848/stat : 6848 (SArTagnan) R 6846 6848 6822 0 -1 4202496 12615735 0 0 0 3911855 2384 0 0 25 0 8 0 807638428 5134331904 1053612 33554432000 4194304 4625164 140735012325344 18446744073709551615 4512066 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6848/statm: 1253499 1053612 407 106 0 1249002 0
[pid=6848/tid=6850] ppid=6846 vsize=5013996 CPUtime=4902.41 cores=0-7
/proc/6848/task/6850/stat : 6850 (SArTagnan) R 6846 6848 6822 0 -1 4202560 274144 0 0 0 490180 61 0 0 25 0 8 0 807638431 5134331904 1053612 33554432000 4194304 4625164 140735012325344 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6848/tid=6851] ppid=6846 vsize=5013996 CPUtime=4902.37 cores=0-7
/proc/6848/task/6851/stat : 6851 (SArTagnan) R 6846 6848 6822 0 -1 4202560 207865 0 0 0 490182 55 0 0 25 0 8 0 807638431 5134331904 1053612 33554432000 4194304 4625164 140735012325344 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6848/tid=6852] ppid=6846 vsize=5013996 CPUtime=4902.36 cores=0-7
/proc/6848/task/6852/stat : 6852 (SArTagnan) R 6846 6848 6822 0 -1 4202560 9447512 0 0 0 488593 1643 0 0 25 0 8 0 807638431 5134331904 1053612 33554432000 4194304 4625164 140735012325344 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6848/tid=6853] ppid=6846 vsize=5013996 CPUtime=4902.37 cores=0-7
/proc/6848/task/6853/stat : 6853 (SArTagnan) R 6846 6848 6822 0 -1 4202560 205778 0 0 0 490191 46 0 0 25 0 8 0 807638431 5134331904 1053612 33554432000 4194304 4625164 140735012325344 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6848/tid=6854] ppid=6846 vsize=5013996 CPUtime=4846.32 cores=0-7
/proc/6848/task/6854/stat : 6854 (SArTagnan) R 6846 6848 6822 0 -1 4202560 148120 0 0 0 484545 87 0 0 25 0 8 0 807638431 5134331904 1053612 33554432000 4194304 4625164 140735012325344 18446744073709551615 4348804 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6848/tid=6855] ppid=6846 vsize=5013996 CPUtime=4882.9 cores=0-7
/proc/6848/task/6855/stat : 6855 (SArTagnan) R 6846 6848 6822 0 -1 4202560 274299 0 0 0 488221 69 0 0 25 0 8 0 807638431 5134331904 1053612 33554432000 4194304 4625164 140735012325344 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6848/tid=6856] ppid=6846 vsize=5013996 CPUtime=4902.41 cores=0-7
/proc/6848/task/6856/stat : 6856 (SArTagnan) R 6846 6848 6822 0 -1 4202560 206546 0 0 0 490198 43 0 0 25 0 8 0 807638431 5134331904 1053612 33554432000 4194304 4625164 140735012325344 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 39142.4
Current children cumulated vsize (KiB) 5013996

[startup+4962.3 s]
/proc/loadavg: 8.16 8.14 8.08 9/454 7000
/proc/meminfo: memFree=27948860/32951124 swapFree=55639044/67111528
[pid=6848] ppid=6846 vsize=5013996 CPUtime=39621.3 cores=0-7
/proc/6848/stat : 6848 (SArTagnan) R 6846 6848 6822 0 -1 4202496 12818690 0 0 0 3959711 2421 0 0 25 0 8 0 807638428 5134331904 1052429 33554432000 4194304 4625164 140735012325344 18446744073709551615 4512042 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6848/statm: 1253499 1052429 349 106 0 1249002 0
[pid=6848/tid=6850] ppid=6846 vsize=5013996 CPUtime=4962.4 cores=0-7
/proc/6848/task/6850/stat : 6850 (SArTagnan) R 6846 6848 6822 0 -1 4202560 274156 0 0 0 496179 61 0 0 25 0 8 0 807638431 5134331904 1052429 33554432000 4194304 4625164 140735012325344 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6848/tid=6851] ppid=6846 vsize=5013996 CPUtime=4962.35 cores=0-7
/proc/6848/task/6851/stat : 6851 (SArTagnan) R 6846 6848 6822 0 -1 4202560 207868 0 0 0 496180 55 0 0 25 0 8 0 807638431 5134331904 1052429 33554432000 4194304 4625164 140735012325344 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6848/tid=6852] ppid=6846 vsize=5013996 CPUtime=4962.35 cores=0-7
/proc/6848/task/6852/stat : 6852 (SArTagnan) R 6846 6848 6822 0 -1 4202560 9638949 0 0 0 494557 1678 0 0 25 0 8 0 807638431 5134331904 1052429 33554432000 4194304 4625164 140735012325344 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6848/tid=6853] ppid=6846 vsize=5013996 CPUtime=4962.35 cores=0-7
/proc/6848/task/6853/stat : 6853 (SArTagnan) R 6846 6848 6822 0 -1 4202560 205792 0 0 0 496189 46 0 0 25 0 8 0 807638431 5134331904 1052429 33554432000 4194304 4625164 140735012325344 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6848/tid=6854] ppid=6846 vsize=5013996 CPUtime=4905.38 cores=0-7
/proc/6848/task/6854/stat : 6854 (SArTagnan) R 6846 6848 6822 0 -1 4202560 148120 0 0 0 490451 87 0 0 25 0 8 0 807638431 5134331904 1052429 33554432000 4194304 4625164 140735012325344 18446744073709551615 4349024 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6848/tid=6855] ppid=6846 vsize=5013996 CPUtime=4942.88 cores=0-7
/proc/6848/task/6855/stat : 6855 (SArTagnan) R 6846 6848 6822 0 -1 4202560 274313 0 0 0 494219 69 0 0 25 0 8 0 807638431 5134331904 1052429 33554432000 4194304 4625164 140735012325344 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6848/tid=6856] ppid=6846 vsize=5013996 CPUtime=4962.39 cores=0-7
/proc/6848/task/6856/stat : 6856 (SArTagnan) R 6846 6848 6822 0 -1 4202560 206561 0 0 0 496196 43 0 0 25 0 8 0 807638431 5134331904 1052429 33554432000 4194304 4625164 140735012325344 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 39621.3
Current children cumulated vsize (KiB) 5013996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5009.8 s]
/proc/loadavg: 8.18 8.15 8.09 9/454 7001
/proc/meminfo: memFree=27950316/32951124 swapFree=55639044/67111528
[pid=6848] ppid=6846 vsize=5013996 CPUtime=40000.6 cores=0-7
/proc/6848/stat : 6848 (SArTagnan) R 6846 6848 6822 0 -1 4202496 12968197 0 0 0 3997615 2450 0 0 25 0 8 0 807638428 5134331904 1053366 33554432000 4194304 4625164 140735012325344 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6848/statm: 1253499 1053366 384 106 0 1249002 0
[pid=6848/tid=6850] ppid=6846 vsize=5013996 CPUtime=5009.92 cores=0-7
/proc/6848/task/6850/stat : 6850 (SArTagnan) R 6846 6848 6822 0 -1 4202560 274163 0 0 0 500931 61 0 0 25 0 8 0 807638431 5134331904 1053377 33554432000 4194304 4625164 140735012325344 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6848/tid=6851] ppid=6846 vsize=5013996 CPUtime=5009.87 cores=0-7
/proc/6848/task/6851/stat : 6851 (SArTagnan) R 6846 6848 6822 0 -1 4202560 207870 0 0 0 500932 55 0 0 25 0 8 0 807638431 5134331904 1053377 33554432000 4194304 4625164 140735012325344 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6848/tid=6852] ppid=6846 vsize=5013996 CPUtime=5009.87 cores=0-7
/proc/6848/task/6852/stat : 6852 (SArTagnan) R 6846 6848 6822 0 -1 4202560 9788290 0 0 0 499280 1707 0 0 25 0 8 0 807638431 5134331904 1053377 33554432000 4194304 4625164 140735012325344 18446744073709551615 4579598 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6848/tid=6853] ppid=6846 vsize=5013996 CPUtime=5009.87 cores=0-7
/proc/6848/task/6853/stat : 6853 (SArTagnan) R 6846 6848 6822 0 -1 4202560 205804 0 0 0 500941 46 0 0 25 0 8 0 807638431 5134331904 1053377 33554432000 4194304 4625164 140735012325344 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6848/tid=6854] ppid=6846 vsize=5013996 CPUtime=4952.15 cores=0-7
/proc/6848/task/6854/stat : 6854 (SArTagnan) R 6846 6848 6822 0 -1 4202560 148120 0 0 0 495128 87 0 0 25 0 8 0 807638431 5134331904 1053377 33554432000 4194304 4625164 140735012325344 18446744073709551615 4348817 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6848/tid=6855] ppid=6846 vsize=5013996 CPUtime=4990.4 cores=0-7
/proc/6848/task/6855/stat : 6855 (SArTagnan) R 6846 6848 6822 0 -1 4202560 274324 0 0 0 498971 69 0 0 25 0 8 0 807638431 5134331904 1053377 33554432000 4194304 4625164 140735012325344 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6848/tid=6856] ppid=6846 vsize=5013996 CPUtime=5009.91 cores=0-7
/proc/6848/task/6856/stat : 6856 (SArTagnan) R 6846 6848 6822 0 -1 4202560 206573 0 0 0 500948 43 0 0 25 0 8 0 807638431 5134331904 1053377 33554432000 4194304 4625164 140735012325344 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 40000.6
Current children cumulated vsize (KiB) 5013996

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

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

[startup+5009.92 s]
/proc/loadavg: 8.18 8.15 8.09 9/454 7001
/proc/meminfo: memFree=27950316/32951124 swapFree=55639044/67111528
[pid=6848] ppid=6846 vsize=0 CPUtime=40000.9 cores=0-7
/proc/6848/stat : 6848 (SArTagnan) Z 6846 6848 6822 0 -1 4203548 12968208 0 0 0 3997626 2460 0 0 25 0 2 0 807638428 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6848/statm: 0 0 0 0 0 0 0
[pid=6848/tid=6854] ppid=6846 vsize=0 CPUtime=4952.25 cores=0-7
/proc/6848/task/6854/stat : 6854 (SArTagnan) R 6846 6848 6822 0 -1 4203588 148120 0 0 0 495128 97 0 0 25 0 2 0 807638431 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 40000.9
Current children cumulated vsize (KiB) 0

[startup+5010 s]
/proc/loadavg: 8.18 8.15 8.09 2/449 7002
/proc/meminfo: memFree=31889340/32951124 swapFree=55639044/67111528
[pid=6848] ppid=6846 vsize=0 CPUtime=40000.9 cores=0-7
/proc/6848/stat : 6848 (SArTagnan) Z 6846 6848 6822 0 -1 4203548 12968208 0 0 0 3997626 2469 0 0 25 0 2 0 807638428 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6848/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 40001
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5010.02
CPU time (s): 40001
CPU user time (s): 39976.3
CPU system time (s): 24.6972
CPU usage (%): 798.42
Max. virtual memory (cumulated for all children) (KiB): 5013996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39976.3
system time used= 24.6972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12968208
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= 6520
involuntary context switches= 385958

runsolver used 20.2969 second user time and 55.7185 second system time

The end

Launcher Data 

Begin job on node133 at 2011-06-01 22:33:25
IDJOB=3439196
IDBENCH=83336
IDSOLVER=1936
FILE ID=node133/3439196-1306960405
RUNJOBID= node133-1306960405-6836
PBS_JOBID= 13497618
Free space on /tmp= 73712 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3439196-1306960405/watcher-3439196-1306960405 -o /tmp/evaluation-result-3439196-1306960405/solver-3439196-1306960405 -C 40000 -W 5100 -M 31000  SArTagnan HOME/instance-3439196-1306960405.cnf -threads=8

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

MD5SUM BENCH= faed4f95ee485d18812f5d39a28df3e5
RANDOM SEED=2026352994

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.834
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	: 6741.12
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.834
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.834
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.834
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.74
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.834
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:      32173860 kB
Buffers:        197176 kB
Cached:         293732 kB
SwapCached:      10520 kB
Active:         163656 kB
Inactive:       347668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32173860 kB
SwapTotal:    67111528 kB
SwapFree:     55639044 kB
Dirty:            1200 kB
Writeback:           0 kB
AnonPages:       17692 kB
Mapped:          11916 kB
Slab:           144184 kB
PageTables:      53032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 114885436 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73712 MiB
End job on node133 at 2011-06-01 23:56:57