Trace number 3439096

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)SAT 1018.43 127.604

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_399.cnf
MD5SUM693b5fe291cecff45feff3be98a908cf
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark8.19075
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of clauses21294
Sum of the clauses size93307
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2265
Number of clauses of size 319364
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51665

Solver Data 

1017.80/127.57	
1017.80/127.57	s SATISFIABLE
1017.80/127.57	
1017.80/127.57	v 1 2 3 4 5 6 -7 8 9 10 11 12 13 14 15 -16 -17 18 19 20 21 22 23 24 25 26 27 28 -29 30 31 32 -33 34 35 36 37 -38 39 40 41 42 43 44 -45 46 47 48 49 50 51 52 53 54 55 -56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 -76 77 78 79 80 81 82 83 -84 85 86 -87 88 89 90 -91 92 93 94 95 96 97 98 99 100 101 -102 103 104 105 106 107 108 -109 -110 111 112 113 114 -115 116 117 118 119 120 121 -122 123 124 -125 126 127 128 129 130 131 132 133 134 135 136 137 -138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 -155 -156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 -176 177 -178 179 180 181 182 183 -184 185 186 187 188 189 190 191 192 -193 194 195 196 197 198 199 200 0

Verifier Data 

OK

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-3439096-1306927994/watcher-3439096-1306927994 -o /tmp/evaluation-result-3439096-1306927994/solver-3439096-1306927994 -C 40000 -W 5100 -M 31000 SArTagnan HOME/instance-3439096-1306927994.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.06 8.02 3/430 22194
/proc/meminfo: memFree=25142228/32951124 swapFree=50923800/67111528
[pid=22194] ppid=22192 vsize=20992 CPUtime=0.01 cores=0-7
/proc/22194/stat : 22194 (SArTagnan) R 22192 22194 21985 0 -1 4202496 1377 0 0 0 1 0 0 0 25 0 1 0 785215056 21495808 931 33554432000 4194304 4625164 140735033240656 18446744073709551615 270338383616 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/22194/statm: 5248 932 296 106 0 751 0
[pid=22194/tid=22195] ppid=22192 vsize=88240 CPUtime=0 cores=0-7
/proc/22194/task/22195/stat : 22195 (SArTagnan) R 22192 22194 21985 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 7 0 785215058 90357760 2369 33554432000 4194304 4625164 140735033240656 18446744073709551615 270333415656 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22194/tid=22196] ppid=22192 vsize=88240 CPUtime=0 cores=0-7
/proc/22194/task/22196/stat : 22196 (SArTagnan) R 22192 22194 21985 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 7 0 785215058 90357760 2369 33554432000 4194304 4625164 140735033240656 18446744073709551615 270338440177 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22194/tid=22197] ppid=22192 vsize=88240 CPUtime=0 cores=0-7
/proc/22194/task/22197/stat : 22197 (SArTagnan) R 22192 22194 21985 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 7 0 785215058 90357760 2369 33554432000 4194304 4625164 140735033240656 18446744073709551615 270338440177 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22194/tid=22198] ppid=22192 vsize=88240 CPUtime=0 cores=0-7
/proc/22194/task/22198/stat : 22198 (SArTagnan) R 22192 22194 21985 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 7 0 785215058 90357760 2369 33554432000 4194304 4625164 140735033240656 18446744073709551615 270338440177 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22194/tid=22199] ppid=22192 vsize=88240 CPUtime=0 cores=0-7
/proc/22194/task/22199/stat : 22199 (SArTagnan) R 22192 22194 21985 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 7 0 785215058 90357760 2369 33554432000 4194304 4625164 140735033240656 18446744073709551615 270338440177 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22194/tid=22200] ppid=22192 vsize=88240 CPUtime=0 cores=0-7
/proc/22194/task/22200/stat : 22200 (SArTagnan) R 22192 22194 21985 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 7 0 785215058 90357760 2369 33554432000 4194304 4625164 140735033240656 18446744073709551615 270338440177 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.060581 s]
/proc/loadavg: 8.08 8.06 8.02 3/430 22194
/proc/meminfo: memFree=25142228/32951124 swapFree=50923800/67111528
[pid=22194] ppid=22192 vsize=370400 CPUtime=3.4 cores=0-7
/proc/22194/stat : 22194 (SArTagnan) R 22192 22194 21985 0 -1 4202496 12130 0 0 0 338 2 0 0 25 0 8 0 785215056 379289600 5755 33554432000 4194304 4625164 140735033240656 18446744073709551615 4512046 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22194/statm: 94043 7950 345 106 0 89546 0
[pid=22194/tid=22195] ppid=22192 vsize=376172 CPUtime=0.81 cores=0-7
/proc/22194/task/22195/stat : 22195 (SArTagnan) R 22192 22194 21985 0 -1 4202560 1114 0 0 0 81 0 0 0 19 0 8 0 785215058 385200128 7950 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351918 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22194/tid=22196] ppid=22192 vsize=376172 CPUtime=0.79 cores=0-7
/proc/22194/task/22196/stat : 22196 (SArTagnan) R 22192 22194 21985 0 -1 4202560 994 0 0 0 79 0 0 0 25 0 8 0 785215058 385200128 7950 33554432000 4194304 4625164 140735033240656 18446744073709551615 4353016 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22194/tid=22197] ppid=22192 vsize=376172 CPUtime=0.79 cores=0-7
/proc/22194/task/22197/stat : 22197 (SArTagnan) R 22192 22194 21985 0 -1 4202560 6362 0 0 0 78 1 0 0 19 0 8 0 785215058 385200128 7950 33554432000 4194304 4625164 140735033240656 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22194/tid=22198] ppid=22192 vsize=376172 CPUtime=0.79 cores=0-7
/proc/22194/task/22198/stat : 22198 (SArTagnan) R 22192 22194 21985 0 -1 4202560 1533 0 0 0 79 0 0 0 25 0 8 0 785215058 385200128 7950 33554432000 4194304 4625164 140735033240656 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22194/tid=22199] ppid=22192 vsize=376172 CPUtime=0.81 cores=0-7
/proc/22194/task/22199/stat : 22199 (SArTagnan) R 22192 22194 21985 0 -1 4202560 1031 0 0 0 81 0 0 0 18 0 8 0 785215058 385200128 7950 33554432000 4194304 4625164 140735033240656 18446744073709551615 4349138 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22194/tid=22200] ppid=22192 vsize=376172 CPUtime=0.81 cores=0-7
/proc/22194/task/22200/stat : 22200 (SArTagnan) R 22192 22194 21985 0 -1 4202560 1520 0 0 0 81 0 0 0 25 0 8 0 785215058 385200128 7950 33554432000 4194304 4625164 140735033240656 18446744073709551615 4352072 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 370400

[startup+0.936805 s]
/proc/loadavg: 8.08 8.06 8.02 3/430 22194
/proc/meminfo: memFree=25142228/32951124 swapFree=50923800/67111528
[pid=22194] ppid=22192 vsize=377300 CPUtime=7.31 cores=0-7
/proc/22194/stat : 22194 (SArTagnan) R 22192 22194 21985 0 -1 4202496 18831 0 0 0 728 3 0 0 25 0 8 0 785215056 386355200 8441 33554432000 4194304 4625164 140735033240656 18446744073709551615 4512066 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22194/statm: 94325 8441 347 106 0 89828 0
[pid=22194/tid=22195] ppid=22192 vsize=377300 CPUtime=0.91 cores=0-7
/proc/22194/task/22195/stat : 22195 (SArTagnan) R 22192 22194 21985 0 -1 4202560 1584 0 0 0 91 0 0 0 19 0 8 0 785215058 386355200 8441 33554432000 4194304 4625164 140735033240656 18446744073709551615 4352027 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22194/tid=22196] ppid=22192 vsize=377300 CPUtime=0.89 cores=0-7
/proc/22194/task/22196/stat : 22196 (SArTagnan) R 22192 22194 21985 0 -1 4202560 1014 0 0 0 89 0 0 0 25 0 8 0 785215058 386355200 8441 33554432000 4194304 4625164 140735033240656 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22194/tid=22197] ppid=22192 vsize=377300 CPUtime=0.89 cores=0-7
/proc/22194/task/22197/stat : 22197 (SArTagnan) R 22192 22194 21985 0 -1 4202560 6938 0 0 0 88 1 0 0 19 0 8 0 785215058 386355200 8441 33554432000 4194304 4625164 140735033240656 18446744073709551615 270338044961 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22194/tid=22198] ppid=22192 vsize=377300 CPUtime=0.89 cores=0-7
/proc/22194/task/22198/stat : 22198 (SArTagnan) R 22192 22194 21985 0 -1 4202560 1583 0 0 0 89 0 0 0 25 0 8 0 785215058 386355200 8441 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22194/tid=22199] ppid=22192 vsize=377300 CPUtime=0.91 cores=0-7
/proc/22194/task/22199/stat : 22199 (SArTagnan) R 22192 22194 21985 0 -1 4202560 1049 0 0 0 91 0 0 0 19 0 8 0 785215058 386355200 8441 33554432000 4194304 4625164 140735033240656 18446744073709551615 4350077 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22194/tid=22200] ppid=22192 vsize=377300 CPUtime=0.91 cores=0-7
/proc/22194/task/22200/stat : 22200 (SArTagnan) R 22192 22194 21985 0 -1 4202560 1550 0 0 0 91 0 0 0 25 0 8 0 785215058 386355200 8441 33554432000 4194304 4625164 140735033240656 18446744073709551615 4352005 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.31
Current children cumulated vsize (KiB) 377300

[startup+1.03679 s]
/proc/loadavg: 8.08 8.06 8.02 3/430 22194
/proc/meminfo: memFree=25142228/32951124 swapFree=50923800/67111528
[pid=22194] ppid=22192 vsize=378476 CPUtime=8.1 cores=0-7
/proc/22194/stat : 22194 (SArTagnan) R 22192 22194 21985 0 -1 4202496 20231 0 0 0 807 3 0 0 25 0 8 0 785215056 387559424 8909 33554432000 4194304 4625164 140735033240656 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22194/statm: 94619 8909 347 106 0 90122 0
[pid=22194/tid=22195] ppid=22192 vsize=378476 CPUtime=1.01 cores=0-7
/proc/22194/task/22195/stat : 22195 (SArTagnan) R 22192 22194 21985 0 -1 4202560 1627 0 0 0 101 0 0 0 19 0 8 0 785215058 387559424 8909 33554432000 4194304 4625164 140735033240656 18446744073709551615 4352170 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22194/tid=22196] ppid=22192 vsize=378476 CPUtime=0.99 cores=0-7
/proc/22194/task/22196/stat : 22196 (SArTagnan) R 22192 22194 21985 0 -1 4202560 1028 0 0 0 99 0 0 0 25 0 8 0 785215058 387559424 8909 33554432000 4194304 4625164 140735033240656 18446744073709551615 4353037 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22194/tid=22197] ppid=22192 vsize=378476 CPUtime=0.99 cores=0-7
/proc/22194/task/22197/stat : 22197 (SArTagnan) R 22192 22194 21985 0 -1 4202560 7733 0 0 0 98 1 0 0 19 0 8 0 785215058 387559424 8909 33554432000 4194304 4625164 140735033240656 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22194/tid=22198] ppid=22192 vsize=378476 CPUtime=0.99 cores=0-7
/proc/22194/task/22198/stat : 22198 (SArTagnan) R 22192 22194 21985 0 -1 4202560 1625 0 0 0 99 0 0 0 25 0 8 0 785215058 387559424 8909 33554432000 4194304 4625164 140735033240656 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22194/tid=22199] ppid=22192 vsize=378476 CPUtime=1.01 cores=0-7
/proc/22194/task/22199/stat : 22199 (SArTagnan) R 22192 22194 21985 0 -1 4202560 1509 0 0 0 101 0 0 0 19 0 8 0 785215058 387559424 8909 33554432000 4194304 4625164 140735033240656 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22194/tid=22200] ppid=22192 vsize=378476 CPUtime=1.01 cores=0-7
/proc/22194/task/22200/stat : 22200 (SArTagnan) R 22192 22194 21985 0 -1 4202560 1564 0 0 0 101 0 0 0 25 0 8 0 785215058 387559424 8909 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8.1
Current children cumulated vsize (KiB) 378476

[startup+1.13677 s]
/proc/loadavg: 8.08 8.06 8.02 3/430 22194
/proc/meminfo: memFree=25142228/32951124 swapFree=50923800/67111528
[pid=22194] ppid=22192 vsize=379836 CPUtime=8.91 cores=0-7
/proc/22194/stat : 22194 (SArTagnan) R 22192 22194 21985 0 -1 4202496 21439 0 0 0 887 4 0 0 25 0 8 0 785215056 388952064 9388 33554432000 4194304 4625164 140735033240656 18446744073709551615 4511982 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22194/statm: 94959 9388 348 106 0 90462 0
[pid=22194/tid=22195] ppid=22192 vsize=379836 CPUtime=1.11 cores=0-7
/proc/22194/task/22195/stat : 22195 (SArTagnan) R 22192 22194 21985 0 -1 4202560 1673 0 0 0 111 0 0 0 19 0 8 0 785215058 388952064 9388 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351801 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22194/tid=22196] ppid=22192 vsize=379836 CPUtime=1.09 cores=0-7
/proc/22194/task/22196/stat : 22196 (SArTagnan) R 22192 22194 21985 0 -1 4202560 1506 0 0 0 109 0 0 0 25 0 8 0 785215058 388952064 9388 33554432000 4194304 4625164 140735033240656 18446744073709551615 4352005 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22194/tid=22197] ppid=22192 vsize=379836 CPUtime=1.09 cores=0-7
/proc/22194/task/22197/stat : 22197 (SArTagnan) R 22192 22194 21985 0 -1 4202560 8151 0 0 0 108 1 0 0 19 0 8 0 785215058 388952064 9388 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22194/tid=22198] ppid=22192 vsize=379836 CPUtime=1.09 cores=0-7
/proc/22194/task/22198/stat : 22198 (SArTagnan) R 22192 22194 21985 0 -1 4202560 1686 0 0 0 109 0 0 0 25 0 8 0 785215058 388952064 9388 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22194/tid=22199] ppid=22192 vsize=379836 CPUtime=1.11 cores=0-7
/proc/22194/task/22199/stat : 22199 (SArTagnan) R 22192 22194 21985 0 -1 4202560 1578 0 0 0 111 0 0 0 19 0 8 0 785215058 388952064 9388 33554432000 4194304 4625164 140735033240656 18446744073709551615 4349210 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22194/tid=22200] ppid=22192 vsize=379836 CPUtime=1.11 cores=0-7
/proc/22194/task/22200/stat : 22200 (SArTagnan) R 22192 22194 21985 0 -1 4202560 1615 0 0 0 111 0 0 0 25 0 8 0 785215058 388952064 9388 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8.91
Current children cumulated vsize (KiB) 379836

[startup+1.5007 s]
/proc/loadavg: 8.08 8.06 8.02 3/430 22194
/proc/meminfo: memFree=25142228/32951124 swapFree=50923800/67111528
[pid=22194] ppid=22192 vsize=379368 CPUtime=11.81 cores=0-7
/proc/22194/stat : 22194 (SArTagnan) R 22192 22194 21985 0 -1 4202496 26325 0 0 0 1177 4 0 0 25 0 8 0 785215056 388472832 11045 33554432000 4194304 4625164 140735033240656 18446744073709551615 4511874 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22194/statm: 94842 11045 348 106 0 90345 0
[pid=22194/tid=22195] ppid=22192 vsize=379368 CPUtime=1.48 cores=0-7
/proc/22194/task/22195/stat : 22195 (SArTagnan) R 22192 22194 21985 0 -1 4202560 1933 0 0 0 148 0 0 0 20 0 8 0 785215058 388472832 11045 33554432000 4194304 4625164 140735033240656 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22194/tid=22196] ppid=22192 vsize=379368 CPUtime=1.45 cores=0-7
/proc/22194/task/22196/stat : 22196 (SArTagnan) R 22192 22194 21985 0 -1 4202560 1637 0 0 0 145 0 0 0 25 0 8 0 785215058 388472832 11045 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351942 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22194/tid=22197] ppid=22192 vsize=379368 CPUtime=1.46 cores=0-7
/proc/22194/task/22197/stat : 22197 (SArTagnan) R 22192 22194 21985 0 -1 4202560 10860 0 0 0 144 2 0 0 20 0 8 0 785215058 388472832 11045 33554432000 4194304 4625164 140735033240656 18446744073709551615 4339616 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22194/tid=22198] ppid=22192 vsize=379368 CPUtime=1.46 cores=0-7
/proc/22194/task/22198/stat : 22198 (SArTagnan) R 22192 22194 21985 0 -1 4202560 2562 0 0 0 146 0 0 0 25 0 8 0 785215058 388472832 11045 33554432000 4194304 4625164 140735033240656 18446744073709551615 4352053 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22194/tid=22199] ppid=22192 vsize=379368 CPUtime=1.47 cores=0-7
/proc/22194/task/22199/stat : 22199 (SArTagnan) R 22192 22194 21985 0 -1 4202560 1793 0 0 0 147 0 0 0 19 0 8 0 785215058 388472832 11045 33554432000 4194304 4625164 140735033240656 18446744073709551615 4350603 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22194/tid=22200] ppid=22192 vsize=379368 CPUtime=1.47 cores=0-7
/proc/22194/task/22200/stat : 22200 (SArTagnan) R 22192 22194 21985 0 -1 4202560 1938 0 0 0 147 0 0 0 25 0 8 0 785215058 388472832 11045 33554432000 4194304 4625164 140735033240656 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.81
Current children cumulated vsize (KiB) 379368

[startup+3.10038 s]
/proc/loadavg: 8.15 8.08 8.02 9/438 22202
/proc/meminfo: memFree=25071752/32951124 swapFree=50923800/67111528
[pid=22194] ppid=22192 vsize=392908 CPUtime=24.58 cores=0-7
/proc/22194/stat : 22194 (SArTagnan) R 22192 22194 21985 0 -1 4202496 45218 0 0 0 2451 7 0 0 25 0 8 0 785215056 402337792 17468 33554432000 4194304 4625164 140735033240656 18446744073709551615 4519334 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22194/statm: 98227 17468 350 106 0 93730 0
[pid=22194/tid=22195] ppid=22192 vsize=392908 CPUtime=3.07 cores=0-7
/proc/22194/task/22195/stat : 22195 (SArTagnan) R 22192 22194 21985 0 -1 4202560 4008 0 0 0 307 0 0 0 25 0 8 0 785215058 402337792 17468 33554432000 4194304 4625164 140735033240656 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22194/tid=22196] ppid=22192 vsize=392908 CPUtime=3.04 cores=0-7
/proc/22194/task/22196/stat : 22196 (SArTagnan) R 22192 22194 21985 0 -1 4202560 2570 0 0 0 304 0 0 0 25 0 8 0 785215058 402337792 17468 33554432000 4194304 4625164 140735033240656 18446744073709551615 4352170 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22194/tid=22197] ppid=22192 vsize=392908 CPUtime=3.04 cores=0-7
/proc/22194/task/22197/stat : 22197 (SArTagnan) R 22192 22194 21985 0 -1 4202560 19501 0 0 0 301 3 0 0 25 0 8 0 785215058 402337792 17468 33554432000 4194304 4625164 140735033240656 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22194/tid=22198] ppid=22192 vsize=392908 CPUtime=3.05 cores=0-7
/proc/22194/task/22198/stat : 22198 (SArTagnan) R 22192 22194 21985 0 -1 4202560 4015 0 0 0 305 0 0 0 25 0 8 0 785215058 402337792 17468 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22194/tid=22199] ppid=22192 vsize=392908 CPUtime=3.07 cores=0-7
/proc/22194/task/22199/stat : 22199 (SArTagnan) R 22192 22194 21985 0 -1 4202560 2862 0 0 0 307 0 0 0 25 0 8 0 785215058 402337792 17468 33554432000 4194304 4625164 140735033240656 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22194/tid=22200] ppid=22192 vsize=392908 CPUtime=3.07 cores=0-7
/proc/22194/task/22200/stat : 22200 (SArTagnan) R 22192 22194 21985 0 -1 4202560 3955 0 0 0 307 0 0 0 25 0 8 0 785215058 402337792 17468 33554432000 4194304 4625164 140735033240656 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22194/tid=22202] ppid=22192 vsize=392908 CPUtime=3.07 cores=0-7
/proc/22194/task/22202/stat : 22202 (SArTagnan) R 22192 22194 21985 0 -1 4202560 3948 0 0 0 307 0 0 0 25 0 8 0 785215058 402337792 17468 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.58
Current children cumulated vsize (KiB) 392908

[startup+6.31674 s]
/proc/loadavg: 8.22 8.10 8.03 9/438 22202
/proc/meminfo: memFree=25029724/32951124 swapFree=50923800/67111528
[pid=22194] ppid=22192 vsize=410528 CPUtime=50.26 cores=0-7
/proc/22194/stat : 22194 (SArTagnan) R 22192 22194 21985 0 -1 4202496 70887 0 0 0 5016 10 0 0 25 0 8 0 785215056 420380672 28659 33554432000 4194304 4625164 140735033240656 18446744073709551615 4519334 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22194/statm: 102632 28659 412 106 0 98135 0
[pid=22194/tid=22195] ppid=22192 vsize=410528 CPUtime=6.29 cores=0-7
/proc/22194/task/22195/stat : 22195 (SArTagnan) R 22192 22194 21985 0 -1 4202560 6338 0 0 0 629 0 0 0 25 0 8 0 785215058 420380672 28659 33554432000 4194304 4625164 140735033240656 18446744073709551615 4464202 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22194/tid=22196] ppid=22192 vsize=410528 CPUtime=6.21 cores=0-7
/proc/22194/task/22196/stat : 22196 (SArTagnan) R 22192 22194 21985 0 -1 4202560 4367 0 0 0 620 1 0 0 25 0 8 0 785215058 420380672 28659 33554432000 4194304 4625164 140735033240656 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22194/tid=22197] ppid=22192 vsize=410528 CPUtime=6.25 cores=0-7
/proc/22194/task/22197/stat : 22197 (SArTagnan) R 22192 22194 21985 0 -1 4202560 33019 0 0 0 621 4 0 0 25 0 8 0 785215058 420380672 28659 33554432000 4194304 4625164 140735033240656 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22194/tid=22198] ppid=22192 vsize=410528 CPUtime=6.28 cores=0-7
/proc/22194/task/22198/stat : 22198 (SArTagnan) R 22192 22194 21985 0 -1 4202560 6418 0 0 0 627 1 0 0 25 0 8 0 785215058 420380672 28659 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22194/tid=22199] ppid=22192 vsize=410528 CPUtime=6.28 cores=0-7
/proc/22194/task/22199/stat : 22199 (SArTagnan) R 22192 22194 21985 0 -1 4202560 4667 0 0 0 628 0 0 0 25 0 8 0 785215058 420380672 28659 33554432000 4194304 4625164 140735033240656 18446744073709551615 4348804 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22194/tid=22200] ppid=22192 vsize=410528 CPUtime=6.29 cores=0-7
/proc/22194/task/22200/stat : 22200 (SArTagnan) R 22192 22194 21985 0 -1 4202560 4817 0 0 0 628 1 0 0 25 0 8 0 785215058 420380672 28659 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22194/tid=22202] ppid=22192 vsize=410528 CPUtime=6.28 cores=0-7
/proc/22194/task/22202/stat : 22202 (SArTagnan) R 22192 22194 21985 0 -1 4202560 6282 0 0 0 628 0 0 0 25 0 8 0 785215058 420380672 28659 33554432000 4194304 4625164 140735033240656 18446744073709551615 4465017 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.26
Current children cumulated vsize (KiB) 410528

[startup+12.7005 s]
/proc/loadavg: 8.20 8.09 8.03 9/438 22203
/proc/meminfo: memFree=24989564/32951124 swapFree=50923800/67111528
[pid=22194] ppid=22192 vsize=436300 CPUtime=101.24 cores=0-7
/proc/22194/stat : 22194 (SArTagnan) R 22192 22194 21985 0 -1 4202496 115772 0 0 0 10106 18 0 0 25 0 8 0 785215056 446771200 40181 33554432000 4194304 4625164 140735033240656 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22194/statm: 109075 40181 348 106 0 104578 0
[pid=22194/tid=22195] ppid=22192 vsize=436300 CPUtime=12.67 cores=0-7
/proc/22194/task/22195/stat : 22195 (SArTagnan) R 22192 22194 21985 0 -1 4202560 9929 0 0 0 1266 1 0 0 25 0 8 0 785215058 446771200 40181 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22194/tid=22196] ppid=22192 vsize=436300 CPUtime=12.51 cores=0-7

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

/proc/loadavg: 8.08 8.08 8.02 9/438 22205
/proc/meminfo: memFree=24686960/32951124 swapFree=50923800/67111528
[pid=22194] ppid=22192 vsize=691972 CPUtime=823.13 cores=0-7
/proc/22194/stat : 22194 (SArTagnan) R 22192 22194 21985 0 -1 4202496 455477 0 0 0 82232 81 0 0 25 0 8 0 785215056 708579328 114518 33554432000 4194304 4625164 140735033240656 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22194/statm: 172993 114518 499 106 0 168496 0
[pid=22194/tid=22195] ppid=22192 vsize=691972 CPUtime=103.09 cores=0-7
/proc/22194/task/22195/stat : 22195 (SArTagnan) R 22192 22194 21985 0 -1 4202560 35103 0 0 0 10303 6 0 0 25 0 8 0 785215058 708579328 114518 33554432000 4194304 4625164 140735033240656 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22194/tid=22196] ppid=22192 vsize=691972 CPUtime=101.6 cores=0-7
/proc/22194/task/22196/stat : 22196 (SArTagnan) R 22192 22194 21985 0 -1 4202560 24773 0 0 0 10155 5 0 0 25 0 8 0 785215058 708579328 114518 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22194/tid=22197] ppid=22192 vsize=691972 CPUtime=103.06 cores=0-7
/proc/22194/task/22197/stat : 22197 (SArTagnan) R 22192 22194 21985 0 -1 4202560 283418 0 0 0 10259 47 0 0 25 0 8 0 785215058 708579328 114518 33554432000 4194304 4625164 140735033240656 18446744073709551615 4335282 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22194/tid=22198] ppid=22192 vsize=691972 CPUtime=103.05 cores=0-7
/proc/22194/task/22198/stat : 22198 (SArTagnan) R 22192 22194 21985 0 -1 4202560 32958 0 0 0 10300 5 0 0 25 0 8 0 785215058 708579328 114518 33554432000 4194304 4625164 140735033240656 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22194/tid=22199] ppid=22192 vsize=691972 CPUtime=103.07 cores=0-7
/proc/22194/task/22199/stat : 22199 (SArTagnan) R 22192 22194 21985 0 -1 4202560 24292 0 0 0 10303 4 0 0 25 0 8 0 785215058 708579328 114518 33554432000 4194304 4625164 140735033240656 18446744073709551615 4349320 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22194/tid=22200] ppid=22192 vsize=691972 CPUtime=103.03 cores=0-7
/proc/22194/task/22200/stat : 22200 (SArTagnan) R 22192 22194 21985 0 -1 4202560 21176 0 0 0 10298 5 0 0 25 0 8 0 785215058 708579328 114518 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22194/tid=22202] ppid=22192 vsize=691972 CPUtime=103.05 cores=0-7
/proc/22194/task/22202/stat : 22202 (SArTagnan) R 22192 22194 21985 0 -1 4202560 21857 0 0 0 10302 3 0 0 25 0 8 0 785215058 708579328 114518 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 823.13
Current children cumulated vsize (KiB) 691972

[startup+115.901 s]
/proc/loadavg: 8.07 8.08 8.02 9/438 22205
/proc/meminfo: memFree=24662780/32951124 swapFree=50923800/67111528
[pid=22194] ppid=22192 vsize=694552 CPUtime=925.22 cores=0-7
/proc/22194/stat : 22194 (SArTagnan) R 22192 22194 21985 0 -1 4202496 479403 0 0 0 92435 87 0 0 25 0 8 0 785215056 711221248 120814 33554432000 4194304 4625164 140735033240656 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22194/statm: 173638 120838 443 106 0 169141 0
[pid=22194/tid=22195] ppid=22192 vsize=694552 CPUtime=115.87 cores=0-7
/proc/22194/task/22195/stat : 22195 (SArTagnan) R 22192 22194 21985 0 -1 4202560 36585 0 0 0 11580 7 0 0 25 0 8 0 785215058 711221248 120850 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22194/tid=22196] ppid=22192 vsize=694552 CPUtime=114.21 cores=0-7
/proc/22194/task/22196/stat : 22196 (SArTagnan) R 22192 22194 21985 0 -1 4202560 25843 0 0 0 11416 5 0 0 25 0 8 0 785215058 711221248 120865 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22194/tid=22197] ppid=22192 vsize=694552 CPUtime=115.84 cores=0-7
/proc/22194/task/22197/stat : 22197 (SArTagnan) R 22192 22194 21985 0 -1 4202560 302842 0 0 0 11534 50 0 0 25 0 8 0 785215058 711221248 120878 33554432000 4194304 4625164 140735033240656 18446744073709551615 270338081155 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22194/tid=22198] ppid=22192 vsize=694552 CPUtime=115.84 cores=0-7
/proc/22194/task/22198/stat : 22198 (SArTagnan) R 22192 22194 21985 0 -1 4202560 33722 0 0 0 11578 6 0 0 25 0 8 0 785215058 711221248 120889 33554432000 4194304 4625164 140735033240656 18446744073709551615 4352002 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22194/tid=22199] ppid=22192 vsize=694552 CPUtime=115.87 cores=0-7
/proc/22194/task/22199/stat : 22199 (SArTagnan) R 22192 22194 21985 0 -1 4202560 25208 0 0 0 11582 5 0 0 25 0 8 0 785215058 711221248 120901 33554432000 4194304 4625164 140735033240656 18446744073709551615 4348864 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22194/tid=22200] ppid=22192 vsize=694552 CPUtime=115.8 cores=0-7
/proc/22194/task/22200/stat : 22200 (SArTagnan) R 22192 22194 21985 0 -1 4202560 21329 0 0 0 11575 5 0 0 25 0 8 0 785215058 711221248 120912 33554432000 4194304 4625164 140735033240656 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22194/tid=22202] ppid=22192 vsize=694552 CPUtime=115.83 cores=0-7
/proc/22194/task/22202/stat : 22202 (SArTagnan) R 22192 22194 21985 0 -1 4202560 21940 0 0 0 11580 3 0 0 25 0 8 0 785215058 711221248 120924 33554432000 4194304 4625164 140735033240656 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 925.22
Current children cumulated vsize (KiB) 694552

[startup+122.301 s]
/proc/loadavg: 8.13 8.09 8.03 9/438 22205
/proc/meminfo: memFree=24653596/32951124 swapFree=50923800/67111528
[pid=22194] ppid=22192 vsize=718852 CPUtime=976.29 cores=0-7
/proc/22194/stat : 22194 (SArTagnan) R 22192 22194 21985 0 -1 4202496 503516 0 0 0 97538 91 0 0 25 0 8 0 785215056 736104448 122890 33554432000 4194304 4625164 140735033240656 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22194/statm: 179713 122890 443 106 0 175216 0
[pid=22194/tid=22195] ppid=22192 vsize=718852 CPUtime=122.26 cores=0-7
/proc/22194/task/22195/stat : 22195 (SArTagnan) R 22192 22194 21985 0 -1 4202560 49177 0 0 0 12218 8 0 0 25 0 8 0 785215058 736104448 122890 33554432000 4194304 4625164 140735033240656 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22194/tid=22196] ppid=22192 vsize=718852 CPUtime=120.5 cores=0-7
/proc/22194/task/22196/stat : 22196 (SArTagnan) R 22192 22194 21985 0 -1 4202560 25954 0 0 0 12045 5 0 0 25 0 8 0 785215058 736104448 122890 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22194/tid=22197] ppid=22192 vsize=718852 CPUtime=122.24 cores=0-7
/proc/22194/task/22197/stat : 22197 (SArTagnan) R 22192 22194 21985 0 -1 4202560 313736 0 0 0 12172 52 0 0 25 0 8 0 785215058 736104448 122890 33554432000 4194304 4625164 140735033240656 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22194/tid=22198] ppid=22192 vsize=718852 CPUtime=122.24 cores=0-7
/proc/22194/task/22198/stat : 22198 (SArTagnan) R 22192 22194 21985 0 -1 4202560 34004 0 0 0 12218 6 0 0 25 0 8 0 785215058 736104448 122890 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22194/tid=22199] ppid=22192 vsize=718852 CPUtime=122.26 cores=0-7
/proc/22194/task/22199/stat : 22199 (SArTagnan) R 22192 22194 21985 0 -1 4202560 25267 0 0 0 12221 5 0 0 25 0 8 0 785215058 736104448 122890 33554432000 4194304 4625164 140735033240656 18446744073709551615 4349061 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22194/tid=22200] ppid=22192 vsize=718852 CPUtime=122.2 cores=0-7
/proc/22194/task/22200/stat : 22200 (SArTagnan) R 22192 22194 21985 0 -1 4202560 21329 0 0 0 12215 5 0 0 25 0 8 0 785215058 736104448 122890 33554432000 4194304 4625164 140735033240656 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22194/tid=22202] ppid=22192 vsize=718852 CPUtime=122.22 cores=0-7
/proc/22194/task/22202/stat : 22202 (SArTagnan) R 22192 22194 21985 0 -1 4202560 21963 0 0 0 12219 3 0 0 25 0 8 0 785215058 736104448 122890 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351897 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 976.29
Current children cumulated vsize (KiB) 718852

[startup+125.501 s]
/proc/loadavg: 8.13 8.09 8.03 9/438 22205
/proc/meminfo: memFree=24651984/32951124 swapFree=50923800/67111528
[pid=22194] ppid=22192 vsize=718852 CPUtime=1001.84 cores=0-7
/proc/22194/stat : 22194 (SArTagnan) R 22192 22194 21985 0 -1 4202496 516700 0 0 0 100091 93 0 0 25 0 8 0 785215056 736104448 123108 33554432000 4194304 4625164 140735033240656 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22194/statm: 179713 123108 443 106 0 175216 0
[pid=22194/tid=22195] ppid=22192 vsize=718852 CPUtime=125.46 cores=0-7
/proc/22194/task/22195/stat : 22195 (SArTagnan) R 22192 22194 21985 0 -1 4202560 49184 0 0 0 12538 8 0 0 25 0 8 0 785215058 736104448 123108 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22194/tid=22196] ppid=22192 vsize=718852 CPUtime=123.65 cores=0-7
/proc/22194/task/22196/stat : 22196 (SArTagnan) R 22192 22194 21985 0 -1 4202560 25954 0 0 0 12360 5 0 0 25 0 8 0 785215058 736104448 123108 33554432000 4194304 4625164 140735033240656 18446744073709551615 4352170 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22194/tid=22197] ppid=22192 vsize=718852 CPUtime=125.44 cores=0-7
/proc/22194/task/22197/stat : 22197 (SArTagnan) R 22192 22194 21985 0 -1 4202560 326687 0 0 0 12490 54 0 0 25 0 8 0 785215058 736104448 123108 33554432000 4194304 4625164 140735033240656 18446744073709551615 4352035 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22194/tid=22198] ppid=22192 vsize=718852 CPUtime=125.43 cores=0-7
/proc/22194/task/22198/stat : 22198 (SArTagnan) R 22192 22194 21985 0 -1 4202560 34052 0 0 0 12537 6 0 0 25 0 8 0 785215058 736104448 123108 33554432000 4194304 4625164 140735033240656 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22194/tid=22199] ppid=22192 vsize=718852 CPUtime=125.46 cores=0-7
/proc/22194/task/22199/stat : 22199 (SArTagnan) R 22192 22194 21985 0 -1 4202560 25268 0 0 0 12541 5 0 0 25 0 8 0 785215058 736104448 123108 33554432000 4194304 4625164 140735033240656 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22194/tid=22200] ppid=22192 vsize=718852 CPUtime=125.4 cores=0-7
/proc/22194/task/22200/stat : 22200 (SArTagnan) R 22192 22194 21985 0 -1 4202560 21329 0 0 0 12535 5 0 0 25 0 8 0 785215058 736104448 123108 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22194/tid=22202] ppid=22192 vsize=718852 CPUtime=125.42 cores=0-7
/proc/22194/task/22202/stat : 22202 (SArTagnan) R 22192 22194 21985 0 -1 4202560 21963 0 0 0 12539 3 0 0 25 0 8 0 785215058 736104448 123108 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1001.84
Current children cumulated vsize (KiB) 718852

[startup+126.301 s]
/proc/loadavg: 8.12 8.09 8.03 9/438 22205
/proc/meminfo: memFree=24651240/32951124 swapFree=50923800/67111528
[pid=22194] ppid=22192 vsize=718852 CPUtime=1008.22 cores=0-7
/proc/22194/stat : 22194 (SArTagnan) R 22192 22194 21985 0 -1 4202496 517064 0 0 0 100729 93 0 0 25 0 8 0 785215056 736104448 123467 33554432000 4194304 4625164 140735033240656 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22194/statm: 179713 123467 443 106 0 175216 0
[pid=22194/tid=22195] ppid=22192 vsize=718852 CPUtime=126.26 cores=0-7
/proc/22194/task/22195/stat : 22195 (SArTagnan) R 22192 22194 21985 0 -1 4202560 49184 0 0 0 12618 8 0 0 25 0 8 0 785215058 736104448 123467 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22194/tid=22196] ppid=22192 vsize=718852 CPUtime=124.43 cores=0-7
/proc/22194/task/22196/stat : 22196 (SArTagnan) R 22192 22194 21985 0 -1 4202560 25954 0 0 0 12438 5 0 0 25 0 8 0 785215058 736104448 123467 33554432000 4194304 4625164 140735033240656 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22194/tid=22197] ppid=22192 vsize=718852 CPUtime=126.24 cores=0-7
/proc/22194/task/22197/stat : 22197 (SArTagnan) R 22192 22194 21985 0 -1 4202560 326687 0 0 0 12570 54 0 0 25 0 8 0 785215058 736104448 123467 33554432000 4194304 4625164 140735033240656 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22194/tid=22198] ppid=22192 vsize=718852 CPUtime=126.23 cores=0-7
/proc/22194/task/22198/stat : 22198 (SArTagnan) R 22192 22194 21985 0 -1 4202560 34275 0 0 0 12617 6 0 0 25 0 8 0 785215058 736104448 123467 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22194/tid=22199] ppid=22192 vsize=718852 CPUtime=126.26 cores=0-7
/proc/22194/task/22199/stat : 22199 (SArTagnan) R 22192 22194 21985 0 -1 4202560 25320 0 0 0 12621 5 0 0 25 0 8 0 785215058 736104448 123467 33554432000 4194304 4625164 140735033240656 18446744073709551615 4348864 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22194/tid=22200] ppid=22192 vsize=718852 CPUtime=126.2 cores=0-7
/proc/22194/task/22200/stat : 22200 (SArTagnan) R 22192 22194 21985 0 -1 4202560 21329 0 0 0 12615 5 0 0 25 0 8 0 785215058 736104448 123467 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22194/tid=22202] ppid=22192 vsize=718852 CPUtime=126.22 cores=0-7
/proc/22194/task/22202/stat : 22202 (SArTagnan) R 22192 22194 21985 0 -1 4202560 21975 0 0 0 12619 3 0 0 25 0 8 0 785215058 736104448 123467 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1008.22
Current children cumulated vsize (KiB) 718852

[startup+127.101 s]
/proc/loadavg: 8.12 8.09 8.03 9/438 22205
/proc/meminfo: memFree=24651240/32951124 swapFree=50923800/67111528
[pid=22194] ppid=22192 vsize=733784 CPUtime=1014.62 cores=0-7
/proc/22194/stat : 22194 (SArTagnan) R 22192 22194 21985 0 -1 4202496 528702 0 0 0 101367 95 0 0 25 0 8 0 785215056 751394816 124747 33554432000 4194304 4625164 140735033240656 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22194/statm: 183446 124747 443 106 0 178949 0
[pid=22194/tid=22195] ppid=22192 vsize=733784 CPUtime=127.06 cores=0-7
/proc/22194/task/22195/stat : 22195 (SArTagnan) R 22192 22194 21985 0 -1 4202560 49184 0 0 0 12698 8 0 0 25 0 8 0 785215058 751394816 124747 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22194/tid=22196] ppid=22192 vsize=733784 CPUtime=125.23 cores=0-7
/proc/22194/task/22196/stat : 22196 (SArTagnan) R 22192 22194 21985 0 -1 4202560 25954 0 0 0 12518 5 0 0 25 0 8 0 785215058 751394816 124747 33554432000 4194304 4625164 140735033240656 18446744073709551615 4462569 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22194/tid=22197] ppid=22192 vsize=733784 CPUtime=127.03 cores=0-7
/proc/22194/task/22197/stat : 22197 (SArTagnan) R 22192 22194 21985 0 -1 4202560 329785 0 0 0 12649 54 0 0 25 0 8 0 785215058 751394816 124747 33554432000 4194304 4625164 140735033240656 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22194/tid=22198] ppid=22192 vsize=733784 CPUtime=127.03 cores=0-7
/proc/22194/task/22198/stat : 22198 (SArTagnan) R 22192 22194 21985 0 -1 4202560 34562 0 0 0 12697 6 0 0 25 0 8 0 785215058 751394816 124747 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22194/tid=22199] ppid=22192 vsize=733784 CPUtime=127.06 cores=0-7
/proc/22194/task/22199/stat : 22199 (SArTagnan) R 22192 22194 21985 0 -1 4202560 33494 0 0 0 12700 6 0 0 25 0 8 0 785215058 751394816 124747 33554432000 4194304 4625164 140735033240656 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22194/tid=22200] ppid=22192 vsize=733784 CPUtime=127 cores=0-7
/proc/22194/task/22200/stat : 22200 (SArTagnan) R 22192 22194 21985 0 -1 4202560 21344 0 0 0 12695 5 0 0 25 0 8 0 785215058 751394816 124747 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22194/tid=22202] ppid=22192 vsize=733784 CPUtime=127.02 cores=0-7
/proc/22194/task/22202/stat : 22202 (SArTagnan) R 22192 22194 21985 0 -1 4202560 21998 0 0 0 12699 3 0 0 25 0 8 0 785215058 751394816 124747 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1014.62
Current children cumulated vsize (KiB) 733784

[startup+127.501 s]
/proc/loadavg: 8.12 8.09 8.03 9/438 22206
/proc/meminfo: memFree=24645164/32951124 swapFree=50923800/67111528
[pid=22194] ppid=22192 vsize=733784 CPUtime=1017.8 cores=0-7
/proc/22194/stat : 22194 (SArTagnan) R 22192 22194 21985 0 -1 4202496 531863 0 0 0 101685 95 0 0 25 0 8 0 785215056 751394816 126287 33554432000 4194304 4625164 140735033240656 18446744073709551615 4512066 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22194/statm: 183446 126287 503 106 0 178949 0
[pid=22194/tid=22195] ppid=22192 vsize=733784 CPUtime=127.46 cores=0-7
/proc/22194/task/22195/stat : 22195 (SArTagnan) R 22192 22194 21985 0 -1 4202560 49332 0 0 0 12738 8 0 0 25 0 8 0 785215058 751394816 126287 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22194/tid=22196] ppid=22192 vsize=733784 CPUtime=125.62 cores=0-7
/proc/22194/task/22196/stat : 22196 (SArTagnan) R 22192 22194 21985 0 -1 4202560 25954 0 0 0 12557 5 0 0 25 0 8 0 785215058 751394816 126287 33554432000 4194304 4625164 140735033240656 18446744073709551615 4351827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22194/tid=22197] ppid=22192 vsize=733784 CPUtime=127.44 cores=0-7
/proc/22194/task/22197/stat : 22197 (SArTagnan) R 22192 22194 21985 0 -1 4202560 331251 0 0 0 12689 55 0 0 25 0 8 0 785215058 751394816 126287 33554432000 4194304 4625164 140735033240656 18446744073709551615 4328317 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22194/tid=22198] ppid=22192 vsize=733784 CPUtime=127.43 cores=0-7
/proc/22194/task/22198/stat : 22198 (SArTagnan) R 22192 22194 21985 0 -1 4202560 34627 0 0 0 12737 6 0 0 25 0 8 0 785215058 751394816 126287 33554432000 4194304 4625164 140735033240656 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22194/tid=22199] ppid=22192 vsize=733784 CPUtime=127.46 cores=0-7
/proc/22194/task/22199/stat : 22199 (SArTagnan) R 22192 22194 21985 0 -1 4202560 33497 0 0 0 12740 6 0 0 25 0 8 0 785215058 751394816 126287 33554432000 4194304 4625164 140735033240656 18446744073709551615 4330341 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22194/tid=22200] ppid=22192 vsize=733784 CPUtime=127.4 cores=0-7
/proc/22194/task/22200/stat : 22200 (SArTagnan) R 22192 22194 21985 0 -1 4202560 21344 0 0 0 12735 5 0 0 25 0 8 0 785215058 751394816 126287 33554432000 4194304 4625164 140735033240656 18446744073709551615 4352776 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22194/tid=22202] ppid=22192 vsize=733784 CPUtime=127.42 cores=0-7
/proc/22194/task/22202/stat : 22202 (SArTagnan) R 22192 22194 21985 0 -1 4202560 22007 0 0 0 12739 3 0 0 25 0 8 0 785215058 751394816 126287 33554432000 4194304 4625164 140735033240656 18446744073709551615 4464328 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1017.8
Current children cumulated vsize (KiB) 733784

[startup+127.601 s]
/proc/loadavg: 8.12 8.09 8.03 9/438 22206
/proc/meminfo: memFree=24645164/32951124 swapFree=50923800/67111528
[pid=22194] ppid=22192 vsize=0 CPUtime=1018.42 cores=0-7
/proc/22194/stat : 22194 (SArTagnan) Z 22192 22194 21985 0 -1 4203548 532409 0 0 0 101744 98 0 0 25 0 2 0 785215056 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22194/statm: 0 0 0 0 0 0 0
[pid=22194/tid=22200] ppid=22192 vsize=0 CPUtime=127.5 cores=0-7
/proc/22194/task/22200/stat : 22200 (SArTagnan) R 22192 22194 21985 0 -1 4203588 21344 0 0 0 12742 8 0 0 25 0 2 0 785215058 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1018.42
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 127.604
CPU time (s): 1018.43
CPU user time (s): 1017.44
CPU system time (s): 0.988849
CPU usage (%): 798.117
Max. virtual memory (cumulated for all children) (KiB): 733784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1017.44
system time used= 0.988849
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 532409
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= 5460
involuntary context switches= 4310

runsolver used 0.573912 second user time and 1.2838 second system time

The end

Launcher Data 

Begin job on node143 at 2011-06-01 13:33:14
IDJOB=3439096
IDBENCH=83264
IDSOLVER=1936
FILE ID=node143/3439096-1306927994
RUNJOBID= node143-1306922982-21999
PBS_JOBID= 13488554
Free space on /tmp= 73880 MiB

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

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

MD5SUM BENCH= 693b5fe291cecff45feff3be98a908cf
RANDOM SEED=408217456

node143.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25142632 kB
Buffers:        163524 kB
Cached:         163868 kB
SwapCached:       9140 kB
Active:        7304280 kB
Inactive:       231776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25142632 kB
SwapTotal:    67111528 kB
SwapFree:     50923800 kB
Dirty:             804 kB
Writeback:           0 kB
AnonPages:     7206012 kB
Mapped:          21256 kB
Slab:           121660 kB
PageTables:      79884 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 115657048 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= 73880 MiB
End job on node143 at 2011-06-01 13:35:22