Trace number 3439581

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 12153.3 1522.82

General information on the benchmark

NameSAT05/crafted/sorge05/QG7a/
gensys-ukn003.shuffled-as.sat05-3843.cnf
MD5SUM59fa4424111aa94c942a4bbd786cbd51
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1118.21
Satisfiable
(Un)Satisfiability was proved
Number of variables2969
Number of clauses18767
Sum of the clauses size134137
Maximum clause length13
Minimum clause length1
Number of clauses of size 142
Number of clauses of size 2442
Number of clauses of size 32384
Number of clauses of size 4505
Number of clauses of size 5684
Number of clauses of size over 514710

Solver Data 

12152.35/1522.69	
12152.35/1522.69	s UNSATISFIABLE
12152.35/1522.69	c Import unit

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-3439581-1306965586/watcher-3439581-1306965586 -o /tmp/evaluation-result-3439581-1306965586/solver-3439581-1306965586 -C 40000 -W 5100 -M 31000 SArTagnan HOME/instance-3439581-1306965586.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: 8.08 8.11 8.05 2/520 25008
/proc/meminfo: memFree=25402036/32951124 swapFree=56241860/67111528
[pid=25008] ppid=25006 vsize=6356 CPUtime=0 cores=0-7
/proc/25008/stat : 25008 (SArTagnan) D 25006 25008 24799 0 -1 4194304 91 0 0 0 0 0 0 0 25 0 1 0 886789232 6508544 44 33554432000 4194304 4625164 140736318147408 18446744073709551615 216730258310 0 0 4096 0 18446744071562154983 0 0 17 6 0 0 0
/proc/25008/statm: 1589 44 34 106 0 44 0

[startup+0.0936479 s]
/proc/loadavg: 8.08 8.11 8.05 2/520 25008
/proc/meminfo: memFree=25402036/32951124 swapFree=56241860/67111528
[pid=25008] ppid=25006 vsize=364616 CPUtime=0.3 cores=0-7
/proc/25008/stat : 25008 (SArTagnan) R 25006 25008 24799 0 -1 4202496 4895 0 1 0 30 0 0 0 20 0 8 0 886789232 373366784 3870 33554432000 4194304 4625164 140736318147408 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 2
/proc/25008/statm: 91154 3872 346 106 0 86657 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 364616

[startup+0.10065 s]
/proc/loadavg: 8.08 8.11 8.05 2/520 25008
/proc/meminfo: memFree=25402036/32951124 swapFree=56241860/67111528
[pid=25008] ppid=25006 vsize=364616 CPUtime=0.35 cores=0-7
/proc/25008/stat : 25008 (SArTagnan) R 25006 25008 24799 0 -1 4202496 5074 0 1 0 35 0 0 0 20 0 8 0 886789232 373366784 4048 33554432000 4194304 4625164 140736318147408 18446744073709551615 4512046 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 2
/proc/25008/statm: 91154 4049 346 106 0 86657 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 364616

[startup+0.300584 s]
/proc/loadavg: 8.08 8.11 8.05 2/520 25008
/proc/meminfo: memFree=25402036/32951124 swapFree=56241860/67111528
[pid=25008] ppid=25006 vsize=377232 CPUtime=1.9 cores=0-7
/proc/25008/stat : 25008 (SArTagnan) R 25006 25008 24799 0 -1 4202496 12560 0 1 0 189 1 0 0 20 0 8 0 886789232 386285568 7713 33554432000 4194304 4625164 140736318147408 18446744073709551615 4339447 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 2
/proc/25008/statm: 94308 7713 347 106 0 89811 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 377232

[startup+0.700516 s]
/proc/loadavg: 8.08 8.11 8.05 2/520 25008
/proc/meminfo: memFree=25402036/32951124 swapFree=56241860/67111528
[pid=25008] ppid=25006 vsize=584572 CPUtime=5.1 cores=0-7
/proc/25008/stat : 25008 (SArTagnan) R 25006 25008 24799 0 -1 4202496 23669 0 1 0 507 3 0 0 18 0 8 0 886789232 598601728 12300 33554432000 4194304 4625164 140736318147408 18446744073709551615 4511982 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 2
/proc/25008/statm: 146143 12300 353 106 0 141646 0
Current children cumulated CPU time (s) 5.1
Current children cumulated vsize (KiB) 584572

[startup+1.50038 s]
/proc/loadavg: 8.08 8.11 8.05 9/528 25016
/proc/meminfo: memFree=25344508/32951124 swapFree=56241860/67111528
[pid=25008] ppid=25006 vsize=598508 CPUtime=11.48 cores=0-7
/proc/25008/stat : 25008 (SArTagnan) R 25006 25008 24799 0 -1 4202496 37349 0 1 0 1143 5 0 0 19 0 8 0 886789232 612872192 16899 33554432000 4194304 4625164 140736318147408 18446744073709551615 4396555 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 2
/proc/25008/statm: 149627 16899 353 106 0 145130 0
[pid=25008/tid=25010] ppid=25006 vsize=598508 CPUtime=1.44 cores=0-7
/proc/25008/task/25010/stat : 25010 (SArTagnan) R 25006 25008 24799 0 -1 4202560 3972 0 0 0 144 0 0 0 19 0 8 0 886789237 612872192 16900 33554432000 4194304 4625164 140736318147408 18446744073709551615 4295130 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25008/tid=25011] ppid=25006 vsize=598508 CPUtime=1.33 cores=0-7
/proc/25008/task/25011/stat : 25011 (SArTagnan) R 25006 25008 24799 0 -1 4202560 3403 0 0 0 133 0 0 0 25 0 8 0 886789237 612872192 16900 33554432000 4194304 4625164 140736318147408 18446744073709551615 4469816 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25008/tid=25012] ppid=25006 vsize=598508 CPUtime=1.44 cores=0-7
/proc/25008/task/25012/stat : 25012 (SArTagnan) R 25006 25008 24799 0 -1 4202560 8740 0 0 0 143 1 0 0 19 0 8 0 886789237 612872192 16902 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25008/tid=25013] ppid=25006 vsize=598508 CPUtime=1.43 cores=0-7
/proc/25008/task/25013/stat : 25013 (SArTagnan) R 25006 25008 24799 0 -1 4202560 3594 0 0 0 143 0 0 0 23 0 8 0 886789237 612872192 16902 33554432000 4194304 4625164 140736318147408 18446744073709551615 216734839841 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25008/tid=25014] ppid=25006 vsize=598508 CPUtime=1.44 cores=0-7
/proc/25008/task/25014/stat : 25014 (SArTagnan) R 25006 25008 24799 0 -1 4202560 3684 0 0 0 144 0 0 0 20 0 8 0 886789237 612872192 16903 33554432000 4194304 4625164 140736318147408 18446744073709551615 4339616 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25008/tid=25015] ppid=25006 vsize=598508 CPUtime=1.44 cores=0-7
/proc/25008/task/25015/stat : 25015 (SArTagnan) R 25006 25008 24799 0 -1 4202560 3549 0 0 0 144 0 0 0 20 0 8 0 886789237 612872192 16904 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25008/tid=25016] ppid=25006 vsize=598508 CPUtime=1.44 cores=0-7
/proc/25008/task/25016/stat : 25016 (SArTagnan) R 25006 25008 24799 0 -1 4202560 2507 0 0 0 144 0 0 0 20 0 8 0 886789237 612872192 16904 33554432000 4194304 4625164 140736318147408 18446744073709551615 4469395 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.48
Current children cumulated vsize (KiB) 598508

[startup+3.1011 s]
/proc/loadavg: 8.08 8.11 8.05 9/528 25016
/proc/meminfo: memFree=25322124/32951124 swapFree=56241860/67111528
[pid=25008] ppid=25006 vsize=589180 CPUtime=24.26 cores=0-7
/proc/25008/stat : 25008 (SArTagnan) R 25006 25008 24799 0 -1 4202496 52160 0 1 0 2418 8 0 0 22 0 8 0 886789232 603320320 21477 33554432000 4194304 4625164 140736318147408 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 2
/proc/25008/statm: 147295 21477 353 106 0 142798 0
[pid=25008/tid=25010] ppid=25006 vsize=589180 CPUtime=3.03 cores=0-7
/proc/25008/task/25010/stat : 25010 (SArTagnan) R 25006 25008 24799 0 -1 4202560 6151 0 0 0 303 0 0 0 22 0 8 0 886789237 603320320 21477 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25008/tid=25011] ppid=25006 vsize=589180 CPUtime=2.9 cores=0-7
/proc/25008/task/25011/stat : 25011 (SArTagnan) R 25006 25008 24799 0 -1 4202560 3943 0 0 0 290 0 0 0 25 0 8 0 886789237 603320320 21477 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25008/tid=25012] ppid=25006 vsize=589180 CPUtime=3.03 cores=0-7
/proc/25008/task/25012/stat : 25012 (SArTagnan) R 25006 25008 24799 0 -1 4202560 14384 0 0 0 301 2 0 0 25 0 8 0 886789237 603320320 21477 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25008/tid=25013] ppid=25006 vsize=589180 CPUtime=3.04 cores=0-7
/proc/25008/task/25013/stat : 25013 (SArTagnan) R 25006 25008 24799 0 -1 4202560 6033 0 0 0 303 1 0 0 25 0 8 0 886789237 603320320 21477 33554432000 4194304 4625164 140736318147408 18446744073709551615 4352765 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25008/tid=25014] ppid=25006 vsize=589180 CPUtime=3.04 cores=0-7
/proc/25008/task/25014/stat : 25014 (SArTagnan) R 25006 25008 24799 0 -1 4202560 3849 0 0 0 304 0 0 0 25 0 8 0 886789237 603320320 21479 33554432000 4194304 4625164 140736318147408 18446744073709551615 4339865 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25008/tid=25015] ppid=25006 vsize=589180 CPUtime=3.04 cores=0-7
/proc/25008/task/25015/stat : 25015 (SArTagnan) R 25006 25008 24799 0 -1 4202560 3817 0 0 0 304 0 0 0 24 0 8 0 886789237 603320320 21479 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25008/tid=25016] ppid=25006 vsize=589180 CPUtime=3.04 cores=0-7
/proc/25008/task/25016/stat : 25016 (SArTagnan) R 25006 25008 24799 0 -1 4202560 4045 0 0 0 304 0 0 0 25 0 8 0 886789237 603320320 21479 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.26
Current children cumulated vsize (KiB) 589180

[startup+6.30054 s]
/proc/loadavg: 8.08 8.10 8.04 9/528 25016
/proc/meminfo: memFree=25298944/32951124 swapFree=56241860/67111528
[pid=25008] ppid=25006 vsize=594292 CPUtime=49.8 cores=0-7
/proc/25008/stat : 25008 (SArTagnan) R 25006 25008 24799 0 -1 4202496 82453 0 1 0 4965 15 0 0 25 0 8 0 886789232 608555008 27343 33554432000 4194304 4625164 140736318147408 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 2
/proc/25008/statm: 148573 27343 395 106 0 144076 0
[pid=25008/tid=25010] ppid=25006 vsize=594292 CPUtime=6.24 cores=0-7
/proc/25008/task/25010/stat : 25010 (SArTagnan) R 25006 25008 24799 0 -1 4202560 8470 0 0 0 623 1 0 0 25 0 8 0 886789237 608555008 27343 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25008/tid=25011] ppid=25006 vsize=594292 CPUtime=6.04 cores=0-7
/proc/25008/task/25011/stat : 25011 (SArTagnan) R 25006 25008 24799 0 -1 4202560 4109 0 0 0 604 0 0 0 25 0 8 0 886789237 608555008 27343 33554432000 4194304 4625164 140736318147408 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25008/tid=25012] ppid=25006 vsize=594292 CPUtime=6.23 cores=0-7
/proc/25008/task/25012/stat : 25012 (SArTagnan) R 25006 25008 24799 0 -1 4202560 33022 0 0 0 617 6 0 0 25 0 8 0 886789237 608555008 27343 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25008/tid=25013] ppid=25006 vsize=594292 CPUtime=6.24 cores=0-7
/proc/25008/task/25013/stat : 25013 (SArTagnan) R 25006 25008 24799 0 -1 4202560 8343 0 0 0 623 1 0 0 25 0 8 0 886789237 608555008 27343 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25008/tid=25014] ppid=25006 vsize=594292 CPUtime=6.24 cores=0-7
/proc/25008/task/25014/stat : 25014 (SArTagnan) R 25006 25008 24799 0 -1 4202560 5662 0 0 0 624 0 0 0 25 0 8 0 886789237 608555008 27343 33554432000 4194304 4625164 140736318147408 18446744073709551615 4349087 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25008/tid=25015] ppid=25006 vsize=594292 CPUtime=6.24 cores=0-7
/proc/25008/task/25015/stat : 25015 (SArTagnan) R 25006 25008 24799 0 -1 4202560 5349 0 0 0 623 1 0 0 25 0 8 0 886789237 608555008 27343 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25008/tid=25016] ppid=25006 vsize=594292 CPUtime=6.24 cores=0-7
/proc/25008/task/25016/stat : 25016 (SArTagnan) R 25006 25008 24799 0 -1 4202560 5721 0 0 0 623 1 0 0 25 0 8 0 886789237 608555008 27343 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 49.8
Current children cumulated vsize (KiB) 594292

[startup+12.7004 s]
/proc/loadavg: 8.07 8.10 8.04 9/528 25017
/proc/meminfo: memFree=25237324/32951124 swapFree=56241860/67111528
[pid=25008] ppid=25006 vsize=626320 CPUtime=100.86 cores=0-7
/proc/25008/stat : 25008 (SArTagnan) R 25006 25008 24799 0 -1 4202496 118788 0 1 0 10062 24 0 0 25 0 8 0 886789232 641351680 42000 33554432000 4194304 4625164 140736318147408 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 2
/proc/25008/statm: 156580 42000 443 106 0 152083 0
[pid=25008/tid=25010] ppid=25006 vsize=626320 CPUtime=12.64 cores=0-7
/proc/25008/task/25010/stat : 25010 (SArTagnan) R 25006 25008 24799 0 -1 4202560 13728 0 0 0 1262 2 0 0 20 0 8 0 886789237 641351680 42000 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25008/tid=25011] ppid=25006 vsize=626320 CPUtime=12.33 cores=0-7
/proc/25008/task/25011/stat : 25011 (SArTagnan) R 25006 25008 24799 0 -1 4202560 6084 0 0 0 1232 1 0 0 25 0 8 0 886789237 641351680 42000 33554432000 4194304 4625164 140736318147408 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25008/tid=25012] ppid=25006 vsize=626320 CPUtime=12.64 cores=0-7
/proc/25008/task/25012/stat : 25012 (SArTagnan) R 25006 25008 24799 0 -1 4202560 45441 0 0 0 1255 9 0 0 25 0 8 0 886789237 641351680 42000 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25008/tid=25013] ppid=25006 vsize=626320 CPUtime=12.63 cores=0-7
/proc/25008/task/25013/stat : 25013 (SArTagnan) R 25006 25008 24799 0 -1 4202560 13025 0 0 0 1261 2 0 0 20 0 8 0 886789237 641351680 42000 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25008/tid=25014] ppid=25006 vsize=626320 CPUtime=12.64 cores=0-7
/proc/25008/task/25014/stat : 25014 (SArTagnan) R 25006 25008 24799 0 -1 4202560 9648 0 0 0 1262 2 0 0 20 0 8 0 886789237 641351680 42000 33554432000 4194304 4625164 140736318147408 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25008/tid=25015] ppid=25006 vsize=626320 CPUtime=12.63 cores=0-7
/proc/25008/task/25015/stat : 25015 (SArTagnan) R 25006 25008 24799 0 -1 4202560 11693 0 0 0 1261 2 0 0 20 0 8 0 886789237 641351680 42000 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25008/tid=25016] ppid=25006 vsize=626320 CPUtime=12.64 cores=0-7
/proc/25008/task/25016/stat : 25016 (SArTagnan) R 25006 25008 24799 0 -1 4202560 6872 0 0 0 1262 2 0 0 25 0 8 0 886789237 641351680 42000 33554432000 4194304 4625164 140736318147408 18446744073709551615 4339616 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 100.86
Current children cumulated vsize (KiB) 626320

[startup+25.5012 s]
/proc/loadavg: 8.05 8.10 8.04 9/528 25017
/proc/meminfo: memFree=25189956/32951124 swapFree=56241860/67111528
[pid=25008] ppid=25006 vsize=632012 CPUtime=203.02 cores=0-7
/proc/25008/stat : 25008 (SArTagnan) R 25006 25008 24799 0 -1 4202496 167185 0 1 0 20269 33 0 0 25 0 8 0 886789232 647180288 53525 33554432000 4194304 4625164 140736318147408 18446744073709551615 4512042 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 2
/proc/25008/statm: 158003 53525 581 106 0 153506 0
[pid=25008/tid=25010] ppid=25006 vsize=632012 CPUtime=25.44 cores=0-7
/proc/25008/task/25010/stat : 25010 (SArTagnan) R 25006 25008 24799 0 -1 4202560 14324 0 0 0 2542 2 0 0 25 0 8 0 886789237 647180288 53525 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25008/tid=25011] ppid=25006 vsize=632012 CPUtime=24.89 cores=0-7
/proc/25008/task/25011/stat : 25011 (SArTagnan) R 25006 25008 24799 0 -1 4202560 8334 0 0 0 2488 1 0 0 25 0 8 0 886789237 647180288 53525 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351975 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25008/tid=25012] ppid=25006 vsize=632012 CPUtime=25.44 cores=0-7
/proc/25008/task/25012/stat : 25012 (SArTagnan) R 25006 25008 24799 0 -1 4202560 82860 0 0 0 2528 16 0 0 25 0 8 0 886789237 647180288 53525 33554432000 4194304 4625164 140736318147408 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25008/tid=25013] ppid=25006 vsize=632012 CPUtime=25.43 cores=0-7
/proc/25008/task/25013/stat : 25013 (SArTagnan) R 25006 25008 24799 0 -1 4202560 13557 0 0 0 2541 2 0 0 25 0 8 0 886789237 647180288 53525 33554432000 4194304 4625164 140736318147408 18446744073709551615 4375338 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25008/tid=25014] ppid=25006 vsize=632012 CPUtime=25.44 cores=0-7
/proc/25008/task/25014/stat : 25014 (SArTagnan) R 25006 25008 24799 0 -1 4202560 13433 0 0 0 2541 3 0 0 25 0 8 0 886789237 647180288 53525 33554432000 4194304 4625164 140736318147408 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25008/tid=25015] ppid=25006 vsize=632012 CPUtime=25.43 cores=0-7
/proc/25008/task/25015/stat : 25015 (SArTagnan) R 25006 25008 24799 0 -1 4202560 12942 0 0 0 2541 2 0 0 25 0 8 0 886789237 647180288 53525 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25008/tid=25016] ppid=25006 vsize=632012 CPUtime=25.44 cores=0-7
/proc/25008/task/25016/stat : 25016 (SArTagnan) R 25006 25008 24799 0 -1 4202560 9169 0 0 0 2542 2 0 0 25 0 8 0 886789237 647180288 53525 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.02
Current children cumulated vsize (KiB) 632012

[startup+51.1007 s]
/proc/loadavg: 8.10 8.10 8.05 9/528 25017
/proc/meminfo: memFree=25139328/32951124 swapFree=56241860/67111528
[pid=25008] ppid=25006 vsize=666496 CPUtime=407.37 cores=0-7
/proc/25008/stat : 25008 (SArTagnan) R 25006 25008 24799 0 -1 4202496 258990 0 1 0 40686 51 0 0 25 0 8 0 886789232 682491904 65913 33554432000 4194304 4625164 140736318147408 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 2
/proc/25008/statm: 166624 65913 516 106 0 162127 0
[pid=25008/tid=25010] ppid=25006 vsize=666496 CPUtime=51.04 cores=0-7
/proc/25008/task/25010/stat : 25010 (SArTagnan) R 25006 25008 24799 0 -1 4202560 20119 0 0 0 5101 3 0 0 25 0 8 0 886789237 682491904 65913 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25008/tid=25011] ppid=25006 vsize=666496 CPUtime=50.02 cores=0-7
/proc/25008/task/25011/stat : 25011 (SArTagnan) R 25006 25008 24799 0 -1 4202560 8780 0 0 0 5001 1 0 0 25 0 8 0 886789237 682491904 65913 33554432000 4194304 4625164 140736318147408 18446744073709551615 4352562 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25008/tid=25012] ppid=25006 vsize=666496 CPUtime=51.04 cores=0-7
/proc/25008/task/25012/stat : 25012 (SArTagnan) R 25006 25008 24799 0 -1 4202560 146390 0 0 0 5076 28 0 0 25 0 8 0 886789237 682491904 65913 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25008/tid=25013] ppid=25006 vsize=666496 CPUtime=51.03 cores=0-7
/proc/25008/task/25013/stat : 25013 (SArTagnan) R 25006 25008 24799 0 -1 4202560 19383 0 0 0 5100 3 0 0 25 0 8 0 886789237 682491904 65913 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25008/tid=25014] ppid=25006 vsize=666496 CPUtime=51.04 cores=0-7
/proc/25008/task/25014/stat : 25014 (SArTagnan) R 25006 25008 24799 0 -1 4202560 19743 0 0 0 5100 4 0 0 25 0 8 0 886789237 682491904 65913 33554432000 4194304 4625164 140736318147408 18446744073709551615 4436907 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25008/tid=25015] ppid=25006 vsize=666496 CPUtime=51.03 cores=0-7
/proc/25008/task/25015/stat : 25015 (SArTagnan) R 25006 25008 24799 0 -1 4202560 18508 0 0 0 5100 3 0 0 25 0 8 0 886789237 682491904 65913 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25008/tid=25016] ppid=25006 vsize=666496 CPUtime=51.04 cores=0-7
/proc/25008/task/25016/stat : 25016 (SArTagnan) R 25006 25008 24799 0 -1 4202560 9667 0 0 0 5102 2 0 0 25 0 8 0 886789237 682491904 65913 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 407.37

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

[pid=25008/tid=25013] ppid=25006 vsize=2602564 CPUtime=1484.66 cores=0-7
/proc/25008/task/25013/stat : 25013 (SArTagnan) R 25006 25008 24799 0 -1 4202560 104924 0 0 0 148444 22 0 0 25 0 8 0 886789237 2665025536 495944 33554432000 4194304 4625164 140736318147408 18446744073709551615 4462528 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25008/tid=25014] ppid=25006 vsize=2602564 CPUtime=1484.63 cores=0-7
/proc/25008/task/25014/stat : 25014 (SArTagnan) R 25006 25008 24799 0 -1 4202560 48368 0 0 0 148452 11 0 0 25 0 8 0 886789237 2665025536 495944 33554432000 4194304 4625164 140736318147408 18446744073709551615 4348903 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25008/tid=25015] ppid=25006 vsize=2602564 CPUtime=1484.66 cores=0-7
/proc/25008/task/25015/stat : 25015 (SArTagnan) R 25006 25008 24799 0 -1 4202560 144590 0 0 0 148436 30 0 0 25 0 8 0 886789237 2665025536 495944 33554432000 4194304 4625164 140736318147408 18446744073709551615 4352014 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25008/tid=25016] ppid=25006 vsize=2602564 CPUtime=1484.63 cores=0-7
/proc/25008/task/25016/stat : 25016 (SArTagnan) R 25006 25008 24799 0 -1 4202560 32293 0 0 0 148452 11 0 0 25 0 8 0 886789237 2665025536 495944 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11849.9
Current children cumulated vsize (KiB) 2602564

[startup+1497.5 s]
/proc/loadavg: 8.00 8.03 8.00 9/528 25065
/proc/meminfo: memFree=23402232/32951124 swapFree=56241860/67111528
[pid=25008] ppid=25006 vsize=2602564 CPUtime=11952 cores=0-7
/proc/25008/stat : 25008 (SArTagnan) R 25006 25008 24799 0 -1 4202496 5296635 0 1 0 1194297 907 0 0 25 0 8 0 886789232 2665025536 499264 33554432000 4194304 4625164 140736318147408 18446744073709551615 4512190 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 2
/proc/25008/statm: 650641 499264 1031 106 0 646144 0
[pid=25008/tid=25010] ppid=25006 vsize=2602564 CPUtime=1497.3 cores=0-7
/proc/25008/task/25010/stat : 25010 (SArTagnan) R 25006 25008 24799 0 -1 4202560 108836 0 0 0 149707 23 0 0 20 0 8 0 886789237 2665025536 499264 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25008/tid=25011] ppid=25006 vsize=2602564 CPUtime=1470.37 cores=0-7
/proc/25008/task/25011/stat : 25011 (SArTagnan) R 25006 25008 24799 0 -1 4202560 34783 0 0 0 147026 11 0 0 25 0 8 0 886789237 2665025536 499264 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25008/tid=25012] ppid=25006 vsize=2602564 CPUtime=1497.45 cores=0-7
/proc/25008/task/25012/stat : 25012 (SArTagnan) R 25006 25008 24799 0 -1 4202560 4363932 0 0 0 149025 720 0 0 25 0 8 0 886789237 2665025536 499264 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25008/tid=25013] ppid=25006 vsize=2602564 CPUtime=1497.46 cores=0-7
/proc/25008/task/25013/stat : 25013 (SArTagnan) R 25006 25008 24799 0 -1 4202560 105112 0 0 0 149724 22 0 0 25 0 8 0 886789237 2665025536 499264 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25008/tid=25014] ppid=25006 vsize=2602564 CPUtime=1497.43 cores=0-7
/proc/25008/task/25014/stat : 25014 (SArTagnan) R 25006 25008 24799 0 -1 4202560 48383 0 0 0 149732 11 0 0 25 0 8 0 886789237 2665025536 499264 33554432000 4194304 4625164 140736318147408 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25008/tid=25015] ppid=25006 vsize=2602564 CPUtime=1497.47 cores=0-7
/proc/25008/task/25015/stat : 25015 (SArTagnan) R 25006 25008 24799 0 -1 4202560 144636 0 0 0 149716 31 0 0 25 0 8 0 886789237 2665025536 499264 33554432000 4194304 4625164 140736318147408 18446744073709551615 4330864 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25008/tid=25016] ppid=25006 vsize=2602564 CPUtime=1497.43 cores=0-7
/proc/25008/task/25016/stat : 25016 (SArTagnan) R 25006 25008 24799 0 -1 4202560 32329 0 0 0 149732 11 0 0 25 0 8 0 886789237 2665025536 499264 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11952
Current children cumulated vsize (KiB) 2602564

[startup+1510.32 s]
/proc/loadavg: 8.07 8.04 8.00 9/528 25065
/proc/meminfo: memFree=23369108/32951124 swapFree=56241860/67111528
[pid=25008] ppid=25006 vsize=2699892 CPUtime=12054.3 cores=0-7
/proc/25008/stat : 25008 (SArTagnan) R 25006 25008 24799 0 -1 4202496 5372589 0 1 0 1204518 917 0 0 25 0 8 0 886789232 2764689408 507486 33554432000 4194304 4625164 140736318147408 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 2
/proc/25008/statm: 674973 507486 859 106 0 670476 0
[pid=25008/tid=25010] ppid=25006 vsize=2699892 CPUtime=1509.88 cores=0-7
/proc/25008/task/25010/stat : 25010 (SArTagnan) R 25006 25008 24799 0 -1 4202560 108850 0 0 0 150965 23 0 0 25 0 8 0 886789237 2764689408 507486 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25008/tid=25011] ppid=25006 vsize=2699892 CPUtime=1483.19 cores=0-7
/proc/25008/task/25011/stat : 25011 (SArTagnan) R 25006 25008 24799 0 -1 4202560 34809 0 0 0 148308 11 0 0 25 0 8 0 886789237 2764689408 507486 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25008/tid=25012] ppid=25006 vsize=2699892 CPUtime=1510.27 cores=0-7
/proc/25008/task/25012/stat : 25012 (SArTagnan) R 25006 25008 24799 0 -1 4202560 4382597 0 0 0 150304 723 0 0 25 0 8 0 886789237 2764689408 507486 33554432000 4194304 4625164 140736318147408 18446744073709551615 4334930 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25008/tid=25013] ppid=25006 vsize=2699892 CPUtime=1510.28 cores=0-7
/proc/25008/task/25013/stat : 25013 (SArTagnan) R 25006 25008 24799 0 -1 4202560 105174 0 0 0 151006 22 0 0 25 0 8 0 886789237 2764689408 507486 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25008/tid=25014] ppid=25006 vsize=2699892 CPUtime=1510.25 cores=0-7
/proc/25008/task/25014/stat : 25014 (SArTagnan) R 25006 25008 24799 0 -1 4202560 48406 0 0 0 151014 11 0 0 25 0 8 0 886789237 2764689408 507486 33554432000 4194304 4625164 140736318147408 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25008/tid=25015] ppid=25006 vsize=2699892 CPUtime=1510.29 cores=0-7
/proc/25008/task/25015/stat : 25015 (SArTagnan) R 25006 25008 24799 0 -1 4202560 144636 0 0 0 150998 31 0 0 25 0 8 0 886789237 2764689408 507486 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25008/tid=25016] ppid=25006 vsize=2699892 CPUtime=1510.25 cores=0-7
/proc/25008/task/25016/stat : 25016 (SArTagnan) R 25006 25008 24799 0 -1 4202560 32365 0 0 0 151014 11 0 0 25 0 8 0 886789237 2764689408 507486 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12054.3
Current children cumulated vsize (KiB) 2699892

[startup+1516.7 s]
/proc/loadavg: 8.06 8.04 8.00 9/528 25066
/proc/meminfo: memFree=23359684/32951124 swapFree=56241860/67111528
[pid=25008] ppid=25006 vsize=2699892 CPUtime=12105.3 cores=0-7
/proc/25008/stat : 25008 (SArTagnan) R 25006 25008 24799 0 -1 4202496 5398347 0 1 0 1209608 921 0 0 25 0 8 0 886789232 2764689408 509564 33554432000 4194304 4625164 140736318147408 18446744073709551615 4390426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 2
/proc/25008/statm: 674973 509564 858 106 0 670476 0
[pid=25008/tid=25010] ppid=25006 vsize=2699892 CPUtime=1516.16 cores=0-7
/proc/25008/task/25010/stat : 25010 (SArTagnan) R 25006 25008 24799 0 -1 4202560 108855 0 0 0 151593 23 0 0 25 0 8 0 886789237 2764689408 509564 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25008/tid=25011] ppid=25006 vsize=2699892 CPUtime=1489.57 cores=0-7
/proc/25008/task/25011/stat : 25011 (SArTagnan) R 25006 25008 24799 0 -1 4202560 34833 0 0 0 148946 11 0 0 25 0 8 0 886789237 2764689408 509564 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25008/tid=25012] ppid=25006 vsize=2699892 CPUtime=1516.66 cores=0-7
/proc/25008/task/25012/stat : 25012 (SArTagnan) R 25006 25008 24799 0 -1 4202560 4406337 0 0 0 150939 727 0 0 25 0 8 0 886789237 2764689408 509564 33554432000 4194304 4625164 140736318147408 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25008/tid=25013] ppid=25006 vsize=2699892 CPUtime=1516.66 cores=0-7
/proc/25008/task/25013/stat : 25013 (SArTagnan) R 25006 25008 24799 0 -1 4202560 105203 0 0 0 151644 22 0 0 25 0 8 0 886789237 2764689408 509564 33554432000 4194304 4625164 140736318147408 18446744073709551615 4339600 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25008/tid=25014] ppid=25006 vsize=2699892 CPUtime=1516.63 cores=0-7
/proc/25008/task/25014/stat : 25014 (SArTagnan) R 25006 25008 24799 0 -1 4202560 48407 0 0 0 151652 11 0 0 25 0 8 0 886789237 2764689408 509564 33554432000 4194304 4625164 140736318147408 18446744073709551615 4348903 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25008/tid=25015] ppid=25006 vsize=2699892 CPUtime=1516.67 cores=0-7
/proc/25008/task/25015/stat : 25015 (SArTagnan) R 25006 25008 24799 0 -1 4202560 144636 0 0 0 151636 31 0 0 25 0 8 0 886789237 2764689408 509564 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25008/tid=25016] ppid=25006 vsize=2699892 CPUtime=1516.63 cores=0-7
/proc/25008/task/25016/stat : 25016 (SArTagnan) R 25006 25008 24799 0 -1 4202560 32365 0 0 0 151652 11 0 0 25 0 8 0 886789237 2764689408 509564 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12105.3
Current children cumulated vsize (KiB) 2699892

[startup+1519.9 s]
/proc/loadavg: 8.06 8.04 8.00 9/528 25066
/proc/meminfo: memFree=23357824/32951124 swapFree=56241860/67111528
[pid=25008] ppid=25006 vsize=2699892 CPUtime=12130.8 cores=0-7
/proc/25008/stat : 25008 (SArTagnan) R 25006 25008 24799 0 -1 4202496 5405956 0 1 0 1212160 922 0 0 25 0 8 0 886789232 2764689408 510474 33554432000 4194304 4625164 140736318147408 18446744073709551615 4391817 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 2
/proc/25008/statm: 674973 510474 807 106 0 670476 0
[pid=25008/tid=25010] ppid=25006 vsize=2699892 CPUtime=1519.3 cores=0-7
/proc/25008/task/25010/stat : 25010 (SArTagnan) R 25006 25008 24799 0 -1 4202560 108855 0 0 0 151907 23 0 0 25 0 8 0 886789237 2764689408 510474 33554432000 4194304 4625164 140736318147408 18446744073709551615 216734836998 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25008/tid=25011] ppid=25006 vsize=2699892 CPUtime=1492.77 cores=0-7
/proc/25008/task/25011/stat : 25011 (SArTagnan) R 25006 25008 24799 0 -1 4202560 34835 0 0 0 149266 11 0 0 25 0 8 0 886789237 2764689408 510474 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351866 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25008/tid=25012] ppid=25006 vsize=2699892 CPUtime=1519.85 cores=0-7
/proc/25008/task/25012/stat : 25012 (SArTagnan) R 25006 25008 24799 0 -1 4202560 4413163 0 0 0 151258 727 0 0 25 0 8 0 886789237 2764689408 510474 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351769 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25008/tid=25013] ppid=25006 vsize=2699892 CPUtime=1519.86 cores=0-7
/proc/25008/task/25013/stat : 25013 (SArTagnan) R 25006 25008 24799 0 -1 4202560 105230 0 0 0 151964 22 0 0 25 0 8 0 886789237 2764689408 510474 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25008/tid=25014] ppid=25006 vsize=2699892 CPUtime=1519.84 cores=0-7
/proc/25008/task/25014/stat : 25014 (SArTagnan) R 25006 25008 24799 0 -1 4202560 48412 0 0 0 151972 12 0 0 25 0 8 0 886789237 2764689408 510474 33554432000 4194304 4625164 140736318147408 18446744073709551615 4349021 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25008/tid=25015] ppid=25006 vsize=2699892 CPUtime=1519.86 cores=0-7
/proc/25008/task/25015/stat : 25015 (SArTagnan) R 25006 25008 24799 0 -1 4202560 144636 0 0 0 151955 31 0 0 25 0 8 0 886789237 2764689408 510474 33554432000 4194304 4625164 140736318147408 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25008/tid=25016] ppid=25006 vsize=2699892 CPUtime=1519.83 cores=0-7
/proc/25008/task/25016/stat : 25016 (SArTagnan) R 25006 25008 24799 0 -1 4202560 32368 0 0 0 151972 11 0 0 25 0 8 0 886789237 2764689408 510474 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12130.8
Current children cumulated vsize (KiB) 2699892

[startup+1521.5 s]
/proc/loadavg: 8.06 8.04 8.00 9/528 25066
/proc/meminfo: memFree=23353224/32951124 swapFree=56241860/67111528
[pid=25008] ppid=25006 vsize=2699892 CPUtime=12143.6 cores=0-7
/proc/25008/stat : 25008 (SArTagnan) R 25006 25008 24799 0 -1 4202496 5409840 0 1 0 1213434 924 0 0 25 0 8 0 886789232 2764689408 511597 33554432000 4194304 4625164 140736318147408 18446744073709551615 4391821 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 2
/proc/25008/statm: 674973 511597 807 106 0 670476 0
[pid=25008/tid=25010] ppid=25006 vsize=2699892 CPUtime=1520.86 cores=0-7
/proc/25008/task/25010/stat : 25010 (SArTagnan) R 25006 25008 24799 0 -1 4202560 108855 0 0 0 152063 23 0 0 25 0 8 0 886789237 2764689408 511597 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25008/tid=25011] ppid=25006 vsize=2699892 CPUtime=1494.37 cores=0-7
/proc/25008/task/25011/stat : 25011 (SArTagnan) R 25006 25008 24799 0 -1 4202560 34838 0 0 0 149426 11 0 0 25 0 8 0 886789237 2764689408 511597 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25008/tid=25012] ppid=25006 vsize=2699892 CPUtime=1521.46 cores=0-7
/proc/25008/task/25012/stat : 25012 (SArTagnan) R 25006 25008 24799 0 -1 4202560 4415912 0 0 0 151418 728 0 0 25 0 8 0 886789237 2764689408 511597 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25008/tid=25013] ppid=25006 vsize=2699892 CPUtime=1521.46 cores=0-7
/proc/25008/task/25013/stat : 25013 (SArTagnan) R 25006 25008 24799 0 -1 4202560 105236 0 0 0 152124 22 0 0 25 0 8 0 886789237 2764689408 511597 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25008/tid=25014] ppid=25006 vsize=2699892 CPUtime=1521.44 cores=0-7
/proc/25008/task/25014/stat : 25014 (SArTagnan) R 25006 25008 24799 0 -1 4202560 48412 0 0 0 152132 12 0 0 25 0 8 0 886789237 2764689408 511597 33554432000 4194304 4625164 140736318147408 18446744073709551615 216734834645 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25008/tid=25015] ppid=25006 vsize=2699892 CPUtime=1521.46 cores=0-7
/proc/25008/task/25015/stat : 25015 (SArTagnan) R 25006 25008 24799 0 -1 4202560 144636 0 0 0 152115 31 0 0 25 0 8 0 886789237 2764689408 511597 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25008/tid=25016] ppid=25006 vsize=2699892 CPUtime=1521.43 cores=0-7
/proc/25008/task/25016/stat : 25016 (SArTagnan) R 25006 25008 24799 0 -1 4202560 32371 0 0 0 152132 11 0 0 25 0 8 0 886789237 2764689408 511597 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12143.6
Current children cumulated vsize (KiB) 2699892

[startup+1522.3 s]
/proc/loadavg: 8.05 8.04 8.00 9/528 25066
/proc/meminfo: memFree=23331028/32951124 swapFree=56241860/67111528
[pid=25008] ppid=25006 vsize=2699892 CPUtime=12150.1 cores=0-7
/proc/25008/stat : 25008 (SArTagnan) R 25006 25008 24799 0 -1 4202496 5417592 0 1 0 1214085 925 0 0 25 0 8 0 886789232 2764689408 517193 33554432000 4194304 4625164 140736318147408 18446744073709551615 4361099 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 2
/proc/25008/statm: 674973 517193 814 106 0 670476 0
[pid=25008/tid=25010] ppid=25006 vsize=2699892 CPUtime=1521.65 cores=0-7
/proc/25008/task/25010/stat : 25010 (SArTagnan) R 25006 25008 24799 0 -1 4202560 108855 0 0 0 152142 23 0 0 25 0 8 0 886789237 2764689408 517199 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25008/tid=25011] ppid=25006 vsize=2699892 CPUtime=1495.19 cores=0-7
/proc/25008/task/25011/stat : 25011 (SArTagnan) R 25006 25008 24799 0 -1 4202560 34852 0 0 0 149508 11 0 0 25 0 8 0 886789237 2764689408 517199 33554432000 4194304 4625164 140736318147408 18446744073709551615 4204720 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25008/tid=25012] ppid=25006 vsize=2699892 CPUtime=1522.27 cores=0-7
/proc/25008/task/25012/stat : 25012 (SArTagnan) R 25006 25008 24799 0 -1 4202560 4419082 0 0 0 151499 728 0 0 25 0 8 0 886789237 2764689408 517199 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25008/tid=25013] ppid=25006 vsize=2699892 CPUtime=1522.28 cores=0-7
/proc/25008/task/25013/stat : 25013 (SArTagnan) R 25006 25008 24799 0 -1 4202560 105239 0 0 0 152206 22 0 0 25 0 8 0 886789237 2764689408 517199 33554432000 4194304 4625164 140736318147408 18446744073709551615 4330869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25008/tid=25014] ppid=25006 vsize=2699892 CPUtime=1522.26 cores=0-7
/proc/25008/task/25014/stat : 25014 (SArTagnan) R 25006 25008 24799 0 -1 4202560 48413 0 0 0 152214 12 0 0 25 0 8 0 886789237 2764689408 517199 33554432000 4194304 4625164 140736318147408 18446744073709551615 4329981 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25008/tid=25015] ppid=25006 vsize=2699892 CPUtime=1522.28 cores=0-7
/proc/25008/task/25015/stat : 25015 (SArTagnan) R 25006 25008 24799 0 -1 4202560 144636 0 0 0 152197 31 0 0 25 0 8 0 886789237 2764689408 517199 33554432000 4194304 4625164 140736318147408 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25008/tid=25016] ppid=25006 vsize=2699892 CPUtime=1522.25 cores=0-7
/proc/25008/task/25016/stat : 25016 (SArTagnan) R 25006 25008 24799 0 -1 4202560 32371 0 0 0 152214 11 0 0 25 0 8 0 886789237 2764689408 517199 33554432000 4194304 4625164 140736318147408 18446744073709551615 216734834645 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12150.1
Current children cumulated vsize (KiB) 2699892

[startup+1522.7 s]
/proc/loadavg: 8.05 8.04 8.00 9/528 25066
/proc/meminfo: memFree=23331028/32951124 swapFree=56241860/67111528
[pid=25008] ppid=25006 vsize=0 CPUtime=12153.1 cores=0-7
/proc/25008/stat : 25008 (SArTagnan) Z 25006 25008 24799 0 -1 4203548 5425938 0 1 0 1214386 928 0 0 25 0 2 0 886789232 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 2
/proc/25008/statm: 0 0 0 0 0 0 0
[pid=25008/tid=25011] ppid=25006 vsize=0 CPUtime=1495.56 cores=0-7
/proc/25008/task/25011/stat : 25011 (SArTagnan) R 25006 25008 24799 0 -1 4203588 34854 0 0 0 149545 11 0 0 25 0 2 0 886789237 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12153.1
Current children cumulated vsize (KiB) 0

[startup+1522.8 s]
/proc/loadavg: 8.05 8.04 8.00 9/528 25066
/proc/meminfo: memFree=23331028/32951124 swapFree=56241860/67111528
[pid=25008] ppid=25006 vsize=0 CPUtime=12153.2 cores=0-7
/proc/25008/stat : 25008 (SArTagnan) Z 25006 25008 24799 0 -1 4203548 5425938 0 1 0 1214386 938 0 0 25 0 2 0 886789232 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 2
/proc/25008/statm: 0 0 0 0 0 0 0
[pid=25008/tid=25011] ppid=25006 vsize=0 CPUtime=1495.66 cores=0-7
/proc/25008/task/25011/stat : 25011 (SArTagnan) R 25006 25008 24799 0 -1 4203588 34854 0 0 0 149545 21 0 0 25 0 2 0 886789237 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12153.2
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1522.82
CPU time (s): 12153.3
CPU user time (s): 12143.9
CPU system time (s): 9.40157
CPU usage (%): 798.076
Max. virtual memory (cumulated for all children) (KiB): 2894052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12143.9
system time used= 9.40157
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5425938
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8860
involuntary context switches= 52785

runsolver used 7.65883 second user time and 19.959 second system time

The end

Launcher Data 

Begin job on node119 at 2011-06-01 23:59:46
IDJOB=3439581
IDBENCH=85808
IDSOLVER=1936
FILE ID=node119/3439581-1306965586
RUNJOBID= node119-1306960628-24813
PBS_JOBID= 13497634
Free space on /tmp= 73600 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT05/crafted/sorge05/QG7a/gensys-ukn003.shuffled-as.sat05-3843.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3439581-1306965586/watcher-3439581-1306965586 -o /tmp/evaluation-result-3439581-1306965586/solver-3439581-1306965586 -C 40000 -W 5100 -M 31000  SArTagnan HOME/instance-3439581-1306965586.cnf -threads=8

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

MD5SUM BENCH= 59fa4424111aa94c942a4bbd786cbd51
RANDOM SEED=538612366

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25402200 kB
Buffers:         98540 kB
Cached:         273280 kB
SwapCached:      59044 kB
Active:         486492 kB
Inactive:      6777060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25402200 kB
SwapTotal:    67111528 kB
SwapFree:     56241860 kB
Dirty:            1176 kB
Writeback:           0 kB
AnonPages:     6836540 kB
Mapped:          32992 kB
Slab:           135152 kB
PageTables:      79432 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 163854404 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= 73600 MiB
End job on node119 at 2011-06-02 00:25:09