Trace number 3378367

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)? 4791.06 1202.12

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v150-c3195-S1653142431-025.UNKNOWN.cnf
MD5SUM57404773f78439bca79cfbdcb4a4a71b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses3195
Sum of the clauses size15975
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 53195
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-3378367-1305465067.cnf
0.31/0.47	c INFO: computing task features
0.31/0.48	c INFO: computed variable-clause graph statistics
0.31/0.48	c INFO: computed clause balance statistics
0.40/0.57	c INFO: computed variable balance statistics
0.50/0.61	c INFO: computed small-clause counts
0.50/0.61	c INFO: computed Horn-clause counts
0.50/0.62	c INFO: computed variable graph statistics
0.50/0.62	c INFO: collected features for HOME/instance-3378367-1305465067.cnf in 0.15 s
0.50/0.63	c INFO: running gnovelty+2@0 for 97 with 1199 remaining (b = 0.63)
0.50/0.63	c INFO: running gnovelty+2@0 for 97 with 1199 remaining (b = 0.08)
0.50/0.64	c INFO: running march_hi@0 for 679 with 1199 remaining (b = 0.35)
0.50/0.66	c INFO: running march_hi@0 for 679 with 1199 remaining (b = 0.31)
396.30/99.94	c INFO: running march_hi@0 for 388 with 1100 remaining (b = 0.20)
400.27/100.90	c INFO: running march_hi@0 for 679 with 1099 remaining (b = 0.25)
1971.94/495.05	c INFO: running march_hi@100 for 291 with 705 remaining (b = 0.14)
2727.29/684.44	c INFO: running march_hi@99 for 291 with 516 remaining (b = 0.14)
2727.71/684.57	c INFO: running march_hi@0 for 97 with 515 remaining (b = 0.05)
3122.14/783.48	c INFO: running march_hi@389 for 97 with 416 remaining (b = 0.07)
3130.16/785.45	c INFO: running march_hi@680 for 97 with 415 remaining (b = 0.06)
3152.84/791.16	c INFO: running march_hi@0 for 409 with 409 remaining (b = 0.15)
3501.79/878.69	c INFO: running march_hi@973 for 321 with 321 remaining (b = 0.09)
3524.58/884.32	c INFO: running march_hi@488 for 194 with 316 remaining (b = 0.09)
3891.53/976.32	c INFO: running march_hi@0 for 224 with 224 remaining (b = 0.06)
4287.93/1075.78	c INFO: running adaptg2wsat2009++@0 for 124 with 124 remaining (b = 0.03)
4791.00/1202.10	s UNKNOWN

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

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-3378367-1305465067/watcher-3378367-1305465067 -o /tmp/evaluation-result-3378367-1305465067/solver-3378367-1305465067 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3378367-1305465067.cnf -seed 35873692 -budget 4800 -cores 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: 8.27 8.20 7.74 6/399 8281
/proc/meminfo: memFree=16482992/32950928 swapFree=67111348/67111528
[pid=8281] ppid=8279 vsize=15772 CPUtime=0 cores=0,2,4,6
/proc/8281/stat : 8281 (python) S 8279 8281 7291 0 -1 4202496 894 0 0 0 0 0 0 0 25 0 1 0 658106385 16150528 776 33554432000 4194304 5683644 140735427087632 18446744073709551615 274473965568 0 2147483391 16781312 2 18446744071699215550 0 0 17 2 0 0 0
/proc/8281/statm: 3943 776 343 364 0 430 0

[startup+0.0798039 s]
/proc/loadavg: 8.27 8.20 7.74 6/399 8281
/proc/meminfo: memFree=16482992/32950928 swapFree=67111348/67111528
[pid=8281] ppid=8279 vsize=85616 CPUtime=0.05 cores=0,2,4,6
/proc/8281/stat : 8281 (python) R 8279 8281 7291 0 -1 4202496 2623 0 0 0 4 1 0 0 25 0 1 0 658106385 87670784 2343 33554432000 4194304 5683644 140735427087632 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/8281/statm: 21404 2346 713 364 0 1621 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85616

[startup+0.1008 s]
/proc/loadavg: 8.27 8.20 7.74 6/399 8281
/proc/meminfo: memFree=16482992/32950928 swapFree=67111348/67111528
[pid=8281] ppid=8279 vsize=104224 CPUtime=0.07 cores=0,2,4,6
/proc/8281/stat : 8281 (python) R 8279 8281 7291 0 -1 4202496 3058 0 0 0 5 2 0 0 25 0 1 0 658106385 106725376 2741 33554432000 4194304 5683644 140735427087632 18446744073709551615 274473965568 0 2147483391 16781312 2 0 0 0 17 4 0 0 0
/proc/8281/statm: 26057 2745 847 364 0 1805 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 104224

[startup+0.300768 s]
/proc/loadavg: 8.27 8.20 7.74 6/399 8281
/proc/meminfo: memFree=16482992/32950928 swapFree=67111348/67111528
[pid=8281] ppid=8279 vsize=170752 CPUtime=0.24 cores=0,2,4,6
/proc/8281/stat : 8281 (python) R 8279 8281 7291 0 -1 4202496 6736 934 1 0 18 6 0 0 25 0 1 0 658106385 174850048 4807 33554432000 4194304 5683644 140735427087632 18446744073709551615 274473965568 0 2147483391 16781312 2 0 0 0 17 4 0 0 0
/proc/8281/statm: 42689 4808 1336 364 0 3454 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 170752

[startup+0.700694 s]
/proc/loadavg: 8.27 8.20 7.74 6/399 8281
/proc/meminfo: memFree=16482992/32950928 swapFree=67111348/67111528
[pid=8281] ppid=8279 vsize=320160 CPUtime=0.56 cores=0,2,4,6
/proc/8281/stat : 8281 (python) S 8279 8281 7291 0 -1 4202496 12337 934 1 0 47 9 0 0 25 0 5 0 658106385 327843840 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485794251 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8281/statm: 80040 7229 1873 364 0 15949 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 320160

[startup+1.50055 s]
/proc/loadavg: 8.27 8.20 7.74 10/412 8298
/proc/meminfo: memFree=16425544/32950928 swapFree=67111348/67111528
[pid=8281] ppid=8279 vsize=320160 CPUtime=0.56 cores=0,2,4,6
/proc/8281/stat : 8281 (python) S 8279 8281 7291 0 -1 4202496 12337 934 1 0 47 9 0 0 25 0 5 0 658106385 327843840 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485794251 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8281/statm: 80040 7229 1873 364 0 15949 0
[pid=8287] ppid=8281 vsize=278676 CPUtime=0 cores=0,2,4,6
/proc/8287/stat : 8287 (python) S 8281 8281 7291 0 -1 4202560 734 0 0 0 0 0 0 0 25 0 1 0 658106448 285364224 5588 33554432000 4194304 5683644 140735427087632 18446744073709551615 274473987599 0 0 16781312 514 12842484108084903935 0 0 17 4 0 0 0
/proc/8287/statm: 69669 5588 354 364 0 5587 0
[pid=8289] ppid=8287 vsize=1017940 CPUtime=0.86 cores=0,2,4,6
/proc/8289/stat : 8289 (gnovelty+2) R 8287 8289 8289 0 -1 4202496 455 0 0 0 86 0 0 0 25 0 1 0 658106448 1042370560 191 33554432000 134512640 135663704 4286694528 18446744073709551615 134524553 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/8289/statm: 254485 191 113 282 0 254201 0
[pid=8290] ppid=8281 vsize=289304 CPUtime=0 cores=0,2,4,6
/proc/8290/stat : 8290 (python) S 8281 8281 7291 0 -1 4202560 734 0 0 0 0 0 0 0 25 0 1 0 658106449 296247296 5684 33554432000 4194304 5683644 140735427087632 18446744073709551615 274473987654 0 0 16781312 514 14305729025736179711 0 0 17 6 0 0 0
/proc/8290/statm: 72326 5684 348 364 0 8241 0
[pid=8292] ppid=8290 vsize=1017940 CPUtime=0.85 cores=0,2,4,6
/proc/8292/stat : 8292 (gnovelty+2) R 8290 8292 8292 0 -1 4202496 457 0 0 0 85 0 0 0 25 0 1 0 658106449 1042370560 192 33554432000 134512640 135663704 4294825808 18446744073709551615 134525292 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/8292/statm: 254485 192 113 282 0 254201 0
[pid=8293] ppid=8281 vsize=299052 CPUtime=0 cores=0,2,4,6
/proc/8293/stat : 8293 (python) S 8281 8281 7291 0 -1 4202560 749 0 0 0 0 0 0 0 22 0 1 0 658106450 306229248 5576 33554432000 4194304 5683644 140735427087632 18446744073709551615 274473987654 0 0 16781312 514 7951628513952366852 0 0 17 4 0 0 0
/proc/8293/statm: 74763 5576 348 364 0 10675 0
[pid=8295] ppid=8293 vsize=2224 CPUtime=0.84 cores=0,2,4,6
/proc/8295/stat : 8295 (march_hi) R 8293 8295 8295 0 -1 4202496 632 0 0 0 84 0 0 0 25 0 1 0 658106450 2277376 365 33554432000 4194304 4955518 140735315220752 18446744073709551615 4235634 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/8295/statm: 556 365 106 186 0 369 0
[pid=8296] ppid=8281 vsize=309916 CPUtime=0 cores=0,2,4,6
/proc/8296/stat : 8296 (python) S 8281 8281 7291 0 -1 4202560 756 0 0 0 0 0 0 0 22 0 1 0 658106451 317353984 5700 33554432000 4194304 5683644 140735427087632 18446744073709551615 274473987654 0 0 16781312 514 5638286835437240577 0 0 17 6 0 0 0
/proc/8296/statm: 77479 5700 348 364 0 13388 0
[pid=8298] ppid=8296 vsize=2224 CPUtime=0.82 cores=0,2,4,6
/proc/8298/stat : 8298 (march_hi) R 8296 8298 8298 0 -1 4202496 632 0 0 0 82 0 0 0 25 0 1 0 658106451 2277376 362 33554432000 4194304 4955518 140734847032576 18446744073709551615 4208620 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/8298/statm: 556 362 106 186 0 369 0
[pid=8281/tid=8288] ppid=8279 vsize=320160 CPUtime=0 cores=0,2,4,6
/proc/8281/task/8288/stat : 8288 (python) S 8279 8281 7291 0 -1 4202560 25 934 0 0 0 0 0 0 25 0 5 0 658106448 327843840 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 4 0 0 0
[pid=8281/tid=8291] ppid=8279 vsize=320160 CPUtime=0 cores=0,2,4,6
/proc/8281/task/8291/stat : 8291 (python) S 8279 8281 7291 0 -1 4202560 23 934 0 0 0 0 0 0 25 0 5 0 658106449 327843840 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 2 0 0 0
[pid=8281/tid=8294] ppid=8279 vsize=320160 CPUtime=0 cores=0,2,4,6
/proc/8281/task/8294/stat : 8294 (python) S 8279 8281 7291 0 -1 4202560 27 934 0 0 0 0 0 0 25 0 5 0 658106450 327843840 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 4 0 0 0
[pid=8281/tid=8297] ppid=8279 vsize=320160 CPUtime=0 cores=0,2,4,6
/proc/8281/task/8297/stat : 8297 (python) S 8279 8281 7291 0 -1 4202560 32 934 0 0 0 0 0 0 25 0 5 0 658106451 327843840 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 3537436

[startup+3.10127 s]
/proc/loadavg: 8.27 8.20 7.74 10/412 8298
/proc/meminfo: memFree=16423188/32950928 swapFree=67111348/67111528
[pid=8281] ppid=8279 vsize=320160 CPUtime=0.56 cores=0,2,4,6
/proc/8281/stat : 8281 (python) S 8279 8281 7291 0 -1 4202496 12337 934 1 0 47 9 0 0 25 0 5 0 658106385 327843840 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485794251 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8281/statm: 80040 7229 1873 364 0 15949 0
[pid=8287] ppid=8281 vsize=278676 CPUtime=0 cores=0,2,4,6
/proc/8287/stat : 8287 (python) S 8281 8281 7291 0 -1 4202560 734 0 0 0 0 0 0 0 18 0 1 0 658106448 285364224 5588 33554432000 4194304 5683644 140735427087632 18446744073709551615 274473987599 0 0 16781312 514 12842484108084871427 0 0 17 4 0 0 0
/proc/8287/statm: 69669 5588 354 364 0 5587 0
[pid=8289] ppid=8287 vsize=1017940 CPUtime=2.46 cores=0,2,4,6
/proc/8289/stat : 8289 (gnovelty+2) R 8287 8289 8289 0 -1 4202496 455 0 0 0 246 0 0 0 25 0 1 0 658106448 1042370560 191 33554432000 134512640 135663704 4286694528 18446744073709551615 134524888 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/8289/statm: 254485 191 113 282 0 254201 0
[pid=8290] ppid=8281 vsize=289304 CPUtime=0 cores=0,2,4,6
/proc/8290/stat : 8290 (python) S 8281 8281 7291 0 -1 4202560 734 0 0 0 0 0 0 0 18 0 1 0 658106449 296247296 5684 33554432000 4194304 5683644 140735427087632 18446744073709551615 274473987654 0 0 16781312 514 14305729025736147202 0 0 17 6 0 0 0
/proc/8290/statm: 72326 5684 348 364 0 8241 0
[pid=8292] ppid=8290 vsize=1017940 CPUtime=2.45 cores=0,2,4,6
/proc/8292/stat : 8292 (gnovelty+2) R 8290 8292 8292 0 -1 4202496 457 0 0 0 245 0 0 0 25 0 1 0 658106449 1042370560 192 33554432000 134512640 135663704 4294825808 18446744073709551615 134525222 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/8292/statm: 254485 192 113 282 0 254201 0
[pid=8293] ppid=8281 vsize=299052 CPUtime=0 cores=0,2,4,6
/proc/8293/stat : 8293 (python) S 8281 8281 7291 0 -1 4202560 753 0 0 0 0 0 0 0 15 0 1 0 658106450 306229248 5576 33554432000 4194304 5683644 140735427087632 18446744073709551615 274473987654 0 0 16781312 514 7951628513952366852 0 0 17 4 0 0 0
/proc/8293/statm: 74763 5576 348 364 0 10675 0
[pid=8295] ppid=8293 vsize=2604 CPUtime=2.44 cores=0,2,4,6
/proc/8295/stat : 8295 (march_hi) R 8293 8295 8295 0 -1 4202496 729 0 0 0 244 0 0 0 25 0 1 0 658106450 2666496 462 33554432000 4194304 4955518 140735315220752 18446744073709551615 4224471 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/8295/statm: 651 462 106 186 0 464 0
[pid=8296] ppid=8281 vsize=309916 CPUtime=0 cores=0,2,4,6
/proc/8296/stat : 8296 (python) S 8281 8281 7291 0 -1 4202560 758 0 0 0 0 0 0 0 15 0 1 0 658106451 317353984 5700 33554432000 4194304 5683644 140735427087632 18446744073709551615 274473987654 0 0 16781312 514 5638286835437240577 0 0 17 6 0 0 0
/proc/8296/statm: 77479 5700 348 364 0 13388 0
[pid=8298] ppid=8296 vsize=2604 CPUtime=2.4 cores=0,2,4,6
/proc/8298/stat : 8298 (march_hi) R 8296 8298 8298 0 -1 4202496 728 0 0 0 240 0 0 0 25 0 1 0 658106451 2666496 458 33554432000 4194304 4955518 140734847032576 18446744073709551615 4224352 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/8298/statm: 651 458 106 186 0 464 0
[pid=8281/tid=8288] ppid=8279 vsize=320160 CPUtime=0 cores=0,2,4,6
/proc/8281/task/8288/stat : 8288 (python) S 8279 8281 7291 0 -1 4202560 25 934 0 0 0 0 0 0 25 0 5 0 658106448 327843840 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 4 0 0 0
[pid=8281/tid=8291] ppid=8279 vsize=320160 CPUtime=0 cores=0,2,4,6
/proc/8281/task/8291/stat : 8291 (python) S 8279 8281 7291 0 -1 4202560 23 934 0 0 0 0 0 0 25 0 5 0 658106449 327843840 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 2 0 0 0
[pid=8281/tid=8294] ppid=8279 vsize=320160 CPUtime=0 cores=0,2,4,6
/proc/8281/task/8294/stat : 8294 (python) S 8279 8281 7291 0 -1 4202560 27 934 0 0 0 0 0 0 25 0 5 0 658106450 327843840 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 4 0 0 0
[pid=8281/tid=8297] ppid=8279 vsize=320160 CPUtime=0 cores=0,2,4,6
/proc/8281/task/8297/stat : 8297 (python) S 8279 8281 7291 0 -1 4202560 32 934 0 0 0 0 0 0 25 0 5 0 658106451 327843840 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10.31
Current children cumulated vsize (KiB) 3538196

[startup+6.30071 s]
/proc/loadavg: 8.33 8.21 7.75 10/412 8299
/proc/meminfo: memFree=16418556/32950928 swapFree=67111348/67111528
[pid=8281] ppid=8279 vsize=320160 CPUtime=0.56 cores=0,2,4,6
/proc/8281/stat : 8281 (python) S 8279 8281 7291 0 -1 4202496 12337 934 1 0 47 9 0 0 25 0 5 0 658106385 327843840 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485794251 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8281/statm: 80040 7229 1873 364 0 15949 0
[pid=8287] ppid=8281 vsize=278676 CPUtime=0.01 cores=0,2,4,6
/proc/8287/stat : 8287 (python) S 8281 8281 7291 0 -1 4202560 898 0 0 0 1 0 0 0 18 0 1 0 658106448 285364224 5611 33554432000 4194304 5683644 140735427087632 18446744073709551615 274473987599 0 0 16781312 514 12842484108084871427 0 0 17 4 0 0 0
/proc/8287/statm: 69669 5611 377 364 0 5587 0
[pid=8289] ppid=8287 vsize=1017940 CPUtime=5.66 cores=0,2,4,6
/proc/8289/stat : 8289 (gnovelty+2) R 8287 8289 8289 0 -1 4202496 455 0 0 0 566 0 0 0 25 0 1 0 658106448 1042370560 191 33554432000 134512640 135663704 4286694528 18446744073709551615 134525258 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/8289/statm: 254485 191 113 282 0 254201 0
[pid=8290] ppid=8281 vsize=289304 CPUtime=0 cores=0,2,4,6
/proc/8290/stat : 8290 (python) S 8281 8281 7291 0 -1 4202560 914 0 0 0 0 0 0 0 18 0 1 0 658106449 296247296 5707 33554432000 4194304 5683644 140735427087632 18446744073709551615 274473987654 0 0 16781312 514 14305729025736147202 0 0 17 6 0 0 0
/proc/8290/statm: 72326 5707 371 364 0 8241 0
[pid=8292] ppid=8290 vsize=1017940 CPUtime=5.65 cores=0,2,4,6
/proc/8292/stat : 8292 (gnovelty+2) R 8290 8292 8292 0 -1 4202496 457 0 0 0 565 0 0 0 25 0 1 0 658106449 1042370560 192 33554432000 134512640 135663704 4294825808 18446744073709551615 134545619 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/8292/statm: 254485 192 113 282 0 254201 0
[pid=8293] ppid=8281 vsize=299052 CPUtime=0.01 cores=0,2,4,6
/proc/8293/stat : 8293 (python) S 8281 8281 7291 0 -1 4202560 904 0 0 0 0 1 0 0 15 0 1 0 658106450 306229248 5599 33554432000 4194304 5683644 140735427087632 18446744073709551615 274473987654 0 0 16781312 514 7951628513952366852 0 0 17 4 0 0 0
/proc/8293/statm: 74763 5599 371 364 0 10675 0
[pid=8295] ppid=8293 vsize=3456 CPUtime=5.6 cores=0,2,4,6
/proc/8295/stat : 8295 (march_hi) R 8293 8295 8295 0 -1 4202496 916 0 0 0 560 0 0 0 25 0 1 0 658106450 3538944 649 33554432000 4194304 4955518 140735315220752 18446744073709551615 4244738 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/8295/statm: 864 649 106 186 0 677 0
[pid=8296] ppid=8281 vsize=309916 CPUtime=0.01 cores=0,2,4,6
/proc/8296/stat : 8296 (python) S 8281 8281 7291 0 -1 4202560 922 0 0 0 0 1 0 0 15 0 1 0 658106451 317353984 5723 33554432000 4194304 5683644 140735427087632 18446744073709551615 274473987654 0 0 16781312 514 5638286835437240577 0 0 17 6 0 0 0
/proc/8296/statm: 77479 5723 371 364 0 13388 0
[pid=8298] ppid=8296 vsize=3456 CPUtime=5.53 cores=0,2,4,6
/proc/8298/stat : 8298 (march_hi) R 8296 8298 8298 0 -1 4202496 913 0 0 0 553 0 0 0 25 0 1 0 658106451 3538944 643 33554432000 4194304 4955518 140734847032576 18446744073709551615 4208656 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/8298/statm: 864 643 106 186 0 677 0
[pid=8281/tid=8288] ppid=8279 vsize=320160 CPUtime=0 cores=0,2,4,6
/proc/8281/task/8288/stat : 8288 (python) S 8279 8281 7291 0 -1 4202560 25 934 0 0 0 0 0 0 25 0 5 0 658106448 327843840 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 4 0 0 0
[pid=8281/tid=8291] ppid=8279 vsize=320160 CPUtime=0 cores=0,2,4,6
/proc/8281/task/8291/stat : 8291 (python) S 8279 8281 7291 0 -1 4202560 23 934 0 0 0 0 0 0 25 0 5 0 658106449 327843840 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 2 0 0 0
[pid=8281/tid=8294] ppid=8279 vsize=320160 CPUtime=0 cores=0,2,4,6
/proc/8281/task/8294/stat : 8294 (python) S 8279 8281 7291 0 -1 4202560 27 934 0 0 0 0 0 0 25 0 5 0 658106450 327843840 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 4 0 0 0
[pid=8281/tid=8297] ppid=8279 vsize=320160 CPUtime=0 cores=0,2,4,6
/proc/8281/task/8297/stat : 8297 (python) S 8279 8281 7291 0 -1 4202560 32 934 0 0 0 0 0 0 25 0 5 0 658106451 327843840 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 23.03
Current children cumulated vsize (KiB) 3539900

[startup+12.7006 s]
/proc/loadavg: 8.30 8.21 7.75 10/412 8299
/proc/meminfo: memFree=16415976/32950928 swapFree=67111348/67111528
[pid=8281] ppid=8279 vsize=320160 CPUtime=0.56 cores=0,2,4,6
/proc/8281/stat : 8281 (python) S 8279 8281 7291 0 -1 4202496 12337 934 1 0 47 9 0 0 25 0 5 0 658106385 327843840 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485794251 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8281/statm: 80040 7229 1873 364 0 15949 0
[pid=8287] ppid=8281 vsize=278676 CPUtime=0.02 cores=0,2,4,6
/proc/8287/stat : 8287 (python) S 8281 8281 7291 0 -1 4202560 902 0 0 0 1 1 0 0 18 0 1 0 658106448 285364224 5611 33554432000 4194304 5683644 140735427087632 18446744073709551615 274473987599 0 0 16781312 514 163836028631613699 0 0 17 4 0 0 0
/proc/8287/statm: 69669 5611 377 364 0 5587 0
[pid=8289] ppid=8287 vsize=1017940 CPUtime=12.06 cores=0,2,4,6
/proc/8289/stat : 8289 (gnovelty+2) R 8287 8289 8289 0 -1 4202496 455 0 0 0 1206 0 0 0 25 0 1 0 658106448 1042370560 191 33554432000 134512640 135663704 4286694528 18446744073709551615 134524747 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/8289/statm: 254485 191 113 282 0 254201 0
[pid=8290] ppid=8281 vsize=289304 CPUtime=0.02 cores=0,2,4,6

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

/proc/8315/statm: 82607 5780 400 364 0 18510 0
[pid=8317] ppid=8315 vsize=208940 CPUtime=971.07 cores=0,2,4,6
/proc/8317/stat : 8317 (march_hi) T 8315 8317 8317 0 -1 4202496 45476 0 0 0 97091 16 0 0 25 0 1 0 658116476 213954560 45207 33554432000 4194304 4955518 140736787403744 18446744073709551615 4297490 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/8317/statm: 52235 45207 106 186 0 52048 0
[pid=8315/tid=8397] ppid=8281 vsize=330428 CPUtime=0 cores=0,2,4,6
/proc/8315/task/8397/stat : 8397 (python) S 8281 8281 7291 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 658184732 338358272 5780 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 514 18446604445825659072 0 0 -1 0 0 0 0
[pid=8399] ppid=8281 vsize=340276 CPUtime=1.11 cores=0,2,4,6
/proc/8399/stat : 8399 (python) S 8281 8281 7291 0 -1 4202560 1004 0 0 0 58 53 0 0 15 0 1 0 658185502 348442624 5665 33554432000 4194304 5683644 140735427087632 18446744073709551615 274473987654 0 0 16781312 514 163836028631613698 0 0 17 4 0 0 0
/proc/8399/statm: 85069 5665 371 364 0 20969 0
[pid=8401] ppid=8399 vsize=94448 CPUtime=407.97 cores=0,2,4,6
/proc/8401/stat : 8401 (march_hi) R 8399 8401 8401 0 -1 4202496 20291 0 0 0 40793 4 0 0 25 0 1 0 658185502 96714752 20020 33554432000 4194304 4955518 140733288840704 18446744073709551615 4286512 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/8401/statm: 23612 20020 106 186 0 23425 0
[pid=8496] ppid=8281 vsize=351016 CPUtime=0.61 cores=0,2,4,6
/proc/8496/stat : 8496 (python) S 8281 8281 7291 0 -1 4202560 1039 0 0 0 32 29 0 0 15 0 1 0 658204018 359440384 5781 33554432000 4194304 5683644 140735427087632 18446744073709551615 274473987654 0 0 16781312 514 2917822389435728132 0 0 17 6 0 0 0
/proc/8496/statm: 87754 5781 377 364 0 23651 0
[pid=8498] ppid=8496 vsize=62984 CPUtime=223.42 cores=0,2,4,6
/proc/8498/stat : 8498 (march_hi) R 8496 8498 8498 0 -1 4202496 11898 0 0 0 22341 1 0 0 25 0 1 0 658204018 64495616 11623 33554432000 4194304 4955518 140733494907744 18446744073709551615 4208667 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/8498/statm: 15746 11623 106 186 0 15559 0
[pid=8502] ppid=8281 vsize=361040 CPUtime=0.32 cores=0,2,4,6
/proc/8502/stat : 8502 (python) S 8281 8281 7291 0 -1 4202560 975 0 0 0 17 15 0 0 18 0 1 0 658213963 369704960 5710 33554432000 4194304 5683644 140735427087632 18446744073709551615 274473987654 0 0 16781312 514 163836028631613700 0 0 17 6 0 0 0
/proc/8502/statm: 90260 5710 377 364 0 26154 0
[pid=8504] ppid=8502 vsize=416280 CPUtime=122.39 cores=0,2,4,6
/proc/8504/stat : 8504 (adaptg2wsat2009) R 8502 8504 8504 0 -1 4202496 519 0 0 0 12239 0 0 0 25 0 1 0 658213963 426270720 253 33554432000 134512640 135107411 4290815984 18446744073709551615 134532371 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/8504/statm: 104070 253 59 146 0 102946 0
[pid=8281/tid=8288] ppid=8279 vsize=371284 CPUtime=0 cores=0,2,4,6
/proc/8281/task/8288/stat : 8288 (python) S 8279 8281 7291 0 -1 4202560 25 934 0 0 0 0 0 0 25 0 10 0 658106448 380194816 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 4 0 0 0
[pid=8281/tid=8291] ppid=8279 vsize=371284 CPUtime=0 cores=0,2,4,6
/proc/8281/task/8291/stat : 8291 (python) S 8279 8281 7291 0 -1 4202560 23 934 0 0 0 0 0 0 25 0 10 0 658106449 380194816 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 2 0 0 0
[pid=8281/tid=8294] ppid=8279 vsize=371284 CPUtime=0 cores=0,2,4,6
/proc/8281/task/8294/stat : 8294 (python) S 8279 8281 7291 0 -1 4202560 38 934 0 0 0 0 0 0 18 0 10 0 658106450 380194816 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 4 0 0 0
[pid=8281/tid=8297] ppid=8279 vsize=371284 CPUtime=0 cores=0,2,4,6
/proc/8281/task/8297/stat : 8297 (python) S 8279 8281 7291 0 -1 4202560 37 934 0 0 0 0 0 0 18 0 10 0 658106451 380194816 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 6 0 0 0
[pid=8281/tid=8312] ppid=8279 vsize=371284 CPUtime=0 cores=0,2,4,6
/proc/8281/task/8312/stat : 8312 (python) S 8279 8281 7291 0 -1 4202560 30 934 0 0 0 0 0 0 18 0 10 0 658116379 380194816 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 6 0 0 0
[pid=8281/tid=8316] ppid=8279 vsize=371284 CPUtime=0 cores=0,2,4,6
/proc/8281/task/8316/stat : 8316 (python) S 8279 8281 7291 0 -1 4202560 33 934 0 0 0 0 0 0 18 0 10 0 658116476 380194816 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 6 0 0 0
[pid=8281/tid=8400] ppid=8279 vsize=371284 CPUtime=0 cores=0,2,4,6
/proc/8281/task/8400/stat : 8400 (python) S 8279 8281 7291 0 -1 4202560 30 934 0 0 0 0 0 0 20 0 10 0 658185502 380194816 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 6 0 0 0
[pid=8281/tid=8497] ppid=8279 vsize=371284 CPUtime=0 cores=0,2,4,6
/proc/8281/task/8497/stat : 8497 (python) S 8279 8281 7291 0 -1 4202560 25 934 0 0 0 0 0 0 20 0 10 0 658204018 380194816 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 6 0 0 0
[pid=8281/tid=8503] ppid=8279 vsize=371284 CPUtime=0 cores=0,2,4,6
/proc/8281/task/8503/stat : 8503 (python) S 8279 8281 7291 0 -1 4202560 78 934 0 0 0 0 0 0 20 0 10 0 658213963 380194816 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4788.48
Current children cumulated vsize (KiB) 6747892

[startup+1201.9 s]
/proc/loadavg: 5.07 5.93 6.97 6/390 8507
/proc/meminfo: memFree=16039304/32950928 swapFree=67111348/67111528
[pid=8281] ppid=8279 vsize=371284 CPUtime=0.64 cores=0,2,4,6
/proc/8281/stat : 8281 (python) S 8279 8281 7291 0 -1 4202496 17020 934 1 0 54 10 0 0 19 0 10 0 658106385 380194816 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485794251 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8281/statm: 92821 7229 1892 364 0 28715 0
[pid=8287] ppid=8281 vsize=288920 CPUtime=0.26 cores=0,2,4,6
/proc/8287/stat : 8287 (python) S 8281 8281 7291 0 -1 4202560 1169 0 0 0 14 12 0 0 19 0 2 0 658106448 295854080 5655 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485794251 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/8287/statm: 72230 5655 416 364 0 8148 0
[pid=8289] ppid=8287 vsize=1017940 CPUtime=100.24 cores=0,2,4,6
/proc/8289/stat : 8289 (gnovelty+2) T 8287 8289 8289 0 -1 4202496 455 0 0 0 10024 0 0 0 25 0 1 0 658106448 1042370560 191 33554432000 134512640 135663704 4286694528 18446744073709551615 134547147 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/8289/statm: 254485 191 113 282 0 254201 0
[pid=8287/tid=8314] ppid=8281 vsize=288920 CPUtime=0 cores=0,2,4,6
/proc/8287/task/8314/stat : 8314 (python) S 8281 8281 7291 0 -1 4202560 44 0 0 0 0 0 0 0 19 0 2 0 658116475 295854080 5655 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 514 18446604447312882496 0 0 -1 4 0 0 0
[pid=8290] ppid=8281 vsize=289304 CPUtime=0.27 cores=0,2,4,6
/proc/8290/stat : 8290 (python) S 8281 8281 7291 0 -1 4202560 1098 0 0 0 17 10 0 0 19 0 2 0 658106449 296247296 5737 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485794251 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/8290/statm: 72326 5737 400 364 0 8241 0
[pid=8292] ppid=8290 vsize=1017940 CPUtime=99.28 cores=0,2,4,6
/proc/8292/stat : 8292 (gnovelty+2) T 8290 8292 8292 0 -1 4202496 457 0 0 0 9928 0 0 0 25 0 1 0 658106449 1042370560 192 33554432000 134512640 135663704 4294825808 18446744073709551615 134525276 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/8292/statm: 254485 192 113 282 0 254201 0
[pid=8290/tid=8310] ppid=8281 vsize=289304 CPUtime=0 cores=0,2,4,6
/proc/8290/task/8310/stat : 8310 (python) S 8281 8281 7291 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 658116378 296247296 5737 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 514 18446604443358603456 0 0 -1 0 0 0 0
[pid=8293] ppid=8281 vsize=299052 CPUtime=3.32 cores=0,2,4,6
/proc/8293/stat : 8293 (python) S 8281 8281 7291 0 -1 4202560 1148 0 0 0 182 150 0 0 15 0 2 0 658106450 306229248 5629 33554432000 4194304 5683644 140735427087632 18446744073709551615 274473987654 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/8293/statm: 74763 5629 400 364 0 10675 0
[pid=8295] ppid=8293 vsize=316372 CPUtime=1196.81 cores=0,2,4,6
/proc/8295/stat : 8295 (march_hi) R 8293 8295 8295 0 -1 4202496 55513 0 0 0 119667 14 0 0 25 0 1 0 658106450 323964928 55246 33554432000 4194304 4955518 140735315220752 18446744073709551615 4208624 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/8295/statm: 79093 55246 106 186 0 78906 0
[pid=8293/tid=8394] ppid=8281 vsize=299052 CPUtime=0 cores=0,2,4,6
/proc/8293/task/8394/stat : 8394 (python) S 8281 8281 7291 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 658174842 306229248 5629 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 514 18446604453984688960 0 0 -1 4 0 0 0
[pid=8296] ppid=8281 vsize=309916 CPUtime=2.75 cores=0,2,4,6
/proc/8296/stat : 8296 (python) S 8281 8281 7291 0 -1 4202560 1176 0 0 0 142 133 0 0 15 0 2 0 658106451 317353984 5762 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485794251 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/8296/statm: 77479 5762 409 364 0 13388 0
[pid=8298] ppid=8296 vsize=208940 CPUtime=971.44 cores=0,2,4,6
/proc/8298/stat : 8298 (march_hi) T 8296 8298 8298 0 -1 4202496 45668 0 0 0 97132 12 0 0 25 0 1 0 658106451 213954560 45398 33554432000 4194304 4955518 140734847032576 18446744073709551615 4297550 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/8298/statm: 52235 45398 106 186 0 52048 0
[pid=8296/tid=8393] ppid=8281 vsize=309916 CPUtime=0 cores=0,2,4,6
/proc/8296/task/8393/stat : 8393 (python) S 8281 8281 7291 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 2 0 658174829 317353984 5762 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 514 18446604444985082304 0 0 -1 2 0 0 0
[pid=8311] ppid=8281 vsize=320172 CPUtime=1.98 cores=0,2,4,6
/proc/8311/stat : 8311 (python) S 8281 8281 7291 0 -1 4202560 1163 0 0 0 99 99 0 0 15 0 2 0 658116379 327856128 5774 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485794251 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/8311/statm: 80043 5774 400 364 0 15949 0
[pid=8313] ppid=8311 vsize=142640 CPUtime=682.3 cores=0,2,4,6
/proc/8313/stat : 8313 (march_hi) T 8311 8313 8313 0 -1 4202496 32680 0 0 0 68220 10 0 0 25 0 1 0 658116379 146063360 32411 33554432000 4194304 4955518 140734433953088 18446744073709551615 4208656 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/8313/statm: 35660 32411 106 186 0 35473 0
[pid=8311/tid=8379] ppid=8281 vsize=320172 CPUtime=0 cores=0,2,4,6
/proc/8311/task/8379/stat : 8379 (python) S 8281 8281 7291 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 658155890 327856128 5774 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 514 18446604445825661760 0 0 -1 6 0 0 0
[pid=8315] ppid=8281 vsize=330428 CPUtime=2.7 cores=0,2,4,6
/proc/8315/stat : 8315 (python) S 8281 8281 7291 0 -1 4202560 1159 0 0 0 148 122 0 0 15 0 2 0 658116476 338358272 5780 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485794251 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/8315/statm: 82607 5780 400 364 0 18510 0
[pid=8317] ppid=8315 vsize=208940 CPUtime=971.07 cores=0,2,4,6
/proc/8317/stat : 8317 (march_hi) T 8315 8317 8317 0 -1 4202496 45476 0 0 0 97091 16 0 0 25 0 1 0 658116476 213954560 45207 33554432000 4194304 4955518 140736787403744 18446744073709551615 4297490 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/8317/statm: 52235 45207 106 186 0 52048 0
[pid=8315/tid=8397] ppid=8281 vsize=330428 CPUtime=0 cores=0,2,4,6
/proc/8315/task/8397/stat : 8397 (python) S 8281 8281 7291 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 658184732 338358272 5780 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 514 18446604445825659072 0 0 -1 0 0 0 0
[pid=8399] ppid=8281 vsize=340276 CPUtime=1.12 cores=0,2,4,6
/proc/8399/stat : 8399 (python) S 8281 8281 7291 0 -1 4202560 1004 0 0 0 59 53 0 0 15 0 1 0 658185502 348442624 5665 33554432000 4194304 5683644 140735427087632 18446744073709551615 274473987654 0 0 16781312 514 163836028631613698 0 0 17 4 0 0 0
/proc/8399/statm: 85069 5665 371 364 0 20969 0
[pid=8401] ppid=8399 vsize=94448 CPUtime=408.35 cores=0,2,4,6
/proc/8401/stat : 8401 (march_hi) R 8399 8401 8401 0 -1 4202496 20305 0 0 0 40831 4 0 0 25 0 1 0 658185502 96714752 20034 33554432000 4194304 4955518 140733288840704 18446744073709551615 4235599 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/8401/statm: 23612 20034 106 186 0 23425 0
[pid=8496] ppid=8281 vsize=351016 CPUtime=0.61 cores=0,2,4,6
/proc/8496/stat : 8496 (python) S 8281 8281 7291 0 -1 4202560 1039 0 0 0 32 29 0 0 15 0 1 0 658204018 359440384 5781 33554432000 4194304 5683644 140735427087632 18446744073709551615 274473987654 0 0 16781312 514 2917822389435728132 0 0 17 6 0 0 0
/proc/8496/statm: 87754 5781 377 364 0 23651 0
[pid=8498] ppid=8496 vsize=62984 CPUtime=223.82 cores=0,2,4,6
/proc/8498/stat : 8498 (march_hi) R 8496 8498 8498 0 -1 4202496 11919 0 0 0 22381 1 0 0 25 0 1 0 658204018 64495616 11644 33554432000 4194304 4955518 140733494907744 18446744073709551615 4235634 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/8498/statm: 15746 11644 106 186 0 15559 0
[pid=8502] ppid=8281 vsize=361040 CPUtime=0.32 cores=0,2,4,6
/proc/8502/stat : 8502 (python) S 8281 8281 7291 0 -1 4202560 975 0 0 0 17 15 0 0 18 0 1 0 658213963 369704960 5710 33554432000 4194304 5683644 140735427087632 18446744073709551615 274473987654 0 0 16781312 514 163836028631613700 0 0 17 6 0 0 0
/proc/8502/statm: 90260 5710 377 364 0 26154 0
[pid=8504] ppid=8502 vsize=416280 CPUtime=122.79 cores=0,2,4,6
/proc/8504/stat : 8504 (adaptg2wsat2009) R 8502 8504 8504 0 -1 4202496 519 0 0 0 12279 0 0 0 25 0 1 0 658213963 426270720 253 33554432000 134512640 135107411 4290815984 18446744073709551615 134532288 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/8504/statm: 104070 253 59 146 0 102946 0
[pid=8281/tid=8288] ppid=8279 vsize=371284 CPUtime=0 cores=0,2,4,6
/proc/8281/task/8288/stat : 8288 (python) S 8279 8281 7291 0 -1 4202560 25 934 0 0 0 0 0 0 25 0 10 0 658106448 380194816 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 4 0 0 0
[pid=8281/tid=8291] ppid=8279 vsize=371284 CPUtime=0 cores=0,2,4,6
/proc/8281/task/8291/stat : 8291 (python) S 8279 8281 7291 0 -1 4202560 23 934 0 0 0 0 0 0 25 0 10 0 658106449 380194816 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 2 0 0 0
[pid=8281/tid=8294] ppid=8279 vsize=371284 CPUtime=0 cores=0,2,4,6
/proc/8281/task/8294/stat : 8294 (python) S 8279 8281 7291 0 -1 4202560 38 934 0 0 0 0 0 0 18 0 10 0 658106450 380194816 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 4 0 0 0
[pid=8281/tid=8297] ppid=8279 vsize=371284 CPUtime=0 cores=0,2,4,6
/proc/8281/task/8297/stat : 8297 (python) S 8279 8281 7291 0 -1 4202560 37 934 0 0 0 0 0 0 18 0 10 0 658106451 380194816 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 6 0 0 0
[pid=8281/tid=8312] ppid=8279 vsize=371284 CPUtime=0 cores=0,2,4,6
/proc/8281/task/8312/stat : 8312 (python) S 8279 8281 7291 0 -1 4202560 30 934 0 0 0 0 0 0 18 0 10 0 658116379 380194816 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 6 0 0 0
[pid=8281/tid=8316] ppid=8279 vsize=371284 CPUtime=0 cores=0,2,4,6
/proc/8281/task/8316/stat : 8316 (python) S 8279 8281 7291 0 -1 4202560 33 934 0 0 0 0 0 0 18 0 10 0 658116476 380194816 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 6 0 0 0
[pid=8281/tid=8400] ppid=8279 vsize=371284 CPUtime=0 cores=0,2,4,6
/proc/8281/task/8400/stat : 8400 (python) S 8279 8281 7291 0 -1 4202560 30 934 0 0 0 0 0 0 20 0 10 0 658185502 380194816 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 6 0 0 0
[pid=8281/tid=8497] ppid=8279 vsize=371284 CPUtime=0 cores=0,2,4,6
/proc/8281/task/8497/stat : 8497 (python) S 8279 8281 7291 0 -1 4202560 25 934 0 0 0 0 0 0 20 0 10 0 658204018 380194816 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 6 0 0 0
[pid=8281/tid=8503] ppid=8279 vsize=371284 CPUtime=0 cores=0,2,4,6
/proc/8281/task/8503/stat : 8503 (python) S 8279 8281 7291 0 -1 4202560 78 934 0 0 0 0 0 0 20 0 10 0 658213963 380194816 7229 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4790.07
Current children cumulated vsize (KiB) 6747892

[startup+1202.1 s]
/proc/loadavg: 5.07 5.93 6.97 6/390 8507
/proc/meminfo: memFree=16039304/32950928 swapFree=67111348/67111528
[pid=8281] ppid=8279 vsize=371720 CPUtime=4566.36 cores=0,2,4,6
/proc/8281/stat : 8281 (python) S 8279 8281 7291 0 -1 4202496 17451 211160 1 0 55 10 455911 660 17 0 10 0 658106385 380641280 7338 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485797695 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8281/statm: 92930 7338 1892 364 0 28824 0
[pid=8496] ppid=8281 vsize=351016 CPUtime=0.61 cores=0,2,4,6
/proc/8496/stat : 8496 (python) S 8281 8281 7291 0 -1 4202560 1057 0 0 0 32 29 0 0 15 0 1 0 658204018 359440384 5786 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485797695 0 0 16781824 2 18446744071562232103 0 0 17 6 0 0 0
/proc/8496/statm: 87754 5786 382 364 0 23651 0
[pid=8498] ppid=8496 vsize=0 CPUtime=224.03 cores=0,2,4,6
/proc/8498/stat : 8498 (march_hi) R 8496 8498 8498 0 -1 4203524 11930 0 0 0 22401 2 0 0 25 0 1 0 658204018 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/8498/statm: 0 0 0 0 0 0 0
[pid=8281/tid=8288] ppid=8279 vsize=371720 CPUtime=4565.71 cores=0,2,4,6
/proc/8281/task/8288/stat : 8288 (python) S 8279 8281 7291 0 -1 4202560 25 211160 0 0 0 0 455911 660 25 0 10 0 658106448 380641280 7338 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 4 0 0 0
[pid=8281/tid=8291] ppid=8279 vsize=371720 CPUtime=4565.71 cores=0,2,4,6
/proc/8281/task/8291/stat : 8291 (python) S 8279 8281 7291 0 -1 4202560 23 211160 0 0 0 0 455911 660 25 0 10 0 658106449 380641280 7338 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 2 0 0 0
[pid=8281/tid=8294] ppid=8279 vsize=371720 CPUtime=4565.71 cores=0,2,4,6
/proc/8281/task/8294/stat : 8294 (python) S 8279 8281 7291 0 -1 4202560 38 211160 0 0 0 0 455911 660 18 0 10 0 658106450 380641280 7338 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 4 0 0 0
[pid=8281/tid=8297] ppid=8279 vsize=371720 CPUtime=4565.71 cores=0,2,4,6
/proc/8281/task/8297/stat : 8297 (python) S 8279 8281 7291 0 -1 4202560 37 211160 0 0 0 0 455911 660 18 0 10 0 658106451 380641280 7338 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 6 0 0 0
[pid=8281/tid=8312] ppid=8279 vsize=371720 CPUtime=4565.71 cores=0,2,4,6
/proc/8281/task/8312/stat : 8312 (python) S 8279 8281 7291 0 -1 4202560 30 211160 0 0 0 0 455911 660 18 0 10 0 658116379 380641280 7338 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 6 0 0 0
[pid=8281/tid=8316] ppid=8279 vsize=371720 CPUtime=4565.71 cores=0,2,4,6
/proc/8281/task/8316/stat : 8316 (python) S 8279 8281 7291 0 -1 4202560 33 211160 0 0 0 0 455911 660 18 0 10 0 658116476 380641280 7338 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 6 0 0 0
[pid=8281/tid=8400] ppid=8279 vsize=371720 CPUtime=4565.71 cores=0,2,4,6
/proc/8281/task/8400/stat : 8400 (python) S 8279 8281 7291 0 -1 4202560 30 211160 0 0 0 0 455911 660 20 0 10 0 658185502 380641280 7338 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 6 0 0 0
[pid=8281/tid=8497] ppid=8279 vsize=371720 CPUtime=4565.71 cores=0,2,4,6
/proc/8281/task/8497/stat : 8497 (python) S 8279 8281 7291 0 -1 4202560 25 211160 0 0 0 0 455911 660 20 0 10 0 658204018 380641280 7338 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 6 0 0 0
[pid=8281/tid=8503] ppid=8279 vsize=371720 CPUtime=4565.71 cores=0,2,4,6
/proc/8281/task/8503/stat : 8503 (python) S 8279 8281 7291 0 -1 4202560 78 211160 0 0 0 0 455911 660 20 0 10 0 658213963 380641280 7338 33554432000 4194304 5683644 140735427087632 18446744073709551615 274485791153 0 0 16781312 2 18446604453864230976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4791
Current children cumulated vsize (KiB) 722736

Child status: 0
Real time (s): 1202.12
CPU time (s): 4791.06
CPU user time (s): 4784.02
CPU system time (s): 7.04293
CPU usage (%): 398.549
Max. virtual memory (cumulated for all children) (KiB): 6747892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4784.02
system time used= 7.04293
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245784
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= 7849
involuntary context switches= 32839

runsolver used 4.73928 second user time and 10.4464 second system time

The end

Launcher Data 

Begin job on node125 at 2011-05-15 15:11:07
IDJOB=3378367
IDBENCH=82776
IDSOLVER=1859
FILE ID=node125/3378367-1305465067
RUNJOBID= node125-1305462615-7309
PBS_JOBID= 13324969
Free space on /tmp= 73156 MiB

SOLVER NAME= borg-sat 11.03.02-par-random (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1653142431-025.UNKNOWN.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-3378367-1305465067/watcher-3378367-1305465067 -o /tmp/evaluation-result-3378367-1305465067/solver-3378367-1305465067 -C 4800 -W 1300 -M 15500  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3378367-1305465067.cnf -seed 35873692 -budget 4800 -cores 4

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

MD5SUM BENCH= 57404773f78439bca79cfbdcb4a4a71b
RANDOM SEED=35873692

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
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.828
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:      16483148 kB
Buffers:        294864 kB
Cached:        4760144 kB
SwapCached:          0 kB
Active:       12371992 kB
Inactive:      3695544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      16483148 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           32812 kB
Writeback:          12 kB
AnonPages:    11012276 kB
Mapped:          41112 kB
Slab:           282044 kB
PageTables:      52220 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 84128984 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= 73128 MiB
End job on node125 at 2011-05-15 15:31:09