Trace number 3439171

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 32863.3 4116.38

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_462.cnf
MD5SUM4975f32607352c0a4d9db1abea12627a
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark4.43033
Satisfiable
(Un)Satisfiability was proved
Number of variables231
Number of clauses28738
Sum of the clauses size129678
Maximum clause length22
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 277
Number of clauses of size 326363
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 52298

Solver Data 

32862.53/4116.17	
32862.53/4116.17	s SATISFIABLE
32862.53/4116.17	
32862.53/4116.17	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 201 202 203 -204 205 206 207 208 209 210 211 212 213 214 215 -216 217 218 219 220 -221 -222 223 224 225 226 227 228 229 230 231 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-3439171-1306960405/watcher-3439171-1306960405 -o /tmp/evaluation-result-3439171-1306960405/solver-3439171-1306960405 -C 40000 -W 5100 -M 31000 SArTagnan HOME/instance-3439171-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 2/454 29968
/proc/meminfo: memFree=28939272/32951124 swapFree=41830676/67111528
[pid=29968] ppid=29966 vsize=28764 CPUtime=0.01 cores=0-7
/proc/29968/stat : 29968 (SArTagnan) R 29966 29968 29942 0 -1 4202496 3495 0 0 0 1 0 0 0 22 0 1 0 807638478 29454336 2773 33554432000 4194304 4625164 140736793474688 18446744073709551615 228122411477 0 0 4096 2 0 0 0 17 6 0 0 0
/proc/29968/statm: 7303 2786 298 106 0 2806 0

[startup+0.104362 s]
/proc/loadavg: 0.00 0.00 0.00 2/454 29968
/proc/meminfo: memFree=28939272/32951124 swapFree=41830676/67111528
[pid=29968] ppid=29966 vsize=309480 CPUtime=1.99 cores=0-7
/proc/29968/stat : 29968 (SArTagnan) R 29966 29968 29942 0 -1 4202496 10219 0 0 0 199 0 0 0 18 0 8 0 807638478 316907520 5539 33554432000 4194304 4625164 140736793474688 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29968/statm: 77370 5539 345 106 0 72873 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 309480

[startup+0.409503 s]
/proc/loadavg: 0.00 0.00 0.00 2/454 29968
/proc/meminfo: memFree=28939272/32951124 swapFree=41830676/67111528
[pid=29968] ppid=29966 vsize=315364 CPUtime=7.6 cores=0-7
/proc/29968/stat : 29968 (SArTagnan) R 29966 29968 29942 0 -1 4202496 19126 0 0 0 758 2 0 0 19 0 8 0 807638478 322932736 9226 33554432000 4194304 4625164 140736793474688 18446744073709551615 4512142 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29968/statm: 78841 9226 345 106 0 74344 0
Current children cumulated CPU time (s) 7.6
Current children cumulated vsize (KiB) 315364

[startup+1.10937 s]
/proc/loadavg: 0.00 0.00 0.00 2/454 29968
/proc/meminfo: memFree=28939272/32951124 swapFree=41830676/67111528
[pid=29968] ppid=29966 vsize=315364 CPUtime=8.4 cores=0-7
/proc/29968/stat : 29968 (SArTagnan) R 29966 29968 29942 0 -1 4202496 19894 0 0 0 838 2 0 0 19 0 8 0 807638478 322932736 9653 33554432000 4194304 4625164 140736793474688 18446744073709551615 4393101 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29968/statm: 78841 9653 345 106 0 74344 0
Current children cumulated CPU time (s) 8.4
Current children cumulated vsize (KiB) 315364

[startup+1.20935 s]
/proc/loadavg: 0.00 0.00 0.00 2/454 29968
/proc/meminfo: memFree=28939272/32951124 swapFree=41830676/67111528
[pid=29968] ppid=29966 vsize=315732 CPUtime=9.2 cores=0-7
/proc/29968/stat : 29968 (SArTagnan) R 29966 29968 29942 0 -1 4202496 20836 0 0 0 918 2 0 0 19 0 8 0 807638478 323309568 10148 33554432000 4194304 4625164 140736793474688 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29968/statm: 78933 10148 345 106 0 74436 0
Current children cumulated CPU time (s) 9.2
Current children cumulated vsize (KiB) 315732

[startup+1.5003 s]
/proc/loadavg: 0.00 0.00 0.00 2/454 29968
/proc/meminfo: memFree=28939272/32951124 swapFree=41830676/67111528
[pid=29968] ppid=29966 vsize=319588 CPUtime=11.52 cores=0-7
/proc/29968/stat : 29968 (SArTagnan) R 29966 29968 29942 0 -1 4202496 25436 0 0 0 1150 2 0 0 19 0 8 0 807638478 327258112 11555 33554432000 4194304 4625164 140736793474688 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29968/statm: 79897 11555 348 106 0 75400 0
Current children cumulated CPU time (s) 11.52
Current children cumulated vsize (KiB) 319588

[startup+3.11701 s]
/proc/loadavg: 0.64 0.13 0.04 9/462 29976
/proc/meminfo: memFree=28866800/32951124 swapFree=41830676/67111528
[pid=29968] ppid=29966 vsize=329276 CPUtime=24.42 cores=0-7
/proc/29968/stat : 29968 (SArTagnan) R 29966 29968 29942 0 -1 4202496 43251 0 0 0 2437 5 0 0 23 0 8 0 807638478 337178624 17993 33554432000 4194304 4625164 140736793474688 18446744073709551615 4519391 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29968/statm: 82319 17993 348 106 0 77822 0
[pid=29968/tid=29970] ppid=29966 vsize=329276 CPUtime=2.94 cores=0-7
/proc/29968/task/29970/stat : 29970 (SArTagnan) R 29966 29968 29942 0 -1 4202560 3819 0 0 0 294 0 0 0 24 0 8 0 807638480 337178624 17993 33554432000 4194304 4625164 140736793474688 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=329276 CPUtime=3.08 cores=0-7
/proc/29968/task/29971/stat : 29971 (SArTagnan) R 29966 29968 29942 0 -1 4202560 2663 0 0 0 308 0 0 0 25 0 8 0 807638480 337178624 17993 33554432000 4194304 4625164 140736793474688 18446744073709551615 228122819103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29972] ppid=29966 vsize=329276 CPUtime=2.92 cores=0-7
/proc/29968/task/29972/stat : 29972 (SArTagnan) R 29966 29968 29942 0 -1 4202560 17658 0 0 0 290 2 0 0 24 0 8 0 807638480 337178624 17993 33554432000 4194304 4625164 140736793474688 18446744073709551615 228122819103 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29968/tid=29973] ppid=29966 vsize=329276 CPUtime=3.08 cores=0-7
/proc/29968/task/29973/stat : 29973 (SArTagnan) R 29966 29968 29942 0 -1 4202560 3810 0 0 0 308 0 0 0 25 0 8 0 807638480 337178624 17993 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29968/tid=29974] ppid=29966 vsize=329276 CPUtime=3.07 cores=0-7
/proc/29968/task/29974/stat : 29974 (SArTagnan) R 29966 29968 29942 0 -1 4202560 2673 0 0 0 307 0 0 0 25 0 8 0 807638480 337178624 17993 33554432000 4194304 4625164 140736793474688 18446744073709551615 4349075 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29968/tid=29975] ppid=29966 vsize=329276 CPUtime=3.08 cores=0-7
/proc/29968/task/29975/stat : 29975 (SArTagnan) R 29966 29968 29942 0 -1 4202560 3775 0 0 0 308 0 0 0 25 0 8 0 807638480 337178624 17993 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29968/tid=29976] ppid=29966 vsize=329276 CPUtime=3.08 cores=0-7
/proc/29968/task/29976/stat : 29976 (SArTagnan) R 29966 29968 29942 0 -1 4202560 3789 0 0 0 308 0 0 0 25 0 8 0 807638480 337178624 17993 33554432000 4194304 4625164 140736793474688 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.42
Current children cumulated vsize (KiB) 329276

[startup+6.30143 s]
/proc/loadavg: 0.64 0.13 0.04 9/462 29976
/proc/meminfo: memFree=28825340/32951124 swapFree=41830676/67111528
[pid=29968] ppid=29966 vsize=352028 CPUtime=49.98 cores=0-7
/proc/29968/stat : 29968 (SArTagnan) R 29966 29968 29942 0 -1 4202496 69164 0 0 0 4988 10 0 0 25 0 8 0 807638478 360476672 28360 33554432000 4194304 4625164 140736793474688 18446744073709551615 4396690 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29968/statm: 88007 28360 348 106 0 83510 0
[pid=29968/tid=29970] ppid=29966 vsize=352028 CPUtime=6.14 cores=0-7
/proc/29968/task/29970/stat : 29970 (SArTagnan) R 29966 29968 29942 0 -1 4202560 5878 0 0 0 614 0 0 0 25 0 8 0 807638480 360476672 28360 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=352028 CPUtime=6.28 cores=0-7
/proc/29968/task/29971/stat : 29971 (SArTagnan) R 29966 29968 29942 0 -1 4202560 4024 0 0 0 628 0 0 0 25 0 8 0 807638480 360476672 28360 33554432000 4194304 4625164 140736793474688 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29972] ppid=29966 vsize=352028 CPUtime=6.13 cores=0-7
/proc/29968/task/29972/stat : 29972 (SArTagnan) R 29966 29968 29942 0 -1 4202560 31552 0 0 0 609 4 0 0 25 0 8 0 807638480 360476672 28360 33554432000 4194304 4625164 140736793474688 18446744073709551615 4548692 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29968/tid=29973] ppid=29966 vsize=352028 CPUtime=6.28 cores=0-7
/proc/29968/task/29973/stat : 29973 (SArTagnan) R 29966 29968 29942 0 -1 4202560 5937 0 0 0 627 1 0 0 25 0 8 0 807638480 360476672 28360 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29968/tid=29974] ppid=29966 vsize=352028 CPUtime=6.21 cores=0-7
/proc/29968/task/29974/stat : 29974 (SArTagnan) R 29966 29968 29942 0 -1 4202560 4117 0 0 0 621 0 0 0 25 0 8 0 807638480 360476672 28360 33554432000 4194304 4625164 140736793474688 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29968/tid=29975] ppid=29966 vsize=352028 CPUtime=6.29 cores=0-7
/proc/29968/task/29975/stat : 29975 (SArTagnan) R 29966 29968 29942 0 -1 4202560 6020 0 0 0 628 1 0 0 25 0 8 0 807638480 360476672 28360 33554432000 4194304 4625164 140736793474688 18446744073709551615 4339646 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29968/tid=29976] ppid=29966 vsize=352028 CPUtime=6.28 cores=0-7
/proc/29968/task/29976/stat : 29976 (SArTagnan) R 29966 29968 29942 0 -1 4202560 5909 0 0 0 628 0 0 0 25 0 8 0 807638480 360476672 28360 33554432000 4194304 4625164 140736793474688 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (KiB) 352028

[startup+12.7013 s]
/proc/loadavg: 1.23 0.26 0.09 9/462 29976
/proc/meminfo: memFree=28766412/32951124 swapFree=41830676/67111528
[pid=29968] ppid=29966 vsize=378308 CPUtime=100.96 cores=0-7
/proc/29968/stat : 29968 (SArTagnan) R 29966 29968 29942 0 -1 4202496 107734 0 0 0 10079 17 0 0 25 0 8 0 807638478 387387392 44849 33554432000 4194304 4625164 140736793474688 18446744073709551615 4519334 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29968/statm: 94577 44852 348 106 0 90080 0
[pid=29968/tid=29970] ppid=29966 vsize=378308 CPUtime=12.53 cores=0-7
/proc/29968/task/29970/stat : 29970 (SArTagnan) R 29966 29968 29942 0 -1 4202560 9724 0 0 0 1252 1 0 0 25 0 8 0 807638480 387387392 44852 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=378308 CPUtime=12.67 cores=0-7
/proc/29968/task/29971/stat : 29971 (SArTagnan) R 29966 29968 29942 0 -1 4202560 6876 0 0 0 1266 1 0 0 25 0 8 0 807638480 387387392 44852 33554432000 4194304 4625164 140736793474688 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29972] ppid=29966 vsize=378308 CPUtime=12.51 cores=0-7
/proc/29968/task/29972/stat : 29972 (SArTagnan) R 29966 29968 29942 0 -1 4202560 48564 0 0 0 1244 7 0 0 25 0 8 0 807638480 387387392 44852 33554432000 4194304 4625164 140736793474688 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29968/tid=29973] ppid=29966 vsize=378308 CPUtime=12.66 cores=0-7
/proc/29968/task/29973/stat : 29973 (SArTagnan) R 29966 29968 29942 0 -1 4202560 9391 0 0 0 1265 1 0 0 25 0 8 0 807638480 387387392 44852 33554432000 4194304 4625164 140736793474688 18446744073709551615 228122375201 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29968/tid=29974] ppid=29966 vsize=378308 CPUtime=12.51 cores=0-7
/proc/29968/task/29974/stat : 29974 (SArTagnan) R 29966 29968 29942 0 -1 4202560 6648 0 0 0 1251 0 0 0 25 0 8 0 807638480 387387392 44852 33554432000 4194304 4625164 140736793474688 18446744073709551615 4348982 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29968/tid=29975] ppid=29966 vsize=378308 CPUtime=12.66 cores=0-7
/proc/29968/task/29975/stat : 29975 (SArTagnan) R 29966 29968 29942 0 -1 4202560 9849 0 0 0 1265 1 0 0 25 0 8 0 807638480 387387392 44852 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351975 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29968/tid=29976] ppid=29966 vsize=378308 CPUtime=12.67 cores=0-7
/proc/29968/task/29976/stat : 29976 (SArTagnan) R 29966 29968 29942 0 -1 4202560 9665 0 0 0 1266 1 0 0 25 0 8 0 807638480 387387392 44852 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 100.96
Current children cumulated vsize (KiB) 378308

[startup+25.5009 s]
/proc/loadavg: 2.73 0.64 0.21 9/462 29976
/proc/meminfo: memFree=28665388/32951124 swapFree=41830676/67111528
[pid=29968] ppid=29966 vsize=426876 CPUtime=203.15 cores=0-7
/proc/29968/stat : 29968 (SArTagnan) R 29966 29968 29942 0 -1 4202496 171893 0 0 0 20286 29 0 0 25 0 8 0 807638478 437121024 69967 33554432000 4194304 4625164 140736793474688 18446744073709551615 4512021 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29968/statm: 106719 69967 420 106 0 102222 0
[pid=29968/tid=29970] ppid=29966 vsize=426876 CPUtime=25.33 cores=0-7
/proc/29968/task/29970/stat : 29970 (SArTagnan) R 29966 29968 29942 0 -1 4202560 14560 0 0 0 2531 2 0 0 25 0 8 0 807638480 437121024 69967 33554432000 4194304 4625164 140736793474688 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=426876 CPUtime=25.46 cores=0-7
/proc/29968/task/29971/stat : 29971 (SArTagnan) R 29966 29968 29942 0 -1 4202560 11042 0 0 0 2545 1 0 0 25 0 8 0 807638480 437121024 69967 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351975 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29972] ppid=29966 vsize=426876 CPUtime=25.31 cores=0-7
/proc/29968/task/29972/stat : 29972 (SArTagnan) R 29966 29968 29942 0 -1 4202560 83261 0 0 0 2517 14 0 0 25 0 8 0 807638480 437121024 69967 33554432000 4194304 4625164 140736793474688 18446744073709551615 4352553 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29968/tid=29973] ppid=29966 vsize=426876 CPUtime=25.46 cores=0-7
/proc/29968/task/29973/stat : 29973 (SArTagnan) R 29966 29968 29942 0 -1 4202560 15202 0 0 0 2544 2 0 0 25 0 8 0 807638480 437121024 69967 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29968/tid=29974] ppid=29966 vsize=426876 CPUtime=25.11 cores=0-7
/proc/29968/task/29974/stat : 29974 (SArTagnan) R 29966 29968 29942 0 -1 4202560 9892 0 0 0 2510 1 0 0 25 0 8 0 807638480 437121024 69967 33554432000 4194304 4625164 140736793474688 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29968/tid=29975] ppid=29966 vsize=426876 CPUtime=25.47 cores=0-7
/proc/29968/task/29975/stat : 29975 (SArTagnan) R 29966 29968 29942 0 -1 4202560 14782 0 0 0 2544 3 0 0 25 0 8 0 807638480 437121024 69967 33554432000 4194304 4625164 140736793474688 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29968/tid=29976] ppid=29966 vsize=426876 CPUtime=25.47 cores=0-7
/proc/29968/task/29976/stat : 29976 (SArTagnan) R 29966 29968 29942 0 -1 4202560 15112 0 0 0 2545 2 0 0 25 0 8 0 807638480 437121024 69967 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351790 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.15
Current children cumulated vsize (KiB) 426876

[startup+51.1013 s]
/proc/loadavg: 4.53 1.23 0.42 9/462 29977
/proc/meminfo: memFree=28513856/32951124 swapFree=41830676/67111528
[pid=29968] ppid=29966 vsize=678128 CPUtime=407.57 cores=0-7
/proc/29968/stat : 29968 (SArTagnan) R 29966 29968 29942 0 -1 4202496 278033 0 0 0 40707 50 0 0 25 0 8 0 807638478 694403072 107360 33554432000 4194304 4625164 140736793474688 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29968/statm: 169532 107360 658 106 0 165035 0
[pid=29968/tid=29970] ppid=29966 vsize=678128 CPUtime=50.93 cores=0-7
/proc/29968/task/29970/stat : 29970 (SArTagnan) R 29966 29968 29942 0 -1 4202560 22723 0 0 0 5090 3 0 0 25 0 8 0 807638480 694403072 107360 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351795 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=678128 CPUtime=51.06 cores=0-7
/proc/29968/task/29971/stat : 29971 (SArTagnan) R 29966 29968 29942 0 -1 4202560 16258 0 0 0 5104 2 0 0 25 0 8 0 807638480 694403072 107360 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29972] ppid=29966 vsize=678128 CPUtime=50.91 cores=0-7
/proc/29968/task/29972/stat : 29972 (SArTagnan) R 29966 29968 29942 0 -1 4202560 144583 0 0 0 5066 25 0 0 25 0 8 0 807638480 694403072 107360 33554432000 4194304 4625164 140736793474688 18446744073709551615 4579376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29968/tid=29973] ppid=29966 vsize=678128 CPUtime=51.07 cores=0-7
/proc/29968/task/29973/stat : 29973 (SArTagnan) R 29966 29968 29942 0 -1 4202560 22795 0 0 0 5103 4 0 0 25 0 8 0 807638480 694403072 107360 33554432000 4194304 4625164 140736793474688 18446744073709551615 4352183 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29968/tid=29974] ppid=29966 vsize=678128 CPUtime=50.32 cores=0-7
/proc/29968/task/29974/stat : 29974 (SArTagnan) R 29966 29968 29942 0 -1 4202560 15651 0 0 0 5030 2 0 0 25 0 8 0 807638480 694403072 107360 33554432000 4194304 4625164 140736793474688 18446744073709551615 4339536 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29968/tid=29975] ppid=29966 vsize=678128 CPUtime=51.06 cores=0-7
/proc/29968/task/29975/stat : 29975 (SArTagnan) R 29966 29968 29942 0 -1 4202560 23829 0 0 0 5101 5 0 0 25 0 8 0 807638480 694403072 107360 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29968/tid=29976] ppid=29966 vsize=678128 CPUtime=51.06 cores=0-7
/proc/29968/task/29976/stat : 29976 (SArTagnan) R 29966 29968 29942 0 -1 4202560 23437 0 0 0 5103 3 0 0 25 0 8 0 807638480 694403072 107360 33554432000 4194304 4625164 140736793474688 18446744073709551615 4352072 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 407.57
Current children cumulated vsize (KiB) 678128

[startup+102.301 s]
/proc/loadavg: 6.55 2.29 0.82 9/462 29979
/proc/meminfo: memFree=28302836/32951124 swapFree=41830676/67111528
[pid=29968] ppid=29966 vsize=870588 CPUtime=816.36 cores=0-7
/proc/29968/stat : 29968 (SArTagnan) R 29966 29968 29942 0 -1 4202496 405560 0 0 0 81562 74 0 0 25 0 8 0 807638478 891482112 159717 33554432000 4194304 4625164 140736793474688 18446744073709551615 4512066 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29968/statm: 217647 159717 824 106 0 213150 0
[pid=29968/tid=29970] ppid=29966 vsize=870588 CPUtime=102.13 cores=0-7
/proc/29968/task/29970/stat : 29970 (SArTagnan) R 29966 29968 29942 0 -1 4202560 35084 0 0 0 10208 5 0 0 25 0 8 0 807638480 891482112 159717 33554432000 4194304 4625164 140736793474688 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=870588 CPUtime=102.26 cores=0-7
/proc/29968/task/29971/stat : 29971 (SArTagnan) R 29966 29968 29942 0 -1 4202560 25397 0 0 0 10222 4 0 0 25 0 8 0 807638480 891482112 159717 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29972] ppid=29966 vsize=870588 CPUtime=102.11 cores=0-7
/proc/29968/task/29972/stat : 29972 (SArTagnan) R 29966 29968 29942 0 -1 4202560 206389 0 0 0 10174 37 0 0 25 0 8 0 807638480 891482112 159717 33554432000 4194304 4625164 140736793474688 18446744073709551615 4546721 0 0 4096 2 0 0 0 -1 1 0 0 0

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

[pid=29968/tid=29973] ppid=29966 vsize=5508956 CPUtime=4070.08 cores=0-7
/proc/29968/task/29973/stat : 29973 (SArTagnan) R 29966 29968 29942 0 -1 4202560 274120 0 0 0 406948 60 0 0 25 0 8 0 807638480 5641170944 1125217 33554432000 4194304 4625164 140736793474688 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29968/tid=29974] ppid=29966 vsize=5508956 CPUtime=4015.54 cores=0-7
/proc/29968/task/29974/stat : 29974 (SArTagnan) R 29966 29968 29942 0 -1 4202560 190191 0 0 0 401510 44 0 0 25 0 8 0 807638480 5641170944 1125217 33554432000 4194304 4625164 140736793474688 18446744073709551615 4348832 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29968/tid=29975] ppid=29966 vsize=5508956 CPUtime=4070.23 cores=0-7
/proc/29968/task/29975/stat : 29975 (SArTagnan) R 29966 29968 29942 0 -1 4202560 379806 0 0 0 406949 74 0 0 25 0 8 0 807638480 5641170944 1125217 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29968/tid=29976] ppid=29966 vsize=5508956 CPUtime=4071.03 cores=0-7
/proc/29968/task/29976/stat : 29976 (SArTagnan) R 29966 29968 29942 0 -1 4202560 283892 0 0 0 407045 58 0 0 25 0 8 0 807638480 5641170944 1125217 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 32504
Current children cumulated vsize (KiB) 5508956

[startup+4096.8 s]
/proc/loadavg: 8.05 8.04 7.93 9/462 30097
/proc/meminfo: memFree=24407780/32951124 swapFree=41830676/67111528
[pid=29968] ppid=29966 vsize=5510900 CPUtime=32708.4 cores=0-7
/proc/29968/stat : 29968 (SArTagnan) R 29966 29968 29942 0 -1 4202496 19475381 0 0 0 3267803 3041 0 0 25 0 8 0 807638478 5643161600 1130428 33554432000 4194304 4625164 140736793474688 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29968/statm: 1377725 1130428 459 106 0 1373228 0
[pid=29968/tid=29970] ppid=29966 vsize=5510900 CPUtime=4089.37 cores=0-7
/proc/29968/task/29970/stat : 29970 (SArTagnan) R 29966 29968 29942 0 -1 4202560 277425 0 0 0 408878 59 0 0 25 0 8 0 807638480 5643161600 1130428 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=5510900 CPUtime=4096.57 cores=0-7
/proc/29968/task/29971/stat : 29971 (SArTagnan) R 29966 29968 29942 0 -1 4202560 214737 0 0 0 409610 47 0 0 25 0 8 0 807638480 5643161600 1130428 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29972] ppid=29966 vsize=5510900 CPUtime=4096.68 cores=0-7
/proc/29968/task/29972/stat : 29972 (SArTagnan) R 29966 29968 29942 0 -1 4202560 16822697 0 0 0 407149 2519 0 0 25 0 8 0 807638480 5643161600 1130428 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29968/tid=29973] ppid=29966 vsize=5510900 CPUtime=4095.68 cores=0-7
/proc/29968/task/29973/stat : 29973 (SArTagnan) R 29966 29968 29942 0 -1 4202560 274120 0 0 0 409508 60 0 0 25 0 8 0 807638480 5643161600 1130428 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351811 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29968/tid=29974] ppid=29966 vsize=5510900 CPUtime=4040.75 cores=0-7
/proc/29968/task/29974/stat : 29974 (SArTagnan) R 29966 29968 29942 0 -1 4202560 190213 0 0 0 404031 44 0 0 25 0 8 0 807638480 5643161600 1130428 33554432000 4194304 4625164 140736793474688 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29968/tid=29975] ppid=29966 vsize=5510900 CPUtime=4095.82 cores=0-7
/proc/29968/task/29975/stat : 29975 (SArTagnan) R 29966 29968 29942 0 -1 4202560 381422 0 0 0 409508 74 0 0 25 0 8 0 807638480 5643161600 1130428 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29968/tid=29976] ppid=29966 vsize=5510900 CPUtime=4096.63 cores=0-7
/proc/29968/task/29976/stat : 29976 (SArTagnan) R 29966 29968 29942 0 -1 4202560 284901 0 0 0 409605 58 0 0 25 0 8 0 807638480 5643161600 1130428 33554432000 4194304 4625164 140736793474688 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 32708.4
Current children cumulated vsize (KiB) 5510900

[startup+4109.6 s]
/proc/loadavg: 8.12 8.06 7.93 9/462 30097
/proc/meminfo: memFree=24409368/32951124 swapFree=41830676/67111528
[pid=29968] ppid=29966 vsize=5510900 CPUtime=32810.6 cores=0-7
/proc/29968/stat : 29968 (SArTagnan) R 29966 29968 29942 0 -1 4202496 19575988 0 0 0 3278008 3055 0 0 25 0 8 0 807638478 5643161600 1128737 33554432000 4194304 4625164 140736793474688 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29968/statm: 1377725 1128741 354 106 0 1373228 0
[pid=29968/tid=29970] ppid=29966 vsize=5510900 CPUtime=4102.17 cores=0-7
/proc/29968/task/29970/stat : 29970 (SArTagnan) R 29966 29968 29942 0 -1 4202560 277561 0 0 0 410158 59 0 0 25 0 8 0 807638480 5643161600 1128741 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=5510900 CPUtime=4109.37 cores=0-7
/proc/29968/task/29971/stat : 29971 (SArTagnan) R 29966 29968 29942 0 -1 4202560 214757 0 0 0 410890 47 0 0 25 0 8 0 807638480 5643161600 1128741 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29972] ppid=29966 vsize=5510900 CPUtime=4109.47 cores=0-7
/proc/29968/task/29972/stat : 29972 (SArTagnan) R 29966 29968 29942 0 -1 4202560 16921910 0 0 0 408414 2533 0 0 25 0 8 0 807638480 5643161600 1128741 33554432000 4194304 4625164 140736793474688 18446744073709551615 4579396 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29968/tid=29973] ppid=29966 vsize=5510900 CPUtime=4108.48 cores=0-7
/proc/29968/task/29973/stat : 29973 (SArTagnan) R 29966 29968 29942 0 -1 4202560 274152 0 0 0 410788 60 0 0 25 0 8 0 807638480 5643161600 1128742 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29968/tid=29974] ppid=29966 vsize=5510900 CPUtime=4053.34 cores=0-7
/proc/29968/task/29974/stat : 29974 (SArTagnan) R 29966 29968 29942 0 -1 4202560 190213 0 0 0 405290 44 0 0 25 0 8 0 807638480 5643161600 1128742 33554432000 4194304 4625164 140736793474688 18446744073709551615 4349336 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29968/tid=29975] ppid=29966 vsize=5510900 CPUtime=4108.61 cores=0-7
/proc/29968/task/29975/stat : 29975 (SArTagnan) R 29966 29968 29942 0 -1 4202560 381460 0 0 0 410787 74 0 0 25 0 8 0 807638480 5643161600 1128742 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29968/tid=29976] ppid=29966 vsize=5510900 CPUtime=4109.43 cores=0-7
/proc/29968/task/29976/stat : 29976 (SArTagnan) R 29966 29968 29942 0 -1 4202560 284967 0 0 0 410885 58 0 0 25 0 8 0 807638480 5643161600 1128742 33554432000 4194304 4625164 140736793474688 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 32810.6
Current children cumulated vsize (KiB) 5510900

[startup+4112.8 s]
/proc/loadavg: 8.11 8.06 7.93 9/462 30097
/proc/meminfo: memFree=24408252/32951124 swapFree=41830676/67111528
[pid=29968] ppid=29966 vsize=5510900 CPUtime=32836.2 cores=0-7
/proc/29968/stat : 29968 (SArTagnan) R 29966 29968 29942 0 -1 4202496 19597371 0 0 0 3280561 3058 0 0 25 0 8 0 807638478 5643161600 1130419 33554432000 4194304 4625164 140736793474688 18446744073709551615 4519319 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29968/statm: 1377725 1130419 412 106 0 1373228 0
[pid=29968/tid=29970] ppid=29966 vsize=5510900 CPUtime=4105.37 cores=0-7
/proc/29968/task/29970/stat : 29970 (SArTagnan) R 29966 29968 29942 0 -1 4202560 277640 0 0 0 410478 59 0 0 25 0 8 0 807638480 5643161600 1130419 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=5510900 CPUtime=4112.57 cores=0-7
/proc/29968/task/29971/stat : 29971 (SArTagnan) R 29966 29968 29942 0 -1 4202560 214757 0 0 0 411210 47 0 0 25 0 8 0 807638480 5643161600 1130419 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29972] ppid=29966 vsize=5510900 CPUtime=4112.68 cores=0-7
/proc/29968/task/29972/stat : 29972 (SArTagnan) R 29966 29968 29942 0 -1 4202560 16943059 0 0 0 408732 2536 0 0 25 0 8 0 807638480 5643161600 1130419 33554432000 4194304 4625164 140736793474688 18446744073709551615 4335177 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29968/tid=29973] ppid=29966 vsize=5510900 CPUtime=4111.68 cores=0-7
/proc/29968/task/29973/stat : 29973 (SArTagnan) R 29966 29968 29942 0 -1 4202560 274185 0 0 0 411108 60 0 0 25 0 8 0 807638480 5643161600 1130419 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29968/tid=29974] ppid=29966 vsize=5510900 CPUtime=4056.49 cores=0-7
/proc/29968/task/29974/stat : 29974 (SArTagnan) R 29966 29968 29942 0 -1 4202560 190282 0 0 0 405605 44 0 0 25 0 8 0 807638480 5643161600 1130420 33554432000 4194304 4625164 140736793474688 18446744073709551615 4349779 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29968/tid=29975] ppid=29966 vsize=5510900 CPUtime=4111.82 cores=0-7
/proc/29968/task/29975/stat : 29975 (SArTagnan) R 29966 29968 29942 0 -1 4202560 381475 0 0 0 411108 74 0 0 25 0 8 0 807638480 5643161600 1130420 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29968/tid=29976] ppid=29966 vsize=5510900 CPUtime=4112.63 cores=0-7
/proc/29968/task/29976/stat : 29976 (SArTagnan) R 29966 29968 29942 0 -1 4202560 284998 0 0 0 411205 58 0 0 25 0 8 0 807638480 5643161600 1130420 33554432000 4194304 4625164 140736793474688 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 32836.2
Current children cumulated vsize (KiB) 5510900

[startup+4114.4 s]
/proc/loadavg: 8.11 8.06 7.93 9/462 30097
/proc/meminfo: memFree=24406144/32951124 swapFree=41830676/67111528
[pid=29968] ppid=29966 vsize=5510900 CPUtime=32849 cores=0-7
/proc/29968/stat : 29968 (SArTagnan) R 29966 29968 29942 0 -1 4202496 19609322 0 0 0 3281836 3061 0 0 25 0 8 0 807638478 5643161600 1130340 33554432000 4194304 4625164 140736793474688 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29968/statm: 1377725 1130340 387 106 0 1373228 0
[pid=29968/tid=29970] ppid=29966 vsize=5510900 CPUtime=4106.97 cores=0-7
/proc/29968/task/29970/stat : 29970 (SArTagnan) R 29966 29968 29942 0 -1 4202560 277681 0 0 0 410638 59 0 0 25 0 8 0 807638480 5643161600 1130340 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=5510900 CPUtime=4114.17 cores=0-7
/proc/29968/task/29971/stat : 29971 (SArTagnan) R 29966 29968 29942 0 -1 4202560 214757 0 0 0 411370 47 0 0 25 0 8 0 807638480 5643161600 1130340 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351786 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29972] ppid=29966 vsize=5510900 CPUtime=4114.28 cores=0-7
/proc/29968/task/29972/stat : 29972 (SArTagnan) R 29966 29968 29942 0 -1 4202560 16954650 0 0 0 408890 2538 0 0 25 0 8 0 807638480 5643161600 1130340 33554432000 4194304 4625164 140736793474688 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29968/tid=29973] ppid=29966 vsize=5510900 CPUtime=4113.28 cores=0-7
/proc/29968/task/29973/stat : 29973 (SArTagnan) R 29966 29968 29942 0 -1 4202560 274237 0 0 0 411268 60 0 0 25 0 8 0 807638480 5643161600 1130340 33554432000 4194304 4625164 140736793474688 18446744073709551615 4467816 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29968/tid=29974] ppid=29966 vsize=5510900 CPUtime=4058.08 cores=0-7
/proc/29968/task/29974/stat : 29974 (SArTagnan) R 29966 29968 29942 0 -1 4202560 190325 0 0 0 405764 44 0 0 25 0 8 0 807638480 5643161600 1130340 33554432000 4194304 4625164 140736793474688 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29968/tid=29975] ppid=29966 vsize=5510900 CPUtime=4113.41 cores=0-7
/proc/29968/task/29975/stat : 29975 (SArTagnan) R 29966 29968 29942 0 -1 4202560 381510 0 0 0 411267 74 0 0 25 0 8 0 807638480 5643161600 1130340 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29968/tid=29976] ppid=29966 vsize=5510900 CPUtime=4114.23 cores=0-7
/proc/29968/task/29976/stat : 29976 (SArTagnan) R 29966 29968 29942 0 -1 4202560 285004 0 0 0 411365 58 0 0 25 0 8 0 807638480 5643161600 1130340 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 32849
Current children cumulated vsize (KiB) 5510900

[startup+4115.2 s]
/proc/loadavg: 8.11 8.06 7.93 9/462 30098
/proc/meminfo: memFree=24409740/32951124 swapFree=41830676/67111528
[pid=29968] ppid=29966 vsize=5510900 CPUtime=32855.4 cores=0-7
/proc/29968/stat : 29968 (SArTagnan) R 29966 29968 29942 0 -1 4202496 19616292 0 0 0 3282473 3062 0 0 25 0 8 0 807638478 5643161600 1130011 33554432000 4194304 4625164 140736793474688 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29968/statm: 1377725 1130011 362 106 0 1373228 0
[pid=29968/tid=29970] ppid=29966 vsize=5510900 CPUtime=4107.77 cores=0-7
/proc/29968/task/29970/stat : 29970 (SArTagnan) R 29966 29968 29942 0 -1 4202560 277700 0 0 0 410718 59 0 0 25 0 8 0 807638480 5643161600 1130011 33554432000 4194304 4625164 140736793474688 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=5510900 CPUtime=4114.97 cores=0-7
/proc/29968/task/29971/stat : 29971 (SArTagnan) R 29966 29968 29942 0 -1 4202560 214757 0 0 0 411450 47 0 0 25 0 8 0 807638480 5643161600 1130011 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29972] ppid=29966 vsize=5510900 CPUtime=4115.07 cores=0-7
/proc/29968/task/29972/stat : 29972 (SArTagnan) R 29966 29968 29942 0 -1 4202560 16961557 0 0 0 408968 2539 0 0 25 0 8 0 807638480 5643161600 1130011 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29968/tid=29973] ppid=29966 vsize=5510900 CPUtime=4114.08 cores=0-7
/proc/29968/task/29973/stat : 29973 (SArTagnan) R 29966 29968 29942 0 -1 4202560 274263 0 0 0 411348 60 0 0 25 0 8 0 807638480 5643161600 1130011 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29968/tid=29974] ppid=29966 vsize=5510900 CPUtime=4058.86 cores=0-7
/proc/29968/task/29974/stat : 29974 (SArTagnan) R 29966 29968 29942 0 -1 4202560 190338 0 0 0 405842 44 0 0 25 0 8 0 807638480 5643161600 1130011 33554432000 4194304 4625164 140736793474688 18446744073709551615 4348941 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29968/tid=29975] ppid=29966 vsize=5510900 CPUtime=4114.21 cores=0-7
/proc/29968/task/29975/stat : 29975 (SArTagnan) R 29966 29968 29942 0 -1 4202560 381511 0 0 0 411347 74 0 0 25 0 8 0 807638480 5643161600 1130011 33554432000 4194304 4625164 140736793474688 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29968/tid=29976] ppid=29966 vsize=5510900 CPUtime=4115.03 cores=0-7
/proc/29968/task/29976/stat : 29976 (SArTagnan) R 29966 29968 29942 0 -1 4202560 285007 0 0 0 411445 58 0 0 25 0 8 0 807638480 5643161600 1130011 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 32855.4
Current children cumulated vsize (KiB) 5510900

[startup+4116.02 s]
/proc/loadavg: 8.11 8.06 7.93 9/462 30098
/proc/meminfo: memFree=24409492/32951124 swapFree=41830676/67111528
[pid=29968] ppid=29966 vsize=5510900 CPUtime=32861.9 cores=0-7
/proc/29968/stat : 29968 (SArTagnan) R 29966 29968 29942 0 -1 4202496 19622351 0 0 0 3283124 3063 0 0 25 0 8 0 807638478 5643161600 1130912 33554432000 4194304 4625164 140736793474688 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29968/statm: 1377725 1130912 359 106 0 1373228 0
[pid=29968/tid=29970] ppid=29966 vsize=5510900 CPUtime=4108.59 cores=0-7
/proc/29968/task/29970/stat : 29970 (SArTagnan) R 29966 29968 29942 0 -1 4202560 277706 0 0 0 410800 59 0 0 25 0 8 0 807638480 5643161600 1130912 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29968/tid=29971] ppid=29966 vsize=5510900 CPUtime=4115.78 cores=0-7
/proc/29968/task/29971/stat : 29971 (SArTagnan) R 29966 29968 29942 0 -1 4202560 214757 0 0 0 411531 47 0 0 25 0 8 0 807638480 5643161600 1130912 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29968/tid=29972] ppid=29966 vsize=5510900 CPUtime=4115.89 cores=0-7
/proc/29968/task/29972/stat : 29972 (SArTagnan) R 29966 29968 29942 0 -1 4202560 16967445 0 0 0 409049 2540 0 0 25 0 8 0 807638480 5643161600 1130912 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29968/tid=29973] ppid=29966 vsize=5510900 CPUtime=4114.9 cores=0-7
/proc/29968/task/29973/stat : 29973 (SArTagnan) R 29966 29968 29942 0 -1 4202560 274268 0 0 0 411430 60 0 0 25 0 8 0 807638480 5643161600 1130912 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29968/tid=29974] ppid=29966 vsize=5510900 CPUtime=4059.66 cores=0-7
/proc/29968/task/29974/stat : 29974 (SArTagnan) R 29966 29968 29942 0 -1 4202560 190358 0 0 0 405922 44 0 0 25 0 8 0 807638480 5643161600 1130912 33554432000 4194304 4625164 140736793474688 18446744073709551615 4349325 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29968/tid=29975] ppid=29966 vsize=5510900 CPUtime=4115.03 cores=0-7
/proc/29968/task/29975/stat : 29975 (SArTagnan) R 29966 29968 29942 0 -1 4202560 381513 0 0 0 411429 74 0 0 25 0 8 0 807638480 5643161600 1130912 33554432000 4194304 4625164 140736793474688 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29968/tid=29976] ppid=29966 vsize=5510900 CPUtime=4115.85 cores=0-7
/proc/29968/task/29976/stat : 29976 (SArTagnan) R 29966 29968 29942 0 -1 4202560 285011 0 0 0 411527 58 0 0 25 0 8 0 807638480 5643161600 1130912 33554432000 4194304 4625164 140736793474688 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 32861.9
Current children cumulated vsize (KiB) 5510900

[startup+4116.2 s]
/proc/loadavg: 8.11 8.06 7.93 9/462 30098
/proc/meminfo: memFree=24409492/32951124 swapFree=41830676/67111528
[pid=29968] ppid=29966 vsize=0 CPUtime=32863.1 cores=0-7
/proc/29968/stat : 29968 (SArTagnan) Z 29966 29968 29942 0 -1 4203548 19622423 0 0 0 3283250 3065 0 0 25 0 2 0 807638478 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29968/statm: 0 0 0 0 0 0 0
[pid=29968/tid=29972] ppid=29966 vsize=0 CPUtime=4116.07 cores=0-7
/proc/29968/task/29972/stat : 29972 (SArTagnan) R 29966 29968 29942 0 -1 4203588 16967497 0 0 0 409065 2542 0 0 25 0 2 0 807638480 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 32863.1
Current children cumulated vsize (KiB) 0

[startup+4116.3 s]
/proc/loadavg: 8.11 8.06 7.93 9/462 30098
/proc/meminfo: memFree=24409492/32951124 swapFree=41830676/67111528
[pid=29968] ppid=29966 vsize=0 CPUtime=32863.2 cores=0-7
/proc/29968/stat : 29968 (SArTagnan) Z 29966 29968 29942 0 -1 4203548 19622423 0 0 0 3283250 3075 0 0 25 0 2 0 807638478 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29968/statm: 0 0 0 0 0 0 0
[pid=29968/tid=29972] ppid=29966 vsize=0 CPUtime=4116.17 cores=0-7
/proc/29968/task/29972/stat : 29972 (SArTagnan) R 29966 29968 29942 0 -1 4203588 16967497 0 0 0 409065 2552 0 0 25 0 2 0 807638480 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 32863.2
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 4116.38
CPU time (s): 32863.3
CPU user time (s): 32832.5
CPU system time (s): 30.8323
CPU usage (%): 798.356
Max. virtual memory (cumulated for all children) (KiB): 5576436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32832.5
system time used= 30.8323
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19622423
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= 40721
involuntary context switches= 140246

runsolver used 17.9013 second user time and 45.6851 second system time

The end

Launcher Data 

Begin job on node138 at 2011-06-01 22:33:25
IDJOB=3439171
IDBENCH=83318
IDSOLVER=1936
FILE ID=node138/3439171-1306960405
RUNJOBID= node138-1306960405-29956
PBS_JOBID= 13497613
Free space on /tmp= 73556 MiB

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

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

MD5SUM BENCH= 4975f32607352c0a4d9db1abea12627a
RANDOM SEED=2026352994

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
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.75
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.854
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.80
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.854
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.75
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.854
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.82
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.854
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:      28939560 kB
Buffers:        236264 kB
Cached:         881568 kB
SwapCached:      44536 kB
Active:        2036080 kB
Inactive:      1698980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28939560 kB
SwapTotal:    67111528 kB
SwapFree:     41830676 kB
Dirty:            1200 kB
Writeback:           0 kB
AnonPages:     2584152 kB
Mapped:          16000 kB
Slab:           113476 kB
PageTables:      92568 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 130632380 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= 73556 MiB
End job on node138 at 2011-06-01 23:42:01