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-3481731-1307576359/watcher-3481731-1307576359 -o /tmp/evaluation-result-3481731-1307576359/solver-3481731-1307576359 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481731-1307576359.opb -seed 10733940 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.72 0.16 0.05 2/399 11038
/proc/meminfo: memFree=30291008/32950904 swapFree=56615552/67111528
[pid=11038] ppid=11034 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/11038/stat : 11038 (runsolver) S 11034 11038 11000 0 -1 4202560 42 0 0 0 0 0 0 0 18 0 1 0 869238375 12079104 51 33554432000 4194304 5432328 140733545436272 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071699960631 0 0 17 0 0 0 0
/proc/11038/statm: 2949 51 31 303 0 2643 0
[startup+0.0754469 s]
/proc/loadavg: 0.72 0.16 0.05 2/399 11038
/proc/meminfo: memFree=30291008/32950904 swapFree=56615552/67111528
[pid=11038] ppid=11034 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/11038/stat : 11038 (runsolver) S 11034 11038 11000 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 1 0 869238375 12079104 54 33554432000 4194304 5432328 140733545436272 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699199166 0 0 17 0 0 0 0
/proc/11038/statm: 2949 54 34 303 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11796
[startup+0.100509 s]
/proc/loadavg: 0.72 0.16 0.05 2/399 11038
/proc/meminfo: memFree=30291008/32950904 swapFree=56615552/67111528
[pid=11038] ppid=11034 vsize=1840 CPUtime=0 cores=0,2,4,6
/proc/11038/stat : 11038 (python) D 11034 11038 11000 0 -1 4194304 46 0 0 0 0 0 0 0 19 0 1 0 869238375 1884160 1 33554432000 0 0 140735174207145 18446744073709551615 5055479 0 0 4096 0 18446744071562234166 0 0 17 2 0 0 0
/proc/11038/statm: 460 1 0 0 0 36 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1840
[startup+0.300455 s]
/proc/loadavg: 0.72 0.16 0.05 2/399 11038
/proc/meminfo: memFree=30291008/32950904 swapFree=56615552/67111528
[pid=11038] ppid=11034 vsize=14252 CPUtime=0 cores=0,2,4,6
/proc/11038/stat : 11038 (python) D 11034 11038 11000 0 -1 4194304 194 0 3 0 0 0 0 0 17 0 1 0 869238375 14594048 133 33554432000 4194304 5683644 140735174203136 18446744073709551615 5051632 0 0 4096 0 18446744071562234166 0 0 17 2 0 0 11
/proc/11038/statm: 3563 133 105 364 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14252
[startup+0.700391 s]
/proc/loadavg: 0.72 0.16 0.05 2/399 11038
/proc/meminfo: memFree=30291008/32950904 swapFree=56615552/67111528
[pid=11038] ppid=11034 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/11038/stat : 11038 (python) S 11034 11038 11000 0 -1 4202496 786 0 5 0 0 0 0 0 16 0 1 0 869238375 15749120 679 33554432000 4194304 5683644 140735174203136 18446744073709551615 237278877696 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 20
/proc/11038/statm: 3845 679 322 364 0 332 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15380
[startup+1.50008 s]
/proc/loadavg: 0.72 0.16 0.05 2/401 11040
/proc/meminfo: memFree=30284280/32950904 swapFree=56615552/67111528
[pid=11038] ppid=11034 vsize=16396 CPUtime=0.01 cores=0,2,4,6
/proc/11038/stat : 11038 (python) D 11034 11038 11000 0 -1 4202496 1110 0 5 0 1 0 0 0 16 0 1 0 869238375 16789504 984 33554432000 4194304 5683644 140735174203136 18446744073709551615 237278875493 0 0 16781312 2 0 0 0 17 2 0 0 31
/proc/11038/statm: 4099 984 408 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
[startup+3.10085 s]
/proc/loadavg: 0.72 0.16 0.05 2/401 11040
/proc/meminfo: memFree=30280088/32950904 swapFree=56615552/67111528
[pid=11038] ppid=11034 vsize=20976 CPUtime=0.02 cores=0,2,4,6
/proc/11038/stat : 11038 (python) S 11034 11038 11000 0 -1 4202496 1294 0 7 0 2 0 0 0 16 0 1 0 869238375 21479424 1153 33554432000 4194304 5683644 140735174203136 18446744073709551615 237278877696 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 38
/proc/11038/statm: 5244 1153 428 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 20976
heavy processes:
[startup+6.30034 s]
/proc/loadavg: 0.98 0.22 0.07 3/401 11048
/proc/meminfo: memFree=30262940/32950904 swapFree=56615552/67111528
[pid=11038] ppid=11034 vsize=111976 CPUtime=0.13 cores=0,2,4,6
/proc/11038/stat : 11038 (python) D 11034 11038 11000 0 -1 4202496 4650 920 33 9 10 3 0 0 16 0 1 0 869238375 114663424 3132 33554432000 4194304 5683644 140735174203136 18446744073709551615 237278877696 0 0 16781312 2 0 0 0 17 2 0 0 62
/proc/11038/statm: 27994 3132 901 364 0 2173 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 111976
heavy processes:
[startup+12.7012 s]
/proc/loadavg: 0.90 0.22 0.07 2/401 11048
/proc/meminfo: memFree=30215412/32950904 swapFree=56615552/67111528
[pid=11038] ppid=11034 vsize=261408 CPUtime=0.41 cores=0,2,4,6
/proc/11038/stat : 11038 (python) S 11034 11038 11000 0 -1 4202496 8153 920 106 9 27 14 0 0 16 0 1 0 869238375 267681792 6352 33554432000 4194304 5683644 140735174203136 18446744073709551615 237278875493 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 137
/proc/11038/statm: 65352 6352 1677 364 0 5068 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 261408
heavy processes:
[startup+25.5009 s]
/proc/loadavg: 1.08 0.29 0.10 4/407 11054
/proc/meminfo: memFree=30161340/32950904 swapFree=56615552/67111528
[pid=11038] ppid=11034 vsize=293252 CPUtime=0.51 cores=0,2,4,6
/proc/11038/stat : 11038 (python) S 11034 11038 11000 0 -1 4202496 9566 920 110 9 35 16 0 0 17 0 2 0 869238375 300290048 7175 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 138
/proc/11038/statm: 73313 7175 1870 364 0 8200 0
[pid=11049] ppid=11038 vsize=283008 CPUtime=0.02 cores=0,2,4,6
/proc/11049/stat : 11049 (python) S 11038 11038 11000 0 -1 4202560 910 0 0 0 1 1 0 0 15 0 1 0 869239693 289800192 5677 33554432000 4194304 5683644 140735174203136 18446744073709551615 237278899727 0 0 16781312 33554946 1740146488631099392 0 0 17 6 0 0 0
/proc/11049/statm: 70752 5677 376 364 0 5639 0
[pid=11054] ppid=11049 vsize=30356 CPUtime=12.31 cores=0,2,4,6
/proc/11054/stat : 11054 (scip-2.0.1.linu) R 11049 11054 11054 0 -1 4202496 6741 0 0 0 1220 11 0 0 25 0 1 0 869239693 31084544 5361 33554432000 4194304 13684479 140736332323696 18446744073709551615 7419470 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/11054/statm: 7589 5361 802 2317 0 5267 0
[pid=11038/tid=11051] ppid=11034 vsize=293252 CPUtime=0 cores=0,2,4,6
/proc/11038/task/11051/stat : 11051 (python) S 11034 11038 11000 0 -1 4202560 28 920 0 9 0 0 0 0 18 0 2 0 869239693 300290048 7175 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290703281 0 0 16781312 33554434 18446604452434947008 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.84
Current children cumulated vsize (KiB) 606616
heavy processes:
[startup+51.1004 s]
/proc/loadavg: 1.39 0.43 0.15 4/407 11055
/proc/meminfo: memFree=30162012/32950904 swapFree=56615552/67111528
[pid=11038] ppid=11034 vsize=293252 CPUtime=0.51 cores=0,2,4,6
/proc/11038/stat : 11038 (python) S 11034 11038 11000 0 -1 4202496 9566 920 110 9 35 16 0 0 17 0 2 0 869238375 300290048 7175 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 138
/proc/11038/statm: 73313 7175 1870 364 0 8200 0
[pid=11049] ppid=11038 vsize=283008 CPUtime=0.11 cores=0,2,4,6
/proc/11049/stat : 11049 (python) S 11038 11038 11000 0 -1 4202560 926 0 0 0 6 5 0 0 15 0 1 0 869239693 289800192 5677 33554432000 4194304 5683644 140735174203136 18446744073709551615 237278899727 0 0 16781312 33554946 72114768642583276 0 0 17 0 0 0 0
/proc/11049/statm: 70752 5677 376 364 0 5639 0
[pid=11054] ppid=11049 vsize=30356 CPUtime=37.91 cores=0,2,4,6
/proc/11054/stat : 11054 (scip-2.0.1.linu) R 11049 11054 11054 0 -1 4202496 6745 0 0 0 3750 41 0 0 25 0 1 0 869239693 31084544 5365 33554432000 4194304 13684479 140736332323696 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/11054/statm: 7589 5365 806 2317 0 5267 0
[pid=11038/tid=11051] ppid=11034 vsize=293252 CPUtime=0 cores=0,2,4,6
/proc/11038/task/11051/stat : 11051 (python) S 11034 11038 11000 0 -1 4202560 28 920 0 9 0 0 0 0 18 0 2 0 869239693 300290048 7175 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290703281 0 0 16781312 33554434 18446604452434947008 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 38.53
Current children cumulated vsize (KiB) 606616
heavy processes:
[startup+102.316 s]
/proc/loadavg: 1.71 0.68 0.25 4/415 11064
/proc/meminfo: memFree=30117952/32950904 swapFree=56615552/67111528
[pid=11038] ppid=11034 vsize=304032 CPUtime=0.53 cores=0,2,4,6
/proc/11038/stat : 11038 (python) S 11034 11038 11000 0 -1 4202496 10395 920 110 9 37 16 0 0 20 0 3 0 869238375 311328768 7306 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 138
/proc/11038/statm: 76008 7306 1873 364 0 10892 0
[pid=11049] ppid=11038 vsize=293252 CPUtime=0.15 cores=0,2,4,6
/proc/11049/stat : 11049 (python) S 11038 11038 11000 0 -1 4202560 1090 0 0 0 8 7 0 0 16 0 2 0 869239693 300290048 5713 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/11049/statm: 73313 5713 407 364 0 8200 0
[pid=11054] ppid=11049 vsize=30356 CPUtime=46.37 cores=0,2,4,6
/proc/11054/stat : 11054 (scip-2.0.1.linu) T 11049 11054 11054 0 -1 4202496 6756 0 0 0 4587 50 0 0 22 0 1 0 869239693 31084544 5376 33554432000 4194304 13684479 140736332323696 18446744073709551615 7268178 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/11054/statm: 7589 5376 812 2317 0 5267 0
[pid=11049/tid=11056] ppid=11038 vsize=293252 CPUtime=0 cores=0,2,4,6
/proc/11049/task/11056/stat : 11056 (python) S 11038 11038 11000 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869244331 300290048 5713 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290703281 0 0 16781312 33554946 18446604443234194752 0 0 -1 0 0 0 0
[pid=11057] ppid=11038 vsize=293788 CPUtime=0.13 cores=0,2,4,6
/proc/11057/stat : 11057 (python) S 11038 11038 11000 0 -1 4202560 942 0 0 0 6 7 0 0 15 0 1 0 869244334 300838912 5802 33554432000 4194304 5683644 140735174203136 18446744073709551615 237278899782 0 0 16781312 33554946 72262103200705260 0 0 17 2 0 0 0
/proc/11057/statm: 73447 5802 373 364 0 8331 0
[pid=11059] ppid=11057 vsize=31144 CPUtime=42.71 cores=0,2,4,6
/proc/11059/stat : 11059 (scip-2.0.1.linu) R 11057 11059 11059 0 -1 4202496 21733 0 0 0 4253 18 0 0 25 0 1 0 869244334 31891456 5328 33554432000 4194304 15243407 140737291427712 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11059/statm: 7786 5328 929 2698 0 5081 0
[pid=11038/tid=11051] ppid=11034 vsize=304032 CPUtime=0 cores=0,2,4,6
/proc/11038/task/11051/stat : 11051 (python) S 11034 11038 11000 0 -1 4202560 28 920 0 9 0 0 0 0 18 0 3 0 869239693 311328768 7306 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290703281 0 0 16781312 33554434 18446604452434947008 0 0 -1 2 0 0 0
[pid=11038/tid=11058] ppid=11034 vsize=304032 CPUtime=0 cores=0,2,4,6
/proc/11038/task/11058/stat : 11058 (python) S 11034 11038 11000 0 -1 4202560 29 920 0 9 0 0 0 0 20 0 3 0 869244334 311328768 7306 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290703281 0 0 16781312 33554434 18446604452434947008 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 89.89
Current children cumulated vsize (KiB) 952572
[startup+162.302 s]
/proc/loadavg: 1.88 0.90 0.34 4/431 11082
/proc/meminfo: memFree=30069132/32950904 swapFree=56615552/67111528
[pid=11038] ppid=11034 vsize=324720 CPUtime=0.59 cores=0,2,4,6
/proc/11038/stat : 11038 (python) S 11034 11038 11000 0 -1 4202496 12176 920 110 9 43 16 0 0 20 0 5 0 869238375 332513280 7346 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 138
/proc/11038/statm: 81180 7346 1877 364 0 16058 0
[pid=11049] ppid=11038 vsize=293252 CPUtime=0.15 cores=0,2,4,6
/proc/11049/stat : 11049 (python) S 11038 11038 11000 0 -1 4202560 1090 0 0 0 8 7 0 0 16 0 2 0 869239693 300290048 5713 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/11049/statm: 73313 5713 407 364 0 8200 0
[pid=11054] ppid=11049 vsize=30356 CPUtime=46.37 cores=0,2,4,6
/proc/11054/stat : 11054 (scip-2.0.1.linu) T 11049 11054 11054 0 -1 4202496 6756 0 0 0 4587 50 0 0 22 0 1 0 869239693 31084544 5376 33554432000 4194304 13684479 140736332323696 18446744073709551615 7268178 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/11054/statm: 7589 5376 812 2317 0 5267 0
[pid=11049/tid=11056] ppid=11038 vsize=293252 CPUtime=0 cores=0,2,4,6
/proc/11049/task/11056/stat : 11056 (python) S 11038 11038 11000 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869244331 300290048 5713 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290703281 0 0 16781312 33554946 18446604443234194752 0 0 -1 0 0 0 0
[pid=11057] ppid=11038 vsize=293788 CPUtime=0.17 cores=0,2,4,6
/proc/11057/stat : 11057 (python) S 11038 11038 11000 0 -1 4202560 1106 0 0 0 8 9 0 0 16 0 2 0 869244334 300838912 5827 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/11057/statm: 73447 5827 397 364 0 8331 0
[pid=11059] ppid=11057 vsize=31604 CPUtime=50.67 cores=0,2,4,6
/proc/11059/stat : 11059 (scip-2.0.1.linu) T 11057 11059 11059 0 -1 4202496 21954 0 0 0 5045 22 0 0 25 0 1 0 869244334 32362496 5376 33554432000 4194304 15243407 140737291427712 18446744073709551615 8108567 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/11059/statm: 7901 5376 935 2698 0 5196 0
[pid=11057/tid=11070] ppid=11038 vsize=293788 CPUtime=0 cores=0,2,4,6
/proc/11057/task/11070/stat : 11070 (python) S 11038 11038 11000 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869249402 300838912 5827 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290703281 0 0 16781312 33554946 18446604453922484352 0 0 -1 2 0 0 0
[pid=11071] ppid=11038 vsize=303772 CPUtime=0.15 cores=0,2,4,6
/proc/11071/stat : 11071 (python) S 11038 11038 11000 0 -1 4202560 1168 0 0 0 7 8 0 0 16 0 2 0 869249405 311062528 5755 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/11071/statm: 75943 5755 403 364 0 10824 0
[pid=11073] ppid=11071 vsize=2256 CPUtime=47.83 cores=0,2,4,6
/proc/11073/stat : 11073 (clasp-1.3.7-x86) T 11071 11073 11073 0 -1 4202496 589 0 0 0 4783 0 0 0 25 0 1 0 869249405 2310144 321 33554432000 134512640 136139019 4294321424 18446744073709551615 134838219 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/11073/statm: 564 321 187 398 0 164 0
[pid=11071/tid=11079] ppid=11038 vsize=303772 CPUtime=0 cores=0,2,4,6
/proc/11071/task/11079/stat : 11079 (python) S 11038 11038 11000 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869254189 311062528 5755 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290703281 0 0 16781312 33554946 18446604447161250176 0 0 -1 2 0 0 0
[pid=11080] ppid=11038 vsize=314476 CPUtime=0.01 cores=0,2,4,6
/proc/11080/stat : 11080 (python) S 11038 11038 11000 0 -1 4202560 1009 0 0 0 1 0 0 0 15 0 1 0 869254192 322023424 5844 33554432000 4194304 5683644 140735174203136 18446744073709551615 237278899782 0 0 16781312 33554946 4294934787 0 0 17 0 0 0 0
/proc/11080/statm: 78619 5844 379 364 0 13497 0
[pid=11082] ppid=11080 vsize=19744 CPUtime=4.12 cores=0,2,4,6
################
# More data... #
################
[pid=11038/tid=11051] ppid=11034 vsize=345368 CPUtime=0 cores=0,2,4,6
/proc/11038/task/11051/stat : 11051 (python) S 11034 11038 11000 0 -1 4202560 28 920 0 9 0 0 0 0 18 0 7 0 869239693 353656832 7392 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290703281 0 0 16781312 33554434 18446604452434947008 0 0 -1 2 0 0 0
[pid=11038/tid=11058] ppid=11034 vsize=345368 CPUtime=0 cores=0,2,4,6
/proc/11038/task/11058/stat : 11058 (python) S 11034 11038 11000 0 -1 4202560 29 920 0 9 0 0 0 0 20 0 7 0 869244334 353656832 7392 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290703281 0 0 16781312 33554434 18446604452434947008 0 0 -1 2 0 0 0
[pid=11038/tid=11072] ppid=11034 vsize=345368 CPUtime=0 cores=0,2,4,6
/proc/11038/task/11072/stat : 11072 (python) S 11034 11038 11000 0 -1 4202560 32 920 0 9 0 0 0 0 18 0 7 0 869249405 353656832 7392 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290703281 0 0 16781312 33554434 18446604452434947008 0 0 -1 0 0 0 0
[pid=11038/tid=11081] ppid=11034 vsize=345368 CPUtime=0 cores=0,2,4,6
/proc/11038/task/11081/stat : 11081 (python) S 11034 11038 11000 0 -1 4202560 91 920 0 9 0 0 0 0 20 0 7 0 869254192 353656832 7392 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290703281 0 0 16781312 33554434 18446604452434947008 0 0 -1 6 0 0 0
[pid=11038/tid=11109] ppid=11034 vsize=345368 CPUtime=0 cores=0,2,4,6
/proc/11038/task/11109/stat : 11109 (python) S 11034 11038 11000 0 -1 4202560 27 920 0 9 0 0 0 0 20 0 7 0 869263716 353656832 7392 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290703281 0 0 16781312 33554434 18446604452434947008 0 0 -1 6 0 0 0
[pid=11038/tid=11133] ppid=11034 vsize=345368 CPUtime=0 cores=0,2,4,6
/proc/11038/task/11133/stat : 11133 (python) S 11034 11038 11000 0 -1 4202560 31 920 0 9 0 0 0 0 20 0 7 0 869268274 353656832 7392 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290703281 0 0 16781312 33554434 18446604452434947008 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 289.75
Current children cumulated vsize (KiB) 19494404
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+299.102 s]
/proc/loadavg: 1.99 1.30 0.57 4/496 11151
/proc/meminfo: memFree=29143076/32950904 swapFree=56615552/67111528
[pid=11038] ppid=11034 vsize=345368 CPUtime=0.67 cores=0,2,4,6
/proc/11038/stat : 11038 (python) S 11034 11038 11000 0 -1 4202496 13914 920 110 9 50 17 0 0 20 0 7 0 869238375 353656832 7392 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 138
/proc/11038/statm: 86342 7392 1881 364 0 21214 0
[pid=11049] ppid=11038 vsize=293252 CPUtime=0.15 cores=0,2,4,6
/proc/11049/stat : 11049 (python) S 11038 11038 11000 0 -1 4202560 1090 0 0 0 8 7 0 0 16 0 2 0 869239693 300290048 5713 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/11049/statm: 73313 5713 407 364 0 8200 0
[pid=11054] ppid=11049 vsize=30356 CPUtime=46.37 cores=0,2,4,6
/proc/11054/stat : 11054 (scip-2.0.1.linu) T 11049 11054 11054 0 -1 4202496 6756 0 0 0 4587 50 0 0 22 0 1 0 869239693 31084544 5376 33554432000 4194304 13684479 140736332323696 18446744073709551615 7268178 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/11054/statm: 7589 5376 812 2317 0 5267 0
[pid=11049/tid=11056] ppid=11038 vsize=293252 CPUtime=0 cores=0,2,4,6
/proc/11049/task/11056/stat : 11056 (python) S 11038 11038 11000 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869244331 300290048 5713 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290703281 0 0 16781312 33554946 18446604443234194752 0 0 -1 0 0 0 0
[pid=11057] ppid=11038 vsize=293788 CPUtime=0.17 cores=0,2,4,6
/proc/11057/stat : 11057 (python) S 11038 11038 11000 0 -1 4202560 1106 0 0 0 8 9 0 0 16 0 2 0 869244334 300838912 5827 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/11057/statm: 73447 5827 397 364 0 8331 0
[pid=11059] ppid=11057 vsize=31604 CPUtime=50.67 cores=0,2,4,6
/proc/11059/stat : 11059 (scip-2.0.1.linu) T 11057 11059 11059 0 -1 4202496 21954 0 0 0 5045 22 0 0 25 0 1 0 869244334 32362496 5376 33554432000 4194304 15243407 140737291427712 18446744073709551615 8108567 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/11059/statm: 7901 5376 935 2698 0 5196 0
[pid=11057/tid=11070] ppid=11038 vsize=293788 CPUtime=0 cores=0,2,4,6
/proc/11057/task/11070/stat : 11070 (python) S 11038 11038 11000 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869249402 300838912 5827 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290703281 0 0 16781312 33554946 18446604453922484352 0 0 -1 2 0 0 0
[pid=11071] ppid=11038 vsize=303772 CPUtime=0.31 cores=0,2,4,6
/proc/11071/stat : 11071 (python) S 11038 11038 11000 0 -1 4202560 1194 0 0 0 15 16 0 0 15 0 2 0 869249405 311062528 5755 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/11071/statm: 75943 5755 403 364 0 10824 0
[pid=11073] ppid=11071 vsize=2256 CPUtime=93.98 cores=0,2,4,6
/proc/11073/stat : 11073 (clasp-1.3.7-x86) T 11071 11073 11073 0 -1 4202496 591 0 0 0 9398 0 0 0 25 0 1 0 869249405 2310144 323 33554432000 134512640 136139019 4294321424 18446744073709551615 134833216 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/11073/statm: 564 323 187 398 0 164 0
[pid=11071/tid=11079] ppid=11038 vsize=303772 CPUtime=0 cores=0,2,4,6
/proc/11071/task/11079/stat : 11079 (python) S 11038 11038 11000 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 869254189 311062528 5755 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290703281 0 0 16781312 33554946 18446604447161250176 0 0 -1 2 0 0 0
[pid=11080] ppid=11038 vsize=314476 CPUtime=0.18 cores=0,2,4,6
/proc/11080/stat : 11080 (python) S 11038 11038 11000 0 -1 4202560 1184 0 0 0 9 9 0 0 16 0 2 0 869254192 322023424 5869 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/11080/statm: 78619 5869 403 364 0 13497 0
[pid=11082] ppid=11080 vsize=142296 CPUtime=49.02 cores=0,2,4,6
/proc/11082/stat : 11082 (wbo1.4a) T 11080 11082 11082 0 -1 4202496 35394 0 0 0 4853 49 0 0 25 0 1 0 869254193 145711104 35114 33554432000 134512640 135751879 4292036800 18446744073709551615 134616518 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/11082/statm: 35574 35114 146 303 0 35269 0
[pid=11080/tid=11085] ppid=11038 vsize=314476 CPUtime=0 cores=0,2,4,6
/proc/11080/task/11085/stat : 11085 (python) S 11038 11038 11000 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869259095 322023424 5869 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290703281 0 0 16781312 33554946 18446604449825213120 0 0 -1 2 0 0 0
[pid=11108] ppid=11038 vsize=324732 CPUtime=0.17 cores=0,2,4,6
/proc/11108/stat : 11108 (python) S 11038 11038 11000 0 -1 4202560 1150 0 0 0 8 9 0 0 16 0 2 0 869263716 332525568 5880 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/11108/statm: 81183 5880 397 364 0 16058 0
[pid=11110] ppid=11108 vsize=8545044 CPUtime=47.9 cores=0,2,4,6
/proc/11110/stat : 11110 (java) T 11108 11110 11110 0 -1 4202496 124627 0 1 0 4771 19 0 0 18 0 19 0 869263716 8750125056 85383 33554432000 1073741824 1073778376 140734142080128 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11110/statm: 2136261 85383 2238 9 0 2127002 0
[pid=11110/tid=11111] ppid=11108 vsize=8545044 CPUtime=45.12 cores=0,2,4,6
/proc/11110/task/11111/stat : 11111 (java) T 11108 11110 11110 0 -1 4202560 78181 0 1 0 4502 10 0 0 25 0 19 0 869263717 8750125056 85383 33554432000 1073741824 1073778376 140734142080128 18446744073709551615 46912505936731 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=11110/tid=11112] ppid=11108 vsize=8545044 CPUtime=0.13 cores=0,2,4,6
/proc/11110/task/11112/stat : 11112 (java) T 11108 11110 11110 0 -1 4202560 4224 0 0 0 13 0 0 0 15 0 19 0 869263717 8750125056 85383 33554432000 1073741824 1073778376 140734142080128 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=11110/tid=11113] ppid=11108 vsize=8545044 CPUtime=0.14 cores=0,2,4,6
/proc/11110/task/11113/stat : 11113 (java) T 11108 11110 11110 0 -1 4202560 4646 0 0 0 14 0 0 0 15 0 19 0 869263717 8750125056 85383 33554432000 1073741824 1073778376 140734142080128 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=11110/tid=11114] ppid=11108 vsize=8545044 CPUtime=0.13 cores=0,2,4,6
/proc/11110/task/11114/stat : 11114 (java) T 11108 11110 11110 0 -1 4202560 3626 0 0 0 13 0 0 0 15 0 19 0 869263717 8750125056 85383 33554432000 1073741824 1073778376 140734142080128 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=11110/tid=11115] ppid=11108 vsize=8545044 CPUtime=0.1 cores=0,2,4,6
/proc/11110/task/11115/stat : 11115 (java) T 11108 11110 11110 0 -1 4202560 3605 0 0 0 10 0 0 0 15 0 19 0 869263717 8750125056 85383 33554432000 1073741824 1073778376 140734142080128 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=11110/tid=11116] ppid=11108 vsize=8545044 CPUtime=0.13 cores=0,2,4,6
/proc/11110/task/11116/stat : 11116 (java) T 11108 11110 11110 0 -1 4202560 4092 0 0 0 13 0 0 0 15 0 19 0 869263717 8750125056 85383 33554432000 1073741824 1073778376 140734142080128 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=11110/tid=11117] ppid=11108 vsize=8545044 CPUtime=0.13 cores=0,2,4,6
/proc/11110/task/11117/stat : 11117 (java) T 11108 11110 11110 0 -1 4202560 4128 0 0 0 13 0 0 0 15 0 19 0 869263717 8750125056 85383 33554432000 1073741824 1073778376 140734142080128 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=11110/tid=11118] ppid=11108 vsize=8545044 CPUtime=0.13 cores=0,2,4,6
/proc/11110/task/11118/stat : 11118 (java) T 11108 11110 11110 0 -1 4202560 4472 0 0 0 13 0 0 0 15 0 19 0 869263717 8750125056 85383 33554432000 1073741824 1073778376 140734142080128 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=11110/tid=11119] ppid=11108 vsize=8545044 CPUtime=0.15 cores=0,2,4,6
/proc/11110/task/11119/stat : 11119 (java) T 11108 11110 11110 0 -1 4202560 5612 0 0 0 15 0 0 0 15 0 19 0 869263717 8750125056 85383 33554432000 1073741824 1073778376 140734142080128 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=11110/tid=11120] ppid=11108 vsize=8545044 CPUtime=0.02 cores=0,2,4,6
/proc/11110/task/11120/stat : 11120 (java) T 11108 11110 11110 0 -1 4202560 115 0 0 0 1 1 0 0 15 0 19 0 869263718 8750125056 85383 33554432000 1073741824 1073778376 140734142080128 18446744073709551615 237290696192 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=11110/tid=11121] ppid=11108 vsize=8545044 CPUtime=0 cores=0,2,4,6
/proc/11110/task/11121/stat : 11121 (java) T 11108 11110 11110 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869263719 8750125056 85383 33554432000 1073741824 1073778376 140734142080128 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=11110/tid=11122] ppid=11108 vsize=8545044 CPUtime=0 cores=0,2,4,6
/proc/11110/task/11122/stat : 11122 (java) T 11108 11110 11110 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869263719 8750125056 85383 33554432000 1073741824 1073778376 140734142080128 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=11110/tid=11123] ppid=11108 vsize=8545044 CPUtime=0 cores=0,2,4,6
/proc/11110/task/11123/stat : 11123 (java) T 11108 11110 11110 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869263721 8750125056 85383 33554432000 1073741824 1073778376 140734142080128 18446744073709551615 237290703281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=11110/tid=11124] ppid=11108 vsize=8545044 CPUtime=0.64 cores=0,2,4,6
/proc/11110/task/11124/stat : 11124 (java) T 11108 11110 11110 0 -1 4202560 4921 0 0 0 64 0 0 0 15 0 19 0 869263721 8750125056 85383 33554432000 1073741824 1073778376 140734142080128 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=11110/tid=11125] ppid=11108 vsize=8545044 CPUtime=0.95 cores=0,2,4,6
/proc/11110/task/11125/stat : 11125 (java) T 11108 11110 11110 0 -1 4202560 5608 0 0 0 95 0 0 0 15 0 19 0 869263721 8750125056 85383 33554432000 1073741824 1073778376 140734142080128 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=11110/tid=11126] ppid=11108 vsize=8545044 CPUtime=0 cores=0,2,4,6
/proc/11110/task/11126/stat : 11126 (java) T 11108 11110 11110 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869263721 8750125056 85383 33554432000 1073741824 1073778376 140734142080128 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=11110/tid=11127] ppid=11108 vsize=8545044 CPUtime=0 cores=0,2,4,6
/proc/11110/task/11127/stat : 11127 (java) T 11108 11110 11110 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869263721 8750125056 85383 33554432000 1073741824 1073778376 140734142080128 18446744073709551615 237290696192 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=11110/tid=11128] ppid=11108 vsize=8545044 CPUtime=0 cores=0,2,4,6
/proc/11110/task/11128/stat : 11128 (java) T 11108 11110 11110 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869263739 8750125056 85383 33554432000 1073741824 1073778376 140734142080128 18446744073709551615 237290696192 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=11108/tid=11131] ppid=11038 vsize=324732 CPUtime=0 cores=0,2,4,6
/proc/11108/task/11131/stat : 11131 (python) S 11038 11038 11000 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869268271 332525568 5880 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290703281 0 0 16781312 33554946 18446604443634238592 0 0 -1 0 0 0 0
[pid=11132] ppid=11038 vsize=335124 CPUtime=0 cores=0,2,4,6
/proc/11132/stat : 11132 (python) S 11038 11038 11000 0 -1 4202560 823 0 0 0 0 0 0 0 19 0 1 0 869268274 343166976 5856 33554432000 4194304 5683644 140735174203136 18446744073709551615 237278899782 0 0 16781312 33554946 8059131579730985220 0 0 17 6 0 0 0
/proc/11132/statm: 83781 5856 349 364 0 18653 0
[pid=11134] ppid=11132 vsize=8532336 CPUtime=0.16 cores=0,2,4,6
/proc/11134/stat : 11134 (java) S 11132 11134 11134 0 -1 4202496 5804 0 1 0 15 1 0 0 20 0 18 0 869268274 8737112064 5259 33554432000 1073741824 1073778376 140737015891632 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11134/statm: 2133084 5259 2151 9 0 2123825 0
[pid=11134/tid=11135] ppid=11132 vsize=8532676 CPUtime=0.12 cores=0,2,4,6
/proc/11134/task/11135/stat : 11135 (java) R 11132 11134 11134 0 -1 4202560 3565 0 1 0 12 0 0 0 25 0 18 0 869268275 8737460224 5365 33554432000 1073741824 1073778376 140737015891632 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11134/tid=11136] ppid=11132 vsize=8532676 CPUtime=0 cores=0,2,4,6
/proc/11134/task/11136/stat : 11136 (java) S 11132 11134 11134 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869268275 8737460224 5365 33554432000 1073741824 1073778376 140737015891632 18446744073709551615 237290695577 0 4 0 16800975 18446604441432570944 0 0 -1 2 0 0 0
[pid=11134/tid=11137] ppid=11132 vsize=8532676 CPUtime=0 cores=0,2,4,6
/proc/11134/task/11137/stat : 11137 (java) S 11132 11134 11134 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869268275 8737460224 5365 33554432000 1073741824 1073778376 140737015891632 18446744073709551615 237290695577 0 4 0 16800975 18446604441432570944 0 0 -1 2 0 0 0
[pid=11134/tid=11138] ppid=11132 vsize=8532676 CPUtime=0 cores=0,2,4,6
/proc/11134/task/11138/stat : 11138 (java) S 11132 11134 11134 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869268275 8737460224 5365 33554432000 1073741824 1073778376 140737015891632 18446744073709551615 237290695577 0 4 0 16800975 18446604441432570944 0 0 -1 2 0 0 0
[pid=11134/tid=11139] ppid=11132 vsize=8532676 CPUtime=0 cores=0,2,4,6
/proc/11134/task/11139/stat : 11139 (java) S 11132 11134 11134 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869268275 8737460224 5366 33554432000 1073741824 1073778376 140737015891632 18446744073709551615 237290695577 0 4 0 16800975 18446604441432570944 0 0 -1 4 0 0 0
[pid=11134/tid=11140] ppid=11132 vsize=8532676 CPUtime=0 cores=0,2,4,6
/proc/11134/task/11140/stat : 11140 (java) S 11132 11134 11134 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869268275 8737460224 5366 33554432000 1073741824 1073778376 140737015891632 18446744073709551615 237290695577 0 4 0 16800975 18446604441432570944 0 0 -1 4 0 0 0
[pid=11134/tid=11141] ppid=11132 vsize=8532676 CPUtime=0 cores=0,2,4,6
/proc/11134/task/11141/stat : 11141 (java) S 11132 11134 11134 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869268275 8737460224 5367 33554432000 1073741824 1073778376 140737015891632 18446744073709551615 237290695577 0 4 0 16800975 18446604441432570944 0 0 -1 4 0 0 0
[pid=11134/tid=11142] ppid=11132 vsize=8532676 CPUtime=0 cores=0,2,4,6
/proc/11134/task/11142/stat : 11142 (java) S 11132 11134 11134 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869268275 8737460224 5367 33554432000 1073741824 1073778376 140737015891632 18446744073709551615 237290695577 0 4 0 16800975 18446604441432570944 0 0 -1 4 0 0 0
[pid=11134/tid=11143] ppid=11132 vsize=8532676 CPUtime=0 cores=0,2,4,6
/proc/11134/task/11143/stat : 11143 (java) S 11132 11134 11134 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869268275 8737460224 5367 33554432000 1073741824 1073778376 140737015891632 18446744073709551615 237290695577 0 4 0 16800975 18446604441432570944 0 0 -1 4 0 0 0
[pid=11134/tid=11144] ppid=11132 vsize=8532676 CPUtime=0 cores=0,2,4,6
/proc/11134/task/11144/stat : 11144 (java) S 11132 11134 11134 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869268276 8737460224 5367 33554432000 1073741824 1073778376 140737015891632 18446744073709551615 237290696192 0 0 0 16800975 18446604441432570944 0 0 -1 2 0 0 0
[pid=11134/tid=11145] ppid=11132 vsize=8532676 CPUtime=0 cores=0,2,4,6
/proc/11134/task/11145/stat : 11145 (java) S 11132 11134 11134 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869268277 8737460224 5367 33554432000 1073741824 1073778376 140737015891632 18446744073709551615 237290695577 0 4 0 16800975 18446604441432570944 0 0 -1 2 0 0 0
[pid=11134/tid=11146] ppid=11132 vsize=8532676 CPUtime=0 cores=0,2,4,6
/proc/11134/task/11146/stat : 11146 (java) S 11132 11134 11134 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869268277 8737460224 5367 33554432000 1073741824 1073778376 140737015891632 18446744073709551615 237290695577 0 4 0 16800975 18446604441432570944 0 0 -1 2 0 0 0
[pid=11134/tid=11147] ppid=11132 vsize=8532676 CPUtime=0 cores=0,2,4,6
/proc/11134/task/11147/stat : 11147 (java) S 11132 11134 11134 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869268279 8737460224 5367 33554432000 1073741824 1073778376 140737015891632 18446744073709551615 237290703281 0 4 0 16800975 18446604441432570944 0 0 -1 2 0 0 0
[pid=11134/tid=11148] ppid=11132 vsize=8532676 CPUtime=0 cores=0,2,4,6
/proc/11134/task/11148/stat : 11148 (java) R 11132 11134 11134 0 -1 4202560 222 0 0 0 0 0 0 0 25 0 18 0 869268279 8737460224 5368 33554432000 1073741824 1073778376 140737015891632 18446744073709551615 47993689123968 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11134/tid=11149] ppid=11132 vsize=8532676 CPUtime=0.03 cores=0,2,4,6
/proc/11134/task/11149/stat : 11149 (java) R 11132 11134 11134 0 -1 4202560 732 0 0 0 3 0 0 0 25 0 18 0 869268279 8737460224 5368 33554432000 1073741824 1073778376 140737015891632 18446744073709551615 47993693802135 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11134/tid=11150] ppid=11132 vsize=8532676 CPUtime=0 cores=0,2,4,6
/proc/11134/task/11150/stat : 11150 (java) S 11132 11134 11134 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869268279 8737460224 5369 33554432000 1073741824 1073778376 140737015891632 18446744073709551615 237290695577 0 4 0 16800975 18446604441432570944 0 0 -1 2 0 0 0
[pid=11134/tid=11151] ppid=11132 vsize=8532676 CPUtime=0 cores=0,2,4,6
/proc/11134/task/11151/stat : 11151 (java) S 11132 11134 11134 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869268279 8737460224 5369 33554432000 1073741824 1073778376 140737015891632 18446744073709551615 237290696192 0 4 0 16800975 18446604441432570944 0 0 -1 6 0 0 0
[pid=11038/tid=11051] ppid=11034 vsize=345368 CPUtime=0 cores=0,2,4,6
/proc/11038/task/11051/stat : 11051 (python) S 11034 11038 11000 0 -1 4202560 28 920 0 9 0 0 0 0 18 0 7 0 869239693 353656832 7392 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290703281 0 0 16781312 33554434 18446604452434947008 0 0 -1 2 0 0 0
[pid=11038/tid=11058] ppid=11034 vsize=345368 CPUtime=0 cores=0,2,4,6
/proc/11038/task/11058/stat : 11058 (python) S 11034 11038 11000 0 -1 4202560 29 920 0 9 0 0 0 0 20 0 7 0 869244334 353656832 7392 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290703281 0 0 16781312 33554434 18446604452434947008 0 0 -1 2 0 0 0
[pid=11038/tid=11072] ppid=11034 vsize=345368 CPUtime=0 cores=0,2,4,6
/proc/11038/task/11072/stat : 11072 (python) S 11034 11038 11000 0 -1 4202560 32 920 0 9 0 0 0 0 18 0 7 0 869249405 353656832 7392 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290703281 0 0 16781312 33554434 18446604452434947008 0 0 -1 0 0 0 0
[pid=11038/tid=11081] ppid=11034 vsize=345368 CPUtime=0 cores=0,2,4,6
/proc/11038/task/11081/stat : 11081 (python) S 11034 11038 11000 0 -1 4202560 91 920 0 9 0 0 0 0 20 0 7 0 869254192 353656832 7392 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290703281 0 0 16781312 33554434 18446604452434947008 0 0 -1 6 0 0 0
[pid=11038/tid=11109] ppid=11034 vsize=345368 CPUtime=0 cores=0,2,4,6
/proc/11038/task/11109/stat : 11109 (python) S 11034 11038 11000 0 -1 4202560 27 920 0 9 0 0 0 0 20 0 7 0 869263716 353656832 7392 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290703281 0 0 16781312 33554434 18446604452434947008 0 0 -1 6 0 0 0
[pid=11038/tid=11133] ppid=11034 vsize=345368 CPUtime=0 cores=0,2,4,6
/proc/11038/task/11133/stat : 11133 (python) S 11034 11038 11000 0 -1 4202560 31 920 0 9 0 0 0 0 20 0 7 0 869268274 353656832 7392 33554432000 4194304 5683644 140735174203136 18446744073709551615 237290703281 0 0 16781312 33554434 18446604452434947008 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 289.75
Current children cumulated vsize (KiB) 19494404
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11038 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=509922
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=178972
# CPU time returned by wait4() is 0.688894
# while last known CPU time is 289.75
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 299.183
CPU time (s): 289.75
CPU user time (s): 287.67
CPU system time (s): 2.08
CPU usage (%): 96.8472
Max. virtual memory (cumulated for all children) (KiB): 19494404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.509922
system time used= 0.178972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14838
page faults= 119
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23980
involuntary context switches= 27
runsolver used 1.46778 second user time and 3.17752 second system time
The end