runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3740916-1338720238/watcher-3740916-1338720238 -o /tmp/evaluation-result-3740916-1338720238/solver-3740916-1338720238 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3740916-1338720238.opb -seed 869877296 -budget 1800
running on 4 cores: 0,2,4,6
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: 1.94 2.44 2.33 3/187 7709
/proc/meminfo: memFree=26788976/32873648 swapFree=7628/7628
[pid=7709] ppid=7707 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/7709/stat : 7709 (python) D 7707 7709 3958 0 -1 4202496 671 0 0 0 0 0 0 0 20 0 1 0 338149916 15642624 558 33554432000 4194304 5683644 140735317373088 140735317341032 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/7709/statm: 3819 558 324 364 0 261 0
[startup+0.10615 s]
/proc/loadavg: 1.94 2.44 2.33 3/187 7709
/proc/meminfo: memFree=26788976/32873648 swapFree=7628/7628
[pid=7709] ppid=7707 vsize=23380 CPUtime=0.02 cores=0,2,4,6
/proc/7709/stat : 7709 (python) D 7707 7709 3958 0 -1 4202496 1439 0 0 0 2 0 0 0 20 0 1 0 338149916 23941120 1184 33554432000 4194304 5683644 140735317373088 140735317303592 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/7709/statm: 5845 1184 441 364 0 727 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 23380
[startup+0.200162 s]
/proc/loadavg: 1.94 2.44 2.33 3/187 7709
/proc/meminfo: memFree=26788976/32873648 swapFree=7628/7628
[pid=7709] ppid=7707 vsize=83944 CPUtime=0.05 cores=0,2,4,6
/proc/7709/stat : 7709 (python) D 7707 7709 3958 0 -1 4202496 2923 0 0 0 4 1 0 0 20 0 1 0 338149916 85958656 2441 33554432000 4194304 5683644 140735317373088 140735317304712 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/7709/statm: 20986 2441 744 364 0 1614 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 83944
[startup+0.300169 s]
/proc/loadavg: 1.94 2.44 2.33 3/187 7709
/proc/meminfo: memFree=26788976/32873648 swapFree=7628/7628
[pid=7709] ppid=7707 vsize=102076 CPUtime=0.1 cores=0,2,4,6
/proc/7709/stat : 7709 (python) D 7707 7709 3958 0 -1 4202496 4202 1013 1 0 9 1 0 0 20 0 1 0 338149916 104525824 2754 33554432000 4194304 5683644 140735317373088 140735317247176 217401355559 0 0 16781312 2 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/7709/statm: 25519 2754 890 364 0 1729 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 102076
[startup+0.700143 s]
/proc/loadavg: 1.94 2.44 2.33 3/187 7709
/proc/meminfo: memFree=26788976/32873648 swapFree=7628/7628
[pid=7709] ppid=7707 vsize=155576 CPUtime=0.2 cores=0,2,4,6
/proc/7709/stat : 7709 (python) D 7707 7709 3958 0 -1 4202496 6354 1013 1 0 15 5 0 0 20 0 1 0 338149916 159309824 4172 33554432000 4194304 5683644 140735317373088 140735317263592 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/7709/statm: 38894 4172 1160 364 0 3221 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 155576
[startup+1.50011 s]
/proc/loadavg: 1.94 2.44 2.33 2/188 7714
/proc/meminfo: memFree=26769980/32873648 swapFree=7628/7628
[pid=7709] ppid=7707 vsize=296852 CPUtime=0.66 cores=0,2,4,6
/proc/7709/stat : 7709 (python) R 7707 7709 3958 0 -1 4202496 12829 1013 1 0 56 10 0 0 20 0 1 0 338149916 303976448 10885 33554432000 4194304 5683644 140735317373088 140735317366584 217410146196 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/7709/statm: 74213 10886 1811 364 0 9442 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 296852
[startup+3.10011 s]
/proc/loadavg: 2.03 2.44 2.34 3/188 7714
/proc/meminfo: memFree=26721120/32873648 swapFree=7628/7628
[pid=7709] ppid=7707 vsize=328488 CPUtime=2.25 cores=0,2,4,6
/proc/7709/stat : 7709 (python) R 7707 7709 3958 0 -1 4202496 24223 1013 1 0 213 12 0 0 20 0 1 0 338149916 336371712 18874 33554432000 4194304 5683644 140735317373088 140735317359912 139666550877903 0 0 16781312 33554434 0 0 0 17 2 0 0 0 0 0
/proc/7709/statm: 82122 18874 1846 364 0 17351 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 328488
heavy processes:
[startup+6.30028 s]
/proc/loadavg: 2.03 2.44 2.34 3/191 7717
/proc/meminfo: memFree=26695552/32873648 swapFree=7628/7628
[pid=7709] ppid=7707 vsize=408436 CPUtime=3.7 cores=0,2,4,6
/proc/7709/stat : 7709 (python) S 7707 7709 3958 0 -1 4202496 25544 1013 1 0 358 12 0 0 20 0 2 0 338149916 418238464 19972 33554432000 4194304 5683644 140735317373088 140735317367920 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7709/statm: 102109 19972 1902 364 0 37332 0
[pid=7715] ppid=7709 vsize=332656 CPUtime=0 cores=0,2,4,6
/proc/7715/stat : 7715 (python) S 7709 7709 3958 0 -1 4202560 766 0 0 0 0 0 0 0 20 0 1 0 338150371 340639744 18404 33554432000 4194304 5683644 140735317373088 140735317364176 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 6 0 0 0 0 0
/proc/7715/statm: 83164 18404 340 364 0 18387 0
[pid=7717] ppid=7715 vsize=22536 CPUtime=1.73 cores=0,2,4,6
/proc/7717/stat : 7717 (wbo1.4b-fixed) R 7715 7717 7717 0 -1 4202496 7345 0 0 0 169 4 0 0 20 0 1 0 338150371 23076864 5057 33554432000 134512640 135752315 4294105952 4294104028 135270849 0 0 16781312 3 0 0 0 17 2 0 0 0 0 0
/proc/7717/statm: 5634 5057 146 303 0 5329 0
[pid=7709/tid=7716] ppid=7707 vsize=408436 CPUtime=0 cores=0,2,4,6
/proc/7709/task/7716/stat : 7716 (python) S 7707 7709 3958 0 -1 4202560 26 1013 0 0 0 0 0 0 20 0 2 0 338150371 418238464 19972 33554432000 4194304 5683644 140735317373088 139666377613872 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 5.43
Current children cumulated vsize (KiB) 763628
[startup+12.7003 s]
/proc/loadavg: 2.02 2.43 2.33 3/191 7717
/proc/meminfo: memFree=26687020/32873648 swapFree=7628/7628
[pid=7709] ppid=7707 vsize=408436 CPUtime=3.7 cores=0,2,4,6
/proc/7709/stat : 7709 (python) S 7707 7709 3958 0 -1 4202496 25544 1013 1 0 358 12 0 0 20 0 2 0 338149916 418238464 19972 33554432000 4194304 5683644 140735317373088 140735317367920 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7709/statm: 102109 19972 1902 364 0 37332 0
[pid=7715] ppid=7709 vsize=332656 CPUtime=0.01 cores=0,2,4,6
/proc/7715/stat : 7715 (python) S 7709 7709 3958 0 -1 4202560 896 0 0 0 1 0 0 0 20 0 1 0 338150371 340639744 18427 33554432000 4194304 5683644 140735317373088 140735317364176 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/7715/statm: 83164 18427 363 364 0 18387 0
[pid=7717] ppid=7715 vsize=29724 CPUtime=8.14 cores=0,2,4,6
/proc/7717/stat : 7717 (wbo1.4b-fixed) R 7715 7717 7717 0 -1 4202496 9148 0 0 0 799 15 0 0 20 0 1 0 338150371 30437376 6860 33554432000 134512640 135752315 4294105952 4294104028 135270849 0 0 16781312 3 0 0 0 17 2 0 0 0 0 0
/proc/7717/statm: 7431 6860 146 303 0 7126 0
[pid=7709/tid=7716] ppid=7707 vsize=408436 CPUtime=0 cores=0,2,4,6
/proc/7709/task/7716/stat : 7716 (python) S 7707 7709 3958 0 -1 4202560 26 1013 0 0 0 0 0 0 20 0 2 0 338150371 418238464 19972 33554432000 4194304 5683644 140735317373088 139666377613872 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 11.85
Current children cumulated vsize (KiB) 770816
[startup+25.5068 s]
/proc/loadavg: 2.02 2.41 2.33 3/191 7717
/proc/meminfo: memFree=26675124/32873648 swapFree=7628/7628
[pid=7709] ppid=7707 vsize=408436 CPUtime=3.7 cores=0,2,4,6
/proc/7709/stat : 7709 (python) S 7707 7709 3958 0 -1 4202496 25544 1013 1 0 358 12 0 0 20 0 2 0 338149916 418238464 19972 33554432000 4194304 5683644 140735317373088 140735317367920 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7709/statm: 102109 19972 1902 364 0 37332 0
[pid=7715] ppid=7709 vsize=332656 CPUtime=0.03 cores=0,2,4,6
/proc/7715/stat : 7715 (python) S 7709 7709 3958 0 -1 4202560 906 0 0 0 2 1 0 0 20 0 1 0 338150371 340639744 18427 33554432000 4194304 5683644 140735317373088 140735317364176 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/7715/statm: 83164 18427 363 364 0 18387 0
[pid=7717] ppid=7715 vsize=40344 CPUtime=20.94 cores=0,2,4,6
/proc/7717/stat : 7717 (wbo1.4b-fixed) R 7715 7717 7717 0 -1 4202496 11722 0 0 0 2066 28 0 0 20 0 1 0 338150371 41312256 9434 33554432000 134512640 135752315 4294105952 4294103952 134611438 0 0 16781312 3 0 0 0 17 2 0 0 0 0 0
/proc/7717/statm: 10086 9434 146 303 0 9781 0
[pid=7709/tid=7716] ppid=7707 vsize=408436 CPUtime=0 cores=0,2,4,6
/proc/7709/task/7716/stat : 7716 (python) S 7707 7709 3958 0 -1 4202560 26 1013 0 0 0 0 0 0 20 0 2 0 338150371 418238464 19972 33554432000 4194304 5683644 140735317373088 139666377613872 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 24.67
Current children cumulated vsize (KiB) 781436
[startup+51.1004 s]
/proc/loadavg: 2.21 2.43 2.34 3/180 7760
/proc/meminfo: memFree=28536268/32873648 swapFree=7628/7628
[pid=7709] ppid=7707 vsize=408436 CPUtime=3.7 cores=0,2,4,6
/proc/7709/stat : 7709 (python) S 7707 7709 3958 0 -1 4202496 25544 1013 1 0 358 12 0 0 20 0 2 0 338149916 418238464 19972 33554432000 4194304 5683644 140735317373088 140735317367920 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7709/statm: 102109 19972 1902 364 0 37332 0
[pid=7715] ppid=7709 vsize=332656 CPUtime=0.07 cores=0,2,4,6
/proc/7715/stat : 7715 (python) S 7709 7709 3958 0 -1 4202560 1012 0 0 0 4 3 0 0 20 0 1 0 338150371 340639744 18432 33554432000 4194304 5683644 140735317373088 140735317364176 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/7715/statm: 83164 18432 368 364 0 18387 0
[pid=7717] ppid=7715 vsize=51800 CPUtime=46.53 cores=0,2,4,6
/proc/7717/stat : 7717 (wbo1.4b-fixed) R 7715 7717 7717 0 -1 4202496 14576 0 0 0 4609 44 0 0 20 0 1 0 338150371 53043200 12288 33554432000 134512640 135752315 4294105952 4294104028 135270849 0 0 16781312 3 0 0 0 17 2 0 0 0 0 0
/proc/7717/statm: 12950 12288 146 303 0 12645 0
[pid=7709/tid=7716] ppid=7707 vsize=408436 CPUtime=0 cores=0,2,4,6
/proc/7709/task/7716/stat : 7716 (python) S 7707 7709 3958 0 -1 4202560 26 1013 0 0 0 0 0 0 20 0 2 0 338150371 418238464 19972 33554432000 4194304 5683644 140735317373088 139666377613872 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 50.3
Current children cumulated vsize (KiB) 792892
[startup+102.301 s]
/proc/loadavg: 2.09 2.36 2.32 3/184 7764
/proc/meminfo: memFree=24718664/32873648 swapFree=7628/7628
[pid=7709] ppid=7707 vsize=484228 CPUtime=14.38 cores=0,2,4,6
/proc/7709/stat : 7709 (python) S 7707 7709 3958 0 -1 4202496 26550 1013 1 0 1421 17 0 0 20 0 3 0 338149916 495849472 19981 33554432000 4194304 5683644 140735317373088 140735317367920 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7709/statm: 121057 19981 1905 364 0 56277 0
[pid=7715] ppid=7709 vsize=408436 CPUtime=0.07 cores=0,2,4,6
/proc/7715/stat : 7715 (python) S 7709 7709 3958 0 -1 4202560 1141 0 0 0 4 3 0 0 20 0 2 0 338150371 418238464 18467 33554432000 4194304 5683644 140735317373088 140735317364736 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7715/statm: 102109 18467 396 364 0 37332 0
[pid=7717] ppid=7715 vsize=54604 CPUtime=48.81 cores=0,2,4,6
/proc/7717/stat : 7717 (wbo1.4b-fixed) T 7715 7717 7717 0 -1 4202496 15298 0 0 0 4833 48 0 0 20 0 1 0 338150371 55914496 13010 33554432000 134512640 135752315 4294105952 4294103960 134518934 0 0 16781312 3 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/7717/statm: 13651 13010 146 303 0 13346 0
[pid=7715/tid=7761] ppid=7709 vsize=408436 CPUtime=0 cores=0,2,4,6
/proc/7715/task/7761/stat : 7761 (python) S 7709 7709 3958 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338155254 418238464 18467 33554432000 4194304 5683644 140735317373088 139666377613872 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7762] ppid=7709 vsize=408448 CPUtime=0.05 cores=0,2,4,6
/proc/7762/stat : 7762 (python) S 7709 7709 3958 0 -1 4202560 910 0 0 0 3 2 0 0 20 0 1 0 338156322 418250752 18428 33554432000 4194304 5683644 140735317373088 140735317364176 217410535907 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/7762/statm: 102112 18428 358 364 0 37332 0
[pid=7764] ppid=7762 vsize=2671700 CPUtime=38.22 cores=0,2,4,6
/proc/7764/stat : 7764 (minion) R 7762 7764 7764 0 -1 4202496 657862 0 0 0 3734 88 0 0 20 0 1 0 338156322 2735820800 660571 33554432000 134512640 165565024 4289748368 4289745600 159737071 0 0 16781312 8396802 0 0 0 17 2 0 0 0 0 0
/proc/7764/statm: 667925 660571 358 7582 0 660340 0
[pid=7709/tid=7716] ppid=7707 vsize=484228 CPUtime=0 cores=0,2,4,6
/proc/7709/task/7716/stat : 7716 (python) S 7707 7709 3958 0 -1 4202560 26 1013 0 0 0 0 0 0 20 0 3 0 338150371 495849472 19981 33554432000 4194304 5683644 140735317373088 139666377613872 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7709/tid=7763] ppid=7707 vsize=484228 CPUtime=0 cores=0,2,4,6
/proc/7709/task/7763/stat : 7763 (python) S 7707 7709 3958 0 -1 4202560 22 1013 0 0 0 0 0 0 20 0 3 0 338156322 495849472 19981 33554432000 4194304 5683644 140735317373088 139666367124016 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 4027416
[startup+162.301 s]
/proc/loadavg: 2.03 2.29 2.29 3/210 7791
/proc/meminfo: memFree=23556576/32873648 swapFree=7628/7628
[pid=7709] ppid=7707 vsize=635812 CPUtime=14.43 cores=0,2,4,6
/proc/7709/stat : 7709 (python) S 7707 7709 3958 0 -1 4202496 28264 1013 1 0 1426 17 0 0 20 0 5 0 338149916 651071488 19997 33554432000 4194304 5683644 140735317373088 140735317367920 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7709/statm: 158953 19997 1909 364 0 94167 0
[pid=7715] ppid=7709 vsize=408436 CPUtime=0.07 cores=0,2,4,6
/proc/7715/stat : 7715 (python) S 7709 7709 3958 0 -1 4202560 1141 0 0 0 4 3 0 0 20 0 2 0 338150371 418238464 18467 33554432000 4194304 5683644 140735317373088 140735317364736 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7715/statm: 102109 18467 396 364 0 37332 0
[pid=7717] ppid=7715 vsize=54604 CPUtime=48.81 cores=0,2,4,6
/proc/7717/stat : 7717 (wbo1.4b-fixed) T 7715 7717 7717 0 -1 4202496 15298 0 0 0 4833 48 0 0 20 0 1 0 338150371 55914496 13085 33554432000 134512640 135752315 4294105952 4294103960 134518934 0 0 16781312 3 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/7717/statm: 13651 13085 146 303 0 13346 0
[pid=7715/tid=7761] ppid=7709 vsize=408436 CPUtime=0 cores=0,2,4,6
/proc/7715/task/7761/stat : 7761 (python) S 7709 7709 3958 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338155254 418238464 18467 33554432000 4194304 5683644 140735317373088 139666377613872 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7762] ppid=7709 vsize=408448 CPUtime=0.07 cores=0,2,4,6
/proc/7762/stat : 7762 (python) S 7709 7709 3958 0 -1 4202560 1069 0 0 0 4 3 0 0 20 0 2 0 338156322 418250752 18454 33554432000 4194304 5683644 140735317373088 140735317364736 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7762/statm: 102112 18454 383 364 0 37332 0
[pid=7764] ppid=7762 vsize=2671700 CPUtime=47.13 cores=0,2,4,6
/proc/7764/stat : 7764 (minion) T 7762 7764 7764 0 -1 4202496 657862 0 0 0 4625 88 0 0 20 0 1 0 338156322 2735820800 660571 33554432000 134512640 165565024 4289748368 4289745616 142764899 0 0 16781312 8396802 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/7764/statm: 667925 660571 358 7582 0 660340 0
[pid=7762/tid=7765] ppid=7709 vsize=408448 CPUtime=0 cores=0,2,4,6
/proc/7762/task/7765/stat : 7765 (python) S 7709 7709 3958 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 338161037 418250752 18454 33554432000 4194304 5683644 140735317373088 139666377613872 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
################
# More data... #
################
[pid=7768/tid=7769] ppid=7766 vsize=9624972 CPUtime=45.44 cores=0,2,4,6
/proc/7768/task/7769/stat : 7769 (java) T 7766 7768 7768 0 -1 4202560 3402 0 1 0 4529 15 0 0 20 0 19 0 338161041 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297527066896 140297399451990 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=7768/tid=7770] ppid=7766 vsize=9624972 CPUtime=0.1 cores=0,2,4,6
/proc/7768/task/7770/stat : 7770 (java) T 7766 7768 7768 0 -1 4202560 33 0 0 0 8 2 0 0 20 0 19 0 338161042 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297371110440 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=7768/tid=7771] ppid=7766 vsize=9624972 CPUtime=0.09 cores=0,2,4,6
/proc/7768/task/7771/stat : 7771 (java) T 7766 7768 7768 0 -1 4202560 33 0 0 0 9 0 0 0 20 0 19 0 338161042 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297370057640 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 6 0 0 0 0 0
[pid=7768/tid=7772] ppid=7766 vsize=9624972 CPUtime=0.09 cores=0,2,4,6
/proc/7768/task/7772/stat : 7772 (java) T 7766 7768 7768 0 -1 4202560 40 0 0 0 9 0 0 0 20 0 19 0 338161042 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297369004840 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=7768/tid=7773] ppid=7766 vsize=9624972 CPUtime=0.1 cores=0,2,4,6
/proc/7768/task/7773/stat : 7773 (java) T 7766 7768 7768 0 -1 4202560 47 0 0 0 9 1 0 0 20 0 19 0 338161042 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297367952040 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 6 0 0 0 0 0
[pid=7768/tid=7774] ppid=7766 vsize=9624972 CPUtime=0.08 cores=0,2,4,6
/proc/7768/task/7774/stat : 7774 (java) T 7766 7768 7768 0 -1 4202560 34 0 0 0 6 2 0 0 20 0 19 0 338161042 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297366899240 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=7768/tid=7775] ppid=7766 vsize=9624972 CPUtime=0.14 cores=0,2,4,6
/proc/7768/task/7775/stat : 7775 (java) T 7766 7768 7768 0 -1 4202560 53 0 0 0 12 2 0 0 20 0 19 0 338161042 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297365846440 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=7768/tid=7776] ppid=7766 vsize=9624972 CPUtime=0.1 cores=0,2,4,6
/proc/7768/task/7776/stat : 7776 (java) T 7766 7768 7768 0 -1 4202560 62 0 0 0 8 2 0 0 20 0 19 0 338161042 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297364793640 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=7768/tid=7777] ppid=7766 vsize=9624972 CPUtime=0.11 cores=0,2,4,6
/proc/7768/task/7777/stat : 7777 (java) T 7766 7768 7768 0 -1 4202560 52 0 0 0 9 2 0 0 20 0 19 0 338161042 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297363740840 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=7768/tid=7778] ppid=7766 vsize=9624972 CPUtime=1.32 cores=0,2,4,6
/proc/7768/task/7778/stat : 7778 (java) T 7766 7768 7768 0 -1 4202560 513 0 0 0 131 1 0 0 20 0 19 0 338161043 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297351330792 217413892009 0 0 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=7768/tid=7779] ppid=7766 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/7768/task/7779/stat : 7779 (java) T 7766 7768 7768 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338161044 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297350276856 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=7768/tid=7780] ppid=7766 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/7768/task/7780/stat : 7780 (java) T 7766 7768 7768 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338161044 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297349223944 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=7768/tid=7781] ppid=7766 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/7768/task/7781/stat : 7781 (java) T 7766 7768 7768 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338161046 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297348172432 217413900064 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=7768/tid=7782] ppid=7766 vsize=9624972 CPUtime=0.64 cores=0,2,4,6
/proc/7768/task/7782/stat : 7782 (java) T 7766 7768 7768 0 -1 4202560 4294 0 0 0 64 0 0 0 20 0 19 0 338161046 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297347119544 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 6 0 0 0 0 0
[pid=7768/tid=7783] ppid=7766 vsize=9624972 CPUtime=0.45 cores=0,2,4,6
/proc/7768/task/7783/stat : 7783 (java) T 7766 7768 7768 0 -1 4202560 2675 0 0 0 45 0 0 0 20 0 19 0 338161046 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297346066744 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=7768/tid=7784] ppid=7766 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/7768/task/7784/stat : 7784 (java) T 7766 7768 7768 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338161046 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297345014136 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=7768/tid=7785] ppid=7766 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/7768/task/7785/stat : 7785 (java) T 7766 7768 7768 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338161046 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297343961544 217413892009 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=7768/tid=7786] ppid=7766 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/7768/task/7786/stat : 7786 (java) T 7766 7768 7768 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338161183 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297342908072 217413892009 0 4 0 16800975 18446744071579387992 0 0 -1 6 0 0 0 0 0
[pid=7766/tid=7788] ppid=7709 vsize=484240 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7788/stat : 7788 (python) S 7709 7709 3958 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 338165749 495861760 18460 33554432000 4194304 5683644 140735317373088 139666367124016 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7789] ppid=7709 vsize=560032 CPUtime=0.13 cores=0,2,4,6
/proc/7789/stat : 7789 (python) S 7709 7709 3958 0 -1 4202560 1145 0 0 0 6 7 0 0 20 0 2 0 338165751 573472768 18466 33554432000 4194304 5683644 140735317373088 140735317364176 217410535907 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7789/statm: 140008 18466 383 364 0 75222 0
[pid=7791] ppid=7789 vsize=39856 CPUtime=82.61 cores=0,2,4,6
/proc/7791/stat : 7791 (clasp-1.3.7-x86) R 7789 7791 7791 0 -1 4202496 10599 0 0 0 8259 2 0 0 20 0 1 0 338165752 40812544 9507 33554432000 134512640 136139019 4289828736 4289827600 134608504 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/7791/statm: 9964 9507 183 398 0 9564 0
[pid=7789/tid=7795] ppid=7709 vsize=560032 CPUtime=0 cores=0,2,4,6
/proc/7789/task/7795/stat : 7795 (python) S 7709 7709 3958 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 338170465 573472768 18466 33554432000 4194304 5683644 140735317373088 139666356634160 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7796] ppid=7709 vsize=635824 CPUtime=0.07 cores=0,2,4,6
/proc/7796/stat : 7796 (python) S 7709 7709 3958 0 -1 4202560 1140 0 0 0 5 2 0 0 20 0 2 0 338170468 651083776 18472 33554432000 4194304 5683644 140735317373088 140735317364736 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7796/statm: 158956 18472 383 364 0 94167 0
[pid=7798] ppid=7796 vsize=51472 CPUtime=47.82 cores=0,2,4,6
/proc/7798/stat : 7798 (wbo1.4a) T 7796 7798 7798 0 -1 4202496 14491 0 0 0 4731 51 0 0 20 0 1 0 338170468 52707328 12194 33554432000 134512640 135751879 4292447520 4292445772 135270609 0 0 16781312 3 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/7798/statm: 12868 12194 143 303 0 12563 0
[pid=7796/tid=7803] ppid=7709 vsize=635824 CPUtime=0 cores=0,2,4,6
/proc/7796/task/7803/stat : 7803 (python) S 7709 7709 3958 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 338175253 651083776 18472 33554432000 4194304 5683644 140735317373088 139666346144304 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7709/tid=7716] ppid=7707 vsize=711604 CPUtime=0 cores=0,2,4,6
/proc/7709/task/7716/stat : 7716 (python) S 7707 7709 3958 0 -1 4202560 26 1013 0 0 0 0 0 0 20 0 6 0 338150371 728682496 20005 33554432000 4194304 5683644 140735317373088 139666377613872 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7709/tid=7763] ppid=7707 vsize=711604 CPUtime=0 cores=0,2,4,6
/proc/7709/task/7763/stat : 7763 (python) S 7707 7709 3958 0 -1 4202560 22 1013 0 0 0 0 0 0 20 0 6 0 338156322 728682496 20005 33554432000 4194304 5683644 140735317373088 139666367124016 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7709/tid=7767] ppid=7707 vsize=711604 CPUtime=0 cores=0,2,4,6
/proc/7709/task/7767/stat : 7767 (python) S 7707 7709 3958 0 -1 4202560 21 1013 0 0 0 0 0 0 20 0 6 0 338161040 728682496 20005 33554432000 4194304 5683644 140735317373088 139666356634160 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7709/tid=7790] ppid=7707 vsize=711604 CPUtime=0 cores=0,2,4,6
/proc/7709/task/7790/stat : 7790 (python) S 7707 7709 3958 0 -1 4202560 24 1013 0 0 0 0 0 0 20 0 6 0 338165752 728682496 20005 33554432000 4194304 5683644 140735317373088 139666346144304 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7709/tid=7797] ppid=7707 vsize=711604 CPUtime=0 cores=0,2,4,6
/proc/7709/task/7797/stat : 7797 (python) S 7707 7709 3958 0 -1 4202560 22 1013 0 0 0 0 0 0 20 0 6 0 338170468 728682496 20005 33554432000 4194304 5683644 140735317373088 139666327749168 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 290.09
Current children cumulated vsize (KiB) 15651188
[startup+289.701 s]
/proc/loadavg: 2.00 2.18 2.25 3/226 7807
/proc/meminfo: memFree=22196464/32873648 swapFree=7628/7628
[pid=7709] ppid=7707 vsize=711604 CPUtime=14.49 cores=0,2,4,6
/proc/7709/stat : 7709 (python) S 7707 7709 3958 0 -1 4202496 29794 1013 1 0 1431 18 0 0 20 0 6 0 338149916 728682496 20005 33554432000 4194304 5683644 140735317373088 140735317367920 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7709/statm: 177901 20005 1911 364 0 113112 0
[pid=7715] ppid=7709 vsize=408436 CPUtime=0.07 cores=0,2,4,6
/proc/7715/stat : 7715 (python) S 7709 7709 3958 0 -1 4202560 1141 0 0 0 4 3 0 0 20 0 2 0 338150371 418238464 18467 33554432000 4194304 5683644 140735317373088 140735317364736 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7715/statm: 102109 18467 396 364 0 37332 0
[pid=7717] ppid=7715 vsize=54604 CPUtime=48.81 cores=0,2,4,6
/proc/7717/stat : 7717 (wbo1.4b-fixed) T 7715 7717 7717 0 -1 4202496 15298 0 0 0 4833 48 0 0 20 0 1 0 338150371 55914496 13085 33554432000 134512640 135752315 4294105952 4294103960 134518934 0 0 16781312 3 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/7717/statm: 13651 13085 146 303 0 13346 0
[pid=7715/tid=7761] ppid=7709 vsize=408436 CPUtime=0 cores=0,2,4,6
/proc/7715/task/7761/stat : 7761 (python) S 7709 7709 3958 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338155254 418238464 18467 33554432000 4194304 5683644 140735317373088 139666377613872 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7762] ppid=7709 vsize=408448 CPUtime=0.07 cores=0,2,4,6
/proc/7762/stat : 7762 (python) S 7709 7709 3958 0 -1 4202560 1069 0 0 0 4 3 0 0 20 0 2 0 338156322 418250752 18454 33554432000 4194304 5683644 140735317373088 140735317364736 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7762/statm: 102112 18454 383 364 0 37332 0
[pid=7764] ppid=7762 vsize=2671700 CPUtime=47.13 cores=0,2,4,6
/proc/7764/stat : 7764 (minion) T 7762 7764 7764 0 -1 4202496 657862 0 0 0 4625 88 0 0 20 0 1 0 338156322 2735820800 660571 33554432000 134512640 165565024 4289748368 4289745616 142764899 0 0 16781312 8396802 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/7764/statm: 667925 660571 358 7582 0 660340 0
[pid=7762/tid=7765] ppid=7709 vsize=408448 CPUtime=0 cores=0,2,4,6
/proc/7762/task/7765/stat : 7765 (python) S 7709 7709 3958 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 338161037 418250752 18454 33554432000 4194304 5683644 140735317373088 139666377613872 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7766] ppid=7709 vsize=484240 CPUtime=0.07 cores=0,2,4,6
/proc/7766/stat : 7766 (python) S 7709 7709 3958 0 -1 4202560 1105 0 0 0 5 2 0 0 20 0 2 0 338161040 495861760 18460 33554432000 4194304 5683644 140735317373088 140735317364736 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7766/statm: 121060 18460 383 364 0 56277 0
[pid=7768] ppid=7766 vsize=9624972 CPUtime=48.82 cores=0,2,4,6
/proc/7768/stat : 7768 (java) T 7766 7768 7768 0 -1 4202496 12644 0 1 0 4854 28 0 0 20 0 19 0 338161040 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140733772036944 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7768/statm: 2406243 270647 2277 9 0 2396937 0
[pid=7768/tid=7769] ppid=7766 vsize=9624972 CPUtime=45.44 cores=0,2,4,6
/proc/7768/task/7769/stat : 7769 (java) T 7766 7768 7768 0 -1 4202560 3402 0 1 0 4529 15 0 0 20 0 19 0 338161041 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297527066896 140297399451990 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=7768/tid=7770] ppid=7766 vsize=9624972 CPUtime=0.1 cores=0,2,4,6
/proc/7768/task/7770/stat : 7770 (java) T 7766 7768 7768 0 -1 4202560 33 0 0 0 8 2 0 0 20 0 19 0 338161042 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297371110440 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=7768/tid=7771] ppid=7766 vsize=9624972 CPUtime=0.09 cores=0,2,4,6
/proc/7768/task/7771/stat : 7771 (java) T 7766 7768 7768 0 -1 4202560 33 0 0 0 9 0 0 0 20 0 19 0 338161042 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297370057640 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 6 0 0 0 0 0
[pid=7768/tid=7772] ppid=7766 vsize=9624972 CPUtime=0.09 cores=0,2,4,6
/proc/7768/task/7772/stat : 7772 (java) T 7766 7768 7768 0 -1 4202560 40 0 0 0 9 0 0 0 20 0 19 0 338161042 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297369004840 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=7768/tid=7773] ppid=7766 vsize=9624972 CPUtime=0.1 cores=0,2,4,6
/proc/7768/task/7773/stat : 7773 (java) T 7766 7768 7768 0 -1 4202560 47 0 0 0 9 1 0 0 20 0 19 0 338161042 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297367952040 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 6 0 0 0 0 0
[pid=7768/tid=7774] ppid=7766 vsize=9624972 CPUtime=0.08 cores=0,2,4,6
/proc/7768/task/7774/stat : 7774 (java) T 7766 7768 7768 0 -1 4202560 34 0 0 0 6 2 0 0 20 0 19 0 338161042 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297366899240 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=7768/tid=7775] ppid=7766 vsize=9624972 CPUtime=0.14 cores=0,2,4,6
/proc/7768/task/7775/stat : 7775 (java) T 7766 7768 7768 0 -1 4202560 53 0 0 0 12 2 0 0 20 0 19 0 338161042 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297365846440 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=7768/tid=7776] ppid=7766 vsize=9624972 CPUtime=0.1 cores=0,2,4,6
/proc/7768/task/7776/stat : 7776 (java) T 7766 7768 7768 0 -1 4202560 62 0 0 0 8 2 0 0 20 0 19 0 338161042 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297364793640 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=7768/tid=7777] ppid=7766 vsize=9624972 CPUtime=0.11 cores=0,2,4,6
/proc/7768/task/7777/stat : 7777 (java) T 7766 7768 7768 0 -1 4202560 52 0 0 0 9 2 0 0 20 0 19 0 338161042 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297363740840 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=7768/tid=7778] ppid=7766 vsize=9624972 CPUtime=1.32 cores=0,2,4,6
/proc/7768/task/7778/stat : 7778 (java) T 7766 7768 7768 0 -1 4202560 513 0 0 0 131 1 0 0 20 0 19 0 338161043 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297351330792 217413892009 0 0 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=7768/tid=7779] ppid=7766 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/7768/task/7779/stat : 7779 (java) T 7766 7768 7768 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338161044 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297350276856 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=7768/tid=7780] ppid=7766 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/7768/task/7780/stat : 7780 (java) T 7766 7768 7768 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338161044 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297349223944 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=7768/tid=7781] ppid=7766 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/7768/task/7781/stat : 7781 (java) T 7766 7768 7768 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338161046 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297348172432 217413900064 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=7768/tid=7782] ppid=7766 vsize=9624972 CPUtime=0.64 cores=0,2,4,6
/proc/7768/task/7782/stat : 7782 (java) T 7766 7768 7768 0 -1 4202560 4294 0 0 0 64 0 0 0 20 0 19 0 338161046 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297347119544 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 6 0 0 0 0 0
[pid=7768/tid=7783] ppid=7766 vsize=9624972 CPUtime=0.45 cores=0,2,4,6
/proc/7768/task/7783/stat : 7783 (java) T 7766 7768 7768 0 -1 4202560 2675 0 0 0 45 0 0 0 20 0 19 0 338161046 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297346066744 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=7768/tid=7784] ppid=7766 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/7768/task/7784/stat : 7784 (java) T 7766 7768 7768 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338161046 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297345014136 217413891132 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=7768/tid=7785] ppid=7766 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/7768/task/7785/stat : 7785 (java) T 7766 7768 7768 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338161046 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297343961544 217413892009 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=7768/tid=7786] ppid=7766 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/7768/task/7786/stat : 7786 (java) T 7766 7768 7768 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338161183 9855971328 270647 33554432000 1073741824 1073778376 140733772045808 140297342908072 217413892009 0 4 0 16800975 18446744071579387992 0 0 -1 6 0 0 0 0 0
[pid=7766/tid=7788] ppid=7709 vsize=484240 CPUtime=0 cores=0,2,4,6
/proc/7766/task/7788/stat : 7788 (python) S 7709 7709 3958 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 338165749 495861760 18460 33554432000 4194304 5683644 140735317373088 139666367124016 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7789] ppid=7709 vsize=560032 CPUtime=0.13 cores=0,2,4,6
/proc/7789/stat : 7789 (python) S 7709 7709 3958 0 -1 4202560 1145 0 0 0 6 7 0 0 20 0 2 0 338165751 573472768 18466 33554432000 4194304 5683644 140735317373088 140735317364176 217410535907 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7789/statm: 140008 18466 383 364 0 75222 0
[pid=7791] ppid=7789 vsize=39856 CPUtime=83.41 cores=0,2,4,6
/proc/7791/stat : 7791 (clasp-1.3.7-x86) R 7789 7791 7791 0 -1 4202496 10599 0 0 0 8339 2 0 0 20 0 1 0 338165752 40812544 9507 33554432000 134512640 136139019 4289828736 4289827648 134612169 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/7791/statm: 9964 9507 183 398 0 9564 0
[pid=7789/tid=7795] ppid=7709 vsize=560032 CPUtime=0 cores=0,2,4,6
/proc/7789/task/7795/stat : 7795 (python) S 7709 7709 3958 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 338170465 573472768 18466 33554432000 4194304 5683644 140735317373088 139666356634160 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7796] ppid=7709 vsize=635824 CPUtime=0.07 cores=0,2,4,6
/proc/7796/stat : 7796 (python) S 7709 7709 3958 0 -1 4202560 1140 0 0 0 5 2 0 0 20 0 2 0 338170468 651083776 18472 33554432000 4194304 5683644 140735317373088 140735317364736 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7796/statm: 158956 18472 383 364 0 94167 0
[pid=7798] ppid=7796 vsize=51472 CPUtime=47.82 cores=0,2,4,6
/proc/7798/stat : 7798 (wbo1.4a) T 7796 7798 7798 0 -1 4202496 14491 0 0 0 4731 51 0 0 20 0 1 0 338170468 52707328 12194 33554432000 134512640 135751879 4292447520 4292445772 135270609 0 0 16781312 3 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/7798/statm: 12868 12194 143 303 0 12563 0
[pid=7796/tid=7803] ppid=7709 vsize=635824 CPUtime=0 cores=0,2,4,6
/proc/7796/task/7803/stat : 7803 (python) S 7709 7709 3958 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 338175253 651083776 18472 33554432000 4194304 5683644 140735317373088 139666346144304 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7709/tid=7716] ppid=7707 vsize=711604 CPUtime=0 cores=0,2,4,6
/proc/7709/task/7716/stat : 7716 (python) S 7707 7709 3958 0 -1 4202560 26 1013 0 0 0 0 0 0 20 0 6 0 338150371 728682496 20005 33554432000 4194304 5683644 140735317373088 139666377613872 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7709/tid=7763] ppid=7707 vsize=711604 CPUtime=0 cores=0,2,4,6
/proc/7709/task/7763/stat : 7763 (python) S 7707 7709 3958 0 -1 4202560 22 1013 0 0 0 0 0 0 20 0 6 0 338156322 728682496 20005 33554432000 4194304 5683644 140735317373088 139666367124016 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7709/tid=7767] ppid=7707 vsize=711604 CPUtime=0 cores=0,2,4,6
/proc/7709/task/7767/stat : 7767 (python) S 7707 7709 3958 0 -1 4202560 21 1013 0 0 0 0 0 0 20 0 6 0 338161040 728682496 20005 33554432000 4194304 5683644 140735317373088 139666356634160 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7709/tid=7790] ppid=7707 vsize=711604 CPUtime=0 cores=0,2,4,6
/proc/7709/task/7790/stat : 7790 (python) S 7707 7709 3958 0 -1 4202560 24 1013 0 0 0 0 0 0 20 0 6 0 338165752 728682496 20005 33554432000 4194304 5683644 140735317373088 139666346144304 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7709/tid=7797] ppid=7707 vsize=711604 CPUtime=0 cores=0,2,4,6
/proc/7709/task/7797/stat : 7797 (python) S 7707 7709 3958 0 -1 4202560 22 1013 0 0 0 0 0 0 20 0 6 0 338170468 728682496 20005 33554432000 4194304 5683644 140735317373088 139666327749168 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 290.89
Current children cumulated vsize (KiB) 15651188
[startup+289.901 s]
/proc/loadavg: 2.00 2.18 2.25 3/226 7807
/proc/meminfo: memFree=22196464/32873648 swapFree=7628/7628
[pid=7709] ppid=7707 vsize=685728 CPUtime=291.28 cores=0,2,4,6
/proc/7709/stat : 7709 (python) R 7707 7709 3958 0 -1 4202496 38051 717702 1 1 1432 18 27412 266 20 0 1 0 338149916 702185472 18659 33554432000 4194304 5683644 140735317373088 140735317370016 5258711 0 0 16781312 0 0 0 0 17 0 0 0 0 0 0
/proc/7709/statm: 171432 18659 1902 364 0 106661 0
Current children cumulated CPU time (s) 291.28
Current children cumulated vsize (KiB) 685728
Child status: 0
Real time (s): 289.913
CPU time (s): 291.312
CPU user time (s): 288.46
CPU system time (s): 2.85157
CPU usage (%): 100.483
Max. virtual memory (cumulated for all children) (KiB): 15651188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 288.46
system time used= 2.85157
maximum resident set size= 2642284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 756516
page faults= 2
swaps= 0
block input operations= 0
block output operations= 22520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4422
involuntary context switches= 2071
runsolver used 1.07284 second user time and 3.00454 second system time
The end