Trace number 3264776

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-03-24SAT 3163.33 791.939

General information on the benchmark

NameSAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf
MD5SUMdfc7796289f8cacbd4db5eb947a1ba09
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark194.024
Satisfiable
(Un)Satisfiability was proved
Number of variables339
Number of clauses2416
Sum of the clauses size10720
Maximum clause length6
Minimum clause length4
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 41496
Number of clauses of size 5784
Number of clauses of size over 5136

Solver Data 

3163.28/791.90	
3163.28/791.90	s SATISFIABLE
3163.28/791.90	
3163.28/791.90	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 232 -233 -234 -235 -236 237 238 239 240 -241 242 -243 -244 -245 -246 247 248 249 250 -251 -252 -253 -254 255 -256 257 -258 -259 -260 261 262 -263 264 265 266 -267 268 269 270 271 -272 273 -274 -275 -276 277 -278 -279 280 281 282 -283 284 285 286 -287 288 289 290 -291 292 -293 -294 295 -296 -297 -298 -299 300 -301 302 303 -304 -305 -306 307 308 -309 -310 -311 312 -313 -314 -315 -316 -317 318 319 320 321 -322 -323 -324 -325 326 327 -328 -329 330 331 -332 -333 -334 -335 -336 -337 -338 -339 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3264776-1304106263/watcher-3264776-1304106263 -o /tmp/evaluation-result-3264776-1304106263/solver-3264776-1304106263 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3264776-1304106263.cnf -threads=4 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.81 6.71 7.52 6/180 19042
/proc/meminfo: memFree=19900192/32951124 swapFree=67111524/67111528
[pid=19042] ppid=19040 vsize=49888 CPUtime=0 cores=0,2,4,6
/proc/19042/stat : 19042 (SArTagnan) R 19040 19042 18612 0 -1 4202496 601 0 0 0 0 0 0 0 25 0 4 0 503041891 51085312 537 33554432000 4194304 4623224 140736835620272 18446744073709551615 47187839150002 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19042/statm: 12472 537 302 105 0 7976 0
[pid=19042/tid=19043] ppid=19040 vsize=49888 CPUtime=0 cores=0,2,4,6
/proc/19042/task/19043/stat : 19043 (SArTagnan) R 19040 19042 18612 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 503041892 51085312 537 33554432000 4194304 4623224 140736835620272 18446744073709551615 264726461425 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19042/tid=19044] ppid=19040 vsize=49888 CPUtime=0 cores=0,2,4,6
/proc/19042/task/19044/stat : 19044 (SArTagnan) R 19040 19042 18612 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 503041892 51085312 537 33554432000 4194304 4623224 140736835620272 18446744073709551615 264726461425 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=49888 CPUtime=0 cores=0,2,4,6
/proc/19042/task/19045/stat : 19045 (SArTagnan) R 19040 19042 18612 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 503041892 51085312 537 33554432000 4194304 4623224 140736835620272 18446744073709551615 47187839150002 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.048374 s]
/proc/loadavg: 4.81 6.71 7.52 6/180 19042
/proc/meminfo: memFree=19900192/32951124 swapFree=67111524/67111528
[pid=19042] ppid=19040 vsize=248420 CPUtime=0.17 cores=0,2,4,6
/proc/19042/stat : 19042 (SArTagnan) R 19040 19042 18612 0 -1 4202496 1655 0 0 0 17 0 0 0 25 0 4 0 503041891 254382080 1258 33554432000 4194304 4623224 140736835620272 18446744073709551615 264726510111 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19042/statm: 62105 1258 342 105 0 57609 0
[pid=19042/tid=19043] ppid=19040 vsize=248420 CPUtime=0.04 cores=0,2,4,6
/proc/19042/task/19043/stat : 19043 (SArTagnan) R 19040 19042 18612 0 -1 4202560 124 0 0 0 4 0 0 0 25 0 4 0 503041892 254382080 1258 33554432000 4194304 4623224 140736835620272 18446744073709551615 264726510111 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19042/tid=19044] ppid=19040 vsize=248420 CPUtime=0.04 cores=0,2,4,6
/proc/19042/task/19044/stat : 19044 (SArTagnan) R 19040 19042 18612 0 -1 4202560 201 0 0 0 4 0 0 0 25 0 4 0 503041892 254382080 1258 33554432000 4194304 4623224 140736835620272 18446744073709551615 264726510062 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=248420 CPUtime=0.04 cores=0,2,4,6
/proc/19042/task/19045/stat : 19045 (SArTagnan) R 19040 19042 18612 0 -1 4202560 329 0 0 0 4 0 0 0 25 0 4 0 503041892 254382080 1258 33554432000 4194304 4623224 140736835620272 18446744073709551615 4468051 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 248420

[startup+0.130705 s]
/proc/loadavg: 4.81 6.71 7.52 6/180 19042
/proc/meminfo: memFree=19900192/32951124 swapFree=67111524/67111528
[pid=19042] ppid=19040 vsize=248864 CPUtime=0.5 cores=0,2,4,6
/proc/19042/stat : 19042 (SArTagnan) R 19040 19042 18612 0 -1 4202496 2066 0 0 0 50 0 0 0 25 0 4 0 503041891 254836736 1436 33554432000 4194304 4623224 140736835620272 18446744073709551615 4416149 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19042/statm: 62216 1436 343 105 0 57720 0
[pid=19042/tid=19043] ppid=19040 vsize=248864 CPUtime=0.12 cores=0,2,4,6
/proc/19042/task/19043/stat : 19043 (SArTagnan) R 19040 19042 18612 0 -1 4202560 234 0 0 0 12 0 0 0 25 0 4 0 503041892 254836736 1436 33554432000 4194304 4623224 140736835620272 18446744073709551615 4366354 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19042/tid=19044] ppid=19040 vsize=248864 CPUtime=0.12 cores=0,2,4,6
/proc/19042/task/19044/stat : 19044 (SArTagnan) R 19040 19042 18612 0 -1 4202560 305 0 0 0 12 0 0 0 25 0 4 0 503041892 254836736 1436 33554432000 4194304 4623224 140736835620272 18446744073709551615 4460999 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=248864 CPUtime=0.12 cores=0,2,4,6
/proc/19042/task/19045/stat : 19045 (SArTagnan) R 19040 19042 18612 0 -1 4202560 518 0 0 0 12 0 0 0 25 0 4 0 503041892 254836736 1436 33554432000 4194304 4623224 140736835620272 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 248864

[startup+0.300674 s]
/proc/loadavg: 4.81 6.71 7.52 6/180 19042
/proc/meminfo: memFree=19900192/32951124 swapFree=67111524/67111528
[pid=19042] ppid=19040 vsize=249572 CPUtime=1.18 cores=0,2,4,6
/proc/19042/stat : 19042 (SArTagnan) R 19040 19042 18612 0 -1 4202496 3254 0 0 0 118 0 0 0 25 0 4 0 503041891 255561728 1976 33554432000 4194304 4623224 140736835620272 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19042/statm: 62393 1977 343 105 0 57897 0
[pid=19042/tid=19043] ppid=19040 vsize=249572 CPUtime=0.29 cores=0,2,4,6
/proc/19042/task/19043/stat : 19043 (SArTagnan) R 19040 19042 18612 0 -1 4202560 571 0 0 0 29 0 0 0 25 0 4 0 503041892 255561728 1977 33554432000 4194304 4623224 140736835620272 18446744073709551615 4367191 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19042/tid=19044] ppid=19040 vsize=249572 CPUtime=0.29 cores=0,2,4,6
/proc/19042/task/19044/stat : 19044 (SArTagnan) R 19040 19042 18612 0 -1 4202560 514 0 0 0 29 0 0 0 25 0 4 0 503041892 255561728 1977 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376714 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=249572 CPUtime=0.29 cores=0,2,4,6
/proc/19042/task/19045/stat : 19045 (SArTagnan) R 19040 19042 18612 0 -1 4202560 974 0 0 0 29 0 0 0 25 0 4 0 503041892 255561728 1977 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 249572

[startup+0.7006 s]
/proc/loadavg: 4.81 6.71 7.52 6/180 19042
/proc/meminfo: memFree=19900192/32951124 swapFree=67111524/67111528
[pid=19042] ppid=19040 vsize=252184 CPUtime=2.78 cores=0,2,4,6
/proc/19042/stat : 19042 (SArTagnan) R 19040 19042 18612 0 -1 4202496 7551 0 0 0 277 1 0 0 25 0 4 0 503041891 258236416 3335 33554432000 4194304 4623224 140736835620272 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19042/statm: 63046 3335 344 105 0 58550 0
[pid=19042/tid=19043] ppid=19040 vsize=252184 CPUtime=0.69 cores=0,2,4,6
/proc/19042/task/19043/stat : 19043 (SArTagnan) R 19040 19042 18612 0 -1 4202560 1388 0 0 0 69 0 0 0 25 0 4 0 503041892 258236416 3335 33554432000 4194304 4623224 140736835620272 18446744073709551615 4367191 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19042/tid=19044] ppid=19040 vsize=252184 CPUtime=0.69 cores=0,2,4,6
/proc/19042/task/19044/stat : 19044 (SArTagnan) R 19040 19042 18612 0 -1 4202560 1268 0 0 0 69 0 0 0 25 0 4 0 503041892 258236416 3335 33554432000 4194304 4623224 140736835620272 18446744073709551615 4377608 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=252184 CPUtime=0.68 cores=0,2,4,6
/proc/19042/task/19045/stat : 19045 (SArTagnan) R 19040 19042 18612 0 -1 4202560 3347 0 0 0 68 0 0 0 25 0 4 0 503041892 258236416 3335 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376806 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 252184

[startup+1.50045 s]
/proc/loadavg: 4.81 6.71 7.52 9/184 19046
/proc/meminfo: memFree=19880948/32951124 swapFree=67111524/67111528
[pid=19042] ppid=19040 vsize=255608 CPUtime=5.97 cores=0,2,4,6
/proc/19042/stat : 19042 (SArTagnan) R 19040 19042 18612 0 -1 4202496 16043 0 0 0 596 1 0 0 25 0 4 0 503041891 261742592 5245 33554432000 4194304 4623224 140736835620272 18446744073709551615 4517541 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19042/statm: 63902 5245 347 105 0 59406 0
[pid=19042/tid=19043] ppid=19040 vsize=255608 CPUtime=1.48 cores=0,2,4,6
/proc/19042/task/19043/stat : 19043 (SArTagnan) R 19040 19042 18612 0 -1 4202560 2277 0 0 0 148 0 0 0 25 0 4 0 503041892 261742592 5246 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376862 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19042/tid=19044] ppid=19040 vsize=255608 CPUtime=1.48 cores=0,2,4,6
/proc/19042/task/19044/stat : 19044 (SArTagnan) R 19040 19042 18612 0 -1 4202560 2037 0 0 0 148 0 0 0 25 0 4 0 503041892 261742592 5246 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=255608 CPUtime=1.48 cores=0,2,4,6
/proc/19042/task/19045/stat : 19045 (SArTagnan) R 19040 19042 18612 0 -1 4202560 9679 0 0 0 148 0 0 0 25 0 4 0 503041892 261742592 5246 33554432000 4194304 4623224 140736835620272 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 255608

[startup+3.10115 s]
/proc/loadavg: 4.81 6.71 7.52 9/184 19046
/proc/meminfo: memFree=19865076/32951124 swapFree=67111524/67111528
[pid=19042] ppid=19040 vsize=263344 CPUtime=12.37 cores=0,2,4,6
/proc/19042/stat : 19042 (SArTagnan) R 19040 19042 18612 0 -1 4202496 31290 0 0 0 1234 3 0 0 25 0 4 0 503041891 269664256 8394 33554432000 4194304 4623224 140736835620272 18446744073709551615 4510896 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19042/statm: 65836 8394 351 105 0 61340 0
[pid=19042/tid=19043] ppid=19040 vsize=263344 CPUtime=3.08 cores=0,2,4,6
/proc/19042/task/19043/stat : 19043 (SArTagnan) R 19040 19042 18612 0 -1 4202560 3475 0 0 0 308 0 0 0 25 0 4 0 503041892 269664256 8394 33554432000 4194304 4623224 140736835620272 18446744073709551615 4377539 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19042/tid=19044] ppid=19040 vsize=263344 CPUtime=3.07 cores=0,2,4,6
/proc/19042/task/19044/stat : 19044 (SArTagnan) R 19040 19042 18612 0 -1 4202560 4530 0 0 0 307 0 0 0 25 0 4 0 503041892 269664256 8394 33554432000 4194304 4623224 140736835620272 18446744073709551615 4462858 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=263344 CPUtime=3.08 cores=0,2,4,6
/proc/19042/task/19045/stat : 19045 (SArTagnan) R 19040 19042 18612 0 -1 4202560 20503 0 0 0 307 1 0 0 25 0 4 0 503041892 269664256 8394 33554432000 4194304 4623224 140736835620272 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 263344

[startup+6.30055 s]
/proc/loadavg: 5.06 6.73 7.52 9/184 19046
/proc/meminfo: memFree=19833480/32951124 swapFree=67111524/67111528
[pid=19042] ppid=19040 vsize=272108 CPUtime=25.14 cores=0,2,4,6
/proc/19042/stat : 19042 (SArTagnan) R 19040 19042 18612 0 -1 4202496 63723 0 0 0 2507 7 0 0 25 0 4 0 503041891 278638592 12340 33554432000 4194304 4623224 140736835620272 18446744073709551615 4384347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19042/statm: 68027 12340 367 105 0 63531 0
[pid=19042/tid=19043] ppid=19040 vsize=272108 CPUtime=6.28 cores=0,2,4,6
/proc/19042/task/19043/stat : 19043 (SArTagnan) R 19040 19042 18612 0 -1 4202560 5475 0 0 0 628 0 0 0 25 0 4 0 503041892 278638592 12340 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376652 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19042/tid=19044] ppid=19040 vsize=272108 CPUtime=6.25 cores=0,2,4,6
/proc/19042/task/19044/stat : 19044 (SArTagnan) R 19040 19042 18612 0 -1 4202560 7023 0 0 0 625 0 0 0 25 0 4 0 503041892 278638592 12340 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376675 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=272108 CPUtime=6.28 cores=0,2,4,6
/proc/19042/task/19045/stat : 19045 (SArTagnan) R 19040 19042 18612 0 -1 4202560 47891 0 0 0 623 5 0 0 25 0 4 0 503041892 278638592 12340 33554432000 4194304 4623224 140736835620272 18446744073709551615 4550411 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 272108

[startup+12.7003 s]
/proc/loadavg: 5.30 6.75 7.52 9/184 19047
/proc/meminfo: memFree=19787628/32951124 swapFree=67111524/67111528
[pid=19042] ppid=19040 vsize=287040 CPUtime=50.72 cores=0,2,4,6
/proc/19042/stat : 19042 (SArTagnan) R 19040 19042 18612 0 -1 4202496 121779 0 0 0 5054 18 0 0 25 0 4 0 503041891 293928960 19033 33554432000 4194304 4623224 140736835620272 18446744073709551615 4355914 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19042/statm: 71760 19033 403 105 0 67264 0
[pid=19042/tid=19043] ppid=19040 vsize=287040 CPUtime=12.69 cores=0,2,4,6
/proc/19042/task/19043/stat : 19043 (SArTagnan) R 19040 19042 18612 0 -1 4202560 8194 0 0 0 1267 2 0 0 25 0 4 0 503041892 293928960 19033 33554432000 4194304 4623224 140736835620272 18446744073709551615 4292240 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19042/tid=19044] ppid=19040 vsize=287040 CPUtime=12.62 cores=0,2,4,6
/proc/19042/task/19044/stat : 19044 (SArTagnan) R 19040 19042 18612 0 -1 4202560 11214 0 0 0 1261 1 0 0 25 0 4 0 503041892 293928960 19033 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=287040 CPUtime=12.69 cores=0,2,4,6
/proc/19042/task/19045/stat : 19045 (SArTagnan) R 19040 19042 18612 0 -1 4202560 97434 0 0 0 1255 14 0 0 25 0 4 0 503041892 293928960 19033 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376933 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 287040

[startup+25.5009 s]
/proc/loadavg: 5.89 6.81 7.53 9/184 19047
/proc/meminfo: memFree=19726012/32951124 swapFree=67111524/67111528
[pid=19042] ppid=19040 vsize=309056 CPUtime=101.85 cores=0,2,4,6
/proc/19042/stat : 19042 (SArTagnan) R 19040 19042 18612 0 -1 4202496 176383 0 0 0 10158 27 0 0 25 0 4 0 503041891 316473344 27727 33554432000 4194304 4623224 140736835620272 18446744073709551615 4517494 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19042/statm: 77264 27727 457 105 0 72768 0
[pid=19042/tid=19043] ppid=19040 vsize=309056 CPUtime=25.49 cores=0,2,4,6
/proc/19042/task/19043/stat : 19043 (SArTagnan) R 19040 19042 18612 0 -1 4202560 12226 0 0 0 2546 3 0 0 25 0 4 0 503041892 316473344 27727 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376640 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19042/tid=19044] ppid=19040 vsize=309056 CPUtime=25.35 cores=0,2,4,6
/proc/19042/task/19044/stat : 19044 (SArTagnan) R 19040 19042 18612 0 -1 4202560 16352 0 0 0 2533 2 0 0 25 0 4 0 503041892 316473344 27727 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=309056 CPUtime=25.48 cores=0,2,4,6
/proc/19042/task/19045/stat : 19045 (SArTagnan) R 19040 19042 18612 0 -1 4202560 140328 0 0 0 2529 19 0 0 25 0 4 0 503041892 316473344 27727 33554432000 4194304 4623224 140736835620272 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 309056

[startup+51.1011 s]
/proc/loadavg: 6.77 6.94 7.56 9/184 19048
/proc/meminfo: memFree=19653336/32951124 swapFree=67111524/67111528
[pid=19042] ppid=19040 vsize=356920 CPUtime=204.1 cores=0,2,4,6
/proc/19042/stat : 19042 (SArTagnan) R 19040 19042 18612 0 -1 4202496 353796 0 0 0 20357 53 0 0 25 0 4 0 503041891 365486080 37619 33554432000 4194304 4623224 140736835620272 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19042/statm: 89230 37619 535 105 0 84734 0
[pid=19042/tid=19043] ppid=19040 vsize=356920 CPUtime=51.09 cores=0,2,4,6
/proc/19042/task/19043/stat : 19043 (SArTagnan) R 19040 19042 18612 0 -1 4202560 17934 0 0 0 5104 5 0 0 25 0 4 0 503041892 365486080 37619 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19042/tid=19044] ppid=19040 vsize=356920 CPUtime=50.81 cores=0,2,4,6
/proc/19042/task/19044/stat : 19044 (SArTagnan) R 19040 19042 18612 0 -1 4202560 22909 0 0 0 5078 3 0 0 25 0 4 0 503041892 365486080 37620 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=356920 CPUtime=51.09 cores=0,2,4,6
/proc/19042/task/19045/stat : 19045 (SArTagnan) R 19040 19042 18612 0 -1 4202560 296582 0 0 0 5067 42 0 0 25 0 4 0 503041892 365486080 37620 33554432000 4194304 4623224 140736835620272 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 356920

[startup+102.306 s]
/proc/loadavg: 7.47 7.10 7.57 9/184 19049
/proc/meminfo: memFree=19494816/32951124 swapFree=67111524/67111528
[pid=19042] ppid=19040 vsize=388856 CPUtime=408.65 cores=0,2,4,6
/proc/19042/stat : 19042 (SArTagnan) R 19040 19042 18612 0 -1 4202496 608878 0 0 0 40770 95 0 0 25 0 4 0 503041891 398188544 58490 33554432000 4194304 4623224 140736835620272 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19042/statm: 97214 58490 773 105 0 92718 0
[pid=19042/tid=19043] ppid=19040 vsize=388856 CPUtime=102.29 cores=0,2,4,6
/proc/19042/task/19043/stat : 19043 (SArTagnan) R 19040 19042 18612 0 -1 4202560 27202 0 0 0 10223 6 0 0 25 0 4 0 503041892 398188544 58490 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19042/tid=19044] ppid=19040 vsize=388856 CPUtime=101.74 cores=0,2,4,6
/proc/19042/task/19044/stat : 19044 (SArTagnan) R 19040 19042 18612 0 -1 4202560 26655 0 0 0 10169 5 0 0 25 0 4 0 503041892 398188544 58490 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376687 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=388856 CPUtime=102.3 cores=0,2,4,6
/proc/19042/task/19045/stat : 19045 (SArTagnan) R 19040 19042 18612 0 -1 4202560 529017 0 0 0 10151 79 0 0 25 0 4 0 503041892 398188544 58490 33554432000 4194304 4623224 140736835620272 18446744073709551615 4363989 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 388856

[startup+162.301 s]

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

/proc/19042/task/19045/stat : 19045 (SArTagnan) R 19040 19042 18612 0 -1 4202560 2278006 0 0 0 51885 345 0 0 25 0 4 0 503041892 692150272 132155 33554432000 4194304 4623224 140736835620272 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2086.32
Current children cumulated vsize (KiB) 675928

[startup+582.301 s]
/proc/loadavg: 8.00 7.84 7.75 9/184 19062
/proc/meminfo: memFree=18878996/32951124 swapFree=67111524/67111528
[pid=19042] ppid=19040 vsize=698212 CPUtime=2325.99 cores=0,2,4,6
/proc/19042/stat : 19042 (SArTagnan) R 19040 19042 18612 0 -1 4202496 2546918 0 0 0 232201 398 0 0 25 0 4 0 503041891 714969088 140440 33554432000 4194304 4623224 140736835620272 18446744073709551615 4510896 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19042/statm: 174553 140440 1619 105 0 170057 0
[pid=19042/tid=19043] ppid=19040 vsize=698212 CPUtime=582.29 cores=0,2,4,6
/proc/19042/task/19043/stat : 19043 (SArTagnan) R 19040 19042 18612 0 -1 4202560 60100 0 0 0 58215 14 0 0 25 0 4 0 503041892 714969088 140440 33554432000 4194304 4623224 140736835620272 18446744073709551615 4358052 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19042/tid=19044] ppid=19040 vsize=698212 CPUtime=579.11 cores=0,2,4,6
/proc/19042/task/19044/stat : 19044 (SArTagnan) R 19040 19042 18612 0 -1 4202560 56847 0 0 0 57899 12 0 0 25 0 4 0 503041892 714969088 140440 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376883 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=698212 CPUtime=582.3 cores=0,2,4,6
/proc/19042/task/19045/stat : 19045 (SArTagnan) R 19040 19042 18612 0 -1 4202560 2306242 0 0 0 57880 350 0 0 25 0 4 0 503041892 714969088 140440 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2325.99
Current children cumulated vsize (KiB) 698212

[startup+642.3 s]
/proc/loadavg: 8.05 7.89 7.77 9/184 19063
/proc/meminfo: memFree=18806544/32951124 swapFree=67111524/67111528
[pid=19042] ppid=19040 vsize=763748 CPUtime=2565.68 cores=0,2,4,6
/proc/19042/stat : 19042 (SArTagnan) R 19040 19042 18612 0 -1 4202496 2824649 0 0 0 256124 444 0 0 25 0 4 0 503041891 782077952 146027 33554432000 4194304 4623224 140736835620272 18446744073709551615 4510142 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19042/statm: 190937 146027 1645 105 0 186441 0
[pid=19042/tid=19043] ppid=19040 vsize=763748 CPUtime=642.3 cores=0,2,4,6
/proc/19042/task/19043/stat : 19043 (SArTagnan) R 19040 19042 18612 0 -1 4202560 60138 0 0 0 64216 14 0 0 25 0 4 0 503041892 782077952 146027 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376678 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19042/tid=19044] ppid=19040 vsize=763748 CPUtime=638.8 cores=0,2,4,6
/proc/19042/task/19044/stat : 19044 (SArTagnan) R 19040 19042 18612 0 -1 4202560 57766 0 0 0 63867 13 0 0 25 0 4 0 503041892 782077952 146027 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=763748 CPUtime=642.31 cores=0,2,4,6
/proc/19042/task/19045/stat : 19045 (SArTagnan) R 19040 19042 18612 0 -1 4202560 2581596 0 0 0 63835 396 0 0 25 0 4 0 503041892 782077952 146027 33554432000 4194304 4623224 140736835620272 18446744073709551615 4377056 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2565.68
Current children cumulated vsize (KiB) 763748

[startup+702.301 s]
/proc/loadavg: 8.06 7.92 7.79 9/184 19065
/proc/meminfo: memFree=18772636/32951124 swapFree=67111524/67111528
[pid=19042] ppid=19040 vsize=763748 CPUtime=2805.35 cores=0,2,4,6
/proc/19042/stat : 19042 (SArTagnan) R 19040 19042 18612 0 -1 4202496 3075103 0 0 0 280052 483 0 0 25 0 4 0 503041891 782077952 149306 33554432000 4194304 4623224 140736835620272 18446744073709551615 4510978 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19042/statm: 190937 149306 1364 105 0 186441 0
[pid=19042/tid=19043] ppid=19040 vsize=763748 CPUtime=702.29 cores=0,2,4,6
/proc/19042/task/19043/stat : 19043 (SArTagnan) R 19040 19042 18612 0 -1 4202560 60579 0 0 0 70215 14 0 0 25 0 4 0 503041892 782077952 149306 33554432000 4194304 4623224 140736835620272 18446744073709551615 4377804 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19042/tid=19044] ppid=19040 vsize=763748 CPUtime=698.47 cores=0,2,4,6
/proc/19042/task/19044/stat : 19044 (SArTagnan) R 19040 19042 18612 0 -1 4202560 57869 0 0 0 69834 13 0 0 25 0 4 0 503041892 782077952 149306 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376646 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=763748 CPUtime=702.3 cores=0,2,4,6
/proc/19042/task/19045/stat : 19045 (SArTagnan) R 19040 19042 18612 0 -1 4202560 2814021 0 0 0 69800 430 0 0 25 0 4 0 503041892 782077952 149306 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.35
Current children cumulated vsize (KiB) 763748

[startup+762.307 s]
/proc/loadavg: 8.02 7.93 7.80 9/184 19067
/proc/meminfo: memFree=18742080/32951124 swapFree=67111524/67111528
[pid=19042] ppid=19040 vsize=860272 CPUtime=3045.04 cores=0,2,4,6
/proc/19042/stat : 19042 (SArTagnan) R 19040 19042 18612 0 -1 4202496 3415193 0 0 0 303968 536 0 0 25 0 4 0 503041891 880918528 152850 33554432000 4194304 4623224 140736835620272 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19042/statm: 215068 152850 1324 105 0 210572 0
[pid=19042/tid=19043] ppid=19040 vsize=860272 CPUtime=762.3 cores=0,2,4,6
/proc/19042/task/19043/stat : 19043 (SArTagnan) R 19040 19042 18612 0 -1 4202560 61276 0 0 0 76216 14 0 0 25 0 4 0 503041892 880918528 152850 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19042/tid=19044] ppid=19040 vsize=860272 CPUtime=758.15 cores=0,2,4,6
/proc/19042/task/19044/stat : 19044 (SArTagnan) R 19040 19042 18612 0 -1 4202560 57965 0 0 0 75802 13 0 0 25 0 4 0 503041892 880918528 152850 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376649 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=860272 CPUtime=762.31 cores=0,2,4,6
/proc/19042/task/19045/stat : 19045 (SArTagnan) R 19040 19042 18612 0 -1 4202560 3132356 0 0 0 75752 479 0 0 25 0 4 0 503041892 880918528 152850 33554432000 4194304 4623224 140736835620272 18446744073709551615 4550498 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3045.04
Current children cumulated vsize (KiB) 860272

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

[startup+767.901 s]
/proc/loadavg: 8.02 7.93 7.80 9/184 19067
/proc/meminfo: memFree=18739972/32951124 swapFree=67111524/67111528
[pid=19042] ppid=19040 vsize=860272 CPUtime=3067.39 cores=0,2,4,6
/proc/19042/stat : 19042 (SArTagnan) R 19040 19042 18612 0 -1 4202496 3446858 0 0 0 306198 541 0 0 25 0 4 0 503041891 880918528 152287 33554432000 4194304 4623224 140736835620272 18446744073709551615 4510123 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19042/statm: 215068 152287 1300 105 0 210572 0
[pid=19042/tid=19043] ppid=19040 vsize=860272 CPUtime=767.9 cores=0,2,4,6
/proc/19042/task/19043/stat : 19043 (SArTagnan) R 19040 19042 18612 0 -1 4202560 61423 0 0 0 76775 15 0 0 25 0 4 0 503041892 880918528 152287 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19042/tid=19044] ppid=19040 vsize=860272 CPUtime=763.71 cores=0,2,4,6
/proc/19042/task/19044/stat : 19044 (SArTagnan) R 19040 19042 18612 0 -1 4202560 57966 0 0 0 76358 13 0 0 25 0 4 0 503041892 880918528 152287 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=860272 CPUtime=767.9 cores=0,2,4,6
/proc/19042/task/19045/stat : 19045 (SArTagnan) R 19040 19042 18612 0 -1 4202560 3163668 0 0 0 76306 484 0 0 25 0 4 0 503041892 880918528 152287 33554432000 4194304 4623224 140736835620272 18446744073709551615 4577668 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3067.39
Current children cumulated vsize (KiB) 860272

[startup+780.7 s]
/proc/loadavg: 8.01 7.93 7.80 9/184 19067
/proc/meminfo: memFree=18727696/32951124 swapFree=67111524/67111528
[pid=19042] ppid=19040 vsize=860272 CPUtime=3118.52 cores=0,2,4,6
/proc/19042/stat : 19042 (SArTagnan) R 19040 19042 18612 0 -1 4202496 3522711 0 0 0 311299 553 0 0 25 0 4 0 503041891 880918528 153899 33554432000 4194304 4623224 140736835620272 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19042/statm: 215068 153899 1324 105 0 210572 0
[pid=19042/tid=19043] ppid=19040 vsize=860272 CPUtime=780.7 cores=0,2,4,6
/proc/19042/task/19043/stat : 19043 (SArTagnan) R 19040 19042 18612 0 -1 4202560 61430 0 0 0 78055 15 0 0 25 0 4 0 503041892 880918528 153899 33554432000 4194304 4623224 140736835620272 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19042/tid=19044] ppid=19040 vsize=860272 CPUtime=776.45 cores=0,2,4,6
/proc/19042/task/19044/stat : 19044 (SArTagnan) R 19040 19042 18612 0 -1 4202560 57971 0 0 0 77632 13 0 0 25 0 4 0 503041892 880918528 153899 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376612 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=860272 CPUtime=780.71 cores=0,2,4,6
/proc/19042/task/19045/stat : 19045 (SArTagnan) R 19040 19042 18612 0 -1 4202560 3239357 0 0 0 77575 496 0 0 25 0 4 0 503041892 880918528 153899 33554432000 4194304 4623224 140736835620272 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3118.52
Current children cumulated vsize (KiB) 860272

[startup+787.101 s]
/proc/loadavg: 8.01 7.93 7.80 9/184 19067
/proc/meminfo: memFree=18715916/32951124 swapFree=67111524/67111528
[pid=19042] ppid=19040 vsize=860272 CPUtime=3144.09 cores=0,2,4,6
/proc/19042/stat : 19042 (SArTagnan) R 19040 19042 18612 0 -1 4202496 3561409 0 0 0 313850 559 0 0 25 0 4 0 503041891 880918528 154299 33554432000 4194304 4623224 140736835620272 18446744073709551615 4355942 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19042/statm: 215068 154299 1335 105 0 210572 0
[pid=19042/tid=19043] ppid=19040 vsize=860272 CPUtime=787.1 cores=0,2,4,6
/proc/19042/task/19043/stat : 19043 (SArTagnan) R 19040 19042 18612 0 -1 4202560 61459 0 0 0 78695 15 0 0 25 0 4 0 503041892 880918528 154299 33554432000 4194304 4623224 140736835620272 18446744073709551615 4366341 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19042/tid=19044] ppid=19040 vsize=860272 CPUtime=782.81 cores=0,2,4,6
/proc/19042/task/19044/stat : 19044 (SArTagnan) R 19040 19042 18612 0 -1 4202560 57972 0 0 0 78268 13 0 0 25 0 4 0 503041892 880918528 154299 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=860272 CPUtime=787.11 cores=0,2,4,6
/proc/19042/task/19045/stat : 19045 (SArTagnan) R 19040 19042 18612 0 -1 4202560 3277977 0 0 0 78209 502 0 0 25 0 4 0 503041892 880918528 154299 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3144.09
Current children cumulated vsize (KiB) 860272

[startup+790.301 s]
/proc/loadavg: 8.01 7.93 7.80 9/184 19067
/proc/meminfo: memFree=18712312/32951124 swapFree=67111524/67111528
[pid=19042] ppid=19040 vsize=860272 CPUtime=3156.87 cores=0,2,4,6
/proc/19042/stat : 19042 (SArTagnan) R 19040 19042 18612 0 -1 4202496 3574887 0 0 0 315127 560 0 0 25 0 4 0 503041891 880918528 154712 33554432000 4194304 4623224 140736835620272 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19042/statm: 215068 154712 1322 105 0 210572 0
[pid=19042/tid=19043] ppid=19040 vsize=860272 CPUtime=790.3 cores=0,2,4,6
/proc/19042/task/19043/stat : 19043 (SArTagnan) R 19040 19042 18612 0 -1 4202560 61466 0 0 0 79015 15 0 0 25 0 4 0 503041892 880918528 154712 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19042/tid=19044] ppid=19040 vsize=860272 CPUtime=785.99 cores=0,2,4,6
/proc/19042/task/19044/stat : 19044 (SArTagnan) R 19040 19042 18612 0 -1 4202560 57972 0 0 0 78586 13 0 0 25 0 4 0 503041892 880918528 154712 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=860272 CPUtime=790.31 cores=0,2,4,6
/proc/19042/task/19045/stat : 19045 (SArTagnan) R 19040 19042 18612 0 -1 4202560 3291143 0 0 0 78527 504 0 0 25 0 4 0 503041892 880918528 154712 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3156.87
Current children cumulated vsize (KiB) 860272

[startup+791.1 s]
/proc/loadavg: 8.01 7.93 7.80 9/184 19067
/proc/meminfo: memFree=18717148/32951124 swapFree=67111524/67111528
[pid=19042] ppid=19040 vsize=860272 CPUtime=3160.07 cores=0,2,4,6
/proc/19042/stat : 19042 (SArTagnan) R 19040 19042 18612 0 -1 4202496 3579343 0 0 0 315446 561 0 0 25 0 4 0 503041891 880918528 154300 33554432000 4194304 4623224 140736835620272 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19042/statm: 215068 154300 1300 105 0 210572 0
[pid=19042/tid=19043] ppid=19040 vsize=860272 CPUtime=791.1 cores=0,2,4,6
/proc/19042/task/19043/stat : 19043 (SArTagnan) R 19040 19042 18612 0 -1 4202560 61485 0 0 0 79095 15 0 0 25 0 4 0 503041892 880918528 154300 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19042/tid=19044] ppid=19040 vsize=860272 CPUtime=786.79 cores=0,2,4,6
/proc/19042/task/19044/stat : 19044 (SArTagnan) R 19040 19042 18612 0 -1 4202560 57972 0 0 0 78666 13 0 0 25 0 4 0 503041892 880918528 154300 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376652 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=860272 CPUtime=791.11 cores=0,2,4,6
/proc/19042/task/19045/stat : 19045 (SArTagnan) R 19040 19042 18612 0 -1 4202560 3295449 0 0 0 78607 504 0 0 25 0 4 0 503041892 880918528 154300 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3160.07
Current children cumulated vsize (KiB) 860272

[startup+791.5 s]
/proc/loadavg: 8.01 7.93 7.80 9/184 19067
/proc/meminfo: memFree=18717148/32951124 swapFree=67111524/67111528
[pid=19042] ppid=19040 vsize=860272 CPUtime=3161.67 cores=0,2,4,6
/proc/19042/stat : 19042 (SArTagnan) R 19040 19042 18612 0 -1 4202496 3581537 0 0 0 315606 561 0 0 25 0 4 0 503041891 880918528 154997 33554432000 4194304 4623224 140736835620272 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19042/statm: 215068 154997 1328 105 0 210572 0
[pid=19042/tid=19043] ppid=19040 vsize=860272 CPUtime=791.5 cores=0,2,4,6
/proc/19042/task/19043/stat : 19043 (SArTagnan) R 19040 19042 18612 0 -1 4202560 61495 0 0 0 79135 15 0 0 25 0 4 0 503041892 880918528 154997 33554432000 4194304 4623224 140736835620272 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19042/tid=19044] ppid=19040 vsize=860272 CPUtime=787.19 cores=0,2,4,6
/proc/19042/task/19044/stat : 19044 (SArTagnan) R 19040 19042 18612 0 -1 4202560 57972 0 0 0 78706 13 0 0 25 0 4 0 503041892 880918528 154997 33554432000 4194304 4623224 140736835620272 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=860272 CPUtime=791.51 cores=0,2,4,6
/proc/19042/task/19045/stat : 19045 (SArTagnan) R 19040 19042 18612 0 -1 4202560 3297633 0 0 0 78647 504 0 0 25 0 4 0 503041892 880918528 154997 33554432000 4194304 4623224 140736835620272 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3161.67
Current children cumulated vsize (KiB) 860272

[startup+791.9 s]
/proc/loadavg: 8.01 7.93 7.80 9/184 19067
/proc/meminfo: memFree=18714172/32951124 swapFree=67111524/67111528
[pid=19042] ppid=19040 vsize=860272 CPUtime=3163.28 cores=0,2,4,6
/proc/19042/stat : 19042 (SArTagnan) R 19040 19042 18612 0 -1 4202496 3582872 0 0 0 315767 561 0 0 25 0 4 0 503041891 880918528 154899 33554432000 4194304 4623224 140736835620272 18446744073709551615 4510475 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19042/statm: 215068 154899 1317 105 0 210572 0
[pid=19042/tid=19043] ppid=19040 vsize=860272 CPUtime=791.91 cores=0,2,4,6
/proc/19042/task/19043/stat : 19043 (SArTagnan) R 19040 19042 18612 0 -1 4202560 61505 0 0 0 79176 15 0 0 25 0 4 0 503041892 880918528 154899 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376778 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19042/tid=19044] ppid=19040 vsize=860272 CPUtime=787.59 cores=0,2,4,6
/proc/19042/task/19044/stat : 19044 (SArTagnan) R 19040 19042 18612 0 -1 4202560 57972 0 0 0 78746 13 0 0 25 0 4 0 503041892 880918528 154899 33554432000 4194304 4623224 140736835620272 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=860272 CPUtime=791.92 cores=0,2,4,6
/proc/19042/task/19045/stat : 19045 (SArTagnan) R 19040 19042 18612 0 -1 4202560 3298958 0 0 0 78687 505 0 0 25 0 4 0 503041892 880918528 154899 33554432000 4194304 4623224 140736835620272 18446744073709551615 4364107 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3163.28
Current children cumulated vsize (KiB) 860272

Child status: 10
Real time (s): 791.939
CPU time (s): 3163.33
CPU user time (s): 3157.68
CPU system time (s): 5.64614
CPU usage (%): 399.441
Max. virtual memory (cumulated for all children) (KiB): 860272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3157.68
system time used= 5.64614
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3582885
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= 471
involuntary context switches= 14525

runsolver used 1.2968 second user time and 3.02454 second system time

The end

Launcher Data 

Begin job on node141 at 2011-04-29 21:44:23
IDJOB=3264776
IDBENCH=85343
IDSOLVER=1656
FILE ID=node141/3264776-1304106263
RUNJOBID= node141-1304106242-18959
PBS_JOBID= 13170633
Free space on /tmp= 71424 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3264776-1304106263/watcher-3264776-1304106263 -o /tmp/evaluation-result-3264776-1304106263/solver-3264776-1304106263 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3264776-1304106263.cnf -threads=4

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= dfc7796289f8cacbd4db5eb947a1ba09
RANDOM SEED=596471038

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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:      19900456 kB
Buffers:       1545432 kB
Cached:       10805632 kB
SwapCached:          4 kB
Active:        3796056 kB
Inactive:      8672548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19900456 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            1236 kB
Writeback:           0 kB
AnonPages:      117104 kB
Mapped:          15452 kB
Slab:           517728 kB
PageTables:       4868 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   294748 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= 71424 MiB
End job on node141 at 2011-04-29 21:57:35