Trace number 3439216

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)UNSAT 1123.68 140.802

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf
MD5SUMf20ed0313cfa494f86b5c8ef723973ee
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark39.165
Satisfiable
(Un)Satisfiability was proved
Number of variables135
Number of clauses5251
Sum of the clauses size22611
Maximum clause length12
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 34489
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5762

Solver Data 

1123.05/140.77	
1123.05/140.77	s UNSATISFIABLE
1123.05/140.77	c Bad unit when trying to link and hook

Verifier Data 

No possible verification on an UNSAT instance

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-3439216-1306960406/watcher-3439216-1306960406 -o /tmp/evaluation-result-3439216-1306960406/solver-3439216-1306960406 -C 40000 -W 5100 -M 31000 SArTagnan HOME/instance-3439216-1306960406.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.00 0.00 0.00 1/482 6999
/proc/meminfo: memFree=27547652/32951124 swapFree=63649284/67111528
[pid=6999] ppid=6997 vsize=92476 CPUtime=0.01 cores=0-7
/proc/6999/stat : 6999 (SArTagnan) R 6997 6999 6973 0 -1 4202496 966 0 0 0 1 0 0 0 19 0 8 0 807639093 94695424 903 33554432000 4194304 4625164 140736418022640 18446744073709551615 47369093658546 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6999/statm: 23119 903 301 106 0 18622 0
[pid=6999/tid=7000] ppid=6997 vsize=92476 CPUtime=0.01 cores=0-7
/proc/6999/task/7000/stat : 7000 (SArTagnan) R 6997 6999 6973 0 -1 4202560 0 0 0 0 1 0 0 0 19 0 8 0 807639093 94695424 903 33554432000 4194304 4625164 140736418022640 18446744073709551615 47369093658546 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6999/tid=7001] ppid=6997 vsize=92476 CPUtime=0.01 cores=0-7
/proc/6999/task/7001/stat : 7001 (SArTagnan) R 6997 6999 6973 0 -1 4202560 0 0 0 0 1 0 0 0 19 0 8 0 807639093 94695424 903 33554432000 4194304 4625164 140736418022640 18446744073709551615 47369093658540 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6999/tid=7002] ppid=6997 vsize=92476 CPUtime=0.01 cores=0-7
/proc/6999/task/7002/stat : 7002 (SArTagnan) R 6997 6999 6973 0 -1 4202560 1 0 0 0 1 0 0 0 20 0 8 0 807639093 94695424 903 33554432000 4194304 4625164 140736418022640 18446744073709551615 47369093658546 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6999/tid=7003] ppid=6997 vsize=92476 CPUtime=0.01 cores=0-7
/proc/6999/task/7003/stat : 7003 (SArTagnan) R 6997 6999 6973 0 -1 4202560 0 0 0 0 1 0 0 0 20 0 8 0 807639093 94695424 903 33554432000 4194304 4625164 140736418022640 18446744073709551615 47369093658546 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6999/tid=7004] ppid=6997 vsize=92476 CPUtime=0 cores=0-7
/proc/6999/task/7004/stat : 7004 (SArTagnan) R 6997 6999 6973 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 807639093 94695424 903 33554432000 4194304 4625164 140736418022640 18446744073709551615 47369093658546 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6999/tid=7005] ppid=6997 vsize=92476 CPUtime=0 cores=0-7
/proc/6999/task/7005/stat : 7005 (SArTagnan) R 6997 6999 6973 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 807639093 94695424 903 33554432000 4194304 4625164 140736418022640 18446744073709551615 210204703729 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6999/tid=7006] ppid=6997 vsize=92476 CPUtime=0 cores=0-7
/proc/6999/task/7006/stat : 7006 (SArTagnan) R 6997 6999 6973 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 807639093 94695424 903 33554432000 4194304 4625164 140736418022640 18446744073709551615 47369093658540 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.085727 s]
/proc/loadavg: 0.00 0.00 0.00 1/482 6999
/proc/meminfo: memFree=27547652/32951124 swapFree=63649284/67111528
[pid=6999] ppid=6997 vsize=369348 CPUtime=6.46 cores=0-7
/proc/6999/stat : 6999 (SArTagnan) R 6997 6999 6973 0 -1 4202496 13111 0 0 0 644 2 0 0 19 0 8 0 807639093 378212352 7234 33554432000 4194304 4625164 140736418022640 18446744073709551615 4512801 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6999/statm: 92337 7234 348 106 0 87840 0
[pid=6999/tid=7000] ppid=6997 vsize=369348 CPUtime=0.8 cores=0-7
/proc/6999/task/7000/stat : 7000 (SArTagnan) R 6997 6999 6973 0 -1 4202560 1885 0 0 0 80 0 0 0 21 0 8 0 807639093 378212352 7234 33554432000 4194304 4625164 140736418022640 18446744073709551615 4352010 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6999/tid=7001] ppid=6997 vsize=369348 CPUtime=0.8 cores=0-7
/proc/6999/task/7001/stat : 7001 (SArTagnan) R 6997 6999 6973 0 -1 4202560 1293 0 0 0 80 0 0 0 21 0 8 0 807639093 378212352 7234 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6999/tid=7002] ppid=6997 vsize=369348 CPUtime=0.8 cores=0-7
/proc/6999/task/7002/stat : 7002 (SArTagnan) R 6997 6999 6973 0 -1 4202560 3099 0 0 0 80 0 0 0 19 0 8 0 807639093 378212352 7234 33554432000 4194304 4625164 140736418022640 18446744073709551615 4548757 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6999/tid=7003] ppid=6997 vsize=369348 CPUtime=0.81 cores=0-7
/proc/6999/task/7003/stat : 7003 (SArTagnan) R 6997 6999 6973 0 -1 4202560 1336 0 0 0 81 0 0 0 18 0 8 0 807639093 378212352 7234 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351918 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6999/tid=7004] ppid=6997 vsize=369348 CPUtime=0.8 cores=0-7
/proc/6999/task/7004/stat : 7004 (SArTagnan) R 6997 6999 6973 0 -1 4202560 1240 0 0 0 80 0 0 0 22 0 8 0 807639093 378212352 7234 33554432000 4194304 4625164 140736418022640 18446744073709551615 4348835 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6999/tid=7005] ppid=6997 vsize=369348 CPUtime=0.78 cores=0-7
/proc/6999/task/7005/stat : 7005 (SArTagnan) R 6997 6999 6973 0 -1 4202560 1323 0 0 0 78 0 0 0 22 0 8 0 807639093 378212352 7234 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6999/tid=7006] ppid=6997 vsize=369348 CPUtime=0.8 cores=0-7
/proc/6999/task/7006/stat : 7006 (SArTagnan) R 6997 6999 6973 0 -1 4202560 1366 0 0 0 80 0 0 0 22 0 8 0 807639093 378212352 7234 33554432000 4194304 4625164 140736418022640 18446744073709551615 4462375 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.46
Current children cumulated vsize (KiB) 369348

[startup+0.863591 s]
/proc/loadavg: 0.00 0.00 0.00 1/482 6999
/proc/meminfo: memFree=27547652/32951124 swapFree=63649284/67111528
[pid=6999] ppid=6997 vsize=370396 CPUtime=7.26 cores=0-7
/proc/6999/stat : 6999 (SArTagnan) R 6997 6999 6973 0 -1 4202496 14073 0 0 0 724 2 0 0 19 0 8 0 807639093 379285504 7679 33554432000 4194304 4625164 140736418022640 18446744073709551615 4512364 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6999/statm: 92599 7680 348 106 0 88102 0
[pid=6999/tid=7000] ppid=6997 vsize=370396 CPUtime=0.9 cores=0-7
/proc/6999/task/7000/stat : 7000 (SArTagnan) R 6997 6999 6973 0 -1 4202560 1902 0 0 0 90 0 0 0 21 0 8 0 807639093 379285504 7680 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351918 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6999/tid=7001] ppid=6997 vsize=370396 CPUtime=0.9 cores=0-7
/proc/6999/task/7001/stat : 7001 (SArTagnan) R 6997 6999 6973 0 -1 4202560 1331 0 0 0 90 0 0 0 21 0 8 0 807639093 379285504 7680 33554432000 4194304 4625164 140736418022640 18446744073709551615 4352876 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6999/tid=7002] ppid=6997 vsize=370396 CPUtime=0.9 cores=0-7
/proc/6999/task/7002/stat : 7002 (SArTagnan) R 6997 6999 6973 0 -1 4202560 3424 0 0 0 90 0 0 0 19 0 8 0 807639093 379285504 7680 33554432000 4194304 4625164 140736418022640 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6999/tid=7003] ppid=6997 vsize=370396 CPUtime=0.91 cores=0-7
/proc/6999/task/7003/stat : 7003 (SArTagnan) R 6997 6999 6973 0 -1 4202560 1382 0 0 0 91 0 0 0 19 0 8 0 807639093 379285504 7680 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6999/tid=7004] ppid=6997 vsize=370396 CPUtime=0.9 cores=0-7
/proc/6999/task/7004/stat : 7004 (SArTagnan) R 6997 6999 6973 0 -1 4202560 1268 0 0 0 90 0 0 0 23 0 8 0 807639093 379285504 7680 33554432000 4194304 4625164 140736418022640 18446744073709551615 4339616 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6999/tid=7005] ppid=6997 vsize=370396 CPUtime=0.88 cores=0-7
/proc/6999/task/7005/stat : 7005 (SArTagnan) R 6997 6999 6973 0 -1 4202560 1362 0 0 0 88 0 0 0 23 0 8 0 807639093 379285504 7680 33554432000 4194304 4625164 140736418022640 18446744073709551615 4352035 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6999/tid=7006] ppid=6997 vsize=370396 CPUtime=0.9 cores=0-7
/proc/6999/task/7006/stat : 7006 (SArTagnan) R 6997 6999 6973 0 -1 4202560 1825 0 0 0 90 0 0 0 23 0 8 0 807639093 379285504 7680 33554432000 4194304 4625164 140736418022640 18446744073709551615 4462375 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.26
Current children cumulated vsize (KiB) 370396

[startup+1.01975 s]
/proc/loadavg: 0.00 0.00 0.00 1/482 6999
/proc/meminfo: memFree=27547652/32951124 swapFree=63649284/67111528
[pid=6999] ppid=6997 vsize=372300 CPUtime=8.06 cores=0-7
/proc/6999/stat : 6999 (SArTagnan) R 6997 6999 6973 0 -1 4202496 15461 0 0 0 803 3 0 0 19 0 8 0 807639093 381235200 8141 33554432000 4194304 4625164 140736418022640 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6999/statm: 93075 8141 348 106 0 88578 0
[pid=6999/tid=7000] ppid=6997 vsize=372300 CPUtime=1 cores=0-7
/proc/6999/task/7000/stat : 7000 (SArTagnan) R 6997 6999 6973 0 -1 4202560 1903 0 0 0 100 0 0 0 21 0 8 0 807639093 381235200 8141 33554432000 4194304 4625164 140736418022640 18446744073709551615 4462973 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6999/tid=7001] ppid=6997 vsize=372300 CPUtime=1 cores=0-7
/proc/6999/task/7001/stat : 7001 (SArTagnan) R 6997 6999 6973 0 -1 4202560 1368 0 0 0 100 0 0 0 22 0 8 0 807639093 381235200 8141 33554432000 4194304 4625164 140736418022640 18446744073709551615 4352760 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6999/tid=7002] ppid=6997 vsize=372300 CPUtime=1 cores=0-7
/proc/6999/task/7002/stat : 7002 (SArTagnan) R 6997 6999 6973 0 -1 4202560 3744 0 0 0 100 0 0 0 19 0 8 0 807639093 381235200 8141 33554432000 4194304 4625164 140736418022640 18446744073709551615 4552633 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6999/tid=7003] ppid=6997 vsize=372300 CPUtime=1.01 cores=0-7
/proc/6999/task/7003/stat : 7003 (SArTagnan) R 6997 6999 6973 0 -1 4202560 1870 0 0 0 101 0 0 0 19 0 8 0 807639093 381235200 8141 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6999/tid=7004] ppid=6997 vsize=372300 CPUtime=1 cores=0-7
/proc/6999/task/7004/stat : 7004 (SArTagnan) R 6997 6999 6973 0 -1 4202560 1295 0 0 0 100 0 0 0 24 0 8 0 807639093 381235200 8141 33554432000 4194304 4625164 140736418022640 18446744073709551615 4436936 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6999/tid=7005] ppid=6997 vsize=372300 CPUtime=0.98 cores=0-7
/proc/6999/task/7005/stat : 7005 (SArTagnan) R 6997 6999 6973 0 -1 4202560 1840 0 0 0 98 0 0 0 23 0 8 0 807639093 381235200 8141 33554432000 4194304 4625164 140736418022640 18446744073709551615 4352971 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6999/tid=7006] ppid=6997 vsize=372300 CPUtime=1 cores=0-7
/proc/6999/task/7006/stat : 7006 (SArTagnan) R 6997 6999 6973 0 -1 4202560 1849 0 0 0 100 0 0 0 23 0 8 0 807639093 381235200 8144 33554432000 4194304 4625164 140736418022640 18446744073709551615 4352014 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8.06
Current children cumulated vsize (KiB) 372300

[startup+1.11973 s]
/proc/loadavg: 0.00 0.00 0.00 1/482 6999
/proc/meminfo: memFree=27547652/32951124 swapFree=63649284/67111528
[pid=6999] ppid=6997 vsize=374224 CPUtime=8.86 cores=0-7
/proc/6999/stat : 6999 (SArTagnan) R 6997 6999 6973 0 -1 4202496 16522 0 0 0 883 3 0 0 19 0 8 0 807639093 383205376 8732 33554432000 4194304 4625164 140736418022640 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6999/statm: 93556 8732 348 106 0 89059 0
[pid=6999/tid=7000] ppid=6997 vsize=374224 CPUtime=1.1 cores=0-7
/proc/6999/task/7000/stat : 7000 (SArTagnan) R 6997 6999 6973 0 -1 4202560 1914 0 0 0 110 0 0 0 22 0 8 0 807639093 383205376 8732 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6999/tid=7001] ppid=6997 vsize=374224 CPUtime=1.1 cores=0-7
/proc/6999/task/7001/stat : 7001 (SArTagnan) R 6997 6999 6973 0 -1 4202560 1881 0 0 0 110 0 0 0 22 0 8 0 807639093 383205376 8732 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351972 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6999/tid=7002] ppid=6997 vsize=374224 CPUtime=1.1 cores=0-7
/proc/6999/task/7002/stat : 7002 (SArTagnan) R 6997 6999 6973 0 -1 4202560 4012 0 0 0 110 0 0 0 19 0 8 0 807639093 383205376 8732 33554432000 4194304 4625164 140736418022640 18446744073709551615 4548720 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6999/tid=7003] ppid=6997 vsize=374224 CPUtime=1.11 cores=0-7
/proc/6999/task/7003/stat : 7003 (SArTagnan) R 6997 6999 6973 0 -1 4202560 1900 0 0 0 111 0 0 0 19 0 8 0 807639093 383205376 8732 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6999/tid=7004] ppid=6997 vsize=374224 CPUtime=1.1 cores=0-7
/proc/6999/task/7004/stat : 7004 (SArTagnan) R 6997 6999 6973 0 -1 4202560 1321 0 0 0 110 0 0 0 24 0 8 0 807639093 383205376 8732 33554432000 4194304 4625164 140736418022640 18446744073709551615 4348903 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6999/tid=7005] ppid=6997 vsize=374224 CPUtime=1.08 cores=0-7
/proc/6999/task/7005/stat : 7005 (SArTagnan) R 6997 6999 6973 0 -1 4202560 1864 0 0 0 108 0 0 0 23 0 8 0 807639093 383205376 8732 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6999/tid=7006] ppid=6997 vsize=374224 CPUtime=1.1 cores=0-7
/proc/6999/task/7006/stat : 7006 (SArTagnan) R 6997 6999 6973 0 -1 4202560 1890 0 0 0 110 0 0 0 24 0 8 0 807639093 383205376 8732 33554432000 4194304 4625164 140736418022640 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8.86
Current children cumulated vsize (KiB) 374224

[startup+1.50067 s]
/proc/loadavg: 0.00 0.00 0.00 1/482 6999
/proc/meminfo: memFree=27547652/32951124 swapFree=63649284/67111528
[pid=6999] ppid=6997 vsize=375220 CPUtime=11.91 cores=0-7
/proc/6999/stat : 6999 (SArTagnan) R 6997 6999 6973 0 -1 4202496 18938 0 0 0 1188 3 0 0 20 0 8 0 807639093 384225280 10253 33554432000 4194304 4625164 140736418022640 18446744073709551615 4511963 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6999/statm: 93805 10253 348 106 0 89308 0
[pid=6999/tid=7000] ppid=6997 vsize=375220 CPUtime=1.48 cores=0-7
/proc/6999/task/7000/stat : 7000 (SArTagnan) R 6997 6999 6973 0 -1 4202560 2005 0 0 0 148 0 0 0 23 0 8 0 807639093 384225280 10253 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6999/tid=7001] ppid=6997 vsize=375220 CPUtime=1.48 cores=0-7
/proc/6999/task/7001/stat : 7001 (SArTagnan) R 6997 6999 6973 0 -1 4202560 1964 0 0 0 148 0 0 0 23 0 8 0 807639093 384225280 10253 33554432000 4194304 4625164 140736418022640 18446744073709551615 4352299 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6999/tid=7002] ppid=6997 vsize=375220 CPUtime=1.49 cores=0-7
/proc/6999/task/7002/stat : 7002 (SArTagnan) R 6997 6999 6973 0 -1 4202560 5267 0 0 0 148 1 0 0 20 0 8 0 807639093 384225280 10253 33554432000 4194304 4625164 140736418022640 18446744073709551615 4552357 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6999/tid=7003] ppid=6997 vsize=375220 CPUtime=1.49 cores=0-7
/proc/6999/task/7003/stat : 7003 (SArTagnan) R 6997 6999 6973 0 -1 4202560 1967 0 0 0 149 0 0 0 20 0 8 0 807639093 384225280 10253 33554432000 4194304 4625164 140736418022640 18446744073709551615 4464383 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6999/tid=7004] ppid=6997 vsize=375220 CPUtime=1.48 cores=0-7
/proc/6999/task/7004/stat : 7004 (SArTagnan) R 6997 6999 6973 0 -1 4202560 1886 0 0 0 148 0 0 0 25 0 8 0 807639093 384225280 10253 33554432000 4194304 4625164 140736418022640 18446744073709551615 4349061 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6999/tid=7005] ppid=6997 vsize=375220 CPUtime=1.46 cores=0-7
/proc/6999/task/7005/stat : 7005 (SArTagnan) R 6997 6999 6973 0 -1 4202560 2011 0 0 0 146 0 0 0 25 0 8 0 807639093 384225280 10253 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6999/tid=7006] ppid=6997 vsize=375220 CPUtime=1.48 cores=0-7
/proc/6999/task/7006/stat : 7006 (SArTagnan) R 6997 6999 6973 0 -1 4202560 2035 0 0 0 148 0 0 0 25 0 8 0 807639093 384225280 10253 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351798 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.91
Current children cumulated vsize (KiB) 375220

[startup+3.1004 s]
/proc/loadavg: 0.72 0.15 0.05 9/490 7007
/proc/meminfo: memFree=27484604/32951124 swapFree=63649284/67111528
[pid=6999] ppid=6997 vsize=387636 CPUtime=24.66 cores=0-7
/proc/6999/stat : 6999 (SArTagnan) R 6997 6999 6973 0 -1 4202496 30968 0 0 0 2461 5 0 0 25 0 8 0 807639093 396939264 16064 33554432000 4194304 4625164 140736418022640 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6999/statm: 96909 16064 355 106 0 92412 0
[pid=6999/tid=7000] ppid=6997 vsize=387636 CPUtime=3.08 cores=0-7
/proc/6999/task/7000/stat : 7000 (SArTagnan) R 6997 6999 6973 0 -1 4202560 3248 0 0 0 308 0 0 0 25 0 8 0 807639093 396939264 16064 33554432000 4194304 4625164 140736418022640 18446744073709551615 4464272 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6999/tid=7001] ppid=6997 vsize=387636 CPUtime=3.08 cores=0-7
/proc/6999/task/7001/stat : 7001 (SArTagnan) R 6997 6999 6973 0 -1 4202560 3040 0 0 0 308 0 0 0 25 0 8 0 807639093 396939264 16064 33554432000 4194304 4625164 140736418022640 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6999/tid=7002] ppid=6997 vsize=387636 CPUtime=3.08 cores=0-7
/proc/6999/task/7002/stat : 7002 (SArTagnan) R 6997 6999 6973 0 -1 4202560 8434 0 0 0 307 1 0 0 25 0 8 0 807639093 396939264 16064 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6999/tid=7003] ppid=6997 vsize=387636 CPUtime=3.08 cores=0-7
/proc/6999/task/7003/stat : 7003 (SArTagnan) R 6997 6999 6973 0 -1 4202560 3256 0 0 0 308 0 0 0 25 0 8 0 807639093 396939264 16064 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6999/tid=7004] ppid=6997 vsize=387636 CPUtime=3.08 cores=0-7
/proc/6999/task/7004/stat : 7004 (SArTagnan) R 6997 6999 6973 0 -1 4202560 2979 0 0 0 308 0 0 0 25 0 8 0 807639093 396939264 16064 33554432000 4194304 4625164 140736418022640 18446744073709551615 4348903 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6999/tid=7005] ppid=6997 vsize=387636 CPUtime=3.06 cores=0-7
/proc/6999/task/7005/stat : 7005 (SArTagnan) R 6997 6999 6973 0 -1 4202560 4313 0 0 0 306 0 0 0 25 0 8 0 807639093 396939264 16064 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6999/tid=7006] ppid=6997 vsize=387636 CPUtime=3.08 cores=0-7
/proc/6999/task/7006/stat : 7006 (SArTagnan) R 6997 6999 6973 0 -1 4202560 3160 0 0 0 308 0 0 0 25 0 8 0 807639093 396939264 16064 33554432000 4194304 4625164 140736418022640 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.66
Current children cumulated vsize (KiB) 387636

[startup+6.31886 s]
/proc/loadavg: 1.30 0.28 0.09 9/490 7007
/proc/meminfo: memFree=27446680/32951124 swapFree=63649284/67111528
[pid=6999] ppid=6997 vsize=412668 CPUtime=50.35 cores=0-7
/proc/6999/stat : 6999 (SArTagnan) R 6997 6999 6973 0 -1 4202496 54790 0 0 0 5025 10 0 0 25 0 8 0 807639093 422572032 25176 33554432000 4194304 4625164 140736418022640 18446744073709551615 4512491 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6999/statm: 103167 25176 349 106 0 98670 0
[pid=6999/tid=7000] ppid=6997 vsize=412668 CPUtime=6.3 cores=0-7
/proc/6999/task/7000/stat : 7000 (SArTagnan) R 6997 6999 6973 0 -1 4202560 7064 0 0 0 629 1 0 0 25 0 8 0 807639093 422572032 25176 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6999/tid=7001] ppid=6997 vsize=412668 CPUtime=6.3 cores=0-7
/proc/6999/task/7001/stat : 7001 (SArTagnan) R 6997 6999 6973 0 -1 4202560 4964 0 0 0 630 0 0 0 25 0 8 0 807639093 422572032 25176 33554432000 4194304 4625164 140736418022640 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6999/tid=7002] ppid=6997 vsize=412668 CPUtime=6.3 cores=0-7
/proc/6999/task/7002/stat : 7002 (SArTagnan) R 6997 6999 6973 0 -1 4202560 15102 0 0 0 627 3 0 0 25 0 8 0 807639093 422572032 25176 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6999/tid=7003] ppid=6997 vsize=412668 CPUtime=6.31 cores=0-7
/proc/6999/task/7003/stat : 7003 (SArTagnan) R 6997 6999 6973 0 -1 4202560 7007 0 0 0 630 1 0 0 25 0 8 0 807639093 422572032 25176 33554432000 4194304 4625164 140736418022640 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6999/tid=7004] ppid=6997 vsize=412668 CPUtime=6.29 cores=0-7
/proc/6999/task/7004/stat : 7004 (SArTagnan) R 6997 6999 6973 0 -1 4202560 4735 0 0 0 629 0 0 0 25 0 8 0 807639093 422572032 25177 33554432000 4194304 4625164 140736418022640 18446744073709551615 4349185 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6999/tid=7005] ppid=6997 vsize=412668 CPUtime=6.28 cores=0-7
/proc/6999/task/7005/stat : 7005 (SArTagnan) R 6997 6999 6973 0 -1 4202560 6483 0 0 0 627 1 0 0 25 0 8 0 807639093 422572032 25177 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6999/tid=7006] ppid=6997 vsize=412668 CPUtime=6.3 cores=0-7
/proc/6999/task/7006/stat : 7006 (SArTagnan) R 6997 6999 6973 0 -1 4202560 6368 0 0 0 629 1 0 0 25 0 8 0 807639093 422572032 25179 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 4 0 0 0

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


[startup+115.9 s]
/proc/loadavg: 6.84 2.56 0.93 9/490 7010
/proc/meminfo: memFree=27127568/32951124 swapFree=63649284/67111528
[pid=6999] ppid=6997 vsize=638320 CPUtime=925.12 cores=0-7
/proc/6999/stat : 6999 (SArTagnan) R 6997 6999 6973 0 -1 4202496 540213 0 0 0 92416 96 0 0 25 0 8 0 807639093 653639680 105822 33554432000 4194304 4625164 140736418022640 18446744073709551615 4519334 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6999/statm: 159580 105822 425 106 0 155083 0
[pid=6999/tid=7000] ppid=6997 vsize=638320 CPUtime=115.89 cores=0-7
/proc/6999/task/7000/stat : 7000 (SArTagnan) R 6997 6999 6973 0 -1 4202560 37313 0 0 0 11582 7 0 0 25 0 8 0 807639093 653639680 105822 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6999/tid=7001] ppid=6997 vsize=638320 CPUtime=115.87 cores=0-7
/proc/6999/task/7001/stat : 7001 (SArTagnan) R 6997 6999 6973 0 -1 4202560 25556 0 0 0 11583 4 0 0 25 0 8 0 807639093 653639680 105822 33554432000 4194304 4625164 140736418022640 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6999/tid=7002] ppid=6997 vsize=638320 CPUtime=115.89 cores=0-7
/proc/6999/task/7002/stat : 7002 (SArTagnan) R 6997 6999 6973 0 -1 4202560 363112 0 0 0 11528 61 0 0 25 0 8 0 807639093 653639680 105822 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6999/tid=7003] ppid=6997 vsize=638320 CPUtime=115.89 cores=0-7
/proc/6999/task/7003/stat : 7003 (SArTagnan) R 6997 6999 6973 0 -1 4202560 37383 0 0 0 11584 5 0 0 25 0 8 0 807639093 653639680 105822 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6999/tid=7004] ppid=6997 vsize=638320 CPUtime=115.83 cores=0-7
/proc/6999/task/7004/stat : 7004 (SArTagnan) R 6997 6999 6973 0 -1 4202560 24469 0 0 0 11579 4 0 0 25 0 8 0 807639093 653639680 105822 33554432000 4194304 4625164 140736418022640 18446744073709551615 4348884 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6999/tid=7005] ppid=6997 vsize=638320 CPUtime=115.84 cores=0-7
/proc/6999/task/7005/stat : 7005 (SArTagnan) R 6997 6999 6973 0 -1 4202560 21698 0 0 0 11577 7 0 0 25 0 8 0 807639093 653639680 105822 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6999/tid=7006] ppid=6997 vsize=638320 CPUtime=115.85 cores=0-7
/proc/6999/task/7006/stat : 7006 (SArTagnan) R 6997 6999 6973 0 -1 4202560 22094 0 0 0 11582 3 0 0 25 0 8 0 807639093 653639680 105822 33554432000 4194304 4625164 140736418022640 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 925.12
Current children cumulated vsize (KiB) 638320

[startup+128.701 s]
/proc/loadavg: 7.09 2.83 1.04 9/490 7010
/proc/meminfo: memFree=27105868/32951124 swapFree=63649284/67111528
[pid=6999] ppid=6997 vsize=639064 CPUtime=1027.28 cores=0-7
/proc/6999/stat : 6999 (SArTagnan) R 6997 6999 6973 0 -1 4202496 568307 0 0 0 102627 101 0 0 25 0 8 0 807639093 654401536 110494 33554432000 4194304 4625164 140736418022640 18446744073709551615 4512740 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6999/statm: 159766 110494 426 106 0 155269 0
[pid=6999/tid=7000] ppid=6997 vsize=639064 CPUtime=128.68 cores=0-7
/proc/6999/task/7000/stat : 7000 (SArTagnan) R 6997 6999 6973 0 -1 4202560 37884 0 0 0 12861 7 0 0 25 0 8 0 807639093 654401536 110494 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6999/tid=7001] ppid=6997 vsize=639064 CPUtime=128.66 cores=0-7
/proc/6999/task/7001/stat : 7001 (SArTagnan) R 6997 6999 6973 0 -1 4202560 26095 0 0 0 12862 4 0 0 25 0 8 0 807639093 654401536 110494 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6999/tid=7002] ppid=6997 vsize=639064 CPUtime=128.69 cores=0-7
/proc/6999/task/7002/stat : 7002 (SArTagnan) R 6997 6999 6973 0 -1 4202560 386954 0 0 0 12804 65 0 0 25 0 8 0 807639093 654401536 110494 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6999/tid=7003] ppid=6997 vsize=639064 CPUtime=128.69 cores=0-7
/proc/6999/task/7003/stat : 7003 (SArTagnan) R 6997 6999 6973 0 -1 4202560 38138 0 0 0 12864 5 0 0 25 0 8 0 807639093 654401536 110494 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6999/tid=7004] ppid=6997 vsize=639064 CPUtime=128.63 cores=0-7
/proc/6999/task/7004/stat : 7004 (SArTagnan) R 6997 6999 6973 0 -1 4202560 25057 0 0 0 12859 4 0 0 25 0 8 0 807639093 654401536 110494 33554432000 4194304 4625164 140736418022640 18446744073709551615 4349895 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6999/tid=7005] ppid=6997 vsize=639064 CPUtime=128.64 cores=0-7
/proc/6999/task/7005/stat : 7005 (SArTagnan) R 6997 6999 6973 0 -1 4202560 22139 0 0 0 12857 7 0 0 25 0 8 0 807639093 654401536 110494 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6999/tid=7006] ppid=6997 vsize=639064 CPUtime=128.64 cores=0-7
/proc/6999/task/7006/stat : 7006 (SArTagnan) R 6997 6999 6973 0 -1 4202560 22237 0 0 0 12861 3 0 0 25 0 8 0 807639093 654401536 110494 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1027.28
Current children cumulated vsize (KiB) 639064

[startup+135.101 s]
/proc/loadavg: 7.17 2.91 1.08 9/490 7010
/proc/meminfo: memFree=27096936/32951124 swapFree=63649284/67111528
[pid=6999] ppid=6997 vsize=645636 CPUtime=1078.37 cores=0-7
/proc/6999/stat : 6999 (SArTagnan) R 6997 6999 6973 0 -1 4202496 582858 0 0 0 107733 104 0 0 25 0 8 0 807639093 661131264 112613 33554432000 4194304 4625164 140736418022640 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6999/statm: 161409 112613 442 106 0 156912 0
[pid=6999/tid=7000] ppid=6997 vsize=645636 CPUtime=135.08 cores=0-7
/proc/6999/task/7000/stat : 7000 (SArTagnan) R 6997 6999 6973 0 -1 4202560 38103 0 0 0 13501 7 0 0 25 0 8 0 807639093 661131264 112613 33554432000 4194304 4625164 140736418022640 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6999/tid=7001] ppid=6997 vsize=645636 CPUtime=135.06 cores=0-7
/proc/6999/task/7001/stat : 7001 (SArTagnan) R 6997 6999 6973 0 -1 4202560 26095 0 0 0 13502 4 0 0 25 0 8 0 807639093 661131264 112613 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6999/tid=7002] ppid=6997 vsize=645636 CPUtime=135.08 cores=0-7
/proc/6999/task/7002/stat : 7002 (SArTagnan) R 6997 6999 6973 0 -1 4202560 399135 0 0 0 13441 67 0 0 25 0 8 0 807639093 661131264 112613 33554432000 4194304 4625164 140736418022640 18446744073709551615 4547257 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6999/tid=7003] ppid=6997 vsize=645636 CPUtime=135.08 cores=0-7
/proc/6999/task/7003/stat : 7003 (SArTagnan) R 6997 6999 6973 0 -1 4202560 38629 0 0 0 13503 5 0 0 25 0 8 0 807639093 661131264 112613 33554432000 4194304 4625164 140736418022640 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6999/tid=7004] ppid=6997 vsize=645636 CPUtime=135.03 cores=0-7
/proc/6999/task/7004/stat : 7004 (SArTagnan) R 6997 6999 6973 0 -1 4202560 25110 0 0 0 13499 4 0 0 25 0 8 0 807639093 661131264 112613 33554432000 4194304 4625164 140736418022640 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6999/tid=7005] ppid=6997 vsize=645636 CPUtime=135.03 cores=0-7
/proc/6999/task/7005/stat : 7005 (SArTagnan) R 6997 6999 6973 0 -1 4202560 22176 0 0 0 13496 7 0 0 25 0 8 0 807639093 661131264 112613 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6999/tid=7006] ppid=6997 vsize=645636 CPUtime=135.04 cores=0-7
/proc/6999/task/7006/stat : 7006 (SArTagnan) R 6997 6999 6973 0 -1 4202560 22331 0 0 0 13501 3 0 0 25 0 8 0 807639093 661131264 112613 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1078.37
Current children cumulated vsize (KiB) 645636

[startup+138.319 s]
/proc/loadavg: 7.23 3.00 1.12 9/490 7010
/proc/meminfo: memFree=27088492/32951124 swapFree=63649284/67111528
[pid=6999] ppid=6997 vsize=670456 CPUtime=1104.04 cores=0-7
/proc/6999/stat : 6999 (SArTagnan) R 6997 6999 6973 0 -1 4202496 601837 0 0 0 110297 107 0 0 25 0 8 0 807639093 686546944 114583 33554432000 4194304 4625164 140736418022640 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6999/statm: 167614 114583 442 106 0 163117 0
[pid=6999/tid=7000] ppid=6997 vsize=670456 CPUtime=138.3 cores=0-7
/proc/6999/task/7000/stat : 7000 (SArTagnan) R 6997 6999 6973 0 -1 4202560 38365 0 0 0 13823 7 0 0 25 0 8 0 807639093 686546944 114583 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6999/tid=7001] ppid=6997 vsize=670456 CPUtime=138.27 cores=0-7
/proc/6999/task/7001/stat : 7001 (SArTagnan) R 6997 6999 6973 0 -1 4202560 26132 0 0 0 13823 4 0 0 25 0 8 0 807639093 686546944 114583 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6999/tid=7002] ppid=6997 vsize=670456 CPUtime=138.3 cores=0-7
/proc/6999/task/7002/stat : 7002 (SArTagnan) R 6997 6999 6973 0 -1 4202560 404383 0 0 0 13762 68 0 0 25 0 8 0 807639093 686546944 114583 33554432000 4194304 4625164 140736418022640 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6999/tid=7003] ppid=6997 vsize=670456 CPUtime=138.29 cores=0-7
/proc/6999/task/7003/stat : 7003 (SArTagnan) R 6997 6999 6973 0 -1 4202560 51456 0 0 0 13823 6 0 0 25 0 8 0 807639093 686546944 114583 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6999/tid=7004] ppid=6997 vsize=670456 CPUtime=138.23 cores=0-7
/proc/6999/task/7004/stat : 7004 (SArTagnan) R 6997 6999 6973 0 -1 4202560 25404 0 0 0 13819 4 0 0 25 0 8 0 807639093 686546944 114583 33554432000 4194304 4625164 140736418022640 18446744073709551615 4349173 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6999/tid=7005] ppid=6997 vsize=670456 CPUtime=138.25 cores=0-7
/proc/6999/task/7005/stat : 7005 (SArTagnan) R 6997 6999 6973 0 -1 4202560 22176 0 0 0 13818 7 0 0 25 0 8 0 807639093 686546944 114583 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6999/tid=7006] ppid=6997 vsize=670456 CPUtime=138.26 cores=0-7
/proc/6999/task/7006/stat : 7006 (SArTagnan) R 6997 6999 6973 0 -1 4202560 22354 0 0 0 13823 3 0 0 25 0 8 0 807639093 686546944 114583 33554432000 4194304 4625164 140736418022640 18446744073709551615 4352218 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1104.04
Current children cumulated vsize (KiB) 670456

[startup+139.9 s]
/proc/loadavg: 7.23 3.00 1.12 9/490 7011
/proc/meminfo: memFree=27086508/32951124 swapFree=63649284/67111528
[pid=6999] ppid=6997 vsize=670456 CPUtime=1116.68 cores=0-7
/proc/6999/stat : 6999 (SArTagnan) R 6997 6999 6973 0 -1 4202496 602788 0 0 0 111560 108 0 0 25 0 8 0 807639093 686546944 115125 33554432000 4194304 4625164 140736418022640 18446744073709551615 4511906 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6999/statm: 167614 115125 442 106 0 163117 0
[pid=6999/tid=7000] ppid=6997 vsize=670456 CPUtime=139.88 cores=0-7
/proc/6999/task/7000/stat : 7000 (SArTagnan) R 6997 6999 6973 0 -1 4202560 38623 0 0 0 13981 7 0 0 25 0 8 0 807639093 686546944 115125 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6999/tid=7001] ppid=6997 vsize=670456 CPUtime=139.85 cores=0-7
/proc/6999/task/7001/stat : 7001 (SArTagnan) R 6997 6999 6973 0 -1 4202560 26133 0 0 0 13981 4 0 0 25 0 8 0 807639093 686546944 115125 33554432000 4194304 4625164 140736418022640 18446744073709551615 4339643 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6999/tid=7002] ppid=6997 vsize=670456 CPUtime=139.88 cores=0-7
/proc/6999/task/7002/stat : 7002 (SArTagnan) R 6997 6999 6973 0 -1 4202560 404787 0 0 0 13920 68 0 0 25 0 8 0 807639093 686546944 115125 33554432000 4194304 4625164 140736418022640 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6999/tid=7003] ppid=6997 vsize=670456 CPUtime=139.87 cores=0-7
/proc/6999/task/7003/stat : 7003 (SArTagnan) R 6997 6999 6973 0 -1 4202560 51456 0 0 0 13981 6 0 0 25 0 8 0 807639093 686546944 115125 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6999/tid=7004] ppid=6997 vsize=670456 CPUtime=139.82 cores=0-7
/proc/6999/task/7004/stat : 7004 (SArTagnan) R 6997 6999 6973 0 -1 4202560 25404 0 0 0 13978 4 0 0 25 0 8 0 807639093 686546944 115125 33554432000 4194304 4625164 140736418022640 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6999/tid=7005] ppid=6997 vsize=670456 CPUtime=139.83 cores=0-7
/proc/6999/task/7005/stat : 7005 (SArTagnan) R 6997 6999 6973 0 -1 4202560 22176 0 0 0 13976 7 0 0 25 0 8 0 807639093 686546944 115125 33554432000 4194304 4625164 140736418022640 18446744073709551615 4339643 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6999/tid=7006] ppid=6997 vsize=670456 CPUtime=139.84 cores=0-7
/proc/6999/task/7006/stat : 7006 (SArTagnan) R 6997 6999 6973 0 -1 4202560 22387 0 0 0 13981 3 0 0 25 0 8 0 807639093 686546944 115125 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1116.68
Current children cumulated vsize (KiB) 670456

[startup+140.3 s]
/proc/loadavg: 7.23 3.00 1.12 9/490 7011
/proc/meminfo: memFree=27086508/32951124 swapFree=63649284/67111528
[pid=6999] ppid=6997 vsize=670456 CPUtime=1119.87 cores=0-7
/proc/6999/stat : 6999 (SArTagnan) R 6997 6999 6973 0 -1 4202496 603781 0 0 0 111879 108 0 0 25 0 8 0 807639093 686546944 115245 33554432000 4194304 4625164 140736418022640 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6999/statm: 167614 115245 442 106 0 163117 0
[pid=6999/tid=7000] ppid=6997 vsize=670456 CPUtime=140.27 cores=0-7
/proc/6999/task/7000/stat : 7000 (SArTagnan) S 6997 6999 6973 0 -1 4202560 38720 0 0 0 14020 7 0 0 25 0 8 0 807639093 686546944 115245 33554432000 4194304 4625164 140736418022640 18446744073709551615 210204752366 0 0 4096 2 18446604466707523648 0 0 -1 2 0 0 0
[pid=6999/tid=7001] ppid=6997 vsize=670456 CPUtime=140.25 cores=0-7
/proc/6999/task/7001/stat : 7001 (SArTagnan) R 6997 6999 6973 0 -1 4202560 26133 0 0 0 14021 4 0 0 25 0 8 0 807639093 686546944 115249 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6999/tid=7002] ppid=6997 vsize=670456 CPUtime=140.28 cores=0-7
/proc/6999/task/7002/stat : 7002 (SArTagnan) R 6997 6999 6973 0 -1 4202560 405678 0 0 0 13960 68 0 0 25 0 8 0 807639093 686546944 115264 33554432000 4194304 4625164 140736418022640 18446744073709551615 210204344512 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6999/tid=7003] ppid=6997 vsize=670456 CPUtime=140.27 cores=0-7
/proc/6999/task/7003/stat : 7003 (SArTagnan) R 6997 6999 6973 0 -1 4202560 51456 0 0 0 14021 6 0 0 25 0 8 0 807639093 686546944 115277 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6999/tid=7004] ppid=6997 vsize=670456 CPUtime=140.22 cores=0-7
/proc/6999/task/7004/stat : 7004 (SArTagnan) R 6997 6999 6973 0 -1 4202560 25410 0 0 0 14018 4 0 0 25 0 8 0 807639093 686546944 115282 33554432000 4194304 4625164 140736418022640 18446744073709551615 4349771 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6999/tid=7005] ppid=6997 vsize=670456 CPUtime=140.23 cores=0-7
/proc/6999/task/7005/stat : 7005 (SArTagnan) R 6997 6999 6973 0 -1 4202560 22176 0 0 0 14016 7 0 0 25 0 8 0 807639093 686546944 115285 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6999/tid=7006] ppid=6997 vsize=670456 CPUtime=140.24 cores=0-7
/proc/6999/task/7006/stat : 7006 (SArTagnan) R 6997 6999 6973 0 -1 4202560 22388 0 0 0 14021 3 0 0 25 0 8 0 807639093 686546944 115285 33554432000 4194304 4625164 140736418022640 18446744073709551615 4339646 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1119.87
Current children cumulated vsize (KiB) 670456

[startup+140.701 s]
/proc/loadavg: 7.23 3.00 1.12 9/490 7011
/proc/meminfo: memFree=27085764/32951124 swapFree=63649284/67111528
[pid=6999] ppid=6997 vsize=675708 CPUtime=1123.05 cores=0-7
/proc/6999/stat : 6999 (SArTagnan) R 6997 6999 6973 0 -1 4202496 604657 0 0 0 112197 108 0 0 25 0 8 0 807639093 691924992 115652 33554432000 4194304 4625164 140736418022640 18446744073709551615 4390435 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6999/statm: 168927 115652 442 106 0 164430 0
[pid=6999/tid=7000] ppid=6997 vsize=675708 CPUtime=140.67 cores=0-7
/proc/6999/task/7000/stat : 7000 (SArTagnan) R 6997 6999 6973 0 -1 4202560 38720 0 0 0 14060 7 0 0 25 0 8 0 807639093 691924992 115652 33554432000 4194304 4625164 140736418022640 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6999/tid=7001] ppid=6997 vsize=675708 CPUtime=140.66 cores=0-7
/proc/6999/task/7001/stat : 7001 (SArTagnan) R 6997 6999 6973 0 -1 4202560 26133 0 0 0 14062 4 0 0 25 0 8 0 807639093 691924992 115652 33554432000 4194304 4625164 140736418022640 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6999/tid=7002] ppid=6997 vsize=675708 CPUtime=140.68 cores=0-7
/proc/6999/task/7002/stat : 7002 (SArTagnan) R 6997 6999 6973 0 -1 4202560 405799 0 0 0 14000 68 0 0 25 0 8 0 807639093 691924992 115652 33554432000 4194304 4625164 140736418022640 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6999/tid=7003] ppid=6997 vsize=675708 CPUtime=140.68 cores=0-7
/proc/6999/task/7003/stat : 7003 (SArTagnan) R 6997 6999 6973 0 -1 4202560 51456 0 0 0 14062 6 0 0 25 0 8 0 807639093 691924992 115652 33554432000 4194304 4625164 140736418022640 18446744073709551615 4352069 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6999/tid=7004] ppid=6997 vsize=675708 CPUtime=140.62 cores=0-7
/proc/6999/task/7004/stat : 7004 (SArTagnan) R 6997 6999 6973 0 -1 4202560 25418 0 0 0 14058 4 0 0 25 0 8 0 807639093 691924992 115652 33554432000 4194304 4625164 140736418022640 18446744073709551615 4348903 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6999/tid=7005] ppid=6997 vsize=675708 CPUtime=140.63 cores=0-7
/proc/6999/task/7005/stat : 7005 (SArTagnan) R 6997 6999 6973 0 -1 4202560 22176 0 0 0 14056 7 0 0 25 0 8 0 807639093 691924992 115652 33554432000 4194304 4625164 140736418022640 18446744073709551615 4352029 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6999/tid=7006] ppid=6997 vsize=675708 CPUtime=140.64 cores=0-7
/proc/6999/task/7006/stat : 7006 (SArTagnan) R 6997 6999 6973 0 -1 4202560 22388 0 0 0 14061 3 0 0 25 0 8 0 807639093 691924992 115652 33554432000 4194304 4625164 140736418022640 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1123.05
Current children cumulated vsize (KiB) 675708

[startup+140.801 s]
/proc/loadavg: 7.23 3.00 1.12 9/490 7011
/proc/meminfo: memFree=27085764/32951124 swapFree=63649284/67111528
[pid=6999] ppid=6997 vsize=0 CPUtime=1123.66 cores=0-7
/proc/6999/stat : 6999 (SArTagnan) Z 6997 6999 6973 0 -1 4203548 604798 0 0 0 112256 110 0 0 25 0 2 0 807639093 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6999/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1123.66
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 140.802
CPU time (s): 1123.68
CPU user time (s): 1122.57
CPU system time (s): 1.10883
CPU usage (%): 798.056
Max. virtual memory (cumulated for all children) (KiB): 675708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1122.57
system time used= 1.10883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 604798
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= 3324
involuntary context switches= 4743

runsolver used 0.659899 second user time and 1.64675 second system time

The end

Launcher Data 

Begin job on node130 at 2011-06-01 22:33:26
IDJOB=3439216
IDBENCH=83361
IDSOLVER=1936
FILE ID=node130/3439216-1306960406
RUNJOBID= node130-1306960406-6987
PBS_JOBID= 13497621
Free space on /tmp= 73792 MiB

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

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

MD5SUM BENCH= f20ed0313cfa494f86b5c8ef723973ee
RANDOM SEED=643754986

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27547940 kB
Buffers:        158068 kB
Cached:         190372 kB
SwapCached:       9700 kB
Active:        4920556 kB
Inactive:       207860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27547940 kB
SwapTotal:    67111528 kB
SwapFree:     63649284 kB
Dirty:             420 kB
Writeback:           0 kB
AnonPages:     4778636 kB
Mapped:          29908 kB
Slab:           151208 kB
PageTables:      53984 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 145069864 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= 73792 MiB
End job on node130 at 2011-06-01 22:35:47