Trace number 3317041

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-randomSAT 1939.48 509.998

General information on the benchmark

Namerandom/large/
unif-k7-r85-v150-c12750-S93401285-051-UNKNOWN.cnf
MD5SUMdc0028248c86c8aff67bef1f8d7ffb16
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.2752
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses12750
Sum of the clauses size89250
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 512750

Solver Data 

0.61/23.07	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.61/23.07	c INFO: solving HOME/instance-3317041-1304267279.cnf
0.61/23.07	c INFO: computing task features
0.66/23.16	c INFO: computed variable-clause graph statistics
0.66/23.17	c INFO: computed clause balance statistics
1.15/23.68	c INFO: computed variable balance statistics
1.35/23.88	c INFO: computed small-clause counts
1.35/23.88	c INFO: computed Horn-clause counts
1.45/23.90	c INFO: computed variable graph statistics
1.45/23.90	c INFO: collected features for HOME/instance-3317041-1304267279.cnf in 0.83 s
1.45/23.99	c INFO: running gnovelty+2@0 for 97 with 4799 remaining (b = 0.37)
1.49/24.02	c INFO: running gnovelty+2@0 for 97 with 4799 remaining (b = 0.12)
1.49/24.04	c INFO: running adaptg2wsat2009++@0 for 97 with 4799 remaining (b = 0.08)
1.49/24.07	c INFO: running adaptg2wsat2009++@0 for 97 with 4799 remaining (b = 0.06)
401.19/124.17	c INFO: running adaptg2wsat2009++@0 for 97 with 4698 remaining (b = 0.05)
401.19/124.20	c INFO: running gnovelty+2@0 for 97 with 4698 remaining (b = 0.04)
401.53/124.24	c INFO: running FH@0 for 97 with 4698 remaining (b = 0.03)
401.53/124.28	c INFO: running adaptg2wsat2009++@0 for 97 with 4698 remaining (b = 0.03)
801.23/224.34	c INFO: running adaptg2wsat2009++@0 for 97 with 4598 remaining (b = 0.02)
801.23/224.39	c INFO: running FH@0 for 97 with 4598 remaining (b = 0.02)
801.55/224.45	c INFO: running hybridGM3@0 for 194 with 4598 remaining (b = 0.04)
801.55/224.49	c INFO: running gnovelty+2@0 for 97 with 4598 remaining (b = 0.02)
1200.37/324.52	c INFO: running hybridGM3@0 for 194 with 4498 remaining (b = 0.03)
1200.37/324.58	c INFO: running hybridGM3@0 for 194 with 4498 remaining (b = 0.03)
1200.66/324.68	c INFO: running TNM@0 for 1552 with 4498 remaining (b = 0.19)
1583.53/420.78	c INFO: running adaptg2wsat2009++@0 for 97 with 4402 remaining (b = 0.01)
1938.85/509.97	s SATISFIABLE
1938.85/509.97	v 1 -2 -3 4 -5 6 -7 8 9 -10 -11 12 13 14 15 -16 -17 18 -19 -20 21 22 23 -24 -25 -26 27 -28 29 -30 -31 32 -33 34 35 36 -37 -38 -39 -40 -41 -42 43 44 45 46 -47 -48 -49 -50 51 52 -53 54 55 56 -57 58 -59 60 -61 62 63 64 -65 66 67 -68 -69 -70 -71 72 -73 -74 -75 -76 77 -78 -79 80 -81 82 -83 -84 -85 -86 87 -88 -89 -90 91 -92 93 94 -95 -96 97 98 99 100 101 102 -103 104 105 106 107 108 109 110 -111 -112 -113 114 115 116 117 -118 119 120 121 122 123 -124 -125 126 -127 128 -129 -130 131 -132 133 -134 135 -136 -137 -138 -139 -140 -141 142 143 -144 145 -146 147 148 -149 150 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3317041-1304267279/watcher-3317041-1304267279 -o /tmp/evaluation-result-3317041-1304267279/solver-3317041-1304267279 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3317041-1304267279.cnf -seed 489172721 -budget 4800 -cores 4 

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

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


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 2/176 22181
/proc/meminfo: memFree=30322064/32951124 swapFree=67105204/67111528
[pid=22181] ppid=22177 vsize=1840 CPUtime=0 cores=0,2,4,6
/proc/22181/stat : 22181 (python) D 22177 22181 22144 0 -1 4194304 46 0 0 0 0 0 0 0 21 0 1 0 519143914 1884160 1 33554432000 0 0 140734443574938 18446744073709551615 5055495 0 0 4096 0 18446744071562234166 0 0 17 4 0 0 0
/proc/22181/statm: 460 1 0 0 0 36 0

[startup+0.0312041 s]
/proc/loadavg: 0.00 0.00 0.00 2/176 22181
/proc/meminfo: memFree=30322064/32951124 swapFree=67105204/67111528
[pid=22181] ppid=22177 vsize=14252 CPUtime=0 cores=0,2,4,6
/proc/22181/stat : 22181 (python) D 22177 22181 22144 0 -1 4194304 195 0 3 0 0 0 0 0 17 0 1 0 519143914 14594048 134 33554432000 4194304 5683644 140734443569376 18446744073709551615 5051632 0 0 4096 0 18446744071562234166 0 0 17 2 0 0 1
/proc/22181/statm: 3563 134 105 364 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14252

[startup+0.100241 s]
/proc/loadavg: 0.00 0.00 0.00 2/176 22181
/proc/meminfo: memFree=30322064/32951124 swapFree=67105204/67111528
[pid=22181] ppid=22177 vsize=15084 CPUtime=0 cores=0,2,4,6
/proc/22181/stat : 22181 (python) D 22177 22181 22144 0 -1 4202496 611 0 6 0 0 0 0 0 17 0 1 0 519143914 15446016 514 33554432000 4194304 5683644 140734443569376 18446744073709551615 220816236288 0 0 16781312 2 18446744071562234166 0 0 17 2 0 0 2
/proc/22181/statm: 3771 514 301 364 0 258 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15084

[startup+0.301241 s]
/proc/loadavg: 0.00 0.00 0.00 2/176 22181
/proc/meminfo: memFree=30322064/32951124 swapFree=67105204/67111528
[pid=22181] ppid=22177 vsize=15184 CPUtime=0 cores=0,2,4,6
/proc/22181/stat : 22181 (python) S 22177 22181 22144 0 -1 4202496 706 0 6 0 0 0 0 0 17 0 1 0 519143914 15548416 604 33554432000 4194304 5683644 140734443569376 18446744073709551615 220816234496 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 18
/proc/22181/statm: 3796 604 319 364 0 283 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15184

[startup+0.701177 s]
/proc/loadavg: 0.00 0.00 0.00 2/176 22181
/proc/meminfo: memFree=30322064/32951124 swapFree=67105204/67111528
[pid=22181] ppid=22177 vsize=15388 CPUtime=0 cores=0,2,4,6
/proc/22181/stat : 22181 (python) D 22177 22181 22144 0 -1 4202496 805 0 6 0 0 0 0 0 16 0 1 0 519143914 15757312 697 33554432000 4194304 5683644 140734443569376 18446744073709551615 220816236288 0 0 16781312 2 18446744071562234166 0 0 17 2 0 0 18
/proc/22181/statm: 3847 697 334 364 0 334 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15388

[startup+1.50104 s]
/proc/loadavg: 0.00 0.00 0.00 2/178 22183
/proc/meminfo: memFree=30314840/32951124 swapFree=67105204/67111528
[pid=22181] ppid=22177 vsize=18884 CPUtime=0.04 cores=0,2,4,6
/proc/22181/stat : 22181 (python) S 22177 22181 22144 0 -1 4202496 1252 0 7 0 3 1 0 0 16 0 1 0 519143914 19337216 1113 33554432000 4194304 5683644 140734443569376 18446744073709551615 220816234496 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 45
/proc/22181/statm: 4721 1113 421 364 0 690 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18884

[startup+3.1007 s]
/proc/loadavg: 0.00 0.00 0.00 2/178 22183
/proc/meminfo: memFree=30312252/32951124 swapFree=67105204/67111528
[pid=22181] ppid=22177 vsize=36836 CPUtime=0.09 cores=0,2,4,6
/proc/22181/stat : 22181 (python) S 22177 22181 22144 0 -1 4202496 1609 0 13 0 7 2 0 0 15 0 1 0 519143914 37720064 1452 33554432000 4194304 5683644 140734443569376 18446744073709551615 220811312708 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 53
/proc/22181/statm: 9209 1452 452 364 0 1026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36836
heavy processes:

[startup+6.30112 s]
/proc/loadavg: 0.08 0.02 0.01 3/178 22183
/proc/meminfo: memFree=30301388/32951124 swapFree=67105204/67111528
[pid=22181] ppid=22177 vsize=102012 CPUtime=0.14 cores=0,2,4,6
/proc/22181/stat : 22181 (python) S 22177 22181 22144 0 -1 4202496 2996 0 30 0 10 4 0 0 16 0 1 0 519143914 104460288 2718 33554432000 4194304 5683644 140734443569376 18446744073709551615 220816234496 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 75
/proc/22181/statm: 25503 2718 841 364 0 1803 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 102012
heavy processes:

[startup+12.7009 s]
/proc/loadavg: 0.07 0.02 0.00 2/178 22191
/proc/meminfo: memFree=30279484/32951124 swapFree=67105204/67111528
[pid=22181] ppid=22177 vsize=135748 CPUtime=0.31 cores=0,2,4,6
/proc/22181/stat : 22181 (python) S 22177 22181 22144 0 -1 4202496 5921 923 42 8 21 10 0 0 16 0 1 0 519143914 139005952 4151 33554432000 4194304 5683644 140734443569376 18446744073709551615 220816041755 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 219
/proc/22181/statm: 33937 4151 1032 364 0 3123 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 135748
heavy processes:

[startup+25.5014 s]
/proc/loadavg: 0.29 0.06 0.02 10/202 22216
/proc/meminfo: memFree=30187588/32951124 swapFree=67105204/67111528
[pid=22181] ppid=22177 vsize=320604 CPUtime=1.57 cores=0,2,4,6
/proc/22181/stat : 22181 (python) S 22177 22181 22144 0 -1 4202496 13610 923 119 8 134 23 0 0 24 0 5 0 519143914 328298496 7350 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828063179 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 425
/proc/22181/statm: 80151 7350 1883 364 0 16060 0
[pid=22193] ppid=22181 vsize=278984 CPUtime=0 cores=0,2,4,6
/proc/22193/stat : 22193 (python) S 22181 22181 22144 0 -1 4202560 737 0 0 0 0 0 0 0 15 0 1 0 519146314 285679616 5670 33554432000 4194304 5683644 140734443569376 18446744073709551615 220816256527 0 0 16781312 514 4460117520199680260 0 0 17 0 0 0 0
/proc/22193/statm: 69746 5670 354 364 0 5664 0
[pid=22195] ppid=22193 vsize=1018364 CPUtime=1.49 cores=0,2,4,6
/proc/22195/stat : 22195 (gnovelty+2) R 22193 22195 22195 0 -1 4202496 670 0 0 0 149 0 0 0 21 0 1 0 519146315 1042804736 409 33554432000 134512640 135663704 4288771264 18446744073709551615 134525271 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/22195/statm: 254591 409 113 282 0 254307 0
[pid=22196] ppid=22181 vsize=289848 CPUtime=0 cores=0,2,4,6
/proc/22196/stat : 22196 (python) S 22181 22181 22144 0 -1 4202560 740 0 0 0 0 0 0 0 18 0 1 0 519146317 296804352 5803 33554432000 4194304 5683644 140734443569376 18446744073709551615 220816256582 0 0 16781312 514 4466432015477997828 0 0 17 4 0 0 0
/proc/22196/statm: 72462 5803 348 364 0 8377 0
[pid=22198] ppid=22196 vsize=1018364 CPUtime=1.47 cores=0,2,4,6
/proc/22198/stat : 22198 (gnovelty+2) R 22196 22198 22198 0 -1 4202496 674 0 0 0 147 0 0 0 25 0 1 0 519146317 1042804736 409 33554432000 134512640 135663704 4287341200 18446744073709551615 134525309 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/22198/statm: 254591 409 113 282 0 254307 0
[pid=22202] ppid=22181 vsize=300104 CPUtime=0 cores=0,2,4,6
/proc/22202/stat : 22202 (python) S 22181 22181 22144 0 -1 4202560 735 0 0 0 0 0 0 0 18 0 1 0 519146319 307306496 5807 33554432000 4194304 5683644 140734443569376 18446744073709551615 220816256582 0 0 16781312 514 2924853491417481215 0 0 17 6 0 0 0
/proc/22202/statm: 75026 5807 348 364 0 10938 0
[pid=22204] ppid=22202 vsize=417840 CPUtime=1.43 cores=0,2,4,6
/proc/22204/stat : 22204 (adaptg2wsat2009) R 22202 22204 22204 0 -1 4202496 890 0 0 0 143 0 0 0 25 0 1 0 519146320 427868160 624 33554432000 134512640 135107411 4290384976 18446744073709551615 134523323 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/22204/statm: 104460 624 49 146 0 103336 0
[pid=22208] ppid=22181 vsize=310360 CPUtime=0 cores=0,2,4,6
/proc/22208/stat : 22208 (python) S 22181 22181 22144 0 -1 4202560 755 0 0 0 0 0 0 0 18 0 1 0 519146322 317808640 5811 33554432000 4194304 5683644 140734443569376 18446744073709551615 220816256582 0 0 16781312 514 4402718065427480575 0 0 17 4 0 0 0
/proc/22208/statm: 77590 5811 348 364 0 13499 0
[pid=22210] ppid=22208 vsize=417840 CPUtime=1.41 cores=0,2,4,6
/proc/22210/stat : 22210 (adaptg2wsat2009) R 22208 22210 22210 0 -1 4202496 894 0 0 0 141 0 0 0 25 0 1 0 519146323 427868160 626 33554432000 134512640 135107411 4292132912 18446744073709551615 134523452 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/22210/statm: 104460 626 49 146 0 103336 0
[pid=22181/tid=22194] ppid=22177 vsize=320604 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22194/stat : 22194 (python) S 22177 22181 22144 0 -1 4202560 27 923 0 8 0 0 0 0 18 0 5 0 519146314 328298496 7350 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 2 18446604452973874240 0 0 -1 0 0 0 0
[pid=22181/tid=22197] ppid=22177 vsize=320604 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22197/stat : 22197 (python) S 22177 22181 22144 0 -1 4202560 20 923 0 8 0 0 0 0 20 0 5 0 519146317 328298496 7350 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 2 18446604452973874240 0 0 -1 4 0 0 0
[pid=22181/tid=22203] ppid=22177 vsize=320604 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22203/stat : 22203 (python) S 22177 22181 22144 0 -1 4202560 21 923 0 8 0 0 0 0 22 0 5 0 519146320 328298496 7350 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 2 18446604452973874240 0 0 -1 4 0 0 0
[pid=22181/tid=22209] ppid=22177 vsize=320604 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22209/stat : 22209 (python) S 22177 22181 22144 0 -1 4202560 28 923 0 8 0 0 0 0 24 0 5 0 519146323 328298496 7350 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 2 18446604452973874240 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.37
Current children cumulated vsize (KiB) 4372308
heavy processes:

[startup+51.1007 s]
/proc/loadavg: 2.60 0.62 0.20 9/202 22261
/proc/meminfo: memFree=30024880/32951124 swapFree=67105204/67111528
[pid=22181] ppid=22177 vsize=320604 CPUtime=1.57 cores=0,2,4,6
/proc/22181/stat : 22181 (python) S 22177 22181 22144 0 -1 4202496 13610 923 119 8 134 23 0 0 24 0 5 0 519143914 328298496 7350 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828063179 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 425
/proc/22181/statm: 80151 7350 1883 364 0 16060 0
[pid=22193] ppid=22181 vsize=278984 CPUtime=0.02 cores=0,2,4,6
/proc/22193/stat : 22193 (python) S 22181 22181 22144 0 -1 4202560 900 0 0 0 1 1 0 0 15 0 1 0 519146314 285679616 5693 33554432000 4194304 5683644 140734443569376 18446744073709551615 220816256527 0 0 16781312 514 781937485302169860 0 0 17 0 0 0 0
/proc/22193/statm: 69746 5693 377 364 0 5664 0
[pid=22195] ppid=22193 vsize=1018364 CPUtime=27.07 cores=0,2,4,6
/proc/22195/stat : 22195 (gnovelty+2) R 22193 22195 22195 0 -1 4202496 670 0 0 0 2706 1 0 0 25 0 1 0 519146315 1042804736 409 33554432000 134512640 135663704 4288771264 18446744073709551615 134524921 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/22195/statm: 254591 409 113 282 0 254307 0
[pid=22196] ppid=22181 vsize=289848 CPUtime=0.02 cores=0,2,4,6
/proc/22196/stat : 22196 (python) S 22181 22181 22144 0 -1 4202560 904 0 0 0 1 1 0 0 18 0 1 0 519146317 296804352 5826 33554432000 4194304 5683644 140734443569376 18446744073709551615 220816256582 0 0 16781312 514 781937485302169860 0 0 17 4 0 0 0
/proc/22196/statm: 72462 5826 371 364 0 8377 0
[pid=22198] ppid=22196 vsize=1018364 CPUtime=27.04 cores=0,2,4,6
/proc/22198/stat : 22198 (gnovelty+2) R 22196 22198 22198 0 -1 4202496 674 0 0 0 2704 0 0 0 25 0 1 0 519146317 1042804736 409 33554432000 134512640 135663704 4287341200 18446744073709551615 134524498 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/22198/statm: 254591 409 113 282 0 254307 0
[pid=22202] ppid=22181 vsize=300104 CPUtime=0.02 cores=0,2,4,6
/proc/22202/stat : 22202 (python) S 22181 22181 22144 0 -1 4202560 904 0 0 0 1 1 0 0 18 0 1 0 519146319 307306496 5830 33554432000 4194304 5683644 140734443569376 18446744073709551615 220816256582 0 0 16781312 514 781937485302169860 0 0 17 6 0 0 0
/proc/22202/statm: 75026 5830 371 364 0 10938 0
[pid=22204] ppid=22202 vsize=417976 CPUtime=26.85 cores=0,2,4,6
/proc/22204/stat : 22204 (adaptg2wsat2009) R 22202 22204 22204 0 -1 4202496 1001 0 0 0 2685 0 0 0 25 0 1 0 519146320 428007424 735 33554432000 134512640 135107411 4290384976 18446744073709551615 134531781 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/22204/statm: 104494 735 59 146 0 103370 0
[pid=22208] ppid=22181 vsize=310360 CPUtime=0.02 cores=0,2,4,6
/proc/22208/stat : 22208 (python) S 22181 22181 22144 0 -1 4202560 943 0 0 0 1 1 0 0 18 0 1 0 519146322 317808640 5834 33554432000 4194304 5683644 140734443569376 18446744073709551615 220816256582 0 0 16781312 514 781937485302169860 0 0 17 4 0 0 0
/proc/22208/statm: 77590 5834 371 364 0 13499 0
[pid=22210] ppid=22208 vsize=417976 CPUtime=26.95 cores=0,2,4,6
/proc/22210/stat : 22210 (adaptg2wsat2009) R 22208 22210 22210 0 -1 4202496 1005 0 0 0 2695 0 0 0 25 0 1 0 519146323 428007424 737 33554432000 134512640 135107411 4292132912 18446744073709551615 134531239 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/22210/statm: 104494 737 59 146 0 103370 0
[pid=22181/tid=22194] ppid=22177 vsize=320604 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22194/stat : 22194 (python) S 22177 22181 22144 0 -1 4202560 27 923 0 8 0 0 0 0 18 0 5 0 519146314 328298496 7350 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 2 18446604452973874240 0 0 -1 0 0 0 0
[pid=22181/tid=22197] ppid=22177 vsize=320604 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22197/stat : 22197 (python) S 22177 22181 22144 0 -1 4202560 20 923 0 8 0 0 0 0 20 0 5 0 519146317 328298496 7350 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 2 18446604452973874240 0 0 -1 4 0 0 0
[pid=22181/tid=22203] ppid=22177 vsize=320604 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22203/stat : 22203 (python) S 22177 22181 22144 0 -1 4202560 21 923 0 8 0 0 0 0 22 0 5 0 519146320 328298496 7350 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 2 18446604452973874240 0 0 -1 4 0 0 0
[pid=22181/tid=22209] ppid=22177 vsize=320604 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22209/stat : 22209 (python) S 22177 22181 22144 0 -1 4202560 28 923 0 8 0 0 0 0 24 0 5 0 519146323 328298496 7350 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 2 18446604452973874240 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 109.56
Current children cumulated vsize (KiB) 4372580

[startup+102.307 s]
/proc/loadavg: 5.72 1.77 0.62 9/202 22263
/proc/meminfo: memFree=30025224/32951124 swapFree=67105204/67111528
[pid=22181] ppid=22177 vsize=320604 CPUtime=1.57 cores=0,2,4,6
/proc/22181/stat : 22181 (python) S 22177 22181 22144 0 -1 4202496 13610 923 119 8 134 23 0 0 24 0 5 0 519143914 328298496 7350 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828063179 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 425
/proc/22181/statm: 80151 7350 1883 364 0 16060 0
[pid=22193] ppid=22181 vsize=278984 CPUtime=0.08 cores=0,2,4,6
/proc/22193/stat : 22193 (python) S 22181 22181 22144 0 -1 4202560 916 0 0 0 4 4 0 0 15 0 1 0 519146314 285679616 5693 33554432000 4194304 5683644 140734443569376 18446744073709551615 220816256527 0 0 16781312 514 781937485302169860 0 0 17 0 0 0 0
/proc/22193/statm: 69746 5693 377 364 0 5664 0
[pid=22195] ppid=22193 vsize=1018364 CPUtime=78.27 cores=0,2,4,6
/proc/22195/stat : 22195 (gnovelty+2) R 22193 22195 22195 0 -1 4202496 670 0 0 0 7826 1 0 0 25 0 1 0 519146315 1042804736 409 33554432000 134512640 135663704 4288771264 18446744073709551615 134525678 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/22195/statm: 254591 409 113 282 0 254307 0
[pid=22196] ppid=22181 vsize=289848 CPUtime=0.09 cores=0,2,4,6
/proc/22196/stat : 22196 (python) S 22181 22181 22144 0 -1 4202560 924 0 0 0 5 4 0 0 18 0 1 0 519146317 296804352 5826 33554432000 4194304 5683644 140734443569376 18446744073709551615 220816256582 0 0 16781312 514 781937485302169860 0 0 17 4 0 0 0

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

/proc/22181/task/22311/stat : 22311 (python) S 22177 22181 22144 0 -1 4202560 30 923 0 8 0 0 0 0 20 0 17 0 519176367 454926336 7570 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 2 18446604452973874240 0 0 -1 0 0 0 0
[pid=22181/tid=22315] ppid=22177 vsize=444264 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22315/stat : 22315 (python) S 22177 22181 22144 0 -1 4202560 28 923 0 8 0 0 0 0 21 0 17 0 519176373 454926336 7570 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 2 18446604452973874240 0 0 -1 4 0 0 0
[pid=22181/tid=22319] ppid=22177 vsize=444264 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22319/stat : 22319 (python) S 22177 22181 22144 0 -1 4202560 30 923 0 8 0 0 0 0 22 0 17 0 519176384 454926336 7570 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 2 18446604452973874240 0 0 -1 4 0 0 0
[pid=22181/tid=22338] ppid=22177 vsize=444264 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22338/stat : 22338 (python) S 22177 22181 22144 0 -1 4202560 26 923 0 8 0 0 0 0 20 0 17 0 519185994 454926336 7570 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 2 18446604452973874240 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1937.25
Current children cumulated vsize (KiB) 14500948

[startup+509.902 s]
/proc/loadavg: 8.26 6.55 3.30 9/274 22345
/proc/meminfo: memFree=29661184/32951124 swapFree=67105204/67111528
[pid=22181] ppid=22177 vsize=444264 CPUtime=2.05 cores=0,2,4,6
/proc/22181/stat : 22181 (python) S 22177 22181 22144 0 -1 4202496 24878 923 119 8 179 26 0 0 20 0 17 0 519143914 454926336 7570 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828063179 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 425
/proc/22181/statm: 111066 7570 1908 364 0 46939 0
[pid=22193] ppid=22181 vsize=289228 CPUtime=0.11 cores=0,2,4,6
/proc/22193/stat : 22193 (python) S 22181 22181 22144 0 -1 4202560 1080 0 0 0 6 5 0 0 17 0 2 0 519146314 296169472 5731 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828063179 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/22193/statm: 72307 5731 410 364 0 8225 0
[pid=22195] ppid=22193 vsize=1018364 CPUtime=100.1 cores=0,2,4,6
/proc/22195/stat : 22195 (gnovelty+2) T 22193 22195 22195 0 -1 4202496 670 0 0 0 10009 1 0 0 25 0 1 0 519146315 1042804736 409 33554432000 134512640 135663704 4288771264 18446744073709551615 134525255 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/22195/statm: 254591 409 113 282 0 254307 0
[pid=22193/tid=22264] ppid=22181 vsize=289228 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22264/stat : 22264 (python) S 22181 22181 22144 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 519156328 296169472 5731 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 514 18446604453951145280 0 0 -1 0 0 0 0
[pid=22196] ppid=22181 vsize=289848 CPUtime=0.11 cores=0,2,4,6
/proc/22196/stat : 22196 (python) S 22181 22181 22144 0 -1 4202560 1084 0 0 0 6 5 0 0 19 0 2 0 519146317 296804352 5856 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828063179 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/22196/statm: 72462 5856 400 364 0 8377 0
[pid=22198] ppid=22196 vsize=1018364 CPUtime=100.01 cores=0,2,4,6
/proc/22198/stat : 22198 (gnovelty+2) T 22196 22198 22198 0 -1 4202496 674 0 0 0 10001 0 0 0 25 0 1 0 519146317 1042804736 409 33554432000 134512640 135663704 4287341200 18446744073709551615 134524954 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/22198/statm: 254591 409 113 282 0 254307 0
[pid=22196/tid=22267] ppid=22181 vsize=289848 CPUtime=0 cores=0,2,4,6
/proc/22196/task/22267/stat : 22267 (python) S 22181 22181 22144 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 519156332 296804352 5856 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 514 18446604453952615488 0 0 -1 4 0 0 0
[pid=22202] ppid=22181 vsize=300104 CPUtime=0.11 cores=0,2,4,6
/proc/22202/stat : 22202 (python) S 22181 22181 22144 0 -1 4202560 1087 0 0 0 5 6 0 0 19 0 2 0 519146319 307306496 5860 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828063179 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/22202/statm: 75026 5860 400 364 0 10938 0
[pid=22204] ppid=22202 vsize=417976 CPUtime=99.46 cores=0,2,4,6
/proc/22204/stat : 22204 (adaptg2wsat2009) T 22202 22204 22204 0 -1 4202496 1001 0 0 0 9946 0 0 0 25 0 1 0 519146320 428007424 735 33554432000 134512640 135107411 4290384976 18446744073709551615 134532264 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/22204/statm: 104494 735 59 146 0 103370 0
[pid=22202/tid=22269] ppid=22181 vsize=300104 CPUtime=0 cores=0,2,4,6
/proc/22202/task/22269/stat : 22269 (python) S 22181 22181 22144 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 519156333 307306496 5860 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 514 18446604440708786880 0 0 -1 6 0 0 0
[pid=22208] ppid=22181 vsize=310360 CPUtime=0.11 cores=0,2,4,6
/proc/22208/stat : 22208 (python) S 22181 22181 22144 0 -1 4202560 1124 0 0 0 4 7 0 0 19 0 2 0 519146322 317808640 5864 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828063179 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/22208/statm: 77590 5864 400 364 0 13499 0
[pid=22210] ppid=22208 vsize=417976 CPUtime=99.9 cores=0,2,4,6
/proc/22210/stat : 22210 (adaptg2wsat2009) T 22208 22210 22210 0 -1 4202496 1005 0 0 0 9990 0 0 0 25 0 1 0 519146323 428007424 737 33554432000 134512640 135107411 4292132912 18446744073709551615 134532381 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/22210/statm: 104494 737 59 146 0 103370 0
[pid=22208/tid=22272] ppid=22181 vsize=310360 CPUtime=0 cores=0,2,4,6
/proc/22208/task/22272/stat : 22272 (python) S 22181 22181 22144 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 519156336 317808640 5864 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 514 18446604453937780928 0 0 -1 6 0 0 0
[pid=22265] ppid=22181 vsize=320616 CPUtime=0.13 cores=0,2,4,6
/proc/22265/stat : 22265 (python) S 22181 22181 22144 0 -1 4202560 1122 0 0 0 7 6 0 0 19 0 2 0 519156332 328310784 5868 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828063179 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/22265/statm: 80154 5868 400 364 0 16060 0
[pid=22268] ppid=22265 vsize=417976 CPUtime=100.12 cores=0,2,4,6
/proc/22268/stat : 22268 (adaptg2wsat2009) T 22265 22268 22268 0 -1 4202496 1003 0 0 0 10012 0 0 0 25 0 1 0 519156332 428007424 737 33554432000 134512640 135107411 4287463888 18446744073709551615 134531848 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/22268/statm: 104494 737 59 146 0 103370 0
[pid=22265/tid=22287] ppid=22181 vsize=320616 CPUtime=0 cores=0,2,4,6
/proc/22265/task/22287/stat : 22287 (python) S 22181 22181 22144 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 519166346 328310784 5868 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 514 18446604453946066176 0 0 -1 6 0 0 0
[pid=22270] ppid=22181 vsize=330872 CPUtime=0.13 cores=0,2,4,6
/proc/22270/stat : 22270 (python) S 22181 22181 22144 0 -1 4202560 1118 0 0 0 8 5 0 0 19 0 2 0 519156335 338812928 5872 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828063179 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/22270/statm: 82718 5872 400 364 0 18621 0
[pid=22273] ppid=22270 vsize=1018364 CPUtime=100.13 cores=0,2,4,6
/proc/22273/stat : 22273 (gnovelty+2) T 22270 22273 22273 0 -1 4202496 673 0 0 0 10013 0 0 0 25 0 1 0 519156336 1042804736 409 33554432000 134512640 135663704 4291245760 18446744073709551615 134524897 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/22273/statm: 254591 409 113 282 0 254307 0
[pid=22270/tid=22290] ppid=22181 vsize=330872 CPUtime=0 cores=0,2,4,6
/proc/22270/task/22290/stat : 22290 (python) S 22181 22181 22144 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 519166350 338812928 5872 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 514 18446604453938059072 0 0 -1 4 0 0 0
[pid=22274] ppid=22181 vsize=341128 CPUtime=0.13 cores=0,2,4,6
/proc/22274/stat : 22274 (python) S 22181 22181 22144 0 -1 4202560 1186 0 0 0 8 5 0 0 19 0 2 0 519156339 349315072 5882 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828063179 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/22274/statm: 85282 5882 406 364 0 21182 0
[pid=22276] ppid=22274 vsize=247996 CPUtime=99.23 cores=0,2,4,6
/proc/22276/stat : 22276 (FH) T 22274 22276 22276 0 -1 4202496 923 0 0 0 9923 0 0 0 25 0 1 0 519156339 253947904 659 33554432000 134512640 134936988 4288206560 18446744073709551615 134553531 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/22276/statm: 61999 659 41 104 0 61503 0
[pid=22274/tid=22292] ppid=22181 vsize=341128 CPUtime=0 cores=0,2,4,6
/proc/22274/task/22292/stat : 22292 (python) S 22181 22181 22144 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 519166354 349315072 5882 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 514 18446604453926162496 0 0 -1 6 0 0 0
[pid=22277] ppid=22181 vsize=351788 CPUtime=0.13 cores=0,2,4,6
/proc/22277/stat : 22277 (python) S 22181 22181 22144 0 -1 4202560 1160 0 0 0 8 5 0 0 19 0 2 0 519156343 360230912 5987 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828063179 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/22277/statm: 87947 5987 406 364 0 23844 0
[pid=22279] ppid=22277 vsize=417976 CPUtime=99.88 cores=0,2,4,6
/proc/22279/stat : 22279 (adaptg2wsat2009) T 22277 22279 22279 0 -1 4202496 1004 0 0 0 9988 0 0 0 25 0 1 0 519156343 428007424 734 33554432000 134512640 135107411 4294704992 18446744073709551615 134531781 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/22279/statm: 104494 734 59 146 0 103370 0
[pid=22277/tid=22296] ppid=22181 vsize=351788 CPUtime=0 cores=0,2,4,6
/proc/22277/task/22296/stat : 22296 (python) S 22181 22181 22144 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 519166357 360230912 5987 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 514 18446604453956797376 0 0 -1 4 0 0 0
[pid=22288] ppid=22181 vsize=362044 CPUtime=0.13 cores=0,2,4,6
/proc/22288/stat : 22288 (python) S 22181 22181 22144 0 -1 4202560 1151 0 0 0 8 5 0 0 19 0 2 0 519166349 370733056 5985 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828063179 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/22288/statm: 90511 5985 399 364 0 26405 0
[pid=22291] ppid=22288 vsize=417976 CPUtime=99.97 cores=0,2,4,6
/proc/22291/stat : 22291 (adaptg2wsat2009) T 22288 22291 22291 0 -1 4202496 1008 0 0 0 9997 0 0 0 25 0 1 0 519166351 428007424 736 33554432000 134512640 135107411 4287256160 18446744073709551615 134531232 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/22291/statm: 104494 736 59 146 0 103370 0
[pid=22288/tid=22309] ppid=22181 vsize=362044 CPUtime=0 cores=0,2,4,6
/proc/22288/task/22309/stat : 22309 (python) S 22181 22181 22144 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 519176363 370733056 5985 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 514 18446604440708785984 0 0 -1 0 0 0 0
[pid=22293] ppid=22181 vsize=372300 CPUtime=0.13 cores=0,2,4,6
/proc/22293/stat : 22293 (python) S 22181 22181 22144 0 -1 4202560 1151 0 0 0 7 6 0 0 19 0 2 0 519166354 381235200 5989 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828063179 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/22293/statm: 93075 5989 400 364 0 28966 0
[pid=22295] ppid=22293 vsize=247992 CPUtime=99.87 cores=0,2,4,6
/proc/22295/stat : 22295 (FH) T 22293 22295 22295 0 -1 4202496 928 0 0 0 9987 0 0 0 25 0 1 0 519166355 253943808 658 33554432000 134512640 134936988 4287597424 18446744073709551615 134554626 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/22295/statm: 61998 658 41 104 0 61502 0
[pid=22293/tid=22312] ppid=22181 vsize=372300 CPUtime=0 cores=0,2,4,6
/proc/22293/task/22312/stat : 22312 (python) S 22181 22181 22144 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 519176368 381235200 5989 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 514 18446604440708784192 0 0 -1 0 0 0 0
[pid=22297] ppid=22181 vsize=382556 CPUtime=0.28 cores=0,2,4,6
/proc/22297/stat : 22297 (python) S 22181 22181 22144 0 -1 4202560 1182 0 0 0 15 13 0 0 19 0 2 0 519166359 391737344 5993 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828063179 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/22297/statm: 95639 5993 400 364 0 31527 0
[pid=22299] ppid=22297 vsize=268428 CPUtime=196 cores=0,2,4,6
/proc/22299/stat : 22299 (hybridGM3) T 22297 22299 22299 0 -1 4202496 5058 0 0 0 19600 0 0 0 25 0 1 0 519166360 274870272 4787 33554432000 134512640 135204385 4292913680 18446744073709551615 134538541 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/22299/statm: 67107 4787 63 169 0 66937 0
[pid=22297/tid=22336] ppid=22181 vsize=382556 CPUtime=0 cores=0,2,4,6
/proc/22297/task/22336/stat : 22336 (python) S 22181 22181 22144 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 519185989 391737344 5993 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 514 18446604447632653056 0 0 -1 2 0 0 0
[pid=22300] ppid=22181 vsize=392812 CPUtime=0.13 cores=0,2,4,6
/proc/22300/stat : 22300 (python) S 22181 22181 22144 0 -1 4202560 1168 0 0 0 8 5 0 0 19 0 2 0 519166364 402239488 5997 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828063179 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/22300/statm: 98203 5997 400 364 0 34088 0
[pid=22302] ppid=22300 vsize=1018364 CPUtime=98.6 cores=0,2,4,6
/proc/22302/stat : 22302 (gnovelty+2) T 22300 22302 22302 0 -1 4202496 680 0 0 0 9860 0 0 0 25 0 1 0 519166364 1042804736 408 33554432000 134512640 135663704 4287708416 18446744073709551615 134524897 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/22302/statm: 254591 408 113 282 0 254307 0
[pid=22300/tid=22317] ppid=22181 vsize=392812 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22317/stat : 22317 (python) S 22181 22181 22144 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 519176379 402239488 5997 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 514 18446604453928148032 0 0 -1 4 0 0 0
[pid=22310] ppid=22181 vsize=403068 CPUtime=0.27 cores=0,2,4,6
/proc/22310/stat : 22310 (python) S 22181 22181 22144 0 -1 4202560 1019 0 0 0 14 13 0 0 18 0 1 0 519176367 412741632 5971 33554432000 4194304 5683644 140734443569376 18446744073709551615 220816256582 0 0 16781312 514 781937485302169859 0 0 17 6 0 0 0
/proc/22310/statm: 100767 5971 371 364 0 36649 0
[pid=22313] ppid=22310 vsize=268420 CPUtime=185.34 cores=0,2,4,6
/proc/22313/stat : 22313 (hybridGM3) R 22310 22313 22313 0 -1 4202496 5058 0 0 0 18534 0 0 0 25 0 1 0 519176368 274862080 4787 33554432000 134512640 135204385 4292842736 18446744073709551615 134538375 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/22313/statm: 67105 4787 63 169 0 66935 0
[pid=22314] ppid=22181 vsize=413324 CPUtime=0.27 cores=0,2,4,6
/proc/22314/stat : 22314 (python) S 22181 22181 22144 0 -1 4202560 1033 0 0 0 15 12 0 0 18 0 1 0 519176373 423243776 5975 33554432000 4194304 5683644 140734443569376 18446744073709551615 220816256582 0 0 16781312 514 781937485302169858 0 0 17 4 0 0 0
/proc/22314/statm: 103331 5975 371 364 0 39210 0
[pid=22316] ppid=22314 vsize=268424 CPUtime=182 cores=0,2,4,6
/proc/22316/stat : 22316 (hybridGM3) R 22314 22316 22316 0 -1 4202496 5057 0 0 0 18200 0 0 0 25 0 1 0 519176373 274866176 4787 33554432000 134512640 135204385 4286779776 18446744073709551615 134538054 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/22316/statm: 67106 4787 63 169 0 66936 0
[pid=22318] ppid=22181 vsize=423580 CPUtime=0.27 cores=0,2,4,6
/proc/22318/stat : 22318 (python) S 22181 22181 22144 0 -1 4202560 1069 0 0 0 15 12 0 0 18 0 1 0 519176383 433745920 5996 33554432000 4194304 5683644 140734443569376 18446744073709551615 220816256582 0 0 16781312 514 781937485302169858 0 0 17 4 0 0 0
/proc/22318/statm: 105895 5996 379 364 0 41771 0
[pid=22320] ppid=22318 vsize=456464 CPUtime=184.92 cores=0,2,4,6
/proc/22320/stat : 22320 (TNM) R 22318 22320 22320 0 -1 4202496 918 0 0 0 18492 0 0 0 25 0 1 0 519176384 467419136 643 33554432000 134512640 135008748 4290571296 18446744073709551615 134529183 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/22320/statm: 114116 643 46 122 0 113016 0
[pid=22337] ppid=22181 vsize=434020 CPUtime=0.13 cores=0,2,4,6
/proc/22337/stat : 22337 (python) S 22181 22181 22144 0 -1 4202560 1020 0 0 0 8 5 0 0 18 0 1 0 519185993 444436480 6037 33554432000 4194304 5683644 140734443569376 18446744073709551615 220816256582 0 0 16781312 514 781937485302169858 0 0 17 4 0 0 0
/proc/22337/statm: 108505 6037 379 364 0 44378 0
[pid=22339] ppid=22337 vsize=417976 CPUtime=88.7 cores=0,2,4,6
/proc/22339/stat : 22339 (adaptg2wsat2009) R 22337 22339 22339 0 -1 4202496 1010 0 0 0 8870 0 0 0 25 0 1 0 519185994 428007424 736 33554432000 134512640 135107411 4287377792 18446744073709551615 134531604 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/22339/statm: 104494 736 59 146 0 103370 0
[pid=22181/tid=22194] ppid=22177 vsize=444264 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22194/stat : 22194 (python) S 22177 22181 22144 0 -1 4202560 27 923 0 8 0 0 0 0 18 0 17 0 519146314 454926336 7570 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 2 18446604452973874240 0 0 -1 0 0 0 0
[pid=22181/tid=22197] ppid=22177 vsize=444264 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22197/stat : 22197 (python) S 22177 22181 22144 0 -1 4202560 20 923 0 8 0 0 0 0 20 0 17 0 519146317 454926336 7570 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 2 18446604452973874240 0 0 -1 4 0 0 0
[pid=22181/tid=22203] ppid=22177 vsize=444264 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22203/stat : 22203 (python) S 22177 22181 22144 0 -1 4202560 21 923 0 8 0 0 0 0 22 0 17 0 519146320 454926336 7570 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 2 18446604452973874240 0 0 -1 4 0 0 0
[pid=22181/tid=22209] ppid=22177 vsize=444264 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22209/stat : 22209 (python) S 22177 22181 22144 0 -1 4202560 28 923 0 8 0 0 0 0 24 0 17 0 519146323 454926336 7570 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 2 18446604452973874240 0 0 -1 4 0 0 0
[pid=22181/tid=22266] ppid=22177 vsize=444264 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22266/stat : 22266 (python) S 22177 22181 22144 0 -1 4202560 23 923 0 8 0 0 0 0 20 0 17 0 519156332 454926336 7570 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 2 18446604452973874240 0 0 -1 2 0 0 0
[pid=22181/tid=22271] ppid=22177 vsize=444264 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22271/stat : 22271 (python) S 22177 22181 22144 0 -1 4202560 23 923 0 8 0 0 0 0 20 0 17 0 519156335 454926336 7570 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 2 18446604452973874240 0 0 -1 6 0 0 0
[pid=22181/tid=22275] ppid=22177 vsize=444264 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22275/stat : 22275 (python) S 22177 22181 22144 0 -1 4202560 24 923 0 8 0 0 0 0 22 0 17 0 519156339 454926336 7570 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 2 18446604452973874240 0 0 -1 6 0 0 0
[pid=22181/tid=22278] ppid=22177 vsize=444264 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22278/stat : 22278 (python) S 22177 22181 22144 0 -1 4202560 27 923 0 8 0 0 0 0 25 0 17 0 519156343 454926336 7570 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 2 18446604452973874240 0 0 -1 4 0 0 0
[pid=22181/tid=22289] ppid=22177 vsize=444264 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22289/stat : 22289 (python) S 22177 22181 22144 0 -1 4202560 31 923 0 8 0 0 0 0 20 0 17 0 519166349 454926336 7570 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 2 18446604452973874240 0 0 -1 4 0 0 0
[pid=22181/tid=22294] ppid=22177 vsize=444264 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22294/stat : 22294 (python) S 22177 22181 22144 0 -1 4202560 23 923 0 8 0 0 0 0 21 0 17 0 519166354 454926336 7570 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 2 18446604452973874240 0 0 -1 2 0 0 0
[pid=22181/tid=22298] ppid=22177 vsize=444264 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22298/stat : 22298 (python) S 22177 22181 22144 0 -1 4202560 23 923 0 8 0 0 0 0 23 0 17 0 519166360 454926336 7570 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 2 18446604452973874240 0 0 -1 2 0 0 0
[pid=22181/tid=22301] ppid=22177 vsize=444264 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22301/stat : 22301 (python) S 22177 22181 22144 0 -1 4202560 29 923 0 8 0 0 0 0 20 0 17 0 519166364 454926336 7570 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 2 18446604452973874240 0 0 -1 4 0 0 0
[pid=22181/tid=22311] ppid=22177 vsize=444264 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22311/stat : 22311 (python) S 22177 22181 22144 0 -1 4202560 30 923 0 8 0 0 0 0 20 0 17 0 519176367 454926336 7570 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 2 18446604452973874240 0 0 -1 0 0 0 0
[pid=22181/tid=22315] ppid=22177 vsize=444264 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22315/stat : 22315 (python) S 22177 22181 22144 0 -1 4202560 28 923 0 8 0 0 0 0 21 0 17 0 519176373 454926336 7570 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 2 18446604452973874240 0 0 -1 4 0 0 0
[pid=22181/tid=22319] ppid=22177 vsize=444264 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22319/stat : 22319 (python) S 22177 22181 22144 0 -1 4202560 30 923 0 8 0 0 0 0 22 0 17 0 519176384 454926336 7570 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 2 18446604452973874240 0 0 -1 4 0 0 0
[pid=22181/tid=22338] ppid=22177 vsize=444264 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22338/stat : 22338 (python) S 22177 22181 22144 0 -1 4202560 26 923 0 8 0 0 0 0 20 0 17 0 519185994 454926336 7570 33554432000 4194304 5683644 140734443569376 18446744073709551615 220828060081 0 0 16781312 2 18446604452973874240 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1938.85
Current children cumulated vsize (KiB) 14500948

Child status: 0
Real time (s): 509.998
CPU time (s): 1939.48
CPU user time (s): 1937.88
CPU system time (s): 1.60376
CPU usage (%): 380.293
Max. virtual memory (cumulated for all children) (KiB): 14500952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1937.88
system time used= 1.60376
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75528
page faults= 127
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22876
involuntary context switches= 11951

runsolver used 1.83372 second user time and 4.07438 second system time

The end

Launcher Data 

Begin job on node147 at 2011-05-01 18:27:59
IDJOB=3317041
IDBENCH=82506
IDSOLVER=1705
FILE ID=node147/3317041-1304267279
RUNJOBID= node147-1304267279-22162
PBS_JOBID= 13173932
Free space on /tmp= 73276 MiB

SOLVER NAME= borg-sat 11.03.02-random
BENCH NAME= SAT11/random/large/unif-k7-r85-v150-c12750-S93401285-051-UNKNOWN.cnf
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.random.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT -cores NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3317041-1304267279/watcher-3317041-1304267279 -o /tmp/evaluation-result-3317041-1304267279/solver-3317041-1304267279 -C 4800 -W 1300 -M 15500  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3317041-1304267279.cnf -seed 489172721 -budget 4800 -cores 4

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

MD5SUM BENCH= dc0028248c86c8aff67bef1f8d7ffb16
RANDOM SEED=489172721

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
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.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
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.76
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.836
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.836
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:      30322632 kB
Buffers:        348104 kB
Cached:        1882404 kB
SwapCached:       3088 kB
Active:         357336 kB
Inactive:      1934204 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30322632 kB
SwapTotal:    67111528 kB
SwapFree:     67105204 kB
Dirty:           64408 kB
Writeback:           0 kB
AnonPages:       59720 kB
Mapped:          14240 kB
Slab:           272116 kB
PageTables:       5044 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   184632 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73212 MiB
End job on node147 at 2011-05-01 18:36:30