Trace number 3439161

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 19053.1 2386.71

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_445.cnf
MD5SUM4f7ff14ba0d33c4cf7de4e3c004f2f79
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark893.472
Satisfiable
(Un)Satisfiability was proved
Number of variables223
Number of clauses26441
Sum of the clauses size116565
Maximum clause length22
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2296
Number of clauses of size 324153
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51992

Solver Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 1/470 12010
/proc/meminfo: memFree=21653300/32951124 swapFree=67057928/67111528
[pid=12010] ppid=12008 vsize=24264 CPUtime=0.01 cores=0-7
/proc/12010/stat : 12010 (SArTagnan) R 12008 12010 11983 0 -1 4202496 2348 0 0 0 1 0 0 0 22 0 1 0 788455810 24846336 1623 33554432000 4194304 4625164 140734332228448 18446744073709551615 4298385 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/12010/statm: 6066 1639 298 106 0 1569 0
[pid=12010/tid=12011] ppid=12008 vsize=101732 CPUtime=0 cores=0-7
/proc/12010/task/12011/stat : 12011 (SArTagnan) R 12008 12010 11983 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 788455812 104173568 2941 33554432000 4194304 4625164 140734332228448 18446744073709551615 254256648424 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12010/tid=12012] ppid=12008 vsize=101732 CPUtime=0 cores=0-7
/proc/12010/task/12012/stat : 12012 (SArTagnan) R 12008 12010 11983 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 788455812 104173568 2941 33554432000 4194304 4625164 140734332228448 18446744073709551615 254261672945 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12010/tid=12013] ppid=12008 vsize=101732 CPUtime=0 cores=0-7
/proc/12010/task/12013/stat : 12013 (SArTagnan) R 12008 12010 11983 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 788455812 104173568 2941 33554432000 4194304 4625164 140734332228448 18446744073709551615 254261672945 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12010/tid=12014] ppid=12008 vsize=101732 CPUtime=0 cores=0-7
/proc/12010/task/12014/stat : 12014 (SArTagnan) R 12008 12010 11983 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 788455812 104173568 2941 33554432000 4194304 4625164 140734332228448 18446744073709551615 254261672945 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12010/tid=12015] ppid=12008 vsize=101732 CPUtime=0 cores=0-7
/proc/12010/task/12015/stat : 12015 (SArTagnan) R 12008 12010 11983 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 788455812 104173568 2941 33554432000 4194304 4625164 140734332228448 18446744073709551615 254261672945 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12010/tid=12016] ppid=12008 vsize=101732 CPUtime=0 cores=0-7
/proc/12010/task/12016/stat : 12016 (SArTagnan) R 12008 12010 11983 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 788455812 104173568 2941 33554432000 4194304 4625164 140734332228448 18446744073709551615 254261672945 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12010/tid=12017] ppid=12008 vsize=101732 CPUtime=0 cores=0-7
/proc/12010/task/12017/stat : 12017 (SArTagnan) R 12008 12010 11983 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 788455812 104173568 2941 33554432000 4194304 4625164 140734332228448 18446744073709551615 254273414198 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.0269359 s]
/proc/loadavg: 0.00 0.00 0.00 1/470 12010
/proc/meminfo: memFree=21653300/32951124 swapFree=67057928/67111528
[pid=12010] ppid=12008 vsize=232936 CPUtime=0.03 cores=0-7
/proc/12010/stat : 12010 (SArTagnan) R 12008 12010 11983 0 -1 4202496 3742 0 0 0 3 0 0 0 22 0 8 0 788455810 238526464 3011 33554432000 4194304 4625164 140734332228448 18446744073709551615 4392008 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/12010/statm: 58234 3011 325 106 0 53737 0
[pid=12010/tid=12011] ppid=12008 vsize=232936 CPUtime=0 cores=0-7
/proc/12010/task/12011/stat : 12011 (SArTagnan) D 12008 12010 11983 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 8 0 788455812 238526464 3011 33554432000 4194304 4625164 140734332228448 18446744073709551615 4468584 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12010/tid=12012] ppid=12008 vsize=232936 CPUtime=0 cores=0-7
/proc/12010/task/12012/stat : 12012 (SArTagnan) R 12008 12010 11983 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 8 0 788455812 238526464 3011 33554432000 4194304 4625164 140734332228448 18446744073709551615 4335168 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12010/tid=12013] ppid=12008 vsize=232936 CPUtime=0 cores=0-7
/proc/12010/task/12013/stat : 12013 (SArTagnan) D 12008 12010 11983 0 -1 4202560 47 0 0 0 0 0 0 0 23 0 8 0 788455812 238526464 3011 33554432000 4194304 4625164 140734332228448 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12010/tid=12014] ppid=12008 vsize=232936 CPUtime=0 cores=0-7
/proc/12010/task/12014/stat : 12014 (SArTagnan) R 12008 12010 11983 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 8 0 788455812 238526464 3013 33554432000 4194304 4625164 140734332228448 18446744073709551615 254261262745 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12010/tid=12015] ppid=12008 vsize=232936 CPUtime=0 cores=0-7
/proc/12010/task/12015/stat : 12015 (SArTagnan) D 12008 12010 11983 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 8 0 788455812 238526464 3015 33554432000 4194304 4625164 140734332228448 18446744073709551615 4457056 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12010/tid=12016] ppid=12008 vsize=232936 CPUtime=0 cores=0-7
/proc/12010/task/12016/stat : 12016 (SArTagnan) R 12008 12010 11983 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 788455812 238526464 3015 33554432000 4194304 4625164 140734332228448 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12010/tid=12017] ppid=12008 vsize=232936 CPUtime=0 cores=0-7
/proc/12010/task/12017/stat : 12017 (SArTagnan) D 12008 12010 11983 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 8 0 788455812 238526464 3015 33554432000 4194304 4625164 140734332228448 18446744073709551615 254261659738 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 232936

[startup+0.104475 s]
/proc/loadavg: 0.00 0.00 0.00 1/470 12010
/proc/meminfo: memFree=21653300/32951124 swapFree=67057928/67111528
[pid=12010] ppid=12008 vsize=375012 CPUtime=1.33 cores=0-7
/proc/12010/stat : 12010 (SArTagnan) R 12008 12010 11983 0 -1 4202496 9480 0 0 0 133 0 0 0 23 0 8 0 788455810 384012288 5036 33554432000 4194304 4625164 140734332228448 18446744073709551615 4393074 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12010/statm: 94356 8705 345 106 0 89859 0
[pid=12010/tid=12011] ppid=12008 vsize=377424 CPUtime=0.8 cores=0-7
/proc/12010/task/12011/stat : 12011 (SArTagnan) R 12008 12010 11983 0 -1 4202560 1451 0 0 0 80 0 0 0 18 0 8 0 788455812 386482176 8705 33554432000 4194304 4625164 140734332228448 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12010/tid=12012] ppid=12008 vsize=377424 CPUtime=0.8 cores=0-7
/proc/12010/task/12012/stat : 12012 (SArTagnan) R 12008 12010 11983 0 -1 4202560 935 0 0 0 80 0 0 0 18 0 8 0 788455812 386482176 8705 33554432000 4194304 4625164 140734332228448 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12010/tid=12013] ppid=12008 vsize=377424 CPUtime=0.8 cores=0-7
/proc/12010/task/12013/stat : 12013 (SArTagnan) R 12008 12010 11983 0 -1 4202560 5563 0 0 0 80 0 0 0 19 0 8 0 788455812 386482176 8705 33554432000 4194304 4625164 140734332228448 18446744073709551615 4335567 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12010/tid=12014] ppid=12008 vsize=377424 CPUtime=0.8 cores=0-7
/proc/12010/task/12014/stat : 12014 (SArTagnan) R 12008 12010 11983 0 -1 4202560 1487 0 0 0 80 0 0 0 19 0 8 0 788455812 386482176 8705 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12010/tid=12015] ppid=12008 vsize=377424 CPUtime=0.8 cores=0-7
/proc/12010/task/12015/stat : 12015 (SArTagnan) R 12008 12010 11983 0 -1 4202560 892 0 0 0 80 0 0 0 19 0 8 0 788455812 386482176 8705 33554432000 4194304 4625164 140734332228448 18446744073709551615 4349320 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12010/tid=12016] ppid=12008 vsize=377424 CPUtime=0.78 cores=0-7
/proc/12010/task/12016/stat : 12016 (SArTagnan) R 12008 12010 11983 0 -1 4202560 1339 0 0 0 78 0 0 0 25 0 8 0 788455812 386482176 8705 33554432000 4194304 4625164 140734332228448 18446744073709551615 4487034 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12010/tid=12017] ppid=12008 vsize=377424 CPUtime=0.8 cores=0-7
/proc/12010/task/12017/stat : 12017 (SArTagnan) R 12008 12010 11983 0 -1 4202560 1452 0 0 0 80 0 0 0 19 0 8 0 788455812 386482176 8705 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 375012

[startup+0.936807 s]
/proc/loadavg: 0.00 0.00 0.00 1/470 12010
/proc/meminfo: memFree=21653300/32951124 swapFree=67057928/67111528
[pid=12010] ppid=12008 vsize=379116 CPUtime=7.27 cores=0-7
/proc/12010/stat : 12010 (SArTagnan) R 12008 12010 11983 0 -1 4202496 18958 0 0 0 725 2 0 0 25 0 8 0 788455810 388214784 9034 33554432000 4194304 4625164 140734332228448 18446744073709551615 4392981 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12010/statm: 94779 9034 345 106 0 90282 0
[pid=12010/tid=12011] ppid=12008 vsize=379116 CPUtime=0.91 cores=0-7
/proc/12010/task/12011/stat : 12011 (SArTagnan) R 12008 12010 11983 0 -1 4202560 1481 0 0 0 91 0 0 0 19 0 8 0 788455812 388214784 9034 33554432000 4194304 4625164 140734332228448 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12010/tid=12012] ppid=12008 vsize=379116 CPUtime=0.9 cores=0-7
/proc/12010/task/12012/stat : 12012 (SArTagnan) R 12008 12010 11983 0 -1 4202560 1384 0 0 0 90 0 0 0 19 0 8 0 788455812 388214784 9034 33554432000 4194304 4625164 140734332228448 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12010/tid=12013] ppid=12008 vsize=379116 CPUtime=0.9 cores=0-7
/proc/12010/task/12013/stat : 12013 (SArTagnan) R 12008 12010 11983 0 -1 4202560 6151 0 0 0 90 0 0 0 19 0 8 0 788455812 388214784 9034 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12010/tid=12014] ppid=12008 vsize=379116 CPUtime=0.9 cores=0-7
/proc/12010/task/12014/stat : 12014 (SArTagnan) R 12008 12010 11983 0 -1 4202560 1519 0 0 0 90 0 0 0 19 0 8 0 788455812 388214784 9034 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12010/tid=12015] ppid=12008 vsize=379116 CPUtime=0.9 cores=0-7
/proc/12010/task/12015/stat : 12015 (SArTagnan) R 12008 12010 11983 0 -1 4202560 1336 0 0 0 90 0 0 0 19 0 8 0 788455812 388214784 9034 33554432000 4194304 4625164 140734332228448 18446744073709551615 4349072 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12010/tid=12016] ppid=12008 vsize=379116 CPUtime=0.88 cores=0-7
/proc/12010/task/12016/stat : 12016 (SArTagnan) R 12008 12010 11983 0 -1 4202560 1371 0 0 0 88 0 0 0 25 0 8 0 788455812 388214784 9034 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12010/tid=12017] ppid=12008 vsize=379116 CPUtime=0.9 cores=0-7
/proc/12010/task/12017/stat : 12017 (SArTagnan) R 12008 12010 11983 0 -1 4202560 1479 0 0 0 90 0 0 0 19 0 8 0 788455812 388214784 9034 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.27
Current children cumulated vsize (KiB) 379116

[startup+1.03679 s]
/proc/loadavg: 0.00 0.00 0.00 1/470 12010
/proc/meminfo: memFree=21653300/32951124 swapFree=67057928/67111528
[pid=12010] ppid=12008 vsize=379944 CPUtime=8.07 cores=0-7
/proc/12010/stat : 12010 (SArTagnan) R 12008 12010 11983 0 -1 4202496 19719 0 0 0 805 2 0 0 25 0 8 0 788455810 389062656 9508 33554432000 4194304 4625164 140734332228448 18446744073709551615 4511967 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12010/statm: 94986 9508 345 106 0 90489 0
[pid=12010/tid=12011] ppid=12008 vsize=379944 CPUtime=1.01 cores=0-7
/proc/12010/task/12011/stat : 12011 (SArTagnan) R 12008 12010 11983 0 -1 4202560 1503 0 0 0 101 0 0 0 19 0 8 0 788455812 389062656 9508 33554432000 4194304 4625164 140734332228448 18446744073709551615 4352072 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12010/tid=12012] ppid=12008 vsize=379944 CPUtime=1 cores=0-7
/proc/12010/task/12012/stat : 12012 (SArTagnan) R 12008 12010 11983 0 -1 4202560 1405 0 0 0 100 0 0 0 19 0 8 0 788455812 389062656 9508 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12010/tid=12013] ppid=12008 vsize=379944 CPUtime=1 cores=0-7
/proc/12010/task/12013/stat : 12013 (SArTagnan) R 12008 12010 11983 0 -1 4202560 6707 0 0 0 100 0 0 0 19 0 8 0 788455812 389062656 9508 33554432000 4194304 4625164 140734332228448 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12010/tid=12014] ppid=12008 vsize=379944 CPUtime=1 cores=0-7
/proc/12010/task/12014/stat : 12014 (SArTagnan) R 12008 12010 11983 0 -1 4202560 1564 0 0 0 100 0 0 0 19 0 8 0 788455812 389062656 9508 33554432000 4194304 4625164 140734332228448 18446744073709551615 4339646 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12010/tid=12015] ppid=12008 vsize=379944 CPUtime=1 cores=0-7
/proc/12010/task/12015/stat : 12015 (SArTagnan) R 12008 12010 11983 0 -1 4202560 1358 0 0 0 100 0 0 0 19 0 8 0 788455812 389062656 9508 33554432000 4194304 4625164 140734332228448 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12010/tid=12016] ppid=12008 vsize=379944 CPUtime=0.98 cores=0-7
/proc/12010/task/12016/stat : 12016 (SArTagnan) R 12008 12010 11983 0 -1 4202560 1413 0 0 0 98 0 0 0 25 0 8 0 788455812 389062656 9508 33554432000 4194304 4625164 140734332228448 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12010/tid=12017] ppid=12008 vsize=379944 CPUtime=1 cores=0-7
/proc/12010/task/12017/stat : 12017 (SArTagnan) R 12008 12010 11983 0 -1 4202560 1515 0 0 0 100 0 0 0 19 0 8 0 788455812 389062656 9508 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8.07
Current children cumulated vsize (KiB) 379944

[startup+1.50071 s]
/proc/loadavg: 0.00 0.00 0.00 1/470 12010
/proc/meminfo: memFree=21653300/32951124 swapFree=67057928/67111528
[pid=12010] ppid=12008 vsize=380700 CPUtime=11.78 cores=0-7
/proc/12010/stat : 12010 (SArTagnan) R 12008 12010 11983 0 -1 4202496 24675 0 0 0 1175 3 0 0 25 0 8 0 788455810 389836800 11688 33554432000 4194304 4625164 140734332228448 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12010/statm: 95175 11688 348 106 0 90678 0
[pid=12010/tid=12011] ppid=12008 vsize=380700 CPUtime=1.47 cores=0-7
/proc/12010/task/12011/stat : 12011 (SArTagnan) R 12008 12010 11983 0 -1 4202560 1654 0 0 0 147 0 0 0 20 0 8 0 788455812 389836800 11688 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12010/tid=12012] ppid=12008 vsize=380700 CPUtime=1.47 cores=0-7
/proc/12010/task/12012/stat : 12012 (SArTagnan) R 12008 12010 11983 0 -1 4202560 1539 0 0 0 147 0 0 0 20 0 8 0 788455812 389836800 11688 33554432000 4194304 4625164 140734332228448 18446744073709551615 4467248 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12010/tid=12013] ppid=12008 vsize=380700 CPUtime=1.46 cores=0-7
/proc/12010/task/12013/stat : 12013 (SArTagnan) R 12008 12010 11983 0 -1 4202560 9858 0 0 0 145 1 0 0 20 0 8 0 788455812 389836800 11688 33554432000 4194304 4625164 140734332228448 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12010/tid=12014] ppid=12008 vsize=380700 CPUtime=1.47 cores=0-7
/proc/12010/task/12014/stat : 12014 (SArTagnan) R 12008 12010 11983 0 -1 4202560 1695 0 0 0 147 0 0 0 19 0 8 0 788455812 389836800 11688 33554432000 4194304 4625164 140734332228448 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12010/tid=12015] ppid=12008 vsize=380700 CPUtime=1.46 cores=0-7
/proc/12010/task/12015/stat : 12015 (SArTagnan) R 12008 12010 11983 0 -1 4202560 1488 0 0 0 146 0 0 0 20 0 8 0 788455812 389836800 11688 33554432000 4194304 4625164 140734332228448 18446744073709551615 4349045 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12010/tid=12016] ppid=12008 vsize=380700 CPUtime=1.45 cores=0-7
/proc/12010/task/12016/stat : 12016 (SArTagnan) R 12008 12010 11983 0 -1 4202560 1551 0 0 0 145 0 0 0 25 0 8 0 788455812 389836800 11688 33554432000 4194304 4625164 140734332228448 18446744073709551615 4352299 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12010/tid=12017] ppid=12008 vsize=380700 CPUtime=1.47 cores=0-7
/proc/12010/task/12017/stat : 12017 (SArTagnan) R 12008 12010 11983 0 -1 4202560 2333 0 0 0 147 0 0 0 20 0 8 0 788455812 389836800 11688 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.78
Current children cumulated vsize (KiB) 380700

[startup+3.10043 s]
/proc/loadavg: 0.00 0.00 0.00 9/478 12018
/proc/meminfo: memFree=21582688/32951124 swapFree=67057928/67111528
[pid=12010] ppid=12008 vsize=388916 CPUtime=24.55 cores=0-7
/proc/12010/stat : 12010 (SArTagnan) R 12008 12010 11983 0 -1 4202496 44244 0 0 0 2449 6 0 0 25 0 8 0 788455810 398249984 18948 33554432000 4194304 4625164 140734332228448 18446744073709551615 4512092 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12010/statm: 97229 18948 348 106 0 92732 0
[pid=12010/tid=12011] ppid=12008 vsize=388916 CPUtime=3.07 cores=0-7
/proc/12010/task/12011/stat : 12011 (SArTagnan) R 12008 12010 11983 0 -1 4202560 4036 0 0 0 307 0 0 0 25 0 8 0 788455812 398249984 18948 33554432000 4194304 4625164 140734332228448 18446744073709551615 4464615 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12010/tid=12012] ppid=12008 vsize=388916 CPUtime=3.07 cores=0-7
/proc/12010/task/12012/stat : 12012 (SArTagnan) R 12008 12010 11983 0 -1 4202560 2751 0 0 0 307 0 0 0 18 0 8 0 788455812 398249984 18948 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12010/tid=12013] ppid=12008 vsize=388916 CPUtime=3.03 cores=0-7
/proc/12010/task/12013/stat : 12013 (SArTagnan) R 12008 12010 11983 0 -1 4202560 19905 0 0 0 301 2 0 0 25 0 8 0 788455812 398249984 18948 33554432000 4194304 4625164 140734332228448 18446744073709551615 4352108 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12010/tid=12014] ppid=12008 vsize=388916 CPUtime=3.06 cores=0-7
/proc/12010/task/12014/stat : 12014 (SArTagnan) R 12008 12010 11983 0 -1 4202560 2936 0 0 0 306 0 0 0 25 0 8 0 788455812 398249984 18948 33554432000 4194304 4625164 140734332228448 18446744073709551615 4352170 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12010/tid=12015] ppid=12008 vsize=388916 CPUtime=3.06 cores=0-7
/proc/12010/task/12015/stat : 12015 (SArTagnan) R 12008 12010 11983 0 -1 4202560 2691 0 0 0 306 0 0 0 25 0 8 0 788455812 398249984 18948 33554432000 4194304 4625164 140734332228448 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12010/tid=12016] ppid=12008 vsize=388916 CPUtime=3.04 cores=0-7
/proc/12010/task/12016/stat : 12016 (SArTagnan) R 12008 12010 11983 0 -1 4202560 2825 0 0 0 304 0 0 0 25 0 8 0 788455812 398249984 18948 33554432000 4194304 4625164 140734332228448 18446744073709551615 4464310 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12010/tid=12017] ppid=12008 vsize=388916 CPUtime=3.07 cores=0-7
/proc/12010/task/12017/stat : 12017 (SArTagnan) R 12008 12010 11983 0 -1 4202560 4040 0 0 0 307 0 0 0 25 0 8 0 788455812 398249984 18948 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.55
Current children cumulated vsize (KiB) 388916

[startup+6.30086 s]
/proc/loadavg: 0.64 0.13 0.04 9/478 12018
/proc/meminfo: memFree=21536808/32951124 swapFree=67057928/67111528
[pid=12010] ppid=12008 vsize=408488 CPUtime=50.1 cores=0-7
/proc/12010/stat : 12010 (SArTagnan) R 12008 12010 11983 0 -1 4202496 71258 0 0 0 4999 11 0 0 25 0 8 0 788455810 418291712 29542 33554432000 4194304 4625164 140734332228448 18446744073709551615 4512872 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12010/statm: 102122 29542 348 106 0 97625 0
[pid=12010/tid=12011] ppid=12008 vsize=408488 CPUtime=6.27 cores=0-7
/proc/12010/task/12011/stat : 12011 (SArTagnan) R 12008 12010 11983 0 -1 4202560 4688 0 0 0 627 0 0 0 25 0 8 0 788455812 418291712 29542 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12010/tid=12012] ppid=12008 vsize=408488 CPUtime=6.27 cores=0-7
/proc/12010/task/12012/stat : 12012 (SArTagnan) R 12008 12010 11983 0 -1 4202560 4734 0 0 0 627 0 0 0 25 0 8 0 788455812 418291712 29542 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12010/tid=12013] ppid=12008 vsize=408488 CPUtime=6.18 cores=0-7
/proc/12010/task/12013/stat : 12013 (SArTagnan) R 12008 12010 11983 0 -1 4202560 34926 0 0 0 613 5 0 0 25 0 8 0 788455812 418291712 29542 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12010/tid=12014] ppid=12008 vsize=408488 CPUtime=6.27 cores=0-7
/proc/12010/task/12014/stat : 12014 (SArTagnan) R 12008 12010 11983 0 -1 4202560 6192 0 0 0 626 1 0 0 25 0 8 0 788455812 418291712 29542 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12010/tid=12015] ppid=12008 vsize=408488 CPUtime=6.26 cores=0-7
/proc/12010/task/12015/stat : 12015 (SArTagnan) R 12008 12010 11983 0 -1 4202560 4266 0 0 0 626 0 0 0 25 0 8 0 788455812 418291712 29542 33554432000 4194304 4625164 140734332228448 18446744073709551615 4440064 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12010/tid=12016] ppid=12008 vsize=408488 CPUtime=6.25 cores=0-7
/proc/12010/task/12016/stat : 12016 (SArTagnan) R 12008 12010 11983 0 -1 4202560 6062 0 0 0 624 1 0 0 25 0 8 0 788455812 418291712 29542 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12010/tid=12017] ppid=12008 vsize=408488 CPUtime=6.27 cores=0-7
/proc/12010/task/12017/stat : 12017 (SArTagnan) R 12008 12010 11983 0 -1 4202560 4570 0 0 0 627 0 0 0 25 0 8 0 788455812 418291712 29542 33554432000 4194304 4625164 140734332228448 18446744073709551615 4352035 0 0 4096 2 0 0 0 -1 4 0 0 0

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

[pid=12010/tid=12013] ppid=12008 vsize=4370520 CPUtime=2199.57 cores=0-7
/proc/12010/task/12013/stat : 12013 (SArTagnan) R 12008 12010 11983 0 -1 4202560 9257275 0 0 0 218578 1379 0 0 25 0 8 0 788455812 4475412480 880611 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12010/tid=12014] ppid=12008 vsize=4370520 CPUtime=2201.63 cores=0-7
/proc/12010/task/12014/stat : 12014 (SArTagnan) R 12008 12010 11983 0 -1 4202560 291510 0 0 0 220112 51 0 0 25 0 8 0 788455812 4475412480 880611 33554432000 4194304 4625164 140734332228448 18446744073709551615 4464328 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12010/tid=12015] ppid=12008 vsize=4370520 CPUtime=2202.14 cores=0-7
/proc/12010/task/12015/stat : 12015 (SArTagnan) R 12008 12010 11983 0 -1 4202560 120092 0 0 0 220185 29 0 0 25 0 8 0 788455812 4475412480 880611 33554432000 4194304 4625164 140734332228448 18446744073709551615 4349768 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12010/tid=12016] ppid=12008 vsize=4370520 CPUtime=2202.21 cores=0-7
/proc/12010/task/12016/stat : 12016 (SArTagnan) R 12008 12010 11983 0 -1 4202560 259137 0 0 0 220165 56 0 0 25 0 8 0 788455812 4475412480 880611 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12010/tid=12017] ppid=12008 vsize=4370520 CPUtime=2170.55 cores=0-7
/proc/12010/task/12017/stat : 12017 (SArTagnan) R 12008 12010 11983 0 -1 4202560 278266 0 0 0 216998 57 0 0 25 0 8 0 788455812 4475412480 880611 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 17582.8
Current children cumulated vsize (KiB) 4370520

[startup+2262.32 s]
/proc/loadavg: 8.02 8.04 7.32 9/478 12088
/proc/meminfo: memFree=18103152/32951124 swapFree=67057928/67111528
[pid=12010] ppid=12008 vsize=4371308 CPUtime=18061.9 cores=0-7
/proc/12010/stat : 12010 (SArTagnan) R 12008 12010 11983 0 -1 4202496 11569301 0 0 0 1804369 1820 0 0 25 0 8 0 788455810 4476219392 886151 33554432000 4194304 4625164 140734332228448 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12010/statm: 1092827 886151 349 106 0 1088330 0
[pid=12010/tid=12011] ppid=12008 vsize=4371308 CPUtime=2262.28 cores=0-7
/proc/12010/task/12011/stat : 12011 (SArTagnan) R 12008 12010 11983 0 -1 4202560 272737 0 0 0 226169 59 0 0 25 0 8 0 788455812 4476219392 886151 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12010/tid=12012] ppid=12008 vsize=4371308 CPUtime=2262.1 cores=0-7
/proc/12010/task/12012/stat : 12012 (SArTagnan) R 12008 12010 11983 0 -1 4202560 131114 0 0 0 226183 27 0 0 25 0 8 0 788455812 4476219392 886151 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12010/tid=12013] ppid=12008 vsize=4371308 CPUtime=2259.6 cores=0-7
/proc/12010/task/12013/stat : 12013 (SArTagnan) R 12008 12010 11983 0 -1 4202560 9474283 0 0 0 224548 1412 0 0 25 0 8 0 788455812 4476219392 886151 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12010/tid=12014] ppid=12008 vsize=4371308 CPUtime=2261.63 cores=0-7
/proc/12010/task/12014/stat : 12014 (SArTagnan) R 12008 12010 11983 0 -1 4202560 291987 0 0 0 226112 51 0 0 25 0 8 0 788455812 4476219392 886151 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12010/tid=12015] ppid=12008 vsize=4371308 CPUtime=2262.15 cores=0-7
/proc/12010/task/12015/stat : 12015 (SArTagnan) R 12008 12010 11983 0 -1 4202560 120630 0 0 0 226186 29 0 0 25 0 8 0 788455812 4476219392 886151 33554432000 4194304 4625164 140734332228448 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12010/tid=12016] ppid=12008 vsize=4371308 CPUtime=2262.23 cores=0-7
/proc/12010/task/12016/stat : 12016 (SArTagnan) R 12008 12010 11983 0 -1 4202560 259825 0 0 0 226166 57 0 0 25 0 8 0 788455812 4476219392 886151 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12010/tid=12017] ppid=12008 vsize=4371308 CPUtime=2229.63 cores=0-7
/proc/12010/task/12017/stat : 12017 (SArTagnan) R 12008 12010 11983 0 -1 4202560 279093 0 0 0 222906 57 0 0 25 0 8 0 788455812 4476219392 886151 33554432000 4194304 4625164 140734332228448 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 18061.9
Current children cumulated vsize (KiB) 4371308

[startup+2322.3 s]
/proc/loadavg: 8.00 8.03 7.36 9/478 12089
/proc/meminfo: memFree=18064080/32951124 swapFree=67057928/67111528
[pid=12010] ppid=12008 vsize=4436844 CPUtime=18540.7 cores=0-7
/proc/12010/stat : 12010 (SArTagnan) R 12008 12010 11983 0 -1 4202496 11707833 0 0 0 1852226 1845 0 0 25 0 8 0 788455810 4543328256 896829 33554432000 4194304 4625164 140734332228448 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12010/statm: 1109211 896829 358 106 0 1104714 0
[pid=12010/tid=12011] ppid=12008 vsize=4436844 CPUtime=2322.22 cores=0-7
/proc/12010/task/12011/stat : 12011 (SArTagnan) R 12008 12010 11983 0 -1 4202560 273429 0 0 0 232162 60 0 0 25 0 8 0 788455812 4543328256 896829 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12010/tid=12012] ppid=12008 vsize=4436844 CPUtime=2322.07 cores=0-7
/proc/12010/task/12012/stat : 12012 (SArTagnan) R 12008 12010 11983 0 -1 4202560 131238 0 0 0 232180 27 0 0 25 0 8 0 788455812 4543328256 896829 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12010/tid=12013] ppid=12008 vsize=4436844 CPUtime=2319.58 cores=0-7
/proc/12010/task/12013/stat : 12013 (SArTagnan) R 12008 12010 11983 0 -1 4202560 9601635 0 0 0 230528 1430 0 0 25 0 8 0 788455812 4543328256 896829 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351987 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12010/tid=12014] ppid=12008 vsize=4436844 CPUtime=2321.58 cores=0-7
/proc/12010/task/12014/stat : 12014 (SArTagnan) R 12008 12010 11983 0 -1 4202560 295260 0 0 0 232106 52 0 0 25 0 8 0 788455812 4543328256 896829 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12010/tid=12015] ppid=12008 vsize=4436844 CPUtime=2322.11 cores=0-7
/proc/12010/task/12015/stat : 12015 (SArTagnan) R 12008 12010 11983 0 -1 4202560 120788 0 0 0 232181 30 0 0 25 0 8 0 788455812 4543328256 896829 33554432000 4194304 4625164 140734332228448 18446744073709551615 4348870 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12010/tid=12016] ppid=12008 vsize=4436844 CPUtime=2322.19 cores=0-7
/proc/12010/task/12016/stat : 12016 (SArTagnan) R 12008 12010 11983 0 -1 4202560 259830 0 0 0 232162 57 0 0 25 0 8 0 788455812 4543328256 896829 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12010/tid=12017] ppid=12008 vsize=4436844 CPUtime=2288.67 cores=0-7
/proc/12010/task/12017/stat : 12017 (SArTagnan) R 12008 12010 11983 0 -1 4202560 279887 0 0 0 228809 58 0 0 25 0 8 0 788455812 4543328256 896829 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 18540.7
Current children cumulated vsize (KiB) 4436844

[startup+2382.3 s]
/proc/loadavg: 8.07 8.04 7.40 9/478 12091
/proc/meminfo: memFree=17994256/32951124 swapFree=67057928/67111528
[pid=12010] ppid=12008 vsize=4578160 CPUtime=19019.5 cores=0-7
/proc/12010/stat : 12010 (SArTagnan) R 12008 12010 11983 0 -1 4202496 12013576 0 0 0 1900055 1894 0 0 25 0 8 0 788455810 4688035840 913493 33554432000 4194304 4625164 140734332228448 18446744073709551615 4391821 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12010/statm: 1144540 913493 349 106 0 1140043 0
[pid=12010/tid=12011] ppid=12008 vsize=4578160 CPUtime=2382.16 cores=0-7
/proc/12010/task/12011/stat : 12011 (SArTagnan) R 12008 12010 11983 0 -1 4202560 273693 0 0 0 238154 62 0 0 18 0 8 0 788455812 4688035840 913493 33554432000 4194304 4625164 140734332228448 18446744073709551615 254261273582 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12010/tid=12012] ppid=12008 vsize=4578160 CPUtime=2382.06 cores=0-7
/proc/12010/task/12012/stat : 12012 (SArTagnan) R 12008 12010 11983 0 -1 4202560 131432 0 0 0 238179 27 0 0 25 0 8 0 788455812 4688035840 913493 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12010/tid=12013] ppid=12008 vsize=4578160 CPUtime=2379.58 cores=0-7
/proc/12010/task/12013/stat : 12013 (SArTagnan) R 12008 12010 11983 0 -1 4202560 9854104 0 0 0 236491 1467 0 0 25 0 8 0 788455812 4688035840 913493 33554432000 4194304 4625164 140734332228448 18446744073709551615 4552388 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12010/tid=12014] ppid=12008 vsize=4578160 CPUtime=2380.73 cores=0-7
/proc/12010/task/12014/stat : 12014 (SArTagnan) R 12008 12010 11983 0 -1 4202560 295261 0 0 0 238021 52 0 0 25 0 8 0 788455812 4688035840 913493 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12010/tid=12015] ppid=12008 vsize=4578160 CPUtime=2382.09 cores=0-7
/proc/12010/task/12015/stat : 12015 (SArTagnan) R 12008 12010 11983 0 -1 4202560 120826 0 0 0 238179 30 0 0 25 0 8 0 788455812 4688035840 913493 33554432000 4194304 4625164 140734332228448 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12010/tid=12016] ppid=12008 vsize=4578160 CPUtime=2382.16 cores=0-7
/proc/12010/task/12016/stat : 12016 (SArTagnan) R 12008 12010 11983 0 -1 4202560 259834 0 0 0 238157 59 0 0 18 0 8 0 788455812 4688035840 913493 33554432000 4194304 4625164 140734332228448 18446744073709551615 4469388 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12010/tid=12017] ppid=12008 vsize=4578160 CPUtime=2348.42 cores=0-7
/proc/12010/task/12017/stat : 12017 (SArTagnan) R 12008 12010 11983 0 -1 4202560 280083 0 0 0 234784 58 0 0 25 0 8 0 788455812 4688035840 913495 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 19019.5
Current children cumulated vsize (KiB) 4578160

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

[startup+2384.6 s]
/proc/loadavg: 8.06 8.04 7.41 9/478 12091
/proc/meminfo: memFree=17927296/32951124 swapFree=67057928/67111528
[pid=12010] ppid=12008 vsize=4716700 CPUtime=19037.8 cores=0-7
/proc/12010/stat : 12010 (SArTagnan) R 12008 12010 11983 0 -1 4202496 12054784 0 0 0 1901867 1909 0 0 25 0 8 0 788455810 4829900800 930313 33554432000 4194304 4625164 140734332228448 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12010/statm: 1179175 930313 352 106 0 1174678 0
[pid=12010/tid=12011] ppid=12008 vsize=4716700 CPUtime=2384.45 cores=0-7
/proc/12010/task/12011/stat : 12011 (SArTagnan) R 12008 12010 11983 0 -1 4202560 273693 0 0 0 238383 62 0 0 22 0 8 0 788455812 4829900800 930313 33554432000 4194304 4625164 140734332228448 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12010/tid=12012] ppid=12008 vsize=4716700 CPUtime=2384.36 cores=0-7
/proc/12010/task/12012/stat : 12012 (SArTagnan) R 12008 12010 11983 0 -1 4202560 131435 0 0 0 238408 28 0 0 20 0 8 0 788455812 4829900800 930313 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12010/tid=12013] ppid=12008 vsize=4716700 CPUtime=2381.88 cores=0-7
/proc/12010/task/12013/stat : 12013 (SArTagnan) R 12008 12010 11983 0 -1 4202560 9866041 0 0 0 236718 1470 0 0 25 0 8 0 788455812 4829900800 930313 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12010/tid=12014] ppid=12008 vsize=4716700 CPUtime=2382.98 cores=0-7
/proc/12010/task/12014/stat : 12014 (SArTagnan) R 12008 12010 11983 0 -1 4202560 295269 0 0 0 238242 56 0 0 18 0 8 0 788455812 4829900800 930313 33554432000 4194304 4625164 140734332228448 18446744073709551615 254261273578 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12010/tid=12015] ppid=12008 vsize=4716700 CPUtime=2384.39 cores=0-7
/proc/12010/task/12015/stat : 12015 (SArTagnan) R 12008 12010 11983 0 -1 4202560 120826 0 0 0 238409 30 0 0 25 0 8 0 788455812 4829900800 930313 33554432000 4194304 4625164 140734332228448 18446744073709551615 4348870 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12010/tid=12016] ppid=12008 vsize=4716700 CPUtime=2384.43 cores=0-7
/proc/12010/task/12016/stat : 12016 (SArTagnan) R 12008 12010 11983 0 -1 4202560 259834 0 0 0 238383 60 0 0 17 0 8 0 788455812 4829900800 930313 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12010/tid=12017] ppid=12008 vsize=4716700 CPUtime=2350.69 cores=0-7
/proc/12010/task/12017/stat : 12017 (SArTagnan) R 12008 12010 11983 0 -1 4202560 280086 0 0 0 235007 62 0 0 18 0 8 0 788455812 4829900800 930313 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 19037.8
Current children cumulated vsize (KiB) 4716700

[startup+2385.4 s]
/proc/loadavg: 8.06 8.04 7.41 9/478 12091
/proc/meminfo: memFree=17923700/32951124 swapFree=67057928/67111528
[pid=12010] ppid=12008 vsize=4716700 CPUtime=19044.1 cores=0-7
/proc/12010/stat : 12010 (SArTagnan) R 12008 12010 11983 0 -1 4202496 12060006 0 0 0 1902486 1922 0 0 25 0 8 0 788455810 4829900800 931112 33554432000 4194304 4625164 140734332228448 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12010/statm: 1179175 931112 350 106 0 1174678 0
[pid=12010/tid=12011] ppid=12008 vsize=4716700 CPUtime=2385.24 cores=0-7
/proc/12010/task/12011/stat : 12011 (SArTagnan) R 12008 12010 11983 0 -1 4202560 273693 0 0 0 238456 68 0 0 18 0 8 0 788455812 4829900800 931112 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12010/tid=12012] ppid=12008 vsize=4716700 CPUtime=2385.12 cores=0-7
/proc/12010/task/12012/stat : 12012 (SArTagnan) R 12008 12010 11983 0 -1 4202560 131435 0 0 0 238484 28 0 0 17 0 8 0 788455812 4829900800 931112 33554432000 4194304 4625164 140734332228448 18446744073709551615 4352035 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12010/tid=12013] ppid=12008 vsize=4716700 CPUtime=2382.7 cores=0-7
/proc/12010/task/12013/stat : 12013 (SArTagnan) R 12008 12010 11983 0 -1 4202560 9870939 0 0 0 236800 1470 0 0 18 0 8 0 788455812 4829900800 931112 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12010/tid=12014] ppid=12008 vsize=4716700 CPUtime=2383.74 cores=0-7
/proc/12010/task/12014/stat : 12014 (SArTagnan) R 12008 12010 11983 0 -1 4202560 295269 0 0 0 238312 62 0 0 18 0 8 0 788455812 4829900800 931112 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12010/tid=12015] ppid=12008 vsize=4716700 CPUtime=2385.17 cores=0-7
/proc/12010/task/12015/stat : 12015 (SArTagnan) R 12008 12010 11983 0 -1 4202560 120826 0 0 0 238486 31 0 0 18 0 8 0 788455812 4829900800 931112 33554432000 4194304 4625164 140734332228448 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12010/tid=12016] ppid=12008 vsize=4716700 CPUtime=2385.25 cores=0-7
/proc/12010/task/12016/stat : 12016 (SArTagnan) R 12008 12010 11983 0 -1 4202560 259834 0 0 0 238465 60 0 0 19 0 8 0 788455812 4829900800 931112 33554432000 4194304 4625164 140734332228448 18446744073709551615 4352014 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12010/tid=12017] ppid=12008 vsize=4716700 CPUtime=2351.51 cores=0-7
/proc/12010/task/12017/stat : 12017 (SArTagnan) R 12008 12010 11983 0 -1 4202560 280086 0 0 0 235089 62 0 0 19 0 8 0 788455812 4829900800 931112 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351942 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 19044.1
Current children cumulated vsize (KiB) 4716700

[startup+2386.2 s]
/proc/loadavg: 8.06 8.04 7.41 9/478 12091
/proc/meminfo: memFree=17923700/32951124 swapFree=67057928/67111528
[pid=12010] ppid=12008 vsize=4716700 CPUtime=19050.4 cores=0-7
/proc/12010/stat : 12010 (SArTagnan) R 12008 12010 11983 0 -1 4202496 12063347 0 0 0 1903114 1923 0 0 25 0 8 0 788455810 4829900800 931065 33554432000 4194304 4625164 140734332228448 18446744073709551615 4390435 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12010/statm: 1179175 931065 349 106 0 1174678 0
[pid=12010/tid=12011] ppid=12008 vsize=4716700 CPUtime=2386.02 cores=0-7
/proc/12010/task/12011/stat : 12011 (SArTagnan) R 12008 12010 11983 0 -1 4202560 273693 0 0 0 238534 68 0 0 19 0 8 0 788455812 4829900800 931065 33554432000 4194304 4625164 140734332228448 18446744073709551615 4339646 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12010/tid=12012] ppid=12008 vsize=4716700 CPUtime=2385.9 cores=0-7
/proc/12010/task/12012/stat : 12012 (SArTagnan) R 12008 12010 11983 0 -1 4202560 131435 0 0 0 238562 28 0 0 18 0 8 0 788455812 4829900800 931065 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12010/tid=12013] ppid=12008 vsize=4716700 CPUtime=2383.48 cores=0-7
/proc/12010/task/12013/stat : 12013 (SArTagnan) R 12008 12010 11983 0 -1 4202560 9873970 0 0 0 236877 1471 0 0 19 0 8 0 788455812 4829900800 931065 33554432000 4194304 4625164 140734332228448 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12010/tid=12014] ppid=12008 vsize=4716700 CPUtime=2384.52 cores=0-7
/proc/12010/task/12014/stat : 12014 (SArTagnan) R 12008 12010 11983 0 -1 4202560 295269 0 0 0 238390 62 0 0 19 0 8 0 788455812 4829900800 931065 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351901 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12010/tid=12015] ppid=12008 vsize=4716700 CPUtime=2385.95 cores=0-7
/proc/12010/task/12015/stat : 12015 (SArTagnan) R 12008 12010 11983 0 -1 4202560 120826 0 0 0 238564 31 0 0 19 0 8 0 788455812 4829900800 931065 33554432000 4194304 4625164 140734332228448 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12010/tid=12016] ppid=12008 vsize=4716700 CPUtime=2386.03 cores=0-7
/proc/12010/task/12016/stat : 12016 (SArTagnan) R 12008 12010 11983 0 -1 4202560 259834 0 0 0 238543 60 0 0 20 0 8 0 788455812 4829900800 931065 33554432000 4194304 4625164 140734332228448 18446744073709551615 254261274948 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12010/tid=12017] ppid=12008 vsize=4716700 CPUtime=2352.29 cores=0-7
/proc/12010/task/12017/stat : 12017 (SArTagnan) R 12008 12010 11983 0 -1 4202560 280086 0 0 0 235167 62 0 0 20 0 8 0 788455812 4829900800 931065 33554432000 4194304 4625164 140734332228448 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 19050.4
Current children cumulated vsize (KiB) 4716700

[startup+2386.62 s]
/proc/loadavg: 8.06 8.04 7.41 9/478 12091
/proc/meminfo: memFree=17921716/32951124 swapFree=67057928/67111528
[pid=12010] ppid=12008 vsize=0 CPUtime=19053.1 cores=0-7
/proc/12010/stat : 12010 (SArTagnan) R 12008 12010 11983 0 -1 4203524 12063566 0 0 0 1903374 1932 0 0 25 0 1 0 788455810 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12010/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 19053.1
Current children cumulated vsize (KiB) 0

[startup+2386.7 s]
/proc/loadavg: 8.06 8.04 7.41 9/478 12091
/proc/meminfo: memFree=17921716/32951124 swapFree=67057928/67111528
[pid=12010] ppid=12008 vsize=0 CPUtime=19053.1 cores=0-7
/proc/12010/stat : 12010 (SArTagnan) R 12008 12010 11983 0 -1 4203524 12063566 0 0 0 1903374 1940 0 0 25 0 1 0 788455810 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12010/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 19053.1
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 2386.71
CPU time (s): 19053.1
CPU user time (s): 19033.7
CPU system time (s): 19.408
CPU usage (%): 798.303
Max. virtual memory (cumulated for all children) (KiB): 4728924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19033.7
system time used= 19.408
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12063566
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= 57430
involuntary context switches= 82135

runsolver used 10.4504 second user time and 26.8539 second system time

The end

Launcher Data 

Begin job on node140 at 2011-06-01 22:33:25
IDJOB=3439161
IDBENCH=83311
IDSOLVER=1936
FILE ID=node140/3439161-1306960405
RUNJOBID= node140-1306960405-11997
PBS_JOBID= 13497611
Free space on /tmp= 73552 MiB

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

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

MD5SUM BENCH= 4f7ff14ba0d33c4cf7de4e3c004f2f79
RANDOM SEED=2026352994

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21653720 kB
Buffers:        252604 kB
Cached:        3795332 kB
SwapCached:       6932 kB
Active:        7215152 kB
Inactive:      3746840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21653720 kB
SwapTotal:    67111528 kB
SwapFree:     67057928 kB
Dirty:             804 kB
Writeback:           4 kB
AnonPages:     6911928 kB
Mapped:          37520 kB
Slab:           213344 kB
PageTables:      52428 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 141375784 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= 73552 MiB
End job on node140 at 2011-06-01 23:13:12