Trace number 3385462

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
borg-sat 11.03.02-par-random (fixed)SAT 14.3628 2.41879

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v400-c1704-S1864619158-076.SATISFIABLE.cnf
MD5SUM420c3b1966635ea800a6b2af1a449f73
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.005998
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of clauses1704
Sum of the clauses size5112
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31704
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.31/0.47	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.31/0.47	c INFO: solving HOME/instance-3385462-1305566896.cnf
0.31/0.47	c INFO: computing task features
0.31/0.47	c INFO: computed variable-clause graph statistics
0.31/0.48	c INFO: computed clause balance statistics
0.40/0.50	c INFO: computed variable balance statistics
0.40/0.53	c INFO: computed small-clause counts
0.40/0.53	c INFO: computed Horn-clause counts
0.40/0.53	c INFO: computed variable graph statistics
0.40/0.53	c INFO: collected features for HOME/instance-3385462-1305566896.cnf in 0.06 s
0.40/0.56	c INFO: running gnovelty+2@0 for 97 with 4999 remaining (b = 0.56)
0.40/0.59	c INFO: running march_hi@0 for 388 with 4999 remaining (b = 0.39)
0.50/0.62	c INFO: running march_hi@0 for 388 with 4999 remaining (b = 0.34)
0.50/0.65	c INFO: running march_hi@0 for 485 with 4999 remaining (b = 0.34)
0.50/0.68	c INFO: running march_hi@0 for 97 with 4999 remaining (b = 0.11)
0.59/0.71	c INFO: running TNM@0 for 97 with 4999 remaining (b = 0.07)
0.59/0.74	c INFO: running march_hi@0 for 485 with 4999 remaining (b = 0.24)
0.59/0.78	c INFO: running march_hi@0 for 485 with 4999 remaining (b = 0.21)
13.52/2.39	s SATISFIABLE
13.52/2.39	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 -340 341 342 343 344 -345 -346 347 348 349 -350 -351 352 -353 354 355 356 357 -358 -359 360 -361 362 -363 364 -365 -366 -367 368 369 -370 -371 372 373 374 -375 -376 377 -378 379 380 -381 -382 383 -384 385 386 387 -388 389 -390 -391 -392 393 394 -395 -396 -397 -398 -399 400 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3385462-1305566896/watcher-3385462-1305566896 -o /tmp/evaluation-result-3385462-1305566896/solver-3385462-1305566896 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3385462-1305566896.cnf -seed 1816501956 -budget 40000 -cores 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: 7.87 8.27 7.24 2/370 3696
/proc/meminfo: memFree=12664436/32950928 swapFree=54713412/67111528
[pid=3696] ppid=3694 vsize=15384 CPUtime=0 cores=0-7
/proc/3696/stat : 3696 (python) R 3694 3696 3087 0 -1 4202496 810 0 0 0 0 0 0 0 25 0 1 0 668288347 15753216 696 33554432000 4194304 5683644 140735066143664 18446744073709551615 235594864640 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3696/statm: 3846 696 334 364 0 333 0

[startup+0.097379 s]
/proc/loadavg: 7.87 8.27 7.24 2/370 3696
/proc/meminfo: memFree=12664436/32950928 swapFree=54713412/67111528
[pid=3696] ppid=3694 vsize=102012 CPUtime=0.06 cores=0-7
/proc/3696/stat : 3696 (python) R 3694 3696 3087 0 -1 4202496 3013 0 0 0 4 2 0 0 17 0 1 0 668288347 104460288 2705 33554432000 4194304 5683644 140735066143664 18446744073709551615 235594866320 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3696/statm: 25503 2717 841 364 0 1803 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 102012

[startup+0.100405 s]
/proc/loadavg: 7.87 8.27 7.24 2/370 3696
/proc/meminfo: memFree=12664436/32950928 swapFree=54713412/67111528
[pid=3696] ppid=3694 vsize=104224 CPUtime=0.06 cores=0-7
/proc/3696/stat : 3696 (python) S 3694 3696 3087 0 -1 4202496 3049 0 0 0 4 2 0 0 17 0 1 0 668288347 106725376 2733 33554432000 4194304 5683644 140735066143664 18446744073709551615 235594864640 0 2147483391 16781312 2 18446744071699215550 0 0 17 4 0 0 0
/proc/3696/statm: 26056 2733 847 364 0 1804 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 104224

[startup+0.300344 s]
/proc/loadavg: 7.87 8.27 7.24 2/370 3696
/proc/meminfo: memFree=12664436/32950928 swapFree=54713412/67111528
[pid=3696] ppid=3694 vsize=168676 CPUtime=0.23 cores=0-7
/proc/3696/stat : 3696 (python) R 3694 3696 3087 0 -1 4202496 6718 933 1 0 17 6 0 0 18 0 1 0 668288347 172724224 4797 33554432000 4194304 5683644 140735066143664 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3696/statm: 42169 4797 1331 364 0 3454 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 168676

[startup+0.700273 s]
/proc/loadavg: 7.87 8.27 7.24 2/370 3696
/proc/meminfo: memFree=12664436/32950928 swapFree=54713412/67111528
[pid=3696] ppid=3694 vsize=396028 CPUtime=0.59 cores=0-7
/proc/3696/stat : 3696 (python) R 3694 3696 3087 0 -1 4202496 13578 933 1 0 50 9 0 0 21 0 6 0 668288347 405532672 7262 33554432000 4194304 5683644 140735066143664 18446744073709551615 235598305235 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3696/statm: 99007 7262 1882 364 0 34913 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 396028

[startup+1.50113 s]
/proc/loadavg: 7.87 8.27 7.24 9/395 3725
/proc/meminfo: memFree=12605692/32950928 swapFree=54713412/67111528
[pid=3696] ppid=3694 vsize=426796 CPUtime=0.68 cores=0-7
/proc/3696/stat : 3696 (python) S 3694 3696 3087 0 -1 4202496 15568 933 1 0 58 10 0 0 23 0 9 0 668288347 437039104 7407 33554432000 4194304 5683644 140735066143664 18446744073709551615 235606693323 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3696/statm: 106699 7407 1889 364 0 42596 0
[pid=3702] ppid=3696 vsize=278568 CPUtime=0 cores=0-7
/proc/3702/stat : 3702 (python) S 3696 3696 3087 0 -1 4202560 731 0 0 0 0 0 0 0 19 0 1 0 668288404 285253632 5569 33554432000 4194304 5683644 140735066143664 18446744073709551615 235594886671 0 0 16781312 514 4605111492944068607 0 0 17 1 0 0 0
/proc/3702/statm: 69642 5569 354 364 0 5560 0
[pid=3704] ppid=3702 vsize=1017800 CPUtime=0.93 cores=0-7
/proc/3704/stat : 3704 (gnovelty+2) R 3702 3704 3704 0 -1 4202496 431 0 0 0 93 0 0 0 23 0 1 0 668288404 1042227200 168 33554432000 134512640 135663704 4289846256 18446744073709551615 134545682 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/3704/statm: 254450 168 113 282 0 254166 0
[pid=3705] ppid=3696 vsize=289312 CPUtime=0 cores=0-7
/proc/3705/stat : 3705 (python) S 3696 3696 3087 0 -1 4202560 751 0 0 0 0 0 0 0 15 0 1 0 668288407 296255488 5685 33554432000 4194304 5683644 140735066143664 18446744073709551615 235594886726 0 0 16781312 514 6384534173301833986 0 0 17 1 0 0 0
/proc/3705/statm: 72328 5685 348 364 0 8243 0
[pid=3707] ppid=3705 vsize=1972 CPUtime=0.9 cores=0-7
/proc/3707/stat : 3707 (march_hi) R 3705 3707 3707 0 -1 4202496 577 0 0 0 90 0 0 0 25 0 1 0 668288407 2019328 314 33554432000 4194304 4955518 140733303117952 18446744073709551615 4235388 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/3707/statm: 493 314 104 186 0 306 0
[pid=3708] ppid=3696 vsize=364732 CPUtime=0 cores=0-7
/proc/3708/stat : 3708 (python) S 3696 3696 3087 0 -1 4202560 756 0 0 0 0 0 0 0 15 0 1 0 668288410 373485568 5595 33554432000 4194304 5683644 140735066143664 18446744073709551615 235594886726 0 0 16781312 514 13988351970721628419 0 0 17 1 0 0 0
/proc/3708/statm: 91183 5595 348 364 0 27095 0
[pid=3710] ppid=3708 vsize=1972 CPUtime=0.87 cores=0-7
/proc/3710/stat : 3710 (march_hi) R 3708 3710 3710 0 -1 4202496 579 0 0 0 87 0 0 0 25 0 1 0 668288410 2019328 314 33554432000 4194304 4955518 140736126260896 18446744073709551615 4224658 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/3710/statm: 493 314 104 186 0 306 0
[pid=3711] ppid=3696 vsize=375528 CPUtime=0 cores=0-7
/proc/3711/stat : 3711 (python) S 3696 3696 3087 0 -1 4202560 770 0 0 0 0 0 0 0 15 0 1 0 668288413 384540672 5720 33554432000 4194304 5683644 140735066143664 18446744073709551615 235594886726 0 0 16781312 514 864598773773336835 0 0 17 4 0 0 0
/proc/3711/statm: 93882 5720 348 364 0 29791 0
[pid=3713] ppid=3711 vsize=1972 CPUtime=0.84 cores=0-7
/proc/3713/stat : 3713 (march_hi) R 3711 3713 3713 0 -1 4202496 582 0 0 0 84 0 0 0 23 0 1 0 668288413 2019328 314 33554432000 4194304 4955518 140734599006896 18446744073709551615 4224682 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/3713/statm: 493 314 104 186 0 306 0
[pid=3714] ppid=3696 vsize=385784 CPUtime=0 cores=0-7
/proc/3714/stat : 3714 (python) S 3696 3696 3087 0 -1 4202560 769 0 0 0 0 0 0 0 15 0 1 0 668288416 395042816 5724 33554432000 4194304 5683644 140735066143664 18446744073709551615 235594886726 0 0 16781312 514 17875811670165520643 0 0 17 1 0 0 0
/proc/3714/statm: 96446 5724 348 364 0 32352 0
[pid=3716] ppid=3714 vsize=1972 CPUtime=0.78 cores=0-7
/proc/3716/stat : 3716 (march_hi) R 3714 3716 3716 0 -1 4202496 578 0 0 0 78 0 0 0 25 0 1 0 668288416 2019328 312 33554432000 4194304 4955518 140736911348048 18446744073709551615 4227518 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/3716/statm: 493 312 104 186 0 306 0
[pid=3717] ppid=3696 vsize=396040 CPUtime=0 cores=0-7
/proc/3717/stat : 3717 (python) S 3696 3696 3087 0 -1 4202560 744 0 0 0 0 0 0 0 24 0 1 0 668288419 405544960 5724 33554432000 4194304 5683644 140735066143664 18446744073709551615 235594886726 0 0 16781312 514 17621164502294724607 0 0 17 1 0 0 0
/proc/3717/statm: 99010 5724 344 364 0 34913 0
[pid=3719] ppid=3717 vsize=454912 CPUtime=0.76 cores=0-7
/proc/3719/stat : 3719 (TNM) R 3717 3719 3719 0 -1 4202496 427 0 0 0 76 0 0 0 25 0 1 0 668288419 465829888 161 33554432000 134512640 135008748 4287169264 18446744073709551615 134527320 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/3719/statm: 113728 161 46 122 0 112628 0
[pid=3720] ppid=3696 vsize=406296 CPUtime=0 cores=0-7
/proc/3720/stat : 3720 (python) S 3696 3696 3087 0 -1 4202560 743 0 0 0 0 0 0 0 16 0 1 0 668288422 416047104 5904 33554432000 4194304 5683644 140735066143664 18446744073709551615 235594886726 0 0 16781312 514 12870496090947813635 0 0 17 1 0 0 0
/proc/3720/statm: 101574 5904 348 364 0 37474 0
[pid=3722] ppid=3720 vsize=1972 CPUtime=0.71 cores=0-7
/proc/3722/stat : 3722 (march_hi) R 3720 3722 3722 0 -1 4202496 570 0 0 0 71 0 0 0 25 0 1 0 668288424 2019328 311 33554432000 4194304 4955518 140733264865936 18446744073709551615 4224648 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/3722/statm: 493 311 104 186 0 306 0
[pid=3723] ppid=3696 vsize=416552 CPUtime=0 cores=0-7
/proc/3723/stat : 3723 (python) S 3696 3696 3087 0 -1 4202560 785 0 0 0 0 0 0 0 18 0 1 0 668288426 426549248 5870 33554432000 4194304 5683644 140735066143664 18446744073709551615 235594886726 0 0 16781312 514 6090168522267132163 0 0 17 1 0 0 0
/proc/3723/statm: 104138 5870 355 364 0 40035 0
[pid=3725] ppid=3723 vsize=1972 CPUtime=0.67 cores=0-7
/proc/3725/stat : 3725 (march_hi) R 3723 3725 3725 0 -1 4202496 576 0 0 0 67 0 0 0 25 0 1 0 668288428 2019328 311 33554432000 4194304 4955518 140733255287952 18446744073709551615 4238422 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/3725/statm: 493 311 104 186 0 306 0
[pid=3696/tid=3703] ppid=3694 vsize=426796 CPUtime=0 cores=0-7
/proc/3696/task/3703/stat : 3703 (python) S 3694 3696 3087 0 -1 4202560 26 933 0 0 0 0 0 0 19 0 9 0 668288404 437039104 7407 33554432000 4194304 5683644 140735066143664 18446744073709551615 235606690225 0 0 16781312 2 18446604452720474816 0 0 -1 0 0 0 0
[pid=3696/tid=3706] ppid=3694 vsize=426796 CPUtime=0 cores=0-7
/proc/3696/task/3706/stat : 3706 (python) S 3694 3696 3087 0 -1 4202560 20 933 0 0 0 0 0 0 18 0 9 0 668288407 437039104 7407 33554432000 4194304 5683644 140735066143664 18446744073709551615 235606690225 0 0 16781312 2 18446604452720474816 0 0 -1 3 0 0 0
[pid=3696/tid=3709] ppid=3694 vsize=426796 CPUtime=0 cores=0-7
/proc/3696/task/3709/stat : 3709 (python) S 3694 3696 3087 0 -1 4202560 19 933 0 0 0 0 0 0 19 0 9 0 668288410 437039104 7407 33554432000 4194304 5683644 140735066143664 18446744073709551615 235606690225 0 0 16781312 2 18446604452720474816 0 0 -1 6 0 0 0
[pid=3696/tid=3712] ppid=3694 vsize=426796 CPUtime=0 cores=0-7
/proc/3696/task/3712/stat : 3712 (python) S 3694 3696 3087 0 -1 4202560 22 933 0 0 0 0 0 0 20 0 9 0 668288413 437039104 7407 33554432000 4194304 5683644 140735066143664 18446744073709551615 235606690225 0 0 16781312 2 18446604452720474816 0 0 -1 0 0 0 0
[pid=3696/tid=3715] ppid=3694 vsize=426796 CPUtime=0 cores=0-7
/proc/3696/task/3715/stat : 3715 (python) S 3694 3696 3087 0 -1 4202560 25 933 0 0 0 0 0 0 21 0 9 0 668288416 437039104 7407 33554432000 4194304 5683644 140735066143664 18446744073709551615 235606690225 0 0 16781312 2 18446604452720474816 0 0 -1 0 0 0 0
[pid=3696/tid=3718] ppid=3694 vsize=426796 CPUtime=0 cores=0-7
/proc/3696/task/3718/stat : 3718 (python) S 3694 3696 3087 0 -1 4202560 26 933 0 0 0 0 0 0 22 0 9 0 668288419 437039104 7407 33554432000 4194304 5683644 140735066143664 18446744073709551615 235606690225 0 0 16781312 2 18446604452720474816 0 0 -1 7 0 0 0
[pid=3696/tid=3721] ppid=3694 vsize=426796 CPUtime=0 cores=0-7
/proc/3696/task/3721/stat : 3721 (python) S 3694 3696 3087 0 -1 4202560 76 933 0 0 0 0 0 0 23 0 9 0 668288422 437039104 7407 33554432000 4194304 5683644 140735066143664 18446744073709551615 235606690225 0 0 16781312 2 18446604452720474816 0 0 -1 1 0 0 0
[pid=3696/tid=3724] ppid=3694 vsize=426796 CPUtime=0 cores=0-7
/proc/3696/task/3724/stat : 3724 (python) S 3694 3696 3087 0 -1 4202560 31 933 0 0 0 0 0 0 24 0 9 0 668288426 437039104 7407 33554432000 4194304 5683644 140735066143664 18446744073709551615 235606690225 0 0 16781312 2 18446604452720474816 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.14
Current children cumulated vsize (KiB) 4824152

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

[startup+1.90106 s]
/proc/loadavg: 7.87 8.27 7.24 9/395 3725
/proc/meminfo: memFree=12605692/32950928 swapFree=54713412/67111528
[pid=3696] ppid=3694 vsize=426796 CPUtime=0.68 cores=0-7
/proc/3696/stat : 3696 (python) S 3694 3696 3087 0 -1 4202496 15568 933 1 0 58 10 0 0 23 0 9 0 668288347 437039104 7407 33554432000 4194304 5683644 140735066143664 18446744073709551615 235606693323 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3696/statm: 106699 7407 1889 364 0 42596 0
[pid=3702] ppid=3696 vsize=278568 CPUtime=0 cores=0-7
/proc/3702/stat : 3702 (python) S 3696 3696 3087 0 -1 4202560 731 0 0 0 0 0 0 0 18 0 1 0 668288404 285253632 5569 33554432000 4194304 5683644 140735066143664 18446744073709551615 235594886671 0 0 16781312 514 4605111492944036097 0 0 17 1 0 0 0
/proc/3702/statm: 69642 5569 354 364 0 5560 0
[pid=3704] ppid=3702 vsize=1017800 CPUtime=1.33 cores=0-7
/proc/3704/stat : 3704 (gnovelty+2) R 3702 3704 3704 0 -1 4202496 431 0 0 0 133 0 0 0 25 0 1 0 668288404 1042227200 168 33554432000 134512640 135663704 4289846256 18446744073709551615 134524681 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/3704/statm: 254450 168 113 282 0 254166 0
[pid=3705] ppid=3696 vsize=289312 CPUtime=0 cores=0-7
/proc/3705/stat : 3705 (python) S 3696 3696 3087 0 -1 4202560 751 0 0 0 0 0 0 0 15 0 1 0 668288407 296255488 5685 33554432000 4194304 5683644 140735066143664 18446744073709551615 235594886726 0 0 16781312 514 6384534173301833986 0 0 17 1 0 0 0
/proc/3705/statm: 72328 5685 348 364 0 8243 0
[pid=3707] ppid=3705 vsize=1972 CPUtime=1.3 cores=0-7
/proc/3707/stat : 3707 (march_hi) R 3705 3707 3707 0 -1 4202496 584 0 0 0 130 0 0 0 25 0 1 0 668288407 2019328 321 33554432000 4194304 4955518 140733303117952 18446744073709551615 4224648 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/3707/statm: 493 321 104 186 0 306 0
[pid=3708] ppid=3696 vsize=364732 CPUtime=0 cores=0-7
/proc/3708/stat : 3708 (python) S 3696 3696 3087 0 -1 4202560 756 0 0 0 0 0 0 0 15 0 1 0 668288410 373485568 5595 33554432000 4194304 5683644 140735066143664 18446744073709551615 235594886726 0 0 16781312 514 13988351970721628419 0 0 17 1 0 0 0
/proc/3708/statm: 91183 5595 348 364 0 27095 0
[pid=3710] ppid=3708 vsize=1972 CPUtime=1.27 cores=0-7
/proc/3710/stat : 3710 (march_hi) R 3708 3710 3710 0 -1 4202496 586 0 0 0 127 0 0 0 25 0 1 0 668288410 2019328 321 33554432000 4194304 4955518 140736126260896 18446744073709551615 4209701 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/3710/statm: 493 321 104 186 0 306 0
[pid=3711] ppid=3696 vsize=375528 CPUtime=0 cores=0-7
/proc/3711/stat : 3711 (python) S 3696 3696 3087 0 -1 4202560 770 0 0 0 0 0 0 0 15 0 1 0 668288413 384540672 5720 33554432000 4194304 5683644 140735066143664 18446744073709551615 235594886726 0 0 16781312 514 864598773773336835 0 0 17 4 0 0 0
/proc/3711/statm: 93882 5720 348 364 0 29791 0
[pid=3713] ppid=3711 vsize=1972 CPUtime=1.24 cores=0-7
/proc/3713/stat : 3713 (march_hi) R 3711 3713 3713 0 -1 4202496 589 0 0 0 124 0 0 0 25 0 1 0 668288413 2019328 321 33554432000 4194304 4955518 140734599006896 18446744073709551615 4227831 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/3713/statm: 493 321 104 186 0 306 0
[pid=3714] ppid=3696 vsize=385784 CPUtime=0 cores=0-7
/proc/3714/stat : 3714 (python) S 3696 3696 3087 0 -1 4202560 769 0 0 0 0 0 0 0 15 0 1 0 668288416 395042816 5724 33554432000 4194304 5683644 140735066143664 18446744073709551615 235594886726 0 0 16781312 514 17875811670165520643 0 0 17 1 0 0 0
/proc/3714/statm: 96446 5724 348 364 0 32352 0
[pid=3716] ppid=3714 vsize=1972 CPUtime=1.18 cores=0-7
/proc/3716/stat : 3716 (march_hi) R 3714 3716 3716 0 -1 4202496 586 0 0 0 118 0 0 0 25 0 1 0 668288416 2019328 320 33554432000 4194304 4955518 140736911348048 18446744073709551615 4209664 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/3716/statm: 493 320 104 186 0 306 0
[pid=3717] ppid=3696 vsize=396040 CPUtime=0 cores=0-7
/proc/3717/stat : 3717 (python) S 3696 3696 3087 0 -1 4202560 762 0 0 0 0 0 0 0 18 0 1 0 668288419 405544960 5728 33554432000 4194304 5683644 140735066143664 18446744073709551615 235594886726 0 0 16781312 514 17621164502294724607 0 0 17 1 0 0 0
/proc/3717/statm: 99010 5728 348 364 0 34913 0
[pid=3719] ppid=3717 vsize=454912 CPUtime=1.16 cores=0-7
/proc/3719/stat : 3719 (TNM) R 3717 3719 3719 0 -1 4202496 427 0 0 0 116 0 0 0 25 0 1 0 668288419 465829888 161 33554432000 134512640 135008748 4287169264 18446744073709551615 134529528 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/3719/statm: 113728 161 46 122 0 112628 0
[pid=3720] ppid=3696 vsize=406296 CPUtime=0 cores=0-7
/proc/3720/stat : 3720 (python) S 3696 3696 3087 0 -1 4202560 743 0 0 0 0 0 0 0 15 0 1 0 668288422 416047104 5904 33554432000 4194304 5683644 140735066143664 18446744073709551615 235594886726 0 0 16781312 514 12870496090947813635 0 0 17 1 0 0 0
/proc/3720/statm: 101574 5904 348 364 0 37474 0
[pid=3722] ppid=3720 vsize=1972 CPUtime=1.11 cores=0-7
/proc/3722/stat : 3722 (march_hi) R 3720 3722 3722 0 -1 4202496 579 0 0 0 111 0 0 0 25 0 1 0 668288424 2019328 320 33554432000 4194304 4955518 140733264865936 18446744073709551615 4224631 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/3722/statm: 493 320 104 186 0 306 0
[pid=3723] ppid=3696 vsize=416552 CPUtime=0 cores=0-7
/proc/3723/stat : 3723 (python) S 3696 3696 3087 0 -1 4202560 785 0 0 0 0 0 0 0 15 0 1 0 668288426 426549248 5870 33554432000 4194304 5683644 140735066143664 18446744073709551615 235594886726 0 0 16781312 514 6090168522267132163 0 0 17 1 0 0 0
/proc/3723/statm: 104138 5870 355 364 0 40035 0
[pid=3725] ppid=3723 vsize=1972 CPUtime=1.07 cores=0-7
/proc/3725/stat : 3725 (march_hi) R 3723 3725 3725 0 -1 4202496 585 0 0 0 107 0 0 0 25 0 1 0 668288428 2019328 320 33554432000 4194304 4955518 140733255287952 18446744073709551615 4209787 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/3725/statm: 493 320 104 186 0 306 0
[pid=3696/tid=3703] ppid=3694 vsize=426796 CPUtime=0 cores=0-7
/proc/3696/task/3703/stat : 3703 (python) S 3694 3696 3087 0 -1 4202560 26 933 0 0 0 0 0 0 19 0 9 0 668288404 437039104 7407 33554432000 4194304 5683644 140735066143664 18446744073709551615 235606690225 0 0 16781312 2 18446604452720474816 0 0 -1 0 0 0 0
[pid=3696/tid=3706] ppid=3694 vsize=426796 CPUtime=0 cores=0-7
/proc/3696/task/3706/stat : 3706 (python) S 3694 3696 3087 0 -1 4202560 20 933 0 0 0 0 0 0 18 0 9 0 668288407 437039104 7407 33554432000 4194304 5683644 140735066143664 18446744073709551615 235606690225 0 0 16781312 2 18446604452720474816 0 0 -1 3 0 0 0
[pid=3696/tid=3709] ppid=3694 vsize=426796 CPUtime=0 cores=0-7
/proc/3696/task/3709/stat : 3709 (python) S 3694 3696 3087 0 -1 4202560 19 933 0 0 0 0 0 0 19 0 9 0 668288410 437039104 7407 33554432000 4194304 5683644 140735066143664 18446744073709551615 235606690225 0 0 16781312 2 18446604452720474816 0 0 -1 6 0 0 0
[pid=3696/tid=3712] ppid=3694 vsize=426796 CPUtime=0 cores=0-7
/proc/3696/task/3712/stat : 3712 (python) S 3694 3696 3087 0 -1 4202560 22 933 0 0 0 0 0 0 20 0 9 0 668288413 437039104 7407 33554432000 4194304 5683644 140735066143664 18446744073709551615 235606690225 0 0 16781312 2 18446604452720474816 0 0 -1 0 0 0 0
[pid=3696/tid=3715] ppid=3694 vsize=426796 CPUtime=0 cores=0-7
/proc/3696/task/3715/stat : 3715 (python) S 3694 3696 3087 0 -1 4202560 25 933 0 0 0 0 0 0 21 0 9 0 668288416 437039104 7407 33554432000 4194304 5683644 140735066143664 18446744073709551615 235606690225 0 0 16781312 2 18446604452720474816 0 0 -1 0 0 0 0
[pid=3696/tid=3718] ppid=3694 vsize=426796 CPUtime=0 cores=0-7
/proc/3696/task/3718/stat : 3718 (python) S 3694 3696 3087 0 -1 4202560 26 933 0 0 0 0 0 0 22 0 9 0 668288419 437039104 7407 33554432000 4194304 5683644 140735066143664 18446744073709551615 235606690225 0 0 16781312 2 18446604452720474816 0 0 -1 7 0 0 0
[pid=3696/tid=3721] ppid=3694 vsize=426796 CPUtime=0 cores=0-7
/proc/3696/task/3721/stat : 3721 (python) S 3694 3696 3087 0 -1 4202560 76 933 0 0 0 0 0 0 23 0 9 0 668288422 437039104 7407 33554432000 4194304 5683644 140735066143664 18446744073709551615 235606690225 0 0 16781312 2 18446604452720474816 0 0 -1 1 0 0 0
[pid=3696/tid=3724] ppid=3694 vsize=426796 CPUtime=0 cores=0-7
/proc/3696/task/3724/stat : 3724 (python) S 3694 3696 3087 0 -1 4202560 31 933 0 0 0 0 0 0 24 0 9 0 668288426 437039104 7407 33554432000 4194304 5683644 140735066143664 18446744073709551615 235606690225 0 0 16781312 2 18446604452720474816 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.34
Current children cumulated vsize (KiB) 4824152

[startup+2.30099 s]
/proc/loadavg: 7.87 8.27 7.24 9/395 3725
/proc/meminfo: memFree=12604648/32950928 swapFree=54713412/67111528
[pid=3696] ppid=3694 vsize=426796 CPUtime=0.68 cores=0-7
/proc/3696/stat : 3696 (python) S 3694 3696 3087 0 -1 4202496 15568 933 1 0 58 10 0 0 23 0 9 0 668288347 437039104 7407 33554432000 4194304 5683644 140735066143664 18446744073709551615 235606693323 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3696/statm: 106699 7407 1889 364 0 42596 0
[pid=3702] ppid=3696 vsize=278568 CPUtime=0 cores=0-7
/proc/3702/stat : 3702 (python) S 3696 3696 3087 0 -1 4202560 731 0 0 0 0 0 0 0 18 0 1 0 668288404 285253632 5569 33554432000 4194304 5683644 140735066143664 18446744073709551615 235594886671 0 0 16781312 514 4605111492944036097 0 0 17 1 0 0 0
/proc/3702/statm: 69642 5569 354 364 0 5560 0
[pid=3704] ppid=3702 vsize=1017800 CPUtime=1.73 cores=0-7
/proc/3704/stat : 3704 (gnovelty+2) R 3702 3704 3704 0 -1 4202496 431 0 0 0 173 0 0 0 25 0 1 0 668288404 1042227200 168 33554432000 134512640 135663704 4289846256 18446744073709551615 134545682 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/3704/statm: 254450 168 113 282 0 254166 0
[pid=3705] ppid=3696 vsize=289312 CPUtime=0 cores=0-7
/proc/3705/stat : 3705 (python) S 3696 3696 3087 0 -1 4202560 753 0 0 0 0 0 0 0 15 0 1 0 668288407 296255488 5685 33554432000 4194304 5683644 140735066143664 18446744073709551615 235594886726 0 0 16781312 514 6384534173301833986 0 0 17 1 0 0 0
/proc/3705/statm: 72328 5685 348 364 0 8243 0
[pid=3707] ppid=3705 vsize=1972 CPUtime=1.7 cores=0-7
/proc/3707/stat : 3707 (march_hi) R 3705 3707 3707 0 -1 4202496 586 0 0 0 170 0 0 0 25 0 1 0 668288407 2019328 323 33554432000 4194304 4955518 140733303117952 18446744073709551615 4238465 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/3707/statm: 493 323 104 186 0 306 0
[pid=3708] ppid=3696 vsize=364732 CPUtime=0 cores=0-7
/proc/3708/stat : 3708 (python) S 3696 3696 3087 0 -1 4202560 758 0 0 0 0 0 0 0 15 0 1 0 668288410 373485568 5595 33554432000 4194304 5683644 140735066143664 18446744073709551615 235594886726 0 0 16781312 514 1771112300892127231 0 0 17 1 0 0 0
/proc/3708/statm: 91183 5595 348 364 0 27095 0
[pid=3710] ppid=3708 vsize=1972 CPUtime=1.67 cores=0-7
/proc/3710/stat : 3710 (march_hi) R 3708 3710 3710 0 -1 4202496 588 0 0 0 167 0 0 0 25 0 1 0 668288410 2019328 323 33554432000 4194304 4955518 140736126260896 18446744073709551615 4244434 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/3710/statm: 493 323 104 186 0 306 0
[pid=3711] ppid=3696 vsize=375528 CPUtime=0 cores=0-7
/proc/3711/stat : 3711 (python) S 3696 3696 3087 0 -1 4202560 770 0 0 0 0 0 0 0 15 0 1 0 668288413 384540672 5720 33554432000 4194304 5683644 140735066143664 18446744073709551615 235594886726 0 0 16781312 514 864598773773336835 0 0 17 4 0 0 0
/proc/3711/statm: 93882 5720 348 364 0 29791 0
[pid=3713] ppid=3711 vsize=1972 CPUtime=1.64 cores=0-7
/proc/3713/stat : 3713 (march_hi) R 3711 3713 3713 0 -1 4202496 591 0 0 0 164 0 0 0 25 0 1 0 668288413 2019328 323 33554432000 4194304 4955518 140734599006896 18446744073709551615 4261356 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/3713/statm: 493 323 104 186 0 306 0
[pid=3714] ppid=3696 vsize=385784 CPUtime=0 cores=0-7
/proc/3714/stat : 3714 (python) S 3696 3696 3087 0 -1 4202560 770 0 0 0 0 0 0 0 15 0 1 0 668288416 395042816 5724 33554432000 4194304 5683644 140735066143664 18446744073709551615 235594886726 0 0 16781312 514 17621168350585421823 0 0 17 1 0 0 0
/proc/3714/statm: 96446 5724 348 364 0 32352 0
[pid=3716] ppid=3714 vsize=1972 CPUtime=1.58 cores=0-7
/proc/3716/stat : 3716 (march_hi) R 3714 3716 3716 0 -1 4202496 588 0 0 0 158 0 0 0 25 0 1 0 668288416 2019328 322 33554432000 4194304 4955518 140736911348048 18446744073709551615 4224628 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/3716/statm: 493 322 104 186 0 306 0
[pid=3717] ppid=3696 vsize=396040 CPUtime=0 cores=0-7
/proc/3717/stat : 3717 (python) S 3696 3696 3087 0 -1 4202560 762 0 0 0 0 0 0 0 18 0 1 0 668288419 405544960 5728 33554432000 4194304 5683644 140735066143664 18446744073709551615 235594886726 0 0 16781312 514 17621164502294724607 0 0 17 1 0 0 0
/proc/3717/statm: 99010 5728 348 364 0 34913 0
[pid=3719] ppid=3717 vsize=454912 CPUtime=1.55 cores=0-7
/proc/3719/stat : 3719 (TNM) R 3717 3719 3719 0 -1 4202496 427 0 0 0 155 0 0 0 25 0 1 0 668288419 465829888 161 33554432000 134512640 135008748 4287169264 18446744073709551615 134527542 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/3719/statm: 113728 161 46 122 0 112628 0
[pid=3720] ppid=3696 vsize=406296 CPUtime=0 cores=0-7
/proc/3720/stat : 3720 (python) S 3696 3696 3087 0 -1 4202560 743 0 0 0 0 0 0 0 15 0 1 0 668288422 416047104 5904 33554432000 4194304 5683644 140735066143664 18446744073709551615 235594886726 0 0 16781312 514 12870496090947813635 0 0 17 1 0 0 0
/proc/3720/statm: 101574 5904 348 364 0 37474 0
[pid=3722] ppid=3720 vsize=1972 CPUtime=1.51 cores=0-7
/proc/3722/stat : 3722 (march_hi) R 3720 3722 3722 0 -1 4202496 581 0 0 0 151 0 0 0 25 0 1 0 668288424 2019328 322 33554432000 4194304 4955518 140733264865936 18446744073709551615 4238966 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/3722/statm: 493 322 104 186 0 306 0
[pid=3723] ppid=3696 vsize=416552 CPUtime=0 cores=0-7
/proc/3723/stat : 3723 (python) S 3696 3696 3087 0 -1 4202560 785 0 0 0 0 0 0 0 15 0 1 0 668288426 426549248 5870 33554432000 4194304 5683644 140735066143664 18446744073709551615 235594886726 0 0 16781312 514 6090168522267132163 0 0 17 1 0 0 0
/proc/3723/statm: 104138 5870 355 364 0 40035 0
[pid=3725] ppid=3723 vsize=1972 CPUtime=1.46 cores=0-7
/proc/3725/stat : 3725 (march_hi) R 3723 3725 3725 0 -1 4202496 586 0 0 0 146 0 0 0 25 0 1 0 668288428 2019328 321 33554432000 4194304 4955518 140733255287952 18446744073709551615 4224512 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/3725/statm: 493 321 104 186 0 306 0
[pid=3696/tid=3703] ppid=3694 vsize=426796 CPUtime=0 cores=0-7
/proc/3696/task/3703/stat : 3703 (python) S 3694 3696 3087 0 -1 4202560 26 933 0 0 0 0 0 0 19 0 9 0 668288404 437039104 7407 33554432000 4194304 5683644 140735066143664 18446744073709551615 235606690225 0 0 16781312 2 18446604452720474816 0 0 -1 0 0 0 0
[pid=3696/tid=3706] ppid=3694 vsize=426796 CPUtime=0 cores=0-7
/proc/3696/task/3706/stat : 3706 (python) S 3694 3696 3087 0 -1 4202560 20 933 0 0 0 0 0 0 18 0 9 0 668288407 437039104 7407 33554432000 4194304 5683644 140735066143664 18446744073709551615 235606690225 0 0 16781312 2 18446604452720474816 0 0 -1 3 0 0 0
[pid=3696/tid=3709] ppid=3694 vsize=426796 CPUtime=0 cores=0-7
/proc/3696/task/3709/stat : 3709 (python) S 3694 3696 3087 0 -1 4202560 19 933 0 0 0 0 0 0 19 0 9 0 668288410 437039104 7407 33554432000 4194304 5683644 140735066143664 18446744073709551615 235606690225 0 0 16781312 2 18446604452720474816 0 0 -1 6 0 0 0
[pid=3696/tid=3712] ppid=3694 vsize=426796 CPUtime=0 cores=0-7
/proc/3696/task/3712/stat : 3712 (python) S 3694 3696 3087 0 -1 4202560 22 933 0 0 0 0 0 0 20 0 9 0 668288413 437039104 7407 33554432000 4194304 5683644 140735066143664 18446744073709551615 235606690225 0 0 16781312 2 18446604452720474816 0 0 -1 0 0 0 0
[pid=3696/tid=3715] ppid=3694 vsize=426796 CPUtime=0 cores=0-7
/proc/3696/task/3715/stat : 3715 (python) S 3694 3696 3087 0 -1 4202560 25 933 0 0 0 0 0 0 21 0 9 0 668288416 437039104 7407 33554432000 4194304 5683644 140735066143664 18446744073709551615 235606690225 0 0 16781312 2 18446604452720474816 0 0 -1 0 0 0 0
[pid=3696/tid=3718] ppid=3694 vsize=426796 CPUtime=0 cores=0-7
/proc/3696/task/3718/stat : 3718 (python) S 3694 3696 3087 0 -1 4202560 26 933 0 0 0 0 0 0 22 0 9 0 668288419 437039104 7407 33554432000 4194304 5683644 140735066143664 18446744073709551615 235606690225 0 0 16781312 2 18446604452720474816 0 0 -1 7 0 0 0
[pid=3696/tid=3721] ppid=3694 vsize=426796 CPUtime=0 cores=0-7
/proc/3696/task/3721/stat : 3721 (python) S 3694 3696 3087 0 -1 4202560 76 933 0 0 0 0 0 0 23 0 9 0 668288422 437039104 7407 33554432000 4194304 5683644 140735066143664 18446744073709551615 235606690225 0 0 16781312 2 18446604452720474816 0 0 -1 1 0 0 0
[pid=3696/tid=3724] ppid=3694 vsize=426796 CPUtime=0 cores=0-7
/proc/3696/task/3724/stat : 3724 (python) S 3694 3696 3087 0 -1 4202560 31 933 0 0 0 0 0 0 24 0 9 0 668288426 437039104 7407 33554432000 4194304 5683644 140735066143664 18446744073709551615 235606690225 0 0 16781312 2 18446604452720474816 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 13.52
Current children cumulated vsize (KiB) 4824152

[startup+2.40098 s]
/proc/loadavg: 7.87 8.27 7.24 9/395 3725
/proc/meminfo: memFree=12604648/32950928 swapFree=54713412/67111528
[pid=3696] ppid=3694 vsize=375468 CPUtime=14.32 cores=0-7
/proc/3696/stat : 3696 (python) R 3694 3696 3087 0 -1 4202496 17414 12129 1 0 58 10 1360 4 17 0 1 0 668288347 384479232 7337 33554432000 4194304 5683644 140735066143664 18446744073709551615 5116756 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/3696/statm: 93867 7337 1873 364 0 29791 0
Current children cumulated CPU time (s) 14.32
Current children cumulated vsize (KiB) 375468

Child status: 0
Real time (s): 2.41879
CPU time (s): 14.3628
CPU user time (s): 14.2058
CPU system time (s): 0.156976
CPU usage (%): 593.802
Max. virtual memory (cumulated for all children) (KiB): 4824152

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

runsolver used 0.007998 second user time and 0.033994 second system time

The end

Launcher Data 

Begin job on node120 at 2011-05-16 19:28:16
IDJOB=3385462
IDBENCH=82727
IDSOLVER=1870
FILE ID=node120/3385462-1305566896
RUNJOBID= node120-1305564964-3102
PBS_JOBID= 13350130
Free space on /tmp= 73500 MiB

SOLVER NAME= borg-sat 11.03.02-par-random (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v400-c1704-S1864619158-076.SATISFIABLE.cnf
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.random.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT -cores NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3385462-1305566896/watcher-3385462-1305566896 -o /tmp/evaluation-result-3385462-1305566896/solver-3385462-1305566896 -C 40000 -W 5100 -M 31000  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3385462-1305566896.cnf -seed 1816501956 -budget 40000 -cores 8

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

MD5SUM BENCH= 420c3b1966635ea800a6b2af1a449f73
RANDOM SEED=1816501956

node120.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.809
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.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
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.809
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.809
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.809
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.78
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.809
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.809
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.809
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:     32950928 kB
MemFree:      12664840 kB
Buffers:        123004 kB
Cached:        1492044 kB
SwapCached:      32584 kB
Active:        6895472 kB
Inactive:     13144800 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      12664840 kB
SwapTotal:    67111528 kB
SwapFree:     54713412 kB
Dirty:           31660 kB
Writeback:           0 kB
AnonPages:    18399084 kB
Mapped:          21808 kB
Slab:            94956 kB
PageTables:      81708 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 78393844 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= 73468 MiB
End job on node120 at 2011-05-16 19:28:18