0.29/0.68 c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.29/0.68 c INFO: solving HOME/instance-3322140-1304375123.cnf
0.29/0.68 c INFO: computing task features
0.35/0.72 c INFO: computed variable-clause graph statistics
0.35/0.72 c INFO: computed clause balance statistics
0.55/0.91 c INFO: computed variable balance statistics
0.55/0.99 c INFO: computed small-clause counts
0.55/0.99 c INFO: computed Horn-clause counts
0.55/0.99 c INFO: computed variable graph statistics
0.55/0.99 c INFO: collected features for HOME/instance-3322140-1304375123.cnf in 0.31 s
0.66/1.03 c INFO: running gnovelty+2@0 for 97 with 39999 remaining (b = 0.55)
0.66/1.07 c INFO: running gnovelty+2@0 for 97 with 39999 remaining (b = 0.10)
0.66/1.11 c INFO: running adaptg2wsat2009++@0 for 97 with 39999 remaining (b = 0.05)
0.76/1.14 c INFO: running adaptg2wsat2009++@0 for 97 with 39999 remaining (b = 0.03)
0.76/1.18 c INFO: running adaptg2wsat2009++@0 for 97 with 39999 remaining (b = 0.03)
0.85/1.22 c INFO: running gnovelty+2@0 for 97 with 39999 remaining (b = 0.02)
0.85/1.26 c INFO: running FH@0 for 97 with 39999 remaining (b = 0.02)
0.94/1.30 c INFO: running adaptg2wsat2009++@0 for 97 with 39999 remaining (b = 0.01)
694.69/100.41 c INFO: running march_hi@0 for 2134 with 39900 remaining (b = 0.31)
694.69/100.46 c INFO: running march_hi@0 for 2134 with 39900 remaining (b = 0.30)
700.96/101.30 c INFO: running march_hi@0 for 388 with 39899 remaining (b = 0.11)
700.96/101.35 c INFO: running march_hi@0 for 388 with 39899 remaining (b = 0.09)
701.56/101.41 c INFO: running adaptg2wsat2009++@0 for 97 with 39899 remaining (b = 0.01)
702.05/101.57 c INFO: running march_hi@0 for 2134 with 39899 remaining (b = 0.26)
1036.04/149.38 c INFO: running march_hi@0 for 485 with 39851 remaining (b = 0.09)
1038.15/149.68 c INFO: running march_hi@0 for 388 with 39851 remaining (b = 0.07)
1570.06/225.83 c INFO: running march_hi@0 for 388 with 39774 remaining (b = 0.06)
3433.88/492.78 s UNSATISFIABLE
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-3322140-1304375123/watcher-3322140-1304375123 -o /tmp/evaluation-result-3322140-1304375123/solver-3322140-1304375123 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3322140-1304375123.cnf -seed 1150475817 -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: 8.83 9.41 9.53 2/268 17882
/proc/meminfo: memFree=6469932/32951124 swapFree=67051472/67111528
[pid=17882] ppid=17880 vsize=15780 CPUtime=0 cores=0-7
/proc/17882/stat : 17882 (python) R 17880 17882 17290 0 -1 4202496 839 0 0 0 0 0 0 0 21 0 1 0 549115098 16158720 723 33554432000 4194304 5683644 140733587114224 18446744073709551615 218370983018 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17882/statm: 3938 723 334 364 0 425 0
[startup+0.0812099 s]
/proc/loadavg: 8.83 9.41 9.53 2/268 17882
/proc/meminfo: memFree=6469932/32951124 swapFree=67051472/67111528
[pid=17882] ppid=17880 vsize=50012 CPUtime=0.03 cores=0-7
/proc/17882/stat : 17882 (python) R 17880 17882 17290 0 -1 4202496 1949 0 0 0 3 0 0 0 17 0 1 0 549115098 51212288 1713 33554432000 4194304 5683644 140733587114224 18446744073709551615 218370955264 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/17882/statm: 12504 1717 476 364 0 1204 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 50012
[startup+0.100189 s]
/proc/loadavg: 8.83 9.41 9.53 2/268 17882
/proc/meminfo: memFree=6469932/32951124 swapFree=67051472/67111528
[pid=17882] ppid=17880 vsize=85620 CPUtime=0.05 cores=0-7
/proc/17882/stat : 17882 (python) R 17880 17882 17290 0 -1 4202496 2631 0 0 0 5 0 0 0 17 0 1 0 549115098 87674880 2348 33554432000 4194304 5683644 140733587114224 18446744073709551615 218371000455 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17882/statm: 21405 2348 713 364 0 1622 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85620
[startup+0.300161 s]
/proc/loadavg: 8.83 9.41 9.53 2/268 17882
/proc/meminfo: memFree=6469932/32951124 swapFree=67051472/67111528
[pid=17882] ppid=17880 vsize=135748 CPUtime=0.15 cores=0-7
/proc/17882/stat : 17882 (python) R 17880 17882 17290 0 -1 4202496 5963 938 1 0 13 2 0 0 17 0 1 0 549115098 139005952 4151 33554432000 4194304 5683644 140733587114224 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17882/statm: 33937 4151 1032 364 0 3123 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 135748
[startup+0.701122 s]
/proc/loadavg: 8.83 9.41 9.53 2/268 17882
/proc/meminfo: memFree=6469932/32951124 swapFree=67051472/67111528
[pid=17882] ppid=17880 vsize=278632 CPUtime=0.35 cores=0-7
/proc/17882/stat : 17882 (python) R 17880 17882 17290 0 -1 4202496 9318 938 1 0 29 6 0 0 15 0 1 0 549115098 285319168 6999 33554432000 4194304 5683644 140733587114224 18446744073709551615 4602354 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17882/statm: 69658 6999 1761 364 0 5582 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 278632
[startup+1.5009 s]
/proc/loadavg: 8.83 9.41 9.53 2/269 17887
/proc/meminfo: memFree=6446860/32951124 swapFree=67051472/67111528
[pid=17882] ppid=17880 vsize=361268 CPUtime=0.95 cores=0-7
/proc/17882/stat : 17882 (python) S 17880 17882 17290 0 -1 4202496 16252 938 1 0 87 8 0 0 25 0 9 0 549115098 369938432 7284 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382783947 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17882/statm: 90317 7284 1891 364 0 26214 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 361268
[startup+3.10162 s]
/proc/loadavg: 8.44 9.32 9.50 10/293 17911
/proc/meminfo: memFree=6407112/32951124 swapFree=67051472/67111528
[pid=17882] ppid=17880 vsize=361268 CPUtime=0.95 cores=0-7
/proc/17882/stat : 17882 (python) S 17880 17882 17290 0 -1 4202496 16252 938 1 0 87 8 0 0 25 0 9 0 549115098 369938432 7284 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382783947 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17882/statm: 90317 7284 1891 364 0 26214 0
[pid=17888] ppid=17882 vsize=278700 CPUtime=0 cores=0-7
/proc/17888/stat : 17888 (python) S 17882 17882 17290 0 -1 4202560 735 0 0 0 0 0 0 0 18 0 1 0 549115202 285388800 5614 33554432000 4194304 5683644 140733587114224 18446744073709551615 218370977295 0 0 16781312 514 819128470406660358 0 0 17 7 0 0 0
/proc/17888/statm: 69675 5614 354 364 0 5593 0
[pid=17890] ppid=17888 vsize=1017932 CPUtime=1.2 cores=0-7
/proc/17890/stat : 17890 (gnovelty+2) R 17888 17890 17890 0 -1 4202496 508 0 0 0 120 0 0 0 22 0 1 0 549115202 1042362368 247 33554432000 134512640 135663704 4286880144 18446744073709551615 134524868 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/17890/statm: 254483 247 113 282 0 254199 0
[pid=17891] ppid=17882 vsize=289352 CPUtime=0 cores=0-7
/proc/17891/stat : 17891 (python) S 17882 17882 17290 0 -1 4202560 733 0 0 0 0 0 0 0 18 0 1 0 549115205 296296448 5696 33554432000 4194304 5683644 140733587114224 18446744073709551615 218370977350 0 0 16781312 514 11711390383190540548 0 0 17 7 0 0 0
/proc/17891/statm: 72338 5696 348 364 0 8253 0
[pid=17893] ppid=17891 vsize=1017932 CPUtime=2.02 cores=0-7
/proc/17893/stat : 17893 (gnovelty+2) R 17891 17893 17893 0 -1 4202496 510 0 0 0 202 0 0 0 25 0 1 0 549115206 1042362368 247 33554432000 134512640 135663704 4289994480 18446744073709551615 134524882 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/17893/statm: 254483 247 113 282 0 254199 0
[pid=17894] ppid=17882 vsize=299320 CPUtime=0 cores=0-7
/proc/17894/stat : 17894 (python) S 17882 17882 17290 0 -1 4202560 740 0 0 0 0 0 0 0 18 0 1 0 549115209 306503680 5626 33554432000 4194304 5683644 140733587114224 18446744073709551615 218370977350 0 0 16781312 514 18154652491893964799 0 0 17 5 0 0 0
/proc/17894/statm: 74830 5626 348 364 0 10742 0
[pid=17896] ppid=17894 vsize=416788 CPUtime=1.98 cores=0-7
/proc/17896/stat : 17896 (adaptg2wsat2009) R 17894 17896 17896 0 -1 4202496 626 0 0 0 198 0 0 0 25 0 1 0 549115209 426790912 362 33554432000 134512640 135107411 4293538976 18446744073709551615 134531806 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/17896/statm: 104197 362 59 146 0 103073 0
[pid=17897] ppid=17882 vsize=310000 CPUtime=0 cores=0-7
/proc/17897/stat : 17897 (python) S 17882 17882 17290 0 -1 4202560 751 0 0 0 0 0 0 0 18 0 1 0 549115213 317440000 5721 33554432000 4194304 5683644 140733587114224 18446744073709551615 218370977350 0 0 16781312 514 17336725517113491455 0 0 17 3 0 0 0
/proc/17897/statm: 77500 5721 348 364 0 13409 0
[pid=17899] ppid=17897 vsize=416788 CPUtime=1.94 cores=0-7
/proc/17899/stat : 17899 (adaptg2wsat2009) R 17897 17899 17899 0 -1 4202496 629 0 0 0 194 0 0 0 25 0 1 0 549115213 426790912 362 33554432000 134512640 135107411 4294913312 18446744073709551615 134532318 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/17899/statm: 104197 362 59 146 0 103073 0
[pid=17900] ppid=17882 vsize=320256 CPUtime=0 cores=0-7
/proc/17900/stat : 17900 (python) S 17882 17882 17290 0 -1 4202560 760 0 0 0 0 0 0 0 18 0 1 0 549115217 327942144 5725 33554432000 4194304 5683644 140733587114224 18446744073709551615 218370977350 0 0 16781312 514 16697283914137337855 0 0 17 7 0 0 0
/proc/17900/statm: 80064 5725 348 364 0 15970 0
[pid=17902] ppid=17900 vsize=416788 CPUtime=1.9 cores=0-7
/proc/17902/stat : 17902 (adaptg2wsat2009) R 17900 17902 17902 0 -1 4202496 630 0 0 0 190 0 0 0 25 0 1 0 549115217 426790912 363 33554432000 134512640 135107411 4290935520 18446744073709551615 134531416 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/17902/statm: 104197 363 59 146 0 103073 0
[pid=17903] ppid=17882 vsize=330060 CPUtime=0 cores=0-7
/proc/17903/stat : 17903 (python) S 17882 17882 17290 0 -1 4202560 769 0 0 0 0 0 0 0 18 0 1 0 549115221 337981440 5626 33554432000 4194304 5683644 140733587114224 18446744073709551615 218370977350 0 0 16781312 514 11711386534899843334 0 0 17 1 0 0 0
/proc/17903/statm: 82515 5626 348 364 0 18418 0
[pid=17905] ppid=17903 vsize=1017932 CPUtime=1.85 cores=0-7
/proc/17905/stat : 17905 (gnovelty+2) R 17903 17905 17905 0 -1 4202496 513 0 0 0 185 0 0 0 25 0 1 0 549115221 1042362368 248 33554432000 134512640 135663704 4291905344 18446744073709551615 134544212 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/17905/statm: 254483 248 113 282 0 254199 0
[pid=17906] ppid=17882 vsize=340768 CPUtime=0 cores=0-7
/proc/17906/stat : 17906 (python) S 17882 17882 17290 0 -1 4202560 767 0 0 0 0 0 0 0 18 0 1 0 549115225 348946432 5733 33554432000 4194304 5683644 140733587114224 18446744073709551615 218370977350 0 0 16781312 514 18154644795312570367 0 0 17 1 0 0 0
/proc/17906/statm: 85192 5733 348 364 0 21092 0
[pid=17908] ppid=17906 vsize=245448 CPUtime=0.85 cores=0-7
/proc/17908/stat : 17908 (FH) R 17906 17908 17908 0 -1 4202496 521 0 0 0 85 0 0 0 25 0 1 0 549115227 251338752 257 33554432000 134512640 134936988 4290143616 18446744073709551615 134523490 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/17908/statm: 61362 257 37 104 0 60866 0
[pid=17909] ppid=17882 vsize=351024 CPUtime=0 cores=0-7
/proc/17909/stat : 17909 (python) S 17882 17882 17290 0 -1 4202560 808 0 0 0 0 0 0 0 18 0 1 0 549115229 359448576 5743 33554432000 4194304 5683644 140733587114224 18446744073709551615 218370977350 0 0 16781312 514 12410631125066579967 0 0 17 1 0 0 0
/proc/17909/statm: 87756 5743 354 364 0 23653 0
[pid=17911] ppid=17909 vsize=416788 CPUtime=1.78 cores=0-7
/proc/17911/stat : 17911 (adaptg2wsat2009) R 17909 17911 17911 0 -1 4202496 637 0 0 0 178 0 0 0 25 0 1 0 549115229 426790912 364 33554432000 134512640 135107411 4287632176 18446744073709551615 134532264 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/17911/statm: 104197 364 59 146 0 103073 0
[pid=17882/tid=17889] ppid=17880 vsize=361268 CPUtime=0 cores=0-7
/proc/17882/task/17889/stat : 17889 (python) S 17880 17882 17290 0 -1 4202560 26 938 0 0 0 0 0 0 18 0 9 0 549115202 369938432 7284 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 2 18446604470973995776 0 0 -1 7 0 0 0
[pid=17882/tid=17892] ppid=17880 vsize=361268 CPUtime=0 cores=0-7
/proc/17882/task/17892/stat : 17892 (python) S 17880 17882 17290 0 -1 4202560 21 938 0 0 0 0 0 0 20 0 9 0 549115206 369938432 7284 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 2 18446604470973995776 0 0 -1 7 0 0 0
[pid=17882/tid=17895] ppid=17880 vsize=361268 CPUtime=0 cores=0-7
/proc/17882/task/17895/stat : 17895 (python) S 17880 17882 17290 0 -1 4202560 23 938 0 0 0 0 0 0 20 0 9 0 549115209 369938432 7284 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 2 18446604470973995776 0 0 -1 5 0 0 0
[pid=17882/tid=17898] ppid=17880 vsize=361268 CPUtime=0 cores=0-7
/proc/17882/task/17898/stat : 17898 (python) S 17880 17882 17290 0 -1 4202560 24 938 0 0 0 0 0 0 22 0 9 0 549115213 369938432 7284 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 2 18446604470973995776 0 0 -1 3 0 0 0
[pid=17882/tid=17901] ppid=17880 vsize=361268 CPUtime=0 cores=0-7
/proc/17882/task/17901/stat : 17901 (python) S 17880 17882 17290 0 -1 4202560 26 938 0 0 0 0 0 0 20 0 9 0 549115217 369938432 7284 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 2 18446604470973995776 0 0 -1 1 0 0 0
[pid=17882/tid=17904] ppid=17880 vsize=361268 CPUtime=0 cores=0-7
/proc/17882/task/17904/stat : 17904 (python) S 17880 17882 17290 0 -1 4202560 24 938 0 0 0 0 0 0 22 0 9 0 549115221 369938432 7284 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 2 18446604470973995776 0 0 -1 7 0 0 0
[pid=17882/tid=17907] ppid=17880 vsize=361268 CPUtime=0 cores=0-7
/proc/17882/task/17907/stat : 17907 (python) S 17880 17882 17290 0 -1 4202560 28 938 0 0 0 0 0 0 24 0 9 0 549115225 369938432 7284 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 2 18446604470973995776 0 0 -1 1 0 0 0
[pid=17882/tid=17910] ppid=17880 vsize=361268 CPUtime=0 cores=0-7
/proc/17882/task/17910/stat : 17910 (python) S 17880 17882 17290 0 -1 4202560 28 938 0 0 0 0 0 0 25 0 9 0 549115229 369938432 7284 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 2 18446604470973995776 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 14.47
Current children cumulated vsize (KiB) 7847144
[startup+6.30105 s]
/proc/loadavg: 8.44 9.32 9.50 10/293 17912
/proc/meminfo: memFree=6405176/32951124 swapFree=67051472/67111528
[pid=17882] ppid=17880 vsize=361268 CPUtime=0.95 cores=0-7
/proc/17882/stat : 17882 (python) S 17880 17882 17290 0 -1 4202496 16252 938 1 0 87 8 0 0 25 0 9 0 549115098 369938432 7284 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382783947 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17882/statm: 90317 7284 1891 364 0 26214 0
[pid=17888] ppid=17882 vsize=278700 CPUtime=0 cores=0-7
/proc/17888/stat : 17888 (python) S 17882 17882 17290 0 -1 4202560 895 0 0 0 0 0 0 0 18 0 1 0 549115202 285388800 5636 33554432000 4194304 5683644 140733587114224 18446744073709551615 218370977295 0 0 16781312 514 819128470406660358 0 0 17 7 0 0 0
/proc/17888/statm: 69675 5636 376 364 0 5593 0
[pid=17890] ppid=17888 vsize=1017932 CPUtime=2.8 cores=0-7
/proc/17890/stat : 17890 (gnovelty+2) R 17888 17890 17890 0 -1 4202496 508 0 0 0 280 0 0 0 25 0 1 0 549115202 1042362368 247 33554432000 134512640 135663704 4286880144 18446744073709551615 134525271 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/17890/statm: 254483 247 113 282 0 254199 0
[pid=17891] ppid=17882 vsize=289352 CPUtime=0 cores=0-7
/proc/17891/stat : 17891 (python) S 17882 17882 17290 0 -1 4202560 889 0 0 0 0 0 0 0 18 0 1 0 549115205 296296448 5718 33554432000 4194304 5683644 140733587114224 18446744073709551615 218370977350 0 0 16781312 514 11711390383190540548 0 0 17 7 0 0 0
/proc/17891/statm: 72338 5718 370 364 0 8253 0
[pid=17893] ppid=17891 vsize=1017932 CPUtime=5.2 cores=0-7
/proc/17893/stat : 17893 (gnovelty+2) R 17891 17893 17893 0 -1 4202496 510 0 0 0 520 0 0 0 25 0 1 0 549115206 1042362368 247 33554432000 134512640 135663704 4289994480 18446744073709551615 134525218 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/17893/statm: 254483 247 113 282 0 254199 0
[pid=17894] ppid=17882 vsize=299320 CPUtime=0 cores=0-7
/proc/17894/stat : 17894 (python) S 17882 17882 17290 0 -1 4202560 906 0 0 0 0 0 0 0 18 0 1 0 549115209 306503680 5649 33554432000 4194304 5683644 140733587114224 18446744073709551615 218370977350 0 0 16781312 514 18154652491893932294 0 0 17 5 0 0 0
/proc/17894/statm: 74830 5649 371 364 0 10742 0
[pid=17896] ppid=17894 vsize=416788 CPUtime=5.17 cores=0-7
/proc/17896/stat : 17896 (adaptg2wsat2009) R 17894 17896 17896 0 -1 4202496 626 0 0 0 517 0 0 0 25 0 1 0 549115209 426790912 362 33554432000 134512640 135107411 4293538976 18446744073709551615 134539287 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/17896/statm: 104197 362 59 146 0 103073 0
[pid=17897] ppid=17882 vsize=310000 CPUtime=0 cores=0-7
/proc/17897/stat : 17897 (python) S 17882 17882 17290 0 -1 4202560 935 0 0 0 0 0 0 0 18 0 1 0 549115213 317440000 5744 33554432000 4194304 5683644 140733587114224 18446744073709551615 218370977350 0 0 16781312 514 17336725517113458951 0 0 17 3 0 0 0
/proc/17897/statm: 77500 5744 371 364 0 13409 0
[pid=17899] ppid=17897 vsize=416788 CPUtime=5.13 cores=0-7
/proc/17899/stat : 17899 (adaptg2wsat2009) R 17897 17899 17899 0 -1 4202496 629 0 0 0 513 0 0 0 25 0 1 0 549115213 426790912 362 33554432000 134512640 135107411 4294913312 18446744073709551615 134531246 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/17899/statm: 104197 362 59 146 0 103073 0
[pid=17900] ppid=17882 vsize=320256 CPUtime=0.01 cores=0-7
/proc/17900/stat : 17900 (python) S 17882 17882 17290 0 -1 4202560 937 0 0 0 0 1 0 0 18 0 1 0 549115217 327942144 5748 33554432000 4194304 5683644 140733587114224 18446744073709551615 218370977350 0 0 16781312 514 16697283914137305350 0 0 17 7 0 0 0
/proc/17900/statm: 80064 5748 371 364 0 15970 0
[pid=17902] ppid=17900 vsize=416788 CPUtime=5.1 cores=0-7
/proc/17902/stat : 17902 (adaptg2wsat2009) R 17900 17902 17902 0 -1 4202496 630 0 0 0 510 0 0 0 25 0 1 0 549115217 426790912 363 33554432000 134512640 135107411 4290935520 18446744073709551615 134531817 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/17902/statm: 104197 363 59 146 0 103073 0
[pid=17903] ppid=17882 vsize=330060 CPUtime=0 cores=0-7
/proc/17903/stat : 17903 (python) S 17882 17882 17290 0 -1 4202560 940 0 0 0 0 0 0 0 18 0 1 0 549115221 337981440 5649 33554432000 4194304 5683644 140733587114224 18446744073709551615 218370977350 0 0 16781312 514 11711386534899843334 0 0 17 1 0 0 0
/proc/17903/statm: 82515 5649 371 364 0 18418 0
[pid=17905] ppid=17903 vsize=1017932 CPUtime=4.99 cores=0-7
/proc/17905/stat : 17905 (gnovelty+2) R 17903 17905 17905 0 -1 4202496 513 0 0 0 499 0 0 0 25 0 1 0 549115221 1042362368 248 33554432000 134512640 135663704 4291905344 18446744073709551615 134525258 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/17905/statm: 254483 248 113 282 0 254199 0
[pid=17906] ppid=17882 vsize=340768 CPUtime=0 cores=0-7
/proc/17906/stat : 17906 (python) S 17882 17882 17290 0 -1 4202560 959 0 0 0 0 0 0 0 18 0 1 0 549115225 348946432 5756 33554432000 4194304 5683644 140733587114224 18446744073709551615 218370977350 0 0 16781312 514 18154644795312537862 0 0 17 1 0 0 0
/proc/17906/statm: 85192 5756 371 364 0 21092 0
[pid=17908] ppid=17906 vsize=246940 CPUtime=2.45 cores=0-7
/proc/17908/stat : 17908 (FH) R 17906 17908 17908 0 -1 4202496 593 0 0 0 245 0 0 0 25 0 1 0 549115227 252866560 327 33554432000 134512640 134936988 4290143616 18446744073709551615 134554390 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/17908/statm: 61735 327 41 104 0 61239 0
[pid=17909] ppid=17882 vsize=351024 CPUtime=0 cores=0-7
/proc/17909/stat : 17909 (python) S 17882 17882 17290 0 -1 4202560 986 0 0 0 0 0 0 0 18 0 1 0 549115229 359448576 5765 33554432000 4194304 5683644 140733587114224 18446744073709551615 218370977350 0 0 16781312 514 12410631125066547463 0 0 17 1 0 0 0
/proc/17909/statm: 87756 5765 376 364 0 23653 0
[pid=17911] ppid=17909 vsize=416788 CPUtime=4.94 cores=0-7
/proc/17911/stat : 17911 (adaptg2wsat2009) R 17909 17911 17911 0 -1 4202496 637 0 0 0 494 0 0 0 25 0 1 0 549115229 426790912 364 33554432000 134512640 135107411 4287632176 18446744073709551615 134531817 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/17911/statm: 104197 364 59 146 0 103073 0
################
# More data... #
################
[pid=17882/tid=17942] ppid=17880 vsize=519592 CPUtime=0 cores=0-7
/proc/17882/task/17942/stat : 17942 (python) S 17880 17882 17290 0 -1 4202560 31 938 0 0 0 0 0 0 19 0 18 0 549130036 532062208 7613 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 2 18446604470973995776 0 0 -1 1 0 0 0
[pid=17882/tid=17946] ppid=17880 vsize=519592 CPUtime=0 cores=0-7
/proc/17882/task/17946/stat : 17946 (python) S 17880 17882 17290 0 -1 4202560 29 938 0 0 0 0 0 0 19 0 18 0 549130067 532062208 7613 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 2 18446604470973995776 0 0 -1 3 0 0 0
[pid=17882/tid=17952] ppid=17880 vsize=519592 CPUtime=0 cores=0-7
/proc/17882/task/17952/stat : 17952 (python) S 17880 17882 17290 0 -1 4202560 27 938 0 0 0 0 0 0 20 0 18 0 549137681 532062208 7613 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 2 18446604470973995776 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3430.67
Current children cumulated vsize (KiB) 12670996
[startup+492.751 s]
/proc/loadavg: 9.12 9.16 9.34 10/329 17961
/proc/meminfo: memFree=6347640/32951124 swapFree=67051472/67111528
[pid=17882] ppid=17880 vsize=519592 CPUtime=1.43 cores=0-7
/proc/17882/stat : 17882 (python) S 17880 17882 17290 0 -1 4202496 24384 938 1 0 132 11 0 0 19 0 18 0 549115098 532062208 7613 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382783947 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17882/statm: 129898 7613 1910 364 0 65768 0
[pid=17888] ppid=17882 vsize=288944 CPUtime=0.28 cores=0-7
/proc/17888/stat : 17888 (python) S 17882 17882 17290 0 -1 4202560 1097 0 0 0 16 12 0 0 19 0 2 0 549115202 295878656 5675 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382783947 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/17888/statm: 72236 5675 410 364 0 8154 0
[pid=17890] ppid=17888 vsize=1017932 CPUtime=98.36 cores=0-7
/proc/17890/stat : 17890 (gnovelty+2) T 17888 17890 17890 0 -1 4202496 508 0 0 0 9836 0 0 0 25 0 1 0 549115202 1042362368 247 33554432000 134512640 135663704 4286880144 18446744073709551615 134525271 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/17890/statm: 254483 247 113 282 0 254199 0
[pid=17888/tid=17940] ppid=17882 vsize=288944 CPUtime=0 cores=0-7
/proc/17888/task/17940/stat : 17940 (python) S 17882 17882 17290 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 549130030 295878656 5675 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 514 18446604461693346048 0 0 -1 7 0 0 0
[pid=17891] ppid=17882 vsize=289352 CPUtime=0.18 cores=0-7
/proc/17891/stat : 17891 (python) S 17882 17882 17290 0 -1 4202560 1083 0 0 0 11 7 0 0 19 0 2 0 549115205 296296448 5749 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382783947 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/17891/statm: 72338 5749 400 364 0 8253 0
[pid=17893] ppid=17891 vsize=1017932 CPUtime=100.16 cores=0-7
/proc/17893/stat : 17893 (gnovelty+2) T 17891 17893 17893 0 -1 4202496 510 0 0 0 10016 0 0 0 25 0 1 0 549115206 1042362368 247 33554432000 134512640 135663704 4289994480 18446744073709551615 134524509 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/17893/statm: 254483 247 113 282 0 254199 0
[pid=17891/tid=17923] ppid=17882 vsize=289352 CPUtime=0 cores=0-7
/proc/17891/task/17923/stat : 17923 (python) S 17882 17882 17290 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 549125224 296296448 5749 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 514 18446604459934431104 0 0 -1 7 0 0 0
[pid=17894] ppid=17882 vsize=299320 CPUtime=0.18 cores=0-7
/proc/17894/stat : 17894 (python) S 17882 17882 17290 0 -1 4202560 1096 0 0 0 10 8 0 0 19 0 2 0 549115209 306503680 5679 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382783947 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/17894/statm: 74830 5679 400 364 0 10742 0
[pid=17896] ppid=17894 vsize=416788 CPUtime=99.98 cores=0-7
/proc/17896/stat : 17896 (adaptg2wsat2009) T 17894 17896 17896 0 -1 4202496 626 0 0 0 9998 0 0 0 25 0 1 0 549115209 426790912 362 33554432000 134512640 135107411 4293538976 18446744073709551615 134532326 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/17896/statm: 104197 362 59 146 0 103073 0
[pid=17894/tid=17924] ppid=17882 vsize=299320 CPUtime=0 cores=0-7
/proc/17894/task/17924/stat : 17924 (python) S 17882 17882 17290 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 549125227 306503680 5679 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 514 18446604461434619968 0 0 -1 0 0 0 0
[pid=17897] ppid=17882 vsize=375536 CPUtime=0.18 cores=0-7
/proc/17897/stat : 17897 (python) S 17882 17882 17290 0 -1 4202560 1125 0 0 0 11 7 0 0 19 0 2 0 549115213 384548864 5775 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382783947 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/17897/statm: 93884 5775 400 364 0 29793 0
[pid=17899] ppid=17897 vsize=416788 CPUtime=99.98 cores=0-7
/proc/17899/stat : 17899 (adaptg2wsat2009) T 17897 17899 17899 0 -1 4202496 629 0 0 0 9998 0 0 0 25 0 1 0 549115213 426790912 362 33554432000 134512640 135107411 4294913312 18446744073709551615 134532242 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/17899/statm: 104197 362 59 146 0 103073 0
[pid=17897/tid=17927] ppid=17882 vsize=375536 CPUtime=0 cores=0-7
/proc/17897/task/17927/stat : 17927 (python) S 17882 17882 17290 0 -1 4202560 46 0 0 0 0 0 0 0 18 0 2 0 549125231 384548864 5775 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 514 18446604461244181504 0 0 -1 0 0 0 0
[pid=17900] ppid=17882 vsize=320256 CPUtime=0.19 cores=0-7
/proc/17900/stat : 17900 (python) S 17882 17882 17290 0 -1 4202560 1127 0 0 0 10 9 0 0 19 0 2 0 549115217 327942144 5778 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382783947 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/17900/statm: 80064 5778 400 364 0 15970 0
[pid=17902] ppid=17900 vsize=416788 CPUtime=99.17 cores=0-7
/proc/17902/stat : 17902 (adaptg2wsat2009) T 17900 17902 17902 0 -1 4202496 630 0 0 0 9917 0 0 0 25 0 1 0 549115217 426790912 363 33554432000 134512640 135107411 4290935520 18446744073709551615 134532229 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/17902/statm: 104197 363 59 146 0 103073 0
[pid=17900/tid=17915] ppid=17882 vsize=320256 CPUtime=0 cores=0-7
/proc/17900/task/17915/stat : 17915 (python) S 17882 17882 17290 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 549125135 327942144 5778 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 514 18446604469685234496 0 0 -1 7 0 0 0
[pid=17903] ppid=17882 vsize=330060 CPUtime=0.18 cores=0-7
/proc/17903/stat : 17903 (python) S 17882 17882 17290 0 -1 4202560 1126 0 0 0 9 9 0 0 19 0 2 0 549115221 337981440 5679 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382783947 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/17903/statm: 82515 5679 400 364 0 18418 0
[pid=17905] ppid=17903 vsize=1017932 CPUtime=97.81 cores=0-7
/proc/17905/stat : 17905 (gnovelty+2) T 17903 17905 17905 0 -1 4202496 513 0 0 0 9781 0 0 0 25 0 1 0 549115221 1042362368 248 33554432000 134512640 135663704 4291905344 18446744073709551615 134524503 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/17905/statm: 254483 248 113 282 0 254199 0
[pid=17903/tid=17919] ppid=17882 vsize=330060 CPUtime=0 cores=0-7
/proc/17903/task/17919/stat : 17919 (python) S 17882 17882 17290 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 549125141 337981440 5679 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 514 18446604459934430208 0 0 -1 7 0 0 0
[pid=17906] ppid=17882 vsize=340768 CPUtime=0.27 cores=0-7
/proc/17906/stat : 17906 (python) S 17882 17882 17290 0 -1 4202560 1159 0 0 0 15 12 0 0 19 0 2 0 549115225 348946432 5786 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382783947 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/17906/statm: 85192 5786 400 364 0 21092 0
[pid=17908] ppid=17906 vsize=246940 CPUtime=98.7 cores=0-7
/proc/17908/stat : 17908 (FH) T 17906 17908 17908 0 -1 4202496 593 0 0 0 9870 0 0 0 25 0 1 0 549115227 252866560 327 33554432000 134512640 134936988 4290143616 18446744073709551615 134553261 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/17908/statm: 61735 327 41 104 0 61239 0
[pid=17906/tid=17944] ppid=17882 vsize=340768 CPUtime=0 cores=0-7
/proc/17906/task/17944/stat : 17944 (python) S 17882 17882 17290 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 549130059 348946432 5786 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 514 18446604461434618176 0 0 -1 1 0 0 0
[pid=17909] ppid=17882 vsize=351024 CPUtime=0.18 cores=0-7
/proc/17909/stat : 17909 (python) S 17882 17882 17290 0 -1 4202560 1182 0 0 0 9 9 0 0 19 0 2 0 549115229 359448576 5796 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382783947 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/17909/statm: 87756 5796 406 364 0 23653 0
[pid=17911] ppid=17909 vsize=416788 CPUtime=99.59 cores=0-7
/proc/17911/stat : 17911 (adaptg2wsat2009) T 17909 17911 17911 0 -1 4202496 637 0 0 0 9959 0 0 0 25 0 1 0 549115229 426790912 364 33554432000 134512640 135107411 4287632176 18446744073709551615 134532224 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/17911/statm: 104197 364 59 146 0 103073 0
[pid=17909/tid=17935] ppid=17882 vsize=351024 CPUtime=0 cores=0-7
/proc/17909/task/17935/stat : 17935 (python) S 17882 17882 17290 0 -1 4202560 51 0 0 0 0 0 0 0 19 0 2 0 549125248 359448576 5796 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 514 18446604460097235776 0 0 -1 1 0 0 0
[pid=17916] ppid=17882 vsize=361280 CPUtime=373.2 cores=0-7
/proc/17916/stat : 17916 (python) R 17882 17882 17290 0 -1 4202560 1204 1510 0 0 57 44 37219 0 15 0 2 0 549125139 369950720 5783 33554432000 4194304 5683644 140733587114224 18446744073709551615 4865416 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/17916/statm: 90320 5783 390 364 0 26214 0
[pid=17916/tid=17961] ppid=17882 vsize=361280 CPUtime=372.19 cores=0-7
/proc/17916/task/17961/stat : 17961 (python) S 17882 17882 17290 0 -1 4202560 4 1510 0 0 0 0 37219 0 16 0 2 0 549164373 369950720 5783 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 514 18446604465537311744 0 0 -1 0 0 0 0
[pid=17920] ppid=17882 vsize=437072 CPUtime=0.93 cores=0-7
/proc/17920/stat : 17920 (python) S 17882 17882 17290 0 -1 4202560 852 0 0 0 48 45 0 0 15 0 1 0 549125145 447561728 5941 33554432000 4194304 5683644 140733587114224 18446744073709551615 218370977350 0 0 16781312 514 8672793792564134150 0 0 17 2 0 0 0
/proc/17920/statm: 109268 5941 371 364 0 45159 0
[pid=17922] ppid=17920 vsize=2856 CPUtime=205.29 cores=0-7
/proc/17922/stat : 17922 (march_hi) R 17920 17922 17922 0 -1 4202496 1405 0 0 0 20529 0 0 0 25 0 1 0 549125145 2924544 513 33554432000 4194304 4955518 140736188925104 18446744073709551615 4208624 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/17922/statm: 714 513 106 186 0 527 0
[pid=17925] ppid=17882 vsize=447328 CPUtime=0.87 cores=0-7
/proc/17925/stat : 17925 (python) S 17882 17882 17290 0 -1 4202560 865 0 0 0 45 42 0 0 15 0 1 0 549125229 458063872 5937 33554432000 4194304 5683644 140733587114224 18446744073709551615 218370977350 0 0 16781312 514 13801338236976464135 0 0 17 1 0 0 0
/proc/17925/statm: 111832 5937 371 364 0 47720 0
[pid=17928] ppid=17925 vsize=3424 CPUtime=341.57 cores=0-7
/proc/17928/stat : 17928 (march_hi) R 17925 17928 17928 0 -1 4202496 1480 0 0 0 34155 2 0 0 25 0 1 0 549125231 3506176 587 33554432000 4194304 4955518 140737036003984 18446744073709551615 4224468 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/17928/statm: 856 587 106 186 0 669 0
[pid=17929] ppid=17882 vsize=457584 CPUtime=0.88 cores=0-7
/proc/17929/stat : 17929 (python) S 17882 17882 17290 0 -1 4202560 870 0 0 0 46 42 0 0 15 0 1 0 549125234 468566016 5928 33554432000 4194304 5683644 140733587114224 18446744073709551615 218370977350 0 0 16781312 514 2924604177155850500 0 0 17 3 0 0 0
/proc/17929/statm: 114396 5928 371 364 0 50281 0
[pid=17931] ppid=17929 vsize=3084 CPUtime=337.2 cores=0-7
/proc/17931/stat : 17931 (march_hi) R 17929 17931 17931 0 -1 4202496 1481 0 0 0 33720 0 0 0 25 0 1 0 549125236 3158016 585 33554432000 4194304 4955518 140734392131072 18446744073709551615 4235606 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/17931/statm: 771 585 106 186 0 584 0
[pid=17932] ppid=17882 vsize=467840 CPUtime=0.24 cores=0-7
/proc/17932/stat : 17932 (python) S 17882 17882 17290 0 -1 4202560 1188 0 0 0 12 12 0 0 19 0 2 0 549125240 479068160 5962 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382783947 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/17932/statm: 116960 5962 400 364 0 52842 0
[pid=17934] ppid=17932 vsize=416788 CPUtime=99.88 cores=0-7
/proc/17934/stat : 17934 (adaptg2wsat2009) T 17932 17934 17934 0 -1 4202496 642 0 0 0 9988 0 0 0 25 0 1 0 549125240 426790912 365 33554432000 134512640 135107411 4293620192 18446744073709551615 134531781 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/17934/statm: 104197 365 59 146 0 103073 0
[pid=17932/tid=17950] ppid=17882 vsize=467840 CPUtime=0 cores=0-7
/proc/17932/task/17950/stat : 17950 (python) S 17882 17882 17290 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 549137675 479068160 5962 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 514 18446604466013954432 0 0 -1 2 0 0 0
[pid=17936] ppid=17882 vsize=478228 CPUtime=0.87 cores=0-7
/proc/17936/stat : 17936 (python) S 17882 17882 17290 0 -1 4202560 1067 0 0 0 45 42 0 0 15 0 1 0 549125255 489705472 5973 33554432000 4194304 5683644 140733587114224 18446744073709551615 218370977350 0 0 16781312 514 4085569708831506692 0 0 17 5 0 0 0
/proc/17936/statm: 119557 5973 371 364 0 55436 0
[pid=17938] ppid=17936 vsize=3424 CPUtime=339.56 cores=0-7
/proc/17938/stat : 17938 (march_hi) R 17936 17938 17938 0 -1 4202496 1489 0 0 0 33956 0 0 0 25 0 1 0 549125256 3506176 586 33554432000 4194304 4955518 140735968685168 18446744073709551615 4297477 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/17938/statm: 856 586 106 186 0 669 0
[pid=17941] ppid=17882 vsize=488704 CPUtime=0.87 cores=0-7
/proc/17941/stat : 17941 (python) S 17882 17882 17290 0 -1 4202560 1095 0 0 0 49 38 0 0 15 0 1 0 549130036 500432896 6036 33554432000 4194304 5683644 140733587114224 18446744073709551615 218370977350 0 0 16781312 514 3385132423426572550 0 0 17 4 0 0 0
/proc/17941/statm: 122176 6036 379 364 0 58052 0
[pid=17943] ppid=17941 vsize=3084 CPUtime=335.69 cores=0-7
/proc/17943/stat : 17943 (march_hi) R 17941 17943 17943 0 -1 4202496 1490 0 0 0 33569 0 0 0 25 0 1 0 549130036 3158016 583 33554432000 4194304 4955518 140733730630912 18446744073709551615 4208638 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/17943/statm: 771 583 106 186 0 584 0
[pid=17945] ppid=17882 vsize=498960 CPUtime=0.86 cores=0-7
/proc/17945/stat : 17945 (python) S 17882 17882 17290 0 -1 4202560 1094 0 0 0 43 43 0 0 15 0 1 0 549130067 510935040 6040 33554432000 4194304 5683644 140733587114224 18446744073709551615 218370977350 0 0 16781312 514 2043671062935208200 0 0 17 0 0 0 0
/proc/17945/statm: 124740 6040 379 364 0 60613 0
[pid=17947] ppid=17945 vsize=3084 CPUtime=333.61 cores=0-7
/proc/17947/stat : 17947 (march_hi) R 17945 17947 17947 0 -1 4202496 1492 0 0 0 33360 1 0 0 25 0 1 0 549130067 3158016 583 33554432000 4194304 4955518 140733313289520 18446744073709551615 4235606 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/17947/statm: 771 583 106 186 0 584 0
[pid=17951] ppid=17882 vsize=509348 CPUtime=0.65 cores=0-7
/proc/17951/stat : 17951 (python) S 17882 17882 17290 0 -1 4202560 1068 0 0 0 31 34 0 0 15 0 1 0 549137681 521572352 6072 33554432000 4194304 5683644 140733587114224 18446744073709551615 218370977350 0 0 16781312 514 2159084599479599364 0 0 17 2 0 0 0
/proc/17951/statm: 127337 6072 373 364 0 63207 0
[pid=17953] ppid=17951 vsize=3084 CPUtime=264.89 cores=0-7
/proc/17953/stat : 17953 (march_hi) R 17951 17953 17953 0 -1 4202496 1452 0 0 0 26489 0 0 0 25 0 1 0 549137682 3158016 543 33554432000 4194304 4955518 140735778720944 18446744073709551615 4237804 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/17953/statm: 771 543 106 186 0 584 0
[pid=17882/tid=17889] ppid=17880 vsize=519592 CPUtime=0 cores=0-7
/proc/17882/task/17889/stat : 17889 (python) S 17880 17882 17290 0 -1 4202560 26 938 0 0 0 0 0 0 18 0 18 0 549115202 532062208 7613 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 2 18446604470973995776 0 0 -1 7 0 0 0
[pid=17882/tid=17892] ppid=17880 vsize=519592 CPUtime=0 cores=0-7
/proc/17882/task/17892/stat : 17892 (python) S 17880 17882 17290 0 -1 4202560 21 938 0 0 0 0 0 0 20 0 18 0 549115206 532062208 7613 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 2 18446604470973995776 0 0 -1 7 0 0 0
[pid=17882/tid=17895] ppid=17880 vsize=519592 CPUtime=0 cores=0-7
/proc/17882/task/17895/stat : 17895 (python) S 17880 17882 17290 0 -1 4202560 23 938 0 0 0 0 0 0 20 0 18 0 549115209 532062208 7613 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 2 18446604470973995776 0 0 -1 5 0 0 0
[pid=17882/tid=17898] ppid=17880 vsize=519592 CPUtime=0 cores=0-7
/proc/17882/task/17898/stat : 17898 (python) S 17880 17882 17290 0 -1 4202560 24 938 0 0 0 0 0 0 22 0 18 0 549115213 532062208 7613 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 2 18446604470973995776 0 0 -1 3 0 0 0
[pid=17882/tid=17901] ppid=17880 vsize=519592 CPUtime=0 cores=0-7
/proc/17882/task/17901/stat : 17901 (python) S 17880 17882 17290 0 -1 4202560 26 938 0 0 0 0 0 0 20 0 18 0 549115217 532062208 7613 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 2 18446604470973995776 0 0 -1 1 0 0 0
[pid=17882/tid=17904] ppid=17880 vsize=519592 CPUtime=0 cores=0-7
/proc/17882/task/17904/stat : 17904 (python) S 17880 17882 17290 0 -1 4202560 24 938 0 0 0 0 0 0 22 0 18 0 549115221 532062208 7613 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 2 18446604470973995776 0 0 -1 7 0 0 0
[pid=17882/tid=17907] ppid=17880 vsize=519592 CPUtime=0 cores=0-7
/proc/17882/task/17907/stat : 17907 (python) S 17880 17882 17290 0 -1 4202560 28 938 0 0 0 0 0 0 24 0 18 0 549115225 532062208 7613 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 2 18446604470973995776 0 0 -1 1 0 0 0
[pid=17882/tid=17910] ppid=17880 vsize=519592 CPUtime=0 cores=0-7
/proc/17882/task/17910/stat : 17910 (python) S 17880 17882 17290 0 -1 4202560 28 938 0 0 0 0 0 0 25 0 18 0 549115229 532062208 7613 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 2 18446604470973995776 0 0 -1 1 0 0 0
[pid=17882/tid=17917] ppid=17880 vsize=519592 CPUtime=0 cores=0-7
/proc/17882/task/17917/stat : 17917 (python) S 17880 17882 17290 0 -1 4202560 28 938 0 0 0 0 0 0 19 0 18 0 549125139 532062208 7613 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 2 18446604470973995776 0 0 -1 2 0 0 0
[pid=17882/tid=17921] ppid=17880 vsize=519592 CPUtime=0 cores=0-7
/proc/17882/task/17921/stat : 17921 (python) S 17880 17882 17290 0 -1 4202560 89 938 0 0 0 0 0 0 20 0 18 0 549125145 532062208 7613 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 2 18446604470973995776 0 0 -1 1 0 0 0
[pid=17882/tid=17926] ppid=17880 vsize=519592 CPUtime=0 cores=0-7
/proc/17882/task/17926/stat : 17926 (python) S 17880 17882 17290 0 -1 4202560 31 938 0 0 0 0 0 0 20 0 18 0 549125229 532062208 7613 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 2 18446604470973995776 0 0 -1 1 0 0 0
[pid=17882/tid=17930] ppid=17880 vsize=519592 CPUtime=0 cores=0-7
/proc/17882/task/17930/stat : 17930 (python) S 17880 17882 17290 0 -1 4202560 30 938 0 0 0 0 0 0 22 0 18 0 549125234 532062208 7613 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 2 18446604470973995776 0 0 -1 3 0 0 0
[pid=17882/tid=17933] ppid=17880 vsize=519592 CPUtime=0 cores=0-7
/proc/17882/task/17933/stat : 17933 (python) S 17880 17882 17290 0 -1 4202560 31 938 0 0 0 0 0 0 25 0 18 0 549125240 532062208 7613 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 2 18446604470973995776 0 0 -1 3 0 0 0
[pid=17882/tid=17937] ppid=17880 vsize=519592 CPUtime=0 cores=0-7
/proc/17882/task/17937/stat : 17937 (python) S 17880 17882 17290 0 -1 4202560 31 938 0 0 0 0 0 0 25 0 18 0 549125255 532062208 7613 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 2 18446604470973995776 0 0 -1 1 0 0 0
[pid=17882/tid=17942] ppid=17880 vsize=519592 CPUtime=0 cores=0-7
/proc/17882/task/17942/stat : 17942 (python) S 17880 17882 17290 0 -1 4202560 31 938 0 0 0 0 0 0 19 0 18 0 549130036 532062208 7613 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 2 18446604470973995776 0 0 -1 1 0 0 0
[pid=17882/tid=17946] ppid=17880 vsize=519592 CPUtime=0 cores=0-7
/proc/17882/task/17946/stat : 17946 (python) S 17880 17882 17290 0 -1 4202560 29 938 0 0 0 0 0 0 19 0 18 0 549130067 532062208 7613 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 2 18446604470973995776 0 0 -1 3 0 0 0
[pid=17882/tid=17952] ppid=17880 vsize=519592 CPUtime=0 cores=0-7
/proc/17882/task/17952/stat : 17952 (python) S 17880 17882 17290 0 -1 4202560 27 938 0 0 0 0 0 0 20 0 18 0 549137681 532062208 7613 33554432000 4194304 5683644 140733587114224 18446744073709551615 218382780849 0 0 16781312 2 18446604470973995776 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3433.88
Current children cumulated vsize (KiB) 12667912
Child status: 0
Real time (s): 492.807
CPU time (s): 3434.37
CPU user time (s): 3429.89
CPU system time (s): 4.48632
CPU usage (%): 696.9
Max. virtual memory (cumulated for all children) (KiB): 12670996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3429.89
system time used= 4.48632
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65908
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= 9931
involuntary context switches= 28737
runsolver used 2.58061 second user time and 5.43117 second system time
The end
Begin job on node101 at 2011-05-03 00:25:23
IDJOB=3322140
IDBENCH=82918
IDSOLVER=1712
FILE ID=node101/3322140-1304375123
RUNJOBID= node101-1304370010-17304
PBS_JOBID= 13181771
Free space on /tmp= 73084 MiB
SOLVER NAME= borg-sat 11.03.02-random
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-3322140-1304375123/watcher-3322140-1304375123 -o /tmp/evaluation-result-3322140-1304375123/solver-3322140-1304375123 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3322140-1304375123.cnf -seed 1150475817 -budget 40000 -cores 8
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 9e4f1914facdb4a8b3ffdd1de343beff
RANDOM SEED=1150475817
node101.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.841
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.68
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.841
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 : 5226.07
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.841
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.77
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.841
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.83
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.841
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.74
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.841
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.83
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.841
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.841
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.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 6470336 kB
Buffers: 256880 kB
Cached: 2421068 kB
SwapCached: 23472 kB
Active: 23878840 kB
Inactive: 2250140 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 6470336 kB
SwapTotal: 67111528 kB
SwapFree: 67051472 kB
Dirty: 32016 kB
Writeback: 0 kB
AnonPages: 23449396 kB
Mapped: 21240 kB
Slab: 223256 kB
PageTables: 59260 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 35849396 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= 73052 MiB
End job on node101 at 2011-05-03 00:33:36