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-3481575-1307578277/watcher-3481575-1307578277 -o /tmp/evaluation-result-3481575-1307578277/solver-3481575-1307578277 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481575-1307578277.opb -seed 366253404 -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.10 2.12 1.82 3/775 4031
/proc/meminfo: memFree=14693944/32950928 swapFree=41528364/67111528
[pid=4031] ppid=4029 vsize=15784 CPUtime=0 cores=1,3,5,7
/proc/4031/stat : 4031 (python) R 4029 4031 2544 0 -1 4202496 836 0 0 0 0 0 0 0 17 0 1 0 869426472 16162816 721 33554432000 4194304 5683644 140737430248800 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4031/statm: 3946 723 334 364 0 433 0
[startup+0.0801499 s]
/proc/loadavg: 2.10 2.12 1.82 3/775 4031
/proc/meminfo: memFree=14693944/32950928 swapFree=41528364/67111528
[pid=4031] ppid=4029 vsize=50012 CPUtime=0.05 cores=1,3,5,7
/proc/4031/stat : 4031 (python) R 4029 4031 2544 0 -1 4202496 1948 0 0 0 4 1 0 0 17 0 1 0 869426472 51212288 1713 33554432000 4194304 5683644 140737430248800 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4031/statm: 12503 1713 476 364 0 1203 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 50012
[startup+0.101179 s]
/proc/loadavg: 2.10 2.12 1.82 3/775 4031
/proc/meminfo: memFree=14693944/32950928 swapFree=41528364/67111528
[pid=4031] ppid=4029 vsize=85620 CPUtime=0.06 cores=1,3,5,7
/proc/4031/stat : 4031 (python) R 4029 4031 2544 0 -1 4202496 2664 0 0 0 4 2 0 0 17 0 1 0 869426472 87674880 2382 33554432000 4194304 5683644 140737430248800 18446744073709551615 251814236005 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/4031/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620
[startup+0.301124 s]
/proc/loadavg: 2.10 2.12 1.82 3/775 4031
/proc/meminfo: memFree=14693944/32950928 swapFree=41528364/67111528
[pid=4031] ppid=4029 vsize=123744 CPUtime=0.17 cores=1,3,5,7
/proc/4031/stat : 4031 (python) S 4029 4031 2544 0 -1 4202496 5357 930 1 0 10 7 0 0 16 0 1 0 869426472 126713856 3745 33554432000 4194304 5683644 140737430248800 18446744073709551615 251814236165 0 2147483391 16781312 2 18446744071699215550 0 0 17 5 0 0 0
/proc/4031/statm: 30936 3745 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.709078 s]
/proc/loadavg: 2.10 2.12 1.82 3/775 4031
/proc/meminfo: memFree=14693944/32950928 swapFree=41528364/67111528
[pid=4031] ppid=4029 vsize=282408 CPUtime=0.42 cores=1,3,5,7
/proc/4031/stat : 4031 (python) S 4029 4031 2544 0 -1 4202496 9211 930 1 0 28 14 0 0 15 0 1 0 869426472 289185792 6943 33554432000 4194304 5683644 140737430248800 18446744073709551615 251814260239 0 0 16781312 2 4294934788 0 0 17 5 0 0 0
/proc/4031/statm: 70602 6943 1777 364 0 5495 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282408
[startup+1.50091 s]
/proc/loadavg: 2.10 2.12 1.82 4/777 4038
/proc/meminfo: memFree=14669748/32950928 swapFree=41528364/67111528
[pid=4031] ppid=4029 vsize=298232 CPUtime=1.52 cores=1,3,5,7
/proc/4031/stat : 4031 (python) R 4029 4031 2544 0 -1 4202496 14933 1593 1 0 59 42 39 12 16 0 1 0 869426472 305389568 10811 33554432000 4194304 5683644 140737430248800 18446744073709551615 4571056 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4031/statm: 74558 10811 1782 364 0 9451 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 298232
[startup+3.10059 s]
/proc/loadavg: 2.17 2.13 1.83 3/776 4038
/proc/meminfo: memFree=14647436/32950928 swapFree=41528364/67111528
[pid=4031] ppid=4029 vsize=315496 CPUtime=2.82 cores=1,3,5,7
/proc/4031/stat : 4031 (python) S 4029 4031 2544 0 -1 4202496 22182 1593 1 0 188 43 39 12 19 0 2 0 869426472 323067904 12714 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/4031/statm: 78874 12714 1871 364 0 13761 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 315496
[startup+6.30104 s]
/proc/loadavg: 2.17 2.13 1.83 3/779 4041
/proc/meminfo: memFree=14339100/32950928 swapFree=41528364/67111528
[pid=4031] ppid=4029 vsize=315496 CPUtime=2.82 cores=1,3,5,7
/proc/4031/stat : 4031 (python) S 4029 4031 2544 0 -1 4202496 22182 1593 1 0 188 43 39 12 19 0 2 0 869426472 323067904 12714 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/4031/statm: 78874 12714 1871 364 0 13761 0
[pid=4039] ppid=4031 vsize=305252 CPUtime=0 cores=1,3,5,7
/proc/4039/stat : 4039 (python) S 4031 4031 2544 0 -1 4202560 719 0 0 0 0 0 0 0 15 0 1 0 869426752 312578048 11157 33554432000 4194304 5683644 140737430248800 18446744073709551615 251814260239 0 0 16781312 33554946 4485808262217695493 0 0 17 1 0 0 0
/proc/4039/statm: 76313 11157 318 364 0 11200 0
[pid=4041] ppid=4039 vsize=348664 CPUtime=3.48 cores=1,3,5,7
/proc/4041/stat : 4041 (scip-2.0.1.linu) R 4039 4041 4041 0 -1 4202496 85695 0 0 0 316 32 0 0 25 0 1 0 869426752 357031936 81160 33554432000 4194304 13684479 140737077945200 18446744073709551615 7390546 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/4041/statm: 87166 81160 1054 2317 0 84844 0
[pid=4031/tid=4040] ppid=4029 vsize=315496 CPUtime=0.51 cores=1,3,5,7
/proc/4031/task/4040/stat : 4040 (python) S 4029 4031 2544 0 -1 4202560 26 1593 0 0 0 0 39 12 19 0 2 0 869426752 323067904 12714 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826063793 0 0 16781312 33554434 18446604462344139008 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 969412
[startup+12.701 s]
/proc/loadavg: 2.31 2.16 1.84 3/779 4041
/proc/meminfo: memFree=14311612/32950928 swapFree=41528364/67111528
[pid=4031] ppid=4029 vsize=315496 CPUtime=2.82 cores=1,3,5,7
/proc/4031/stat : 4031 (python) S 4029 4031 2544 0 -1 4202496 22182 1593 1 0 188 43 39 12 19 0 2 0 869426472 323067904 12714 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/4031/statm: 78874 12714 1871 364 0 13761 0
[pid=4039] ppid=4031 vsize=305252 CPUtime=0.05 cores=1,3,5,7
/proc/4039/stat : 4039 (python) S 4031 4031 2544 0 -1 4202560 865 0 0 0 2 3 0 0 15 0 1 0 869426752 312578048 11181 33554432000 4194304 5683644 140737430248800 18446744073709551615 251814260239 0 0 16781312 33554946 5623311482772007628 0 0 17 1 0 0 0
/proc/4039/statm: 76313 11181 342 364 0 11200 0
[pid=4041] ppid=4039 vsize=357328 CPUtime=9.87 cores=1,3,5,7
/proc/4041/stat : 4041 (scip-2.0.1.linu) R 4039 4041 4041 0 -1 4202496 89177 0 0 0 953 34 0 0 25 0 1 0 869426752 365903872 84071 33554432000 4194304 13684479 140737077945200 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/4041/statm: 89332 84071 741 2317 0 87010 0
[pid=4031/tid=4040] ppid=4029 vsize=315496 CPUtime=0.51 cores=1,3,5,7
/proc/4031/task/4040/stat : 4040 (python) S 4029 4031 2544 0 -1 4202560 26 1593 0 0 0 0 39 12 19 0 2 0 869426752 323067904 12714 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826063793 0 0 16781312 33554434 18446604462344139008 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.74
Current children cumulated vsize (KiB) 978076
[startup+25.5008 s]
/proc/loadavg: 2.24 2.15 1.84 3/779 4041
/proc/meminfo: memFree=14309492/32950928 swapFree=41528364/67111528
[pid=4031] ppid=4029 vsize=315496 CPUtime=2.82 cores=1,3,5,7
/proc/4031/stat : 4031 (python) S 4029 4031 2544 0 -1 4202496 22182 1593 1 0 188 43 39 12 19 0 2 0 869426472 323067904 12714 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/4031/statm: 78874 12714 1871 364 0 13761 0
[pid=4039] ppid=4031 vsize=305252 CPUtime=0.09 cores=1,3,5,7
/proc/4039/stat : 4039 (python) S 4031 4031 2544 0 -1 4202560 876 0 0 0 4 5 0 0 15 0 1 0 869426752 312578048 11181 33554432000 4194304 5683644 140737430248800 18446744073709551615 251814260239 0 0 16781312 33554946 5623753486446373580 0 0 17 7 0 0 0
/proc/4039/statm: 76313 11181 342 364 0 11200 0
[pid=4041] ppid=4039 vsize=357328 CPUtime=22.68 cores=1,3,5,7
/proc/4041/stat : 4041 (scip-2.0.1.linu) R 4039 4041 4041 0 -1 4202496 89622 0 0 0 2232 36 0 0 25 0 1 0 869426752 365903872 84514 33554432000 4194304 13684479 140737077945200 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/4041/statm: 89332 84514 769 2317 0 87010 0
[pid=4031/tid=4040] ppid=4029 vsize=315496 CPUtime=0.51 cores=1,3,5,7
/proc/4031/task/4040/stat : 4040 (python) S 4029 4031 2544 0 -1 4202560 26 1593 0 0 0 0 39 12 19 0 2 0 869426752 323067904 12714 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826063793 0 0 16781312 33554434 18446604462344139008 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 978076
[startup+51.1006 s]
/proc/loadavg: 2.36 2.19 1.86 3/767 4101
/proc/meminfo: memFree=14251508/32950928 swapFree=41528364/67111528
[pid=4031] ppid=4029 vsize=315496 CPUtime=2.82 cores=1,3,5,7
/proc/4031/stat : 4031 (python) S 4029 4031 2544 0 -1 4202496 22182 1593 1 0 188 43 39 12 19 0 2 0 869426472 323067904 12714 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/4031/statm: 78874 12714 1871 364 0 13761 0
[pid=4039] ppid=4031 vsize=305252 CPUtime=0.21 cores=1,3,5,7
/proc/4039/stat : 4039 (python) S 4031 4031 2544 0 -1 4202560 888 0 0 0 9 12 0 0 15 0 1 0 869426752 312578048 11181 33554432000 4194304 5683644 140737430248800 18446744073709551615 251814260239 0 0 16781312 33554946 5623753486446373580 0 0 17 7 0 0 0
/proc/4039/statm: 76313 11181 342 364 0 11200 0
[pid=4041] ppid=4039 vsize=368360 CPUtime=48.28 cores=1,3,5,7
/proc/4041/stat : 4041 (scip-2.0.1.linu) R 4039 4041 4041 0 -1 4202496 92225 0 0 0 4790 38 0 0 25 0 1 0 869426752 377200640 87107 33554432000 4194304 13684479 140737077945200 18446744073709551615 7391350 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/4041/statm: 92090 87107 763 2317 0 89768 0
[pid=4031/tid=4040] ppid=4029 vsize=315496 CPUtime=0.51 cores=1,3,5,7
/proc/4031/task/4040/stat : 4040 (python) S 4029 4031 2544 0 -1 4202560 26 1593 0 0 0 0 39 12 19 0 2 0 869426752 323067904 12714 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826063793 0 0 16781312 33554434 18446604462344139008 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51.31
Current children cumulated vsize (KiB) 989108
[startup+102.323 s]
/proc/loadavg: 2.27 2.19 1.87 3/797 4132
/proc/meminfo: memFree=13904816/32950928 swapFree=41528364/67111528
[pid=4031] ppid=4029 vsize=336008 CPUtime=2.87 cores=1,3,5,7
/proc/4031/stat : 4031 (python) S 4029 4031 2544 0 -1 4202496 23922 1593 1 0 193 43 39 12 20 0 4 0 869426472 344072192 12727 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/4031/statm: 84002 12727 1876 364 0 18883 0
[pid=4039] ppid=4031 vsize=315496 CPUtime=0.24 cores=1,3,5,7
/proc/4039/stat : 4039 (python) S 4031 4031 2544 0 -1 4202560 1089 0 0 0 10 14 0 0 16 0 2 0 869426752 323067904 11249 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4039/statm: 78874 11249 405 364 0 13761 0
[pid=4041] ppid=4039 vsize=368360 CPUtime=48.93 cores=1,3,5,7
/proc/4041/stat : 4041 (scip-2.0.1.linu) T 4039 4041 4041 0 -1 4202496 92225 0 0 0 4855 38 0 0 25 0 1 0 869426752 377200640 87107 33554432000 4194304 13684479 140737077945200 18446744073709551615 7360257 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/4041/statm: 92090 87107 763 2317 0 89768 0
[pid=4039/tid=4102] ppid=4031 vsize=315496 CPUtime=0 cores=1,3,5,7
/proc/4039/task/4102/stat : 4102 (python) S 4031 4031 2544 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869431647 323067904 11249 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826063793 0 0 16781312 33554946 18446604459403998272 0 0 -1 7 0 0 0
[pid=4103] ppid=4031 vsize=315508 CPUtime=0.27 cores=1,3,5,7
/proc/4103/stat : 4103 (python) S 4031 4031 2544 0 -1 4202560 1201 0 0 0 13 14 0 0 16 0 2 0 869431650 323080192 11240 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4103/statm: 78877 11240 396 364 0 13761 0
[pid=4105] ppid=4103 vsize=94680 CPUtime=49.62 cores=1,3,5,7
/proc/4105/stat : 4105 (wbo1.4a) T 4103 4105 4105 0 -1 4202496 26211 0 0 0 4927 35 0 0 25 0 1 0 869431650 96952320 23050 33554432000 134512640 135751879 4291768096 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/4105/statm: 23670 23050 146 303 0 23365 0
[pid=4103/tid=4129] ppid=4031 vsize=315508 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4129/stat : 4129 (python) S 4031 4031 2544 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869436614 323080192 11240 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826063793 0 0 16781312 33554946 18446604455906850688 0 0 -1 3 0 0 0
[pid=4130] ppid=4031 vsize=325764 CPUtime=0 cores=1,3,5,7
/proc/4130/stat : 4130 (python) S 4031 4031 2544 0 -1 4202560 875 0 0 0 0 0 0 0 15 0 1 0 869436616 333582336 11173 33554432000 4194304 5683644 140737430248800 18446744073709551615 251814260294 0 0 16781312 33554946 4580731918542143751 0 0 17 3 0 0 0
/proc/4130/statm: 81441 11173 326 364 0 16322 0
[pid=4132] ppid=4130 vsize=145928 CPUtime=0.86 cores=1,3,5,7
/proc/4132/stat : 4132 (scip-2.0.1.linu) R 4130 4132 4132 0 -1 4202496 35154 0 0 0 74 12 0 0 19 0 1 0 869436617 149430272 33689 33554432000 4194304 15243407 140736433020416 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4132/statm: 36482 33689 666 2698 0 33777 0
[pid=4031/tid=4040] ppid=4029 vsize=336008 CPUtime=0.51 cores=1,3,5,7
/proc/4031/task/4040/stat : 4040 (python) S 4029 4031 2544 0 -1 4202560 26 1593 0 0 0 0 39 12 19 0 4 0 869426752 344072192 12727 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826063793 0 0 16781312 33554434 18446604462344139008 0 0 -1 1 0 0 0
[pid=4031/tid=4104] ppid=4029 vsize=336008 CPUtime=0.51 cores=1,3,5,7
/proc/4031/task/4104/stat : 4104 (python) S 4029 4031 2544 0 -1 4202560 30 1593 0 0 0 0 39 12 20 0 4 0 869431650 344072192 12727 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826063793 0 0 16781312 33554434 18446604462344139008 0 0 -1 3 0 0 0
[pid=4031/tid=4131] ppid=4029 vsize=336008 CPUtime=0.51 cores=1,3,5,7
/proc/4031/task/4131/stat : 4131 (python) S 4029 4031 2544 0 -1 4202560 28 1593 0 0 0 0 39 12 20 0 4 0 869436617 344072192 12727 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826063793 0 0 16781312 33554434 18446604462344139008 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 102.79
Current children cumulated vsize (KiB) 1901744
[startup+162.302 s]
/proc/loadavg: 2.19 2.18 1.89 3/823 4160
/proc/meminfo: memFree=12548076/32950928 swapFree=41528364/67111528
[pid=4031] ppid=4029 vsize=346264 CPUtime=2.89 cores=1,3,5,7
/proc/4031/stat : 4031 (python) S 4029 4031 2544 0 -1 4202496 24942 1593 1 0 195 43 39 12 19 0 5 0 869426472 354574336 12733 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/4031/statm: 86566 12733 1878 364 0 21444 0
[pid=4039] ppid=4031 vsize=315496 CPUtime=0.24 cores=1,3,5,7
/proc/4039/stat : 4039 (python) S 4031 4031 2544 0 -1 4202560 1089 0 0 0 10 14 0 0 16 0 2 0 869426752 323067904 11249 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4039/statm: 78874 11249 405 364 0 13761 0
[pid=4041] ppid=4039 vsize=368360 CPUtime=48.93 cores=1,3,5,7
/proc/4041/stat : 4041 (scip-2.0.1.linu) T 4039 4041 4041 0 -1 4202496 92225 0 0 0 4855 38 0 0 25 0 1 0 869426752 377200640 87107 33554432000 4194304 13684479 140737077945200 18446744073709551615 7360257 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/4041/statm: 92090 87107 763 2317 0 89768 0
[pid=4039/tid=4102] ppid=4031 vsize=315496 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=4031/tid=4040] ppid=4029 vsize=366776 CPUtime=0.51 cores=1,3,5,7
/proc/4031/task/4040/stat : 4040 (python) S 4029 4031 2544 0 -1 4202560 31 1593 0 0 0 0 39 12 18 0 7 0 869426752 375578624 12745 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826063793 0 0 16781312 33554434 18446604462344139008 0 0 -1 1 0 0 0
[pid=4031/tid=4104] ppid=4029 vsize=366776 CPUtime=0.51 cores=1,3,5,7
/proc/4031/task/4104/stat : 4104 (python) S 4029 4031 2544 0 -1 4202560 30 1593 0 0 0 0 39 12 20 0 7 0 869431650 375578624 12745 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826063793 0 0 16781312 33554434 18446604462344139008 0 0 -1 3 0 0 0
[pid=4031/tid=4131] ppid=4029 vsize=366776 CPUtime=0.51 cores=1,3,5,7
/proc/4031/task/4131/stat : 4131 (python) S 4029 4031 2544 0 -1 4202560 37 1593 0 0 0 0 39 12 18 0 7 0 869436617 375578624 12745 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826063793 0 0 16781312 33554434 18446604462344139008 0 0 -1 3 0 0 0
[pid=4031/tid=4141] ppid=4029 vsize=366776 CPUtime=0.51 cores=1,3,5,7
/proc/4031/task/4141/stat : 4141 (python) S 4029 4031 2544 0 -1 4202560 28 1593 0 0 0 0 39 12 20 0 7 0 869441512 375578624 12745 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826063793 0 0 16781312 33554434 18446604462344139008 0 0 -1 3 0 0 0
[pid=4031/tid=4250] ppid=4029 vsize=366776 CPUtime=0.51 cores=1,3,5,7
/proc/4031/task/4250/stat : 4250 (python) S 4029 4031 2544 0 -1 4202560 30 1593 0 0 0 0 39 12 20 0 7 0 869478141 375578624 12745 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826063793 0 0 16781312 33554434 18446604462344139008 0 0 -1 5 0 0 0
[pid=4031/tid=4263] ppid=4029 vsize=366776 CPUtime=0.51 cores=1,3,5,7
/proc/4031/task/4263/stat : 4263 (python) S 4029 4031 2544 0 -1 4202560 29 1593 0 0 0 0 39 12 20 0 7 0 869496369 375578624 12745 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826063793 0 0 16781312 33554434 18446604462344139008 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 706.21
Current children cumulated vsize (KiB) 20515748
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+699.501 s]
/proc/loadavg: 2.00 2.05 1.94 6/861 4281
/proc/meminfo: memFree=10704660/32950928 swapFree=41528364/67111528
[pid=4031] ppid=4029 vsize=366776 CPUtime=3.02 cores=1,3,5,7
/proc/4031/stat : 4031 (python) S 4029 4031 2544 0 -1 4202496 26902 1593 1 0 207 44 39 12 20 0 7 0 869426472 375578624 12745 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/4031/statm: 91694 12745 1882 364 0 26566 0
[pid=4039] ppid=4031 vsize=315496 CPUtime=1.69 cores=1,3,5,7
/proc/4039/stat : 4039 (python) S 4031 4031 2544 0 -1 4202560 1171 0 0 0 77 92 0 0 16 0 2 0 869426752 323067904 11250 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/4039/statm: 78874 11250 406 364 0 13761 0
[pid=4041] ppid=4039 vsize=547852 CPUtime=324.95 cores=1,3,5,7
/proc/4041/stat : 4041 (scip-2.0.1.linu) T 4039 4041 4041 0 -1 4202496 142002 0 0 0 32403 92 0 0 25 0 1 0 869426752 561000448 134340 33554432000 4194304 13684479 140737077945200 18446744073709551615 7453211 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/4041/statm: 136963 134340 1073 2317 0 134641 0
[pid=4039/tid=4102] ppid=4031 vsize=315496 CPUtime=0 cores=1,3,5,7
/proc/4039/task/4102/stat : 4102 (python) S 4031 4031 2544 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 869431647 323067904 11250 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826063793 0 0 16781312 33554946 18446604459403998272 0 0 -1 3 0 0 0
[pid=4103] ppid=4031 vsize=315508 CPUtime=0.27 cores=1,3,5,7
/proc/4103/stat : 4103 (python) S 4031 4031 2544 0 -1 4202560 1201 0 0 0 13 14 0 0 16 0 2 0 869431650 323080192 11240 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4103/statm: 78877 11240 396 364 0 13761 0
[pid=4105] ppid=4103 vsize=94680 CPUtime=49.62 cores=1,3,5,7
/proc/4105/stat : 4105 (wbo1.4a) T 4103 4105 4105 0 -1 4202496 26211 0 0 0 4927 35 0 0 25 0 1 0 869431650 96952320 23050 33554432000 134512640 135751879 4291768096 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/4105/statm: 23670 23050 146 303 0 23365 0
[pid=4103/tid=4129] ppid=4031 vsize=315508 CPUtime=0 cores=1,3,5,7
/proc/4103/task/4129/stat : 4129 (python) S 4031 4031 2544 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869436614 323080192 11240 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826063793 0 0 16781312 33554946 18446604455906850688 0 0 -1 3 0 0 0
[pid=4130] ppid=4031 vsize=325764 CPUtime=1 cores=1,3,5,7
/proc/4130/stat : 4130 (python) S 4031 4031 2544 0 -1 4202560 1250 0 0 0 47 53 0 0 15 0 2 0 869436616 333582336 11244 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4130/statm: 81441 11244 396 364 0 16322 0
[pid=4132] ppid=4130 vsize=354452 CPUtime=184.69 cores=1,3,5,7
/proc/4132/stat : 4132 (scip-2.0.1.linu) T 4130 4132 4132 0 -1 4202496 369546 0 0 0 18376 93 0 0 25 0 1 0 869436617 362958848 74835 33554432000 4194304 15243407 140736433020416 18446744073709551615 8114878 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/4132/statm: 88613 74835 837 2698 0 85908 0
[pid=4130/tid=4139] ppid=4031 vsize=325764 CPUtime=0 cores=1,3,5,7
/proc/4130/task/4139/stat : 4139 (python) S 4031 4031 2544 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 869441509 333582336 11244 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826063793 0 0 16781312 33554946 18446604469991716032 0 0 -1 7 0 0 0
[pid=4140] ppid=4031 vsize=336020 CPUtime=0.24 cores=1,3,5,7
/proc/4140/stat : 4140 (python) S 4031 4031 2544 0 -1 4202560 1159 0 0 0 12 12 0 0 16 0 2 0 869441512 344084480 11242 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/4140/statm: 84005 11242 390 364 0 18883 0
[pid=4142] ppid=4140 vsize=8546084 CPUtime=46.32 cores=1,3,5,7
/proc/4142/stat : 4142 (java) T 4140 4142 4142 0 -1 4202496 532793 0 1 0 4574 58 0 0 18 0 19 0 869441512 8751190016 527356 33554432000 1073741824 1073778376 140734944967472 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/4142/statm: 2136521 527356 2249 9 0 2127262 0
[pid=4142/tid=4143] ppid=4140 vsize=8546084 CPUtime=43.69 cores=1,3,5,7
/proc/4142/task/4143/stat : 4143 (java) T 4140 4142 4142 0 -1 4202560 472378 0 1 0 4319 50 0 0 25 0 19 0 869441513 8751190016 527356 33554432000 1073741824 1073778376 140734944967472 18446744073709551615 46912506045949 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4142/tid=4144] ppid=4140 vsize=8546084 CPUtime=0.12 cores=1,3,5,7
/proc/4142/task/4144/stat : 4144 (java) T 4140 4142 4142 0 -1 4202560 8349 0 0 0 11 1 0 0 15 0 19 0 869441514 8751190016 527356 33554432000 1073741824 1073778376 140734944967472 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4142/tid=4145] ppid=4140 vsize=8546084 CPUtime=0.11 cores=1,3,5,7
/proc/4142/task/4145/stat : 4145 (java) T 4140 4142 4142 0 -1 4202560 7464 0 0 0 11 0 0 0 15 0 19 0 869441514 8751190016 527356 33554432000 1073741824 1073778376 140734944967472 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4142/tid=4146] ppid=4140 vsize=8546084 CPUtime=0.08 cores=1,3,5,7
/proc/4142/task/4146/stat : 4146 (java) T 4140 4142 4142 0 -1 4202560 6479 0 0 0 8 0 0 0 15 0 19 0 869441514 8751190016 527356 33554432000 1073741824 1073778376 140734944967472 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4142/tid=4147] ppid=4140 vsize=8546084 CPUtime=0.04 cores=1,3,5,7
/proc/4142/task/4147/stat : 4147 (java) T 4140 4142 4142 0 -1 4202560 3617 0 0 0 4 0 0 0 15 0 19 0 869441514 8751190016 527356 33554432000 1073741824 1073778376 140734944967472 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4142/tid=4148] ppid=4140 vsize=8546084 CPUtime=0.04 cores=1,3,5,7
/proc/4142/task/4148/stat : 4148 (java) T 4140 4142 4142 0 -1 4202560 3601 0 0 0 4 0 0 0 15 0 19 0 869441514 8751190016 527356 33554432000 1073741824 1073778376 140734944967472 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4142/tid=4149] ppid=4140 vsize=8546084 CPUtime=0.07 cores=1,3,5,7
/proc/4142/task/4149/stat : 4149 (java) T 4140 4142 4142 0 -1 4202560 5656 0 0 0 7 0 0 0 15 0 19 0 869441514 8751190016 527356 33554432000 1073741824 1073778376 140734944967472 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4142/tid=4150] ppid=4140 vsize=8546084 CPUtime=0.08 cores=1,3,5,7
/proc/4142/task/4150/stat : 4150 (java) T 4140 4142 4142 0 -1 4202560 5978 0 0 0 8 0 0 0 15 0 19 0 869441514 8751190016 527356 33554432000 1073741824 1073778376 140734944967472 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4142/tid=4151] ppid=4140 vsize=8546084 CPUtime=0.08 cores=1,3,5,7
/proc/4142/task/4151/stat : 4151 (java) T 4140 4142 4142 0 -1 4202560 5388 0 0 0 8 0 0 0 15 0 19 0 869441514 8751190016 527356 33554432000 1073741824 1073778376 140734944967472 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4142/tid=4152] ppid=4140 vsize=8546084 CPUtime=0 cores=1,3,5,7
/proc/4142/task/4152/stat : 4152 (java) T 4140 4142 4142 0 -1 4202560 969 0 0 0 0 0 0 0 15 0 19 0 869441515 8751190016 527356 33554432000 1073741824 1073778376 140734944967472 18446744073709551615 251826056704 0 0 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4142/tid=4153] ppid=4140 vsize=8546084 CPUtime=0 cores=1,3,5,7
/proc/4142/task/4153/stat : 4153 (java) T 4140 4142 4142 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869441515 8751190016 527356 33554432000 1073741824 1073778376 140734944967472 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4142/tid=4154] ppid=4140 vsize=8546084 CPUtime=0 cores=1,3,5,7
/proc/4142/task/4154/stat : 4154 (java) T 4140 4142 4142 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869441515 8751190016 527356 33554432000 1073741824 1073778376 140734944967472 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4142/tid=4155] ppid=4140 vsize=8546084 CPUtime=0 cores=1,3,5,7
/proc/4142/task/4155/stat : 4155 (java) T 4140 4142 4142 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869441517 8751190016 527356 33554432000 1073741824 1073778376 140734944967472 18446744073709551615 251826063793 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4142/tid=4156] ppid=4140 vsize=8546084 CPUtime=0.78 cores=1,3,5,7
/proc/4142/task/4156/stat : 4156 (java) T 4140 4142 4142 0 -1 4202560 5239 0 0 0 78 0 0 0 15 0 19 0 869441517 8751190016 527356 33554432000 1073741824 1073778376 140734944967472 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4142/tid=4157] ppid=4140 vsize=8546084 CPUtime=1.11 cores=1,3,5,7
/proc/4142/task/4157/stat : 4157 (java) T 4140 4142 4142 0 -1 4202560 6274 0 0 0 111 0 0 0 15 0 19 0 869441517 8751190016 527356 33554432000 1073741824 1073778376 140734944967472 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4142/tid=4158] ppid=4140 vsize=8546084 CPUtime=0 cores=1,3,5,7
/proc/4142/task/4158/stat : 4158 (java) T 4140 4142 4142 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869441517 8751190016 527356 33554432000 1073741824 1073778376 140734944967472 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4142/tid=4159] ppid=4140 vsize=8546084 CPUtime=0 cores=1,3,5,7
/proc/4142/task/4159/stat : 4159 (java) T 4140 4142 4142 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869441517 8751190016 527356 33554432000 1073741824 1073778376 140734944967472 18446744073709551615 251826056704 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4142/tid=4160] ppid=4140 vsize=8546084 CPUtime=0 cores=1,3,5,7
/proc/4142/task/4160/stat : 4160 (java) T 4140 4142 4142 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869441595 8751190016 527356 33554432000 1073741824 1073778376 140734944967472 18446744073709551615 251826056704 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=4140/tid=4162] ppid=4031 vsize=336020 CPUtime=0 cores=1,3,5,7
/proc/4140/task/4162/stat : 4162 (python) S 4031 4031 2544 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 869445904 344084480 11242 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826063793 0 0 16781312 33554946 18446604462344141696 0 0 -1 1 0 0 0
[pid=4249] ppid=4031 vsize=346276 CPUtime=0.47 cores=1,3,5,7
/proc/4249/stat : 4249 (python) S 4031 4031 2544 0 -1 4202560 1182 0 0 0 23 24 0 0 16 0 2 0 869478140 354586624 11246 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4249/statm: 86569 11246 390 364 0 21444 0
[pid=4251] ppid=4249 vsize=63680 CPUtime=92.72 cores=1,3,5,7
/proc/4251/stat : 4251 (clasp-1.3.7-x86) T 4249 4251 4251 0 -1 4202496 16676 0 0 0 9270 2 0 0 25 0 1 0 869478141 65208320 15657 33554432000 134512640 136139019 4291963920 18446744073709551615 134634749 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/4251/statm: 15920 15657 187 398 0 15520 0
[pid=4249/tid=4256] ppid=4031 vsize=346276 CPUtime=0 cores=1,3,5,7
/proc/4249/task/4256/stat : 4256 (python) S 4031 4031 2544 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869487414 354586624 11246 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826063793 0 0 16781312 33554946 18446604467314742528 0 0 -1 7 0 0 0
[pid=4262] ppid=4031 vsize=356532 CPUtime=0 cores=1,3,5,7
/proc/4262/stat : 4262 (python) S 4031 4031 2544 0 -1 4202560 807 0 0 0 0 0 0 0 18 0 1 0 869496369 365088768 11178 33554432000 4194304 5683644 140737430248800 18446744073709551615 251814260294 0 0 16781312 33554946 1425331557702303744 0 0 17 5 0 0 0
/proc/4262/statm: 89133 11178 319 364 0 24005 0
[pid=4264] ppid=4262 vsize=8546628 CPUtime=1.22 cores=1,3,5,7
/proc/4264/stat : 4264 (java) S 4262 4264 4264 0 -1 4202496 24838 0 1 0 119 3 0 0 17 0 18 0 869496369 8751747072 21281 33554432000 1073741824 1073778376 140734849030224 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4264/statm: 2136657 21283 2220 9 0 2127398 0
[pid=4264/tid=4265] ppid=4262 vsize=8546628 CPUtime=0.55 cores=1,3,5,7
/proc/4264/task/4265/stat : 4265 (java) R 4262 4264 4264 0 -1 4202560 15694 0 1 0 54 1 0 0 18 0 18 0 869496370 8751747072 22690 33554432000 1073741824 1073778376 140734849030224 18446744073709551615 46912505771733 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4264/tid=4266] ppid=4262 vsize=8546628 CPUtime=0 cores=1,3,5,7
/proc/4264/task/4266/stat : 4266 (java) S 4262 4264 4264 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869496371 8751747072 22693 33554432000 1073741824 1073778376 140734849030224 18446744073709551615 251826056089 0 4 0 16800975 18446604466963115072 0 0 -1 1 0 0 0
[pid=4264/tid=4267] ppid=4262 vsize=8546628 CPUtime=0 cores=1,3,5,7
/proc/4264/task/4267/stat : 4267 (java) S 4262 4264 4264 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869496371 8751747072 22695 33554432000 1073741824 1073778376 140734849030224 18446744073709551615 251826056089 0 4 0 16800975 18446604466963115072 0 0 -1 5 0 0 0
[pid=4264/tid=4268] ppid=4262 vsize=8546628 CPUtime=0 cores=1,3,5,7
/proc/4264/task/4268/stat : 4268 (java) S 4262 4264 4264 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869496371 8751747072 22696 33554432000 1073741824 1073778376 140734849030224 18446744073709551615 251826056089 0 4 0 16800975 18446604466963115072 0 0 -1 1 0 0 0
[pid=4264/tid=4269] ppid=4262 vsize=8546628 CPUtime=0 cores=1,3,5,7
/proc/4264/task/4269/stat : 4269 (java) S 4262 4264 4264 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869496371 8751747072 22698 33554432000 1073741824 1073778376 140734849030224 18446744073709551615 251826056089 0 4 0 16800975 18446604466963115072 0 0 -1 1 0 0 0
[pid=4264/tid=4270] ppid=4262 vsize=8546628 CPUtime=0 cores=1,3,5,7
/proc/4264/task/4270/stat : 4270 (java) S 4262 4264 4264 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869496371 8751747072 22699 33554432000 1073741824 1073778376 140734849030224 18446744073709551615 251826056089 0 4 0 16800975 18446604466963115072 0 0 -1 1 0 0 0
[pid=4264/tid=4271] ppid=4262 vsize=8546628 CPUtime=0 cores=1,3,5,7
/proc/4264/task/4271/stat : 4271 (java) S 4262 4264 4264 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869496371 8751747072 22701 33554432000 1073741824 1073778376 140734849030224 18446744073709551615 251826056089 0 4 0 16800975 18446604466963115072 0 0 -1 5 0 0 0
[pid=4264/tid=4272] ppid=4262 vsize=8546628 CPUtime=0 cores=1,3,5,7
/proc/4264/task/4272/stat : 4272 (java) S 4262 4264 4264 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869496371 8751747072 22702 33554432000 1073741824 1073778376 140734849030224 18446744073709551615 251826056089 0 4 0 16800975 18446604466963115072 0 0 -1 5 0 0 0
[pid=4264/tid=4273] ppid=4262 vsize=8546628 CPUtime=0 cores=1,3,5,7
/proc/4264/task/4273/stat : 4273 (java) S 4262 4264 4264 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869496371 8751747072 22704 33554432000 1073741824 1073778376 140734849030224 18446744073709551615 251826056089 0 4 0 16800975 18446604466963115072 0 0 -1 1 0 0 0
[pid=4264/tid=4274] ppid=4262 vsize=8546628 CPUtime=0 cores=1,3,5,7
/proc/4264/task/4274/stat : 4274 (java) S 4262 4264 4264 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 18 0 869496372 8751747072 22706 33554432000 1073741824 1073778376 140734849030224 18446744073709551615 251826056704 0 0 0 16800975 18446604466963115072 0 0 -1 5 0 0 0
[pid=4264/tid=4275] ppid=4262 vsize=8546628 CPUtime=0 cores=1,3,5,7
/proc/4264/task/4275/stat : 4275 (java) S 4262 4264 4264 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 869496372 8751747072 22707 33554432000 1073741824 1073778376 140734849030224 18446744073709551615 251826056089 0 4 0 16800975 18446604466963115072 0 0 -1 1 0 0 0
[pid=4264/tid=4276] ppid=4262 vsize=8546628 CPUtime=0 cores=1,3,5,7
/proc/4264/task/4276/stat : 4276 (java) S 4262 4264 4264 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 869496372 8751747072 22709 33554432000 1073741824 1073778376 140734849030224 18446744073709551615 251826056089 0 4 0 16800975 18446604466963115072 0 0 -1 1 0 0 0
[pid=4264/tid=4277] ppid=4262 vsize=8546628 CPUtime=0 cores=1,3,5,7
/proc/4264/task/4277/stat : 4277 (java) S 4262 4264 4264 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869496374 8751747072 22710 33554432000 1073741824 1073778376 140734849030224 18446744073709551615 251826063793 0 4 0 16800975 18446604466963115072 0 0 -1 1 0 0 0
[pid=4264/tid=4278] ppid=4262 vsize=8546628 CPUtime=0.34 cores=1,3,5,7
/proc/4264/task/4278/stat : 4278 (java) R 4262 4264 4264 0 -1 4202560 4974 0 0 0 34 0 0 0 25 0 18 0 869496374 8751747072 22712 33554432000 1073741824 1073778376 140734849030224 18446744073709551615 47949266886087 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=4264/tid=4279] ppid=4262 vsize=8546628 CPUtime=0.33 cores=1,3,5,7
/proc/4264/task/4279/stat : 4279 (java) R 4262 4264 4264 0 -1 4202560 4339 0 0 0 33 0 0 0 25 0 18 0 869496374 8751747072 22714 33554432000 1073741824 1073778376 140734849030224 18446744073709551615 47949262505690 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4264/tid=4280] ppid=4262 vsize=8546628 CPUtime=0 cores=1,3,5,7
/proc/4264/task/4280/stat : 4280 (java) S 4262 4264 4264 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869496374 8751747072 22715 33554432000 1073741824 1073778376 140734849030224 18446744073709551615 251826056089 0 4 0 16800975 18446604466963115072 0 0 -1 1 0 0 0
[pid=4264/tid=4281] ppid=4262 vsize=8546628 CPUtime=0 cores=1,3,5,7
/proc/4264/task/4281/stat : 4281 (java) S 4262 4264 4264 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869496374 8751747072 22717 33554432000 1073741824 1073778376 140734849030224 18446744073709551615 251826056704 0 4 0 16800975 18446604466963115072 0 0 -1 5 0 0 0
[pid=4031/tid=4040] ppid=4029 vsize=366776 CPUtime=0.51 cores=1,3,5,7
/proc/4031/task/4040/stat : 4040 (python) S 4029 4031 2544 0 -1 4202560 31 1593 0 0 0 0 39 12 18 0 7 0 869426752 375578624 12745 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826063793 0 0 16781312 33554434 18446604462344139008 0 0 -1 1 0 0 0
[pid=4031/tid=4104] ppid=4029 vsize=366776 CPUtime=0.51 cores=1,3,5,7
/proc/4031/task/4104/stat : 4104 (python) S 4029 4031 2544 0 -1 4202560 30 1593 0 0 0 0 39 12 20 0 7 0 869431650 375578624 12745 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826063793 0 0 16781312 33554434 18446604462344139008 0 0 -1 3 0 0 0
[pid=4031/tid=4131] ppid=4029 vsize=366776 CPUtime=0.51 cores=1,3,5,7
/proc/4031/task/4131/stat : 4131 (python) S 4029 4031 2544 0 -1 4202560 37 1593 0 0 0 0 39 12 18 0 7 0 869436617 375578624 12745 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826063793 0 0 16781312 33554434 18446604462344139008 0 0 -1 3 0 0 0
[pid=4031/tid=4141] ppid=4029 vsize=366776 CPUtime=0.51 cores=1,3,5,7
/proc/4031/task/4141/stat : 4141 (python) S 4029 4031 2544 0 -1 4202560 28 1593 0 0 0 0 39 12 20 0 7 0 869441512 375578624 12745 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826063793 0 0 16781312 33554434 18446604462344139008 0 0 -1 3 0 0 0
[pid=4031/tid=4250] ppid=4029 vsize=366776 CPUtime=0.51 cores=1,3,5,7
/proc/4031/task/4250/stat : 4250 (python) S 4029 4031 2544 0 -1 4202560 30 1593 0 0 0 0 39 12 20 0 7 0 869478141 375578624 12745 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826063793 0 0 16781312 33554434 18446604462344139008 0 0 -1 5 0 0 0
[pid=4031/tid=4263] ppid=4029 vsize=366776 CPUtime=0.51 cores=1,3,5,7
/proc/4031/task/4263/stat : 4263 (python) S 4029 4031 2544 0 -1 4202560 29 1593 0 0 0 0 39 12 20 0 7 0 869496369 375578624 12745 33554432000 4194304 5683644 140737430248800 18446744073709551615 251826063793 0 0 16781312 33554434 18446604462344139008 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 706.21
Current children cumulated vsize (KiB) 20515748
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4031 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=471624
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=570913
# CPU time returned by wait4() is 3.04254
# while last known CPU time is 706.21
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 699.598
CPU time (s): 706.21
CPU user time (s): 700.87
CPU system time (s): 5.34
CPU usage (%): 100.945
Max. virtual memory (cumulated for all children) (KiB): 20515748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.47162
system time used= 0.570913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28498
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= 30131
involuntary context switches= 33
runsolver used 5.78512 second user time and 13.9239 second system time
The end