0.35/0.67 c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.35/0.67 c INFO: solving HOME/instance-3385653-1305571792.cnf
0.35/0.67 c INFO: computing task features
0.42/0.70 c INFO: computed variable-clause graph statistics
0.42/0.71 c INFO: computed clause balance statistics
0.62/0.90 c INFO: computed variable balance statistics
0.62/0.98 c INFO: computed small-clause counts
0.62/0.98 c INFO: computed Horn-clause counts
0.62/0.98 c INFO: computed variable graph statistics
0.62/0.98 c INFO: collected features for HOME/instance-3385653-1305571792.cnf in 0.31 s
0.73/1.01 c INFO: running gnovelty+2@0 for 97 with 4999 remaining (b = 0.55)
0.73/1.04 c INFO: running gnovelty+2@0 for 97 with 4999 remaining (b = 0.10)
0.73/1.07 c INFO: running adaptg2wsat2009++@0 for 97 with 4999 remaining (b = 0.05)
0.73/1.10 c INFO: running adaptg2wsat2009++@0 for 97 with 4999 remaining (b = 0.03)
0.83/1.13 c INFO: running adaptg2wsat2009++@0 for 97 with 4999 remaining (b = 0.03)
0.83/1.16 c INFO: running gnovelty+2@0 for 97 with 4999 remaining (b = 0.02)
0.83/1.20 c INFO: running FH@0 for 97 with 4999 remaining (b = 0.02)
0.92/1.23 c INFO: running adaptg2wsat2009++@0 for 97 with 4999 remaining (b = 0.01)
800.72/101.38 c INFO: running march_hi@0 for 2134 with 4899 remaining (b = 0.31)
801.50/101.42 c INFO: running march_hi@0 for 2134 with 4899 remaining (b = 0.30)
801.50/101.46 c INFO: running march_hi@0 for 388 with 4899 remaining (b = 0.11)
802.03/101.50 c INFO: running march_hi@0 for 388 with 4899 remaining (b = 0.09)
802.03/101.55 c INFO: running adaptg2wsat2009++@0 for 97 with 4899 remaining (b = 0.01)
802.03/101.59 c INFO: running adaptg2wsat2009++@0 for 97 with 4899 remaining (b = 0.01)
802.27/101.63 c INFO: running adaptg2wsat2009++@0 for 97 with 4899 remaining (b = 0.01)
802.27/101.67 c INFO: running adaptg2wsat2009++@100 for 97 with 4899 remaining (b = 0.01)
1554.73/195.91 c INFO: running FH@0 for 97 with 4804 remaining (b = 0.01)
1562.82/196.95 c INFO: running march_hi@0 for 2134 with 4803 remaining (b = 0.26)
1562.82/197.00 c INFO: running march_hi@0 for 485 with 4803 remaining (b = 0.09)
1563.45/197.05 c INFO: running march_hi@0 for 388 with 4803 remaining (b = 0.07)
2355.33/296.33 c INFO: running march_hi@0 for 388 with 4704 remaining (b = 0.05)
3750.94/471.37 s UNSATISFIABLE
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-3385653-1305571792/watcher-3385653-1305571792 -o /tmp/evaluation-result-3385653-1305571792/solver-3385653-1305571792 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3385653-1305571792.cnf -seed 1468926289 -budget 40000 -cores 8
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.01 0.02 1/456 30288
/proc/meminfo: memFree=20570204/32951124 swapFree=51873468/67111528
[pid=30288] ppid=30286 vsize=16240 CPUtime=0 cores=0-7
/proc/30288/stat : 30288 (python) R 30286 30288 29564 0 -1 4202496 997 0 0 0 0 0 0 0 21 0 1 0 649595446 16629760 870 33554432000 4194304 5683644 140735404601200 18446744073709551615 212039316165 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/30288/statm: 4060 870 368 364 0 547 0
[startup+0.072619 s]
/proc/loadavg: 0.00 0.01 0.02 1/456 30288
/proc/meminfo: memFree=20570204/32951124 swapFree=51873468/67111528
[pid=30288] ppid=30286 vsize=36508 CPUtime=0.04 cores=0-7
/proc/30288/stat : 30288 (python) S 30286 30288 29564 0 -1 4202496 1619 0 0 0 3 1 0 0 21 0 1 0 649595446 37384192 1450 33554432000 4194304 5683644 140735404601200 18446744073709551615 212039653376 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/30288/statm: 9128 1450 452 364 0 945 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 36508
[startup+0.100608 s]
/proc/loadavg: 0.00 0.01 0.02 1/456 30288
/proc/meminfo: memFree=20570204/32951124 swapFree=51873468/67111528
[pid=30288] ppid=30286 vsize=87704 CPUtime=0.06 cores=0-7
/proc/30288/stat : 30288 (python) R 30286 30288 29564 0 -1 4202496 2638 0 0 0 4 2 0 0 21 0 1 0 649595446 89808896 2354 33554432000 4194304 5683644 140735404601200 18446744073709551615 212039698567 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/30288/statm: 21926 2354 717 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87704
[startup+0.300622 s]
/proc/loadavg: 0.00 0.01 0.02 1/456 30288
/proc/meminfo: memFree=20570204/32951124 swapFree=51873468/67111528
[pid=30288] ppid=30286 vsize=135752 CPUtime=0.18 cores=0-7
/proc/30288/stat : 30288 (python) S 30286 30288 29564 0 -1 4202496 5966 935 1 0 14 4 0 0 18 0 1 0 649595446 139010048 4152 33554432000 4194304 5683644 140735404601200 18446744073709551615 212039651333 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/30288/statm: 33938 4152 1032 364 0 3124 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 135752
[startup+0.700541 s]
/proc/loadavg: 0.00 0.01 0.02 1/456 30288
/proc/meminfo: memFree=20570204/32951124 swapFree=51873468/67111528
[pid=30288] ppid=30286 vsize=279324 CPUtime=0.42 cores=0-7
/proc/30288/stat : 30288 (python) R 30286 30288 29564 0 -1 4202496 9495 935 1 0 32 10 0 0 17 0 1 0 649595446 286027776 7173 33554432000 4194304 5683644 140735404601200 18446744073709551615 46965416201562 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/30288/statm: 69831 7173 1761 364 0 5755 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 279324
[startup+1.50031 s]
/proc/loadavg: 0.00 0.01 0.02 2/457 30293
/proc/meminfo: memFree=20547088/32951124 swapFree=51873468/67111528
[pid=30288] ppid=30286 vsize=426376 CPUtime=0.95 cores=0-7
/proc/30288/stat : 30288 (python) S 30286 30288 29564 0 -1 4202496 16031 935 1 0 83 12 0 0 21 0 9 0 649595446 436609024 7336 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051482059 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/30288/statm: 106594 7336 1891 364 0 42491 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 426376
[startup+3.10103 s]
/proc/loadavg: 0.00 0.01 0.02 9/481 30318
/proc/meminfo: memFree=20507952/32951124 swapFree=51873468/67111528
[pid=30288] ppid=30286 vsize=426376 CPUtime=0.95 cores=0-7
/proc/30288/stat : 30288 (python) S 30286 30288 29564 0 -1 4202496 16031 935 1 0 83 12 0 0 21 0 9 0 649595446 436609024 7336 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051482059 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/30288/statm: 106594 7336 1891 364 0 42491 0
[pid=30294] ppid=30288 vsize=278704 CPUtime=0 cores=0-7
/proc/30294/stat : 30294 (python) S 30288 30288 29564 0 -1 4202560 737 0 0 0 0 0 0 0 18 0 1 0 649595547 285392896 5615 33554432000 4194304 5683644 140735404601200 18446744073709551615 212039675407 0 0 16781312 514 4557198349618348292 0 0 17 1 0 0 0
/proc/30294/statm: 69676 5615 354 364 0 5594 0
[pid=30296] ppid=30294 vsize=1017932 CPUtime=2.07 cores=0-7
/proc/30296/stat : 30296 (gnovelty+2) R 30294 30296 30296 0 -1 4202496 513 0 0 0 207 0 0 0 25 0 1 0 649595548 1042362368 248 33554432000 134512640 135663704 4288841712 18446744073709551615 134524498 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/30296/statm: 254483 248 113 282 0 254199 0
[pid=30297] ppid=30288 vsize=289356 CPUtime=0 cores=0-7
/proc/30297/stat : 30297 (python) S 30288 30288 29564 0 -1 4202560 740 0 0 0 0 0 0 0 18 0 1 0 649595550 296300544 5697 33554432000 4194304 5683644 140735404601200 18446744073709551615 212039675462 0 0 16781312 514 17981403544216895748 0 0 17 1 0 0 0
/proc/30297/statm: 72339 5697 348 364 0 8254 0
[pid=30299] ppid=30297 vsize=1017932 CPUtime=2.04 cores=0-7
/proc/30299/stat : 30299 (gnovelty+2) R 30297 30299 30299 0 -1 4202496 507 0 0 0 204 0 0 0 25 0 1 0 649595551 1042362368 247 33554432000 134512640 135663704 4290079600 18446744073709551615 134524882 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/30299/statm: 254483 247 113 282 0 254199 0
[pid=30300] ppid=30288 vsize=299140 CPUtime=0 cores=0-7
/proc/30300/stat : 30300 (python) S 30288 30288 29564 0 -1 4202560 741 0 0 0 0 0 0 0 18 0 1 0 649595553 306319360 5598 33554432000 4194304 5683644 140735404601200 18446744073709551615 212039675462 0 0 16781312 514 7510126766644494593 0 0 17 7 0 0 0
/proc/30300/statm: 74785 5598 348 364 0 10697 0
[pid=30302] ppid=30300 vsize=416788 CPUtime=2.01 cores=0-7
/proc/30302/stat : 30302 (adaptg2wsat2009) R 30300 30302 30302 0 -1 4202496 629 0 0 0 201 0 0 0 25 0 1 0 649595554 426790912 362 33554432000 134512640 135107411 4291427888 18446744073709551615 134531239 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/30302/statm: 104197 362 59 146 0 103073 0
[pid=30303] ppid=30288 vsize=310004 CPUtime=0 cores=0-7
/proc/30303/stat : 30303 (python) S 30288 30288 29564 0 -1 4202560 755 0 0 0 0 0 0 0 18 0 1 0 649595556 317444096 5722 33554432000 4194304 5683644 140735404601200 18446744073709551615 212039675462 0 0 16781312 514 7510130614935224319 0 0 17 4 0 0 0
/proc/30303/statm: 77501 5722 348 364 0 13410 0
[pid=30305] ppid=30303 vsize=416788 CPUtime=1.98 cores=0-7
/proc/30305/stat : 30305 (adaptg2wsat2009) R 30303 30305 30305 0 -1 4202496 627 0 0 0 198 0 0 0 25 0 1 0 649595557 426790912 363 33554432000 134512640 135107411 4291111344 18446744073709551615 134532313 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/30305/statm: 104197 363 59 146 0 103073 0
[pid=30306] ppid=30288 vsize=320260 CPUtime=0 cores=0-7
/proc/30306/stat : 30306 (python) S 30288 30288 29564 0 -1 4202560 754 0 0 0 0 0 0 0 18 0 1 0 649595559 327946240 5726 33554432000 4194304 5683644 140735404601200 18446744073709551615 212039675462 0 0 16781312 514 7510134463225921535 0 0 17 1 0 0 0
/proc/30306/statm: 80065 5726 348 364 0 15971 0
[pid=30308] ppid=30306 vsize=416788 CPUtime=1.95 cores=0-7
/proc/30308/stat : 30308 (adaptg2wsat2009) R 30306 30308 30308 0 -1 4202496 631 0 0 0 195 0 0 0 25 0 1 0 649595560 426790912 363 33554432000 134512640 135107411 4290390208 18446744073709551615 134531942 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/30308/statm: 104197 363 59 146 0 103073 0
[pid=30309] ppid=30288 vsize=330084 CPUtime=0 cores=0-7
/proc/30309/stat : 30309 (python) S 30288 30288 29564 0 -1 4202560 760 0 0 0 0 0 0 0 18 0 1 0 649595563 338006016 5636 33554432000 4194304 5683644 140735404601200 18446744073709551615 212039675462 0 0 16781312 514 4306023439468036355 0 0 17 1 0 0 0
/proc/30309/statm: 82521 5636 348 364 0 18424 0
[pid=30311] ppid=30309 vsize=1017932 CPUtime=1.91 cores=0-7
/proc/30311/stat : 30311 (gnovelty+2) R 30309 30311 30311 0 -1 4202496 512 0 0 0 191 0 0 0 25 0 1 0 649595563 1042362368 248 33554432000 134512640 135663704 4290236608 18446744073709551615 134524972 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/30311/statm: 254483 248 113 282 0 254199 0
[pid=30312] ppid=30288 vsize=405876 CPUtime=0 cores=0-7
/proc/30312/stat : 30312 (python) S 30288 30288 29564 0 -1 4202560 732 0 0 0 0 0 0 0 18 0 1 0 649595566 415617024 5813 33554432000 4194304 5683644 140735404601200 18446744073709551615 212039675462 0 0 16781312 514 4430812511662505983 0 0 17 1 0 0 0
/proc/30312/statm: 101469 5813 348 364 0 37369 0
[pid=30314] ppid=30312 vsize=246936 CPUtime=1.87 cores=0-7
/proc/30314/stat : 30314 (FH) R 30312 30314 30314 0 -1 4202496 582 0 0 0 187 0 0 0 25 0 1 0 649595568 252862464 326 33554432000 134512640 134936988 4288134224 18446744073709551615 134554623 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/30314/statm: 61734 326 41 104 0 61238 0
[pid=30315] ppid=30288 vsize=416132 CPUtime=0 cores=0-7
/proc/30315/stat : 30315 (python) S 30288 30288 29564 0 -1 4202560 778 0 0 0 0 0 0 0 18 0 1 0 649595569 426119168 5795 33554432000 4194304 5683644 140735404601200 18446744073709551615 212039675462 0 0 16781312 514 6032167634634539007 0 0 17 6 0 0 0
/proc/30315/statm: 104033 5795 354 364 0 39930 0
[pid=30317] ppid=30315 vsize=416788 CPUtime=1.84 cores=0-7
/proc/30317/stat : 30317 (adaptg2wsat2009) R 30315 30317 30317 0 -1 4202496 629 0 0 0 184 0 0 0 25 0 1 0 649595569 426790912 364 33554432000 134512640 135107411 4294277072 18446744073709551615 134532318 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/30317/statm: 104197 364 59 146 0 103073 0
[pid=30288/tid=30295] ppid=30286 vsize=426376 CPUtime=0 cores=0-7
/proc/30288/task/30295/stat : 30295 (python) S 30286 30288 29564 0 -1 4202560 26 935 0 0 0 0 0 0 18 0 9 0 649595547 436609024 7336 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 2 18446604444416709056 0 0 -1 2 0 0 0
[pid=30288/tid=30298] ppid=30286 vsize=426376 CPUtime=0 cores=0-7
/proc/30288/task/30298/stat : 30298 (python) S 30286 30288 29564 0 -1 4202560 20 935 0 0 0 0 0 0 18 0 9 0 649595550 436609024 7336 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 2 18446604444416709056 0 0 -1 3 0 0 0
[pid=30288/tid=30301] ppid=30286 vsize=426376 CPUtime=0 cores=0-7
/proc/30288/task/30301/stat : 30301 (python) S 30286 30288 29564 0 -1 4202560 23 935 0 0 0 0 0 0 20 0 9 0 649595553 436609024 7336 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 2 18446604444416709056 0 0 -1 0 0 0 0
[pid=30288/tid=30304] ppid=30286 vsize=426376 CPUtime=0 cores=0-7
/proc/30288/task/30304/stat : 30304 (python) S 30286 30288 29564 0 -1 4202560 26 935 0 0 0 0 0 0 20 0 9 0 649595557 436609024 7336 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 2 18446604444416709056 0 0 -1 4 0 0 0
[pid=30288/tid=30307] ppid=30286 vsize=426376 CPUtime=0 cores=0-7
/proc/30288/task/30307/stat : 30307 (python) S 30286 30288 29564 0 -1 4202560 26 935 0 0 0 0 0 0 19 0 9 0 649595560 436609024 7336 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 2 18446604444416709056 0 0 -1 4 0 0 0
[pid=30288/tid=30310] ppid=30286 vsize=426376 CPUtime=0 cores=0-7
/proc/30288/task/30310/stat : 30310 (python) S 30286 30288 29564 0 -1 4202560 25 935 0 0 0 0 0 0 19 0 9 0 649595563 436609024 7336 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 2 18446604444416709056 0 0 -1 7 0 0 0
[pid=30288/tid=30313] ppid=30286 vsize=426376 CPUtime=0 cores=0-7
/proc/30288/task/30313/stat : 30313 (python) S 30286 30288 29564 0 -1 4202560 81 935 0 0 0 0 0 0 19 0 9 0 649595566 436609024 7336 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 2 18446604444416709056 0 0 -1 1 0 0 0
[pid=30288/tid=30316] ppid=30286 vsize=426376 CPUtime=0 cores=0-7
/proc/30288/task/30316/stat : 30316 (python) S 30286 30288 29564 0 -1 4202560 34 935 0 0 0 0 0 0 21 0 9 0 649595569 436609024 7336 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 2 18446604444416709056 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 16.62
Current children cumulated vsize (KiB) 8043816
[startup+6.30146 s]
/proc/loadavg: 0.64 0.14 0.07 9/481 30318
/proc/meminfo: memFree=20505896/32951124 swapFree=51873468/67111528
[pid=30288] ppid=30286 vsize=426376 CPUtime=0.95 cores=0-7
/proc/30288/stat : 30288 (python) S 30286 30288 29564 0 -1 4202496 16031 935 1 0 83 12 0 0 21 0 9 0 649595446 436609024 7336 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051482059 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/30288/statm: 106594 7336 1891 364 0 42491 0
[pid=30294] ppid=30288 vsize=278704 CPUtime=0.01 cores=0-7
/proc/30294/stat : 30294 (python) S 30288 30288 29564 0 -1 4202560 902 0 0 0 0 1 0 0 18 0 1 0 649595547 285392896 5638 33554432000 4194304 5683644 140735404601200 18446744073709551615 212039675407 0 0 16781312 514 4557198349618348292 0 0 17 1 0 0 0
/proc/30294/statm: 69676 5638 377 364 0 5594 0
[pid=30296] ppid=30294 vsize=1017932 CPUtime=5.27 cores=0-7
/proc/30296/stat : 30296 (gnovelty+2) R 30294 30296 30296 0 -1 4202496 513 0 0 0 527 0 0 0 25 0 1 0 649595548 1042362368 248 33554432000 134512640 135663704 4288841712 18446744073709551615 134525560 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/30296/statm: 254483 248 113 282 0 254199 0
[pid=30297] ppid=30288 vsize=289356 CPUtime=0.02 cores=0-7
/proc/30297/stat : 30297 (python) S 30288 30288 29564 0 -1 4202560 905 0 0 0 1 1 0 0 18 0 1 0 649595550 296300544 5720 33554432000 4194304 5683644 140735404601200 18446744073709551615 212039675462 0 0 16781312 514 17981403544216895748 0 0 17 1 0 0 0
/proc/30297/statm: 72339 5720 371 364 0 8254 0
[pid=30299] ppid=30297 vsize=1017932 CPUtime=5.25 cores=0-7
/proc/30299/stat : 30299 (gnovelty+2) R 30297 30299 30299 0 -1 4202496 507 0 0 0 525 0 0 0 25 0 1 0 649595551 1042362368 247 33554432000 134512640 135663704 4290079600 18446744073709551615 134525353 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/30299/statm: 254483 247 113 282 0 254199 0
[pid=30300] ppid=30288 vsize=299140 CPUtime=0.02 cores=0-7
/proc/30300/stat : 30300 (python) S 30288 30288 29564 0 -1 4202560 903 0 0 0 1 1 0 0 18 0 1 0 649595553 306319360 5621 33554432000 4194304 5683644 140735404601200 18446744073709551615 212039675462 0 0 16781312 514 7510126766644494593 0 0 17 7 0 0 0
/proc/30300/statm: 74785 5621 371 364 0 10697 0
[pid=30302] ppid=30300 vsize=416788 CPUtime=5.22 cores=0-7
/proc/30302/stat : 30302 (adaptg2wsat2009) R 30300 30302 30302 0 -1 4202496 629 0 0 0 522 0 0 0 25 0 1 0 649595554 426790912 362 33554432000 134512640 135107411 4291427888 18446744073709551615 134532229 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/30302/statm: 104197 362 59 146 0 103073 0
[pid=30303] ppid=30288 vsize=310004 CPUtime=0.01 cores=0-7
/proc/30303/stat : 30303 (python) S 30288 30288 29564 0 -1 4202560 938 0 0 0 1 0 0 0 18 0 1 0 649595556 317444096 5745 33554432000 4194304 5683644 140735404601200 18446744073709551615 212039675462 0 0 16781312 514 7510130614935191810 0 0 17 4 0 0 0
/proc/30303/statm: 77501 5745 371 364 0 13410 0
[pid=30305] ppid=30303 vsize=416788 CPUtime=5.18 cores=0-7
/proc/30305/stat : 30305 (adaptg2wsat2009) R 30303 30305 30305 0 -1 4202496 627 0 0 0 518 0 0 0 25 0 1 0 649595557 426790912 363 33554432000 134512640 135107411 4291111344 18446744073709551615 134531661 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/30305/statm: 104197 363 59 146 0 103073 0
[pid=30306] ppid=30288 vsize=320260 CPUtime=0.01 cores=0-7
/proc/30306/stat : 30306 (python) S 30288 30288 29564 0 -1 4202560 933 0 0 0 1 0 0 0 18 0 1 0 649595559 327946240 5749 33554432000 4194304 5683644 140735404601200 18446744073709551615 212039675462 0 0 16781312 514 7510134463225889028 0 0 17 1 0 0 0
/proc/30306/statm: 80065 5749 371 364 0 15971 0
[pid=30308] ppid=30306 vsize=416788 CPUtime=5.13 cores=0-7
/proc/30308/stat : 30308 (adaptg2wsat2009) R 30306 30308 30308 0 -1 4202496 631 0 0 0 513 0 0 0 25 0 1 0 649595560 426790912 363 33554432000 134512640 135107411 4290390208 18446744073709551615 134531779 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/30308/statm: 104197 363 59 146 0 103073 0
[pid=30309] ppid=30288 vsize=330084 CPUtime=0.01 cores=0-7
/proc/30309/stat : 30309 (python) S 30288 30288 29564 0 -1 4202560 936 0 0 0 0 1 0 0 18 0 1 0 649595563 338006016 5659 33554432000 4194304 5683644 140735404601200 18446744073709551615 212039675462 0 0 16781312 514 4306023439468036355 0 0 17 1 0 0 0
/proc/30309/statm: 82521 5659 371 364 0 18424 0
[pid=30311] ppid=30309 vsize=1017932 CPUtime=5.04 cores=0-7
/proc/30311/stat : 30311 (gnovelty+2) R 30309 30311 30311 0 -1 4202496 512 0 0 0 504 0 0 0 25 0 1 0 649595563 1042362368 248 33554432000 134512640 135663704 4290236608 18446744073709551615 134525213 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/30311/statm: 254483 248 113 282 0 254199 0
[pid=30312] ppid=30288 vsize=405876 CPUtime=0.01 cores=0-7
/proc/30312/stat : 30312 (python) S 30288 30288 29564 0 -1 4202560 809 0 0 0 1 0 0 0 18 0 1 0 649595566 415617024 5836 33554432000 4194304 5683644 140735404601200 18446744073709551615 212039675462 0 0 16781312 514 4430812511662473474 0 0 17 1 0 0 0
/proc/30312/statm: 101469 5836 371 364 0 37369 0
[pid=30314] ppid=30312 vsize=246936 CPUtime=4.97 cores=0-7
/proc/30314/stat : 30314 (FH) R 30312 30314 30314 0 -1 4202496 582 0 0 0 497 0 0 0 25 0 1 0 649595568 252862464 326 33554432000 134512640 134936988 4288134224 18446744073709551615 134545246 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/30314/statm: 61734 326 41 104 0 61238 0
[pid=30315] ppid=30288 vsize=416132 CPUtime=0.01 cores=0-7
/proc/30315/stat : 30315 (python) S 30288 30288 29564 0 -1 4202560 863 0 0 0 0 1 0 0 18 0 1 0 649595569 426119168 5818 33554432000 4194304 5683644 140735404601200 18446744073709551615 212039675462 0 0 16781312 514 6032167634634506497 0 0 17 6 0 0 0
/proc/30315/statm: 104033 5818 377 364 0 39930 0
[pid=30317] ppid=30315 vsize=416788 CPUtime=5.02 cores=0-7
/proc/30317/stat : 30317 (adaptg2wsat2009) R 30315 30317 30317 0 -1 4202496 629 0 0 0 502 0 0 0 25 0 1 0 649595569 426790912 364 33554432000 134512640 135107411 4294277072 18446744073709551615 134532264 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/30317/statm: 104197 364 59 146 0 103073 0
################
# More data... #
################
/proc/30288/task/30351/stat : 30351 (python) S 30286 30288 29564 0 -1 4202560 32 935 0 0 0 0 0 0 21 0 18 0 649615146 531128320 7501 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 2 18446604444416709056 0 0 -1 4 0 0 0
[pid=30288/tid=30354] ppid=30286 vsize=518680 CPUtime=0 cores=0-7
/proc/30288/task/30354/stat : 30354 (python) S 30286 30288 29564 0 -1 4202560 34 935 0 0 0 0 0 0 23 0 18 0 649615151 531128320 7501 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 2 18446604444416709056 0 0 -1 4 0 0 0
[pid=30288/tid=30360] ppid=30286 vsize=518680 CPUtime=0 cores=0-7
/proc/30288/task/30360/stat : 30360 (python) S 30286 30288 29564 0 -1 4202560 34 935 0 0 0 0 0 0 20 0 18 0 649625080 531128320 7501 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 2 18446604444416709056 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3749.35
Current children cumulated vsize (KiB) 12691344
[startup+471.302 s]
/proc/loadavg: 8.33 6.54 3.27 9/517 30366
/proc/meminfo: memFree=20450328/32951124 swapFree=51873468/67111528
[pid=30288] ppid=30286 vsize=518680 CPUtime=1.47 cores=0-7
/proc/30288/stat : 30288 (python) S 30286 30288 29564 0 -1 4202496 24632 935 1 0 133 14 0 0 19 0 18 0 649595446 531128320 7501 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051482059 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30288/statm: 129670 7501 1910 364 0 65540 0
[pid=30294] ppid=30288 vsize=288948 CPUtime=0.33 cores=0-7
/proc/30294/stat : 30294 (python) S 30288 30288 29564 0 -1 4202560 1096 0 0 0 17 16 0 0 19 0 2 0 649595547 295882752 5676 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051482059 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/30294/statm: 72237 5676 410 364 0 8155 0
[pid=30296] ppid=30294 vsize=1017932 CPUtime=100.31 cores=0-7
/proc/30296/stat : 30296 (gnovelty+2) T 30294 30296 30296 0 -1 4202496 513 0 0 0 10031 0 0 0 25 0 1 0 649595548 1042362368 248 33554432000 134512640 135663704 4288841712 18446744073709551615 134524498 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/30296/statm: 254483 248 113 282 0 254199 0
[pid=30294/tid=30321] ppid=30288 vsize=288948 CPUtime=0 cores=0-7
/proc/30294/task/30321/stat : 30321 (python) S 30288 30288 29564 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 649605581 295882752 5676 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 514 18446604453973748672 0 0 -1 2 0 0 0
[pid=30297] ppid=30288 vsize=289356 CPUtime=0.33 cores=0-7
/proc/30297/stat : 30297 (python) S 30288 30288 29564 0 -1 4202560 1089 0 0 0 19 14 0 0 19 0 2 0 649595550 296300544 5750 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051482059 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/30297/statm: 72339 5750 400 364 0 8254 0
[pid=30299] ppid=30297 vsize=1017932 CPUtime=100.33 cores=0-7
/proc/30299/stat : 30299 (gnovelty+2) T 30297 30299 30299 0 -1 4202496 507 0 0 0 10033 0 0 0 25 0 1 0 649595551 1042362368 247 33554432000 134512640 135663704 4290079600 18446744073709551615 134525276 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/30299/statm: 254483 247 113 282 0 254199 0
[pid=30297/tid=30322] ppid=30288 vsize=289356 CPUtime=0 cores=0-7
/proc/30297/task/30322/stat : 30322 (python) S 30288 30288 29564 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 649605584 296300544 5750 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 514 18446604448509380416 0 0 -1 1 0 0 0
[pid=30300] ppid=30288 vsize=299140 CPUtime=0.68 cores=0-7
/proc/30300/stat : 30300 (python) S 30288 30288 29564 0 -1 4202560 1142 0 0 0 35 33 0 0 18 0 2 0 649595553 306319360 5651 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051482059 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/30300/statm: 74785 5651 400 364 0 10697 0
[pid=30302] ppid=30300 vsize=416788 CPUtime=194.58 cores=0-7
/proc/30302/stat : 30302 (adaptg2wsat2009) T 30300 30302 30302 0 -1 4202496 629 0 0 0 19458 0 0 0 25 0 1 0 649595554 426790912 362 33554432000 134512640 135107411 4291427888 18446744073709551615 134531411 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/30302/statm: 104197 362 59 146 0 103073 0
[pid=30300/tid=30325] ppid=30288 vsize=299140 CPUtime=0 cores=0-7
/proc/30300/task/30325/stat : 30325 (python) S 30288 30288 29564 0 -1 4202560 49 0 0 0 0 0 0 0 18 0 2 0 649605587 306319360 5651 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 514 18446604450366313600 0 0 -1 7 0 0 0
[pid=30303] ppid=30288 vsize=310004 CPUtime=0.68 cores=0-7
/proc/30303/stat : 30303 (python) S 30288 30288 29564 0 -1 4202560 1153 0 0 0 37 31 0 0 18 0 2 0 649595556 317444096 5775 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051482059 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/30303/statm: 77501 5775 400 364 0 13410 0
[pid=30305] ppid=30303 vsize=416788 CPUtime=195.59 cores=0-7
/proc/30305/stat : 30305 (adaptg2wsat2009) T 30303 30305 30305 0 -1 4202496 627 0 0 0 19559 0 0 0 25 0 1 0 649595557 426790912 363 33554432000 134512640 135107411 4291111344 18446744073709551615 134531942 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/30305/statm: 104197 363 59 146 0 103073 0
[pid=30303/tid=30330] ppid=30288 vsize=310004 CPUtime=0 cores=0-7
/proc/30303/task/30330/stat : 30330 (python) S 30288 30288 29564 0 -1 4202560 48 0 0 0 0 0 0 0 18 0 2 0 649605590 317444096 5775 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 514 18446604450366314496 0 0 -1 7 0 0 0
[pid=30306] ppid=30288 vsize=320260 CPUtime=0.67 cores=0-7
/proc/30306/stat : 30306 (python) S 30288 30288 29564 0 -1 4202560 1158 0 0 0 36 31 0 0 18 0 2 0 649595559 327946240 5779 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051482059 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/30306/statm: 80065 5779 400 364 0 15971 0
[pid=30308] ppid=30306 vsize=416788 CPUtime=194.73 cores=0-7
/proc/30308/stat : 30308 (adaptg2wsat2009) T 30306 30308 30308 0 -1 4202496 631 0 0 0 19473 0 0 0 25 0 1 0 649595560 426790912 363 33554432000 134512640 135107411 4290390208 18446744073709551615 134532121 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/30308/statm: 104197 363 59 146 0 103073 0
[pid=30306/tid=30333] ppid=30288 vsize=320260 CPUtime=0 cores=0-7
/proc/30306/task/30333/stat : 30333 (python) S 30288 30288 29564 0 -1 4202560 50 0 0 0 0 0 0 0 18 0 2 0 649605593 327946240 5779 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 514 18446604450366315392 0 0 -1 1 0 0 0
[pid=30309] ppid=30288 vsize=395620 CPUtime=0.33 cores=0-7
/proc/30309/stat : 30309 (python) S 30288 30288 29564 0 -1 4202560 1119 0 0 0 17 16 0 0 18 0 2 0 649595563 405114880 5690 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051482059 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/30309/statm: 98905 5690 400 364 0 34808 0
[pid=30311] ppid=30309 vsize=1017932 CPUtime=98.52 cores=0-7
/proc/30311/stat : 30311 (gnovelty+2) T 30309 30311 30311 0 -1 4202496 512 0 0 0 9852 0 0 0 25 0 1 0 649595563 1042362368 248 33554432000 134512640 135663704 4290236608 18446744073709551615 134524897 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/30311/statm: 254483 248 113 282 0 254199 0
[pid=30309/tid=30336] ppid=30288 vsize=395620 CPUtime=0 cores=0-7
/proc/30309/task/30336/stat : 30336 (python) S 30288 30288 29564 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 649605596 405114880 5690 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 514 18446604453915267456 0 0 -1 6 0 0 0
[pid=30312] ppid=30288 vsize=405876 CPUtime=0.33 cores=0-7
/proc/30312/stat : 30312 (python) S 30288 30288 29564 0 -1 4202560 1031 0 0 0 18 15 0 0 18 0 2 0 649595566 415617024 5866 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051482059 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/30312/statm: 101469 5866 400 364 0 37369 0
[pid=30314] ppid=30312 vsize=246936 CPUtime=98.68 cores=0-7
/proc/30314/stat : 30314 (FH) T 30312 30314 30314 0 -1 4202496 582 0 0 0 9868 0 0 0 25 0 1 0 649595568 252862464 326 33554432000 134512640 134936988 4288134224 18446744073709551615 134553304 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/30314/statm: 61734 326 41 104 0 61238 0
[pid=30312/tid=30339] ppid=30288 vsize=405876 CPUtime=0 cores=0-7
/proc/30312/task/30339/stat : 30339 (python) S 30288 30288 29564 0 -1 4202560 113 0 0 0 0 0 0 0 19 0 2 0 649605600 415617024 5866 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 514 18446604453944322176 0 0 -1 4 0 0 0
[pid=30315] ppid=30288 vsize=416132 CPUtime=0.67 cores=0-7
/proc/30315/stat : 30315 (python) S 30288 30288 29564 0 -1 4202560 1055 0 0 0 34 33 0 0 18 0 2 0 649595569 426119168 5848 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051482059 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/30315/statm: 104033 5848 406 364 0 39930 0
[pid=30317] ppid=30315 vsize=416788 CPUtime=194.84 cores=0-7
/proc/30317/stat : 30317 (adaptg2wsat2009) T 30315 30317 30317 0 -1 4202496 629 0 0 0 19484 0 0 0 25 0 1 0 649595569 426790912 364 33554432000 134512640 135107411 4294277072 18446744073709551615 134531674 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/30317/statm: 104197 364 59 146 0 103073 0
[pid=30315/tid=30340] ppid=30288 vsize=416132 CPUtime=0 cores=0-7
/proc/30315/task/30340/stat : 30340 (python) S 30288 30288 29564 0 -1 4202560 82 0 0 0 0 0 0 0 18 0 2 0 649605602 426119168 5848 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 514 18446604450022199424 0 0 -1 6 0 0 0
[pid=30323] ppid=30288 vsize=426388 CPUtime=1.45 cores=0-7
/proc/30323/stat : 30323 (python) S 30288 30288 29564 0 -1 4202560 854 0 0 0 77 68 0 0 15 0 1 0 649605584 436621312 5834 33554432000 4194304 5683644 140735404601200 18446744073709551615 212039675462 0 0 16781312 514 8775351839156568322 0 0 17 5 0 0 0
/proc/30323/statm: 106597 5834 371 364 0 42491 0
[pid=30326] ppid=30323 vsize=3424 CPUtime=366.13 cores=0-7
/proc/30326/stat : 30326 (march_hi) R 30323 30326 30326 0 -1 4202496 1499 0 0 0 36613 0 0 0 25 0 1 0 649605587 3506176 607 33554432000 4194304 4955518 140735412147200 18446744073709551615 4208667 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/30326/statm: 856 607 106 186 0 669 0
[pid=30327] ppid=30288 vsize=436644 CPUtime=1.46 cores=0-7
/proc/30327/stat : 30327 (python) S 30288 30288 29564 0 -1 4202560 866 0 0 0 77 69 0 0 15 0 1 0 649605588 447123456 5867 33554432000 4194304 5683644 140735404601200 18446744073709551615 212039675462 0 0 16781312 514 3857267114440098051 0 0 17 7 0 0 0
/proc/30327/statm: 109161 5867 371 364 0 45052 0
[pid=30329] ppid=30327 vsize=3424 CPUtime=362.47 cores=0-7
/proc/30329/stat : 30329 (march_hi) R 30327 30329 30329 0 -1 4202496 1493 0 0 0 36245 2 0 0 25 0 1 0 649605588 3506176 602 33554432000 4194304 4955518 140735060837712 18446744073709551615 4297477 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/30329/statm: 856 602 106 186 0 669 0
[pid=30331] ppid=30288 vsize=446900 CPUtime=1.46 cores=0-7
/proc/30331/stat : 30331 (python) S 30288 30288 29564 0 -1 4202560 873 0 0 0 76 70 0 0 15 0 1 0 649605592 457625600 5891 33554432000 4194304 5683644 140735404601200 18446744073709551615 212039675462 0 0 16781312 514 5607390176444645635 0 0 17 3 0 0 0
/proc/30331/statm: 111725 5891 371 364 0 47613 0
[pid=30334] ppid=30331 vsize=3424 CPUtime=368.12 cores=0-7
/proc/30334/stat : 30334 (march_hi) R 30331 30334 30334 0 -1 4202496 1503 0 0 0 36812 0 0 0 25 0 1 0 649605593 3506176 608 33554432000 4194304 4955518 140736851038128 18446744073709551615 4297477 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/30334/statm: 856 608 106 186 0 669 0
[pid=30335] ppid=30288 vsize=457156 CPUtime=1.44 cores=0-7
/proc/30335/stat : 30335 (python) S 30288 30288 29564 0 -1 4202560 876 0 0 0 77 67 0 0 15 0 1 0 649605596 468127744 5872 33554432000 4194304 5683644 140735404601200 18446744073709551615 212039675462 0 0 16781312 514 5607390176444645633 0 0 17 1 0 0 0
/proc/30335/statm: 114289 5872 372 364 0 50174 0
[pid=30338] ppid=30335 vsize=3424 CPUtime=368.52 cores=0-7
/proc/30338/stat : 30338 (march_hi) R 30335 30338 30338 0 -1 4202496 1505 0 0 0 36852 0 0 0 25 0 1 0 649605596 3506176 609 33554432000 4194304 4955518 140737342358032 18446744073709551615 4346335 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/30338/statm: 856 609 106 186 0 669 0
[pid=30344] ppid=30288 vsize=467412 CPUtime=0.35 cores=0-7
/proc/30344/stat : 30344 (python) S 30288 30288 29564 0 -1 4202560 1065 0 0 0 18 17 0 0 19 0 2 0 649615037 478629888 5947 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051482059 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/30344/statm: 116853 5947 400 364 0 52735 0
[pid=30346] ppid=30344 vsize=246932 CPUtime=100.34 cores=0-7
/proc/30346/stat : 30346 (FH) T 30344 30346 30346 0 -1 4202496 591 0 0 0 10034 0 0 0 25 0 1 0 649615038 252858368 326 33554432000 134512640 134936988 4294042000 18446744073709551615 134553445 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/30346/statm: 61733 326 41 104 0 61237 0
[pid=30344/tid=30358] ppid=30288 vsize=467412 CPUtime=0 cores=0-7
/proc/30344/task/30358/stat : 30358 (python) S 30288 30288 29564 0 -1 4202560 84 0 0 0 0 0 0 0 19 0 2 0 649625075 478629888 5947 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 514 18446604443889653568 0 0 -1 2 0 0 0
[pid=30347] ppid=30288 vsize=477668 CPUtime=1.2 cores=0-7
/proc/30347/stat : 30347 (python) S 30288 30288 29564 0 -1 4202560 21839 0 0 0 63 57 0 0 15 0 1 0 649615141 489132032 5951 33554432000 4194304 5683644 140735404601200 18446744073709551615 212039675462 0 0 16781312 514 7908747560469102850 0 0 17 6 0 0 0
/proc/30347/statm: 119417 5951 372 364 0 55296 0
[pid=30349] ppid=30347 vsize=3084 CPUtime=273.11 cores=0-7
/proc/30349/stat : 30349 (march_hi) R 30347 30349 30349 0 -1 4202496 1447 0 0 0 27311 0 0 0 25 0 1 0 649615141 3158016 548 33554432000 4194304 4955518 140737061229680 18446744073709551615 4297458 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/30349/statm: 771 548 106 186 0 584 0
[pid=30350] ppid=30288 vsize=487924 CPUtime=1.07 cores=0-7
/proc/30350/stat : 30350 (python) S 30288 30288 29564 0 -1 4202560 983 0 0 0 53 54 0 0 15 0 1 0 649615146 499634176 5948 33554432000 4194304 5683644 140735404601200 18446744073709551615 212039675462 0 0 16781312 514 3857271512486609153 0 0 17 0 0 0 0
/proc/30350/statm: 121981 5948 380 364 0 57857 0
[pid=30352] ppid=30350 vsize=3084 CPUtime=272.27 cores=0-7
/proc/30352/stat : 30352 (march_hi) R 30350 30352 30352 0 -1 4202496 1447 0 0 0 27222 5 0 0 25 0 1 0 649615148 3158016 546 33554432000 4194304 4955518 140734560197680 18446744073709551615 4237818 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/30352/statm: 771 546 106 186 0 584 0
[pid=30353] ppid=30288 vsize=498180 CPUtime=1.07 cores=0-7
/proc/30353/stat : 30353 (python) S 30288 30288 29564 0 -1 4202560 979 0 0 0 58 49 0 0 15 0 1 0 649615151 510136320 5979 33554432000 4194304 5683644 140735404601200 18446744073709551615 212039675462 0 0 16781312 514 11609206720307364097 0 0 17 4 0 0 0
/proc/30353/statm: 124545 5979 379 364 0 60418 0
[pid=30355] ppid=30353 vsize=3084 CPUtime=273.15 cores=0-7
/proc/30355/stat : 30355 (march_hi) R 30353 30355 30355 0 -1 4202496 1449 0 0 0 27315 0 0 0 25 0 1 0 649615151 3158016 547 33554432000 4194304 4955518 140734430298032 18446744073709551615 4208667 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/30355/statm: 771 547 106 186 0 584 0
[pid=30359] ppid=30288 vsize=508436 CPUtime=0.68 cores=0-7
/proc/30359/stat : 30359 (python) S 30288 30288 29564 0 -1 4202560 950 0 0 0 32 36 0 0 15 0 1 0 649625080 520638464 5960 33554432000 4194304 5683644 140735404601200 18446744073709551615 212039675462 0 0 16781312 514 18446744073709519106 0 0 17 4 0 0 0
/proc/30359/statm: 127109 5960 373 364 0 62979 0
[pid=30361] ppid=30359 vsize=2856 CPUtime=173.58 cores=0-7
/proc/30361/stat : 30361 (march_hi) R 30359 30361 30361 0 -1 4202496 1403 0 0 0 17358 0 0 0 25 0 1 0 649625080 2924544 499 33554432000 4194304 4955518 140733556246144 18446744073709551615 4224468 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/30361/statm: 714 499 106 186 0 527 0
[pid=30288/tid=30295] ppid=30286 vsize=518680 CPUtime=0 cores=0-7
/proc/30288/task/30295/stat : 30295 (python) S 30286 30288 29564 0 -1 4202560 26 935 0 0 0 0 0 0 18 0 18 0 649595547 531128320 7501 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 2 18446604444416709056 0 0 -1 2 0 0 0
[pid=30288/tid=30298] ppid=30286 vsize=518680 CPUtime=0 cores=0-7
/proc/30288/task/30298/stat : 30298 (python) S 30286 30288 29564 0 -1 4202560 20 935 0 0 0 0 0 0 18 0 18 0 649595550 531128320 7501 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 2 18446604444416709056 0 0 -1 3 0 0 0
[pid=30288/tid=30301] ppid=30286 vsize=518680 CPUtime=0 cores=0-7
/proc/30288/task/30301/stat : 30301 (python) S 30286 30288 29564 0 -1 4202560 27 935 0 0 0 0 0 0 18 0 18 0 649595553 531128320 7501 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 2 18446604444416709056 0 0 -1 0 0 0 0
[pid=30288/tid=30304] ppid=30286 vsize=518680 CPUtime=0 cores=0-7
/proc/30288/task/30304/stat : 30304 (python) S 30286 30288 29564 0 -1 4202560 34 935 0 0 0 0 0 0 18 0 18 0 649595557 531128320 7501 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 2 18446604444416709056 0 0 -1 4 0 0 0
[pid=30288/tid=30307] ppid=30286 vsize=518680 CPUtime=0 cores=0-7
/proc/30288/task/30307/stat : 30307 (python) S 30286 30288 29564 0 -1 4202560 33 935 0 0 0 0 0 0 18 0 18 0 649595560 531128320 7501 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 2 18446604444416709056 0 0 -1 4 0 0 0
[pid=30288/tid=30310] ppid=30286 vsize=518680 CPUtime=0 cores=0-7
/proc/30288/task/30310/stat : 30310 (python) S 30286 30288 29564 0 -1 4202560 25 935 0 0 0 0 0 0 19 0 18 0 649595563 531128320 7501 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 2 18446604444416709056 0 0 -1 7 0 0 0
[pid=30288/tid=30313] ppid=30286 vsize=518680 CPUtime=0 cores=0-7
/proc/30288/task/30313/stat : 30313 (python) S 30286 30288 29564 0 -1 4202560 81 935 0 0 0 0 0 0 19 0 18 0 649595566 531128320 7501 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 2 18446604444416709056 0 0 -1 1 0 0 0
[pid=30288/tid=30316] ppid=30286 vsize=518680 CPUtime=0 cores=0-7
/proc/30288/task/30316/stat : 30316 (python) S 30286 30288 29564 0 -1 4202560 41 935 0 0 0 0 0 0 18 0 18 0 649595569 531128320 7501 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 2 18446604444416709056 0 0 -1 6 0 0 0
[pid=30288/tid=30324] ppid=30286 vsize=518680 CPUtime=0 cores=0-7
/proc/30288/task/30324/stat : 30324 (python) S 30286 30288 29564 0 -1 4202560 42 935 0 0 0 0 0 0 20 0 18 0 649605585 531128320 7501 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 2 18446604444416709056 0 0 -1 1 0 0 0
[pid=30288/tid=30328] ppid=30286 vsize=518680 CPUtime=0 cores=0-7
/proc/30288/task/30328/stat : 30328 (python) S 30286 30288 29564 0 -1 4202560 34 935 0 0 0 0 0 0 21 0 18 0 649605588 531128320 7501 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 2 18446604444416709056 0 0 -1 7 0 0 0
[pid=30288/tid=30332] ppid=30286 vsize=518680 CPUtime=0 cores=0-7
/proc/30288/task/30332/stat : 30332 (python) S 30286 30288 29564 0 -1 4202560 34 935 0 0 0 0 0 0 20 0 18 0 649605592 531128320 7501 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 2 18446604444416709056 0 0 -1 4 0 0 0
[pid=30288/tid=30337] ppid=30286 vsize=518680 CPUtime=0 cores=0-7
/proc/30288/task/30337/stat : 30337 (python) S 30286 30288 29564 0 -1 4202560 32 935 0 0 0 0 0 0 22 0 18 0 649605596 531128320 7501 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 2 18446604444416709056 0 0 -1 4 0 0 0
[pid=30288/tid=30345] ppid=30286 vsize=518680 CPUtime=0 cores=0-7
/proc/30288/task/30345/stat : 30345 (python) S 30286 30288 29564 0 -1 4202560 44 935 0 0 0 0 0 0 20 0 18 0 649615038 531128320 7501 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 2 18446604444416709056 0 0 -1 1 0 0 0
[pid=30288/tid=30348] ppid=30286 vsize=518680 CPUtime=0 cores=0-7
/proc/30288/task/30348/stat : 30348 (python) S 30286 30288 29564 0 -1 4202560 33 935 0 0 0 0 0 0 20 0 18 0 649615141 531128320 7501 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 2 18446604444416709056 0 0 -1 7 0 0 0
[pid=30288/tid=30351] ppid=30286 vsize=518680 CPUtime=0 cores=0-7
/proc/30288/task/30351/stat : 30351 (python) S 30286 30288 29564 0 -1 4202560 32 935 0 0 0 0 0 0 21 0 18 0 649615146 531128320 7501 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 2 18446604444416709056 0 0 -1 4 0 0 0
[pid=30288/tid=30354] ppid=30286 vsize=518680 CPUtime=0 cores=0-7
/proc/30288/task/30354/stat : 30354 (python) S 30286 30288 29564 0 -1 4202560 34 935 0 0 0 0 0 0 23 0 18 0 649615151 531128320 7501 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 2 18446604444416709056 0 0 -1 4 0 0 0
[pid=30288/tid=30360] ppid=30286 vsize=518680 CPUtime=0 cores=0-7
/proc/30288/task/30360/stat : 30360 (python) S 30286 30288 29564 0 -1 4202560 34 935 0 0 0 0 0 0 20 0 18 0 649625080 531128320 7501 33554432000 4194304 5683644 140735404601200 18446744073709551615 212051478961 0 0 16781312 2 18446604444416709056 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3750.94
Current children cumulated vsize (KiB) 12691344
Child status: 0
Real time (s): 471.399
CPU time (s): 3751.85
CPU user time (s): 3744.68
CPU system time (s): 7.16791
CPU usage (%): 795.897
Max. virtual memory (cumulated for all children) (KiB): 12691348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3744.68
system time used= 7.16791
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86046
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= 10676
involuntary context switches= 25317
runsolver used 3.43448 second user time and 7.19191 second system time
The end
Begin job on node146 at 2011-05-16 20:49:52
IDJOB=3385653
IDBENCH=82918
IDSOLVER=1870
FILE ID=node146/3385653-1305571792
RUNJOBID= node146-1305564961-29578
PBS_JOBID= 13350104
Free space on /tmp= 73216 MiB
SOLVER NAME= borg-sat 11.03.02-par-random (fixed)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v60-c5340-S1445862528-059.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-3385653-1305571792/watcher-3385653-1305571792 -o /tmp/evaluation-result-3385653-1305571792/solver-3385653-1305571792 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3385653-1305571792.cnf -seed 1468926289 -budget 40000 -cores 8
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 9e4f1914facdb4a8b3ffdd1de343beff
RANDOM SEED=1468926289
node146.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.830
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.830
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.830
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.75
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.830
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.86
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.830
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.75
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.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
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: 20570484 kB
Buffers: 214040 kB
Cached: 1438280 kB
SwapCached: 56140 kB
Active: 9267640 kB
Inactive: 2839936 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 20570484 kB
SwapTotal: 67111528 kB
SwapFree: 51873468 kB
Dirty: 31856 kB
Writeback: 0 kB
AnonPages: 10406084 kB
Mapped: 24044 kB
Slab: 114912 kB
PageTables: 86540 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 128498752 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= 73184 MiB
End job on node146 at 2011-05-16 20:57:43