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-3481711-1307577241/watcher-3481711-1307577241 -o /tmp/evaluation-result-3481711-1307577241/solver-3481711-1307577241 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481711-1307577241.opb -seed 1654274731 -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.37 2.05 1.29 2/585 3226
/proc/meminfo: memFree=27959828/32950928 swapFree=34366004/67111528
[pid=3226] ppid=3224 vsize=15388 CPUtime=0 cores=1,3,5,7
/proc/3226/stat : 3226 (python) R 3224 3226 2236 0 -1 4202496 813 0 0 0 0 0 0 0 20 0 1 0 869322941 15757312 698 33554432000 4194304 5683644 140733814175184 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3226/statm: 3847 698 334 364 0 334 0
[startup+0.037012 s]
/proc/loadavg: 2.37 2.05 1.29 2/585 3226
/proc/meminfo: memFree=27959828/32950928 swapFree=34366004/67111528
[pid=3226] ppid=3224 vsize=18892 CPUtime=0.02 cores=1,3,5,7
/proc/3226/stat : 3226 (python) R 3224 3226 2236 0 -1 4202496 1288 0 0 0 2 0 0 0 20 0 1 0 869322941 19345408 1140 33554432000 4194304 5683644 140733814175184 18446744073709551615 4870108 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3226/statm: 4723 1140 421 364 0 692 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18892
[startup+0.101003 s]
/proc/loadavg: 2.37 2.05 1.29 2/585 3226
/proc/meminfo: memFree=27959828/32950928 swapFree=34366004/67111528
[pid=3226] ppid=3224 vsize=96128 CPUtime=0.07 cores=1,3,5,7
/proc/3226/stat : 3226 (python) R 3224 3226 2236 0 -1 4202496 3169 928 1 0 5 2 0 0 20 0 1 0 869322941 98435072 2483 33554432000 4194304 5683644 140733814175184 18446744073709551615 5158152 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3226/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.30097 s]
/proc/loadavg: 2.37 2.05 1.29 2/585 3226
/proc/meminfo: memFree=27959828/32950928 swapFree=34366004/67111528
[pid=3226] ppid=3224 vsize=203280 CPUtime=0.23 cores=1,3,5,7
/proc/3226/stat : 3226 (python) S 3224 3226 2236 0 -1 4202496 6727 928 1 0 16 7 0 0 20 0 1 0 869322941 208158720 5003 33554432000 4194304 5683644 140733814175184 18446744073709551615 235594864640 0 2147483391 16781312 2 18446744071699215550 0 0 17 3 0 0 0
/proc/3226/statm: 50820 5003 1472 364 0 3782 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 203280
[startup+0.700938 s]
/proc/loadavg: 2.37 2.05 1.29 2/585 3226
/proc/meminfo: memFree=27959828/32950928 swapFree=34366004/67111528
[pid=3226] ppid=3224 vsize=294712 CPUtime=0.6 cores=1,3,5,7
/proc/3226/stat : 3226 (python) R 3224 3226 2236 0 -1 4202496 12219 928 1 0 50 10 0 0 21 0 1 0 869322941 301785088 9951 33554432000 4194304 5683644 140733814175184 18446744073709551615 4957392 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3226/statm: 73678 9951 1781 364 0 8571 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 294712
[startup+1.50076 s]
/proc/loadavg: 2.37 2.05 1.29 3/586 3234
/proc/meminfo: memFree=27917040/32950928 swapFree=34366004/67111528
[pid=3226] ppid=3224 vsize=311896 CPUtime=1.4 cores=1,3,5,7
/proc/3226/stat : 3226 (python) R 3224 3226 2236 0 -1 4202496 16222 928 1 0 130 10 0 0 23 0 1 0 869322941 319381504 13954 33554432000 4194304 5683644 140733814175184 18446744073709551615 47152470234971 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3226/statm: 77974 13954 1781 364 0 12867 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 311896
[startup+3.10053 s]
/proc/loadavg: 2.37 2.05 1.29 3/586 3234
/proc/meminfo: memFree=27895356/32950928 swapFree=34366004/67111528
[pid=3226] ppid=3224 vsize=321700 CPUtime=3 cores=1,3,5,7
/proc/3226/stat : 3226 (python) R 3224 3226 2236 0 -1 4202496 28104 928 1 0 289 11 0 0 25 0 1 0 869322941 329420800 16769 33554432000 4194304 5683644 140733814175184 18446744073709551615 47152303882408 0 0 16781312 33554434 0 0 0 17 3 0 0 0
/proc/3226/statm: 80425 16769 1815 364 0 15318 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 321700
[startup+6.30091 s]
/proc/loadavg: 2.34 2.05 1.29 3/589 3238
/proc/meminfo: memFree=27838460/32950928 swapFree=34366004/67111528
[pid=3226] ppid=3224 vsize=332592 CPUtime=4.59 cores=1,3,5,7
/proc/3226/stat : 3226 (python) S 3224 3226 2236 0 -1 4202496 28552 928 1 0 448 11 0 0 25 0 2 0 869322941 340574208 16988 33554432000 4194304 5683644 140733814175184 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3226/statm: 83148 16988 1872 364 0 18035 0
[pid=3235] ppid=3226 vsize=322348 CPUtime=0 cores=1,3,5,7
/proc/3235/stat : 3235 (python) S 3226 3226 2236 0 -1 4202560 744 0 0 0 0 0 0 0 15 0 1 0 869323410 330084352 15463 33554432000 4194304 5683644 140733814175184 18446744073709551615 235594886671 0 0 16781312 33554946 5637233675096523014 0 0 17 3 0 0 0
/proc/3235/statm: 80587 15463 351 364 0 15474 0
[pid=3238] ppid=3235 vsize=74204 CPUtime=1.6 cores=1,3,5,7
/proc/3238/stat : 3238 (wbo1.4a) R 3235 3238 3238 0 -1 4202496 20604 0 0 0 158 2 0 0 25 0 1 0 869323410 75984896 18070 33554432000 134512640 135751879 4286923664 18446744073709551615 135220915 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/3238/statm: 18551 18070 145 303 0 18246 0
[pid=3226/tid=3237] ppid=3224 vsize=332592 CPUtime=0 cores=1,3,5,7
/proc/3226/task/3237/stat : 3237 (python) S 3224 3226 2236 0 -1 4202560 25 928 0 0 0 0 0 0 25 0 2 0 869323410 340574208 16988 33554432000 4194304 5683644 140733814175184 18446744073709551615 235606690225 0 0 16781312 33554434 18446604468735309952 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 729144
[startup+12.7008 s]
/proc/loadavg: 2.31 2.05 1.30 3/589 3238
/proc/meminfo: memFree=27794184/32950928 swapFree=34366004/67111528
[pid=3226] ppid=3224 vsize=332592 CPUtime=4.59 cores=1,3,5,7
/proc/3226/stat : 3226 (python) S 3224 3226 2236 0 -1 4202496 28552 928 1 0 448 11 0 0 25 0 2 0 869322941 340574208 16988 33554432000 4194304 5683644 140733814175184 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3226/statm: 83148 16988 1872 364 0 18035 0
[pid=3235] ppid=3226 vsize=322348 CPUtime=0.03 cores=1,3,5,7
/proc/3235/stat : 3235 (python) S 3226 3226 2236 0 -1 4202560 910 0 0 0 2 1 0 0 15 0 1 0 869323410 330084352 15487 33554432000 4194304 5683644 140733814175184 18446744073709551615 235594886671 0 0 16781312 33554946 5623458817330129634 0 0 17 3 0 0 0
/proc/3235/statm: 80587 15487 375 364 0 15474 0
[pid=3238] ppid=3235 vsize=96800 CPUtime=8 cores=1,3,5,7
/proc/3238/stat : 3238 (wbo1.4a) R 3235 3238 3238 0 -1 4202496 26269 0 0 0 798 2 0 0 25 0 1 0 869323410 99123200 23735 33554432000 134512640 135751879 4286923664 18446744073709551615 134519024 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/3238/statm: 24200 23735 146 303 0 23895 0
[pid=3226/tid=3237] ppid=3224 vsize=332592 CPUtime=0 cores=1,3,5,7
/proc/3226/task/3237/stat : 3237 (python) S 3224 3226 2236 0 -1 4202560 25 928 0 0 0 0 0 0 25 0 2 0 869323410 340574208 16988 33554432000 4194304 5683644 140733814175184 18446744073709551615 235606690225 0 0 16781312 33554434 18446604468735309952 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 751740
[startup+25.5005 s]
/proc/loadavg: 2.24 2.04 1.31 3/589 3238
/proc/meminfo: memFree=27790608/32950928 swapFree=34366004/67111528
[pid=3226] ppid=3224 vsize=332592 CPUtime=4.59 cores=1,3,5,7
/proc/3226/stat : 3226 (python) S 3224 3226 2236 0 -1 4202496 28552 928 1 0 448 11 0 0 25 0 2 0 869322941 340574208 16988 33554432000 4194304 5683644 140733814175184 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3226/statm: 83148 16988 1872 364 0 18035 0
[pid=3235] ppid=3226 vsize=322348 CPUtime=0.09 cores=1,3,5,7
/proc/3235/stat : 3235 (python) S 3226 3226 2236 0 -1 4202560 1011 0 0 0 5 4 0 0 15 0 1 0 869323410 330084352 15492 33554432000 4194304 5683644 140733814175184 18446744073709551615 235594886671 0 0 16781312 33554946 5623753486446373602 0 0 17 7 0 0 0
/proc/3235/statm: 80587 15492 380 364 0 15474 0
[pid=3238] ppid=3235 vsize=100660 CPUtime=20.8 cores=1,3,5,7
/proc/3238/stat : 3238 (wbo1.4a) R 3235 3238 3238 0 -1 4202496 27232 0 0 0 2077 3 0 0 25 0 1 0 869323410 103075840 24698 33554432000 134512640 135751879 4286923664 18446744073709551615 134620490 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/3238/statm: 25165 24698 146 303 0 24860 0
[pid=3226/tid=3237] ppid=3224 vsize=332592 CPUtime=0 cores=1,3,5,7
/proc/3226/task/3237/stat : 3237 (python) S 3224 3226 2236 0 -1 4202560 25 928 0 0 0 0 0 0 25 0 2 0 869323410 340574208 16988 33554432000 4194304 5683644 140733814175184 18446744073709551615 235606690225 0 0 16781312 33554434 18446604468735309952 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 755600
[startup+51.101 s]
/proc/loadavg: 2.30 2.07 1.33 3/611 3262
/proc/meminfo: memFree=27144888/32950928 swapFree=34366004/67111528
[pid=3226] ppid=3224 vsize=332592 CPUtime=4.59 cores=1,3,5,7
/proc/3226/stat : 3226 (python) S 3224 3226 2236 0 -1 4202496 28552 928 1 0 448 11 0 0 25 0 2 0 869322941 340574208 16988 33554432000 4194304 5683644 140733814175184 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3226/statm: 83148 16988 1872 364 0 18035 0
[pid=3235] ppid=3226 vsize=322348 CPUtime=0.19 cores=1,3,5,7
/proc/3235/stat : 3235 (python) S 3226 3226 2236 0 -1 4202560 1024 0 0 0 9 10 0 0 15 0 1 0 869323410 330084352 15492 33554432000 4194304 5683644 140733814175184 18446744073709551615 235594886671 0 0 16781312 33554946 5623753486446373602 0 0 17 7 0 0 0
/proc/3235/statm: 80587 15492 380 364 0 15474 0
[pid=3238] ppid=3235 vsize=104772 CPUtime=46.4 cores=1,3,5,7
/proc/3238/stat : 3238 (wbo1.4a) R 3235 3238 3238 0 -1 4202496 28251 0 0 0 4636 4 0 0 25 0 1 0 869323410 107286528 25717 33554432000 134512640 135751879 4286923664 18446744073709551615 134518799 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/3238/statm: 26193 25717 146 303 0 25888 0
[pid=3226/tid=3237] ppid=3224 vsize=332592 CPUtime=0 cores=1,3,5,7
/proc/3226/task/3237/stat : 3237 (python) S 3224 3226 2236 0 -1 4202560 25 928 0 0 0 0 0 0 25 0 2 0 869323410 340574208 16988 33554432000 4194304 5683644 140733814175184 18446744073709551615 235606690225 0 0 16781312 33554434 18446604468735309952 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 759712
[startup+102.319 s]
/proc/loadavg: 2.13 2.06 1.37 3/633 3285
/proc/meminfo: memFree=22289208/32950928 swapFree=34366004/67111528
[pid=3226] ppid=3224 vsize=342848 CPUtime=4.61 cores=1,3,5,7
/proc/3226/stat : 3226 (python) S 3224 3226 2236 0 -1 4202496 29440 928 1 0 450 11 0 0 20 0 3 0 869322941 351076352 16995 33554432000 4194304 5683644 140733814175184 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/3226/statm: 85712 16995 1875 364 0 20596 0
[pid=3235] ppid=3226 vsize=332592 CPUtime=0.21 cores=1,3,5,7
/proc/3235/stat : 3235 (python) S 3226 3226 2236 0 -1 4202560 1160 0 0 0 9 12 0 0 16 0 2 0 869323410 340574208 15528 33554432000 4194304 5683644 140733814175184 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3235/statm: 83148 15528 411 364 0 18035 0
[pid=3238] ppid=3235 vsize=104772 CPUtime=48.88 cores=1,3,5,7
/proc/3238/stat : 3238 (wbo1.4a) T 3235 3238 3238 0 -1 4202496 28251 0 0 0 4884 4 0 0 25 0 1 0 869323410 107286528 25717 33554432000 134512640 135751879 4286923664 18446744073709551615 134611297 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/3238/statm: 26193 25717 146 303 0 25888 0
[pid=3235/tid=3263] ppid=3226 vsize=332592 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3263/stat : 3263 (python) S 3226 3226 2236 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869328299 340574208 15528 33554432000 4194304 5683644 140733814175184 18446744073709551615 235606690225 0 0 16781312 33554946 18446604465102268288 0 0 -1 5 0 0 0
[pid=3264] ppid=3226 vsize=332604 CPUtime=0.17 cores=1,3,5,7
/proc/3264/stat : 3264 (python) S 3226 3226 2236 0 -1 4202560 953 0 0 0 7 10 0 0 15 0 1 0 869328302 340586496 15488 33554432000 4194304 5683644 140733814175184 18446744073709551615 235594886726 0 0 16781312 33554946 5623753486446373602 0 0 17 7 0 0 0
/proc/3264/statm: 83151 15488 372 364 0 18035 0
[pid=3266] ppid=3264 vsize=8542492 CPUtime=51.02 cores=1,3,5,7
/proc/3266/stat : 3266 (java) S 3264 3266 3266 0 -1 4202496 697559 0 1 0 5029 73 0 0 20 0 19 0 869328302 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/3266/statm: 2135623 692828 2244 9 0 2126364 0
[pid=3266/tid=3267] ppid=3264 vsize=8542492 CPUtime=48.33 cores=1,3,5,7
/proc/3266/task/3267/stat : 3267 (java) R 3264 3266 3266 0 -1 4202560 624652 0 1 0 4769 64 0 0 25 0 19 0 869328303 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 46912505860437 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=3266/tid=3268] ppid=3264 vsize=8542492 CPUtime=0.1 cores=1,3,5,7
/proc/3266/task/3268/stat : 3268 (java) S 3264 3266 3266 0 -1 4202560 5822 0 0 0 10 0 0 0 15 0 19 0 869328304 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606682521 0 4 0 16800975 18446604469069226048 0 0 -1 3 0 0 0
[pid=3266/tid=3269] ppid=3264 vsize=8542492 CPUtime=0.13 cores=1,3,5,7
/proc/3266/task/3269/stat : 3269 (java) S 3264 3266 3266 0 -1 4202560 8377 0 0 0 13 0 0 0 16 0 19 0 869328304 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606682521 0 4 0 16800975 18446604469069226048 0 0 -1 7 0 0 0
[pid=3266/tid=3270] ppid=3264 vsize=8542492 CPUtime=0.09 cores=1,3,5,7
/proc/3266/task/3270/stat : 3270 (java) S 3264 3266 3266 0 -1 4202560 4452 0 0 0 9 0 0 0 16 0 19 0 869328304 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606682521 0 4 0 16800975 18446604469069226048 0 0 -1 1 0 0 0
[pid=3266/tid=3271] ppid=3264 vsize=8542492 CPUtime=0.22 cores=1,3,5,7
/proc/3266/task/3271/stat : 3271 (java) S 3264 3266 3266 0 -1 4202560 16472 0 0 0 21 1 0 0 15 0 19 0 869328304 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606682521 0 4 0 16800975 18446604469069226048 0 0 -1 3 0 0 0
[pid=3266/tid=3272] ppid=3264 vsize=8542492 CPUtime=0.04 cores=1,3,5,7
/proc/3266/task/3272/stat : 3272 (java) S 3264 3266 3266 0 -1 4202560 2599 0 0 0 4 0 0 0 16 0 19 0 869328304 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606682521 0 4 0 16800975 18446604469069226048 0 0 -1 7 0 0 0
[pid=3266/tid=3273] ppid=3264 vsize=8542492 CPUtime=0.21 cores=1,3,5,7
/proc/3266/task/3273/stat : 3273 (java) S 3264 3266 3266 0 -1 4202560 14036 0 0 0 20 1 0 0 16 0 19 0 869328304 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606682521 0 4 0 16800975 18446604469069226048 0 0 -1 3 0 0 0
[pid=3266/tid=3274] ppid=3264 vsize=8542492 CPUtime=0.1 cores=1,3,5,7
/proc/3266/task/3274/stat : 3274 (java) S 3264 3266 3266 0 -1 4202560 5304 0 0 0 9 1 0 0 16 0 19 0 869328304 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606682521 0 4 0 16800975 18446604469069226048 0 0 -1 1 0 0 0
[pid=3266/tid=3275] ppid=3264 vsize=8542492 CPUtime=0.07 cores=1,3,5,7
/proc/3266/task/3275/stat : 3275 (java) S 3264 3266 3266 0 -1 4202560 3590 0 0 0 7 0 0 0 16 0 19 0 869328304 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606682521 0 4 0 16800975 18446604469069226048 0 0 -1 5 0 0 0
[pid=3266/tid=3276] ppid=3264 vsize=8542492 CPUtime=0 cores=1,3,5,7
/proc/3266/task/3276/stat : 3276 (java) S 3264 3266 3266 0 -1 4202560 1271 0 0 0 0 0 0 0 16 0 19 0 869328305 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606683136 0 0 0 16800975 18446604469069226048 0 0 -1 5 0 0 0
[pid=3266/tid=3277] ppid=3264 vsize=8542492 CPUtime=0 cores=1,3,5,7
/proc/3266/task/3277/stat : 3277 (java) S 3264 3266 3266 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 869328305 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606682521 0 4 0 16800975 18446604469069226048 0 0 -1 7 0 0 0
[pid=3266/tid=3278] ppid=3264 vsize=8542492 CPUtime=0 cores=1,3,5,7
/proc/3266/task/3278/stat : 3278 (java) S 3264 3266 3266 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 869328305 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606682521 0 4 0 16800975 18446604469069226048 0 0 -1 7 0 0 0
[pid=3266/tid=3279] ppid=3264 vsize=8542492 CPUtime=0 cores=1,3,5,7
/proc/3266/task/3279/stat : 3279 (java) S 3264 3266 3266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869328307 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606690225 0 4 0 16800975 18446604469069226048 0 0 -1 7 0 0 0
[pid=3266/tid=3280] ppid=3264 vsize=8542492 CPUtime=0.97 cores=1,3,5,7
/proc/3266/task/3280/stat : 3280 (java) S 3264 3266 3266 0 -1 4202560 4995 0 0 0 97 0 0 0 15 0 19 0 869328307 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606682521 0 4 0 16800975 18446604469069226048 0 0 -1 3 0 0 0
[pid=3266/tid=3281] ppid=3264 vsize=8542492 CPUtime=0.64 cores=1,3,5,7
/proc/3266/task/3281/stat : 3281 (java) S 3264 3266 3266 0 -1 4202560 4594 0 0 0 64 0 0 0 15 0 19 0 869328307 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606682521 0 4 0 16800975 18446604469069226048 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/3290/stat : 3290 (java) S 3288 3290 3290 0 -1 4202496 49117 0 1 0 118 7 0 0 18 0 18 0 869333204 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3290/statm: 2136384 46418 2221 9 0 2127125 0
[pid=3290/tid=3291] ppid=3288 vsize=8545536 CPUtime=0.67 cores=1,3,5,7
/proc/3290/task/3291/stat : 3291 (java) R 3288 3290 3290 0 -1 4202560 35203 0 1 0 62 5 0 0 18 0 18 0 869333205 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606693323 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3290/tid=3292] ppid=3288 vsize=8545536 CPUtime=0.01 cores=1,3,5,7
/proc/3290/task/3292/stat : 3292 (java) S 3288 3290 3290 0 -1 4202560 1192 0 0 0 1 0 0 0 16 0 18 0 869333205 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606682521 0 4 0 16800975 18446604462941261952 0 0 -1 1 0 0 0
[pid=3290/tid=3293] ppid=3288 vsize=8545536 CPUtime=0.01 cores=1,3,5,7
/proc/3290/task/3293/stat : 3293 (java) S 3288 3290 3290 0 -1 4202560 1185 0 0 0 1 0 0 0 16 0 18 0 869333205 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606682521 0 4 0 16800975 18446604462941261952 0 0 -1 1 0 0 0
[pid=3290/tid=3294] ppid=3288 vsize=8545536 CPUtime=0.01 cores=1,3,5,7
/proc/3290/task/3294/stat : 3294 (java) S 3288 3290 3290 0 -1 4202560 1054 0 0 0 1 0 0 0 16 0 18 0 869333205 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606682521 0 4 0 16800975 18446604462941261952 0 0 -1 5 0 0 0
[pid=3290/tid=3295] ppid=3288 vsize=8545536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3295/stat : 3295 (java) S 3288 3290 3290 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 18 0 869333205 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606682521 0 4 0 16800975 18446604462941261952 0 0 -1 7 0 0 0
[pid=3290/tid=3296] ppid=3288 vsize=8545536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3296/stat : 3296 (java) S 3288 3290 3290 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 18 0 869333205 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606682521 0 4 0 16800975 18446604462941261952 0 0 -1 7 0 0 0
[pid=3290/tid=3297] ppid=3288 vsize=8545536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3297/stat : 3297 (java) S 3288 3290 3290 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 18 0 869333205 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606682521 0 4 0 16800975 18446604462941261952 0 0 -1 7 0 0 0
[pid=3290/tid=3298] ppid=3288 vsize=8545536 CPUtime=0.01 cores=1,3,5,7
/proc/3290/task/3298/stat : 3298 (java) S 3288 3290 3290 0 -1 4202560 931 0 0 0 1 0 0 0 16 0 18 0 869333205 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606682521 0 4 0 16800975 18446604462941261952 0 0 -1 3 0 0 0
[pid=3290/tid=3299] ppid=3288 vsize=8545536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3299/stat : 3299 (java) S 3288 3290 3290 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 18 0 869333205 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606682521 0 4 0 16800975 18446604462941261952 0 0 -1 1 0 0 0
[pid=3290/tid=3300] ppid=3288 vsize=8545536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3300/stat : 3300 (java) S 3288 3290 3290 0 -1 4202560 71 0 0 0 0 0 0 0 17 0 18 0 869333206 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606683136 0 0 0 16800975 18446604462941261952 0 0 -1 7 0 0 0
[pid=3290/tid=3301] ppid=3288 vsize=8545536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3301/stat : 3301 (java) S 3288 3290 3290 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 18 0 869333207 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606682521 0 4 0 16800975 18446604462941261952 0 0 -1 3 0 0 0
[pid=3290/tid=3302] ppid=3288 vsize=8545536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3302/stat : 3302 (java) S 3288 3290 3290 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 18 0 869333207 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606682521 0 4 0 16800975 18446604462941261952 0 0 -1 5 0 0 0
[pid=3290/tid=3303] ppid=3288 vsize=8545536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3303/stat : 3303 (java) S 3288 3290 3290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869333209 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606690225 0 4 0 16800975 18446604462941261952 0 0 -1 1 0 0 0
[pid=3290/tid=3305] ppid=3288 vsize=8545536 CPUtime=0.27 cores=1,3,5,7
/proc/3290/task/3305/stat : 3305 (java) S 3288 3290 3290 0 -1 4202560 4590 0 0 0 27 0 0 0 24 0 18 0 869333209 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606682521 0 4 0 16800975 18446604462941261952 0 0 -1 7 0 0 0
[pid=3290/tid=3306] ppid=3288 vsize=8545536 CPUtime=0.23 cores=1,3,5,7
/proc/3290/task/3306/stat : 3306 (java) S 3288 3290 3290 0 -1 4202560 3506 0 0 0 23 0 0 0 25 0 18 0 869333209 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606682521 0 4 0 16800975 18446604462941261952 0 0 -1 5 0 0 0
[pid=3290/tid=3307] ppid=3288 vsize=8545536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3307/stat : 3307 (java) S 3288 3290 3290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869333209 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606682521 0 4 0 16800975 18446604462941261952 0 0 -1 1 0 0 0
[pid=3290/tid=3308] ppid=3288 vsize=8545536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3308/stat : 3308 (java) S 3288 3290 3290 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869333209 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606683136 0 4 0 16800975 18446604462941261952 0 0 -1 3 0 0 0
[pid=3226/tid=3237] ppid=3224 vsize=353104 CPUtime=0 cores=1,3,5,7
/proc/3226/task/3237/stat : 3237 (python) S 3224 3226 2236 0 -1 4202560 25 928 0 0 0 0 0 0 25 0 4 0 869323410 361578496 17001 33554432000 4194304 5683644 140733814175184 18446744073709551615 235606690225 0 0 16781312 33554434 18446604468735309952 0 0 -1 3 0 0 0
[pid=3226/tid=3265] ppid=3224 vsize=353104 CPUtime=0 cores=1,3,5,7
/proc/3226/task/3265/stat : 3265 (python) S 3224 3226 2236 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 4 0 869328302 361578496 17001 33554432000 4194304 5683644 140733814175184 18446744073709551615 235606690225 0 0 16781312 33554434 18446604468735309952 0 0 -1 5 0 0 0
[pid=3226/tid=3289] ppid=3224 vsize=353104 CPUtime=0 cores=1,3,5,7
/proc/3226/task/3289/stat : 3289 (python) S 3224 3226 2236 0 -1 4202560 24 928 0 0 0 0 0 0 20 0 4 0 869333204 361578496 17001 33554432000 4194304 5683644 140733814175184 18446744073709551615 235606690225 0 0 16781312 33554434 18446604468735309952 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 106.46
Current children cumulated vsize (KiB) 18553960
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+103.302 s]
/proc/loadavg: 2.13 2.06 1.37 4/654 3309
/proc/meminfo: memFree=22106576/32950928 swapFree=34366004/67111528
[pid=3226] ppid=3224 vsize=353104 CPUtime=4.64 cores=1,3,5,7
/proc/3226/stat : 3226 (python) S 3224 3226 2236 0 -1 4202496 30338 928 1 0 452 12 0 0 20 0 4 0 869322941 361578496 17001 33554432000 4194304 5683644 140733814175184 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/3226/statm: 88276 17001 1877 364 0 23157 0
[pid=3235] ppid=3226 vsize=332592 CPUtime=0.21 cores=1,3,5,7
/proc/3235/stat : 3235 (python) S 3226 3226 2236 0 -1 4202560 1160 0 0 0 9 12 0 0 16 0 2 0 869323410 340574208 15528 33554432000 4194304 5683644 140733814175184 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3235/statm: 83148 15528 411 364 0 18035 0
[pid=3238] ppid=3235 vsize=104772 CPUtime=48.88 cores=1,3,5,7
/proc/3238/stat : 3238 (wbo1.4a) T 3235 3238 3238 0 -1 4202496 28251 0 0 0 4884 4 0 0 25 0 1 0 869323410 107286528 25717 33554432000 134512640 135751879 4286923664 18446744073709551615 134611297 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/3238/statm: 26193 25717 146 303 0 25888 0
[pid=3235/tid=3263] ppid=3226 vsize=332592 CPUtime=0 cores=1,3,5,7
/proc/3235/task/3263/stat : 3263 (python) S 3226 3226 2236 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869328299 340574208 15528 33554432000 4194304 5683644 140733814175184 18446744073709551615 235606690225 0 0 16781312 33554946 18446604465102268288 0 0 -1 5 0 0 0
[pid=3264] ppid=3226 vsize=332604 CPUtime=0.19 cores=1,3,5,7
/proc/3264/stat : 3264 (python) S 3226 3226 2236 0 -1 4202560 1114 0 0 0 8 11 0 0 16 0 2 0 869328302 340586496 15513 33554432000 4194304 5683644 140733814175184 18446744073709551615 235606693323 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3264/statm: 83151 15513 396 364 0 18035 0
[pid=3266] ppid=3264 vsize=8542492 CPUtime=51.29 cores=1,3,5,7
/proc/3266/stat : 3266 (java) T 3264 3266 3266 0 -1 4202496 697560 0 1 0 5056 73 0 0 18 0 19 0 869328302 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/3266/statm: 2135623 692828 2244 9 0 2126364 0
[pid=3266/tid=3267] ppid=3264 vsize=8542492 CPUtime=48.61 cores=1,3,5,7
/proc/3266/task/3267/stat : 3267 (java) T 3264 3266 3266 0 -1 4202560 624653 0 1 0 4797 64 0 0 25 0 19 0 869328303 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 46912505910002 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3266/tid=3268] ppid=3264 vsize=8542492 CPUtime=0.1 cores=1,3,5,7
/proc/3266/task/3268/stat : 3268 (java) T 3264 3266 3266 0 -1 4202560 5822 0 0 0 10 0 0 0 15 0 19 0 869328304 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3266/tid=3269] ppid=3264 vsize=8542492 CPUtime=0.13 cores=1,3,5,7
/proc/3266/task/3269/stat : 3269 (java) T 3264 3266 3266 0 -1 4202560 8377 0 0 0 13 0 0 0 15 0 19 0 869328304 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3266/tid=3270] ppid=3264 vsize=8542492 CPUtime=0.09 cores=1,3,5,7
/proc/3266/task/3270/stat : 3270 (java) T 3264 3266 3266 0 -1 4202560 4452 0 0 0 9 0 0 0 15 0 19 0 869328304 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3266/tid=3271] ppid=3264 vsize=8542492 CPUtime=0.22 cores=1,3,5,7
/proc/3266/task/3271/stat : 3271 (java) T 3264 3266 3266 0 -1 4202560 16472 0 0 0 21 1 0 0 15 0 19 0 869328304 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3266/tid=3272] ppid=3264 vsize=8542492 CPUtime=0.04 cores=1,3,5,7
/proc/3266/task/3272/stat : 3272 (java) T 3264 3266 3266 0 -1 4202560 2599 0 0 0 4 0 0 0 15 0 19 0 869328304 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3266/tid=3273] ppid=3264 vsize=8542492 CPUtime=0.21 cores=1,3,5,7
/proc/3266/task/3273/stat : 3273 (java) T 3264 3266 3266 0 -1 4202560 14036 0 0 0 20 1 0 0 15 0 19 0 869328304 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3266/tid=3274] ppid=3264 vsize=8542492 CPUtime=0.1 cores=1,3,5,7
/proc/3266/task/3274/stat : 3274 (java) T 3264 3266 3266 0 -1 4202560 5304 0 0 0 9 1 0 0 15 0 19 0 869328304 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3266/tid=3275] ppid=3264 vsize=8542492 CPUtime=0.07 cores=1,3,5,7
/proc/3266/task/3275/stat : 3275 (java) T 3264 3266 3266 0 -1 4202560 3590 0 0 0 7 0 0 0 15 0 19 0 869328304 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3266/tid=3276] ppid=3264 vsize=8542492 CPUtime=0 cores=1,3,5,7
/proc/3266/task/3276/stat : 3276 (java) T 3264 3266 3266 0 -1 4202560 1271 0 0 0 0 0 0 0 15 0 19 0 869328305 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606683136 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3266/tid=3277] ppid=3264 vsize=8542492 CPUtime=0 cores=1,3,5,7
/proc/3266/task/3277/stat : 3277 (java) T 3264 3266 3266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869328305 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3266/tid=3278] ppid=3264 vsize=8542492 CPUtime=0 cores=1,3,5,7
/proc/3266/task/3278/stat : 3278 (java) T 3264 3266 3266 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869328305 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3266/tid=3279] ppid=3264 vsize=8542492 CPUtime=0 cores=1,3,5,7
/proc/3266/task/3279/stat : 3279 (java) T 3264 3266 3266 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869328307 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606690225 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3266/tid=3280] ppid=3264 vsize=8542492 CPUtime=0.97 cores=1,3,5,7
/proc/3266/task/3280/stat : 3280 (java) T 3264 3266 3266 0 -1 4202560 4995 0 0 0 97 0 0 0 15 0 19 0 869328307 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3266/tid=3281] ppid=3264 vsize=8542492 CPUtime=0.64 cores=1,3,5,7
/proc/3266/task/3281/stat : 3281 (java) T 3264 3266 3266 0 -1 4202560 4594 0 0 0 64 0 0 0 15 0 19 0 869328307 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3266/tid=3282] ppid=3264 vsize=8542492 CPUtime=0 cores=1,3,5,7
/proc/3266/task/3282/stat : 3282 (java) T 3264 3266 3266 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869328307 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606682521 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3266/tid=3283] ppid=3264 vsize=8542492 CPUtime=0 cores=1,3,5,7
/proc/3266/task/3283/stat : 3283 (java) T 3264 3266 3266 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869328307 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606683136 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3266/tid=3284] ppid=3264 vsize=8542492 CPUtime=0 cores=1,3,5,7
/proc/3266/task/3284/stat : 3284 (java) T 3264 3266 3266 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869328484 8747511808 692828 33554432000 1073741824 1073778376 140737015176944 18446744073709551615 235606683136 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3264/tid=3287] ppid=3226 vsize=332604 CPUtime=0 cores=1,3,5,7
/proc/3264/task/3287/stat : 3287 (python) S 3226 3226 2236 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869333201 340586496 15513 33554432000 4194304 5683644 140733814175184 18446744073709551615 235606690225 0 0 16781312 33554946 18446604462941262848 0 0 -1 7 0 0 0
[pid=3288] ppid=3226 vsize=342860 CPUtime=0 cores=1,3,5,7
/proc/3288/stat : 3288 (python) S 3226 3226 2236 0 -1 4202560 812 0 0 0 0 0 0 0 17 0 1 0 869333204 351088640 15468 33554432000 4194304 5683644 140733814175184 18446744073709551615 235594886726 0 0 16781312 33554946 193846567151599616 0 0 17 5 0 0 0
/proc/3288/statm: 85715 15468 348 364 0 20596 0
[pid=3290] ppid=3288 vsize=8545536 CPUtime=1.25 cores=1,3,5,7
/proc/3290/stat : 3290 (java) S 3288 3290 3290 0 -1 4202496 49117 0 1 0 118 7 0 0 18 0 18 0 869333204 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/3290/statm: 2136384 46418 2221 9 0 2127125 0
[pid=3290/tid=3291] ppid=3288 vsize=8545536 CPUtime=0.67 cores=1,3,5,7
/proc/3290/task/3291/stat : 3291 (java) R 3288 3290 3290 0 -1 4202560 35203 0 1 0 62 5 0 0 18 0 18 0 869333205 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606693323 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3290/tid=3292] ppid=3288 vsize=8545536 CPUtime=0.01 cores=1,3,5,7
/proc/3290/task/3292/stat : 3292 (java) S 3288 3290 3290 0 -1 4202560 1192 0 0 0 1 0 0 0 16 0 18 0 869333205 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606682521 0 4 0 16800975 18446604462941261952 0 0 -1 1 0 0 0
[pid=3290/tid=3293] ppid=3288 vsize=8545536 CPUtime=0.01 cores=1,3,5,7
/proc/3290/task/3293/stat : 3293 (java) S 3288 3290 3290 0 -1 4202560 1185 0 0 0 1 0 0 0 16 0 18 0 869333205 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606682521 0 4 0 16800975 18446604462941261952 0 0 -1 1 0 0 0
[pid=3290/tid=3294] ppid=3288 vsize=8545536 CPUtime=0.01 cores=1,3,5,7
/proc/3290/task/3294/stat : 3294 (java) S 3288 3290 3290 0 -1 4202560 1054 0 0 0 1 0 0 0 16 0 18 0 869333205 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606682521 0 4 0 16800975 18446604462941261952 0 0 -1 5 0 0 0
[pid=3290/tid=3295] ppid=3288 vsize=8545536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3295/stat : 3295 (java) S 3288 3290 3290 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 18 0 869333205 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606682521 0 4 0 16800975 18446604462941261952 0 0 -1 7 0 0 0
[pid=3290/tid=3296] ppid=3288 vsize=8545536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3296/stat : 3296 (java) S 3288 3290 3290 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 18 0 869333205 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606682521 0 4 0 16800975 18446604462941261952 0 0 -1 7 0 0 0
[pid=3290/tid=3297] ppid=3288 vsize=8545536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3297/stat : 3297 (java) S 3288 3290 3290 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 18 0 869333205 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606682521 0 4 0 16800975 18446604462941261952 0 0 -1 7 0 0 0
[pid=3290/tid=3298] ppid=3288 vsize=8545536 CPUtime=0.01 cores=1,3,5,7
/proc/3290/task/3298/stat : 3298 (java) S 3288 3290 3290 0 -1 4202560 931 0 0 0 1 0 0 0 16 0 18 0 869333205 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606682521 0 4 0 16800975 18446604462941261952 0 0 -1 3 0 0 0
[pid=3290/tid=3299] ppid=3288 vsize=8545536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3299/stat : 3299 (java) S 3288 3290 3290 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 18 0 869333205 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606682521 0 4 0 16800975 18446604462941261952 0 0 -1 1 0 0 0
[pid=3290/tid=3300] ppid=3288 vsize=8545536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3300/stat : 3300 (java) S 3288 3290 3290 0 -1 4202560 71 0 0 0 0 0 0 0 17 0 18 0 869333206 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606683136 0 0 0 16800975 18446604462941261952 0 0 -1 7 0 0 0
[pid=3290/tid=3301] ppid=3288 vsize=8545536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3301/stat : 3301 (java) S 3288 3290 3290 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 18 0 869333207 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606682521 0 4 0 16800975 18446604462941261952 0 0 -1 3 0 0 0
[pid=3290/tid=3302] ppid=3288 vsize=8545536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3302/stat : 3302 (java) S 3288 3290 3290 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 18 0 869333207 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606682521 0 4 0 16800975 18446604462941261952 0 0 -1 5 0 0 0
[pid=3290/tid=3303] ppid=3288 vsize=8545536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3303/stat : 3303 (java) S 3288 3290 3290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869333209 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606690225 0 4 0 16800975 18446604462941261952 0 0 -1 1 0 0 0
[pid=3290/tid=3305] ppid=3288 vsize=8545536 CPUtime=0.27 cores=1,3,5,7
/proc/3290/task/3305/stat : 3305 (java) S 3288 3290 3290 0 -1 4202560 4590 0 0 0 27 0 0 0 24 0 18 0 869333209 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606682521 0 4 0 16800975 18446604462941261952 0 0 -1 7 0 0 0
[pid=3290/tid=3306] ppid=3288 vsize=8545536 CPUtime=0.23 cores=1,3,5,7
/proc/3290/task/3306/stat : 3306 (java) S 3288 3290 3290 0 -1 4202560 3506 0 0 0 23 0 0 0 25 0 18 0 869333209 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606682521 0 4 0 16800975 18446604462941261952 0 0 -1 5 0 0 0
[pid=3290/tid=3307] ppid=3288 vsize=8545536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3307/stat : 3307 (java) S 3288 3290 3290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869333209 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606682521 0 4 0 16800975 18446604462941261952 0 0 -1 1 0 0 0
[pid=3290/tid=3308] ppid=3288 vsize=8545536 CPUtime=0 cores=1,3,5,7
/proc/3290/task/3308/stat : 3308 (java) S 3288 3290 3290 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869333209 8750628864 46418 33554432000 1073741824 1073778376 140736972753152 18446744073709551615 235606683136 0 4 0 16800975 18446604462941261952 0 0 -1 3 0 0 0
[pid=3226/tid=3237] ppid=3224 vsize=353104 CPUtime=0 cores=1,3,5,7
/proc/3226/task/3237/stat : 3237 (python) S 3224 3226 2236 0 -1 4202560 25 928 0 0 0 0 0 0 25 0 4 0 869323410 361578496 17001 33554432000 4194304 5683644 140733814175184 18446744073709551615 235606690225 0 0 16781312 33554434 18446604468735309952 0 0 -1 3 0 0 0
[pid=3226/tid=3265] ppid=3224 vsize=353104 CPUtime=0 cores=1,3,5,7
/proc/3226/task/3265/stat : 3265 (python) S 3224 3226 2236 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 4 0 869328302 361578496 17001 33554432000 4194304 5683644 140733814175184 18446744073709551615 235606690225 0 0 16781312 33554434 18446604468735309952 0 0 -1 5 0 0 0
[pid=3226/tid=3289] ppid=3224 vsize=353104 CPUtime=0 cores=1,3,5,7
/proc/3226/task/3289/stat : 3289 (python) S 3224 3226 2236 0 -1 4202560 24 928 0 0 0 0 0 0 20 0 4 0 869333204 361578496 17001 33554432000 4194304 5683644 140733814175184 18446744073709551615 235606690225 0 0 16781312 33554434 18446604468735309952 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 106.46
Current children cumulated vsize (KiB) 18553960
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3226 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=531311
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=122981
# CPU time returned by wait4() is 4.65429
# while last known CPU time is 106.46
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 103.373
CPU time (s): 106.46
CPU user time (s): 105.27
CPU system time (s): 1.19
CPU usage (%): 102.986
Max. virtual memory (cumulated for all children) (KiB): 18553960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.53131
system time used= 0.122981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31267
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= 1003
involuntary context switches= 22
runsolver used 0.491925 second user time and 1.20382 second system time
The end