Trace number 3386661

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-seq-random (fixed)UNSAT 636.953 635.22

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v50-c4450-S1027567260-047.UNKNOWN.cnf
MD5SUMdeef67012ed65265f92101778280c717
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark32.4201
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of clauses4450
Sum of the clauses size31150
Maximum clause length7
Minimum clause length7
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 50
Number of clauses of size over 54450

Solver Data 

0.30/0.66	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.30/0.66	c INFO: solving HOME/instance-3386661-1305590062.cnf
0.30/0.66	c INFO: computing task features
0.30/0.69	c INFO: computed variable-clause graph statistics
0.30/0.69	c INFO: computed clause balance statistics
0.47/0.85	c INFO: computed variable balance statistics
0.57/0.91	c INFO: computed small-clause counts
0.57/0.91	c INFO: computed Horn-clause counts
0.57/0.92	c INFO: computed variable graph statistics
0.57/0.92	c INFO: collected features for HOME/instance-3386661-1305590062.cnf in 0.26 s
0.57/0.95	c INFO: running gnovelty+2@0 for 97 with 4999 remaining (b = 0.58)
100.28/100.33	c INFO: running gnovelty+2@0 for 97 with 4900 remaining (b = 0.09)
200.95/200.73	c INFO: running adaptg2wsat2009++@0 for 97 with 4800 remaining (b = 0.04)
300.68/300.12	c INFO: running adaptg2wsat2009++@0 for 97 with 4700 remaining (b = 0.03)
400.36/399.50	c INFO: running adaptg2wsat2009++@0 for 97 with 4601 remaining (b = 0.02)
500.92/499.86	c INFO: running FH@0 for 97 with 4501 remaining (b = 0.02)
600.65/599.21	c INFO: running march_hi@0 for 2134 with 4401 remaining (b = 0.39)
636.70/635.19	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

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-3386661-1305590062/watcher-3386661-1305590062 -o /tmp/evaluation-result-3386661-1305590062/solver-3386661-1305590062 -C 5000 -W 5100 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3386661-1305590062.cnf -seed 1865723472 -budget 5000 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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: 3.00 3.03 3.00 3/479 27413
/proc/meminfo: memFree=22356484/32951124 swapFree=65173164/67111528
[pid=27413] ppid=27411 vsize=16244 CPUtime=0 cores=0,2,4,6
/proc/27413/stat : 27413 (python) R 27411 27413 26973 0 -1 4202496 984 0 0 0 0 0 0 0 25 0 1 0 670604427 16633856 858 33554432000 4194304 5683644 140735050831536 18446744073709551615 4865408 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/27413/statm: 4061 858 362 364 0 548 0

[startup+0.101414 s]
/proc/loadavg: 3.00 3.03 3.00 3/479 27413
/proc/meminfo: memFree=22356484/32951124 swapFree=65173164/67111528
[pid=27413] ppid=27411 vsize=85368 CPUtime=0.06 cores=0,2,4,6
/proc/27413/stat : 27413 (python) R 27411 27413 26973 0 -1 4202496 2592 0 0 0 5 1 0 0 17 0 1 0 670604427 87416832 2315 33554432000 4194304 5683644 140735050831536 18446744073709551615 232335890432 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/27413/statm: 21342 2315 713 364 0 1559 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85368

[startup+0.200403 s]
/proc/loadavg: 3.00 3.03 3.00 3/479 27413
/proc/meminfo: memFree=22356484/32951124 swapFree=65173164/67111528
[pid=27413] ppid=27411 vsize=121992 CPUtime=0.12 cores=0,2,4,6
/proc/27413/stat : 27413 (python) S 27411 27413 26973 0 -1 4202496 4170 0 1 0 9 3 0 0 17 0 1 0 670604427 124919808 3788 33554432000 4194304 5683644 140735050831536 18446744073709551615 232335890432 0 2147483391 16781312 2 18446744071699453118 0 0 17 0 0 0 0
/proc/27413/statm: 30498 3788 986 364 0 2828 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 121992

[startup+0.30038 s]
/proc/loadavg: 3.00 3.03 3.00 3/479 27413
/proc/meminfo: memFree=22356484/32951124 swapFree=65173164/67111528
[pid=27413] ppid=27411 vsize=135752 CPUtime=0.18 cores=0,2,4,6
/proc/27413/stat : 27413 (python) S 27411 27413 26973 0 -1 4202496 5970 935 1 0 14 4 0 0 18 0 1 0 670604427 139010048 4149 33554432000 4194304 5683644 140735050831536 18446744073709551615 232335888389 0 2147483391 16781312 2 18446744071699453118 0 0 17 6 0 0 0
/proc/27413/statm: 33938 4149 1032 364 0 3124 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 135752

[startup+0.700278 s]
/proc/loadavg: 3.00 3.03 3.00 3/479 27413
/proc/meminfo: memFree=22356484/32951124 swapFree=65173164/67111528
[pid=27413] ppid=27411 vsize=279316 CPUtime=0.37 cores=0,2,4,6
/proc/27413/stat : 27413 (python) R 27411 27413 26973 0 -1 4202496 9731 935 1 0 30 7 0 0 17 0 1 0 670604427 286019584 7210 33554432000 4194304 5683644 140735050831536 18446744073709551615 4602336 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/27413/statm: 69829 7210 1823 364 0 5753 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 279316

[startup+1.5012 s]
/proc/loadavg: 3.00 3.03 3.00 4/483 27421
/proc/meminfo: memFree=22331032/32951124 swapFree=65173164/67111528
[pid=27413] ppid=27411 vsize=288856 CPUtime=0.62 cores=0,2,4,6
/proc/27413/stat : 27413 (python) S 27411 27413 26973 0 -1 4202496 10171 935 1 0 55 7 0 0 19 0 2 0 670604427 295788544 7118 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347719115 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27413/statm: 72214 7118 1877 364 0 8132 0
[pid=27419] ppid=27413 vsize=278612 CPUtime=0 cores=0,2,4,6
/proc/27419/stat : 27419 (python) S 27413 27413 26973 0 -1 4202560 738 0 0 0 0 0 0 0 18 0 1 0 670604523 285298688 5591 33554432000 4194304 5683644 140735050831536 18446744073709551615 232335912463 0 0 16781312 514 11711341454923137023 0 0 17 6 0 0 0
/proc/27419/statm: 69653 5591 354 364 0 5571 0
[pid=27421] ppid=27419 vsize=1017932 CPUtime=0.54 cores=0,2,4,6
/proc/27421/stat : 27421 (gnovelty+2) R 27419 27421 27421 0 -1 4202496 489 0 0 0 54 0 0 0 20 0 1 0 670604523 1042362368 227 33554432000 134512640 135663704 4294295600 18446744073709551615 134525276 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/27421/statm: 254483 227 113 282 0 254199 0
[pid=27413/tid=27420] ppid=27411 vsize=288856 CPUtime=0 cores=0,2,4,6
/proc/27413/task/27420/stat : 27420 (python) S 27411 27413 26973 0 -1 4202560 30 935 0 0 0 0 0 0 19 0 2 0 670604523 295788544 7118 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 2 18446604451363438656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 1585400

[startup+3.10092 s]
/proc/loadavg: 3.00 3.03 3.00 4/483 27421
/proc/meminfo: memFree=22329916/32951124 swapFree=65173164/67111528
[pid=27413] ppid=27411 vsize=288856 CPUtime=0.62 cores=0,2,4,6
/proc/27413/stat : 27413 (python) S 27411 27413 26973 0 -1 4202496 10171 935 1 0 55 7 0 0 19 0 2 0 670604427 295788544 7118 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347719115 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27413/statm: 72214 7118 1877 364 0 8132 0
[pid=27419] ppid=27413 vsize=278612 CPUtime=0 cores=0,2,4,6
/proc/27419/stat : 27419 (python) S 27413 27413 26973 0 -1 4202560 738 0 0 0 0 0 0 0 18 0 1 0 670604523 285298688 5591 33554432000 4194304 5683644 140735050831536 18446744073709551615 232335912463 0 0 16781312 514 11711341454923104513 0 0 17 6 0 0 0
/proc/27419/statm: 69653 5591 354 364 0 5571 0
[pid=27421] ppid=27419 vsize=1017932 CPUtime=2.14 cores=0,2,4,6
/proc/27421/stat : 27421 (gnovelty+2) R 27419 27421 27421 0 -1 4202496 489 0 0 0 214 0 0 0 25 0 1 0 670604523 1042362368 227 33554432000 134512640 135663704 4294295600 18446744073709551615 134524498 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/27421/statm: 254483 227 113 282 0 254199 0
[pid=27413/tid=27420] ppid=27411 vsize=288856 CPUtime=0 cores=0,2,4,6
/proc/27413/task/27420/stat : 27420 (python) S 27411 27413 26973 0 -1 4202560 30 935 0 0 0 0 0 0 19 0 2 0 670604523 295788544 7118 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 2 18446604451363438656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 1585400

[startup+6.30033 s]
/proc/loadavg: 3.00 3.03 3.00 4/483 27421
/proc/meminfo: memFree=22329432/32951124 swapFree=65173164/67111528
[pid=27413] ppid=27411 vsize=288856 CPUtime=0.62 cores=0,2,4,6
/proc/27413/stat : 27413 (python) S 27411 27413 26973 0 -1 4202496 10171 935 1 0 55 7 0 0 19 0 2 0 670604427 295788544 7118 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347719115 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27413/statm: 72214 7118 1877 364 0 8132 0
[pid=27419] ppid=27413 vsize=278612 CPUtime=0.01 cores=0,2,4,6
/proc/27419/stat : 27419 (python) S 27413 27413 26973 0 -1 4202560 885 0 0 0 0 1 0 0 18 0 1 0 670604523 285298688 5614 33554432000 4194304 5683644 140735050831536 18446744073709551615 232335912463 0 0 16781312 514 11711341454923104513 0 0 17 6 0 0 0
/proc/27419/statm: 69653 5614 377 364 0 5571 0
[pid=27421] ppid=27419 vsize=1017932 CPUtime=5.34 cores=0,2,4,6
/proc/27421/stat : 27421 (gnovelty+2) R 27419 27421 27421 0 -1 4202496 489 0 0 0 534 0 0 0 25 0 1 0 670604523 1042362368 227 33554432000 134512640 135663704 4294295600 18446744073709551615 134525243 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/27421/statm: 254483 227 113 282 0 254199 0
[pid=27413/tid=27420] ppid=27411 vsize=288856 CPUtime=0 cores=0,2,4,6
/proc/27413/task/27420/stat : 27420 (python) S 27411 27413 26973 0 -1 4202560 30 935 0 0 0 0 0 0 19 0 2 0 670604523 295788544 7118 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 2 18446604451363438656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 1585400

[startup+12.7012 s]
/proc/loadavg: 3.00 3.03 3.00 4/483 27421
/proc/meminfo: memFree=22328772/32951124 swapFree=65173164/67111528
[pid=27413] ppid=27411 vsize=288856 CPUtime=0.62 cores=0,2,4,6
/proc/27413/stat : 27413 (python) S 27411 27413 26973 0 -1 4202496 10171 935 1 0 55 7 0 0 19 0 2 0 670604427 295788544 7118 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347719115 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27413/statm: 72214 7118 1877 364 0 8132 0
[pid=27419] ppid=27413 vsize=278612 CPUtime=0.03 cores=0,2,4,6
/proc/27419/stat : 27419 (python) S 27413 27413 26973 0 -1 4202560 888 0 0 0 1 2 0 0 18 0 1 0 670604523 285298688 5614 33554432000 4194304 5683644 140735050831536 18446744073709551615 232335912463 0 0 16781312 514 8809779742950523137 0 0 17 6 0 0 0
/proc/27419/statm: 69653 5614 377 364 0 5571 0
[pid=27421] ppid=27419 vsize=1017932 CPUtime=11.74 cores=0,2,4,6
/proc/27421/stat : 27421 (gnovelty+2) R 27419 27421 27421 0 -1 4202496 489 0 0 0 1174 0 0 0 25 0 1 0 670604523 1042362368 227 33554432000 134512640 135663704 4294295600 18446744073709551615 134525111 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/27421/statm: 254483 227 113 282 0 254199 0
[pid=27413/tid=27420] ppid=27411 vsize=288856 CPUtime=0 cores=0,2,4,6
/proc/27413/task/27420/stat : 27420 (python) S 27411 27413 26973 0 -1 4202560 30 935 0 0 0 0 0 0 19 0 2 0 670604523 295788544 7118 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 2 18446604451363438656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 1585400

[startup+25.5009 s]
/proc/loadavg: 3.00 3.03 3.00 4/483 27422
/proc/meminfo: memFree=22329016/32951124 swapFree=65173164/67111528
[pid=27413] ppid=27411 vsize=288856 CPUtime=0.62 cores=0,2,4,6
/proc/27413/stat : 27413 (python) S 27411 27413 26973 0 -1 4202496 10171 935 1 0 55 7 0 0 19 0 2 0 670604427 295788544 7118 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347719115 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27413/statm: 72214 7118 1877 364 0 8132 0
[pid=27419] ppid=27413 vsize=278612 CPUtime=0.07 cores=0,2,4,6
/proc/27419/stat : 27419 (python) S 27413 27413 26973 0 -1 4202560 894 0 0 0 3 4 0 0 18 0 1 0 670604523 285298688 5614 33554432000 4194304 5683644 140735050831536 18446744073709551615 232335912463 0 0 16781312 514 8809779742950523137 0 0 17 6 0 0 0
/proc/27419/statm: 69653 5614 377 364 0 5571 0
[pid=27421] ppid=27419 vsize=1017932 CPUtime=24.54 cores=0,2,4,6
/proc/27421/stat : 27421 (gnovelty+2) R 27419 27421 27421 0 -1 4202496 489 0 0 0 2454 0 0 0 25 0 1 0 670604523 1042362368 227 33554432000 134512640 135663704 4294295600 18446744073709551615 134525265 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/27421/statm: 254483 227 113 282 0 254199 0
[pid=27413/tid=27420] ppid=27411 vsize=288856 CPUtime=0 cores=0,2,4,6
/proc/27413/task/27420/stat : 27420 (python) S 27411 27413 26973 0 -1 4202560 30 935 0 0 0 0 0 0 19 0 2 0 670604523 295788544 7118 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 2 18446604451363438656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 1585400

[startup+51.1014 s]
/proc/loadavg: 3.11 3.06 3.01 4/483 27422
/proc/meminfo: memFree=22328992/32951124 swapFree=65173164/67111528
[pid=27413] ppid=27411 vsize=288856 CPUtime=0.62 cores=0,2,4,6
/proc/27413/stat : 27413 (python) S 27411 27413 26973 0 -1 4202496 10171 935 1 0 55 7 0 0 19 0 2 0 670604427 295788544 7118 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347719115 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27413/statm: 72214 7118 1877 364 0 8132 0
[pid=27419] ppid=27413 vsize=278612 CPUtime=0.15 cores=0,2,4,6
/proc/27419/stat : 27419 (python) S 27413 27413 26973 0 -1 4202560 903 0 0 0 8 7 0 0 18 0 1 0 670604523 285298688 5614 33554432000 4194304 5683644 140735050831536 18446744073709551615 232335912463 0 0 16781312 514 8809779742950523137 0 0 17 6 0 0 0
/proc/27419/statm: 69653 5614 377 364 0 5571 0
[pid=27421] ppid=27419 vsize=1017932 CPUtime=50.14 cores=0,2,4,6
/proc/27421/stat : 27421 (gnovelty+2) R 27419 27421 27421 0 -1 4202496 489 0 0 0 5014 0 0 0 25 0 1 0 670604523 1042362368 227 33554432000 134512640 135663704 4294295600 18446744073709551615 134524918 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/27421/statm: 254483 227 113 282 0 254199 0
[pid=27413/tid=27420] ppid=27411 vsize=288856 CPUtime=0 cores=0,2,4,6
/proc/27413/task/27420/stat : 27420 (python) S 27411 27413 26973 0 -1 4202560 30 935 0 0 0 0 0 0 19 0 2 0 670604523 295788544 7118 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 2 18446604451363438656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 1585400

[startup+102.301 s]
/proc/loadavg: 3.18 3.08 3.01 4/487 27428
/proc/meminfo: memFree=22325356/32951124 swapFree=65173164/67111528
[pid=27413] ppid=27411 vsize=299596 CPUtime=0.65 cores=0,2,4,6
/proc/27413/stat : 27413 (python) S 27411 27413 26973 0 -1 4202496 11000 935 1 0 58 7 0 0 20 0 3 0 670604427 306786304 7231 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347719115 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27413/statm: 74899 7231 1880 364 0 10814 0
[pid=27419] ppid=27413 vsize=288856 CPUtime=0.33 cores=0,2,4,6
/proc/27419/stat : 27419 (python) S 27413 27413 26973 0 -1 4202560 1077 0 0 0 17 16 0 0 19 0 2 0 670604523 295788544 5652 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/27419/statm: 72214 5652 410 364 0 8132 0
[pid=27421] ppid=27419 vsize=1017932 CPUtime=99.34 cores=0,2,4,6
/proc/27421/stat : 27421 (gnovelty+2) T 27419 27421 27421 0 -1 4202496 489 0 0 0 9934 0 0 0 25 0 1 0 670604523 1042362368 227 33554432000 134512640 135663704 4294295600 18446744073709551615 134525292 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/27421/statm: 254483 227 113 282 0 254199 0
[pid=27419/tid=27425] ppid=27413 vsize=288856 CPUtime=0 cores=0,2,4,6
/proc/27419/task/27425/stat : 27425 (python) S 27413 27413 26973 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 670614458 295788544 5652 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 514 18446604442754550528 0 0 -1 0 0 0 0
[pid=27426] ppid=27413 vsize=289352 CPUtime=0 cores=0,2,4,6
/proc/27426/stat : 27426 (python) S 27413 27413 26973 0 -1 4202560 739 0 0 0 0 0 0 0 18 0 1 0 670614461 296296448 5695 33554432000 4194304 5683644 140735050831536 18446744073709551615 232335912518 0 0 16781312 514 3313722716615311617 0 0 17 0 0 0 0
/proc/27426/statm: 72338 5695 348 364 0 8253 0
[pid=27428] ppid=27426 vsize=1017932 CPUtime=1.97 cores=0,2,4,6
/proc/27428/stat : 27428 (gnovelty+2) R 27426 27428 27428 0 -1 4202496 494 0 0 0 197 0 0 0 25 0 1 0 670614461 1042362368 227 33554432000 134512640 135663704 4287959712 18446744073709551615 134525276 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/27428/statm: 254483 227 113 282 0 254199 0
[pid=27413/tid=27420] ppid=27411 vsize=299596 CPUtime=0 cores=0,2,4,6
/proc/27413/task/27420/stat : 27420 (python) S 27411 27413 26973 0 -1 4202560 30 935 0 0 0 0 0 0 19 0 3 0 670604523 306786304 7231 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 2 18446604451363438656 0 0 -1 0 0 0 0
[pid=27413/tid=27427] ppid=27411 vsize=299596 CPUtime=0 cores=0,2,4,6
/proc/27413/task/27427/stat : 27427 (python) S 27411 27413 26973 0 -1 4202560 24 935 0 0 0 0 0 0 20 0 3 0 670614461 306786304 7231 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 2 18446604451363438656 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 2913668

[startup+162.301 s]
/proc/loadavg: 3.06 3.06 3.01 4/487 27429
/proc/meminfo: memFree=22323612/32951124 swapFree=65173164/67111528
[pid=27413] ppid=27411 vsize=299596 CPUtime=0.65 cores=0,2,4,6
/proc/27413/stat : 27413 (python) S 27411 27413 26973 0 -1 4202496 11000 935 1 0 58 7 0 0 20 0 3 0 670604427 306786304 7231 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347719115 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27413/statm: 74899 7231 1880 364 0 10814 0
[pid=27419] ppid=27413 vsize=288856 CPUtime=0.33 cores=0,2,4,6

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

Current children cumulated vsize (KiB) 6064344

[startup+634.402 s]
/proc/loadavg: 3.08 3.06 3.00 4/468 27627
/proc/meminfo: memFree=22361892/32951124 swapFree=65173164/67111528
[pid=27413] ppid=27411 vsize=351068 CPUtime=0.84 cores=0,2,4,6
/proc/27413/stat : 27413 (python) S 27411 27413 26973 0 -1 4202496 15455 935 1 0 76 8 0 0 20 0 8 0 670604427 359493632 7292 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347719115 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27413/statm: 87767 7292 1890 364 0 23667 0
[pid=27419] ppid=27413 vsize=288856 CPUtime=0.33 cores=0,2,4,6
/proc/27419/stat : 27419 (python) S 27413 27413 26973 0 -1 4202560 1077 0 0 0 17 16 0 0 19 0 2 0 670604523 295788544 5652 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/27419/statm: 72214 5652 410 364 0 8132 0
[pid=27421] ppid=27419 vsize=1017932 CPUtime=99.34 cores=0,2,4,6
/proc/27421/stat : 27421 (gnovelty+2) T 27419 27421 27421 0 -1 4202496 489 0 0 0 9934 0 0 0 25 0 1 0 670604523 1042362368 227 33554432000 134512640 135663704 4294295600 18446744073709551615 134525292 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/27421/statm: 254483 227 113 282 0 254199 0
[pid=27419/tid=27425] ppid=27413 vsize=288856 CPUtime=0 cores=0,2,4,6
/proc/27419/task/27425/stat : 27425 (python) S 27413 27413 26973 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 670614458 295788544 5652 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 514 18446604442754550528 0 0 -1 0 0 0 0
[pid=27426] ppid=27413 vsize=289352 CPUtime=0.36 cores=0,2,4,6
/proc/27426/stat : 27426 (python) S 27413 27413 26973 0 -1 4202560 1073 0 0 0 20 16 0 0 19 0 2 0 670614461 296296448 5748 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/27426/statm: 72338 5748 400 364 0 8253 0
[pid=27428] ppid=27426 vsize=1017932 CPUtime=100.28 cores=0,2,4,6
/proc/27428/stat : 27428 (gnovelty+2) T 27426 27428 27428 0 -1 4202496 494 0 0 0 10028 0 0 0 25 0 1 0 670614461 1042362368 227 33554432000 134512640 135663704 4287959712 18446744073709551615 134524548 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/27428/statm: 254483 227 113 282 0 254199 0
[pid=27426/tid=27431] ppid=27413 vsize=289352 CPUtime=0 cores=0,2,4,6
/proc/27426/task/27431/stat : 27431 (python) S 27413 27413 26973 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 670624498 296296448 5748 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 514 18446604453684229440 0 0 -1 0 0 0 0
[pid=27432] ppid=27413 vsize=299280 CPUtime=0.34 cores=0,2,4,6
/proc/27432/stat : 27432 (python) S 27413 27413 26973 0 -1 4202560 1073 0 0 0 19 15 0 0 19 0 2 0 670624501 306462720 5681 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/27432/statm: 74820 5681 400 364 0 10732 0
[pid=27434] ppid=27432 vsize=416524 CPUtime=99.34 cores=0,2,4,6
/proc/27434/stat : 27434 (adaptg2wsat2009) T 27432 27434 27434 0 -1 4202496 589 0 0 0 9934 0 0 0 25 0 1 0 670624502 426520576 320 33554432000 134512640 135107411 4294277760 18446744073709551615 134531582 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/27434/statm: 104131 320 59 146 0 103007 0
[pid=27432/tid=27438] ppid=27413 vsize=299280 CPUtime=0 cores=0,2,4,6
/proc/27432/task/27438/stat : 27438 (python) S 27413 27413 26973 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 670634437 306462720 5681 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 514 18446604446016411456 0 0 -1 6 0 0 0
[pid=27439] ppid=27413 vsize=310104 CPUtime=0.34 cores=0,2,4,6
/proc/27439/stat : 27439 (python) S 27413 27413 26973 0 -1 4202560 1098 0 0 0 18 16 0 0 19 0 2 0 670634440 317546496 5799 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/27439/statm: 77526 5799 400 364 0 13435 0
[pid=27441] ppid=27439 vsize=416524 CPUtime=99.27 cores=0,2,4,6
/proc/27441/stat : 27441 (adaptg2wsat2009) T 27439 27441 27441 0 -1 4202496 589 0 0 0 9927 0 0 0 25 0 1 0 670634441 426520576 322 33554432000 134512640 135107411 4290045248 18446744073709551615 134532107 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/27441/statm: 104131 322 59 146 0 103007 0
[pid=27439/tid=27454] ppid=27413 vsize=310104 CPUtime=0 cores=0,2,4,6
/proc/27439/task/27454/stat : 27454 (python) S 27413 27413 26973 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 670644375 317546496 5799 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 514 18446604453811760192 0 0 -1 6 0 0 0
[pid=27455] ppid=27413 vsize=320360 CPUtime=0.32 cores=0,2,4,6
/proc/27455/stat : 27455 (python) S 27413 27413 26973 0 -1 4202560 1101 0 0 0 16 16 0 0 19 0 2 0 670644378 328048640 5803 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/27455/statm: 80090 5803 400 364 0 15996 0
[pid=27457] ppid=27455 vsize=416524 CPUtime=100.28 cores=0,2,4,6
/proc/27457/stat : 27457 (adaptg2wsat2009) T 27455 27457 27457 0 -1 4202496 590 0 0 0 10024 4 0 0 25 0 1 0 670644379 426520576 321 33554432000 134512640 135107411 4290976464 18446744073709551615 134532360 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/27457/statm: 104131 321 59 146 0 103007 0
[pid=27455/tid=27605] ppid=27413 vsize=320360 CPUtime=0 cores=0,2,4,6
/proc/27455/task/27605/stat : 27605 (python) S 27413 27413 26973 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 670654410 328048640 5803 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 514 18446604442171689664 0 0 -1 6 0 0 0
[pid=27606] ppid=27413 vsize=329996 CPUtime=0.32 cores=0,2,4,6
/proc/27606/stat : 27606 (python) S 27413 27413 26973 0 -1 4202560 1121 0 0 0 17 15 0 0 19 0 2 0 670654414 337915904 5684 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/27606/statm: 82499 5684 400 364 0 18402 0
[pid=27608] ppid=27606 vsize=246804 CPUtime=99.31 cores=0,2,4,6
/proc/27608/stat : 27608 (FH) T 27606 27608 27608 0 -1 4202496 554 0 0 0 9931 0 0 0 25 0 1 0 670654414 252727296 287 33554432000 134512640 134936988 4289433920 18446744073709551615 134544807 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/27608/statm: 61701 287 41 104 0 61205 0
[pid=27606/tid=27616] ppid=27413 vsize=329996 CPUtime=0 cores=0,2,4,6
/proc/27606/task/27616/stat : 27616 (python) S 27413 27413 26973 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 670664345 337915904 5684 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 514 18446604442171686976 0 0 -1 6 0 0 0
[pid=27617] ppid=27413 vsize=340824 CPUtime=0.15 cores=0,2,4,6
/proc/27617/stat : 27617 (python) S 27413 27413 26973 0 -1 4202560 960 0 0 0 8 7 0 0 15 0 1 0 670664349 349003776 5769 33554432000 4194304 5683644 140735050831536 18446744073709551615 232335912518 0 0 16781312 514 5607469349871780098 0 0 17 6 0 0 0
/proc/27617/statm: 85206 5769 371 364 0 21106 0
[pid=27619] ppid=27617 vsize=2264 CPUtime=35.17 cores=0,2,4,6
/proc/27619/stat : 27619 (march_hi) R 27617 27619 27619 0 -1 4202496 993 0 0 0 3517 0 0 0 25 0 1 0 670664350 2318336 391 33554432000 4194304 4955518 140736552996240 18446744073709551615 4297477 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/27619/statm: 566 391 106 186 0 379 0
[pid=27413/tid=27420] ppid=27411 vsize=351068 CPUtime=0 cores=0,2,4,6
/proc/27413/task/27420/stat : 27420 (python) S 27411 27413 26973 0 -1 4202560 30 935 0 0 0 0 0 0 19 0 8 0 670604523 359493632 7292 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 2 18446604451363438656 0 0 -1 0 0 0 0
[pid=27413/tid=27427] ppid=27411 vsize=351068 CPUtime=0 cores=0,2,4,6
/proc/27413/task/27427/stat : 27427 (python) S 27411 27413 26973 0 -1 4202560 24 935 0 0 0 0 0 0 20 0 8 0 670614461 359493632 7292 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 2 18446604451363438656 0 0 -1 6 0 0 0
[pid=27413/tid=27433] ppid=27411 vsize=351068 CPUtime=0 cores=0,2,4,6
/proc/27413/task/27433/stat : 27433 (python) S 27411 27413 26973 0 -1 4202560 27 935 0 0 0 0 0 0 20 0 8 0 670624501 359493632 7292 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 2 18446604451363438656 0 0 -1 0 0 0 0
[pid=27413/tid=27440] ppid=27411 vsize=351068 CPUtime=0 cores=0,2,4,6
/proc/27413/task/27440/stat : 27440 (python) S 27411 27413 26973 0 -1 4202560 27 935 0 0 0 0 0 0 20 0 8 0 670634440 359493632 7292 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 2 18446604451363438656 0 0 -1 0 0 0 0
[pid=27413/tid=27456] ppid=27411 vsize=351068 CPUtime=0 cores=0,2,4,6
/proc/27413/task/27456/stat : 27456 (python) S 27411 27413 26973 0 -1 4202560 26 935 0 0 0 0 0 0 20 0 8 0 670644378 359493632 7292 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 2 18446604451363438656 0 0 -1 0 0 0 0
[pid=27413/tid=27607] ppid=27411 vsize=351068 CPUtime=0 cores=0,2,4,6
/proc/27413/task/27607/stat : 27607 (python) S 27411 27413 26973 0 -1 4202560 28 935 0 0 0 0 0 0 20 0 8 0 670654414 359493632 7292 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 2 18446604451363438656 0 0 -1 0 0 0 0
[pid=27413/tid=27618] ppid=27411 vsize=351068 CPUtime=0 cores=0,2,4,6
/proc/27413/task/27618/stat : 27618 (python) S 27411 27413 26973 0 -1 4202560 29 935 0 0 0 0 0 0 20 0 8 0 670664350 359493632 7292 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 2 18446604451363438656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 635.99
Current children cumulated vsize (KiB) 6064344

[startup+634.817 s]
/proc/loadavg: 3.08 3.06 3.00 4/468 27627
/proc/meminfo: memFree=22361644/32951124 swapFree=65173164/67111528
[pid=27413] ppid=27411 vsize=351068 CPUtime=0.84 cores=0,2,4,6
/proc/27413/stat : 27413 (python) S 27411 27413 26973 0 -1 4202496 15455 935 1 0 76 8 0 0 20 0 8 0 670604427 359493632 7292 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347719115 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27413/statm: 87767 7292 1890 364 0 23667 0
[pid=27419] ppid=27413 vsize=288856 CPUtime=0.33 cores=0,2,4,6
/proc/27419/stat : 27419 (python) S 27413 27413 26973 0 -1 4202560 1077 0 0 0 17 16 0 0 19 0 2 0 670604523 295788544 5652 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/27419/statm: 72214 5652 410 364 0 8132 0
[pid=27421] ppid=27419 vsize=1017932 CPUtime=99.34 cores=0,2,4,6
/proc/27421/stat : 27421 (gnovelty+2) T 27419 27421 27421 0 -1 4202496 489 0 0 0 9934 0 0 0 25 0 1 0 670604523 1042362368 227 33554432000 134512640 135663704 4294295600 18446744073709551615 134525292 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/27421/statm: 254483 227 113 282 0 254199 0
[pid=27419/tid=27425] ppid=27413 vsize=288856 CPUtime=0 cores=0,2,4,6
/proc/27419/task/27425/stat : 27425 (python) S 27413 27413 26973 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 670614458 295788544 5652 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 514 18446604442754550528 0 0 -1 0 0 0 0
[pid=27426] ppid=27413 vsize=289352 CPUtime=0.36 cores=0,2,4,6
/proc/27426/stat : 27426 (python) S 27413 27413 26973 0 -1 4202560 1073 0 0 0 20 16 0 0 19 0 2 0 670614461 296296448 5748 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/27426/statm: 72338 5748 400 364 0 8253 0
[pid=27428] ppid=27426 vsize=1017932 CPUtime=100.28 cores=0,2,4,6
/proc/27428/stat : 27428 (gnovelty+2) T 27426 27428 27428 0 -1 4202496 494 0 0 0 10028 0 0 0 25 0 1 0 670614461 1042362368 227 33554432000 134512640 135663704 4287959712 18446744073709551615 134524548 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/27428/statm: 254483 227 113 282 0 254199 0
[pid=27426/tid=27431] ppid=27413 vsize=289352 CPUtime=0 cores=0,2,4,6
/proc/27426/task/27431/stat : 27431 (python) S 27413 27413 26973 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 670624498 296296448 5748 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 514 18446604453684229440 0 0 -1 0 0 0 0
[pid=27432] ppid=27413 vsize=299280 CPUtime=0.34 cores=0,2,4,6
/proc/27432/stat : 27432 (python) S 27413 27413 26973 0 -1 4202560 1073 0 0 0 19 15 0 0 19 0 2 0 670624501 306462720 5681 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/27432/statm: 74820 5681 400 364 0 10732 0
[pid=27434] ppid=27432 vsize=416524 CPUtime=99.34 cores=0,2,4,6
/proc/27434/stat : 27434 (adaptg2wsat2009) T 27432 27434 27434 0 -1 4202496 589 0 0 0 9934 0 0 0 25 0 1 0 670624502 426520576 320 33554432000 134512640 135107411 4294277760 18446744073709551615 134531582 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/27434/statm: 104131 320 59 146 0 103007 0
[pid=27432/tid=27438] ppid=27413 vsize=299280 CPUtime=0 cores=0,2,4,6
/proc/27432/task/27438/stat : 27438 (python) S 27413 27413 26973 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 670634437 306462720 5681 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 514 18446604446016411456 0 0 -1 6 0 0 0
[pid=27439] ppid=27413 vsize=310104 CPUtime=0.34 cores=0,2,4,6
/proc/27439/stat : 27439 (python) S 27413 27413 26973 0 -1 4202560 1098 0 0 0 18 16 0 0 19 0 2 0 670634440 317546496 5799 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/27439/statm: 77526 5799 400 364 0 13435 0
[pid=27441] ppid=27439 vsize=416524 CPUtime=99.27 cores=0,2,4,6
/proc/27441/stat : 27441 (adaptg2wsat2009) T 27439 27441 27441 0 -1 4202496 589 0 0 0 9927 0 0 0 25 0 1 0 670634441 426520576 322 33554432000 134512640 135107411 4290045248 18446744073709551615 134532107 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/27441/statm: 104131 322 59 146 0 103007 0
[pid=27439/tid=27454] ppid=27413 vsize=310104 CPUtime=0 cores=0,2,4,6
/proc/27439/task/27454/stat : 27454 (python) S 27413 27413 26973 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 670644375 317546496 5799 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 514 18446604453811760192 0 0 -1 6 0 0 0
[pid=27455] ppid=27413 vsize=320360 CPUtime=0.32 cores=0,2,4,6
/proc/27455/stat : 27455 (python) S 27413 27413 26973 0 -1 4202560 1101 0 0 0 16 16 0 0 19 0 2 0 670644378 328048640 5803 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/27455/statm: 80090 5803 400 364 0 15996 0
[pid=27457] ppid=27455 vsize=416524 CPUtime=100.28 cores=0,2,4,6
/proc/27457/stat : 27457 (adaptg2wsat2009) T 27455 27457 27457 0 -1 4202496 590 0 0 0 10024 4 0 0 25 0 1 0 670644379 426520576 321 33554432000 134512640 135107411 4290976464 18446744073709551615 134532360 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/27457/statm: 104131 321 59 146 0 103007 0
[pid=27455/tid=27605] ppid=27413 vsize=320360 CPUtime=0 cores=0,2,4,6
/proc/27455/task/27605/stat : 27605 (python) S 27413 27413 26973 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 670654410 328048640 5803 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 514 18446604442171689664 0 0 -1 6 0 0 0
[pid=27606] ppid=27413 vsize=329996 CPUtime=0.32 cores=0,2,4,6
/proc/27606/stat : 27606 (python) S 27413 27413 26973 0 -1 4202560 1121 0 0 0 17 15 0 0 19 0 2 0 670654414 337915904 5684 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/27606/statm: 82499 5684 400 364 0 18402 0
[pid=27608] ppid=27606 vsize=246804 CPUtime=99.31 cores=0,2,4,6
/proc/27608/stat : 27608 (FH) T 27606 27608 27608 0 -1 4202496 554 0 0 0 9931 0 0 0 25 0 1 0 670654414 252727296 287 33554432000 134512640 134936988 4289433920 18446744073709551615 134544807 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/27608/statm: 61701 287 41 104 0 61205 0
[pid=27606/tid=27616] ppid=27413 vsize=329996 CPUtime=0 cores=0,2,4,6
/proc/27606/task/27616/stat : 27616 (python) S 27413 27413 26973 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 670664345 337915904 5684 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 514 18446604442171686976 0 0 -1 6 0 0 0
[pid=27617] ppid=27413 vsize=340824 CPUtime=0.16 cores=0,2,4,6
/proc/27617/stat : 27617 (python) S 27413 27413 26973 0 -1 4202560 962 0 0 0 9 7 0 0 15 0 1 0 670664349 349003776 5769 33554432000 4194304 5683644 140735050831536 18446744073709551615 232335912518 0 0 16781312 514 1821917159798833410 0 0 17 6 0 0 0
/proc/27617/statm: 85206 5769 371 364 0 21106 0
[pid=27619] ppid=27617 vsize=2264 CPUtime=35.58 cores=0,2,4,6
/proc/27619/stat : 27619 (march_hi) R 27617 27619 27619 0 -1 4202496 993 0 0 0 3558 0 0 0 25 0 1 0 670664350 2318336 391 33554432000 4194304 4955518 140736552996240 18446744073709551615 4208676 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/27619/statm: 566 391 106 186 0 379 0
[pid=27413/tid=27420] ppid=27411 vsize=351068 CPUtime=0 cores=0,2,4,6
/proc/27413/task/27420/stat : 27420 (python) S 27411 27413 26973 0 -1 4202560 30 935 0 0 0 0 0 0 19 0 8 0 670604523 359493632 7292 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 2 18446604451363438656 0 0 -1 0 0 0 0
[pid=27413/tid=27427] ppid=27411 vsize=351068 CPUtime=0 cores=0,2,4,6
/proc/27413/task/27427/stat : 27427 (python) S 27411 27413 26973 0 -1 4202560 24 935 0 0 0 0 0 0 20 0 8 0 670614461 359493632 7292 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 2 18446604451363438656 0 0 -1 6 0 0 0
[pid=27413/tid=27433] ppid=27411 vsize=351068 CPUtime=0 cores=0,2,4,6
/proc/27413/task/27433/stat : 27433 (python) S 27411 27413 26973 0 -1 4202560 27 935 0 0 0 0 0 0 20 0 8 0 670624501 359493632 7292 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 2 18446604451363438656 0 0 -1 0 0 0 0
[pid=27413/tid=27440] ppid=27411 vsize=351068 CPUtime=0 cores=0,2,4,6
/proc/27413/task/27440/stat : 27440 (python) S 27411 27413 26973 0 -1 4202560 27 935 0 0 0 0 0 0 20 0 8 0 670634440 359493632 7292 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 2 18446604451363438656 0 0 -1 0 0 0 0
[pid=27413/tid=27456] ppid=27411 vsize=351068 CPUtime=0 cores=0,2,4,6
/proc/27413/task/27456/stat : 27456 (python) S 27411 27413 26973 0 -1 4202560 26 935 0 0 0 0 0 0 20 0 8 0 670644378 359493632 7292 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 2 18446604451363438656 0 0 -1 0 0 0 0
[pid=27413/tid=27607] ppid=27411 vsize=351068 CPUtime=0 cores=0,2,4,6
/proc/27413/task/27607/stat : 27607 (python) S 27411 27413 26973 0 -1 4202560 28 935 0 0 0 0 0 0 20 0 8 0 670654414 359493632 7292 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 2 18446604451363438656 0 0 -1 0 0 0 0
[pid=27413/tid=27618] ppid=27411 vsize=351068 CPUtime=0 cores=0,2,4,6
/proc/27413/task/27618/stat : 27618 (python) S 27411 27413 26973 0 -1 4202560 29 935 0 0 0 0 0 0 20 0 8 0 670664350 359493632 7292 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 2 18446604451363438656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 636.41
Current children cumulated vsize (KiB) 6064344

[startup+635.201 s]
/proc/loadavg: 3.08 3.06 3.00 4/468 27627
/proc/meminfo: memFree=22361644/32951124 swapFree=65173164/67111528
[pid=27413] ppid=27411 vsize=340728 CPUtime=636.91 cores=0,2,4,6
/proc/27413/stat : 27413 (python) R 27411 27413 26973 0 -1 4202496 17112 13170 1 0 76 8 63497 110 17 0 4 0 670604427 348905472 7273 33554432000 4194304 5683644 140735050831536 18446744073709551615 5116756 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/27413/statm: 85182 7273 1875 364 0 21106 0
[pid=27413/tid=27456] ppid=27411 vsize=340728 CPUtime=636.07 cores=0,2,4,6
/proc/27413/task/27456/stat : 27456 (python) S 27411 27413 26973 0 -1 4202560 29 13170 0 0 0 0 63497 110 18 0 4 0 670644378 348905472 7273 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 0 18446604451363438656 0 0 -1 0 0 0 0
[pid=27413/tid=27607] ppid=27411 vsize=340728 CPUtime=636.07 cores=0,2,4,6
/proc/27413/task/27607/stat : 27607 (python) S 27411 27413 26973 0 -1 4202560 30 13170 0 0 0 0 63497 110 18 0 4 0 670654414 348905472 7273 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 0 18446604451363438656 0 0 -1 0 0 0 0
[pid=27413/tid=27618] ppid=27411 vsize=340728 CPUtime=636.07 cores=0,2,4,6
/proc/27413/task/27618/stat : 27618 (python) S 27411 27413 26973 0 -1 4202560 29 13170 0 0 0 0 63497 110 18 0 4 0 670664350 348905472 7273 33554432000 4194304 5683644 140735050831536 18446744073709551615 232347716017 0 0 16781312 0 18446604451363438656 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 636.91
Current children cumulated vsize (KiB) 340728

Child status: 0
Real time (s): 635.22
CPU time (s): 636.953
CPU user time (s): 635.754
CPU system time (s): 1.19882
CPU usage (%): 100.273
Max. virtual memory (cumulated for all children) (KiB): 6064348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 635.754
system time used= 1.19882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33020
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= 4205
involuntary context switches= 2304

runsolver used 2.98655 second user time and 6.10707 second system time

The end

Launcher Data 

Begin job on node132 at 2011-05-17 01:54:22
IDJOB=3386661
IDBENCH=82726
IDSOLVER=1872
FILE ID=node132/3386661-1305590062
RUNJOBID= node132-1305586144-26991
PBS_JOBID= 13350346
Free space on /tmp= 73244 MiB

SOLVER NAME= borg-sat 11.03.02-seq-random (fixed)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v50-c4450-S1027567260-047.UNKNOWN.cnf
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.random.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386661-1305590062/watcher-3386661-1305590062 -o /tmp/evaluation-result-3386661-1305590062/solver-3386661-1305590062 -C 5000 -W 5100 -M 15500  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3386661-1305590062.cnf -seed 1865723472 -budget 5000

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

MD5SUM BENCH= deef67012ed65265f92101778280c717
RANDOM SEED=1865723472

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22356516 kB
Buffers:        319656 kB
Cached:        3628228 kB
SwapCached:       9908 kB
Active:        4197972 kB
Inactive:      6048644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22356516 kB
SwapTotal:    67111528 kB
SwapFree:     65173164 kB
Dirty:           31904 kB
Writeback:           0 kB
AnonPages:     6295692 kB
Mapped:          32972 kB
Slab:           223856 kB
PageTables:      55772 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 97564964 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73204 MiB
End job on node132 at 2011-05-17 02:04:58