runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3481827-1307576558/watcher-3481827-1307576558 -o /tmp/evaluation-result-3481827-1307576558/solver-3481827-1307576558 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481827-1307576558.opb -seed 2140946067 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.26 1.05 0.40 2/608 23302
/proc/meminfo: memFree=23685064/32950928 swapFree=67056572/67111528
[pid=23302] ppid=23300 vsize=16240 CPUtime=0.01 cores=1,3,5,7
/proc/23302/stat : 23302 (python) R 23300 23302 23102 0 -1 4202496 1038 0 0 0 1 0 0 0 17 0 1 0 869253005 16629760 910 33554432000 4194304 5683644 140733994101504 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23302/statm: 4060 910 380 364 0 547 0
[startup+0.050873 s]
/proc/loadavg: 2.26 1.05 0.40 2/608 23302
/proc/meminfo: memFree=23685064/32950928 swapFree=67056572/67111528
[pid=23302] ppid=23300 vsize=18888 CPUtime=0.02 cores=1,3,5,7
/proc/23302/stat : 23302 (python) S 23300 23302 23102 0 -1 4202496 1287 0 0 0 2 0 0 0 17 0 1 0 869253005 19341312 1140 33554432000 4194304 5683644 140733994101504 18446744073709551615 239476692992 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/23302/statm: 4722 1140 421 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18888
[startup+0.10085 s]
/proc/loadavg: 2.26 1.05 0.40 2/608 23302
/proc/meminfo: memFree=23685064/32950928 swapFree=67056572/67111528
[pid=23302] ppid=23300 vsize=85624 CPUtime=0.06 cores=1,3,5,7
/proc/23302/stat : 23302 (python) R 23300 23302 23102 0 -1 4202496 2658 0 0 0 5 1 0 0 17 0 1 0 869253005 87678976 2378 33554432000 4194304 5683644 140733994101504 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23302/statm: 21406 2381 715 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85624
[startup+0.300818 s]
/proc/loadavg: 2.26 1.05 0.40 2/608 23302
/proc/meminfo: memFree=23685064/32950928 swapFree=67056572/67111528
[pid=23302] ppid=23300 vsize=123744 CPUtime=0.18 cores=1,3,5,7
/proc/23302/stat : 23302 (python) R 23300 23302 23102 0 -1 4202496 5358 930 1 0 12 6 0 0 16 0 1 0 869253005 126713856 3745 33554432000 4194304 5683644 140733994101504 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23302/statm: 30936 3745 987 364 0 2768 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123744
[startup+1.13664 s]
/proc/loadavg: 2.26 1.05 0.40 2/608 23302
/proc/meminfo: memFree=23685064/32950928 swapFree=67056572/67111528
[pid=23302] ppid=23300 vsize=289068 CPUtime=0.89 cores=1,3,5,7
/proc/23302/stat : 23302 (python) R 23300 23302 23102 0 -1 4202496 11721 930 1 0 74 15 0 0 16 0 1 0 869253005 296005632 8610 33554432000 4194304 5683644 140733994101504 18446744073709551615 4643420 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/23302/statm: 72267 8610 1816 364 0 7160 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 289068
[startup+1.50059 s]
/proc/loadavg: 2.26 1.05 0.40 2/608 23302
/proc/meminfo: memFree=23685064/32950928 swapFree=67056572/67111528
[pid=23302] ppid=23300 vsize=299336 CPUtime=0.93 cores=1,3,5,7
/proc/23302/stat : 23302 (python) S 23300 23302 23102 0 -1 4202496 12042 930 1 0 78 15 0 0 18 0 2 0 869253005 306520064 8703 33554432000 4194304 5683644 140733994101504 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23302/statm: 74834 8703 1870 364 0 9721 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 299336
[startup+3.10127 s]
/proc/loadavg: 2.40 1.10 0.42 3/630 23328
/proc/meminfo: memFree=23495740/32950928 swapFree=67056572/67111528
[pid=23302] ppid=23300 vsize=299336 CPUtime=0.93 cores=1,3,5,7
/proc/23302/stat : 23302 (python) S 23300 23302 23102 0 -1 4202496 12042 930 1 0 78 15 0 0 18 0 2 0 869253005 306520064 8703 33554432000 4194304 5683644 140733994101504 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23302/statm: 74834 8703 1870 364 0 9721 0
[pid=23308] ppid=23302 vsize=289092 CPUtime=0 cores=1,3,5,7
/proc/23308/stat : 23308 (python) S 23302 23302 23102 0 -1 4202560 766 0 0 0 0 0 0 0 15 0 1 0 869253123 296030208 7180 33554432000 4194304 5683644 140733994101504 18446744073709551615 239476715023 0 0 16781312 33554946 4294934789 0 0 17 3 0 0 0
/proc/23308/statm: 72273 7180 351 364 0 7160 0
[pid=23310] ppid=23308 vsize=8540588 CPUtime=2.28 cores=1,3,5,7
/proc/23310/stat : 23310 (java) S 23308 23310 23310 0 -1 4202496 47378 0 1 0 221 7 0 0 18 0 19 0 869253123 8745562112 44744 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23310/statm: 2135147 44744 2244 9 0 2125888 0
[pid=23310/tid=23311] ppid=23308 vsize=8540588 CPUtime=1.3 cores=1,3,5,7
/proc/23310/task/23311/stat : 23311 (java) R 23308 23310 23310 0 -1 4202560 35291 0 1 0 125 5 0 0 25 0 19 0 869253181 8745562112 44744 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 46912505826199 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23310/tid=23312] ppid=23308 vsize=8540588 CPUtime=0.01 cores=1,3,5,7
/proc/23310/task/23312/stat : 23312 (java) S 23308 23310 23310 0 -1 4202560 1164 0 0 0 1 0 0 0 16 0 19 0 869253182 8745562112 44744 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446604461265832128 0 0 -1 1 0 0 0
[pid=23310/tid=23313] ppid=23308 vsize=8540588 CPUtime=0.01 cores=1,3,5,7
/proc/23310/task/23313/stat : 23313 (java) S 23308 23310 23310 0 -1 4202560 1154 0 0 0 1 0 0 0 16 0 19 0 869253182 8745562112 44744 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446604461265832128 0 0 -1 7 0 0 0
[pid=23310/tid=23314] ppid=23308 vsize=8540588 CPUtime=0.01 cores=1,3,5,7
/proc/23310/task/23314/stat : 23314 (java) S 23308 23310 23310 0 -1 4202560 1187 0 0 0 1 0 0 0 16 0 19 0 869253182 8745562112 44744 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446604461265832128 0 0 -1 3 0 0 0
[pid=23310/tid=23315] ppid=23308 vsize=8540588 CPUtime=0 cores=1,3,5,7
/proc/23310/task/23315/stat : 23315 (java) S 23308 23310 23310 0 -1 4202560 920 0 0 0 0 0 0 0 16 0 19 0 869253182 8745562112 44744 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446604461265832128 0 0 -1 5 0 0 0
[pid=23310/tid=23316] ppid=23308 vsize=8540588 CPUtime=0 cores=1,3,5,7
/proc/23310/task/23316/stat : 23316 (java) S 23308 23310 23310 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869253182 8745562112 44744 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446604461265832128 0 0 -1 7 0 0 0
[pid=23310/tid=23317] ppid=23308 vsize=8540588 CPUtime=0 cores=1,3,5,7
/proc/23310/task/23317/stat : 23317 (java) S 23308 23310 23310 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869253182 8745562112 44744 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446604461265832128 0 0 -1 5 0 0 0
[pid=23310/tid=23318] ppid=23308 vsize=8540588 CPUtime=0 cores=1,3,5,7
/proc/23310/task/23318/stat : 23318 (java) S 23308 23310 23310 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 869253182 8745562112 44744 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446604461265832128 0 0 -1 5 0 0 0
[pid=23310/tid=23319] ppid=23308 vsize=8540588 CPUtime=0 cores=1,3,5,7
/proc/23310/task/23319/stat : 23319 (java) S 23308 23310 23310 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 869253182 8745562112 44744 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446604461265832128 0 0 -1 7 0 0 0
[pid=23310/tid=23320] ppid=23308 vsize=8540588 CPUtime=0 cores=1,3,5,7
/proc/23310/task/23320/stat : 23320 (java) S 23308 23310 23310 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 869253183 8745562112 44744 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488511488 0 0 0 16800975 18446604461265832128 0 0 -1 7 0 0 0
[pid=23310/tid=23321] ppid=23308 vsize=8540588 CPUtime=0 cores=1,3,5,7
/proc/23310/task/23321/stat : 23321 (java) S 23308 23310 23310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869253183 8745562112 44744 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446604461265832128 0 0 -1 1 0 0 0
[pid=23310/tid=23322] ppid=23308 vsize=8540588 CPUtime=0 cores=1,3,5,7
/proc/23310/task/23322/stat : 23322 (java) S 23308 23310 23310 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869253183 8745562112 44744 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446604461265832128 0 0 -1 7 0 0 0
[pid=23310/tid=23323] ppid=23308 vsize=8540588 CPUtime=0 cores=1,3,5,7
/proc/23310/task/23323/stat : 23323 (java) S 23308 23310 23310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869253185 8745562112 44744 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488518577 0 4 0 16800975 18446604461265832128 0 0 -1 7 0 0 0
[pid=23310/tid=23324] ppid=23308 vsize=8540588 CPUtime=0.5 cores=1,3,5,7
/proc/23310/task/23324/stat : 23324 (java) S 23308 23310 23310 0 -1 4202560 2541 0 0 0 50 0 0 0 21 0 19 0 869253185 8745562112 44744 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446604461265832128 0 0 -1 3 0 0 0
[pid=23310/tid=23325] ppid=23308 vsize=8540588 CPUtime=0.39 cores=1,3,5,7
/proc/23310/task/23325/stat : 23325 (java) S 23308 23310 23310 0 -1 4202560 3658 0 0 0 39 0 0 0 24 0 19 0 869253185 8745562112 44744 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446604461265832128 0 0 -1 5 0 0 0
[pid=23310/tid=23326] ppid=23308 vsize=8540588 CPUtime=0 cores=1,3,5,7
/proc/23310/task/23326/stat : 23326 (java) S 23308 23310 23310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869253185 8745562112 44744 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446604461265832128 0 0 -1 7 0 0 0
[pid=23310/tid=23327] ppid=23308 vsize=8540588 CPUtime=0 cores=1,3,5,7
/proc/23310/task/23327/stat : 23327 (java) S 23308 23310 23310 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869253185 8745562112 44744 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488511488 0 4 0 16800975 18446604461265832128 0 0 -1 3 0 0 0
[pid=23310/tid=23328] ppid=23308 vsize=8540588 CPUtime=0 cores=1,3,5,7
/proc/23310/task/23328/stat : 23328 (java) S 23308 23310 23310 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869253237 8745562112 44744 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488511488 0 4 0 16800975 18446604461265832128 0 0 -1 5 0 0 0
[pid=23302/tid=23309] ppid=23300 vsize=299336 CPUtime=0 cores=1,3,5,7
/proc/23302/task/23309/stat : 23309 (python) S 23300 23302 23102 0 -1 4202560 29 930 0 0 0 0 0 0 18 0 2 0 869253123 306520064 8703 33554432000 4194304 5683644 140733994101504 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454954760000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 9129016
[startup+6.30166 s]
/proc/loadavg: 2.36 1.11 0.43 3/630 23328
/proc/meminfo: memFree=23350164/32950928 swapFree=67056572/67111528
[pid=23302] ppid=23300 vsize=299336 CPUtime=0.93 cores=1,3,5,7
/proc/23302/stat : 23302 (python) S 23300 23302 23102 0 -1 4202496 12042 930 1 0 78 15 0 0 18 0 2 0 869253005 306520064 8703 33554432000 4194304 5683644 140733994101504 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23302/statm: 74834 8703 1870 364 0 9721 0
[pid=23308] ppid=23302 vsize=289092 CPUtime=0.02 cores=1,3,5,7
/proc/23308/stat : 23308 (python) S 23302 23302 23102 0 -1 4202560 900 0 0 0 1 1 0 0 15 0 1 0 869253123 296030208 7204 33554432000 4194304 5683644 140733994101504 18446744073709551615 239476715023 0 0 16781312 33554946 4294934789 0 0 17 3 0 0 0
/proc/23308/statm: 72273 7204 375 364 0 7160 0
[pid=23310] ppid=23308 vsize=8540588 CPUtime=5.57 cores=1,3,5,7
/proc/23310/stat : 23310 (java) S 23308 23310 23310 0 -1 4202496 92202 0 1 0 546 11 0 0 18 0 19 0 869253123 8745562112 89551 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23310/statm: 2135147 89553 2256 9 0 2125888 0
[pid=23310/tid=23311] ppid=23308 vsize=8540588 CPUtime=4.4 cores=1,3,5,7
/proc/23310/task/23311/stat : 23311 (java) R 23308 23310 23310 0 -1 4202560 72916 0 1 0 432 8 0 0 25 0 19 0 869253181 8745562112 89555 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 46912505650303 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23310/tid=23312] ppid=23308 vsize=8540588 CPUtime=0.02 cores=1,3,5,7
/proc/23310/task/23312/stat : 23312 (java) S 23308 23310 23310 0 -1 4202560 1840 0 0 0 2 0 0 0 16 0 19 0 869253182 8745562112 89558 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446604461265832128 0 0 -1 7 0 0 0
[pid=23310/tid=23313] ppid=23308 vsize=8540588 CPUtime=0.02 cores=1,3,5,7
/proc/23310/task/23313/stat : 23313 (java) S 23308 23310 23310 0 -1 4202560 2252 0 0 0 2 0 0 0 16 0 19 0 869253182 8745562112 89561 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446604461265832128 0 0 -1 3 0 0 0
[pid=23310/tid=23314] ppid=23308 vsize=8540588 CPUtime=0.03 cores=1,3,5,7
/proc/23310/task/23314/stat : 23314 (java) S 23308 23310 23310 0 -1 4202560 2412 0 0 0 3 0 0 0 16 0 19 0 869253182 8745562112 89563 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446604461265832128 0 0 -1 5 0 0 0
[pid=23310/tid=23315] ppid=23308 vsize=8540588 CPUtime=0.01 cores=1,3,5,7
/proc/23310/task/23315/stat : 23315 (java) S 23308 23310 23310 0 -1 4202560 920 0 0 0 1 0 0 0 15 0 19 0 869253182 8745562112 89564 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446604461265832128 0 0 -1 5 0 0 0
[pid=23310/tid=23316] ppid=23308 vsize=8540588 CPUtime=0 cores=1,3,5,7
/proc/23310/task/23316/stat : 23316 (java) S 23308 23310 23310 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 869253182 8745562112 89564 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446604461265832128 0 0 -1 3 0 0 0
[pid=23310/tid=23317] ppid=23308 vsize=8540588 CPUtime=0 cores=1,3,5,7
/proc/23310/task/23317/stat : 23317 (java) S 23308 23310 23310 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 19 0 869253182 8745562112 89568 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446604461265832128 0 0 -1 3 0 0 0
[pid=23310/tid=23318] ppid=23308 vsize=8540588 CPUtime=0 cores=1,3,5,7
/proc/23310/task/23318/stat : 23318 (java) S 23308 23310 23310 0 -1 4202560 560 0 0 0 0 0 0 0 15 0 19 0 869253182 8745562112 89570 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446604461265832128 0 0 -1 5 0 0 0
[pid=23310/tid=23319] ppid=23308 vsize=8540588 CPUtime=0.01 cores=1,3,5,7
/proc/23310/task/23319/stat : 23319 (java) S 23308 23310 23310 0 -1 4202560 733 0 0 0 1 0 0 0 15 0 19 0 869253182 8745562112 89572 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446604461265832128 0 0 -1 5 0 0 0
[pid=23310/tid=23320] ppid=23308 vsize=8540588 CPUtime=0.05 cores=1,3,5,7
/proc/23310/task/23320/stat : 23320 (java) S 23308 23310 23310 0 -1 4202560 2728 0 0 0 5 0 0 0 15 0 19 0 869253183 8745562112 89574 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488511488 0 0 0 16800975 18446604461265832128 0 0 -1 1 0 0 0
[pid=23310/tid=23321] ppid=23308 vsize=8540588 CPUtime=0 cores=1,3,5,7
/proc/23310/task/23321/stat : 23321 (java) S 23308 23310 23310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869253183 8745562112 89578 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446604461265832128 0 0 -1 1 0 0 0
[pid=23310/tid=23322] ppid=23308 vsize=8540588 CPUtime=0 cores=1,3,5,7
/proc/23310/task/23322/stat : 23322 (java) S 23308 23310 23310 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869253183 8745562112 89581 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446604461265832128 0 0 -1 7 0 0 0
[pid=23310/tid=23323] ppid=23308 vsize=8540588 CPUtime=0 cores=1,3,5,7
/proc/23310/task/23323/stat : 23323 (java) S 23308 23310 23310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869253185 8745562112 89584 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488518577 0 4 0 16800975 18446604461265832128 0 0 -1 7 0 0 0
[pid=23310/tid=23324] ppid=23308 vsize=8540588 CPUtime=0.53 cores=1,3,5,7
/proc/23310/task/23324/stat : 23324 (java) S 23308 23310 23310 0 -1 4202560 2546 0 0 0 53 0 0 0 15 0 19 0 869253185 8745562112 89586 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446604461265832128 0 0 -1 3 0 0 0
[pid=23310/tid=23325] ppid=23308 vsize=8540588 CPUtime=0.41 cores=1,3,5,7
/proc/23310/task/23325/stat : 23325 (java) S 23308 23310 23310 0 -1 4202560 3667 0 0 0 41 0 0 0 16 0 19 0 869253185 8745562112 89589 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446604461265832128 0 0 -1 5 0 0 0
[pid=23310/tid=23326] ppid=23308 vsize=8540588 CPUtime=0 cores=1,3,5,7
/proc/23310/task/23326/stat : 23326 (java) S 23308 23310 23310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869253185 8745562112 89591 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446604461265832128 0 0 -1 7 0 0 0
[pid=23310/tid=23327] ppid=23308 vsize=8540588 CPUtime=0 cores=1,3,5,7
/proc/23310/task/23327/stat : 23327 (java) S 23308 23310 23310 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869253185 8745562112 89593 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488511488 0 4 0 16800975 18446604461265832128 0 0 -1 3 0 0 0
[pid=23310/tid=23328] ppid=23308 vsize=8540588 CPUtime=0 cores=1,3,5,7
/proc/23310/task/23328/stat : 23328 (java) S 23308 23310 23310 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869253237 8745562112 89596 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488511488 0 4 0 16800975 18446604461265832128 0 0 -1 5 0 0 0
[pid=23302/tid=23309] ppid=23300 vsize=299336 CPUtime=0 cores=1,3,5,7
/proc/23302/task/23309/stat : 23309 (python) S 23300 23302 23102 0 -1 4202560 29 930 0 0 0 0 0 0 18 0 2 0 869253123 306520064 8703 33554432000 4194304 5683644 140733994101504 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454954760000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.52
Current children cumulated vsize (KiB) 9129016
[startup+12.7014 s]
/proc/loadavg: 2.34 1.13 0.44 3/630 23328
/proc/meminfo: memFree=22861340/32950928 swapFree=67056572/67111528
[pid=23302] ppid=23300 vsize=299336 CPUtime=0.93 cores=1,3,5,7
/proc/23302/stat : 23302 (python) S 23300 23302 23102 0 -1 4202496 12042 930 1 0 78 15 0 0 18 0 2 0 869253005 306520064 8703 33554432000 4194304 5683644 140733994101504 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23302/statm: 74834 8703 1870 364 0 9721 0
[pid=23308] ppid=23302 vsize=289092 CPUtime=0.03 cores=1,3,5,7
/proc/23308/stat : 23308 (python) S 23302 23302 23102 0 -1 4202560 906 0 0 0 1 2 0 0 15 0 1 0 869253123 296030208 7204 33554432000 4194304 5683644 140733994101504 18446744073709551615 239476715023 0 0 16781312 33554946 4294934789 0 0 17 1 0 0 0
/proc/23308/statm: 72273 7204 375 364 0 7160 0
[pid=23310] ppid=23308 vsize=8540588 CPUtime=12.04 cores=1,3,5,7
/proc/23310/stat : 23310 (java) S 23308 23310 23310 0 -1 4202496 208075 0 1 0 1180 24 0 0 18 0 19 0 869253123 8745562112 205403 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23310/statm: 2135147 205406 2256 9 0 2125888 0
[pid=23310/tid=23311] ppid=23308 vsize=8540588 CPUtime=10.7 cores=1,3,5,7
/proc/23310/task/23311/stat : 23311 (java) R 23308 23310 23310 0 -1 4202560 185513 0 1 0 1050 20 0 0 25 0 19 0 869253181 8745562112 205558 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 46912505790725 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23310/tid=23312] ppid=23308 vsize=8540588 CPUtime=0.02 cores=1,3,5,7
/proc/23310/task/23312/stat : 23312 (java) S 23308 23310 23310 0 -1 4202560 2231 0 0 0 2 0 0 0 15 0 19 0 869253182 8745562112 205560 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446604461265832128 0 0 -1 7 0 0 0
[pid=23310/tid=23313] ppid=23308 vsize=8540588 CPUtime=0.02 cores=1,3,5,7
/proc/23310/task/23313/stat : 23313 (java) S 23308 23310 23310 0 -1 4202560 2262 0 0 0 2 0 0 0 15 0 19 0 869253182 8745562112 205560 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446604461265832128 0 0 -1 7 0 0 0
[pid=23310/tid=23314] ppid=23308 vsize=8540588 CPUtime=0.03 cores=1,3,5,7
/proc/23310/task/23314/stat : 23314 (java) S 23308 23310 23310 0 -1 4202560 2473 0 0 0 3 0 0 0 15 0 19 0 869253182 8745562112 205560 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446604461265832128 0 0 -1 7 0 0 0
[pid=23310/tid=23315] ppid=23308 vsize=8540588 CPUtime=0.01 cores=1,3,5,7
################
# More data... #
################
[pid=23302/tid=23336] ppid=23300 vsize=340360 CPUtime=0 cores=1,3,5,7
/proc/23302/task/23336/stat : 23336 (python) S 23300 23302 23102 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 6 0 869258073 348528640 8728 33554432000 4194304 5683644 140733994101504 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454954760000 0 0 -1 5 0 0 0
[pid=23302/tid=23342] ppid=23300 vsize=340360 CPUtime=0 cores=1,3,5,7
/proc/23302/task/23342/stat : 23342 (python) S 23300 23302 23102 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 6 0 869262915 348528640 8728 33554432000 4194304 5683644 140733994101504 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454954760000 0 0 -1 1 0 0 0
[pid=23302/tid=23347] ppid=23300 vsize=340360 CPUtime=0 cores=1,3,5,7
/proc/23302/task/23347/stat : 23347 (python) S 23300 23302 23102 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 6 0 869267852 348528640 8728 33554432000 4194304 5683644 140733994101504 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454954760000 0 0 -1 1 0 0 0
[pid=23302/tid=23353] ppid=23300 vsize=340360 CPUtime=0 cores=1,3,5,7
/proc/23302/task/23353/stat : 23353 (python) S 23300 23302 23102 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 6 0 869272689 348528640 8728 33554432000 4194304 5683644 140733994101504 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454954760000 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 223.8
Current children cumulated vsize (KiB) 11184480
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+248.102 s]
/proc/loadavg: 2.00 1.59 0.78 6/672 23377
/proc/meminfo: memFree=21752812/32950928 swapFree=67056572/67111528
[pid=23302] ppid=23300 vsize=350616 CPUtime=1.06 cores=1,3,5,7
/proc/23302/stat : 23302 (python) S 23300 23302 23102 0 -1 4202496 16501 930 1 0 90 16 0 0 20 0 7 0 869253005 359030784 8734 33554432000 4194304 5683644 140733994101504 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/23302/statm: 87654 8734 1881 364 0 22526 0
[pid=23308] ppid=23302 vsize=299336 CPUtime=0.24 cores=1,3,5,7
/proc/23308/stat : 23308 (python) S 23302 23302 23102 0 -1 4202560 1093 0 0 0 11 13 0 0 16 0 2 0 869253123 306520064 7240 33554432000 4194304 5683644 140733994101504 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/23308/statm: 74834 7240 406 364 0 9721 0
[pid=23310] ppid=23308 vsize=8540588 CPUtime=50.1 cores=1,3,5,7
/proc/23310/stat : 23310 (java) T 23308 23310 23310 0 -1 4202496 279818 0 1 0 4976 34 0 0 18 0 19 0 869253123 8745562112 260584 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23310/statm: 2135147 260584 2256 9 0 2125888 0
[pid=23310/tid=23311] ppid=23308 vsize=8540588 CPUtime=48.22 cores=1,3,5,7
/proc/23310/task/23311/stat : 23311 (java) T 23308 23310 23310 0 -1 4202560 250731 0 1 0 4794 28 0 0 25 0 19 0 869253181 8745562112 260584 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 46912505826456 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23310/tid=23312] ppid=23308 vsize=8540588 CPUtime=0.05 cores=1,3,5,7
/proc/23310/task/23312/stat : 23312 (java) T 23308 23310 23310 0 -1 4202560 3789 0 0 0 5 0 0 0 15 0 19 0 869253182 8745562112 260584 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23310/tid=23313] ppid=23308 vsize=8540588 CPUtime=0.06 cores=1,3,5,7
/proc/23310/task/23313/stat : 23313 (java) T 23308 23310 23310 0 -1 4202560 3252 0 0 0 6 0 0 0 15 0 19 0 869253182 8745562112 260584 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23310/tid=23314] ppid=23308 vsize=8540588 CPUtime=0.05 cores=1,3,5,7
/proc/23310/task/23314/stat : 23314 (java) T 23308 23310 23310 0 -1 4202560 2744 0 0 0 5 0 0 0 15 0 19 0 869253182 8745562112 260584 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23310/tid=23315] ppid=23308 vsize=8540588 CPUtime=0.05 cores=1,3,5,7
/proc/23310/task/23315/stat : 23315 (java) T 23308 23310 23310 0 -1 4202560 1489 0 0 0 5 0 0 0 15 0 19 0 869253182 8745562112 260584 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23310/tid=23316] ppid=23308 vsize=8540588 CPUtime=0.04 cores=1,3,5,7
/proc/23310/task/23316/stat : 23316 (java) T 23308 23310 23310 0 -1 4202560 2417 0 0 0 4 0 0 0 15 0 19 0 869253182 8745562112 260584 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23310/tid=23317] ppid=23308 vsize=8540588 CPUtime=0.03 cores=1,3,5,7
/proc/23310/task/23317/stat : 23317 (java) T 23308 23310 23310 0 -1 4202560 635 0 0 0 3 0 0 0 15 0 19 0 869253182 8745562112 260584 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23310/tid=23318] ppid=23308 vsize=8540588 CPUtime=0.02 cores=1,3,5,7
/proc/23310/task/23318/stat : 23318 (java) T 23308 23310 23310 0 -1 4202560 826 0 0 0 2 0 0 0 15 0 19 0 869253182 8745562112 260584 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23310/tid=23319] ppid=23308 vsize=8540588 CPUtime=0.05 cores=1,3,5,7
/proc/23310/task/23319/stat : 23319 (java) T 23308 23310 23310 0 -1 4202560 2031 0 0 0 5 0 0 0 15 0 19 0 869253182 8745562112 260584 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23310/tid=23320] ppid=23308 vsize=8540588 CPUtime=0.43 cores=1,3,5,7
/proc/23310/task/23320/stat : 23320 (java) T 23308 23310 23310 0 -1 4202560 4292 0 0 0 42 1 0 0 15 0 19 0 869253183 8745562112 260584 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488511488 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23310/tid=23321] ppid=23308 vsize=8540588 CPUtime=0 cores=1,3,5,7
/proc/23310/task/23321/stat : 23321 (java) T 23308 23310 23310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869253183 8745562112 260584 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23310/tid=23322] ppid=23308 vsize=8540588 CPUtime=0 cores=1,3,5,7
/proc/23310/task/23322/stat : 23322 (java) T 23308 23310 23310 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869253183 8745562112 260584 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23310/tid=23323] ppid=23308 vsize=8540588 CPUtime=0 cores=1,3,5,7
/proc/23310/task/23323/stat : 23323 (java) T 23308 23310 23310 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869253185 8745562112 260584 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488518577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23310/tid=23324] ppid=23308 vsize=8540588 CPUtime=0.56 cores=1,3,5,7
/proc/23310/task/23324/stat : 23324 (java) T 23308 23310 23310 0 -1 4202560 2565 0 0 0 56 0 0 0 15 0 19 0 869253185 8745562112 260584 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23310/tid=23325] ppid=23308 vsize=8540588 CPUtime=0.42 cores=1,3,5,7
/proc/23310/task/23325/stat : 23325 (java) T 23308 23310 23310 0 -1 4202560 3667 0 0 0 42 0 0 0 15 0 19 0 869253185 8745562112 260584 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23310/tid=23326] ppid=23308 vsize=8540588 CPUtime=0 cores=1,3,5,7
/proc/23310/task/23326/stat : 23326 (java) T 23308 23310 23310 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869253185 8745562112 260584 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23310/tid=23327] ppid=23308 vsize=8540588 CPUtime=0 cores=1,3,5,7
/proc/23310/task/23327/stat : 23327 (java) T 23308 23310 23310 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869253185 8745562112 260584 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488511488 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23310/tid=23328] ppid=23308 vsize=8540588 CPUtime=0 cores=1,3,5,7
/proc/23310/task/23328/stat : 23328 (java) T 23308 23310 23310 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869253237 8745562112 260584 33554432000 1073741824 1073778376 140736895188480 18446744073709551615 239488511488 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23308/tid=23334] ppid=23302 vsize=299336 CPUtime=0 cores=1,3,5,7
/proc/23308/task/23334/stat : 23334 (python) S 23302 23302 23102 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869258070 306520064 7240 33554432000 4194304 5683644 140733994101504 18446744073709551615 239488518577 0 0 16781312 33554946 18446604463932799680 0 0 -1 5 0 0 0
[pid=23335] ppid=23302 vsize=299348 CPUtime=0.22 cores=1,3,5,7
/proc/23335/stat : 23335 (python) S 23302 23302 23102 0 -1 4202560 1117 0 0 0 10 12 0 0 19 0 2 0 869258073 306532352 7230 33554432000 4194304 5683644 140733994101504 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23335/statm: 74837 7230 396 364 0 9721 0
[pid=23337] ppid=23335 vsize=323328 CPUtime=48.38 cores=1,3,5,7
/proc/23337/stat : 23337 (pbct-0.1.2-linu) T 23335 23337 23337 0 -1 4202496 84135 0 0 0 4792 46 0 0 25 0 1 0 869258073 331087872 76787 33554432000 134512640 136422188 4286816288 18446744073709551615 134862210 0 0 16781312 16387 18446744071562691360 0 0 17 1 0 0 0
/proc/23337/statm: 80832 76787 216 467 0 80363 0
[pid=23335/tid=23340] ppid=23302 vsize=299348 CPUtime=0 cores=1,3,5,7
/proc/23335/task/23340/stat : 23340 (python) S 23302 23302 23102 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 869262912 306532352 7230 33554432000 4194304 5683644 140733994101504 18446744073709551615 239488518577 0 0 16781312 33554946 18446604460409768832 0 0 -1 7 0 0 0
[pid=23341] ppid=23302 vsize=309604 CPUtime=0.38 cores=1,3,5,7
/proc/23341/stat : 23341 (python) S 23302 23302 23102 0 -1 4202560 1163 0 0 0 23 15 0 0 16 0 2 0 869262915 317034496 7240 33554432000 4194304 5683644 140733994101504 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23341/statm: 77401 7240 402 364 0 12282 0
[pid=23343] ppid=23341 vsize=298048 CPUtime=49.33 cores=1,3,5,7
/proc/23343/stat : 23343 (wbo1.4a) T 23341 23343 23343 0 -1 4202496 116299 0 0 0 4646 287 0 0 25 0 1 0 869262915 305201152 73926 33554432000 134512640 135751879 4288785056 18446744073709551615 134517408 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/23343/statm: 74512 73926 146 303 0 74207 0
[pid=23341/tid=23345] ppid=23302 vsize=309604 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23345/stat : 23345 (python) S 23302 23302 23102 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 869267849 317034496 7240 33554432000 4194304 5683644 140733994101504 18446744073709551615 239488518577 0 0 16781312 33554946 18446604466125451328 0 0 -1 7 0 0 0
[pid=23346] ppid=23302 vsize=319860 CPUtime=0.23 cores=1,3,5,7
/proc/23346/stat : 23346 (python) S 23302 23302 23102 0 -1 4202560 1209 0 0 0 11 12 0 0 17 0 2 0 869267852 327536640 7244 33554432000 4194304 5683644 140733994101504 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23346/statm: 79965 7244 402 364 0 14843 0
[pid=23348] ppid=23346 vsize=9528 CPUtime=48.33 cores=1,3,5,7
/proc/23348/stat : 23348 (clasp-1.3.7-x86) T 23346 23348 23348 0 -1 4202496 2416 0 0 0 4833 0 0 0 25 0 1 0 869267852 9756672 2140 33554432000 134512640 136139019 4291607344 18446744073709551615 134883787 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/23348/statm: 2382 2140 189 398 0 1982 0
[pid=23346/tid=23351] ppid=23302 vsize=319860 CPUtime=0 cores=1,3,5,7
/proc/23346/task/23351/stat : 23351 (python) S 23302 23302 23102 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869272686 327536640 7244 33554432000 4194304 5683644 140733994101504 18446744073709551615 239488518577 0 0 16781312 33554946 18446604466125453120 0 0 -1 7 0 0 0
[pid=23352] ppid=23302 vsize=330116 CPUtime=0.25 cores=1,3,5,7
/proc/23352/stat : 23352 (python) S 23302 23302 23102 0 -1 4202560 1132 0 0 0 12 13 0 0 16 0 2 0 869272689 338038784 7242 33554432000 4194304 5683644 140733994101504 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23352/statm: 82529 7242 396 364 0 17404 0
[pid=23354] ppid=23352 vsize=150612 CPUtime=50.84 cores=1,3,5,7
/proc/23354/stat : 23354 (scip-2.0.1.linu) T 23352 23354 23354 0 -1 4202496 45128 0 0 0 5028 56 0 0 25 0 1 0 869272689 154226688 35077 33554432000 4194304 13684479 140733610897392 18446744073709551615 7154600 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/23354/statm: 37653 35077 827 2317 0 35331 0
[pid=23352/tid=23357] ppid=23302 vsize=330116 CPUtime=0 cores=1,3,5,7
/proc/23352/task/23357/stat : 23357 (python) S 23302 23302 23102 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869277773 338038784 7242 33554432000 4194304 5683644 140733994101504 18446744073709551615 239488518577 0 0 16781312 33554946 18446604457854035072 0 0 -1 7 0 0 0
[pid=23358] ppid=23302 vsize=340372 CPUtime=0 cores=1,3,5,7
/proc/23358/stat : 23358 (python) S 23302 23302 23102 0 -1 4202560 832 0 0 0 0 0 0 0 18 0 1 0 869277776 348540928 7197 33554432000 4194304 5683644 140733994101504 18446744073709551615 239476715078 0 0 16781312 33554946 3232246740333625344 0 0 17 3 0 0 0
/proc/23358/statm: 85093 7197 348 364 0 19965 0
[pid=23360] ppid=23358 vsize=8535352 CPUtime=0.73 cores=1,3,5,7
/proc/23360/stat : 23360 (java) S 23358 23360 23360 0 -1 4202496 16948 0 1 0 71 2 0 0 18 0 18 0 869277776 8740200448 15295 33554432000 1073741824 1073778376 140737378030256 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23360/statm: 2133838 15296 2207 9 0 2124579 0
[pid=23360/tid=23361] ppid=23358 vsize=8536232 CPUtime=0.4 cores=1,3,5,7
/proc/23360/task/23361/stat : 23361 (java) R 23358 23360 23360 0 -1 4202560 12579 0 1 0 39 1 0 0 23 0 18 0 869277777 8741101568 15652 33554432000 1073741824 1073778376 140737378030256 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23360/tid=23362] ppid=23358 vsize=8536232 CPUtime=0 cores=1,3,5,7
/proc/23360/task/23362/stat : 23362 (java) S 23358 23360 23360 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869277778 8741101568 15654 33554432000 1073741824 1073778376 140737378030256 18446744073709551615 239488510873 0 4 0 16800975 18446604464443935488 0 0 -1 5 0 0 0
[pid=23360/tid=23363] ppid=23358 vsize=8536232 CPUtime=0 cores=1,3,5,7
/proc/23360/task/23363/stat : 23363 (java) S 23358 23360 23360 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869277778 8741101568 15655 33554432000 1073741824 1073778376 140737378030256 18446744073709551615 239488510873 0 4 0 16800975 18446604464443935488 0 0 -1 7 0 0 0
[pid=23360/tid=23364] ppid=23358 vsize=8536232 CPUtime=0 cores=1,3,5,7
/proc/23360/task/23364/stat : 23364 (java) S 23358 23360 23360 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869277778 8741101568 15656 33554432000 1073741824 1073778376 140737378030256 18446744073709551615 239488510873 0 4 0 16800975 18446604464443935488 0 0 -1 7 0 0 0
[pid=23360/tid=23365] ppid=23358 vsize=8536232 CPUtime=0 cores=1,3,5,7
/proc/23360/task/23365/stat : 23365 (java) S 23358 23360 23360 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869277778 8741101568 15658 33554432000 1073741824 1073778376 140737378030256 18446744073709551615 239488510873 0 4 0 16800975 18446604464443935488 0 0 -1 7 0 0 0
[pid=23360/tid=23366] ppid=23358 vsize=8536232 CPUtime=0 cores=1,3,5,7
/proc/23360/task/23366/stat : 23366 (java) S 23358 23360 23360 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869277778 8741101568 15659 33554432000 1073741824 1073778376 140737378030256 18446744073709551615 239488510873 0 4 0 16800975 18446604464443935488 0 0 -1 7 0 0 0
[pid=23360/tid=23367] ppid=23358 vsize=8536232 CPUtime=0 cores=1,3,5,7
/proc/23360/task/23367/stat : 23367 (java) S 23358 23360 23360 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869277778 8741101568 15660 33554432000 1073741824 1073778376 140737378030256 18446744073709551615 239488510873 0 4 0 16800975 18446604464443935488 0 0 -1 7 0 0 0
[pid=23360/tid=23368] ppid=23358 vsize=8536232 CPUtime=0 cores=1,3,5,7
/proc/23360/task/23368/stat : 23368 (java) S 23358 23360 23360 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869277778 8741101568 15661 33554432000 1073741824 1073778376 140737378030256 18446744073709551615 239488510873 0 4 0 16800975 18446604464443935488 0 0 -1 7 0 0 0
[pid=23360/tid=23369] ppid=23358 vsize=8536232 CPUtime=0 cores=1,3,5,7
/proc/23360/task/23369/stat : 23369 (java) S 23358 23360 23360 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869277778 8741101568 15662 33554432000 1073741824 1073778376 140737378030256 18446744073709551615 239488510873 0 4 0 16800975 18446604464443935488 0 0 -1 7 0 0 0
[pid=23360/tid=23370] ppid=23358 vsize=8536232 CPUtime=0 cores=1,3,5,7
/proc/23360/task/23370/stat : 23370 (java) S 23358 23360 23360 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 18 0 869277779 8741101568 15664 33554432000 1073741824 1073778376 140737378030256 18446744073709551615 239488511488 0 0 0 16800975 18446604464443935488 0 0 -1 3 0 0 0
[pid=23360/tid=23371] ppid=23358 vsize=8536232 CPUtime=0 cores=1,3,5,7
/proc/23360/task/23371/stat : 23371 (java) S 23358 23360 23360 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 869277779 8741101568 15665 33554432000 1073741824 1073778376 140737378030256 18446744073709551615 239488510873 0 4 0 16800975 18446604464443935488 0 0 -1 5 0 0 0
[pid=23360/tid=23372] ppid=23358 vsize=8536232 CPUtime=0 cores=1,3,5,7
/proc/23360/task/23372/stat : 23372 (java) S 23358 23360 23360 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 869277779 8741101568 15667 33554432000 1073741824 1073778376 140737378030256 18446744073709551615 239488510873 0 4 0 16800975 18446604464443935488 0 0 -1 5 0 0 0
[pid=23360/tid=23373] ppid=23358 vsize=8536232 CPUtime=0 cores=1,3,5,7
/proc/23360/task/23373/stat : 23373 (java) S 23358 23360 23360 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869277782 8741101568 15668 33554432000 1073741824 1073778376 140737378030256 18446744073709551615 239488518577 0 4 0 16800975 18446604464443935488 0 0 -1 5 0 0 0
[pid=23360/tid=23374] ppid=23358 vsize=8536232 CPUtime=0.15 cores=1,3,5,7
/proc/23360/task/23374/stat : 23374 (java) R 23358 23360 23360 0 -1 4202560 1781 0 0 0 15 0 0 0 17 0 18 0 869277782 8741101568 15669 33554432000 1073741824 1073778376 140737378030256 18446744073709551615 239488520885 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23360/tid=23375] ppid=23358 vsize=8536232 CPUtime=0.17 cores=1,3,5,7
/proc/23360/task/23375/stat : 23375 (java) R 23358 23360 23360 0 -1 4202560 1646 0 0 0 17 0 0 0 19 0 18 0 869277782 8741101568 15670 33554432000 1073741824 1073778376 140737378030256 18446744073709551615 239476388845 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23360/tid=23376] ppid=23358 vsize=8536232 CPUtime=0 cores=1,3,5,7
/proc/23360/task/23376/stat : 23376 (java) S 23358 23360 23360 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869277782 8741101568 15672 33554432000 1073741824 1073778376 140737378030256 18446744073709551615 239488510873 0 4 0 16800975 18446604464443935488 0 0 -1 5 0 0 0
[pid=23360/tid=23377] ppid=23358 vsize=8536232 CPUtime=0 cores=1,3,5,7
/proc/23360/task/23377/stat : 23377 (java) S 23358 23360 23360 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869277782 8741101568 15673 33554432000 1073741824 1073778376 140737378030256 18446744073709551615 239488511488 0 4 0 16800975 18446604464443935488 0 0 -1 5 0 0 0
[pid=23302/tid=23309] ppid=23300 vsize=350616 CPUtime=0 cores=1,3,5,7
/proc/23302/task/23309/stat : 23309 (python) S 23300 23302 23102 0 -1 4202560 29 930 0 0 0 0 0 0 18 0 7 0 869253123 359030784 8734 33554432000 4194304 5683644 140733994101504 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454954760000 0 0 -1 7 0 0 0
[pid=23302/tid=23336] ppid=23300 vsize=350616 CPUtime=0 cores=1,3,5,7
/proc/23302/task/23336/stat : 23336 (python) S 23300 23302 23102 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 7 0 869258073 359030784 8734 33554432000 4194304 5683644 140733994101504 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454954760000 0 0 -1 5 0 0 0
[pid=23302/tid=23342] ppid=23300 vsize=350616 CPUtime=0 cores=1,3,5,7
/proc/23302/task/23342/stat : 23342 (python) S 23300 23302 23102 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 7 0 869262915 359030784 8734 33554432000 4194304 5683644 140733994101504 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454954760000 0 0 -1 1 0 0 0
[pid=23302/tid=23347] ppid=23300 vsize=350616 CPUtime=0 cores=1,3,5,7
/proc/23302/task/23347/stat : 23347 (python) S 23300 23302 23102 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 7 0 869267852 359030784 8734 33554432000 4194304 5683644 140733994101504 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454954760000 0 0 -1 1 0 0 0
[pid=23302/tid=23353] ppid=23300 vsize=350616 CPUtime=0 cores=1,3,5,7
/proc/23302/task/23353/stat : 23353 (python) S 23300 23302 23102 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 7 0 869272689 359030784 8734 33554432000 4194304 5683644 140733994101504 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454954760000 0 0 -1 1 0 0 0
[pid=23302/tid=23359] ppid=23300 vsize=350616 CPUtime=0 cores=1,3,5,7
/proc/23302/task/23359/stat : 23359 (python) S 23300 23302 23102 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 7 0 869277776 359030784 8734 33554432000 4194304 5683644 140733994101504 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454954760000 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 250.09
Current children cumulated vsize (KiB) 20106708
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23302 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=902862
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=167974
# CPU time returned by wait4() is 1.07084
# while last known CPU time is 250.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 248.195
CPU time (s): 250.09
CPU user time (s): 245.03
CPU system time (s): 5.06
CPU usage (%): 100.763
Max. virtual memory (cumulated for all children) (KiB): 20106708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.902862
system time used= 0.167974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17434
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= 2869
involuntary context switches= 19
runsolver used 1.91471 second user time and 4.15237 second system time
The end