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-3481184-1307578577/watcher-3481184-1307578577 -o /tmp/evaluation-result-3481184-1307578577/solver-3481184-1307578577 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481184-1307578577.opb -seed 923846817 -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.65 2.27 1.96 2/813 4248
/proc/meminfo: memFree=8685096/32950928 swapFree=34366004/67111528
[pid=4248] ppid=4246 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/4248/stat : 4248 (python) R 4246 4248 2236 0 -1 4202496 928 0 0 0 0 0 0 0 17 0 1 0 869456536 16154624 807 33554432000 4194304 5683644 140734852021616 18446744073709551615 235594862437 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/4248/statm: 3944 807 356 364 0 431 0
[startup+0.0924411 s]
/proc/loadavg: 2.65 2.27 1.96 2/813 4248
/proc/meminfo: memFree=8685096/32950928 swapFree=34366004/67111528
[pid=4248] ppid=4246 vsize=96132 CPUtime=0.07 cores=1,3,5,7
/proc/4248/stat : 4248 (python) S 4246 4248 2236 0 -1 4202496 3034 463 1 0 5 2 0 0 18 0 1 0 869456536 98439168 2484 33554432000 4194304 5683644 140734852021616 18446744073709551615 235594866432 0 0 16781312 2 18446744071562362840 0 0 17 7 0 0 0
/proc/4248/statm: 24033 2484 792 364 0 1628 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96132
[startup+0.100238 s]
/proc/loadavg: 2.65 2.27 1.96 2/813 4248
/proc/meminfo: memFree=8685096/32950928 swapFree=34366004/67111528
[pid=4248] ppid=4246 vsize=96128 CPUtime=0.08 cores=1,3,5,7
/proc/4248/stat : 4248 (python) R 4246 4248 2236 0 -1 4202496 3170 927 1 0 6 2 0 0 18 0 1 0 869456536 98435072 2484 33554432000 4194304 5683644 140734852021616 18446744073709551615 5158141 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4248/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128
[startup+0.300267 s]
/proc/loadavg: 2.65 2.27 1.96 2/813 4248
/proc/meminfo: memFree=8685096/32950928 swapFree=34366004/67111528
[pid=4248] ppid=4246 vsize=202996 CPUtime=0.24 cores=1,3,5,7
/proc/4248/stat : 4248 (python) R 4246 4248 2236 0 -1 4202496 6689 927 1 0 17 7 0 0 17 0 1 0 869456536 207867904 4972 33554432000 4194304 5683644 140734852021616 18446744073709551615 235594862437 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4248/statm: 50749 4972 1472 364 0 3711 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 202996
[startup+0.700196 s]
/proc/loadavg: 2.65 2.27 1.96 2/813 4248
/proc/meminfo: memFree=8685096/32950928 swapFree=34366004/67111528
[pid=4248] ppid=4246 vsize=291868 CPUtime=0.61 cores=1,3,5,7
/proc/4248/stat : 4248 (python) R 4246 4248 2236 0 -1 4202496 11385 927 1 0 51 10 0 0 17 0 1 0 869456536 298872832 9247 33554432000 4194304 5683644 140734852021616 18446744073709551615 235594527429 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4248/statm: 72967 9247 1781 364 0 7860 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 291868
[startup+1.50106 s]
/proc/loadavg: 2.65 2.27 1.96 3/814 4253
/proc/meminfo: memFree=8632884/32950928 swapFree=34366004/67111528
[pid=4248] ppid=4246 vsize=307740 CPUtime=1.38 cores=1,3,5,7
/proc/4248/stat : 4248 (python) S 4246 4248 2236 0 -1 4202496 15665 927 1 0 128 10 0 0 20 0 2 0 869456536 315125760 10774 33554432000 4194304 5683644 140734852021616 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/4248/statm: 76935 10774 1870 364 0 11822 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 307740
[startup+3.10071 s]
/proc/loadavg: 2.65 2.27 1.96 3/834 4273
/proc/meminfo: memFree=8483056/32950928 swapFree=34366004/67111528
[pid=4248] ppid=4246 vsize=307740 CPUtime=1.38 cores=1,3,5,7
/proc/4248/stat : 4248 (python) S 4246 4248 2236 0 -1 4202496 15665 927 1 0 128 10 0 0 20 0 2 0 869456536 315125760 10774 33554432000 4194304 5683644 140734852021616 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/4248/statm: 76935 10774 1870 364 0 11822 0
[pid=4254] ppid=4248 vsize=297496 CPUtime=0 cores=1,3,5,7
/proc/4254/stat : 4254 (python) S 4248 4248 2236 0 -1 4202560 846 0 0 0 0 0 0 0 15 0 1 0 869456684 304635904 9257 33554432000 4194304 5683644 140734852021616 18446744073709551615 235594886671 0 0 16781312 33554946 13662829424330899719 0 0 17 5 0 0 0
/proc/4254/statm: 74374 9257 357 364 0 9261 0
[pid=4256] ppid=4254 vsize=8539284 CPUtime=2.78 cores=1,3,5,7
/proc/4256/stat : 4256 (java) S 4254 4256 4256 0 -1 4202496 52347 0 1 0 271 7 0 0 20 0 19 0 869456684 8744226816 47084 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4256/statm: 2134821 47084 2256 9 0 2125562 0
[pid=4256/tid=4257] ppid=4254 vsize=8539284 CPUtime=1.56 cores=1,3,5,7
/proc/4256/task/4257/stat : 4257 (java) R 4254 4256 4256 0 -1 4202560 35271 0 1 0 151 5 0 0 25 0 19 0 869456685 8744226816 47085 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 46912505964301 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4256/tid=4258] ppid=4254 vsize=8539284 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4258/stat : 4258 (java) S 4254 4256 4256 0 -1 4202560 725 0 0 0 0 0 0 0 15 0 19 0 869456685 8744226816 47085 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446604466482586624 0 0 -1 1 0 0 0
[pid=4256/tid=4259] ppid=4254 vsize=8539284 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4259/stat : 4259 (java) S 4254 4256 4256 0 -1 4202560 387 0 0 0 0 0 0 0 15 0 19 0 869456685 8744226816 47085 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446604466482586624 0 0 -1 1 0 0 0
[pid=4256/tid=4260] ppid=4254 vsize=8539284 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4260/stat : 4260 (java) S 4254 4256 4256 0 -1 4202560 221 0 0 0 0 0 0 0 15 0 19 0 869456685 8744226816 47085 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446604466482586624 0 0 -1 1 0 0 0
[pid=4256/tid=4261] ppid=4254 vsize=8539284 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4261/stat : 4261 (java) S 4254 4256 4256 0 -1 4202560 586 0 0 0 0 0 0 0 15 0 19 0 869456685 8744226816 47085 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446604466482586624 0 0 -1 5 0 0 0
[pid=4256/tid=4262] ppid=4254 vsize=8539284 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4262/stat : 4262 (java) S 4254 4256 4256 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869456685 8744226816 47085 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446604466482586624 0 0 -1 5 0 0 0
[pid=4256/tid=4263] ppid=4254 vsize=8539284 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4263/stat : 4263 (java) S 4254 4256 4256 0 -1 4202560 599 0 0 0 0 0 0 0 15 0 19 0 869456685 8744226816 47085 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446604466482586624 0 0 -1 1 0 0 0
[pid=4256/tid=4264] ppid=4254 vsize=8539284 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4264/stat : 4264 (java) S 4254 4256 4256 0 -1 4202560 440 0 0 0 0 0 0 0 16 0 19 0 869456685 8744226816 47085 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446604466482586624 0 0 -1 1 0 0 0
[pid=4256/tid=4265] ppid=4254 vsize=8539284 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4265/stat : 4265 (java) S 4254 4256 4256 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869456685 8744226816 47086 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446604466482586624 0 0 -1 5 0 0 0
[pid=4256/tid=4266] ppid=4254 vsize=8539284 CPUtime=0.02 cores=1,3,5,7
/proc/4256/task/4266/stat : 4266 (java) S 4254 4256 4256 0 -1 4202560 1695 0 0 0 2 0 0 0 15 0 19 0 869456686 8744226816 47086 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606683136 0 0 0 16800975 18446604466482586624 0 0 -1 1 0 0 0
[pid=4256/tid=4267] ppid=4254 vsize=8539284 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4267/stat : 4267 (java) S 4254 4256 4256 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 869456687 8744226816 47086 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446604466482586624 0 0 -1 1 0 0 0
[pid=4256/tid=4268] ppid=4254 vsize=8539284 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4268/stat : 4268 (java) S 4254 4256 4256 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 869456687 8744226816 47086 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446604466482586624 0 0 -1 5 0 0 0
[pid=4256/tid=4269] ppid=4254 vsize=8539284 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4269/stat : 4269 (java) S 4254 4256 4256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869456689 8744226816 47086 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606690225 0 4 0 16800975 18446604466482586624 0 0 -1 1 0 0 0
[pid=4256/tid=4270] ppid=4254 vsize=8539284 CPUtime=0.45 cores=1,3,5,7
/proc/4256/task/4270/stat : 4270 (java) S 4254 4256 4256 0 -1 4202560 2342 0 0 0 45 0 0 0 16 0 19 0 869456689 8744226816 47086 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446604466482586624 0 0 -1 7 0 0 0
[pid=4256/tid=4271] ppid=4254 vsize=8539284 CPUtime=0.68 cores=1,3,5,7
/proc/4256/task/4271/stat : 4271 (java) R 4254 4256 4256 0 -1 4202560 8696 0 0 0 67 1 0 0 20 0 19 0 869456689 8744226816 47086 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 47576612579506 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4256/tid=4272] ppid=4254 vsize=8539284 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4272/stat : 4272 (java) S 4254 4256 4256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869456689 8744226816 47086 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446604466482586624 0 0 -1 1 0 0 0
[pid=4256/tid=4273] ppid=4254 vsize=8539284 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4273/stat : 4273 (java) S 4254 4256 4256 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869456689 8744226816 47086 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606683136 0 4 0 16800975 18446604466482586624 0 0 -1 5 0 0 0
[pid=4248/tid=4255] ppid=4246 vsize=307740 CPUtime=0 cores=1,3,5,7
/proc/4248/task/4255/stat : 4255 (python) S 4246 4248 2236 0 -1 4202560 26 927 0 0 0 0 0 0 20 0 2 0 869456684 315125760 10774 33554432000 4194304 5683644 140734852021616 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455693957120 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 9144520
[startup+6.30115 s]
/proc/loadavg: 2.83 2.31 1.98 3/835 4274
/proc/meminfo: memFree=8440820/32950928 swapFree=34366004/67111528
[pid=4248] ppid=4246 vsize=307740 CPUtime=1.38 cores=1,3,5,7
/proc/4248/stat : 4248 (python) S 4246 4248 2236 0 -1 4202496 15665 927 1 0 128 10 0 0 20 0 2 0 869456536 315125760 10774 33554432000 4194304 5683644 140734852021616 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/4248/statm: 76935 10774 1870 364 0 11822 0
[pid=4254] ppid=4248 vsize=297496 CPUtime=0.02 cores=1,3,5,7
/proc/4254/stat : 4254 (python) S 4248 4248 2236 0 -1 4202560 985 0 0 0 1 1 0 0 15 0 1 0 869456684 304635904 9280 33554432000 4194304 5683644 140734852021616 18446744073709551615 235594886671 0 0 16781312 33554946 4294934789 0 0 17 5 0 0 0
/proc/4254/statm: 74374 9280 380 364 0 9261 0
[pid=4256] ppid=4254 vsize=8539704 CPUtime=6.23 cores=1,3,5,7
/proc/4256/stat : 4256 (java) S 4254 4256 4256 0 -1 4202496 54647 0 1 0 616 7 0 0 20 0 19 0 869456684 8744656896 49199 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4256/statm: 2134926 49199 2256 9 0 2125667 0
[pid=4256/tid=4257] ppid=4254 vsize=8539704 CPUtime=4.66 cores=1,3,5,7
/proc/4256/task/4257/stat : 4257 (java) R 4254 4256 4256 0 -1 4202560 35279 0 1 0 461 5 0 0 25 0 19 0 869456685 8744656896 49199 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 46912505872124 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4256/tid=4258] ppid=4254 vsize=8539704 CPUtime=0.01 cores=1,3,5,7
/proc/4256/task/4258/stat : 4258 (java) S 4254 4256 4256 0 -1 4202560 858 0 0 0 1 0 0 0 16 0 19 0 869456685 8744656896 49199 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446604466482586624 0 0 -1 3 0 0 0
[pid=4256/tid=4259] ppid=4254 vsize=8539704 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4259/stat : 4259 (java) S 4254 4256 4256 0 -1 4202560 389 0 0 0 0 0 0 0 15 0 19 0 869456685 8744656896 49199 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446604466482586624 0 0 -1 3 0 0 0
[pid=4256/tid=4260] ppid=4254 vsize=8539704 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4260/stat : 4260 (java) S 4254 4256 4256 0 -1 4202560 221 0 0 0 0 0 0 0 15 0 19 0 869456685 8744656896 49199 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446604466482586624 0 0 -1 3 0 0 0
[pid=4256/tid=4261] ppid=4254 vsize=8539704 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4261/stat : 4261 (java) S 4254 4256 4256 0 -1 4202560 588 0 0 0 0 0 0 0 15 0 19 0 869456685 8744656896 49199 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446604466482586624 0 0 -1 7 0 0 0
[pid=4256/tid=4262] ppid=4254 vsize=8539704 CPUtime=0.01 cores=1,3,5,7
/proc/4256/task/4262/stat : 4262 (java) S 4254 4256 4256 0 -1 4202560 65 0 0 0 1 0 0 0 16 0 19 0 869456685 8744656896 49199 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446604466482586624 0 0 -1 7 0 0 0
[pid=4256/tid=4263] ppid=4254 vsize=8539704 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4263/stat : 4263 (java) S 4254 4256 4256 0 -1 4202560 599 0 0 0 0 0 0 0 15 0 19 0 869456685 8744656896 49199 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446604466482586624 0 0 -1 3 0 0 0
[pid=4256/tid=4264] ppid=4254 vsize=8539704 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4264/stat : 4264 (java) S 4254 4256 4256 0 -1 4202560 440 0 0 0 0 0 0 0 16 0 19 0 869456685 8744656896 49199 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446604466482586624 0 0 -1 3 0 0 0
[pid=4256/tid=4265] ppid=4254 vsize=8539704 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4265/stat : 4265 (java) S 4254 4256 4256 0 -1 4202560 183 0 0 0 0 0 0 0 16 0 19 0 869456685 8744656896 49199 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446604466482586624 0 0 -1 3 0 0 0
[pid=4256/tid=4266] ppid=4254 vsize=8539704 CPUtime=0.11 cores=1,3,5,7
/proc/4256/task/4266/stat : 4266 (java) S 4254 4256 4256 0 -1 4202560 2045 0 0 0 11 0 0 0 16 0 19 0 869456686 8744656896 49199 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606683136 0 0 0 16800975 18446604466482586624 0 0 -1 1 0 0 0
[pid=4256/tid=4267] ppid=4254 vsize=8539704 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4267/stat : 4267 (java) S 4254 4256 4256 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 869456687 8744656896 49199 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446604466482586624 0 0 -1 1 0 0 0
[pid=4256/tid=4268] ppid=4254 vsize=8539704 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4268/stat : 4268 (java) S 4254 4256 4256 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 869456687 8744656896 49199 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446604466482586624 0 0 -1 5 0 0 0
[pid=4256/tid=4269] ppid=4254 vsize=8539704 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4269/stat : 4269 (java) S 4254 4256 4256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869456689 8744656896 49199 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606690225 0 4 0 16800975 18446604466482586624 0 0 -1 1 0 0 0
[pid=4256/tid=4270] ppid=4254 vsize=8539704 CPUtime=0.5 cores=1,3,5,7
/proc/4256/task/4270/stat : 4270 (java) S 4254 4256 4256 0 -1 4202560 2420 0 0 0 50 0 0 0 15 0 19 0 869456689 8744656896 49199 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446604466482586624 0 0 -1 7 0 0 0
[pid=4256/tid=4271] ppid=4254 vsize=8539704 CPUtime=0.87 cores=1,3,5,7
/proc/4256/task/4271/stat : 4271 (java) S 4254 4256 4256 0 -1 4202560 10175 0 0 0 86 1 0 0 15 0 19 0 869456689 8744656896 49199 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446604466482586624 0 0 -1 3 0 0 0
[pid=4256/tid=4272] ppid=4254 vsize=8539704 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4272/stat : 4272 (java) S 4254 4256 4256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869456689 8744656896 49199 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446604466482586624 0 0 -1 1 0 0 0
[pid=4256/tid=4273] ppid=4254 vsize=8539704 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4273/stat : 4273 (java) S 4254 4256 4256 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869456689 8744656896 49199 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606683136 0 4 0 16800975 18446604466482586624 0 0 -1 5 0 0 0
[pid=4256/tid=4274] ppid=4254 vsize=8539704 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4274/stat : 4274 (java) S 4254 4256 4256 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869456752 8744656896 49199 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606683136 0 4 0 16800975 18446604466482586624 0 0 -1 1 0 0 0
[pid=4248/tid=4255] ppid=4246 vsize=307740 CPUtime=0 cores=1,3,5,7
/proc/4248/task/4255/stat : 4255 (python) S 4246 4248 2236 0 -1 4202560 26 927 0 0 0 0 0 0 20 0 2 0 869456684 315125760 10774 33554432000 4194304 5683644 140734852021616 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455693957120 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.63
Current children cumulated vsize (KiB) 9144940
[startup+12.701 s]
/proc/loadavg: 2.77 2.31 1.98 3/839 4279
/proc/meminfo: memFree=8421268/32950928 swapFree=34366004/67111528
[pid=4248] ppid=4246 vsize=307740 CPUtime=1.38 cores=1,3,5,7
/proc/4248/stat : 4248 (python) S 4246 4248 2236 0 -1 4202496 15665 927 1 0 128 10 0 0 20 0 2 0 869456536 315125760 10774 33554432000 4194304 5683644 140734852021616 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/4248/statm: 76935 10774 1870 364 0 11822 0
[pid=4254] ppid=4248 vsize=297496 CPUtime=0.04 cores=1,3,5,7
/proc/4254/stat : 4254 (python) S 4248 4248 2236 0 -1 4202560 988 0 0 0 2 2 0 0 15 0 1 0 869456684 304635904 9280 33554432000 4194304 5683644 140734852021616 18446744073709551615 235594886671 0 0 16781312 33554946 4294934789 0 0 17 7 0 0 0
/proc/4254/statm: 74374 9280 380 364 0 9261 0
[pid=4256] ppid=4254 vsize=8539704 CPUtime=12.65 cores=1,3,5,7
/proc/4256/stat : 4256 (java) S 4254 4256 4256 0 -1 4202496 55315 0 1 0 1258 7 0 0 20 0 19 0 869456684 8744656896 48309 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4256/statm: 2134926 48309 2256 9 0 2125667 0
[pid=4256/tid=4257] ppid=4254 vsize=8539704 CPUtime=10.91 cores=1,3,5,7
/proc/4256/task/4257/stat : 4257 (java) R 4254 4256 4256 0 -1 4202560 35284 0 1 0 1086 5 0 0 25 0 19 0 869456685 8744656896 48309 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 46912505872124 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4256/tid=4258] ppid=4254 vsize=8539704 CPUtime=0.01 cores=1,3,5,7
/proc/4256/task/4258/stat : 4258 (java) S 4254 4256 4256 0 -1 4202560 862 0 0 0 1 0 0 0 15 0 19 0 869456685 8744656896 48309 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446604466482586624 0 0 -1 7 0 0 0
[pid=4256/tid=4259] ppid=4254 vsize=8539704 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4259/stat : 4259 (java) S 4254 4256 4256 0 -1 4202560 483 0 0 0 0 0 0 0 15 0 19 0 869456685 8744656896 48309 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446604466482586624 0 0 -1 3 0 0 0
[pid=4256/tid=4260] ppid=4254 vsize=8539704 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4260/stat : 4260 (java) S 4254 4256 4256 0 -1 4202560 226 0 0 0 0 0 0 0 15 0 19 0 869456685 8744656896 48309 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446604466482586624 0 0 -1 7 0 0 0
[pid=4256/tid=4261] ppid=4254 vsize=8539704 CPUtime=0.01 cores=1,3,5,7
/proc/4256/task/4261/stat : 4261 (java) S 4254 4256 4256 0 -1 4202560 635 0 0 0 1 0 0 0 15 0 19 0 869456685 8744656896 48309 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446604466482586624 0 0 -1 7 0 0 0
[pid=4256/tid=4262] ppid=4254 vsize=8539704 CPUtime=0.01 cores=1,3,5,7
################
# More data... #
################
/proc/4256/statm: 2134926 49570 2256 9 0 2125667 0
[pid=4256/tid=4257] ppid=4254 vsize=8539704 CPUtime=45.58 cores=1,3,5,7
/proc/4256/task/4257/stat : 4257 (java) T 4254 4256 4256 0 -1 4202560 35298 0 1 0 4553 5 0 0 25 0 19 0 869456685 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 46912506055170 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4256/tid=4258] ppid=4254 vsize=8539704 CPUtime=0.05 cores=1,3,5,7
/proc/4256/task/4258/stat : 4258 (java) T 4254 4256 4256 0 -1 4202560 1048 0 0 0 5 0 0 0 15 0 19 0 869456685 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4256/tid=4259] ppid=4254 vsize=8539704 CPUtime=0.03 cores=1,3,5,7
/proc/4256/task/4259/stat : 4259 (java) T 4254 4256 4256 0 -1 4202560 559 0 0 0 3 0 0 0 15 0 19 0 869456685 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4256/tid=4260] ppid=4254 vsize=8539704 CPUtime=0.03 cores=1,3,5,7
/proc/4256/task/4260/stat : 4260 (java) T 4254 4256 4256 0 -1 4202560 305 0 0 0 3 0 0 0 15 0 19 0 869456685 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4256/tid=4261] ppid=4254 vsize=8539704 CPUtime=0.03 cores=1,3,5,7
/proc/4256/task/4261/stat : 4261 (java) T 4254 4256 4256 0 -1 4202560 638 0 0 0 3 0 0 0 15 0 19 0 869456685 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4256/tid=4262] ppid=4254 vsize=8539704 CPUtime=0.03 cores=1,3,5,7
/proc/4256/task/4262/stat : 4262 (java) T 4254 4256 4256 0 -1 4202560 212 0 0 0 3 0 0 0 15 0 19 0 869456685 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4256/tid=4263] ppid=4254 vsize=8539704 CPUtime=0.03 cores=1,3,5,7
/proc/4256/task/4263/stat : 4263 (java) T 4254 4256 4256 0 -1 4202560 607 0 0 0 3 0 0 0 15 0 19 0 869456685 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4256/tid=4264] ppid=4254 vsize=8539704 CPUtime=0.04 cores=1,3,5,7
/proc/4256/task/4264/stat : 4264 (java) T 4254 4256 4256 0 -1 4202560 446 0 0 0 4 0 0 0 15 0 19 0 869456685 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4256/tid=4265] ppid=4254 vsize=8539704 CPUtime=0.03 cores=1,3,5,7
/proc/4256/task/4265/stat : 4265 (java) T 4254 4256 4256 0 -1 4202560 231 0 0 0 3 0 0 0 15 0 19 0 869456685 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4256/tid=4266] ppid=4254 vsize=8539704 CPUtime=0.68 cores=1,3,5,7
/proc/4256/task/4266/stat : 4266 (java) T 4254 4256 4256 0 -1 4202560 3269 0 0 0 68 0 0 0 15 0 19 0 869456686 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606683136 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4256/tid=4267] ppid=4254 vsize=8539704 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4267/stat : 4267 (java) T 4254 4256 4256 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869456687 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4256/tid=4268] ppid=4254 vsize=8539704 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4268/stat : 4268 (java) T 4254 4256 4256 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869456687 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4256/tid=4269] ppid=4254 vsize=8539704 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4269/stat : 4269 (java) T 4254 4256 4256 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869456689 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606690225 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4256/tid=4270] ppid=4254 vsize=8539704 CPUtime=0.5 cores=1,3,5,7
/proc/4256/task/4270/stat : 4270 (java) T 4254 4256 4256 0 -1 4202560 2420 0 0 0 50 0 0 0 15 0 19 0 869456689 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4256/tid=4271] ppid=4254 vsize=8539704 CPUtime=0.88 cores=1,3,5,7
/proc/4256/task/4271/stat : 4271 (java) T 4254 4256 4256 0 -1 4202560 10175 0 0 0 87 1 0 0 15 0 19 0 869456689 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4256/tid=4272] ppid=4254 vsize=8539704 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4272/stat : 4272 (java) T 4254 4256 4256 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869456689 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4256/tid=4273] ppid=4254 vsize=8539704 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4273/stat : 4273 (java) T 4254 4256 4256 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869456689 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606683136 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4256/tid=4274] ppid=4254 vsize=8539704 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4274/stat : 4274 (java) T 4254 4256 4256 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869456752 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606683136 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4254/tid=4281] ppid=4248 vsize=307740 CPUtime=0 cores=1,3,5,7
/proc/4254/task/4281/stat : 4281 (python) S 4248 4248 2236 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869461326 315125760 9316 33554432000 4194304 5683644 140734852021616 18446744073709551615 235606690225 0 0 16781312 33554946 18446604466482585728 0 0 -1 7 0 0 0
[pid=4282] ppid=4248 vsize=307752 CPUtime=0.2 cores=1,3,5,7
/proc/4282/stat : 4282 (python) S 4248 4248 2236 0 -1 4202560 1109 0 0 0 8 12 0 0 16 0 2 0 869461329 315138048 9301 33554432000 4194304 5683644 140734852021616 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4282/statm: 76938 9301 396 364 0 11822 0
[pid=4284] ppid=4282 vsize=121260 CPUtime=48.24 cores=1,3,5,7
/proc/4284/stat : 4284 (pbct-0.1.2-linu) T 4282 4284 4284 0 -1 4202496 31945 0 0 0 4673 151 0 0 25 0 1 0 869461329 124170240 28976 33554432000 134512640 136422188 4293319920 18446744073709551615 134862395 0 0 16781312 16387 18446744071562691360 0 0 17 1 0 0 0
/proc/4284/statm: 30315 28976 236 467 0 29846 0
[pid=4282/tid=4286] ppid=4248 vsize=307752 CPUtime=0 cores=1,3,5,7
/proc/4282/task/4286/stat : 4286 (python) S 4248 4248 2236 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869466153 315138048 9301 33554432000 4194304 5683644 140734852021616 18446744073709551615 235606690225 0 0 16781312 33554946 18446604460155421760 0 0 -1 7 0 0 0
[pid=4287] ppid=4248 vsize=318008 CPUtime=0.23 cores=1,3,5,7
/proc/4287/stat : 4287 (python) S 4248 4248 2236 0 -1 4202560 1112 0 0 0 12 11 0 0 16 0 2 0 869466156 325640192 9305 33554432000 4194304 5683644 140734852021616 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4287/statm: 79502 9305 396 364 0 14383 0
[pid=4289] ppid=4287 vsize=68296 CPUtime=48.44 cores=1,3,5,7
/proc/4289/stat : 4289 (wbo1.4a) T 4287 4289 4289 0 -1 4202496 17525 0 0 0 4793 51 0 0 25 0 1 0 869466156 69935104 16601 33554432000 134512640 135751879 4286871584 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/4289/statm: 17074 16601 146 303 0 16769 0
[pid=4287/tid=4292] ppid=4248 vsize=318008 CPUtime=0 cores=1,3,5,7
/proc/4287/task/4292/stat : 4292 (python) S 4248 4248 2236 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869471002 325640192 9305 33554432000 4194304 5683644 140734852021616 18446744073709551615 235606690225 0 0 16781312 33554946 18446604466482588416 0 0 -1 7 0 0 0
[pid=4293] ppid=4248 vsize=328264 CPUtime=0.17 cores=1,3,5,7
/proc/4293/stat : 4293 (python) S 4248 4248 2236 0 -1 4202560 982 0 0 0 8 9 0 0 15 0 1 0 869471004 336142336 9284 33554432000 4194304 5683644 140734852021616 18446744073709551615 235594886726 0 0 16781312 33554946 5623753486446373611 0 0 17 7 0 0 0
/proc/4293/statm: 82066 9284 372 364 0 16944 0
[pid=4295] ppid=4293 vsize=12400 CPUtime=39.61 cores=1,3,5,7
/proc/4295/stat : 4295 (clasp-1.3.7-x86) R 4293 4295 4295 0 -1 4202496 3307 0 0 0 3961 0 0 0 25 0 1 0 869471005 12697600 2800 33554432000 134512640 136139019 4287817424 18446744073709551615 134883821 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/4295/statm: 3100 2800 188 398 0 2700 0
[pid=4248/tid=4255] ppid=4246 vsize=338508 CPUtime=0 cores=1,3,5,7
/proc/4248/task/4255/stat : 4255 (python) S 4246 4248 2236 0 -1 4202560 26 927 0 0 0 0 0 0 20 0 5 0 869456684 346632192 10793 33554432000 4194304 5683644 140734852021616 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455693957120 0 0 -1 1 0 0 0
[pid=4248/tid=4283] ppid=4246 vsize=338508 CPUtime=0 cores=1,3,5,7
/proc/4248/task/4283/stat : 4283 (python) S 4246 4248 2236 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 5 0 869461329 346632192 10793 33554432000 4194304 5683644 140734852021616 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455693957120 0 0 -1 1 0 0 0
[pid=4248/tid=4288] ppid=4246 vsize=338508 CPUtime=0 cores=1,3,5,7
/proc/4248/task/4288/stat : 4288 (python) S 4246 4248 2236 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 5 0 869466156 346632192 10793 33554432000 4194304 5683644 140734852021616 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455693957120 0 0 -1 7 0 0 0
[pid=4248/tid=4294] ppid=4246 vsize=338508 CPUtime=0 cores=1,3,5,7
/proc/4248/task/4294/stat : 4294 (python) S 4246 4248 2236 0 -1 4202560 30 927 0 0 0 0 0 0 20 0 5 0 869471004 346632192 10793 33554432000 4194304 5683644 140734852021616 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455693957120 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 186.56
Current children cumulated vsize (KiB) 10341932
[startup+184.702 s]
/proc/loadavg: 2.10 2.19 1.99 3/852 4296
/proc/meminfo: memFree=8114812/32950928 swapFree=34366004/67111528
[pid=4248] ppid=4246 vsize=338508 CPUtime=1.46 cores=1,3,5,7
/proc/4248/stat : 4248 (python) S 4246 4248 2236 0 -1 4202496 18343 927 1 0 135 11 0 0 19 0 5 0 869456536 346632192 10793 33554432000 4194304 5683644 140734852021616 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/4248/statm: 84627 10793 1877 364 0 19505 0
[pid=4254] ppid=4248 vsize=307740 CPUtime=0.23 cores=1,3,5,7
/proc/4254/stat : 4254 (python) S 4248 4248 2236 0 -1 4202560 1165 0 0 0 11 12 0 0 17 0 2 0 869456684 315125760 9316 33554432000 4194304 5683644 140734852021616 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4254/statm: 76935 9316 411 364 0 11822 0
[pid=4256] ppid=4254 vsize=8539704 CPUtime=47.98 cores=1,3,5,7
/proc/4256/stat : 4256 (java) T 4254 4256 4256 0 -1 4202496 56597 0 1 0 4790 8 0 0 18 0 19 0 869456684 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4256/statm: 2134926 49570 2256 9 0 2125667 0
[pid=4256/tid=4257] ppid=4254 vsize=8539704 CPUtime=45.58 cores=1,3,5,7
/proc/4256/task/4257/stat : 4257 (java) T 4254 4256 4256 0 -1 4202560 35298 0 1 0 4553 5 0 0 25 0 19 0 869456685 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 46912506055170 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4256/tid=4258] ppid=4254 vsize=8539704 CPUtime=0.05 cores=1,3,5,7
/proc/4256/task/4258/stat : 4258 (java) T 4254 4256 4256 0 -1 4202560 1048 0 0 0 5 0 0 0 15 0 19 0 869456685 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4256/tid=4259] ppid=4254 vsize=8539704 CPUtime=0.03 cores=1,3,5,7
/proc/4256/task/4259/stat : 4259 (java) T 4254 4256 4256 0 -1 4202560 559 0 0 0 3 0 0 0 15 0 19 0 869456685 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4256/tid=4260] ppid=4254 vsize=8539704 CPUtime=0.03 cores=1,3,5,7
/proc/4256/task/4260/stat : 4260 (java) T 4254 4256 4256 0 -1 4202560 305 0 0 0 3 0 0 0 15 0 19 0 869456685 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4256/tid=4261] ppid=4254 vsize=8539704 CPUtime=0.03 cores=1,3,5,7
/proc/4256/task/4261/stat : 4261 (java) T 4254 4256 4256 0 -1 4202560 638 0 0 0 3 0 0 0 15 0 19 0 869456685 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4256/tid=4262] ppid=4254 vsize=8539704 CPUtime=0.03 cores=1,3,5,7
/proc/4256/task/4262/stat : 4262 (java) T 4254 4256 4256 0 -1 4202560 212 0 0 0 3 0 0 0 15 0 19 0 869456685 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4256/tid=4263] ppid=4254 vsize=8539704 CPUtime=0.03 cores=1,3,5,7
/proc/4256/task/4263/stat : 4263 (java) T 4254 4256 4256 0 -1 4202560 607 0 0 0 3 0 0 0 15 0 19 0 869456685 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4256/tid=4264] ppid=4254 vsize=8539704 CPUtime=0.04 cores=1,3,5,7
/proc/4256/task/4264/stat : 4264 (java) T 4254 4256 4256 0 -1 4202560 446 0 0 0 4 0 0 0 15 0 19 0 869456685 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4256/tid=4265] ppid=4254 vsize=8539704 CPUtime=0.03 cores=1,3,5,7
/proc/4256/task/4265/stat : 4265 (java) T 4254 4256 4256 0 -1 4202560 231 0 0 0 3 0 0 0 15 0 19 0 869456685 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4256/tid=4266] ppid=4254 vsize=8539704 CPUtime=0.68 cores=1,3,5,7
/proc/4256/task/4266/stat : 4266 (java) T 4254 4256 4256 0 -1 4202560 3269 0 0 0 68 0 0 0 15 0 19 0 869456686 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606683136 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4256/tid=4267] ppid=4254 vsize=8539704 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4267/stat : 4267 (java) T 4254 4256 4256 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869456687 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4256/tid=4268] ppid=4254 vsize=8539704 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4268/stat : 4268 (java) T 4254 4256 4256 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869456687 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4256/tid=4269] ppid=4254 vsize=8539704 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4269/stat : 4269 (java) T 4254 4256 4256 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869456689 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606690225 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4256/tid=4270] ppid=4254 vsize=8539704 CPUtime=0.5 cores=1,3,5,7
/proc/4256/task/4270/stat : 4270 (java) T 4254 4256 4256 0 -1 4202560 2420 0 0 0 50 0 0 0 15 0 19 0 869456689 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4256/tid=4271] ppid=4254 vsize=8539704 CPUtime=0.88 cores=1,3,5,7
/proc/4256/task/4271/stat : 4271 (java) T 4254 4256 4256 0 -1 4202560 10175 0 0 0 87 1 0 0 15 0 19 0 869456689 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4256/tid=4272] ppid=4254 vsize=8539704 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4272/stat : 4272 (java) T 4254 4256 4256 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869456689 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4256/tid=4273] ppid=4254 vsize=8539704 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4273/stat : 4273 (java) T 4254 4256 4256 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869456689 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606683136 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4256/tid=4274] ppid=4254 vsize=8539704 CPUtime=0 cores=1,3,5,7
/proc/4256/task/4274/stat : 4274 (java) T 4254 4256 4256 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869456752 8744656896 49570 33554432000 1073741824 1073778376 140735262164736 18446744073709551615 235606683136 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4254/tid=4281] ppid=4248 vsize=307740 CPUtime=0 cores=1,3,5,7
/proc/4254/task/4281/stat : 4281 (python) S 4248 4248 2236 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869461326 315125760 9316 33554432000 4194304 5683644 140734852021616 18446744073709551615 235606690225 0 0 16781312 33554946 18446604466482585728 0 0 -1 7 0 0 0
[pid=4282] ppid=4248 vsize=307752 CPUtime=0.2 cores=1,3,5,7
/proc/4282/stat : 4282 (python) S 4248 4248 2236 0 -1 4202560 1109 0 0 0 8 12 0 0 16 0 2 0 869461329 315138048 9301 33554432000 4194304 5683644 140734852021616 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4282/statm: 76938 9301 396 364 0 11822 0
[pid=4284] ppid=4282 vsize=121260 CPUtime=48.24 cores=1,3,5,7
/proc/4284/stat : 4284 (pbct-0.1.2-linu) T 4282 4284 4284 0 -1 4202496 31945 0 0 0 4673 151 0 0 25 0 1 0 869461329 124170240 28976 33554432000 134512640 136422188 4293319920 18446744073709551615 134862395 0 0 16781312 16387 18446744071562691360 0 0 17 1 0 0 0
/proc/4284/statm: 30315 28976 236 467 0 29846 0
[pid=4282/tid=4286] ppid=4248 vsize=307752 CPUtime=0 cores=1,3,5,7
/proc/4282/task/4286/stat : 4286 (python) S 4248 4248 2236 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869466153 315138048 9301 33554432000 4194304 5683644 140734852021616 18446744073709551615 235606690225 0 0 16781312 33554946 18446604460155421760 0 0 -1 7 0 0 0
[pid=4287] ppid=4248 vsize=318008 CPUtime=0.23 cores=1,3,5,7
/proc/4287/stat : 4287 (python) S 4248 4248 2236 0 -1 4202560 1112 0 0 0 12 11 0 0 16 0 2 0 869466156 325640192 9305 33554432000 4194304 5683644 140734852021616 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4287/statm: 79502 9305 396 364 0 14383 0
[pid=4289] ppid=4287 vsize=68296 CPUtime=48.44 cores=1,3,5,7
/proc/4289/stat : 4289 (wbo1.4a) T 4287 4289 4289 0 -1 4202496 17525 0 0 0 4793 51 0 0 25 0 1 0 869466156 69935104 16601 33554432000 134512640 135751879 4286871584 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/4289/statm: 17074 16601 146 303 0 16769 0
[pid=4287/tid=4292] ppid=4248 vsize=318008 CPUtime=0 cores=1,3,5,7
/proc/4287/task/4292/stat : 4292 (python) S 4248 4248 2236 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869471002 325640192 9305 33554432000 4194304 5683644 140734852021616 18446744073709551615 235606690225 0 0 16781312 33554946 18446604466482588416 0 0 -1 7 0 0 0
[pid=4293] ppid=4248 vsize=328264 CPUtime=0.17 cores=1,3,5,7
/proc/4293/stat : 4293 (python) S 4248 4248 2236 0 -1 4202560 982 0 0 0 8 9 0 0 15 0 1 0 869471004 336142336 9284 33554432000 4194304 5683644 140734852021616 18446744073709551615 235594886726 0 0 16781312 33554946 5623753486446373611 0 0 17 7 0 0 0
/proc/4293/statm: 82066 9284 372 364 0 16944 0
[pid=4295] ppid=4293 vsize=12400 CPUtime=40.02 cores=1,3,5,7
/proc/4295/stat : 4295 (clasp-1.3.7-x86) R 4293 4295 4295 0 -1 4202496 3322 0 0 0 4002 0 0 0 25 0 1 0 869471005 12697600 2815 33554432000 134512640 136139019 4287817424 18446744073709551615 134883787 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/4295/statm: 3100 2815 188 398 0 2700 0
[pid=4248/tid=4255] ppid=4246 vsize=338508 CPUtime=0 cores=1,3,5,7
/proc/4248/task/4255/stat : 4255 (python) S 4246 4248 2236 0 -1 4202560 26 927 0 0 0 0 0 0 20 0 5 0 869456684 346632192 10793 33554432000 4194304 5683644 140734852021616 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455693957120 0 0 -1 1 0 0 0
[pid=4248/tid=4283] ppid=4246 vsize=338508 CPUtime=0 cores=1,3,5,7
/proc/4248/task/4283/stat : 4283 (python) S 4246 4248 2236 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 5 0 869461329 346632192 10793 33554432000 4194304 5683644 140734852021616 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455693957120 0 0 -1 1 0 0 0
[pid=4248/tid=4288] ppid=4246 vsize=338508 CPUtime=0 cores=1,3,5,7
/proc/4248/task/4288/stat : 4288 (python) S 4246 4248 2236 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 5 0 869466156 346632192 10793 33554432000 4194304 5683644 140734852021616 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455693957120 0 0 -1 7 0 0 0
[pid=4248/tid=4294] ppid=4246 vsize=338508 CPUtime=0 cores=1,3,5,7
/proc/4248/task/4294/stat : 4294 (python) S 4246 4248 2236 0 -1 4202560 30 927 0 0 0 0 0 0 20 0 5 0 869471004 346632192 10793 33554432000 4194304 5683644 140734852021616 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455693957120 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 186.97
Current children cumulated vsize (KiB) 10341932
[startup+184.821 s]
/proc/loadavg: 2.10 2.19 1.99 3/852 4296
/proc/meminfo: memFree=8114812/32950928 swapFree=34366004/67111528
[pid=4248] ppid=4246 vsize=338472 CPUtime=146.87 cores=1,3,5,7
/proc/4248/stat : 4248 (python) R 4246 4248 2236 0 -1 4202496 18717 110438 1 1 135 11 14290 251 17 0 3 0 869456536 346595328 10788 33554432000 4194304 5683644 140734852021616 18446744073709551615 235606690671 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/4248/statm: 84618 10788 1872 364 0 19505 0
[pid=4293] ppid=4248 vsize=0 CPUtime=40.27 cores=1,3,5,7
/proc/4293/stat : 4293 (python) Z 4248 4248 2236 0 -1 4202588 1472 3334 0 0 8 9 4010 0 15 0 1 0 869471004 0 0 33554432000 0 0 0 0 0 0 0 16781824 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4293/statm: 0 0 0 0 0 0 0
[pid=4248/tid=4288] ppid=4246 vsize=338472 CPUtime=145.41 cores=1,3,5,7
/proc/4248/task/4288/stat : 4288 (python) R 4246 4248 2236 0 -1 4202560 31 110438 0 1 0 0 14290 251 18 0 3 0 869466156 346595328 10788 33554432000 4194304 5683644 140734852021616 18446744073709551615 235606690225 0 0 16781312 33554434 0 0 0 -1 7 0 0 0
[pid=4248/tid=4294] ppid=4246 vsize=338472 CPUtime=145.41 cores=1,3,5,7
/proc/4248/task/4294/stat : 4294 (python) S 4246 4248 2236 0 -1 4202560 30 110438 0 1 0 0 14290 251 20 0 3 0 869471004 346595328 10788 33554432000 4194304 5683644 140734852021616 18446744073709551615 235606690225 0 0 16781312 33554434 18446604455693957120 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 187.14
Current children cumulated vsize (KiB) 338472
Child status: 0
Real time (s): 184.844
CPU time (s): 187.213
CPU user time (s): 184.475
CPU system time (s): 2.73758
CPU usage (%): 101.281
Max. virtual memory (cumulated for all children) (KiB): 10341936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 184.475
system time used= 2.73758
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139506
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3621
involuntary context switches= 1823
runsolver used 1.19382 second user time and 2.46162 second system time
The end