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-3481608-1307578514/watcher-3481608-1307578514 -o /tmp/evaluation-result-3481608-1307578514/solver-3481608-1307578514 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481608-1307578514.opb -seed 451773888 -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.32 2.14 1.87 2/749 28762
/proc/meminfo: memFree=11123240/32951124 swapFree=49244124/67111528
[pid=28762] ppid=28760 vsize=16236 CPUtime=0 cores=1,3,5,7
/proc/28762/stat : 28762 (python) R 28760 28762 26377 0 -1 4202496 997 0 0 0 0 0 0 0 20 0 1 0 869454247 16625664 869 33554432000 4194304 5683644 140733633187104 18446744073709551615 218370618053 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/28762/statm: 4059 869 368 364 0 546 0
[startup+0.0773969 s]
/proc/loadavg: 2.32 2.14 1.87 2/749 28762
/proc/meminfo: memFree=11123240/32951124 swapFree=49244124/67111528
[pid=28762] ppid=28760 vsize=40968 CPUtime=0.04 cores=1,3,5,7
/proc/28762/stat : 28762 (python) R 28760 28762 26377 0 -1 4202496 1677 0 0 0 4 0 0 0 17 0 1 0 869454247 41951232 1501 33554432000 4194304 5683644 140733633187104 18446744073709551615 218370955264 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/28762/statm: 10242 1501 463 364 0 1025 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 40968
[startup+0.100392 s]
/proc/loadavg: 2.32 2.14 1.87 2/749 28762
/proc/meminfo: memFree=11123240/32951124 swapFree=49244124/67111528
[pid=28762] ppid=28760 vsize=85616 CPUtime=0.06 cores=1,3,5,7
/proc/28762/stat : 28762 (python) R 28760 28762 26377 0 -1 4202496 2645 0 0 0 5 1 0 0 17 0 1 0 869454247 87670784 2364 33554432000 4194304 5683644 140733633187104 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/28762/statm: 21404 2367 715 364 0 1621 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85616
[startup+0.300327 s]
/proc/loadavg: 2.32 2.14 1.87 2/749 28762
/proc/meminfo: memFree=11123240/32951124 swapFree=49244124/67111528
[pid=28762] ppid=28760 vsize=123740 CPUtime=0.16 cores=1,3,5,7
/proc/28762/stat : 28762 (python) S 28760 28762 26377 0 -1 4202496 5357 931 1 0 11 5 0 0 16 0 1 0 869454247 126709760 3744 33554432000 4194304 5683644 140733633187104 18446744073709551615 218370953221 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/28762/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123740
[startup+0.700291 s]
/proc/loadavg: 2.32 2.14 1.87 2/749 28762
/proc/meminfo: memFree=11123240/32951124 swapFree=49244124/67111528
[pid=28762] ppid=28760 vsize=271348 CPUtime=0.41 cores=1,3,5,7
/proc/28762/stat : 28762 (python) R 28760 28762 26377 0 -1 4202496 8760 931 1 0 30 11 0 0 16 0 1 0 869454247 277860352 6713 33554432000 4194304 5683644 140733633187104 18446744073709551615 218370955264 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/28762/statm: 67837 6713 1716 364 0 5388 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 271348
[startup+1.50014 s]
/proc/loadavg: 2.32 2.14 1.87 3/750 28768
/proc/meminfo: memFree=11094332/32951124 swapFree=49244124/67111528
[pid=28762] ppid=28760 vsize=291420 CPUtime=1.32 cores=1,3,5,7
/proc/28762/stat : 28762 (python) R 28760 28762 26377 0 -1 4202496 14597 1446 1 0 92 18 18 4 16 0 1 0 869454247 298414080 9200 33554432000 4194304 5683644 140733633187104 18446744073709551615 47115824415226 0 0 16781312 33554434 0 0 0 17 1 0 0 0
/proc/28762/statm: 72855 9200 1817 364 0 7748 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 291420
[startup+3.10087 s]
/proc/loadavg: 2.32 2.14 1.87 3/750 28768
/proc/meminfo: memFree=11094332/32951124 swapFree=49244124/67111528
[pid=28762] ppid=28760 vsize=302336 CPUtime=1.46 cores=1,3,5,7
/proc/28762/stat : 28762 (python) S 28760 28762 26377 0 -1 4202496 15429 1446 1 0 106 18 18 4 18 0 2 0 869454247 309592064 9424 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/28762/statm: 75584 9424 1871 364 0 10471 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 302336
heavy processes:
[startup+6.3003 s]
/proc/loadavg: 2.45 2.17 1.88 3/753 28771
/proc/meminfo: memFree=10937192/32951124 swapFree=49244124/67111528
[pid=28762] ppid=28760 vsize=302336 CPUtime=1.46 cores=1,3,5,7
/proc/28762/stat : 28762 (python) S 28760 28762 26377 0 -1 4202496 15429 1446 1 0 106 18 18 4 18 0 2 0 869454247 309592064 9424 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/28762/statm: 75584 9424 1871 364 0 10471 0
[pid=28769] ppid=28762 vsize=292092 CPUtime=0.02 cores=1,3,5,7
/proc/28769/stat : 28769 (python) S 28762 28762 26377 0 -1 4202560 875 0 0 0 1 1 0 0 15 0 1 0 869454411 299102208 7890 33554432000 4194304 5683644 140733633187104 18446744073709551615 218370977295 0 0 16781312 33554946 7885335350141223173 0 0 17 7 0 0 0
/proc/28769/statm: 73023 7890 341 364 0 7910 0
[pid=28771] ppid=28769 vsize=165736 CPUtime=4.64 cores=1,3,5,7
/proc/28771/stat : 28771 (scip-2.0.1.linu) R 28769 28771 28771 0 -1 4202496 40168 0 0 0 443 21 0 0 25 0 1 0 869454411 169713664 38104 33554432000 4194304 13684479 140736065818416 18446744073709551615 7387919 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/28771/statm: 41434 38104 729 2317 0 39112 0
[pid=28762/tid=28770] ppid=28760 vsize=302336 CPUtime=0.22 cores=1,3,5,7
/proc/28762/task/28770/stat : 28770 (python) S 28760 28762 26377 0 -1 4202560 30 1446 0 0 0 0 18 4 18 0 2 0 869454411 309592064 9424 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382780849 0 0 16781312 33554434 18446604454294025216 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 760164
[startup+12.7012 s]
/proc/loadavg: 2.38 2.17 1.88 3/753 28771
/proc/meminfo: memFree=10934564/32951124 swapFree=49244124/67111528
[pid=28762] ppid=28760 vsize=302336 CPUtime=1.46 cores=1,3,5,7
/proc/28762/stat : 28762 (python) S 28760 28762 26377 0 -1 4202496 15429 1446 1 0 106 18 18 4 18 0 2 0 869454247 309592064 9424 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/28762/statm: 75584 9424 1871 364 0 10471 0
[pid=28769] ppid=28762 vsize=292092 CPUtime=0.03 cores=1,3,5,7
/proc/28769/stat : 28769 (python) S 28762 28762 26377 0 -1 4202560 880 0 0 0 2 1 0 0 15 0 1 0 869454411 299102208 7890 33554432000 4194304 5683644 140733633187104 18446744073709551615 218370977295 0 0 16781312 33554946 5623753486446373593 0 0 17 7 0 0 0
/proc/28769/statm: 73023 7890 341 364 0 7910 0
[pid=28771] ppid=28769 vsize=168816 CPUtime=11.04 cores=1,3,5,7
/proc/28771/stat : 28771 (scip-2.0.1.linu) R 28769 28771 28771 0 -1 4202496 40958 0 0 0 1082 22 0 0 25 0 1 0 869454411 172867584 38894 33554432000 4194304 13684479 140736065818416 18446744073709551615 7390881 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/28771/statm: 42204 38894 769 2317 0 39882 0
[pid=28762/tid=28770] ppid=28760 vsize=302336 CPUtime=0.22 cores=1,3,5,7
/proc/28762/task/28770/stat : 28770 (python) S 28760 28762 26377 0 -1 4202560 30 1446 0 0 0 0 18 4 18 0 2 0 869454411 309592064 9424 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382780849 0 0 16781312 33554434 18446604454294025216 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 763244
[startup+25.5009 s]
/proc/loadavg: 2.32 2.16 1.88 3/753 28771
/proc/meminfo: memFree=10931108/32951124 swapFree=49244124/67111528
[pid=28762] ppid=28760 vsize=302336 CPUtime=1.46 cores=1,3,5,7
/proc/28762/stat : 28762 (python) S 28760 28762 26377 0 -1 4202496 15429 1446 1 0 106 18 18 4 18 0 2 0 869454247 309592064 9424 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/28762/statm: 75584 9424 1871 364 0 10471 0
[pid=28769] ppid=28762 vsize=292092 CPUtime=0.08 cores=1,3,5,7
/proc/28769/stat : 28769 (python) S 28762 28762 26377 0 -1 4202560 887 0 0 0 4 4 0 0 15 0 1 0 869454411 299102208 7891 33554432000 4194304 5683644 140733633187104 18446744073709551615 218370977295 0 0 16781312 33554946 5623753486446373593 0 0 17 7 0 0 0
/proc/28769/statm: 73023 7891 342 364 0 7910 0
[pid=28771] ppid=28769 vsize=172984 CPUtime=23.85 cores=1,3,5,7
/proc/28771/stat : 28771 (scip-2.0.1.linu) R 28769 28771 28771 0 -1 4202496 42041 0 0 0 2360 25 0 0 25 0 1 0 869454411 177135616 39937 33554432000 4194304 13684479 140736065818416 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/28771/statm: 43246 39937 733 2317 0 40924 0
[pid=28762/tid=28770] ppid=28760 vsize=302336 CPUtime=0.22 cores=1,3,5,7
/proc/28762/task/28770/stat : 28770 (python) S 28760 28762 26377 0 -1 4202560 30 1446 0 0 0 0 18 4 18 0 2 0 869454411 309592064 9424 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382780849 0 0 16781312 33554434 18446604454294025216 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 767412
[startup+51.1004 s]
/proc/loadavg: 2.21 2.15 1.88 3/757 28776
/proc/meminfo: memFree=10799164/32951124 swapFree=49244124/67111528
[pid=28762] ppid=28760 vsize=312592 CPUtime=1.49 cores=1,3,5,7
/proc/28762/stat : 28762 (python) S 28760 28762 26377 0 -1 4202496 16286 1446 1 0 108 19 18 4 20 0 3 0 869454247 320094208 9431 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/28762/statm: 78148 9431 1874 364 0 13032 0
[pid=28769] ppid=28762 vsize=302336 CPUtime=0.17 cores=1,3,5,7
/proc/28769/stat : 28769 (python) S 28762 28762 26377 0 -1 4202560 1099 0 0 0 8 9 0 0 16 0 2 0 869454411 309592064 7959 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/28769/statm: 75584 7959 405 364 0 10471 0
[pid=28771] ppid=28769 vsize=174596 CPUtime=47.77 cores=1,3,5,7
/proc/28771/stat : 28771 (scip-2.0.1.linu) T 28769 28771 28771 0 -1 4202496 45722 0 0 0 4749 28 0 0 25 0 1 0 869454411 178786304 40164 33554432000 4194304 13684479 140736065818416 18446744073709551615 7354571 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/28771/statm: 43649 40164 733 2317 0 41327 0
[pid=28769/tid=28773] ppid=28762 vsize=302336 CPUtime=0 cores=1,3,5,7
/proc/28769/task/28773/stat : 28773 (python) S 28762 28762 26377 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869459190 309592064 7959 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382780849 0 0 16781312 33554946 18446604459723763968 0 0 -1 3 0 0 0
[pid=28774] ppid=28762 vsize=302348 CPUtime=0 cores=1,3,5,7
/proc/28774/stat : 28774 (python) S 28762 28762 26377 0 -1 4202560 743 0 0 0 0 0 0 0 15 0 1 0 869459193 309604352 7872 33554432000 4194304 5683644 140733633187104 18446744073709551615 218370977350 0 0 16781312 33554946 4501988537893093636 0 0 17 7 0 0 0
/proc/28774/statm: 75587 7872 319 364 0 10471 0
[pid=28776] ppid=28774 vsize=156832 CPUtime=1.63 cores=1,3,5,7
/proc/28776/stat : 28776 (scip-2.0.1.linu) R 28774 28776 28776 0 -1 4202496 36943 0 0 0 143 20 0 0 22 0 1 0 869459193 160595968 32745 33554432000 4194304 15243407 140734484103776 18446744073709551615 8115331 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/28776/statm: 39208 32745 822 2698 0 36503 0
[pid=28762/tid=28770] ppid=28760 vsize=312592 CPUtime=0.22 cores=1,3,5,7
/proc/28762/task/28770/stat : 28770 (python) S 28760 28762 26377 0 -1 4202560 30 1446 0 0 0 0 18 4 18 0 3 0 869454411 320094208 9431 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382780849 0 0 16781312 33554434 18446604454294025216 0 0 -1 7 0 0 0
[pid=28762/tid=28775] ppid=28760 vsize=312592 CPUtime=0.22 cores=1,3,5,7
/proc/28762/task/28775/stat : 28775 (python) S 28760 28762 26377 0 -1 4202560 30 1446 0 0 0 0 18 4 20 0 3 0 869459193 320094208 9431 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382780849 0 0 16781312 33554434 18446604454294025216 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1248704
[startup+102.317 s]
/proc/loadavg: 2.08 2.12 1.89 3/761 28781
/proc/meminfo: memFree=10751048/32951124 swapFree=49244124/67111528
[pid=28762] ppid=28760 vsize=322848 CPUtime=1.52 cores=1,3,5,7
/proc/28762/stat : 28762 (python) S 28760 28762 26377 0 -1 4202496 17160 1446 1 0 111 19 18 4 20 0 4 0 869454247 330596352 9437 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/28762/statm: 80712 9437 1876 364 0 15593 0
[pid=28769] ppid=28762 vsize=302336 CPUtime=0.17 cores=1,3,5,7
/proc/28769/stat : 28769 (python) S 28762 28762 26377 0 -1 4202560 1099 0 0 0 8 9 0 0 16 0 2 0 869454411 309592064 7959 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/28769/statm: 75584 7959 405 364 0 10471 0
[pid=28771] ppid=28769 vsize=174596 CPUtime=47.77 cores=1,3,5,7
/proc/28771/stat : 28771 (scip-2.0.1.linu) T 28769 28771 28771 0 -1 4202496 45722 0 0 0 4749 28 0 0 25 0 1 0 869454411 178786304 40164 33554432000 4194304 13684479 140736065818416 18446744073709551615 7354571 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/28771/statm: 43649 40164 733 2317 0 41327 0
[pid=28769/tid=28773] ppid=28762 vsize=302336 CPUtime=0 cores=1,3,5,7
/proc/28769/task/28773/stat : 28773 (python) S 28762 28762 26377 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869459190 309592064 7959 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382780849 0 0 16781312 33554946 18446604459723763968 0 0 -1 3 0 0 0
[pid=28774] ppid=28762 vsize=302348 CPUtime=0.18 cores=1,3,5,7
/proc/28774/stat : 28774 (python) S 28762 28762 26377 0 -1 4202560 1168 0 0 0 8 10 0 0 16 0 2 0 869459193 309604352 7950 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/28774/statm: 75587 7950 396 364 0 10471 0
[pid=28776] ppid=28774 vsize=166496 CPUtime=48.76 cores=1,3,5,7
/proc/28776/stat : 28776 (scip-2.0.1.linu) T 28774 28776 28776 0 -1 4202496 146060 0 0 0 4834 42 0 0 25 0 1 0 869459193 170491904 33756 33554432000 4194304 15243407 140734484103776 18446744073709551615 7128850 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/28776/statm: 41624 33756 838 2698 0 38919 0
[pid=28774/tid=28778] ppid=28762 vsize=302348 CPUtime=0 cores=1,3,5,7
/proc/28774/task/28778/stat : 28778 (python) S 28762 28762 26377 0 -1 4202560 109 0 0 0 0 0 0 0 16 0 2 0 869464072 309604352 7950 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382780849 0 0 16781312 33554946 18446604454294027008 0 0 -1 1 0 0 0
[pid=28779] ppid=28762 vsize=312604 CPUtime=0.01 cores=1,3,5,7
/proc/28779/stat : 28779 (python) S 28762 28762 26377 0 -1 4202560 1016 0 0 0 1 0 0 0 15 0 1 0 869464074 320106496 7906 33554432000 4194304 5683644 140733633187104 18446744073709551615 218370977350 0 0 16781312 33554946 1123367976376959239 0 0 17 7 0 0 0
/proc/28779/statm: 78151 7906 349 364 0 13032 0
[pid=28781] ppid=28779 vsize=20392 CPUtime=4.04 cores=1,3,5,7
/proc/28781/stat : 28781 (wbo1.4a) R 28779 28781 28781 0 -1 4202496 5775 0 0 0 400 4 0 0 25 0 1 0 869464074 20881408 4612 33554432000 134512640 135751879 4291497200 18446744073709551615 134606387 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/28781/statm: 5098 4612 146 303 0 4793 0
[pid=28762/tid=28770] ppid=28760 vsize=322848 CPUtime=0.22 cores=1,3,5,7
/proc/28762/task/28770/stat : 28770 (python) S 28760 28762 26377 0 -1 4202560 30 1446 0 0 0 0 18 4 18 0 4 0 869454411 330596352 9437 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382780849 0 0 16781312 33554434 18446604454294025216 0 0 -1 7 0 0 0
[pid=28762/tid=28775] ppid=28760 vsize=322848 CPUtime=0.22 cores=1,3,5,7
/proc/28762/task/28775/stat : 28775 (python) S 28760 28762 26377 0 -1 4202560 30 1446 0 0 0 0 18 4 20 0 4 0 869459193 330596352 9437 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382780849 0 0 16781312 33554434 18446604454294025216 0 0 -1 7 0 0 0
[pid=28762/tid=28780] ppid=28760 vsize=322848 CPUtime=0.22 cores=1,3,5,7
/proc/28762/task/28780/stat : 28780 (python) S 28760 28762 26377 0 -1 4202560 29 1446 0 0 0 0 18 4 20 0 4 0 869464074 330596352 9437 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382780849 0 0 16781312 33554434 18446604454294025216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.45
Current children cumulated vsize (KiB) 1601620
[startup+162.302 s]
/proc/loadavg: 2.10 2.11 1.90 3/768 28894
################
# More data... #
################
[pid=28762/tid=28775] ppid=28760 vsize=343360 CPUtime=0.22 cores=1,3,5,7
/proc/28762/task/28775/stat : 28775 (python) S 28760 28762 26377 0 -1 4202560 36 1446 0 0 0 0 18 4 18 0 6 0 869459193 351600640 9449 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382780849 0 0 16781312 33554434 18446604454294025216 0 0 -1 7 0 0 0
[pid=28762/tid=28780] ppid=28760 vsize=343360 CPUtime=0.22 cores=1,3,5,7
/proc/28762/task/28780/stat : 28780 (python) S 28760 28762 26377 0 -1 4202560 29 1446 0 0 0 0 18 4 20 0 6 0 869464074 351600640 9449 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382780849 0 0 16781312 33554434 18446604454294025216 0 0 -1 1 0 0 0
[pid=28762/tid=28785] ppid=28760 vsize=343360 CPUtime=0.22 cores=1,3,5,7
/proc/28762/task/28785/stat : 28785 (python) S 28760 28762 26377 0 -1 4202560 32 1446 0 0 0 0 18 4 20 0 6 0 869468693 351600640 9449 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382780849 0 0 16781312 33554434 18446604454294025216 0 0 -1 1 0 0 0
[pid=28762/tid=29310] ppid=28760 vsize=343360 CPUtime=0.22 cores=1,3,5,7
/proc/28762/task/29310/stat : 29310 (python) S 28760 28762 26377 0 -1 4202560 32 1446 0 0 0 0 18 4 20 0 6 0 869478009 351600640 9449 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382780849 0 0 16781312 33554434 18446604454294025216 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 345.2
Current children cumulated vsize (KiB) 10988152
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+378.301 s]
/proc/loadavg: 2.11 2.14 1.95 7/826 29366
/proc/meminfo: memFree=5318512/32951124 swapFree=49244124/67111528
[pid=28762] ppid=28760 vsize=353616 CPUtime=1.64 cores=1,3,5,7
/proc/28762/stat : 28762 (python) S 28760 28762 26377 0 -1 4202496 19908 1446 1 0 123 19 18 4 20 0 7 0 869454247 362102784 9455 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/28762/statm: 88404 9455 1882 364 0 23276 0
[pid=28769] ppid=28762 vsize=302336 CPUtime=0.36 cores=1,3,5,7
/proc/28769/stat : 28769 (python) S 28762 28762 26377 0 -1 4202560 1138 0 0 0 17 19 0 0 15 0 2 0 869454411 309592064 7969 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28769/statm: 75584 7969 415 364 0 10471 0
[pid=28771] ppid=28769 vsize=255708 CPUtime=93.2 cores=1,3,5,7
/proc/28771/stat : 28771 (scip-2.0.1.linu) T 28769 28771 28771 0 -1 4202496 69486 0 0 0 9278 42 0 0 25 0 1 0 869454411 261844992 61537 33554432000 4194304 13684479 140736065818416 18446744073709551615 7098912 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/28771/statm: 63927 61537 932 2317 0 61605 0
[pid=28769/tid=28773] ppid=28762 vsize=302336 CPUtime=0 cores=1,3,5,7
/proc/28769/task/28773/stat : 28773 (python) S 28762 28762 26377 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 869459190 309592064 7969 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382780849 0 0 16781312 33554946 18446604459723763968 0 0 -1 3 0 0 0
[pid=28774] ppid=28762 vsize=302348 CPUtime=0.37 cores=1,3,5,7
/proc/28774/stat : 28774 (python) S 28762 28762 26377 0 -1 4202560 1211 0 0 0 16 21 0 0 15 0 2 0 869459193 309604352 7950 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28774/statm: 75587 7950 396 364 0 10471 0
[pid=28776] ppid=28774 vsize=167012 CPUtime=94.93 cores=1,3,5,7
/proc/28776/stat : 28776 (scip-2.0.1.linu) T 28774 28776 28776 0 -1 4202496 246185 0 0 0 9431 62 0 0 25 0 1 0 869459193 171020288 34230 33554432000 4194304 15243407 140734484103776 18446744073709551615 7438377 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/28776/statm: 41753 34230 838 2698 0 39048 0
[pid=28774/tid=28778] ppid=28762 vsize=302348 CPUtime=0 cores=1,3,5,7
/proc/28774/task/28778/stat : 28778 (python) S 28762 28762 26377 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 2 0 869464072 309604352 7950 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382780849 0 0 16781312 33554946 18446604454294027008 0 0 -1 1 0 0 0
[pid=28779] ppid=28762 vsize=312604 CPUtime=0.18 cores=1,3,5,7
/proc/28779/stat : 28779 (python) S 28762 28762 26377 0 -1 4202560 1193 0 0 0 9 9 0 0 16 0 2 0 869464074 320106496 7954 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28779/statm: 78151 7954 396 364 0 13032 0
[pid=28781] ppid=28779 vsize=77188 CPUtime=46.15 cores=1,3,5,7
/proc/28781/stat : 28781 (wbo1.4a) T 28779 28781 28781 0 -1 4202496 19937 0 0 0 4591 24 0 0 25 0 1 0 869464074 79040512 18774 33554432000 134512640 135751879 4291497200 18446744073709551615 134606334 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/28781/statm: 19297 18774 146 303 0 18992 0
[pid=28779/tid=28783] ppid=28762 vsize=312604 CPUtime=0 cores=1,3,5,7
/proc/28779/task/28783/stat : 28783 (python) S 28762 28762 26377 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869468690 320106496 7954 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382780849 0 0 16781312 33554946 18446604469186664320 0 0 -1 7 0 0 0
[pid=28784] ppid=28762 vsize=322860 CPUtime=0.18 cores=1,3,5,7
/proc/28784/stat : 28784 (python) S 28762 28762 26377 0 -1 4202560 1146 0 0 0 9 9 0 0 16 0 2 0 869468693 330608640 7952 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/28784/statm: 80715 7952 390 364 0 15593 0
[pid=28786] ppid=28784 vsize=8543168 CPUtime=49.56 cores=1,3,5,7
/proc/28786/stat : 28786 (java) T 28784 28786 28786 0 -1 4202496 286028 0 1 0 4923 33 0 0 18 0 19 0 869468693 8748204032 282806 33554432000 1073741824 1073778376 140733601090432 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28786/statm: 2135792 282806 2249 9 0 2126533 0
[pid=28786/tid=28787] ppid=28784 vsize=8543168 CPUtime=47.42 cores=1,3,5,7
/proc/28786/task/28787/stat : 28787 (java) T 28784 28786 28786 0 -1 4202560 239369 0 1 0 4714 28 0 0 25 0 19 0 869468694 8748204032 282806 33554432000 1073741824 1073778376 140733601090432 18446744073709551615 46912506025891 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28786/tid=28788] ppid=28784 vsize=8543168 CPUtime=0.05 cores=1,3,5,7
/proc/28786/task/28788/stat : 28788 (java) T 28784 28786 28786 0 -1 4202560 4459 0 0 0 5 0 0 0 15 0 19 0 869468695 8748204032 282806 33554432000 1073741824 1073778376 140733601090432 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28786/tid=28789] ppid=28784 vsize=8543168 CPUtime=0.06 cores=1,3,5,7
/proc/28786/task/28789/stat : 28789 (java) T 28784 28786 28786 0 -1 4202560 6137 0 0 0 6 0 0 0 15 0 19 0 869468695 8748204032 282806 33554432000 1073741824 1073778376 140733601090432 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28786/tid=28790] ppid=28784 vsize=8543168 CPUtime=0.03 cores=1,3,5,7
/proc/28786/task/28790/stat : 28790 (java) T 28784 28786 28786 0 -1 4202560 3499 0 0 0 3 0 0 0 15 0 19 0 869468695 8748204032 282806 33554432000 1073741824 1073778376 140733601090432 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28786/tid=28791] ppid=28784 vsize=8543168 CPUtime=0.02 cores=1,3,5,7
/proc/28786/task/28791/stat : 28791 (java) T 28784 28786 28786 0 -1 4202560 1878 0 0 0 2 0 0 0 15 0 19 0 869468695 8748204032 282806 33554432000 1073741824 1073778376 140733601090432 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28786/tid=28792] ppid=28784 vsize=8543168 CPUtime=0.06 cores=1,3,5,7
/proc/28786/task/28792/stat : 28792 (java) T 28784 28786 28786 0 -1 4202560 5364 0 0 0 6 0 0 0 15 0 19 0 869468695 8748204032 282806 33554432000 1073741824 1073778376 140733601090432 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28786/tid=28793] ppid=28784 vsize=8543168 CPUtime=0.06 cores=1,3,5,7
/proc/28786/task/28793/stat : 28793 (java) T 28784 28786 28786 0 -1 4202560 5719 0 0 0 6 0 0 0 15 0 19 0 869468695 8748204032 282806 33554432000 1073741824 1073778376 140733601090432 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28786/tid=28794] ppid=28784 vsize=8543168 CPUtime=0.03 cores=1,3,5,7
/proc/28786/task/28794/stat : 28794 (java) T 28784 28786 28786 0 -1 4202560 2880 0 0 0 3 0 0 0 15 0 19 0 869468695 8748204032 282806 33554432000 1073741824 1073778376 140733601090432 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28786/tid=28795] ppid=28784 vsize=8543168 CPUtime=0.05 cores=1,3,5,7
/proc/28786/task/28795/stat : 28795 (java) T 28784 28786 28786 0 -1 4202560 5103 0 0 0 5 0 0 0 15 0 19 0 869468695 8748204032 282806 33554432000 1073741824 1073778376 140733601090432 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28786/tid=28796] ppid=28784 vsize=8543168 CPUtime=0 cores=1,3,5,7
/proc/28786/task/28796/stat : 28796 (java) T 28784 28786 28786 0 -1 4202560 952 0 0 0 0 0 0 0 15 0 19 0 869468696 8748204032 282806 33554432000 1073741824 1073778376 140733601090432 18446744073709551615 218382773760 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28786/tid=28797] ppid=28784 vsize=8543168 CPUtime=0 cores=1,3,5,7
/proc/28786/task/28797/stat : 28797 (java) T 28784 28786 28786 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869468696 8748204032 282806 33554432000 1073741824 1073778376 140733601090432 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28786/tid=28798] ppid=28784 vsize=8543168 CPUtime=0 cores=1,3,5,7
/proc/28786/task/28798/stat : 28798 (java) T 28784 28786 28786 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869468696 8748204032 282806 33554432000 1073741824 1073778376 140733601090432 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28786/tid=28799] ppid=28784 vsize=8543168 CPUtime=0 cores=1,3,5,7
/proc/28786/task/28799/stat : 28799 (java) T 28784 28786 28786 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869468698 8748204032 282806 33554432000 1073741824 1073778376 140733601090432 18446744073709551615 218382780849 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28786/tid=28800] ppid=28784 vsize=8543168 CPUtime=0.87 cores=1,3,5,7
/proc/28786/task/28800/stat : 28800 (java) T 28784 28786 28786 0 -1 4202560 5351 0 0 0 87 0 0 0 15 0 19 0 869468698 8748204032 282806 33554432000 1073741824 1073778376 140733601090432 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28786/tid=28801] ppid=28784 vsize=8543168 CPUtime=0.81 cores=1,3,5,7
/proc/28786/task/28801/stat : 28801 (java) T 28784 28786 28786 0 -1 4202560 3919 0 0 0 81 0 0 0 15 0 19 0 869468698 8748204032 282806 33554432000 1073741824 1073778376 140733601090432 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28786/tid=28802] ppid=28784 vsize=8543168 CPUtime=0 cores=1,3,5,7
/proc/28786/task/28802/stat : 28802 (java) T 28784 28786 28786 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869468698 8748204032 282806 33554432000 1073741824 1073778376 140733601090432 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28786/tid=28803] ppid=28784 vsize=8543168 CPUtime=0 cores=1,3,5,7
/proc/28786/task/28803/stat : 28803 (java) T 28784 28786 28786 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869468698 8748204032 282806 33554432000 1073741824 1073778376 140733601090432 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28786/tid=28804] ppid=28784 vsize=8543168 CPUtime=0 cores=1,3,5,7
/proc/28786/task/28804/stat : 28804 (java) T 28784 28786 28786 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869468761 8748204032 282806 33554432000 1073741824 1073778376 140733601090432 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28784/tid=29062] ppid=28762 vsize=322860 CPUtime=0 cores=1,3,5,7
/proc/28784/task/29062/stat : 29062 (python) S 28762 28762 26377 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869473461 330608640 7952 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382780849 0 0 16781312 33554946 18446604457895104832 0 0 -1 1 0 0 0
[pid=29309] ppid=28762 vsize=333116 CPUtime=0.34 cores=1,3,5,7
/proc/29309/stat : 29309 (python) S 28762 28762 26377 0 -1 4202560 1190 0 0 0 16 18 0 0 16 0 2 0 869478009 341110784 7956 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/29309/statm: 83279 7956 390 364 0 18154 0
[pid=29311] ppid=29309 vsize=28896 CPUtime=94.07 cores=1,3,5,7
/proc/29311/stat : 29311 (clasp-1.3.7-x86) T 29309 29311 29311 0 -1 4202496 7733 0 0 0 9406 1 0 0 25 0 1 0 869478009 29589504 6962 33554432000 134512640 136139019 4291601856 18446744073709551615 134634747 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/29311/statm: 7224 6962 189 398 0 6824 0
[pid=29309/tid=29340] ppid=28762 vsize=333116 CPUtime=0 cores=1,3,5,7
/proc/29309/task/29340/stat : 29340 (python) S 28762 28762 26377 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869487416 341110784 7956 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382780849 0 0 16781312 33554946 18446604459723764864 0 0 -1 5 0 0 0
[pid=29347] ppid=28762 vsize=343372 CPUtime=0 cores=1,3,5,7
/proc/29347/stat : 29347 (python) S 28762 28762 26377 0 -1 4202560 809 0 0 0 0 0 0 0 19 0 1 0 869492039 351612928 7888 33554432000 4194304 5683644 140733633187104 18446744073709551615 218370977350 0 0 16781312 33554946 1633633103576563712 0 0 17 5 0 0 0
/proc/29347/statm: 85843 7888 319 364 0 20715 0
[pid=29349] ppid=29347 vsize=8540872 CPUtime=0.79 cores=1,3,5,7
/proc/29349/stat : 29349 (java) S 29347 29349 29349 0 -1 4202496 16983 0 1 0 77 2 0 0 20 0 18 0 869492039 8745852928 13876 33554432000 1073741824 1073778376 140734004348864 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29349/statm: 2135218 13876 2219 9 0 2125959 0
[pid=29349/tid=29350] ppid=29347 vsize=8540872 CPUtime=0.35 cores=1,3,5,7
/proc/29349/task/29350/stat : 29350 (java) R 29347 29349 29349 0 -1 4202560 7108 0 1 0 35 0 0 0 25 0 18 0 869492040 8745852928 13885 33554432000 1073741824 1073778376 140734004348864 18446744073709551615 46912505223163 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29349/tid=29351] ppid=29347 vsize=8540872 CPUtime=0 cores=1,3,5,7
/proc/29349/task/29351/stat : 29351 (java) S 29347 29349 29349 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869492040 8745852928 13885 33554432000 1073741824 1073778376 140734004348864 18446744073709551615 218382773145 0 4 0 16800975 18446604467554851840 0 0 -1 1 0 0 0
[pid=29349/tid=29352] ppid=29347 vsize=8540872 CPUtime=0 cores=1,3,5,7
/proc/29349/task/29352/stat : 29352 (java) S 29347 29349 29349 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869492040 8745852928 13885 33554432000 1073741824 1073778376 140734004348864 18446744073709551615 218382773145 0 4 0 16800975 18446604467554851840 0 0 -1 1 0 0 0
[pid=29349/tid=29353] ppid=29347 vsize=8540872 CPUtime=0 cores=1,3,5,7
/proc/29349/task/29353/stat : 29353 (java) S 29347 29349 29349 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869492040 8745852928 13885 33554432000 1073741824 1073778376 140734004348864 18446744073709551615 218382773145 0 4 0 16800975 18446604467554851840 0 0 -1 1 0 0 0
[pid=29349/tid=29354] ppid=29347 vsize=8540872 CPUtime=0 cores=1,3,5,7
/proc/29349/task/29354/stat : 29354 (java) S 29347 29349 29349 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869492040 8745852928 13887 33554432000 1073741824 1073778376 140734004348864 18446744073709551615 218382773145 0 4 0 16800975 18446604467554851840 0 0 -1 5 0 0 0
[pid=29349/tid=29355] ppid=29347 vsize=8540872 CPUtime=0 cores=1,3,5,7
/proc/29349/task/29355/stat : 29355 (java) S 29347 29349 29349 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869492040 8745852928 13887 33554432000 1073741824 1073778376 140734004348864 18446744073709551615 218382773145 0 4 0 16800975 18446604467554851840 0 0 -1 5 0 0 0
[pid=29349/tid=29356] ppid=29347 vsize=8540872 CPUtime=0 cores=1,3,5,7
/proc/29349/task/29356/stat : 29356 (java) S 29347 29349 29349 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869492040 8745852928 13887 33554432000 1073741824 1073778376 140734004348864 18446744073709551615 218382773145 0 4 0 16800975 18446604467554851840 0 0 -1 5 0 0 0
[pid=29349/tid=29357] ppid=29347 vsize=8540872 CPUtime=0 cores=1,3,5,7
/proc/29349/task/29357/stat : 29357 (java) S 29347 29349 29349 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869492040 8745852928 13887 33554432000 1073741824 1073778376 140734004348864 18446744073709551615 218382773145 0 4 0 16800975 18446604467554851840 0 0 -1 5 0 0 0
[pid=29349/tid=29358] ppid=29347 vsize=8540872 CPUtime=0 cores=1,3,5,7
/proc/29349/task/29358/stat : 29358 (java) S 29347 29349 29349 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869492040 8745852928 13887 33554432000 1073741824 1073778376 140734004348864 18446744073709551615 218382773145 0 4 0 16800975 18446604467554851840 0 0 -1 5 0 0 0
[pid=29349/tid=29359] ppid=29347 vsize=8540872 CPUtime=0 cores=1,3,5,7
/proc/29349/task/29359/stat : 29359 (java) S 29347 29349 29349 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869492041 8745852928 13887 33554432000 1073741824 1073778376 140734004348864 18446744073709551615 218382773760 0 0 0 16800975 18446604467554851840 0 0 -1 1 0 0 0
[pid=29349/tid=29360] ppid=29347 vsize=8540872 CPUtime=0 cores=1,3,5,7
/proc/29349/task/29360/stat : 29360 (java) S 29347 29349 29349 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 18 0 869492042 8745852928 13887 33554432000 1073741824 1073778376 140734004348864 18446744073709551615 218382773145 0 4 0 16800975 18446604467554851840 0 0 -1 7 0 0 0
[pid=29349/tid=29361] ppid=29347 vsize=8540872 CPUtime=0 cores=1,3,5,7
/proc/29349/task/29361/stat : 29361 (java) S 29347 29349 29349 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 18 0 869492042 8745852928 13887 33554432000 1073741824 1073778376 140734004348864 18446744073709551615 218382773145 0 4 0 16800975 18446604467554851840 0 0 -1 1 0 0 0
[pid=29349/tid=29362] ppid=29347 vsize=8540872 CPUtime=0 cores=1,3,5,7
/proc/29349/task/29362/stat : 29362 (java) S 29347 29349 29349 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869492044 8745852928 13887 33554432000 1073741824 1073778376 140734004348864 18446744073709551615 218382780849 0 4 0 16800975 18446604467554851840 0 0 -1 1 0 0 0
[pid=29349/tid=29363] ppid=29347 vsize=8540872 CPUtime=0.22 cores=1,3,5,7
/proc/29349/task/29363/stat : 29363 (java) R 29347 29349 29349 0 -1 4202560 4794 0 0 0 22 0 0 0 17 0 18 0 869492044 8745852928 13887 33554432000 1073741824 1073778376 140734004348864 18446744073709551615 47329191775854 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29349/tid=29364] ppid=29347 vsize=8540872 CPUtime=0.19 cores=1,3,5,7
/proc/29349/task/29364/stat : 29364 (java) R 29347 29349 29349 0 -1 4202560 3696 0 0 0 19 0 0 0 16 0 18 0 869492044 8745852928 13887 33554432000 1073741824 1073778376 140734004348864 18446744073709551615 218370651117 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29349/tid=29365] ppid=29347 vsize=8540872 CPUtime=0 cores=1,3,5,7
/proc/29349/task/29365/stat : 29365 (java) S 29347 29349 29349 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869492044 8745852928 13887 33554432000 1073741824 1073778376 140734004348864 18446744073709551615 218382773145 0 4 0 16800975 18446604467554851840 0 0 -1 1 0 0 0
[pid=29349/tid=29366] ppid=29347 vsize=8540872 CPUtime=0 cores=1,3,5,7
/proc/29349/task/29366/stat : 29366 (java) R 29347 29349 29349 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869492044 8745852928 13887 33554432000 1073741824 1073778376 140734004348864 18446744073709551615 218382773760 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28762/tid=28770] ppid=28760 vsize=353616 CPUtime=0.22 cores=1,3,5,7
/proc/28762/task/28770/stat : 28770 (python) S 28760 28762 26377 0 -1 4202560 35 1446 0 0 0 0 18 4 18 0 7 0 869454411 362102784 9455 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382780849 0 0 16781312 33554434 18446604454294025216 0 0 -1 7 0 0 0
[pid=28762/tid=28775] ppid=28760 vsize=353616 CPUtime=0.22 cores=1,3,5,7
/proc/28762/task/28775/stat : 28775 (python) S 28760 28762 26377 0 -1 4202560 36 1446 0 0 0 0 18 4 18 0 7 0 869459193 362102784 9455 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382780849 0 0 16781312 33554434 18446604454294025216 0 0 -1 7 0 0 0
[pid=28762/tid=28780] ppid=28760 vsize=353616 CPUtime=0.22 cores=1,3,5,7
/proc/28762/task/28780/stat : 28780 (python) S 28760 28762 26377 0 -1 4202560 29 1446 0 0 0 0 18 4 20 0 7 0 869464074 362102784 9455 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382780849 0 0 16781312 33554434 18446604454294025216 0 0 -1 1 0 0 0
[pid=28762/tid=28785] ppid=28760 vsize=353616 CPUtime=0.22 cores=1,3,5,7
/proc/28762/task/28785/stat : 28785 (python) S 28760 28762 26377 0 -1 4202560 32 1446 0 0 0 0 18 4 20 0 7 0 869468693 362102784 9455 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382780849 0 0 16781312 33554434 18446604454294025216 0 0 -1 1 0 0 0
[pid=28762/tid=29310] ppid=28760 vsize=353616 CPUtime=0.22 cores=1,3,5,7
/proc/28762/task/29310/stat : 29310 (python) S 28760 28762 26377 0 -1 4202560 32 1446 0 0 0 0 18 4 20 0 7 0 869478009 362102784 9455 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382780849 0 0 16781312 33554434 18446604454294025216 0 0 -1 5 0 0 0
[pid=28762/tid=29348] ppid=28760 vsize=353616 CPUtime=0.22 cores=1,3,5,7
/proc/28762/task/29348/stat : 29348 (python) S 28760 28762 26377 0 -1 4202560 30 1446 0 0 0 0 18 4 20 0 7 0 869492039 362102784 9455 33554432000 4194304 5683644 140733633187104 18446744073709551615 218382780849 0 0 16781312 33554434 18446604454294025216 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 381.77
Current children cumulated vsize (KiB) 19883096
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28762 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=419784
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=245962
# CPU time returned by wait4() is 1.66575
# while last known CPU time is 381.77
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 378.404
CPU time (s): 381.77
CPU user time (s): 379.14
CPU system time (s): 2.63
CPU usage (%): 100.89
Max. virtual memory (cumulated for all children) (KiB): 19885012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.41978
system time used= 0.245962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21357
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= 15646
involuntary context switches= 30
runsolver used 2.41663 second user time and 5.59215 second system time
The end