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-3481882-1307577057/watcher-3481882-1307577057 -o /tmp/evaluation-result-3481882-1307577057/solver-3481882-1307577057 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481882-1307577057.opb -seed 1366286606 -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.12 1.95 1.11 2/668 23638
/proc/meminfo: memFree=20928912/32950928 swapFree=67056572/67111528
[pid=23638] ppid=23636 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/23638/stat : 23638 (python) R 23636 23638 23102 0 -1 4202496 1040 0 0 0 0 0 0 0 20 0 1 0 869302828 16629760 912 33554432000 4194304 5683644 140737107763424 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23638/statm: 4060 912 380 364 0 547 0
[startup+0.0871511 s]
/proc/loadavg: 2.12 1.95 1.11 2/668 23638
/proc/meminfo: memFree=20928912/32950928 swapFree=67056572/67111528
[pid=23638] ppid=23636 vsize=50304 CPUtime=0.05 cores=1,3,5,7
/proc/23638/stat : 23638 (python) R 23636 23638 23102 0 -1 4202496 2010 0 0 0 4 1 0 0 17 0 1 0 869302828 51511296 1770 33554432000 4194304 5683644 140737107763424 18446744073709551615 239476692992 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23638/statm: 12576 1770 480 364 0 1276 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 50304
[startup+0.101147 s]
/proc/loadavg: 2.12 1.95 1.11 2/668 23638
/proc/meminfo: memFree=20928912/32950928 swapFree=67056572/67111528
[pid=23638] ppid=23636 vsize=85364 CPUtime=0.06 cores=1,3,5,7
/proc/23638/stat : 23638 (python) R 23636 23638 23102 0 -1 4202496 2601 0 0 0 4 2 0 0 17 0 1 0 869302828 87412736 2321 33554432000 4194304 5683644 140737107763424 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23638/statm: 21341 2323 715 364 0 1558 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85364
[startup+0.301119 s]
/proc/loadavg: 2.12 1.95 1.11 2/668 23638
/proc/meminfo: memFree=20928912/32950928 swapFree=67056572/67111528
[pid=23638] ppid=23636 vsize=123740 CPUtime=0.17 cores=1,3,5,7
/proc/23638/stat : 23638 (python) R 23636 23638 23102 0 -1 4202496 5357 927 1 0 12 5 0 0 16 0 1 0 869302828 126709760 3744 33554432000 4194304 5683644 140737107763424 18446744073709551615 239476690949 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23638/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.70103 s]
/proc/loadavg: 2.12 1.95 1.11 2/668 23638
/proc/meminfo: memFree=20928912/32950928 swapFree=67056572/67111528
[pid=23638] ppid=23636 vsize=275832 CPUtime=0.42 cores=1,3,5,7
/proc/23638/stat : 23638 (python) R 23636 23638 23102 0 -1 4202496 8916 927 1 0 31 11 0 0 15 0 1 0 869302828 282451968 6840 33554432000 4194304 5683644 140737107763424 18446744073709551615 4516313 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23638/statm: 68958 6840 1727 364 0 5463 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 275832
[startup+1.50088 s]
/proc/loadavg: 2.12 1.95 1.11 3/669 23643
/proc/meminfo: memFree=20887472/32950928 swapFree=67056572/67111528
[pid=23638] ppid=23636 vsize=302880 CPUtime=1.23 cores=1,3,5,7
/proc/23638/stat : 23638 (python) R 23636 23638 23102 0 -1 4202496 17923 927 1 0 110 13 0 0 16 0 1 0 869302828 310149120 12067 33554432000 4194304 5683644 140737107763424 18446744073709551615 239476353286 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/23638/statm: 75720 12067 1815 364 0 10613 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 302880
[startup+3.10051 s]
/proc/loadavg: 2.12 1.95 1.11 3/669 23643
/proc/meminfo: memFree=20876436/32950928 swapFree=67056572/67111528
[pid=23638] ppid=23636 vsize=316104 CPUtime=2.03 cores=1,3,5,7
/proc/23638/stat : 23638 (python) S 23636 23638 23102 0 -1 4202496 19014 927 1 0 190 13 0 0 19 0 2 0 869302828 323690496 12857 33554432000 4194304 5683644 140737107763424 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23638/statm: 79026 12857 1862 364 0 13913 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 316104
heavy processes:
[startup+6.30089 s]
/proc/loadavg: 2.51 2.04 1.15 3/672 23647
/proc/meminfo: memFree=20862288/32950928 swapFree=67056572/67111528
[pid=23638] ppid=23636 vsize=316104 CPUtime=2.03 cores=1,3,5,7
/proc/23638/stat : 23638 (python) S 23636 23638 23102 0 -1 4202496 19014 927 1 0 190 13 0 0 19 0 2 0 869302828 323690496 12857 33554432000 4194304 5683644 140737107763424 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23638/statm: 79026 12857 1862 364 0 13913 0
[pid=23644] ppid=23638 vsize=305860 CPUtime=0.02 cores=1,3,5,7
/proc/23644/stat : 23644 (python) S 23638 23638 23102 0 -1 4202560 971 0 0 0 1 1 0 0 15 0 1 0 869303060 313200640 11371 33554432000 4194304 5683644 140737107763424 18446744073709551615 239476715023 0 0 16781312 33554946 1742615948797378821 0 0 17 3 0 0 0
/proc/23644/statm: 76465 11371 380 364 0 11352 0
[pid=23646] ppid=23644 vsize=12808 CPUtime=3.97 cores=1,3,5,7
/proc/23646/stat : 23646 (wbo1.4a) R 23644 23646 23646 0 -1 4202496 4121 0 0 0 397 0 0 0 25 0 1 0 869303060 13115392 2759 33554432000 134512640 135751879 4294257120 18446744073709551615 134541759 0 0 16781312 3 0 0 0 17 7 0 0 0
/proc/23646/statm: 3202 2759 142 303 0 2897 0
[pid=23638/tid=23645] ppid=23636 vsize=316104 CPUtime=0 cores=1,3,5,7
/proc/23638/task/23645/stat : 23645 (python) S 23636 23638 23102 0 -1 4202560 25 927 0 0 0 0 0 0 19 0 2 0 869303060 323690496 12857 33554432000 4194304 5683644 140737107763424 18446744073709551615 239488518577 0 0 16781312 33554434 18446604463932799680 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 634772
[startup+12.7007 s]
/proc/loadavg: 2.47 2.04 1.15 3/672 23647
/proc/meminfo: memFree=20840956/32950928 swapFree=67056572/67111528
[pid=23638] ppid=23636 vsize=316104 CPUtime=2.03 cores=1,3,5,7
/proc/23638/stat : 23638 (python) S 23636 23638 23102 0 -1 4202496 19014 927 1 0 190 13 0 0 19 0 2 0 869302828 323690496 12857 33554432000 4194304 5683644 140737107763424 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23638/statm: 79026 12857 1862 364 0 13913 0
[pid=23644] ppid=23638 vsize=305860 CPUtime=0.04 cores=1,3,5,7
/proc/23644/stat : 23644 (python) S 23638 23638 23102 0 -1 4202560 974 0 0 0 2 2 0 0 15 0 1 0 869303060 313200640 11371 33554432000 4194304 5683644 140737107763424 18446744073709551615 239476715023 0 0 16781312 33554946 5623458817330129588 0 0 17 3 0 0 0
/proc/23644/statm: 76465 11371 380 364 0 11352 0
[pid=23646] ppid=23644 vsize=13996 CPUtime=10.36 cores=1,3,5,7
/proc/23646/stat : 23646 (wbo1.4a) R 23644 23646 23646 0 -1 4202496 4424 0 0 0 1036 0 0 0 25 0 1 0 869303060 14331904 3062 33554432000 134512640 135751879 4294257120 18446744073709551615 134638077 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/23646/statm: 3499 3062 142 303 0 3194 0
[pid=23638/tid=23645] ppid=23636 vsize=316104 CPUtime=0 cores=1,3,5,7
/proc/23638/task/23645/stat : 23645 (python) S 23636 23638 23102 0 -1 4202560 25 927 0 0 0 0 0 0 19 0 2 0 869303060 323690496 12857 33554432000 4194304 5683644 140737107763424 18446744073709551615 239488518577 0 0 16781312 33554434 18446604463932799680 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 635960
[startup+25.5013 s]
/proc/loadavg: 2.36 2.03 1.16 3/672 23647
/proc/meminfo: memFree=20825492/32950928 swapFree=67056572/67111528
[pid=23638] ppid=23636 vsize=316104 CPUtime=2.03 cores=1,3,5,7
/proc/23638/stat : 23638 (python) S 23636 23638 23102 0 -1 4202496 19014 927 1 0 190 13 0 0 19 0 2 0 869302828 323690496 12857 33554432000 4194304 5683644 140737107763424 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23638/statm: 79026 12857 1862 364 0 13913 0
[pid=23644] ppid=23638 vsize=305860 CPUtime=0.11 cores=1,3,5,7
/proc/23644/stat : 23644 (python) S 23638 23638 23102 0 -1 4202560 990 0 0 0 5 6 0 0 16 0 1 0 869303060 313200640 11371 33554432000 4194304 5683644 140737107763424 18446744073709551615 239476715023 0 0 16781312 33554946 5623458817330129588 0 0 17 3 0 0 0
/proc/23644/statm: 76465 11371 380 364 0 11352 0
[pid=23646] ppid=23644 vsize=19268 CPUtime=23.15 cores=1,3,5,7
/proc/23646/stat : 23646 (wbo1.4a) R 23644 23646 23646 0 -1 4202496 7928 0 0 0 2314 1 0 0 25 0 1 0 869303060 19730432 4365 33554432000 134512640 135751879 4294257120 18446744073709551615 135200219 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/23646/statm: 4817 4365 142 303 0 4512 0
[pid=23638/tid=23645] ppid=23636 vsize=316104 CPUtime=0 cores=1,3,5,7
/proc/23638/task/23645/stat : 23645 (python) S 23636 23638 23102 0 -1 4202560 25 927 0 0 0 0 0 0 19 0 2 0 869303060 323690496 12857 33554432000 4194304 5683644 140737107763424 18446744073709551615 239488518577 0 0 16781312 33554434 18446604463932799680 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 641232
[startup+51.1013 s]
/proc/loadavg: 2.24 2.03 1.19 3/693 23669
/proc/meminfo: memFree=20637136/32950928 swapFree=67056572/67111528
[pid=23638] ppid=23636 vsize=326360 CPUtime=2.05 cores=1,3,5,7
/proc/23638/stat : 23638 (python) S 23636 23638 23102 0 -1 4202496 19829 927 1 0 192 13 0 0 20 0 3 0 869302828 334192640 12864 33554432000 4194304 5683644 140737107763424 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23638/statm: 81590 12864 1865 364 0 16474 0
[pid=23644] ppid=23638 vsize=316104 CPUtime=0.35 cores=1,3,5,7
/proc/23644/stat : 23644 (python) S 23638 23638 23102 0 -1 4202560 1194 0 0 0 20 15 0 0 16 0 2 0 869303060 323690496 11407 33554432000 4194304 5683644 140737107763424 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/23644/statm: 79026 11407 411 364 0 13913 0
[pid=23646] ppid=23644 vsize=24924 CPUtime=47.22 cores=1,3,5,7
/proc/23646/stat : 23646 (wbo1.4a) T 23644 23646 23646 0 -1 4202496 64605 0 0 0 4710 12 0 0 25 0 1 0 869303060 25522176 5766 33554432000 134512640 135751879 4294257120 18446744073709551615 135204148 0 0 16781312 3 18446744071562691360 0 0 17 7 0 0 0
/proc/23646/statm: 6231 5766 145 303 0 5926 0
[pid=23644/tid=23649] ppid=23638 vsize=316104 CPUtime=0 cores=1,3,5,7
/proc/23644/task/23649/stat : 23649 (python) S 23638 23638 23102 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869307797 323690496 11407 33554432000 4194304 5683644 140737107763424 18446744073709551615 239488518577 0 0 16781312 33554946 18446604460144818240 0 0 -1 3 0 0 0
[pid=23650] ppid=23638 vsize=316116 CPUtime=0 cores=1,3,5,7
/proc/23650/stat : 23650 (python) S 23638 23638 23102 0 -1 4202560 765 0 0 0 0 0 0 0 15 0 1 0 869307800 323702784 11343 33554432000 4194304 5683644 140737107763424 18446744073709551615 239476715078 0 0 16781312 33554946 4294934790 0 0 17 3 0 0 0
/proc/23650/statm: 79029 11343 348 364 0 13913 0
[pid=23652] ppid=23650 vsize=8536028 CPUtime=2.3 cores=1,3,5,7
/proc/23652/stat : 23652 (java) S 23650 23652 23652 0 -1 4202496 44484 0 1 0 224 6 0 0 17 0 19 0 869307800 8740892672 40388 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23652/statm: 2134007 40388 2246 9 0 2124748 0
[pid=23652/tid=23653] ppid=23650 vsize=8536028 CPUtime=1.35 cores=1,3,5,7
/proc/23652/task/23653/stat : 23653 (java) R 23650 23652 23652 0 -1 4202560 35274 0 1 0 130 5 0 0 19 0 19 0 869307801 8740892672 40388 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 46912505227960 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23652/tid=23654] ppid=23650 vsize=8536028 CPUtime=0 cores=1,3,5,7
/proc/23652/task/23654/stat : 23654 (java) S 23650 23652 23652 0 -1 4202560 466 0 0 0 0 0 0 0 16 0 19 0 869307802 8740892672 40388 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488510873 0 4 0 16800975 18446604455733016448 0 0 -1 3 0 0 0
[pid=23652/tid=23655] ppid=23650 vsize=8536028 CPUtime=0 cores=1,3,5,7
/proc/23652/task/23655/stat : 23655 (java) S 23650 23652 23652 0 -1 4202560 129 0 0 0 0 0 0 0 16 0 19 0 869307802 8740892672 40388 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488510873 0 4 0 16800975 18446604455733016448 0 0 -1 7 0 0 0
[pid=23652/tid=23656] ppid=23650 vsize=8536028 CPUtime=0 cores=1,3,5,7
/proc/23652/task/23656/stat : 23656 (java) S 23650 23652 23652 0 -1 4202560 486 0 0 0 0 0 0 0 16 0 19 0 869307802 8740892672 40388 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488510873 0 4 0 16800975 18446604455733016448 0 0 -1 7 0 0 0
[pid=23652/tid=23657] ppid=23650 vsize=8536028 CPUtime=0 cores=1,3,5,7
/proc/23652/task/23657/stat : 23657 (java) S 23650 23652 23652 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869307802 8740892672 40388 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488510873 0 4 0 16800975 18446604455733016448 0 0 -1 7 0 0 0
[pid=23652/tid=23658] ppid=23650 vsize=8536028 CPUtime=0 cores=1,3,5,7
/proc/23652/task/23658/stat : 23658 (java) S 23650 23652 23652 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869307802 8740892672 40388 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488510873 0 4 0 16800975 18446604455733016448 0 0 -1 7 0 0 0
[pid=23652/tid=23659] ppid=23650 vsize=8536028 CPUtime=0 cores=1,3,5,7
/proc/23652/task/23659/stat : 23659 (java) S 23650 23652 23652 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869307802 8740892672 40388 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488510873 0 4 0 16800975 18446604455733016448 0 0 -1 7 0 0 0
[pid=23652/tid=23660] ppid=23650 vsize=8536028 CPUtime=0 cores=1,3,5,7
/proc/23652/task/23660/stat : 23660 (java) S 23650 23652 23652 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869307802 8740892672 40388 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488510873 0 4 0 16800975 18446604455733016448 0 0 -1 7 0 0 0
[pid=23652/tid=23661] ppid=23650 vsize=8536028 CPUtime=0 cores=1,3,5,7
/proc/23652/task/23661/stat : 23661 (java) S 23650 23652 23652 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869307802 8740892672 40388 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488510873 0 4 0 16800975 18446604455733016448 0 0 -1 7 0 0 0
[pid=23652/tid=23662] ppid=23650 vsize=8536028 CPUtime=0 cores=1,3,5,7
/proc/23652/task/23662/stat : 23662 (java) S 23650 23652 23652 0 -1 4202560 71 0 0 0 0 0 0 0 16 0 19 0 869307803 8740892672 40388 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488511488 0 0 0 16800975 18446604455733016448 0 0 -1 7 0 0 0
[pid=23652/tid=23663] ppid=23650 vsize=8536028 CPUtime=0 cores=1,3,5,7
/proc/23652/task/23663/stat : 23663 (java) S 23650 23652 23652 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 869307803 8740892672 40388 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488510873 0 4 0 16800975 18446604455733016448 0 0 -1 3 0 0 0
[pid=23652/tid=23664] ppid=23650 vsize=8536028 CPUtime=0 cores=1,3,5,7
/proc/23652/task/23664/stat : 23664 (java) S 23650 23652 23652 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869307803 8740892672 40388 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488510873 0 4 0 16800975 18446604455733016448 0 0 -1 3 0 0 0
[pid=23652/tid=23665] ppid=23650 vsize=8536028 CPUtime=0 cores=1,3,5,7
/proc/23652/task/23665/stat : 23665 (java) S 23650 23652 23652 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869307805 8740892672 40388 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488518577 0 4 0 16800975 18446604455733016448 0 0 -1 3 0 0 0
[pid=23652/tid=23666] ppid=23650 vsize=8536028 CPUtime=0.45 cores=1,3,5,7
/proc/23652/task/23666/stat : 23666 (java) S 23650 23652 23652 0 -1 4202560 2687 0 0 0 45 0 0 0 22 0 19 0 869307805 8740892672 40388 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488510873 0 4 0 16800975 18446604455733016448 0 0 -1 1 0 0 0
[pid=23652/tid=23667] ppid=23650 vsize=8536028 CPUtime=0.46 cores=1,3,5,7
/proc/23652/task/23667/stat : 23667 (java) S 23650 23652 23652 0 -1 4202560 3974 0 0 0 46 0 0 0 15 0 19 0 869307805 8740892672 40388 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488510873 0 4 0 16800975 18446604455733016448 0 0 -1 3 0 0 0
[pid=23652/tid=23668] ppid=23650 vsize=8536028 CPUtime=0 cores=1,3,5,7
/proc/23652/task/23668/stat : 23668 (java) S 23650 23652 23652 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869307805 8740892672 40388 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488510873 0 4 0 16800975 18446604455733016448 0 0 -1 3 0 0 0
[pid=23652/tid=23669] ppid=23650 vsize=8536028 CPUtime=0 cores=1,3,5,7
/proc/23652/task/23669/stat : 23669 (java) S 23650 23652 23652 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869307805 8740892672 40388 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488511488 0 4 0 16800975 18446604455733016448 0 0 -1 7 0 0 0
[pid=23638/tid=23645] ppid=23636 vsize=326360 CPUtime=0 cores=1,3,5,7
/proc/23638/task/23645/stat : 23645 (python) S 23636 23638 23102 0 -1 4202560 25 927 0 0 0 0 0 0 19 0 3 0 869303060 334192640 12864 33554432000 4194304 5683644 140737107763424 18446744073709551615 239488518577 0 0 16781312 33554434 18446604463932799680 0 0 -1 7 0 0 0
[pid=23638/tid=23651] ppid=23636 vsize=326360 CPUtime=0 cores=1,3,5,7
/proc/23638/task/23651/stat : 23651 (python) S 23636 23638 23102 0 -1 4202560 27 927 0 0 0 0 0 0 20 0 3 0 869307800 334192640 12864 33554432000 4194304 5683644 140737107763424 18446744073709551615 239488518577 0 0 16781312 33554434 18446604463932799680 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.92
Current children cumulated vsize (KiB) 9519532
[startup+102.323 s]
/proc/loadavg: 2.20 2.05 1.24 3/698 23675
/proc/meminfo: memFree=20200488/32950928 swapFree=67056572/67111528
[pid=23638] ppid=23636 vsize=326360 CPUtime=2.05 cores=1,3,5,7
/proc/23638/stat : 23638 (python) S 23636 23638 23102 0 -1 4202496 19829 927 1 0 192 13 0 0 20 0 3 0 869302828 334192640 12864 33554432000 4194304 5683644 140737107763424 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
################
# More data... #
################
[pid=23714/tid=23720] ppid=23712 vsize=8534172 CPUtime=0 cores=1,3,5,7
/proc/23714/task/23720/stat : 23720 (java) S 23712 23714 23714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869322160 8738992128 6390 33554432000 1073741824 1073778376 140736664647744 18446744073709551615 239488510873 0 4 0 16800975 18446604460265540672 0 0 -1 7 0 0 0
[pid=23714/tid=23721] ppid=23712 vsize=8534172 CPUtime=0 cores=1,3,5,7
/proc/23714/task/23721/stat : 23721 (java) S 23712 23714 23714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869322160 8738992128 6390 33554432000 1073741824 1073778376 140736664647744 18446744073709551615 239488510873 0 4 0 16800975 18446604460265540672 0 0 -1 7 0 0 0
[pid=23714/tid=23722] ppid=23712 vsize=8534172 CPUtime=0 cores=1,3,5,7
/proc/23714/task/23722/stat : 23722 (java) S 23712 23714 23714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869322160 8738992128 6390 33554432000 1073741824 1073778376 140736664647744 18446744073709551615 239488510873 0 4 0 16800975 18446604460265540672 0 0 -1 7 0 0 0
[pid=23714/tid=23723] ppid=23712 vsize=8534172 CPUtime=0 cores=1,3,5,7
/proc/23714/task/23723/stat : 23723 (java) S 23712 23714 23714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869322160 8738992128 6390 33554432000 1073741824 1073778376 140736664647744 18446744073709551615 239488510873 0 4 0 16800975 18446604460265540672 0 0 -1 7 0 0 0
[pid=23714/tid=23724] ppid=23712 vsize=8534172 CPUtime=0 cores=1,3,5,7
/proc/23714/task/23724/stat : 23724 (java) S 23712 23714 23714 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869322161 8738992128 6390 33554432000 1073741824 1073778376 140736664647744 18446744073709551615 239488511488 0 0 0 16800975 18446604460265540672 0 0 -1 3 0 0 0
[pid=23714/tid=23725] ppid=23712 vsize=8534172 CPUtime=0 cores=1,3,5,7
/proc/23714/task/23725/stat : 23725 (java) S 23712 23714 23714 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869322161 8738992128 6391 33554432000 1073741824 1073778376 140736664647744 18446744073709551615 239488510873 0 4 0 16800975 18446604460265540672 0 0 -1 3 0 0 0
[pid=23714/tid=23726] ppid=23712 vsize=8534172 CPUtime=0 cores=1,3,5,7
/proc/23714/task/23726/stat : 23726 (java) S 23712 23714 23714 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869322161 8738992128 6391 33554432000 1073741824 1073778376 140736664647744 18446744073709551615 239488510873 0 4 0 16800975 18446604460265540672 0 0 -1 3 0 0 0
[pid=23714/tid=23727] ppid=23712 vsize=8534172 CPUtime=0 cores=1,3,5,7
/proc/23714/task/23727/stat : 23727 (java) S 23712 23714 23714 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869322163 8738992128 6391 33554432000 1073741824 1073778376 140736664647744 18446744073709551615 239488518577 0 4 0 16800975 18446604460265540672 0 0 -1 3 0 0 0
[pid=23714/tid=23728] ppid=23712 vsize=8534172 CPUtime=0.04 cores=1,3,5,7
/proc/23714/task/23728/stat : 23728 (java) R 23712 23714 23714 0 -1 4202560 322 0 0 0 4 0 0 0 19 0 18 0 869322163 8738992128 6391 33554432000 1073741824 1073778376 140736664647744 18446744073709551615 239488510873 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23714/tid=23729] ppid=23712 vsize=8534172 CPUtime=0.05 cores=1,3,5,7
/proc/23714/task/23729/stat : 23729 (java) S 23712 23714 23714 0 -1 4202560 863 0 0 0 5 0 0 0 17 0 18 0 869322163 8738992128 6391 33554432000 1073741824 1073778376 140736664647744 18446744073709551615 239488510873 0 4 0 16800975 18446604460265540672 0 0 -1 3 0 0 0
[pid=23714/tid=23730] ppid=23712 vsize=8534172 CPUtime=0 cores=1,3,5,7
/proc/23714/task/23730/stat : 23730 (java) S 23712 23714 23714 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869322163 8738992128 6391 33554432000 1073741824 1073778376 140736664647744 18446744073709551615 239488510873 0 4 0 16800975 18446604460265540672 0 0 -1 3 0 0 0
[pid=23714/tid=23731] ppid=23712 vsize=8534172 CPUtime=0 cores=1,3,5,7
/proc/23714/task/23731/stat : 23731 (java) R 23712 23714 23714 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869322163 8738992128 6391 33554432000 1073741824 1073778376 140736664647744 18446744073709551615 239488511488 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23638/tid=23645] ppid=23636 vsize=346872 CPUtime=0 cores=1,3,5,7
/proc/23638/task/23645/stat : 23645 (python) S 23636 23638 23102 0 -1 4202560 25 927 0 0 0 0 0 0 19 0 5 0 869303060 355196928 12884 33554432000 4194304 5683644 140737107763424 18446744073709551615 239488518577 0 0 16781312 33554434 18446604463932799680 0 0 -1 7 0 0 0
[pid=23638/tid=23651] ppid=23636 vsize=346872 CPUtime=0 cores=1,3,5,7
/proc/23638/task/23651/stat : 23651 (python) S 23636 23638 23102 0 -1 4202560 27 927 0 0 0 0 0 0 20 0 5 0 869307800 355196928 12884 33554432000 4194304 5683644 140737107763424 18446744073709551615 239488518577 0 0 16781312 33554434 18446604463932799680 0 0 -1 7 0 0 0
[pid=23638/tid=23679] ppid=23636 vsize=346872 CPUtime=0 cores=1,3,5,7
/proc/23638/task/23679/stat : 23679 (python) S 23636 23638 23102 0 -1 4202560 29 927 0 0 0 0 0 0 20 0 5 0 869317245 355196928 12884 33554432000 4194304 5683644 140737107763424 18446744073709551615 239488518577 0 0 16781312 33554434 18446604463932799680 0 0 -1 5 0 0 0
[pid=23638/tid=23713] ppid=23636 vsize=346872 CPUtime=0 cores=1,3,5,7
/proc/23638/task/23713/stat : 23713 (python) S 23636 23638 23102 0 -1 4202560 25 927 0 0 0 0 0 0 20 0 5 0 869322158 355196928 12884 33554432000 4194304 5683644 140737107763424 18446744073709551615 239488518577 0 0 16781312 33554434 18446604463932799680 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 195.87
Current children cumulated vsize (KiB) 18990364
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+193.502 s]
/proc/loadavg: 2.04 2.03 1.31 5/714 23731
/proc/meminfo: memFree=19405232/32950928 swapFree=67056572/67111528
[pid=23638] ppid=23636 vsize=346872 CPUtime=2.11 cores=1,3,5,7
/proc/23638/stat : 23638 (python) S 23636 23638 23102 0 -1 4202496 21510 927 1 0 197 14 0 0 20 0 5 0 869302828 355196928 12884 33554432000 4194304 5683644 140737107763424 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/23638/statm: 86718 12884 1877 364 0 21596 0
[pid=23644] ppid=23638 vsize=316104 CPUtime=0.35 cores=1,3,5,7
/proc/23644/stat : 23644 (python) S 23638 23638 23102 0 -1 4202560 1194 0 0 0 20 15 0 0 16 0 2 0 869303060 323690496 11407 33554432000 4194304 5683644 140737107763424 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/23644/statm: 79026 11407 411 364 0 13913 0
[pid=23646] ppid=23644 vsize=24924 CPUtime=47.22 cores=1,3,5,7
/proc/23646/stat : 23646 (wbo1.4a) T 23644 23646 23646 0 -1 4202496 64605 0 0 0 4710 12 0 0 25 0 1 0 869303060 25522176 5766 33554432000 134512640 135751879 4294257120 18446744073709551615 135204148 0 0 16781312 3 18446744071562691360 0 0 17 7 0 0 0
/proc/23646/statm: 6231 5766 145 303 0 5926 0
[pid=23644/tid=23649] ppid=23638 vsize=316104 CPUtime=0 cores=1,3,5,7
/proc/23644/task/23649/stat : 23649 (python) S 23638 23638 23102 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869307797 323690496 11407 33554432000 4194304 5683644 140737107763424 18446744073709551615 239488518577 0 0 16781312 33554946 18446604460144818240 0 0 -1 3 0 0 0
[pid=23650] ppid=23638 vsize=316116 CPUtime=0.46 cores=1,3,5,7
/proc/23650/stat : 23650 (python) S 23638 23638 23102 0 -1 4202560 1128 0 0 0 22 24 0 0 16 0 2 0 869307800 323702784 11392 33554432000 4194304 5683644 140737107763424 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23650/statm: 79029 11392 396 364 0 13913 0
[pid=23652] ppid=23650 vsize=8536028 CPUtime=96.11 cores=1,3,5,7
/proc/23652/stat : 23652 (java) T 23650 23652 23652 0 -1 4202496 123598 0 1 0 9595 16 0 0 15 0 19 0 869307800 8740892672 106777 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23652/statm: 2134007 106777 2258 9 0 2124748 0
[pid=23652/tid=23653] ppid=23650 vsize=8536028 CPUtime=93.27 cores=1,3,5,7
/proc/23652/task/23653/stat : 23653 (java) T 23650 23652 23652 0 -1 4202560 35297 0 1 0 9322 5 0 0 25 0 19 0 869307801 8740892672 106777 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 46912506056451 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23652/tid=23654] ppid=23650 vsize=8536028 CPUtime=0.12 cores=1,3,5,7
/proc/23652/task/23654/stat : 23654 (java) T 23650 23652 23652 0 -1 4202560 12756 0 0 0 10 2 0 0 15 0 19 0 869307802 8740892672 106777 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23652/tid=23655] ppid=23650 vsize=8536028 CPUtime=0.09 cores=1,3,5,7
/proc/23652/task/23655/stat : 23655 (java) T 23650 23652 23652 0 -1 4202560 4444 0 0 0 9 0 0 0 15 0 19 0 869307802 8740892672 106777 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23652/tid=23656] ppid=23650 vsize=8536028 CPUtime=0.11 cores=1,3,5,7
/proc/23652/task/23656/stat : 23656 (java) T 23650 23652 23652 0 -1 4202560 6738 0 0 0 11 0 0 0 15 0 19 0 869307802 8740892672 106777 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23652/tid=23657] ppid=23650 vsize=8536028 CPUtime=0.12 cores=1,3,5,7
/proc/23652/task/23657/stat : 23657 (java) T 23650 23652 23652 0 -1 4202560 11333 0 0 0 11 1 0 0 15 0 19 0 869307802 8740892672 106777 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23652/tid=23658] ppid=23650 vsize=8536028 CPUtime=0.09 cores=1,3,5,7
/proc/23652/task/23658/stat : 23658 (java) T 23650 23652 23652 0 -1 4202560 15806 0 0 0 8 1 0 0 15 0 19 0 869307802 8740892672 106777 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23652/tid=23659] ppid=23650 vsize=8536028 CPUtime=0.1 cores=1,3,5,7
/proc/23652/task/23659/stat : 23659 (java) T 23650 23652 23652 0 -1 4202560 4945 0 0 0 10 0 0 0 15 0 19 0 869307802 8740892672 106777 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23652/tid=23660] ppid=23650 vsize=8536028 CPUtime=0.08 cores=1,3,5,7
/proc/23652/task/23660/stat : 23660 (java) T 23650 23652 23652 0 -1 4202560 5245 0 0 0 8 0 0 0 15 0 19 0 869307802 8740892672 106777 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23652/tid=23661] ppid=23650 vsize=8536028 CPUtime=0.1 cores=1,3,5,7
/proc/23652/task/23661/stat : 23661 (java) T 23650 23652 23652 0 -1 4202560 11250 0 0 0 9 1 0 0 15 0 19 0 869307802 8740892672 106777 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23652/tid=23662] ppid=23650 vsize=8536028 CPUtime=0.81 cores=1,3,5,7
/proc/23652/task/23662/stat : 23662 (java) T 23650 23652 23652 0 -1 4202560 7517 0 0 0 81 0 0 0 15 0 19 0 869307803 8740892672 106777 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488511488 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23652/tid=23663] ppid=23650 vsize=8536028 CPUtime=0 cores=1,3,5,7
/proc/23652/task/23663/stat : 23663 (java) T 23650 23652 23652 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869307803 8740892672 106777 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23652/tid=23664] ppid=23650 vsize=8536028 CPUtime=0 cores=1,3,5,7
/proc/23652/task/23664/stat : 23664 (java) T 23650 23652 23652 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869307803 8740892672 106777 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23652/tid=23665] ppid=23650 vsize=8536028 CPUtime=0 cores=1,3,5,7
/proc/23652/task/23665/stat : 23665 (java) T 23650 23652 23652 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869307805 8740892672 106777 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488518577 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23652/tid=23666] ppid=23650 vsize=8536028 CPUtime=0.51 cores=1,3,5,7
/proc/23652/task/23666/stat : 23666 (java) T 23650 23652 23652 0 -1 4202560 2699 0 0 0 51 0 0 0 15 0 19 0 869307805 8740892672 106777 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23652/tid=23667] ppid=23650 vsize=8536028 CPUtime=0.58 cores=1,3,5,7
/proc/23652/task/23667/stat : 23667 (java) T 23650 23652 23652 0 -1 4202560 4170 0 0 0 58 0 0 0 15 0 19 0 869307805 8740892672 106777 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23652/tid=23668] ppid=23650 vsize=8536028 CPUtime=0 cores=1,3,5,7
/proc/23652/task/23668/stat : 23668 (java) T 23650 23652 23652 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869307805 8740892672 106777 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23652/tid=23669] ppid=23650 vsize=8536028 CPUtime=0 cores=1,3,5,7
/proc/23652/task/23669/stat : 23669 (java) T 23650 23652 23652 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869307805 8740892672 106777 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488511488 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23652/tid=23670] ppid=23650 vsize=8536028 CPUtime=0 cores=1,3,5,7
/proc/23652/task/23670/stat : 23670 (java) T 23650 23652 23652 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869307886 8740892672 106777 33554432000 1073741824 1073778376 140733203588416 18446744073709551615 239488511488 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23650/tid=23677] ppid=23638 vsize=316116 CPUtime=0 cores=1,3,5,7
/proc/23650/task/23677/stat : 23677 (python) S 23638 23638 23102 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869317242 323702784 11392 33554432000 4194304 5683644 140737107763424 18446744073709551615 239488518577 0 0 16781312 33554946 18446604456560763840 0 0 -1 7 0 0 0
[pid=23678] ppid=23638 vsize=326372 CPUtime=0.24 cores=1,3,5,7
/proc/23678/stat : 23678 (python) S 23638 23638 23102 0 -1 4202560 1119 0 0 0 13 11 0 0 17 0 2 0 869317244 334204928 11396 33554432000 4194304 5683644 140737107763424 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/23678/statm: 81593 11396 396 364 0 16474 0
[pid=23680] ppid=23678 vsize=253148 CPUtime=49.06 cores=1,3,5,7
/proc/23680/stat : 23680 (clasp-1.3.7-x86) T 23678 23680 23680 0 -1 4202496 63667 0 0 0 4899 7 0 0 25 0 1 0 869317245 259223552 62951 33554432000 134512640 136139019 4291805072 18446744073709551615 134599797 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/23680/statm: 63287 62951 187 398 0 62887 0
[pid=23678/tid=23711] ppid=23638 vsize=326372 CPUtime=0 cores=1,3,5,7
/proc/23678/task/23711/stat : 23711 (python) S 23638 23638 23102 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869322156 334204928 11396 33554432000 4194304 5683644 140737107763424 18446744073709551615 239488518577 0 0 16781312 33554946 18446604454948692352 0 0 -1 5 0 0 0
[pid=23712] ppid=23638 vsize=336628 CPUtime=0 cores=1,3,5,7
/proc/23712/stat : 23712 (python) S 23638 23638 23102 0 -1 4202560 800 0 0 0 0 0 0 0 19 0 1 0 869322158 344707072 11351 33554432000 4194304 5683644 140737107763424 18446744073709551615 239476715078 0 0 16781312 33554946 2436612325151604736 0 0 17 1 0 0 0
/proc/23712/statm: 84157 11351 348 364 0 19035 0
[pid=23714] ppid=23712 vsize=8534172 CPUtime=0.32 cores=1,3,5,7
/proc/23714/stat : 23714 (java) S 23712 23714 23714 0 -1 4202496 6918 0 1 0 31 1 0 0 20 0 18 0 869322158 8738992128 6375 33554432000 1073741824 1073778376 140736664647744 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23714/statm: 2133543 6375 2179 9 0 2124284 0
[pid=23714/tid=23715] ppid=23712 vsize=8534172 CPUtime=0.22 cores=1,3,5,7
/proc/23714/task/23715/stat : 23715 (java) R 23712 23714 23714 0 -1 4202560 4357 0 1 0 22 0 0 0 22 0 18 0 869322159 8738992128 6389 33554432000 1073741824 1073778376 140736664647744 18446744073709551615 46912505532902 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23714/tid=23716] ppid=23712 vsize=8534172 CPUtime=0 cores=1,3,5,7
/proc/23714/task/23716/stat : 23716 (java) S 23712 23714 23714 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869322160 8738992128 6389 33554432000 1073741824 1073778376 140736664647744 18446744073709551615 239488510873 0 4 0 16800975 18446604460265540672 0 0 -1 3 0 0 0
[pid=23714/tid=23717] ppid=23712 vsize=8534172 CPUtime=0 cores=1,3,5,7
/proc/23714/task/23717/stat : 23717 (java) S 23712 23714 23714 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869322160 8738992128 6389 33554432000 1073741824 1073778376 140736664647744 18446744073709551615 239488510873 0 4 0 16800975 18446604460265540672 0 0 -1 3 0 0 0
[pid=23714/tid=23718] ppid=23712 vsize=8534172 CPUtime=0 cores=1,3,5,7
/proc/23714/task/23718/stat : 23718 (java) S 23712 23714 23714 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869322160 8738992128 6390 33554432000 1073741824 1073778376 140736664647744 18446744073709551615 239488510873 0 4 0 16800975 18446604460265540672 0 0 -1 3 0 0 0
[pid=23714/tid=23719] ppid=23712 vsize=8534172 CPUtime=0 cores=1,3,5,7
/proc/23714/task/23719/stat : 23719 (java) S 23712 23714 23714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869322160 8738992128 6390 33554432000 1073741824 1073778376 140736664647744 18446744073709551615 239488510873 0 4 0 16800975 18446604460265540672 0 0 -1 7 0 0 0
[pid=23714/tid=23720] ppid=23712 vsize=8534172 CPUtime=0 cores=1,3,5,7
/proc/23714/task/23720/stat : 23720 (java) S 23712 23714 23714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869322160 8738992128 6390 33554432000 1073741824 1073778376 140736664647744 18446744073709551615 239488510873 0 4 0 16800975 18446604460265540672 0 0 -1 7 0 0 0
[pid=23714/tid=23721] ppid=23712 vsize=8534172 CPUtime=0 cores=1,3,5,7
/proc/23714/task/23721/stat : 23721 (java) S 23712 23714 23714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869322160 8738992128 6390 33554432000 1073741824 1073778376 140736664647744 18446744073709551615 239488510873 0 4 0 16800975 18446604460265540672 0 0 -1 7 0 0 0
[pid=23714/tid=23722] ppid=23712 vsize=8534172 CPUtime=0 cores=1,3,5,7
/proc/23714/task/23722/stat : 23722 (java) S 23712 23714 23714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869322160 8738992128 6390 33554432000 1073741824 1073778376 140736664647744 18446744073709551615 239488510873 0 4 0 16800975 18446604460265540672 0 0 -1 7 0 0 0
[pid=23714/tid=23723] ppid=23712 vsize=8534172 CPUtime=0 cores=1,3,5,7
/proc/23714/task/23723/stat : 23723 (java) S 23712 23714 23714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869322160 8738992128 6390 33554432000 1073741824 1073778376 140736664647744 18446744073709551615 239488510873 0 4 0 16800975 18446604460265540672 0 0 -1 7 0 0 0
[pid=23714/tid=23724] ppid=23712 vsize=8534172 CPUtime=0 cores=1,3,5,7
/proc/23714/task/23724/stat : 23724 (java) S 23712 23714 23714 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869322161 8738992128 6390 33554432000 1073741824 1073778376 140736664647744 18446744073709551615 239488511488 0 0 0 16800975 18446604460265540672 0 0 -1 3 0 0 0
[pid=23714/tid=23725] ppid=23712 vsize=8534172 CPUtime=0 cores=1,3,5,7
/proc/23714/task/23725/stat : 23725 (java) S 23712 23714 23714 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869322161 8738992128 6391 33554432000 1073741824 1073778376 140736664647744 18446744073709551615 239488510873 0 4 0 16800975 18446604460265540672 0 0 -1 3 0 0 0
[pid=23714/tid=23726] ppid=23712 vsize=8534172 CPUtime=0 cores=1,3,5,7
/proc/23714/task/23726/stat : 23726 (java) S 23712 23714 23714 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869322161 8738992128 6391 33554432000 1073741824 1073778376 140736664647744 18446744073709551615 239488510873 0 4 0 16800975 18446604460265540672 0 0 -1 3 0 0 0
[pid=23714/tid=23727] ppid=23712 vsize=8534172 CPUtime=0 cores=1,3,5,7
/proc/23714/task/23727/stat : 23727 (java) S 23712 23714 23714 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869322163 8738992128 6391 33554432000 1073741824 1073778376 140736664647744 18446744073709551615 239488518577 0 4 0 16800975 18446604460265540672 0 0 -1 3 0 0 0
[pid=23714/tid=23728] ppid=23712 vsize=8534172 CPUtime=0.04 cores=1,3,5,7
/proc/23714/task/23728/stat : 23728 (java) R 23712 23714 23714 0 -1 4202560 322 0 0 0 4 0 0 0 19 0 18 0 869322163 8738992128 6391 33554432000 1073741824 1073778376 140736664647744 18446744073709551615 239488510873 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23714/tid=23729] ppid=23712 vsize=8534172 CPUtime=0.05 cores=1,3,5,7
/proc/23714/task/23729/stat : 23729 (java) S 23712 23714 23714 0 -1 4202560 863 0 0 0 5 0 0 0 17 0 18 0 869322163 8738992128 6391 33554432000 1073741824 1073778376 140736664647744 18446744073709551615 239488510873 0 4 0 16800975 18446604460265540672 0 0 -1 3 0 0 0
[pid=23714/tid=23730] ppid=23712 vsize=8534172 CPUtime=0 cores=1,3,5,7
/proc/23714/task/23730/stat : 23730 (java) S 23712 23714 23714 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869322163 8738992128 6391 33554432000 1073741824 1073778376 140736664647744 18446744073709551615 239488510873 0 4 0 16800975 18446604460265540672 0 0 -1 3 0 0 0
[pid=23714/tid=23731] ppid=23712 vsize=8534172 CPUtime=0 cores=1,3,5,7
/proc/23714/task/23731/stat : 23731 (java) R 23712 23714 23714 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869322163 8738992128 6391 33554432000 1073741824 1073778376 140736664647744 18446744073709551615 239488511488 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23638/tid=23645] ppid=23636 vsize=346872 CPUtime=0 cores=1,3,5,7
/proc/23638/task/23645/stat : 23645 (python) S 23636 23638 23102 0 -1 4202560 25 927 0 0 0 0 0 0 19 0 5 0 869303060 355196928 12884 33554432000 4194304 5683644 140737107763424 18446744073709551615 239488518577 0 0 16781312 33554434 18446604463932799680 0 0 -1 7 0 0 0
[pid=23638/tid=23651] ppid=23636 vsize=346872 CPUtime=0 cores=1,3,5,7
/proc/23638/task/23651/stat : 23651 (python) S 23636 23638 23102 0 -1 4202560 27 927 0 0 0 0 0 0 20 0 5 0 869307800 355196928 12884 33554432000 4194304 5683644 140737107763424 18446744073709551615 239488518577 0 0 16781312 33554434 18446604463932799680 0 0 -1 7 0 0 0
[pid=23638/tid=23679] ppid=23636 vsize=346872 CPUtime=0 cores=1,3,5,7
/proc/23638/task/23679/stat : 23679 (python) S 23636 23638 23102 0 -1 4202560 29 927 0 0 0 0 0 0 20 0 5 0 869317245 355196928 12884 33554432000 4194304 5683644 140737107763424 18446744073709551615 239488518577 0 0 16781312 33554434 18446604463932799680 0 0 -1 5 0 0 0
[pid=23638/tid=23713] ppid=23636 vsize=346872 CPUtime=0 cores=1,3,5,7
/proc/23638/task/23713/stat : 23713 (python) S 23636 23638 23102 0 -1 4202560 25 927 0 0 0 0 0 0 20 0 5 0 869322158 355196928 12884 33554432000 4194304 5683644 140737107763424 18446744073709551615 239488518577 0 0 16781312 33554434 18446604463932799680 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 195.87
Current children cumulated vsize (KiB) 18990364
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23638 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=983698
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=146977
# CPU time returned by wait4() is 2.13068
# while last known CPU time is 195.87
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 193.584
CPU time (s): 195.87
CPU user time (s): 194.87
CPU system time (s): 1
CPU usage (%): 101.181
Max. virtual memory (cumulated for all children) (KiB): 18990364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.9837
system time used= 0.146977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22874
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= 2865
involuntary context switches= 29
runsolver used 1.3108 second user time and 2.71559 second system time
The end