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-3481684-1307577746/watcher-3481684-1307577746 -o /tmp/evaluation-result-3481684-1307577746/solver-3481684-1307577746 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481684-1307577746.opb -seed 202694231 -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.14 2.12 1.63 3/616 15865
/proc/meminfo: memFree=24576452/32951124 swapFree=57654872/67111528
[pid=15865] ppid=15863 vsize=15772 CPUtime=0 cores=1,3,5,7
/proc/15865/stat : 15865 (python) R 15863 15865 14938 0 -1 4202496 859 0 0 0 0 0 0 0 25 0 1 0 869372829 16150528 740 33554432000 4194304 5683644 140735477162656 18446744073709551615 232335892112 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/15865/statm: 3943 740 335 364 0 430 0
[startup+0.0211 s]
/proc/loadavg: 2.14 2.12 1.63 3/616 15865
/proc/meminfo: memFree=24576452/32951124 swapFree=57654872/67111528
[pid=15865] ppid=15863 vsize=16392 CPUtime=0.01 cores=1,3,5,7
/proc/15865/stat : 15865 (python) S 15863 15865 14938 0 -1 4202496 1115 0 0 0 1 0 0 0 25 0 1 0 869372829 16785408 983 33554432000 4194304 5683644 140735477162656 18446744073709551615 232335890432 0 2147483391 16781312 2 18446744071699453118 0 0 17 5 0 0 0
/proc/15865/statm: 4098 983 408 364 0 585 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16392
[startup+0.100142 s]
/proc/loadavg: 2.14 2.12 1.63 3/616 15865
/proc/meminfo: memFree=24576452/32951124 swapFree=57654872/67111528
[pid=15865] ppid=15863 vsize=85356 CPUtime=0.06 cores=1,3,5,7
/proc/15865/stat : 15865 (python) D 15863 15865 14938 0 -1 4202496 2585 0 0 0 5 1 0 0 17 0 1 0 869372829 87404544 2309 33554432000 4194304 5683644 140735477162656 18446744073709551615 232335898167 0 0 16781312 2 18446744071562154983 0 0 17 7 0 0 0
/proc/15865/statm: 21339 2309 709 364 0 1556 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85356
[startup+0.301098 s]
/proc/loadavg: 2.14 2.12 1.63 3/616 15865
/proc/meminfo: memFree=24576452/32951124 swapFree=57654872/67111528
[pid=15865] ppid=15863 vsize=85356 CPUtime=0.06 cores=1,3,5,7
/proc/15865/stat : 15865 (python) D 15863 15865 14938 0 -1 4202496 2585 0 0 0 5 1 0 0 17 0 1 0 869372829 87404544 2309 33554432000 4194304 5683644 140735477162656 18446744073709551615 232335898167 0 0 16781312 2 18446744071562154983 0 0 17 7 0 0 0
/proc/15865/statm: 21339 2309 709 364 0 1556 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85356
[startup+0.700983 s]
/proc/loadavg: 2.14 2.12 1.63 3/616 15865
/proc/meminfo: memFree=24576452/32951124 swapFree=57654872/67111528
[pid=15865] ppid=15863 vsize=123736 CPUtime=0.15 cores=1,3,5,7
/proc/15865/stat : 15865 (python) R 15863 15865 14938 0 -1 4202496 5359 929 1 0 12 3 0 0 17 0 1 0 869372829 126705664 3744 33554432000 4194304 5683644 140735477162656 18446744073709551615 5291642 0 0 16781312 2 0 0 0 17 7 0 0 48
/proc/15865/statm: 30934 3744 987 364 0 2766 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123736
[startup+1.50088 s]
/proc/loadavg: 2.14 2.12 1.63 3/617 15870
/proc/meminfo: memFree=24545444/32951124 swapFree=57654872/67111528
[pid=15865] ppid=15863 vsize=308068 CPUtime=0.91 cores=1,3,5,7
/proc/15865/stat : 15865 (python) R 15863 15865 14938 0 -1 4202496 15329 929 1 0 80 11 0 0 17 0 1 0 869372829 315461632 13190 33554432000 4194304 5683644 140735477162656 18446744073709551615 4960242 0 0 16781312 2 0 0 0 17 1 0 0 48
/proc/15865/statm: 77017 13191 1781 364 0 11910 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 308068
[startup+3.1006 s]
/proc/loadavg: 2.14 2.12 1.63 3/617 15870
/proc/meminfo: memFree=24510848/32951124 swapFree=57654872/67111528
[pid=15865] ppid=15863 vsize=323516 CPUtime=2.51 cores=1,3,5,7
/proc/15865/stat : 15865 (python) R 15863 15865 14938 0 -1 4202496 25725 929 1 0 239 12 0 0 20 0 1 0 869372829 331280384 17218 33554432000 4194304 5683644 140735477162656 18446744073709551615 47705477466856 0 0 16781312 33554434 0 0 0 17 1 0 0 48
/proc/15865/statm: 80879 17218 1816 364 0 15772 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 323516
[startup+6.30103 s]
/proc/loadavg: 2.13 2.12 1.63 3/620 15873
/proc/meminfo: memFree=24464832/32951124 swapFree=57654872/67111528
[pid=15865] ppid=15863 vsize=336548 CPUtime=3.25 cores=1,3,5,7
/proc/15865/stat : 15865 (python) S 15863 15865 14938 0 -1 4202496 26704 929 1 0 313 12 0 0 20 0 2 0 869372829 344625152 17974 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 48
/proc/15865/statm: 84137 17974 1870 364 0 19024 0
[pid=15871] ppid=15865 vsize=326304 CPUtime=0 cores=1,3,5,7
/proc/15871/stat : 15871 (python) S 15865 15865 14938 0 -1 4202560 735 0 0 0 0 0 0 0 15 0 1 0 869373214 334135296 16451 33554432000 4194304 5683644 140735477162656 18446744073709551615 232335912463 0 0 16781312 33554946 11409874779839103236 0 0 17 1 0 0 0
/proc/15871/statm: 81576 16451 351 364 0 16463 0
[pid=15873] ppid=15871 vsize=47636 CPUtime=2.44 cores=1,3,5,7
/proc/15873/stat : 15873 (wbo1.4a) R 15871 15873 15873 0 -1 4202496 36588 0 0 0 240 4 0 0 21 0 1 0 869373214 48779264 10797 33554432000 134512640 135751879 4287430592 18446744073709551615 134541993 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/15873/statm: 11909 10797 142 303 0 11604 0
[pid=15865/tid=15872] ppid=15863 vsize=336548 CPUtime=0 cores=1,3,5,7
/proc/15865/task/15872/stat : 15872 (python) S 15863 15865 14938 0 -1 4202560 26 929 0 0 0 0 0 0 20 0 2 0 869373214 344625152 17974 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347716017 0 0 16781312 33554434 18446604462349862976 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.69
Current children cumulated vsize (KiB) 710488
[startup+12.7009 s]
/proc/loadavg: 2.12 2.12 1.63 3/620 15873
/proc/meminfo: memFree=24467004/32951124 swapFree=57654872/67111528
[pid=15865] ppid=15863 vsize=336548 CPUtime=3.25 cores=1,3,5,7
/proc/15865/stat : 15865 (python) S 15863 15865 14938 0 -1 4202496 26704 929 1 0 313 12 0 0 20 0 2 0 869372829 344625152 17974 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 48
/proc/15865/statm: 84137 17974 1870 364 0 19024 0
[pid=15871] ppid=15865 vsize=326304 CPUtime=0.03 cores=1,3,5,7
/proc/15871/stat : 15871 (python) S 15865 15865 14938 0 -1 4202560 991 0 0 0 2 1 0 0 15 0 1 0 869373214 334135296 16480 33554432000 4194304 5683644 140735477162656 18446744073709551615 232335912463 0 0 16781312 33554946 5623311482772007779 0 0 17 1 0 0 0
/proc/15871/statm: 81576 16480 380 364 0 16463 0
[pid=15873] ppid=15871 vsize=43264 CPUtime=8.84 cores=1,3,5,7
/proc/15873/stat : 15873 (wbo1.4a) R 15871 15873 15873 0 -1 4202496 66656 0 0 0 875 9 0 0 25 0 1 0 869373214 44302336 9963 33554432000 134512640 135751879 4287430592 18446744073709551615 134636291 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/15873/statm: 10816 9963 146 303 0 10511 0
[pid=15865/tid=15872] ppid=15863 vsize=336548 CPUtime=0 cores=1,3,5,7
/proc/15865/task/15872/stat : 15872 (python) S 15863 15865 14938 0 -1 4202560 26 929 0 0 0 0 0 0 20 0 2 0 869373214 344625152 17974 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347716017 0 0 16781312 33554434 18446604462349862976 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.12
Current children cumulated vsize (KiB) 706116
[startup+25.5006 s]
/proc/loadavg: 2.09 2.11 1.64 3/624 15877
/proc/meminfo: memFree=24323740/32951124 swapFree=57654872/67111528
[pid=15865] ppid=15863 vsize=336548 CPUtime=3.25 cores=1,3,5,7
/proc/15865/stat : 15865 (python) S 15863 15865 14938 0 -1 4202496 26704 929 1 0 313 12 0 0 20 0 2 0 869372829 344625152 17974 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 48
/proc/15865/statm: 84137 17974 1870 364 0 19024 0
[pid=15871] ppid=15865 vsize=326304 CPUtime=0.07 cores=1,3,5,7
/proc/15871/stat : 15871 (python) S 15865 15865 14938 0 -1 4202560 997 0 0 0 4 3 0 0 15 0 1 0 869373214 334135296 16480 33554432000 4194304 5683644 140735477162656 18446744073709551615 232335912463 0 0 16781312 33554946 4294934791 0 0 17 7 0 0 0
/proc/15871/statm: 81576 16480 380 364 0 16463 0
[pid=15873] ppid=15871 vsize=49932 CPUtime=21.65 cores=1,3,5,7
/proc/15873/stat : 15873 (wbo1.4a) R 15871 15873 15873 0 -1 4202496 68959 0 0 0 2151 14 0 0 25 0 1 0 869373214 51130368 11058 33554432000 134512640 135751879 4287430592 18446744073709551615 134606331 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/15873/statm: 12483 11058 146 303 0 12178 0
[pid=15865/tid=15872] ppid=15863 vsize=336548 CPUtime=0 cores=1,3,5,7
/proc/15865/task/15872/stat : 15872 (python) S 15863 15865 14938 0 -1 4202560 26 929 0 0 0 0 0 0 20 0 2 0 869373214 344625152 17974 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347716017 0 0 16781312 33554434 18446604462349862976 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.97
Current children cumulated vsize (KiB) 712784
[startup+51.1011 s]
/proc/loadavg: 2.06 2.10 1.64 3/624 15878
/proc/meminfo: memFree=24320892/32951124 swapFree=57654872/67111528
[pid=15865] ppid=15863 vsize=346804 CPUtime=3.28 cores=1,3,5,7
/proc/15865/stat : 15865 (python) S 15863 15865 14938 0 -1 4202496 27585 929 1 0 315 13 0 0 20 0 3 0 869372829 355127296 17981 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 48
/proc/15865/statm: 86701 17981 1873 364 0 21585 0
[pid=15871] ppid=15865 vsize=336548 CPUtime=0.19 cores=1,3,5,7
/proc/15871/stat : 15871 (python) S 15865 15865 14938 0 -1 4202560 1138 0 0 0 10 9 0 0 16 0 2 0 869373214 344625152 16516 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15871/statm: 84137 16516 411 364 0 19024 0
[pid=15873] ppid=15871 vsize=49932 CPUtime=46.68 cores=1,3,5,7
/proc/15873/stat : 15873 (wbo1.4a) T 15871 15873 15873 0 -1 4202496 68959 0 0 0 4654 14 0 0 25 0 1 0 869373214 51130368 11058 33554432000 134512640 135751879 4287430592 18446744073709551615 134606351 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/15873/statm: 12483 11058 146 303 0 12178 0
[pid=15865/tid=15872] ppid=15863 vsize=346804 CPUtime=0 cores=1,3,5,7
/proc/15865/task/15872/stat : 15872 (python) S 15863 15865 14938 0 -1 4202560 26 929 0 0 0 0 0 0 20 0 3 0 869373214 355127296 17981 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347716017 0 0 16781312 33554434 18446604462349862976 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.15
Current children cumulated vsize (KiB) 733284
[startup+102.319 s]
/proc/loadavg: 2.02 2.08 1.66 3/654 15909
/proc/meminfo: memFree=23484500/32951124 swapFree=57654872/67111528
[pid=15865] ppid=15863 vsize=357060 CPUtime=3.31 cores=1,3,5,7
/proc/15865/stat : 15865 (python) S 15863 15865 14938 0 -1 4202496 28437 929 1 0 318 13 0 0 20 0 4 0 869372829 365629440 17987 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 48
/proc/15865/statm: 89265 17987 1875 364 0 24146 0
[pid=15871] ppid=15865 vsize=336548 CPUtime=0.19 cores=1,3,5,7
/proc/15871/stat : 15871 (python) S 15865 15865 14938 0 -1 4202560 1138 0 0 0 10 9 0 0 16 0 2 0 869373214 344625152 16516 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15871/statm: 84137 16516 411 364 0 19024 0
[pid=15873] ppid=15871 vsize=49932 CPUtime=46.68 cores=1,3,5,7
/proc/15873/stat : 15873 (wbo1.4a) T 15871 15873 15873 0 -1 4202496 68959 0 0 0 4654 14 0 0 25 0 1 0 869373214 51130368 11058 33554432000 134512640 135751879 4287430592 18446744073709551615 134606351 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/15873/statm: 12483 11058 146 303 0 12178 0
[pid=15871/tid=15879] ppid=15865 vsize=336548 CPUtime=0 cores=1,3,5,7
/proc/15871/task/15879/stat : 15879 (python) S 15865 15865 14938 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 2 0 869377883 344625152 16516 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347716017 0 0 16781312 33554946 18446604454517512384 0 0 -1 7 0 0 0
[pid=15880] ppid=15865 vsize=336560 CPUtime=0.2 cores=1,3,5,7
/proc/15880/stat : 15880 (python) S 15865 15865 14938 0 -1 4202560 1109 0 0 0 11 9 0 0 16 0 2 0 869377885 344637440 16501 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15880/statm: 84140 16501 396 364 0 19024 0
[pid=15882] ppid=15880 vsize=551224 CPUtime=47.43 cores=1,3,5,7
/proc/15882/stat : 15882 (scip-2.0.1.linu) T 15880 15882 15882 0 -1 4202496 138171 0 0 0 4648 95 0 0 25 0 1 0 869377886 564453376 132699 33554432000 4194304 13684479 140733299479840 18446744073709551615 7095817 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/15882/statm: 137806 132699 849 2317 0 135484 0
[pid=15880/tid=15888] ppid=15865 vsize=336560 CPUtime=0 cores=1,3,5,7
/proc/15880/task/15888/stat : 15888 (python) S 15865 15865 14938 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869382630 344637440 16501 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347716017 0 0 16781312 33554946 18446604460544674624 0 0 -1 3 0 0 0
[pid=15889] ppid=15865 vsize=346816 CPUtime=0.02 cores=1,3,5,7
/proc/15889/stat : 15889 (python) S 15865 15865 14938 0 -1 4202560 933 0 0 0 1 1 0 0 15 0 1 0 869382632 355139584 16480 33554432000 4194304 5683644 140735477162656 18446744073709551615 232335912518 0 0 16781312 33554946 4345743056503275781 0 0 17 7 0 0 0
/proc/15889/statm: 86704 16480 372 364 0 21585 0
[pid=15891] ppid=15889 vsize=8538724 CPUtime=5.5 cores=1,3,5,7
/proc/15891/stat : 15891 (java) S 15889 15891 15891 0 -1 4202496 67283 0 1 0 542 8 0 0 17 0 19 0 869382633 8743653376 63880 33554432000 1073741824 1073778376 140735670731984 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15891/statm: 2134681 63880 2244 9 0 2125422 0
[pid=15891/tid=15892] ppid=15889 vsize=8538724 CPUtime=4.18 cores=1,3,5,7
/proc/15891/task/15892/stat : 15892 (java) R 15889 15891 15891 0 -1 4202560 49991 0 1 0 412 6 0 0 21 0 19 0 869382634 8743653376 63880 33554432000 1073741824 1073778376 140735670731984 18446744073709551615 46912506157218 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15891/tid=15893] ppid=15889 vsize=8538724 CPUtime=0.02 cores=1,3,5,7
/proc/15891/task/15893/stat : 15893 (java) S 15889 15891 15891 0 -1 4202560 1601 0 0 0 2 0 0 0 16 0 19 0 869382634 8743653376 63880 33554432000 1073741824 1073778376 140735670731984 18446744073709551615 232347708313 0 4 0 16800975 18446604459341638400 0 0 -1 3 0 0 0
[pid=15891/tid=15894] ppid=15889 vsize=8538724 CPUtime=0.01 cores=1,3,5,7
/proc/15891/task/15894/stat : 15894 (java) S 15889 15891 15891 0 -1 4202560 1223 0 0 0 1 0 0 0 15 0 19 0 869382634 8743653376 63880 33554432000 1073741824 1073778376 140735670731984 18446744073709551615 232347708313 0 4 0 16800975 18446604459341638400 0 0 -1 1 0 0 0
[pid=15891/tid=15895] ppid=15889 vsize=8538724 CPUtime=0.03 cores=1,3,5,7
/proc/15891/task/15895/stat : 15895 (java) S 15889 15891 15891 0 -1 4202560 2365 0 0 0 3 0 0 0 16 0 19 0 869382634 8743653376 63880 33554432000 1073741824 1073778376 140735670731984 18446744073709551615 232347708313 0 4 0 16800975 18446604459341638400 0 0 -1 1 0 0 0
[pid=15891/tid=15896] ppid=15889 vsize=8538724 CPUtime=0 cores=1,3,5,7
/proc/15891/task/15896/stat : 15896 (java) S 15889 15891 15891 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869382634 8743653376 63880 33554432000 1073741824 1073778376 140735670731984 18446744073709551615 232347708313 0 4 0 16800975 18446604459341638400 0 0 -1 7 0 0 0
[pid=15891/tid=15897] ppid=15889 vsize=8538724 CPUtime=0.02 cores=1,3,5,7
/proc/15891/task/15897/stat : 15897 (java) S 15889 15891 15891 0 -1 4202560 1925 0 0 0 2 0 0 0 16 0 19 0 869382634 8743653376 63880 33554432000 1073741824 1073778376 140735670731984 18446744073709551615 232347708313 0 4 0 16800975 18446604459341638400 0 0 -1 3 0 0 0
[pid=15891/tid=15898] ppid=15889 vsize=8538724 CPUtime=0.01 cores=1,3,5,7
/proc/15891/task/15898/stat : 15898 (java) S 15889 15891 15891 0 -1 4202560 1079 0 0 0 1 0 0 0 16 0 19 0 869382634 8743653376 63880 33554432000 1073741824 1073778376 140735670731984 18446744073709551615 232347708313 0 4 0 16800975 18446604459341638400 0 0 -1 7 0 0 0
[pid=15891/tid=15899] ppid=15889 vsize=8538724 CPUtime=0 cores=1,3,5,7
/proc/15891/task/15899/stat : 15899 (java) S 15889 15891 15891 0 -1 4202560 361 0 0 0 0 0 0 0 16 0 19 0 869382634 8743653376 63880 33554432000 1073741824 1073778376 140735670731984 18446744073709551615 232347708313 0 4 0 16800975 18446604459341638400 0 0 -1 1 0 0 0
[pid=15891/tid=15900] ppid=15889 vsize=8538724 CPUtime=0.01 cores=1,3,5,7
/proc/15891/task/15900/stat : 15900 (java) S 15889 15891 15891 0 -1 4202560 1148 0 0 0 1 0 0 0 16 0 19 0 869382634 8743653376 63880 33554432000 1073741824 1073778376 140735670731984 18446744073709551615 232347708313 0 4 0 16800975 18446604459341638400 0 0 -1 7 0 0 0
[pid=15891/tid=15901] ppid=15889 vsize=8538724 CPUtime=0 cores=1,3,5,7
/proc/15891/task/15901/stat : 15901 (java) S 15889 15891 15891 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 869382635 8743653376 63880 33554432000 1073741824 1073778376 140735670731984 18446744073709551615 232347708928 0 0 0 16800975 18446604459341638400 0 0 -1 7 0 0 0
[pid=15891/tid=15902] ppid=15889 vsize=8538724 CPUtime=0 cores=1,3,5,7
/proc/15891/task/15902/stat : 15902 (java) S 15889 15891 15891 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 869382636 8743653376 63880 33554432000 1073741824 1073778376 140735670731984 18446744073709551615 232347708313 0 4 0 16800975 18446604459341638400 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=15891/tid=15909] ppid=15889 vsize=8538384 CPUtime=0 cores=1,3,5,7
/proc/15891/task/15909/stat : 15909 (java) T 15889 15891 15891 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869382771 8743305216 68741 33554432000 1073741824 1073778376 140735670731984 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15889/tid=16046] ppid=15865 vsize=346816 CPUtime=0 cores=1,3,5,7
/proc/15889/task/16046/stat : 16046 (python) S 15865 15865 14938 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869387540 355139584 16505 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347716017 0 0 16781312 33554946 18446604460500633536 0 0 -1 7 0 0 0
[pid=16047] ppid=15865 vsize=357072 CPUtime=0.29 cores=1,3,5,7
/proc/16047/stat : 16047 (python) S 15865 15865 14938 0 -1 4202560 996 0 0 0 14 15 0 0 15 0 1 0 869387542 365641728 16484 33554432000 4194304 5683644 140735477162656 18446744073709551615 232335912518 0 0 16781312 33554946 5623753486446373731 0 0 17 7 0 0 0
/proc/16047/statm: 89268 16484 372 364 0 24146 0
[pid=16049] ppid=16047 vsize=40004 CPUtime=75.16 cores=1,3,5,7
/proc/16049/stat : 16049 (clasp-1.3.7-x86) R 16047 16049 16049 0 -1 4202496 12303 0 0 0 7515 1 0 0 25 0 1 0 869387543 40964096 9593 33554432000 134512640 136139019 4292713776 18446744073709551615 134877021 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/16049/statm: 10001 9593 188 398 0 9601 0
[pid=15865/tid=15872] ppid=15863 vsize=367316 CPUtime=0 cores=1,3,5,7
/proc/15865/task/15872/stat : 15872 (python) S 15863 15865 14938 0 -1 4202560 26 929 0 0 0 0 0 0 20 0 5 0 869373214 376131584 17993 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347716017 0 0 16781312 33554434 18446604462349862976 0 0 -1 1 0 0 0
[pid=15865/tid=15881] ppid=15863 vsize=367316 CPUtime=0 cores=1,3,5,7
/proc/15865/task/15881/stat : 15881 (python) S 15863 15865 14938 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 5 0 869377886 376131584 17993 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347716017 0 0 16781312 33554434 18446604462349862976 0 0 -1 7 0 0 0
[pid=15865/tid=15890] ppid=15863 vsize=367316 CPUtime=0 cores=1,3,5,7
/proc/15865/task/15890/stat : 15890 (python) S 15863 15865 14938 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 5 0 869382633 376131584 17993 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347716017 0 0 16781312 33554434 18446604462349862976 0 0 -1 3 0 0 0
[pid=15865/tid=16048] ppid=15863 vsize=367316 CPUtime=0 cores=1,3,5,7
/proc/15865/task/16048/stat : 16048 (python) S 15863 15865 14938 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 5 0 869387542 376131584 17993 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347716017 0 0 16781312 33554434 18446604462349862976 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 224.14
Current children cumulated vsize (KiB) 10923856
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+240.801 s]
/proc/loadavg: 2.11 2.10 1.72 6/697 16098
/proc/meminfo: memFree=22961024/32951124 swapFree=57654872/67111528
[pid=15865] ppid=15863 vsize=377572 CPUtime=3.36 cores=1,3,5,7
/proc/15865/stat : 15865 (python) S 15863 15865 14938 0 -1 4202496 30191 929 1 0 322 14 0 0 20 0 6 0 869372829 386633728 17999 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 48
/proc/15865/statm: 94393 17999 1879 364 0 29268 0
[pid=15871] ppid=15865 vsize=336548 CPUtime=0.19 cores=1,3,5,7
/proc/15871/stat : 15871 (python) S 15865 15865 14938 0 -1 4202560 1138 0 0 0 10 9 0 0 16 0 2 0 869373214 344625152 16516 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15871/statm: 84137 16516 411 364 0 19024 0
[pid=15873] ppid=15871 vsize=49932 CPUtime=46.68 cores=1,3,5,7
/proc/15873/stat : 15873 (wbo1.4a) T 15871 15873 15873 0 -1 4202496 68959 0 0 0 4654 14 0 0 25 0 1 0 869373214 51130368 11058 33554432000 134512640 135751879 4287430592 18446744073709551615 134606351 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/15873/statm: 12483 11058 146 303 0 12178 0
[pid=15871/tid=15879] ppid=15865 vsize=336548 CPUtime=0 cores=1,3,5,7
/proc/15871/task/15879/stat : 15879 (python) S 15865 15865 14938 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 2 0 869377883 344625152 16516 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347716017 0 0 16781312 33554946 18446604454517512384 0 0 -1 7 0 0 0
[pid=15880] ppid=15865 vsize=336560 CPUtime=0.2 cores=1,3,5,7
/proc/15880/stat : 15880 (python) S 15865 15865 14938 0 -1 4202560 1109 0 0 0 11 9 0 0 16 0 2 0 869377885 344637440 16501 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15880/statm: 84140 16501 396 364 0 19024 0
[pid=15882] ppid=15880 vsize=551224 CPUtime=47.43 cores=1,3,5,7
/proc/15882/stat : 15882 (scip-2.0.1.linu) T 15880 15882 15882 0 -1 4202496 138171 0 0 0 4648 95 0 0 25 0 1 0 869377886 564453376 132699 33554432000 4194304 13684479 140733299479840 18446744073709551615 7095817 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/15882/statm: 137806 132699 849 2317 0 135484 0
[pid=15880/tid=15888] ppid=15865 vsize=336560 CPUtime=0 cores=1,3,5,7
/proc/15880/task/15888/stat : 15888 (python) S 15865 15865 14938 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869382630 344637440 16501 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347716017 0 0 16781312 33554946 18446604460544674624 0 0 -1 3 0 0 0
[pid=15889] ppid=15865 vsize=346816 CPUtime=0.19 cores=1,3,5,7
/proc/15889/stat : 15889 (python) S 15865 15865 14938 0 -1 4202560 1109 0 0 0 9 10 0 0 16 0 2 0 869382632 355139584 16505 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15889/statm: 86704 16505 396 364 0 21585 0
[pid=15891] ppid=15889 vsize=8538384 CPUtime=50.67 cores=1,3,5,7
/proc/15891/stat : 15891 (java) T 15889 15891 15891 0 -1 4202496 76034 0 1 0 5058 9 0 0 15 0 19 0 869382633 8743305216 68741 33554432000 1073741824 1073778376 140735670731984 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15891/statm: 2134596 68741 2247 9 0 2125337 0
[pid=15891/tid=15892] ppid=15889 vsize=8538384 CPUtime=48.97 cores=1,3,5,7
/proc/15891/task/15892/stat : 15892 (java) T 15889 15891 15891 0 -1 4202560 55131 0 1 0 4891 6 0 0 25 0 19 0 869382634 8743305216 68741 33554432000 1073741824 1073778376 140735670731984 18446744073709551615 46912506156980 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=15891/tid=15893] ppid=15889 vsize=8538384 CPUtime=0.02 cores=1,3,5,7
/proc/15891/task/15893/stat : 15893 (java) T 15889 15891 15891 0 -1 4202560 1601 0 0 0 2 0 0 0 15 0 19 0 869382634 8743305216 68741 33554432000 1073741824 1073778376 140735670731984 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=15891/tid=15894] ppid=15889 vsize=8538384 CPUtime=0.01 cores=1,3,5,7
/proc/15891/task/15894/stat : 15894 (java) T 15889 15891 15891 0 -1 4202560 1223 0 0 0 1 0 0 0 15 0 19 0 869382634 8743305216 68741 33554432000 1073741824 1073778376 140735670731984 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15891/tid=15895] ppid=15889 vsize=8538384 CPUtime=0.03 cores=1,3,5,7
/proc/15891/task/15895/stat : 15895 (java) T 15889 15891 15891 0 -1 4202560 2365 0 0 0 3 0 0 0 15 0 19 0 869382634 8743305216 68741 33554432000 1073741824 1073778376 140735670731984 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15891/tid=15896] ppid=15889 vsize=8538384 CPUtime=0 cores=1,3,5,7
/proc/15891/task/15896/stat : 15896 (java) T 15889 15891 15891 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869382634 8743305216 68741 33554432000 1073741824 1073778376 140735670731984 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=15891/tid=15897] ppid=15889 vsize=8538384 CPUtime=0.02 cores=1,3,5,7
/proc/15891/task/15897/stat : 15897 (java) T 15889 15891 15891 0 -1 4202560 1925 0 0 0 2 0 0 0 15 0 19 0 869382634 8743305216 68741 33554432000 1073741824 1073778376 140735670731984 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=15891/tid=15898] ppid=15889 vsize=8538384 CPUtime=0.01 cores=1,3,5,7
/proc/15891/task/15898/stat : 15898 (java) T 15889 15891 15891 0 -1 4202560 1079 0 0 0 1 0 0 0 15 0 19 0 869382634 8743305216 68741 33554432000 1073741824 1073778376 140735670731984 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15891/tid=15899] ppid=15889 vsize=8538384 CPUtime=0 cores=1,3,5,7
/proc/15891/task/15899/stat : 15899 (java) T 15889 15891 15891 0 -1 4202560 361 0 0 0 0 0 0 0 15 0 19 0 869382634 8743305216 68741 33554432000 1073741824 1073778376 140735670731984 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15891/tid=15900] ppid=15889 vsize=8538384 CPUtime=0.01 cores=1,3,5,7
/proc/15891/task/15900/stat : 15900 (java) T 15889 15891 15891 0 -1 4202560 1148 0 0 0 1 0 0 0 15 0 19 0 869382634 8743305216 68741 33554432000 1073741824 1073778376 140735670731984 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=15891/tid=15901] ppid=15889 vsize=8538384 CPUtime=0 cores=1,3,5,7
/proc/15891/task/15901/stat : 15901 (java) T 15889 15891 15891 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 869382635 8743305216 68741 33554432000 1073741824 1073778376 140735670731984 18446744073709551615 232347708928 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15891/tid=15902] ppid=15889 vsize=8538384 CPUtime=0 cores=1,3,5,7
/proc/15891/task/15902/stat : 15902 (java) T 15889 15891 15891 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869382636 8743305216 68741 33554432000 1073741824 1073778376 140735670731984 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=15891/tid=15903] ppid=15889 vsize=8538384 CPUtime=0 cores=1,3,5,7
/proc/15891/task/15903/stat : 15903 (java) T 15889 15891 15891 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 869382636 8743305216 68741 33554432000 1073741824 1073778376 140735670731984 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=15891/tid=15904] ppid=15889 vsize=8538384 CPUtime=0 cores=1,3,5,7
/proc/15891/task/15904/stat : 15904 (java) T 15889 15891 15891 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869382638 8743305216 68741 33554432000 1073741824 1073778376 140735670731984 18446744073709551615 232347716017 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=15891/tid=15905] ppid=15889 vsize=8538384 CPUtime=0.87 cores=1,3,5,7
/proc/15891/task/15905/stat : 15905 (java) T 15889 15891 15891 0 -1 4202560 6211 0 0 0 87 0 0 0 15 0 19 0 869382638 8743305216 68741 33554432000 1073741824 1073778376 140735670731984 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=15891/tid=15906] ppid=15889 vsize=8538384 CPUtime=0.66 cores=1,3,5,7
/proc/15891/task/15906/stat : 15906 (java) T 15889 15891 15891 0 -1 4202560 3514 0 0 0 66 0 0 0 15 0 19 0 869382638 8743305216 68741 33554432000 1073741824 1073778376 140735670731984 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15891/tid=15907] ppid=15889 vsize=8538384 CPUtime=0 cores=1,3,5,7
/proc/15891/task/15907/stat : 15907 (java) T 15889 15891 15891 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869382638 8743305216 68741 33554432000 1073741824 1073778376 140735670731984 18446744073709551615 232347708313 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=15891/tid=15908] ppid=15889 vsize=8538384 CPUtime=0 cores=1,3,5,7
/proc/15891/task/15908/stat : 15908 (java) T 15889 15891 15891 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869382638 8743305216 68741 33554432000 1073741824 1073778376 140735670731984 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=15891/tid=15909] ppid=15889 vsize=8538384 CPUtime=0 cores=1,3,5,7
/proc/15891/task/15909/stat : 15909 (java) T 15889 15891 15891 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869382771 8743305216 68741 33554432000 1073741824 1073778376 140735670731984 18446744073709551615 232347708928 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=15889/tid=16046] ppid=15865 vsize=346816 CPUtime=0 cores=1,3,5,7
/proc/15889/task/16046/stat : 16046 (python) S 15865 15865 14938 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869387540 355139584 16505 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347716017 0 0 16781312 33554946 18446604460500633536 0 0 -1 7 0 0 0
[pid=16047] ppid=15865 vsize=357072 CPUtime=0.37 cores=1,3,5,7
/proc/16047/stat : 16047 (python) S 15865 15865 14938 0 -1 4202560 1167 0 0 0 18 19 0 0 16 0 2 0 869387542 365641728 16509 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347719115 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16047/statm: 89268 16509 396 364 0 24146 0
[pid=16049] ppid=16047 vsize=40268 CPUtime=93.11 cores=1,3,5,7
/proc/16049/stat : 16049 (clasp-1.3.7-x86) T 16047 16049 16049 0 -1 4202496 12365 0 0 0 9310 1 0 0 25 0 1 0 869387543 41234432 9655 33554432000 134512640 136139019 4292713776 18446744073709551615 134608184 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/16049/statm: 10067 9655 188 398 0 9667 0
[pid=16047/tid=16078] ppid=15865 vsize=357072 CPUtime=0 cores=1,3,5,7
/proc/16047/task/16078/stat : 16078 (python) S 15865 15865 14938 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869396855 365641728 16509 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347716017 0 0 16781312 33554946 18446604456754536704 0 0 -1 7 0 0 0
[pid=16079] ppid=15865 vsize=367328 CPUtime=0 cores=1,3,5,7
/proc/16079/stat : 16079 (python) S 15865 15865 14938 0 -1 4202560 816 0 0 0 0 0 0 0 19 0 1 0 869396858 376143872 16464 33554432000 4194304 5683644 140735477162656 18446744073709551615 232335912518 0 0 16781312 33554946 2548841512813199360 0 0 17 3 0 0 0
/proc/16079/statm: 91832 16464 348 364 0 26707 0
[pid=16081] ppid=16079 vsize=8538796 CPUtime=1.03 cores=1,3,5,7
/proc/16081/stat : 16081 (java) S 16079 16081 16081 0 -1 4202496 29061 0 1 0 100 3 0 0 21 0 18 0 869396858 8743727104 27019 33554432000 1073741824 1073778376 140736106565872 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/16081/statm: 2134699 27021 2206 9 0 2125440 0
[pid=16081/tid=16082] ppid=16079 vsize=8538796 CPUtime=0.52 cores=1,3,5,7
/proc/16081/task/16082/stat : 16082 (java) R 16079 16081 16081 0 -1 4202560 23936 0 1 0 50 2 0 0 25 0 18 0 869396859 8743727104 28044 33554432000 1073741824 1073778376 140736106565872 18446744073709551615 46912505365698 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16081/tid=16083] ppid=16079 vsize=8538796 CPUtime=0 cores=1,3,5,7
/proc/16081/task/16083/stat : 16083 (java) S 16079 16081 16081 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869396860 8743727104 28046 33554432000 1073741824 1073778376 140736106565872 18446744073709551615 232347708313 0 4 0 16800975 18446604466846571328 0 0 -1 7 0 0 0
[pid=16081/tid=16084] ppid=16079 vsize=8538796 CPUtime=0 cores=1,3,5,7
/proc/16081/task/16084/stat : 16084 (java) S 16079 16081 16081 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869396860 8743727104 28049 33554432000 1073741824 1073778376 140736106565872 18446744073709551615 232347708313 0 4 0 16800975 18446604466846571328 0 0 -1 5 0 0 0
[pid=16081/tid=16085] ppid=16079 vsize=8538796 CPUtime=0 cores=1,3,5,7
/proc/16081/task/16085/stat : 16085 (java) S 16079 16081 16081 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869396860 8743727104 28051 33554432000 1073741824 1073778376 140736106565872 18446744073709551615 232347708313 0 4 0 16800975 18446604466846571328 0 0 -1 5 0 0 0
[pid=16081/tid=16086] ppid=16079 vsize=8538796 CPUtime=0 cores=1,3,5,7
/proc/16081/task/16086/stat : 16086 (java) S 16079 16081 16081 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869396860 8743727104 28054 33554432000 1073741824 1073778376 140736106565872 18446744073709551615 232347708313 0 4 0 16800975 18446604466846571328 0 0 -1 5 0 0 0
[pid=16081/tid=16087] ppid=16079 vsize=8538796 CPUtime=0 cores=1,3,5,7
/proc/16081/task/16087/stat : 16087 (java) S 16079 16081 16081 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869396860 8743727104 28056 33554432000 1073741824 1073778376 140736106565872 18446744073709551615 232347708313 0 4 0 16800975 18446604466846571328 0 0 -1 5 0 0 0
[pid=16081/tid=16088] ppid=16079 vsize=8538796 CPUtime=0 cores=1,3,5,7
/proc/16081/task/16088/stat : 16088 (java) S 16079 16081 16081 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869396860 8743727104 28059 33554432000 1073741824 1073778376 140736106565872 18446744073709551615 232347708313 0 4 0 16800975 18446604466846571328 0 0 -1 5 0 0 0
[pid=16081/tid=16089] ppid=16079 vsize=8538796 CPUtime=0 cores=1,3,5,7
/proc/16081/task/16089/stat : 16089 (java) S 16079 16081 16081 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869396860 8743727104 28062 33554432000 1073741824 1073778376 140736106565872 18446744073709551615 232347708313 0 4 0 16800975 18446604466846571328 0 0 -1 5 0 0 0
[pid=16081/tid=16090] ppid=16079 vsize=8538796 CPUtime=0 cores=1,3,5,7
/proc/16081/task/16090/stat : 16090 (java) S 16079 16081 16081 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869396860 8743727104 28064 33554432000 1073741824 1073778376 140736106565872 18446744073709551615 232347708313 0 4 0 16800975 18446604466846571328 0 0 -1 5 0 0 0
[pid=16081/tid=16091] ppid=16079 vsize=8538796 CPUtime=0 cores=1,3,5,7
/proc/16081/task/16091/stat : 16091 (java) S 16079 16081 16081 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 18 0 869396861 8743727104 28067 33554432000 1073741824 1073778376 140736106565872 18446744073709551615 232347708928 0 0 0 16800975 18446604466846571328 0 0 -1 7 0 0 0
[pid=16081/tid=16092] ppid=16079 vsize=8538796 CPUtime=0 cores=1,3,5,7
/proc/16081/task/16092/stat : 16092 (java) S 16079 16081 16081 0 -1 4202560 16 0 0 0 0 0 0 0 22 0 18 0 869396861 8743727104 28069 33554432000 1073741824 1073778376 140736106565872 18446744073709551615 232347708313 0 4 0 16800975 18446604466846571328 0 0 -1 7 0 0 0
[pid=16081/tid=16093] ppid=16079 vsize=8538796 CPUtime=0 cores=1,3,5,7
/proc/16081/task/16093/stat : 16093 (java) S 16079 16081 16081 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 18 0 869396861 8743727104 28072 33554432000 1073741824 1073778376 140736106565872 18446744073709551615 232347708313 0 4 0 16800975 18446604466846571328 0 0 -1 7 0 0 0
[pid=16081/tid=16094] ppid=16079 vsize=8538796 CPUtime=0 cores=1,3,5,7
/proc/16081/task/16094/stat : 16094 (java) S 16079 16081 16081 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869396863 8743727104 28074 33554432000 1073741824 1073778376 140736106565872 18446744073709551615 232347716017 0 4 0 16800975 18446604466846571328 0 0 -1 7 0 0 0
[pid=16081/tid=16095] ppid=16079 vsize=8538796 CPUtime=0.27 cores=1,3,5,7
/proc/16081/task/16095/stat : 16095 (java) R 16079 16081 16081 0 -1 4202560 1858 0 0 0 27 0 0 0 25 0 18 0 869396863 8743727104 28077 33554432000 1073741824 1073778376 140736106565872 18446744073709551615 47963165604247 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16081/tid=16096] ppid=16079 vsize=8538796 CPUtime=0.24 cores=1,3,5,7
/proc/16081/task/16096/stat : 16096 (java) R 16079 16081 16081 0 -1 4202560 2902 0 0 0 24 0 0 0 25 0 18 0 869396863 8743727104 28080 33554432000 1073741824 1073778376 140736106565872 18446744073709551615 47963167151650 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=16081/tid=16097] ppid=16079 vsize=8538796 CPUtime=0 cores=1,3,5,7
/proc/16081/task/16097/stat : 16097 (java) S 16079 16081 16081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869396863 8743727104 28082 33554432000 1073741824 1073778376 140736106565872 18446744073709551615 232347708313 0 4 0 16800975 18446604466846571328 0 0 -1 7 0 0 0
[pid=16081/tid=16098] ppid=16079 vsize=8538796 CPUtime=0 cores=1,3,5,7
/proc/16081/task/16098/stat : 16098 (java) S 16079 16081 16081 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869396863 8743727104 28085 33554432000 1073741824 1073778376 140736106565872 18446744073709551615 232347708928 0 4 0 16800975 18446604466846571328 0 0 -1 5 0 0 0
[pid=15865/tid=15872] ppid=15863 vsize=377572 CPUtime=0 cores=1,3,5,7
/proc/15865/task/15872/stat : 15872 (python) S 15863 15865 14938 0 -1 4202560 26 929 0 0 0 0 0 0 20 0 6 0 869373214 386633728 17999 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347716017 0 0 16781312 33554434 18446604462349862976 0 0 -1 1 0 0 0
[pid=15865/tid=15881] ppid=15863 vsize=377572 CPUtime=0 cores=1,3,5,7
/proc/15865/task/15881/stat : 15881 (python) S 15863 15865 14938 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 6 0 869377886 386633728 17999 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347716017 0 0 16781312 33554434 18446604462349862976 0 0 -1 7 0 0 0
[pid=15865/tid=15890] ppid=15863 vsize=377572 CPUtime=0 cores=1,3,5,7
/proc/15865/task/15890/stat : 15890 (python) S 15863 15865 14938 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 6 0 869382633 386633728 17999 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347716017 0 0 16781312 33554434 18446604462349862976 0 0 -1 3 0 0 0
[pid=15865/tid=16048] ppid=15863 vsize=377572 CPUtime=0 cores=1,3,5,7
/proc/15865/task/16048/stat : 16048 (python) S 15863 15865 14938 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 6 0 869387542 386633728 17999 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347716017 0 0 16781312 33554434 18446604462349862976 0 0 -1 3 0 0 0
[pid=15865/tid=16080] ppid=15863 vsize=377572 CPUtime=0 cores=1,3,5,7
/proc/15865/task/16080/stat : 16080 (python) S 15863 15865 14938 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 6 0 869396858 386633728 17999 33554432000 4194304 5683644 140735477162656 18446744073709551615 232347716017 0 0 16781312 33554434 18446604462349862976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 243.23
Current children cumulated vsize (KiB) 19840500
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15865 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=226509
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=147977
# CPU time returned by wait4() is 3.37449
# while last known CPU time is 243.23
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.884
CPU time (s): 243.23
CPU user time (s): 241.4
CPU system time (s): 1.83
CPU usage (%): 100.974
Max. virtual memory (cumulated for all children) (KiB): 19840500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.22651
system time used= 0.147977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31122
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= 1010
involuntary context switches= 29
runsolver used 1.39679 second user time and 2.98754 second system time
The end