Trace number 3386472

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)? (MO) 3452.81 3443.04

General information on the benchmark

Namerandom/large/
unif-k7-r85-v200-c17000-S181603592-089-UNKNOWN.cnf
MD5SUMaf7b69f0071c372d5cdc250bc7f688e1
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2380.61
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of clauses17000
Sum of the clauses size119000
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 517000

Solver Data 

0.43/0.86	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.43/0.86	c INFO: solving HOME/instance-3386472-1305586146.cnf
0.43/0.86	c INFO: computing task features
0.50/0.98	c INFO: computed variable-clause graph statistics
0.50/0.98	c INFO: computed clause balance statistics
1.10/1.59	c INFO: computed variable balance statistics
1.40/1.81	c INFO: computed small-clause counts
1.40/1.81	c INFO: computed Horn-clause counts
1.40/1.83	c INFO: computed variable graph statistics
1.40/1.83	c INFO: collected features for HOME/instance-3386472-1305586146.cnf in 0.97 s
1.40/1.86	c INFO: running gnovelty+2@0 for 97 with 4999 remaining (b = 0.36)
102.09/102.22	c INFO: running gnovelty+2@0 for 97 with 4898 remaining (b = 0.12)
201.65/201.58	c INFO: running adaptg2wsat2009++@0 for 97 with 4799 remaining (b = 0.08)
301.35/300.93	c INFO: running adaptg2wsat2009++@0 for 97 with 4700 remaining (b = 0.07)
401.93/401.28	c INFO: running adaptg2wsat2009++@0 for 97 with 4599 remaining (b = 0.05)
502.66/501.64	c INFO: running gnovelty+2@0 for 97 with 4499 remaining (b = 0.04)
603.37/602.02	c INFO: running FH@0 for 97 with 4398 remaining (b = 0.03)
704.00/702.41	c INFO: running adaptg2wsat2009++@0 for 97 with 4298 remaining (b = 0.03)
803.58/801.77	c INFO: running adaptg2wsat2009++@0 for 97 with 4199 remaining (b = 0.02)
904.23/902.15	c INFO: running FH@0 for 97 with 4099 remaining (b = 0.02)
1004.93/1002.50	c INFO: running hybridGM3@0 for 194 with 3998 remaining (b = 0.04)
1200.24/1197.23	c INFO: running gnovelty+2@0 for 97 with 3804 remaining (b = 0.02)
1300.89/1297.64	c INFO: running hybridGM3@0 for 194 with 3703 remaining (b = 0.03)
1496.20/1492.38	c INFO: running hybridGM3@0 for 194 with 3509 remaining (b = 0.03)
1691.35/1687.12	c INFO: running TNM@0 for 1552 with 3314 remaining (b = 0.20)
3251.73/3242.49	c INFO: running adaptg2wsat2009++@0 for 97 with 1759 remaining (b = 0.01)
3352.38/3342.88	c INFO: running FH@0 for 97 with 1659 remaining (b = 0.01)
3452.07/3442.25	c INFO: running hybridGM3@0 for 194 with 1559 remaining (b = 0.02)

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

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-3386472-1305586146/watcher-3386472-1305586146 -o /tmp/evaluation-result-3386472-1305586146/solver-3386472-1305586146 -C 5000 -W 5100 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3386472-1305586146.cnf -seed 1471038449 -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: 1.04 1.04 1.68 3/395 27012
/proc/meminfo: memFree=22782192/32951124 swapFree=65173164/67111528
[pid=27012] ppid=27010 vsize=16244 CPUtime=0 cores=0,2,4,6
/proc/27012/stat : 27012 (python) R 27010 27012 26973 0 -1 4202496 997 0 0 0 0 0 0 0 21 0 1 0 670212769 16633856 870 33554432000 4194304 5683644 140735186892672 18446744073709551615 4865422 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/27012/statm: 4061 870 368 364 0 548 0

[startup+0.0193511 s]
/proc/loadavg: 1.04 1.04 1.68 3/395 27012
/proc/meminfo: memFree=22782192/32951124 swapFree=65173164/67111528
[pid=27012] ppid=27010 vsize=16248 CPUtime=0.01 cores=0,2,4,6
/proc/27012/stat : 27012 (python) R 27010 27012 26973 0 -1 4202496 1051 0 0 0 1 0 0 0 21 0 1 0 670212769 16637952 923 33554432000 4194304 5683644 140735186892672 18446744073709551615 5161888 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/27012/statm: 4062 923 381 364 0 549 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16248

[startup+0.100306 s]
/proc/loadavg: 1.04 1.04 1.68 3/395 27012
/proc/meminfo: memFree=22782192/32951124 swapFree=65173164/67111528
[pid=27012] ppid=27010 vsize=93964 CPUtime=0.06 cores=0,2,4,6
/proc/27012/stat : 27012 (python) R 27010 27012 26973 0 -1 4202496 2695 0 0 0 5 1 0 0 17 0 1 0 670212769 96219136 2407 33554432000 4194304 5683644 140735186892672 18446744073709551615 232335890432 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/27012/statm: 23491 2407 764 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 93964

[startup+0.300319 s]
/proc/loadavg: 1.04 1.04 1.68 3/395 27012
/proc/meminfo: memFree=22782192/32951124 swapFree=65173164/67111528
[pid=27012] ppid=27010 vsize=128864 CPUtime=0.16 cores=0,2,4,6
/proc/27012/stat : 27012 (python) R 27010 27012 26973 0 -1 4202496 5604 933 1 0 13 3 0 0 17 0 1 0 670212769 131956736 4020 33554432000 4194304 5683644 140735186892672 18446744073709551615 232335888229 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/27012/statm: 32216 4020 1011 364 0 2995 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 128864

[startup+0.700219 s]
/proc/loadavg: 1.04 1.04 1.68 3/395 27012
/proc/meminfo: memFree=22782192/32951124 swapFree=65173164/67111528
[pid=27012] ppid=27010 vsize=226776 CPUtime=0.35 cores=0,2,4,6
/proc/27012/stat : 27012 (python) R 27010 27012 26973 0 -1 4202496 7636 933 1 0 27 8 0 0 15 0 1 0 670212769 232218624 5601 33554432000 4194304 5683644 140735186892672 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/27012/statm: 56694 5601 1566 364 0 4232 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 226776

[startup+1.50109 s]
/proc/loadavg: 1.04 1.04 1.68 4/396 27021
/proc/meminfo: memFree=22727592/32951124 swapFree=65173164/67111528
[pid=27012] ppid=27010 vsize=282584 CPUtime=1.1 cores=0,2,4,6
/proc/27012/stat : 27012 (python) R 27010 27012 26973 0 -1 4202496 11340 933 1 0 99 11 0 0 16 0 1 0 670212769 289366016 8057 33554432000 4194304 5683644 140735186892672 18446744073709551615 232335551490 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/27012/statm: 70646 8057 1826 364 0 6570 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 282584

[startup+3.10079 s]
/proc/loadavg: 1.04 1.04 1.68 4/399 27024
/proc/meminfo: memFree=22725832/32951124 swapFree=65173164/67111528
[pid=27012] ppid=27010 vsize=289472 CPUtime=1.46 cores=0,2,4,6
/proc/27012/stat : 27012 (python) S 27010 27012 26973 0 -1 4202496 11674 933 1 0 135 11 0 0 19 0 2 0 670212769 296419328 7232 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347719115 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27012/statm: 72368 7232 1869 364 0 8286 0
[pid=27022] ppid=27012 vsize=279228 CPUtime=0 cores=0,2,4,6
/proc/27022/stat : 27022 (python) S 27012 27012 26973 0 -1 4202560 740 0 0 0 0 0 0 0 18 0 1 0 670212956 285929472 5713 33554432000 4194304 5683644 140735186892672 18446744073709551615 232335912463 0 0 16781312 514 556607974647234819 0 0 17 2 0 0 0
/proc/27022/statm: 69807 5713 354 364 0 5725 0
[pid=27024] ppid=27022 vsize=1018616 CPUtime=1.22 cores=0,2,4,6
/proc/27024/stat : 27024 (gnovelty+2) R 27022 27024 27024 0 -1 4202496 765 0 0 0 122 0 0 0 22 0 1 0 670212956 1043062784 501 33554432000 134512640 135663704 4287860336 18446744073709551615 134524894 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/27024/statm: 254654 501 113 282 0 254370 0
[pid=27012/tid=27023] ppid=27010 vsize=289472 CPUtime=0 cores=0,2,4,6
/proc/27012/task/27023/stat : 27023 (python) S 27010 27012 26973 0 -1 4202560 30 933 0 0 0 0 0 0 19 0 2 0 670212956 296419328 7232 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 2 18446604441989097664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 1587316

[startup+6.30125 s]
/proc/loadavg: 1.20 1.07 1.69 4/402 27027
/proc/meminfo: memFree=22725688/32951124 swapFree=65173164/67111528
[pid=27012] ppid=27010 vsize=289472 CPUtime=1.46 cores=0,2,4,6
/proc/27012/stat : 27012 (python) S 27010 27012 26973 0 -1 4202496 11674 933 1 0 135 11 0 0 19 0 2 0 670212769 296419328 7232 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347719115 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27012/statm: 72368 7232 1869 364 0 8286 0
[pid=27022] ppid=27012 vsize=279228 CPUtime=0 cores=0,2,4,6
/proc/27022/stat : 27022 (python) S 27012 27012 26973 0 -1 4202560 891 0 0 0 0 0 0 0 18 0 1 0 670212956 285929472 5736 33554432000 4194304 5683644 140735186892672 18446744073709551615 232335912463 0 0 16781312 514 556607974647234819 0 0 17 2 0 0 0
/proc/27022/statm: 69807 5736 377 364 0 5725 0
[pid=27024] ppid=27022 vsize=1018616 CPUtime=4.42 cores=0,2,4,6
/proc/27024/stat : 27024 (gnovelty+2) R 27022 27024 27024 0 -1 4202496 765 0 0 0 442 0 0 0 25 0 1 0 670212956 1043062784 501 33554432000 134512640 135663704 4287860336 18446744073709551615 134524747 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/27024/statm: 254654 501 113 282 0 254370 0
[pid=27012/tid=27023] ppid=27010 vsize=289472 CPUtime=0 cores=0,2,4,6
/proc/27012/task/27023/stat : 27023 (python) S 27010 27012 26973 0 -1 4202560 30 933 0 0 0 0 0 0 19 0 2 0 670212956 296419328 7232 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 2 18446604441989097664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 1587316

[startup+12.7011 s]
/proc/loadavg: 1.34 1.10 1.69 4/402 27027
/proc/meminfo: memFree=22723872/32951124 swapFree=65173164/67111528
[pid=27012] ppid=27010 vsize=289472 CPUtime=1.46 cores=0,2,4,6
/proc/27012/stat : 27012 (python) S 27010 27012 26973 0 -1 4202496 11674 933 1 0 135 11 0 0 19 0 2 0 670212769 296419328 7232 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347719115 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27012/statm: 72368 7232 1869 364 0 8286 0
[pid=27022] ppid=27012 vsize=279228 CPUtime=0.02 cores=0,2,4,6
/proc/27022/stat : 27022 (python) S 27012 27012 26973 0 -1 4202560 895 0 0 0 1 1 0 0 18 0 1 0 670212956 285929472 5736 33554432000 4194304 5683644 140735186892672 18446744073709551615 232335912463 0 0 16781312 514 4240367747587866883 0 0 17 2 0 0 0
/proc/27022/statm: 69807 5736 377 364 0 5725 0
[pid=27024] ppid=27022 vsize=1018616 CPUtime=10.82 cores=0,2,4,6
/proc/27024/stat : 27024 (gnovelty+2) R 27022 27024 27024 0 -1 4202496 765 0 0 0 1082 0 0 0 25 0 1 0 670212956 1043062784 501 33554432000 134512640 135663704 4287860336 18446744073709551615 134524548 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/27024/statm: 254654 501 113 282 0 254370 0
[pid=27012/tid=27023] ppid=27010 vsize=289472 CPUtime=0 cores=0,2,4,6
/proc/27012/task/27023/stat : 27023 (python) S 27010 27012 26973 0 -1 4202560 30 933 0 0 0 0 0 0 19 0 2 0 670212956 296419328 7232 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 2 18446604441989097664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 1587316

[startup+25.5008 s]
/proc/loadavg: 1.71 1.19 1.71 4/402 27027
/proc/meminfo: memFree=22724812/32951124 swapFree=65173164/67111528
[pid=27012] ppid=27010 vsize=289472 CPUtime=1.46 cores=0,2,4,6
/proc/27012/stat : 27012 (python) S 27010 27012 26973 0 -1 4202496 11674 933 1 0 135 11 0 0 19 0 2 0 670212769 296419328 7232 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347719115 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27012/statm: 72368 7232 1869 364 0 8286 0
[pid=27022] ppid=27012 vsize=279228 CPUtime=0.07 cores=0,2,4,6
/proc/27022/stat : 27022 (python) S 27012 27012 26973 0 -1 4202560 901 0 0 0 4 3 0 0 18 0 1 0 670212956 285929472 5736 33554432000 4194304 5683644 140735186892672 18446744073709551615 232335912463 0 0 16781312 514 4240367747587866883 0 0 17 2 0 0 0
/proc/27022/statm: 69807 5736 377 364 0 5725 0
[pid=27024] ppid=27022 vsize=1018616 CPUtime=23.62 cores=0,2,4,6
/proc/27024/stat : 27024 (gnovelty+2) R 27022 27024 27024 0 -1 4202496 765 0 0 0 2362 0 0 0 25 0 1 0 670212956 1043062784 501 33554432000 134512640 135663704 4287860336 18446744073709551615 134524507 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/27024/statm: 254654 501 113 282 0 254370 0
[pid=27012/tid=27023] ppid=27010 vsize=289472 CPUtime=0 cores=0,2,4,6
/proc/27012/task/27023/stat : 27023 (python) S 27010 27012 26973 0 -1 4202560 30 933 0 0 0 0 0 0 19 0 2 0 670212956 296419328 7232 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 2 18446604441989097664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 1587316

[startup+51.1013 s]
/proc/loadavg: 2.21 1.35 1.75 4/402 27028
/proc/meminfo: memFree=22724184/32951124 swapFree=65173164/67111528
[pid=27012] ppid=27010 vsize=289472 CPUtime=1.46 cores=0,2,4,6
/proc/27012/stat : 27012 (python) S 27010 27012 26973 0 -1 4202496 11674 933 1 0 135 11 0 0 19 0 2 0 670212769 296419328 7232 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347719115 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27012/statm: 72368 7232 1869 364 0 8286 0
[pid=27022] ppid=27012 vsize=279228 CPUtime=0.13 cores=0,2,4,6
/proc/27022/stat : 27022 (python) S 27012 27012 26973 0 -1 4202560 910 0 0 0 7 6 0 0 18 0 1 0 670212956 285929472 5736 33554432000 4194304 5683644 140735186892672 18446744073709551615 232335912463 0 0 16781312 514 4240367747587866883 0 0 17 6 0 0 0
/proc/27022/statm: 69807 5736 377 364 0 5725 0
[pid=27024] ppid=27022 vsize=1018616 CPUtime=49.22 cores=0,2,4,6
/proc/27024/stat : 27024 (gnovelty+2) R 27022 27024 27024 0 -1 4202496 765 0 0 0 4922 0 0 0 25 0 1 0 670212956 1043062784 501 33554432000 134512640 135663704 4287860336 18446744073709551615 134525715 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/27024/statm: 254654 501 113 282 0 254370 0
[pid=27012/tid=27023] ppid=27010 vsize=289472 CPUtime=0 cores=0,2,4,6
/proc/27012/task/27023/stat : 27023 (python) S 27010 27012 26973 0 -1 4202560 30 933 0 0 0 0 0 0 19 0 2 0 670212956 296419328 7232 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 2 18446604441989097664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 1587316

[startup+102.315 s]
/proc/loadavg: 2.65 1.60 1.82 4/403 27030
/proc/meminfo: memFree=22722676/32951124 swapFree=65173164/67111528
[pid=27012] ppid=27010 vsize=299860 CPUtime=1.5 cores=0,2,4,6
/proc/27012/stat : 27012 (python) S 27010 27012 26973 0 -1 4202496 12524 933 1 0 139 11 0 0 20 0 3 0 670212769 307056640 7297 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347719115 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27012/statm: 74965 7297 1880 364 0 10880 0
[pid=27022] ppid=27012 vsize=289472 CPUtime=0.3 cores=0,2,4,6
/proc/27022/stat : 27022 (python) S 27012 27012 26973 0 -1 4202560 1089 0 0 0 17 13 0 0 19 0 2 0 670212956 296419328 5774 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/27022/statm: 72368 5774 410 364 0 8286 0
[pid=27024] ppid=27022 vsize=1018616 CPUtime=100.3 cores=0,2,4,6
/proc/27024/stat : 27024 (gnovelty+2) T 27022 27024 27024 0 -1 4202496 765 0 0 0 10030 0 0 0 25 0 1 0 670212956 1043062784 501 33554432000 134512640 135663704 4287860336 18446744073709551615 134545635 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/27024/statm: 254654 501 113 282 0 254370 0
[pid=27022/tid=27030] ppid=27012 vsize=289472 CPUtime=0 cores=0,2,4,6
/proc/27022/task/27030/stat : 27030 (python) S 27012 27012 26973 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 670222988 296419328 5774 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 514 18446604448747321344 0 0 -1 6 0 0 0
[pid=27012/tid=27023] ppid=27010 vsize=299860 CPUtime=0 cores=0,2,4,6
/proc/27012/task/27023/stat : 27023 (python) S 27010 27012 26973 0 -1 4202560 30 933 0 0 0 0 0 0 19 0 3 0 670212956 307056640 7297 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 2 18446604441989097664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.1
Current children cumulated vsize (KiB) 1607948

[startup+162.301 s]
/proc/loadavg: 3.02 1.90 1.90 4/410 27039
/proc/meminfo: memFree=22710832/32951124 swapFree=65173164/67111528
[pid=27012] ppid=27010 vsize=299860 CPUtime=1.5 cores=0,2,4,6
/proc/27012/stat : 27012 (python) S 27010 27012 26973 0 -1 4202496 12524 933 1 0 139 11 0 0 20 0 3 0 670212769 307056640 7297 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347719115 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27012/statm: 74965 7297 1880 364 0 10880 0
[pid=27022] ppid=27012 vsize=289472 CPUtime=0.3 cores=0,2,4,6
/proc/27022/stat : 27022 (python) S 27012 27012 26973 0 -1 4202560 1089 0 0 0 17 13 0 0 19 0 2 0 670212956 296419328 5774 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/27022/statm: 72368 5774 410 364 0 8286 0
[pid=27024] ppid=27022 vsize=1018616 CPUtime=100.3 cores=0,2,4,6
/proc/27024/stat : 27024 (gnovelty+2) T 27022 27024 27024 0 -1 4202496 765 0 0 0 10030 0 0 0 25 0 1 0 670212956 1043062784 501 33554432000 134512640 135663704 4287860336 18446744073709551615 134545635 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/27024/statm: 254654 501 113 282 0 254370 0
[pid=27022/tid=27030] ppid=27012 vsize=289472 CPUtime=0 cores=0,2,4,6
/proc/27022/task/27030/stat : 27030 (python) S 27012 27012 26973 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 670222988 296419328 5774 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 514 18446604448747321344 0 0 -1 6 0 0 0
[pid=27031] ppid=27012 vsize=289616 CPUtime=0.17 cores=0,2,4,6
/proc/27031/stat : 27031 (python) S 27012 27012 26973 0 -1 4202560 916 0 0 0 9 8 0 0 18 0 1 0 670222991 296566784 5784 33554432000 4194304 5683644 140735186892672 18446744073709551615 232335912518 0 0 16781312 514 4240367747587866882 0 0 17 6 0 0 0
/proc/27031/statm: 72404 5784 371 364 0 8319 0
[pid=27033] ppid=27031 vsize=1018616 CPUtime=60.07 cores=0,2,4,6
/proc/27033/stat : 27033 (gnovelty+2) R 27031 27033 27033 0 -1 4202496 765 0 0 0 6007 0 0 0 25 0 1 0 670222992 1043062784 501 33554432000 134512640 135663704 4289316944 18446744073709551615 134524553 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/27033/statm: 254654 501 113 282 0 254370 0
[pid=27012/tid=27023] ppid=27010 vsize=299860 CPUtime=0 cores=0,2,4,6
/proc/27012/task/27023/stat : 27023 (python) S 27010 27012 26973 0 -1 4202560 30 933 0 0 0 0 0 0 19 0 3 0 670212956 307056640 7297 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 2 18446604441989097664 0 0 -1 0 0 0 0
[pid=27012/tid=27032] ppid=27010 vsize=299860 CPUtime=0 cores=0,2,4,6

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

[pid=27053] ppid=27012 vsize=310736 CPUtime=0.31 cores=0,2,4,6
/proc/27053/stat : 27053 (python) S 27012 27012 26973 0 -1 4202560 1099 0 0 0 17 14 0 0 19 0 2 0 670242863 318193664 5957 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/27053/statm: 77684 5957 400 364 0 13593 0
[pid=27055] ppid=27053 vsize=418636 CPUtime=100.29 cores=0,2,4,6
/proc/27055/stat : 27055 (adaptg2wsat2009) T 27053 27055 27055 0 -1 4202496 1221 0 0 0 10029 0 0 0 25 0 1 0 670242864 428683264 955 33554432000 134512640 135107411 4286807360 18446744073709551615 134531613 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/27055/statm: 104659 955 59 146 0 103535 0
[pid=27053/tid=27062] ppid=27012 vsize=310736 CPUtime=0 cores=0,2,4,6
/proc/27053/task/27062/stat : 27062 (python) S 27012 27012 26973 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 670252894 318193664 5957 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 514 18446604449460671744 0 0 -1 6 0 0 0
[pid=27063] ppid=27012 vsize=320992 CPUtime=0.32 cores=0,2,4,6
/proc/27063/stat : 27063 (python) S 27012 27012 26973 0 -1 4202560 1100 0 0 0 19 13 0 0 19 0 2 0 670252898 328695808 5961 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/27063/statm: 80248 5961 400 364 0 16154 0
[pid=27065] ppid=27063 vsize=418636 CPUtime=100.31 cores=0,2,4,6
/proc/27065/stat : 27065 (adaptg2wsat2009) T 27063 27065 27065 0 -1 4202496 1222 0 0 0 10031 0 0 0 25 0 1 0 670252898 428683264 955 33554432000 134512640 135107411 4289613200 18446744073709551615 134531561 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/27065/statm: 104659 955 59 146 0 103535 0
[pid=27063/tid=27073] ppid=27012 vsize=320992 CPUtime=0 cores=0,2,4,6
/proc/27063/task/27073/stat : 27073 (python) S 27012 27012 26973 0 -1 4202560 51 0 0 0 0 0 0 0 19 0 2 0 670262930 328695808 5961 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 514 18446604442139291776 0 0 -1 6 0 0 0
[pid=27074] ppid=27012 vsize=331248 CPUtime=0.32 cores=0,2,4,6
/proc/27074/stat : 27074 (python) S 27012 27012 26973 0 -1 4202560 1123 0 0 0 18 14 0 0 19 0 2 0 670262934 339197952 5965 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/27074/statm: 82812 5965 400 364 0 18715 0
[pid=27076] ppid=27074 vsize=1018616 CPUtime=100.34 cores=0,2,4,6
/proc/27076/stat : 27076 (gnovelty+2) T 27074 27076 27076 0 -1 4202496 765 0 0 0 10034 0 0 0 25 0 1 0 670262934 1043062784 500 33554432000 134512640 135663704 4294036176 18446744073709551615 134524548 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/27076/statm: 254654 500 113 282 0 254370 0
[pid=27074/tid=27088] ppid=27012 vsize=331248 CPUtime=0 cores=0,2,4,6
/proc/27074/task/27088/stat : 27088 (python) S 27012 27012 26973 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 670272968 339197952 5965 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 514 18446604442141708480 0 0 -1 6 0 0 0
[pid=27089] ppid=27012 vsize=341504 CPUtime=0.35 cores=0,2,4,6
/proc/27089/stat : 27089 (python) S 27012 27012 26973 0 -1 4202560 1172 0 0 0 19 16 0 0 19 0 2 0 670272972 349700096 5975 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/27089/statm: 85376 5975 406 364 0 21276 0
[pid=27091] ppid=27089 vsize=248648 CPUtime=100.23 cores=0,2,4,6
/proc/27091/stat : 27091 (FH) T 27089 27091 27091 0 -1 4202496 1122 0 0 0 10023 0 0 0 25 0 1 0 670272972 254615552 856 33554432000 134512640 134936988 4287919408 18446744073709551615 134552486 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/27091/statm: 62162 856 41 104 0 61666 0
[pid=27089/tid=27098] ppid=27012 vsize=341504 CPUtime=0 cores=0,2,4,6
/proc/27089/task/27098/stat : 27098 (python) S 27012 27012 26973 0 -1 4202560 104 0 0 0 0 0 0 0 19 0 2 0 670283007 349700096 5975 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 514 18446604446493979584 0 0 -1 0 0 0 0
[pid=27099] ppid=27012 vsize=351760 CPUtime=0.31 cores=0,2,4,6
/proc/27099/stat : 27099 (python) S 27012 27012 26973 0 -1 4202560 1167 0 0 0 18 13 0 0 19 0 2 0 670283010 360202240 5979 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/27099/statm: 87940 5979 406 364 0 23837 0
[pid=27101] ppid=27099 vsize=418636 CPUtime=99.32 cores=0,2,4,6
/proc/27101/stat : 27101 (adaptg2wsat2009) T 27099 27101 27101 0 -1 4202496 1230 0 0 0 9932 0 0 0 25 0 1 0 670283011 428683264 956 33554432000 134512640 135107411 4290642048 18446744073709551615 134531656 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/27101/statm: 104659 956 59 146 0 103535 0
[pid=27099/tid=27146] ppid=27012 vsize=351760 CPUtime=0 cores=0,2,4,6
/proc/27099/task/27146/stat : 27146 (python) S 27012 27012 26973 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 670292943 360202240 5979 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 514 18446604449691124800 0 0 -1 6 0 0 0
[pid=27147] ppid=27012 vsize=362016 CPUtime=0.34 cores=0,2,4,6
/proc/27147/stat : 27147 (python) S 27012 27012 26973 0 -1 4202560 1141 0 0 0 18 16 0 0 19 0 2 0 670292947 370704384 5977 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/27147/statm: 90504 5977 400 364 0 26398 0
[pid=27149] ppid=27147 vsize=418636 CPUtime=100.23 cores=0,2,4,6
/proc/27149/stat : 27149 (adaptg2wsat2009) T 27147 27149 27149 0 -1 4202496 1226 0 0 0 10023 0 0 0 25 0 1 0 670292947 428683264 955 33554432000 134512640 135107411 4286705104 18446744073709551615 134532088 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/27149/statm: 104659 955 59 146 0 103535 0
[pid=27147/tid=27156] ppid=27012 vsize=362016 CPUtime=0 cores=0,2,4,6
/proc/27147/task/27156/stat : 27156 (python) S 27012 27012 26973 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 670302981 370704384 5977 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 514 18446604449691123904 0 0 -1 6 0 0 0
[pid=27157] ppid=27012 vsize=372272 CPUtime=0.31 cores=0,2,4,6
/proc/27157/stat : 27157 (python) S 27012 27012 26973 0 -1 4202560 1136 0 0 0 16 15 0 0 19 0 2 0 670302985 381206528 5982 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/27157/statm: 93068 5982 400 364 0 28959 0
[pid=27159] ppid=27157 vsize=248652 CPUtime=100.29 cores=0,2,4,6
/proc/27159/stat : 27159 (FH) T 27157 27159 27159 0 -1 4202496 1127 0 0 0 10029 0 0 0 25 0 1 0 670302985 254619648 857 33554432000 134512640 134936988 4293276800 18446744073709551615 134553435 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/27159/statm: 62163 857 41 104 0 61667 0
[pid=27157/tid=27169] ppid=27012 vsize=372272 CPUtime=0 cores=0,2,4,6
/proc/27157/task/27169/stat : 27169 (python) S 27012 27012 26973 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 670313016 381206528 5982 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 514 18446604453209911616 0 0 -1 4 0 0 0
[pid=27170] ppid=27012 vsize=382528 CPUtime=0.63 cores=0,2,4,6
/proc/27170/stat : 27170 (python) S 27012 27012 26973 0 -1 4202560 1166 0 0 0 35 28 0 0 19 0 2 0 670313020 391708672 5986 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/27170/statm: 95632 5986 400 364 0 31520 0
[pid=27173] ppid=27170 vsize=268424 CPUtime=194.67 cores=0,2,4,6
/proc/27173/stat : 27173 (hybridGM3) T 27170 27173 27173 0 -1 4202496 5167 0 0 0 19467 0 0 0 25 0 1 0 670313020 274866176 4897 33554432000 134512640 135204385 4289853760 18446744073709551615 134538541 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/27173/statm: 67106 4897 63 169 0 66936 0
[pid=27170/tid=27186] ppid=27012 vsize=382528 CPUtime=0 cores=0,2,4,6
/proc/27170/task/27186/stat : 27186 (python) S 27012 27012 26973 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 670332488 391708672 5986 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 514 18446604448747319552 0 0 -1 0 0 0 0
[pid=27187] ppid=27012 vsize=392784 CPUtime=0.35 cores=0,2,4,6
/proc/27187/stat : 27187 (python) S 27012 27012 26973 0 -1 4202560 1145 0 0 0 19 16 0 0 19 0 2 0 670332493 402210816 5998 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/27187/statm: 98196 5998 400 364 0 34081 0
[pid=27189] ppid=27187 vsize=1018616 CPUtime=100.28 cores=0,2,4,6
/proc/27189/stat : 27189 (gnovelty+2) T 27187 27189 27189 0 -1 4202496 775 0 0 0 10028 0 0 0 25 0 1 0 670332493 1043062784 501 33554432000 134512640 135663704 4293603168 18446744073709551615 134524918 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/27189/statm: 254654 501 113 282 0 254370 0
[pid=27187/tid=27197] ppid=27012 vsize=392784 CPUtime=0 cores=0,2,4,6
/proc/27187/task/27197/stat : 27197 (python) S 27012 27012 26973 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 670342530 402210816 5998 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 514 18446604451363438656 0 0 -1 0 0 0 0
[pid=27198] ppid=27012 vsize=403040 CPUtime=0.63 cores=0,2,4,6
/proc/27198/stat : 27198 (python) S 27012 27012 26973 0 -1 4202560 1162 0 0 0 33 30 0 0 19 0 2 0 670342534 412712960 6002 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/27198/statm: 100760 6002 400 364 0 36642 0
[pid=27200] ppid=27198 vsize=268424 CPUtime=194.69 cores=0,2,4,6
/proc/27200/stat : 27200 (hybridGM3) T 27198 27200 27200 0 -1 4202496 5170 0 0 0 19468 1 0 0 25 0 1 0 670342534 274866176 4897 33554432000 134512640 135204385 4290163408 18446744073709551615 134538395 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/27200/statm: 67106 4897 63 169 0 66936 0
[pid=27198/tid=27214] ppid=27012 vsize=403040 CPUtime=0 cores=0,2,4,6
/proc/27198/task/27214/stat : 27214 (python) S 27012 27012 26973 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 670362004 412712960 6002 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 514 18446604453909786688 0 0 -1 0 0 0 0
[pid=27215] ppid=27012 vsize=413460 CPUtime=0.66 cores=0,2,4,6
/proc/27215/stat : 27215 (python) S 27012 27012 26973 0 -1 4202560 1176 0 0 0 36 30 0 0 19 0 2 0 670362008 423383040 6038 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/27215/statm: 103365 6038 400 364 0 39244 0
[pid=27217] ppid=27215 vsize=268420 CPUtime=194.38 cores=0,2,4,6
/proc/27217/stat : 27217 (hybridGM3) T 27215 27217 27217 0 -1 4202496 5165 0 0 0 19438 0 0 0 25 0 1 0 670362008 274862080 4895 33554432000 134512640 135204385 4289121632 18446744073709551615 134538524 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/27217/statm: 67105 4895 63 169 0 66935 0
[pid=27215/tid=27232] ppid=27012 vsize=413460 CPUtime=0 cores=0,2,4,6
/proc/27215/task/27232/stat : 27232 (python) S 27012 27012 26973 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 670381479 423383040 6038 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 514 18446604453909787584 0 0 -1 4 0 0 0
[pid=27233] ppid=27012 vsize=423716 CPUtime=5.35 cores=0,2,4,6
/proc/27233/stat : 27233 (python) S 27012 27012 26973 0 -1 4202560 1212 0 0 0 286 249 0 0 19 0 2 0 670381482 433885184 6049 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/27233/statm: 105929 6049 407 364 0 41805 0
[pid=27235] ppid=27233 vsize=457124 CPUtime=1555.1 cores=0,2,4,6
/proc/27235/stat : 27235 (TNM) T 27233 27235 27235 0 -1 4202496 1111 0 0 0 155509 1 0 0 25 0 1 0 670381483 468094976 837 33554432000 134512640 135008748 4289486960 18446744073709551615 134527367 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/27235/statm: 114281 837 46 122 0 113181 0
[pid=27233/tid=27309] ppid=27012 vsize=423716 CPUtime=0 cores=0,2,4,6
/proc/27233/task/27309/stat : 27309 (python) S 27012 27012 26973 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 670537017 433885184 6049 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 514 18446604442784248256 0 0 -1 6 0 0 0
[pid=27310] ppid=27012 vsize=433972 CPUtime=0.37 cores=0,2,4,6
/proc/27310/stat : 27310 (python) S 27012 27012 26973 0 -1 4202560 1174 0 0 0 21 16 0 0 19 0 2 0 670537019 444387328 6080 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/27310/statm: 108493 6080 407 364 0 44366 0
[pid=27312] ppid=27310 vsize=418636 CPUtime=100.22 cores=0,2,4,6
/proc/27312/stat : 27312 (adaptg2wsat2009) T 27310 27312 27312 0 -1 4202496 1229 0 0 0 10022 0 0 0 25 0 1 0 670537020 428683264 956 33554432000 134512640 135107411 4291403456 18446744073709551615 134532408 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/27312/statm: 104659 956 59 146 0 103535 0
[pid=27310/tid=27316] ppid=27012 vsize=433972 CPUtime=0 cores=0,2,4,6
/proc/27310/task/27316/stat : 27316 (python) S 27012 27012 26973 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 670547056 444387328 6080 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 514 18446604444230919168 0 0 -1 6 0 0 0
[pid=27317] ppid=27012 vsize=444516 CPUtime=0.34 cores=0,2,4,6
/proc/27317/stat : 27317 (python) S 27012 27012 26973 0 -1 4202560 1167 0 0 0 18 16 0 0 18 0 2 0 670547058 455184384 6123 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/27317/statm: 111129 6123 401 364 0 46999 0
[pid=27319] ppid=27317 vsize=248648 CPUtime=99.33 cores=0,2,4,6
/proc/27319/stat : 27319 (FH) T 27317 27319 27319 0 -1 4202496 1130 0 0 0 9933 0 0 0 25 0 1 0 670547058 254615552 856 33554432000 134512640 134936988 4288934544 18446744073709551615 134545320 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/27319/statm: 62162 856 41 104 0 61666 0
[pid=27317/tid=27322] ppid=27012 vsize=444516 CPUtime=0 cores=0,2,4,6
/proc/27317/task/27322/stat : 27322 (python) S 27012 27012 26973 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 670556993 455184384 6123 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 514 18446604444230918272 0 0 -1 2 0 0 0
[pid=27323] ppid=27012 vsize=454772 CPUtime=0 cores=0,2,4,6
/proc/27323/stat : 27323 (python) S 27012 27012 26973 0 -1 4202560 837 0 0 0 0 0 0 0 19 0 1 0 670556995 465686528 6074 33554432000 4194304 5683644 140735186892672 18446744073709551615 232335912518 0 0 16781312 514 4282491416732499967 0 0 17 2 0 0 0
/proc/27323/statm: 113693 6074 349 364 0 49560 0
[pid=27325] ppid=27323 vsize=268424 CPUtime=0.66 cores=0,2,4,6
/proc/27325/stat : 27325 (hybridGM3) R 27323 27325 27325 0 -1 4202496 5170 0 0 0 66 0 0 0 22 0 1 0 670556996 274866176 4897 33554432000 134512640 135204385 4293854000 18446744073709551615 134537739 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/27325/statm: 67106 4897 63 169 0 66936 0
[pid=27012/tid=27023] ppid=27010 vsize=465016 CPUtime=0 cores=0,2,4,6
/proc/27012/task/27023/stat : 27023 (python) S 27010 27012 26973 0 -1 4202560 30 933 0 0 0 0 0 0 19 0 19 0 670212956 476176384 7641 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 2 18446604441989097664 0 0 -1 0 0 0 0
[pid=27012/tid=27032] ppid=27010 vsize=465016 CPUtime=0 cores=0,2,4,6
/proc/27012/task/27032/stat : 27032 (python) S 27010 27012 26973 0 -1 4202560 29 933 0 0 0 0 0 0 20 0 19 0 670222992 476176384 7641 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 2 18446604441989097664 0 0 -1 0 0 0 0
[pid=27012/tid=27047] ppid=27010 vsize=465016 CPUtime=0 cores=0,2,4,6
/proc/27012/task/27047/stat : 27047 (python) S 27010 27012 26973 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 19 0 670232928 476176384 7641 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 2 18446604441989097664 0 0 -1 6 0 0 0
[pid=27012/tid=27054] ppid=27010 vsize=465016 CPUtime=0 cores=0,2,4,6
/proc/27012/task/27054/stat : 27054 (python) S 27010 27012 26973 0 -1 4202560 30 933 0 0 0 0 0 0 20 0 19 0 670242863 476176384 7641 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 2 18446604441989097664 0 0 -1 0 0 0 0
[pid=27012/tid=27064] ppid=27010 vsize=465016 CPUtime=0 cores=0,2,4,6
/proc/27012/task/27064/stat : 27064 (python) S 27010 27012 26973 0 -1 4202560 26 933 0 0 0 0 0 0 20 0 19 0 670252898 476176384 7641 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 2 18446604441989097664 0 0 -1 0 0 0 0
[pid=27012/tid=27075] ppid=27010 vsize=465016 CPUtime=0 cores=0,2,4,6
/proc/27012/task/27075/stat : 27075 (python) S 27010 27012 26973 0 -1 4202560 28 933 0 0 0 0 0 0 20 0 19 0 670262934 476176384 7641 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 2 18446604441989097664 0 0 -1 0 0 0 0
[pid=27012/tid=27090] ppid=27010 vsize=465016 CPUtime=0 cores=0,2,4,6
/proc/27012/task/27090/stat : 27090 (python) S 27010 27012 26973 0 -1 4202560 31 933 0 0 0 0 0 0 20 0 19 0 670272972 476176384 7641 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 2 18446604441989097664 0 0 -1 6 0 0 0
[pid=27012/tid=27100] ppid=27010 vsize=465016 CPUtime=0 cores=0,2,4,6
/proc/27012/task/27100/stat : 27100 (python) S 27010 27012 26973 0 -1 4202560 23 933 0 0 0 0 0 0 20 0 19 0 670283011 476176384 7641 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 2 18446604441989097664 0 0 -1 0 0 0 0
[pid=27012/tid=27148] ppid=27010 vsize=465016 CPUtime=0 cores=0,2,4,6
/proc/27012/task/27148/stat : 27148 (python) S 27010 27012 26973 0 -1 4202560 29 933 0 0 0 0 0 0 20 0 19 0 670292947 476176384 7641 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 2 18446604441989097664 0 0 -1 6 0 0 0
[pid=27012/tid=27158] ppid=27010 vsize=465016 CPUtime=0 cores=0,2,4,6
/proc/27012/task/27158/stat : 27158 (python) S 27010 27012 26973 0 -1 4202560 30 933 0 0 0 0 0 0 20 0 19 0 670302985 476176384 7641 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 2 18446604441989097664 0 0 -1 6 0 0 0
[pid=27012/tid=27172] ppid=27010 vsize=465016 CPUtime=0 cores=0,2,4,6
/proc/27012/task/27172/stat : 27172 (python) S 27010 27012 26973 0 -1 4202560 25 933 0 0 0 0 0 0 20 0 19 0 670313020 476176384 7641 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 2 18446604441989097664 0 0 -1 6 0 0 0
[pid=27012/tid=27188] ppid=27010 vsize=465016 CPUtime=0 cores=0,2,4,6
/proc/27012/task/27188/stat : 27188 (python) S 27010 27012 26973 0 -1 4202560 30 933 0 0 0 0 0 0 20 0 19 0 670332493 476176384 7641 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 2 18446604441989097664 0 0 -1 6 0 0 0
[pid=27012/tid=27199] ppid=27010 vsize=465016 CPUtime=0 cores=0,2,4,6
/proc/27012/task/27199/stat : 27199 (python) S 27010 27012 26973 0 -1 4202560 28 933 0 0 0 0 0 0 20 0 19 0 670342534 476176384 7641 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 2 18446604441989097664 0 0 -1 6 0 0 0
[pid=27012/tid=27216] ppid=27010 vsize=465016 CPUtime=0 cores=0,2,4,6
/proc/27012/task/27216/stat : 27216 (python) S 27010 27012 26973 0 -1 4202560 28 933 0 0 0 0 0 0 20 0 19 0 670362008 476176384 7641 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 2 18446604441989097664 0 0 -1 6 0 0 0
[pid=27012/tid=27234] ppid=27010 vsize=465016 CPUtime=0 cores=0,2,4,6
/proc/27012/task/27234/stat : 27234 (python) S 27010 27012 26973 0 -1 4202560 29 933 0 0 0 0 0 0 20 0 19 0 670381482 476176384 7641 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 2 18446604441989097664 0 0 -1 4 0 0 0
[pid=27012/tid=27311] ppid=27010 vsize=465016 CPUtime=0 cores=0,2,4,6
/proc/27012/task/27311/stat : 27311 (python) S 27010 27012 26973 0 -1 4202560 25 933 0 0 0 0 0 0 20 0 19 0 670537019 476176384 7641 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 2 18446604441989097664 0 0 -1 0 0 0 0
[pid=27012/tid=27318] ppid=27010 vsize=465016 CPUtime=0 cores=0,2,4,6
/proc/27012/task/27318/stat : 27318 (python) S 27010 27012 26973 0 -1 4202560 26 933 0 0 0 0 0 0 20 0 19 0 670547058 476176384 7641 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 2 18446604441989097664 0 0 -1 6 0 0 0
[pid=27012/tid=27324] ppid=27010 vsize=465016 CPUtime=0 cores=0,2,4,6
/proc/27012/task/27324/stat : 27324 (python) S 27010 27012 26973 0 -1 4202560 26 933 0 0 0 0 0 0 20 0 19 0 670556995 476176384 7641 33554432000 4194304 5683644 140735186892672 18446744073709551615 232347716017 0 0 16781312 2 18446604441989097664 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3452.81
Current children cumulated vsize (KiB) 15946944

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27012 and gives
#  childrusage.ru_utime.tv_sec=1
#  childrusage.ru_utime.tv_usec=914708
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=174973
# CPU time returned by wait4() is 2.08968
# while last known CPU time is 3452.81
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 3443.04
CPU time (s): 3452.81
CPU user time (s): 3447.37
CPU system time (s): 5.44
CPU usage (%): 100.284
Max. virtual memory (cumulated for all children) (KiB): 15946944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.91471
system time used= 0.174973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28968
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= 7180
involuntary context switches= 59

runsolver used 30.5274 second user time and 59.324 second system time

The end

Launcher Data 

Begin job on node132 at 2011-05-17 00:49:06
IDJOB=3386472
IDBENCH=82537
IDSOLVER=1872
FILE ID=node132/3386472-1305586146
RUNJOBID= node132-1305586144-26991
PBS_JOBID= 13350346
Free space on /tmp= 73280 MiB

SOLVER NAME= borg-sat 11.03.02-seq-random (fixed)
BENCH NAME= SAT11/random/large/unif-k7-r85-v200-c17000-S181603592-089-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-3386472-1305586146/watcher-3386472-1305586146 -o /tmp/evaluation-result-3386472-1305586146/solver-3386472-1305586146 -C 5000 -W 5100 -M 15500  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3386472-1305586146.cnf -seed 1471038449 -budget 5000

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

MD5SUM BENCH= af7b69f0071c372d5cdc250bc7f688e1
RANDOM SEED=1471038449

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:      22782240 kB
Buffers:        318220 kB
Cached:        3612600 kB
SwapCached:       9908 kB
Active:        3790560 kB
Inactive:      6049656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22782240 kB
SwapTotal:    67111528 kB
SwapFree:     65173164 kB
Dirty:           64832 kB
Writeback:           0 kB
AnonPages:     5905504 kB
Mapped:          25708 kB
Slab:           222368 kB
PageTables:      40104 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78202240 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= 73224 MiB
End job on node132 at 2011-05-17 01:46:31