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-3481594-1307578436/watcher-3481594-1307578436 -o /tmp/evaluation-result-3481594-1307578436/solver-3481594-1307578436 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481594-1307578436.opb -seed 485913749 -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.02 2.07 1.82 2/711 32208
/proc/meminfo: memFree=10444588/32951124 swapFree=57370024/67111528
[pid=32208] ppid=32206 vsize=16236 CPUtime=0 cores=1,3,5,7
/proc/32208/stat : 32208 (python) R 32206 32208 30366 0 -1 4202496 1050 0 0 0 0 0 0 0 25 0 1 0 850259111 16625664 921 33554432000 4194304 5683644 140734636931872 18446744073709551615 228095144911 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/32208/statm: 4059 921 381 364 0 546 0
[startup+0.0622799 s]
/proc/loadavg: 2.02 2.07 1.82 2/711 32208
/proc/meminfo: memFree=10444588/32951124 swapFree=57370024/67111528
[pid=32208] ppid=32206 vsize=29788 CPUtime=0.04 cores=1,3,5,7
/proc/32208/stat : 32208 (python) R 32206 32208 30366 0 -1 4202496 1457 0 0 0 3 1 0 0 17 0 1 0 850259111 30502912 1297 33554432000 4194304 5683644 140734636931872 18446744073709551615 228095449088 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/32208/statm: 7447 1297 443 364 0 817 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 29788
[startup+0.100272 s]
/proc/loadavg: 2.02 2.07 1.82 2/711 32208
/proc/meminfo: memFree=10444588/32951124 swapFree=57370024/67111528
[pid=32208] ppid=32206 vsize=85624 CPUtime=0.06 cores=1,3,5,7
/proc/32208/stat : 32208 (python) R 32206 32208 30366 0 -1 4202496 2664 0 0 0 5 1 0 0 17 0 1 0 850259111 87678976 2383 33554432000 4194304 5683644 140734636931872 18446744073709551615 228095451008 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/32208/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85624
[startup+0.300312 s]
/proc/loadavg: 2.02 2.07 1.82 2/711 32208
/proc/meminfo: memFree=10444588/32951124 swapFree=57370024/67111528
[pid=32208] ppid=32206 vsize=123740 CPUtime=0.16 cores=1,3,5,7
/proc/32208/stat : 32208 (python) S 32206 32208 30366 0 -1 4202496 5358 931 1 0 10 6 0 0 16 0 1 0 850259111 126709760 3744 33554432000 4194304 5683644 140734636931872 18446744073709551615 228095447045 0 2147483391 16781312 2 18446744071699207358 0 0 17 1 0 0 0
/proc/32208/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123740
[startup+0.700187 s]
/proc/loadavg: 2.02 2.07 1.82 2/711 32208
/proc/meminfo: memFree=10444588/32951124 swapFree=57370024/67111528
[pid=32208] ppid=32206 vsize=282400 CPUtime=0.42 cores=1,3,5,7
/proc/32208/stat : 32208 (python) S 32206 32208 30366 0 -1 4202496 9188 931 1 0 28 14 0 0 16 0 1 0 850259111 289177600 6937 33554432000 4194304 5683644 140734636931872 18446744073709551615 228095471119 0 0 16781312 2 4294934792 0 0 17 1 0 0 0
/proc/32208/statm: 70600 6937 1777 364 0 5493 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282400
[startup+1.50102 s]
/proc/loadavg: 2.02 2.07 1.82 3/715 32217
/proc/meminfo: memFree=10386392/32951124 swapFree=57370024/67111528
[pid=32208] ppid=32206 vsize=293440 CPUtime=0.48 cores=1,3,5,7
/proc/32208/stat : 32208 (python) S 32206 32208 30366 0 -1 4202496 10765 1328 1 0 33 15 0 0 18 0 2 0 850259111 300482560 7217 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/32208/statm: 73360 7217 1871 364 0 8247 0
[pid=32215] ppid=32208 vsize=283196 CPUtime=0 cores=1,3,5,7
/proc/32215/stat : 32215 (python) S 32208 32208 30366 0 -1 4202560 847 0 0 0 0 0 0 0 15 0 1 0 850259187 289992704 5667 33554432000 4194304 5683644 140734636931872 18446744073709551615 228095471119 0 0 16781312 33554946 1427194877724065792 0 0 17 1 0 0 0
/proc/32215/statm: 70799 5667 325 364 0 5686 0
[pid=32217] ppid=32215 vsize=45296 CPUtime=0.73 cores=1,3,5,7
/proc/32217/stat : 32217 (scip-2.0.1.linu) R 32215 32217 32217 0 -1 4202496 9606 0 0 0 61 12 0 0 18 0 1 0 850259188 46383104 8966 33554432000 4194304 13684479 140735714211056 18446744073709551615 5095476 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/32217/statm: 11324 8966 827 2317 0 9002 0
[pid=32208/tid=32216] ppid=32206 vsize=293440 CPUtime=0 cores=1,3,5,7
/proc/32208/task/32216/stat : 32216 (python) S 32206 32208 30366 0 -1 4202560 29 1328 0 0 0 0 0 0 18 0 2 0 850259187 300482560 7217 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107274673 0 0 16781312 33554434 18446604469033572480 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 621932
[startup+3.10072 s]
/proc/loadavg: 2.02 2.07 1.82 3/715 32217
/proc/meminfo: memFree=10374364/32951124 swapFree=57370024/67111528
[pid=32208] ppid=32206 vsize=293440 CPUtime=0.48 cores=1,3,5,7
/proc/32208/stat : 32208 (python) S 32206 32208 30366 0 -1 4202496 10765 1328 1 0 33 15 0 0 18 0 2 0 850259111 300482560 7217 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/32208/statm: 73360 7217 1871 364 0 8247 0
[pid=32215] ppid=32208 vsize=283196 CPUtime=0 cores=1,3,5,7
/proc/32215/stat : 32215 (python) S 32208 32208 30366 0 -1 4202560 848 0 0 0 0 0 0 0 15 0 1 0 850259187 289992704 5667 33554432000 4194304 5683644 140734636931872 18446744073709551615 228095471119 0 0 16781312 33554946 4256273467478900736 0 0 17 1 0 0 0
/proc/32215/statm: 70799 5667 325 364 0 5686 0
[pid=32217] ppid=32215 vsize=48924 CPUtime=2.33 cores=1,3,5,7
/proc/32217/stat : 32217 (scip-2.0.1.linu) R 32215 32217 32217 0 -1 4202496 10527 0 0 0 209 24 0 0 20 0 1 0 850259188 50098176 9859 33554432000 4194304 13684479 140735714211056 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/32217/statm: 12231 9859 837 2317 0 9909 0
[pid=32208/tid=32216] ppid=32206 vsize=293440 CPUtime=0 cores=1,3,5,7
/proc/32208/task/32216/stat : 32216 (python) S 32206 32208 30366 0 -1 4202560 29 1328 0 0 0 0 0 0 18 0 2 0 850259187 300482560 7217 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107274673 0 0 16781312 33554434 18446604469033572480 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 625560
[startup+6.30114 s]
/proc/loadavg: 2.02 2.07 1.82 3/715 32217
/proc/meminfo: memFree=10370240/32951124 swapFree=57370024/67111528
[pid=32208] ppid=32206 vsize=293440 CPUtime=0.48 cores=1,3,5,7
/proc/32208/stat : 32208 (python) S 32206 32208 30366 0 -1 4202496 10765 1328 1 0 33 15 0 0 18 0 2 0 850259111 300482560 7217 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/32208/statm: 73360 7217 1871 364 0 8247 0
[pid=32215] ppid=32208 vsize=283196 CPUtime=0.01 cores=1,3,5,7
/proc/32215/stat : 32215 (python) S 32208 32208 30366 0 -1 4202560 978 0 0 0 1 0 0 0 15 0 1 0 850259187 289992704 5690 33554432000 4194304 5683644 140734636931872 18446744073709551615 228095471119 0 0 16781312 33554946 2841128395381669888 0 0 17 1 0 0 0
/proc/32215/statm: 70799 5690 348 364 0 5686 0
[pid=32217] ppid=32215 vsize=48924 CPUtime=5.53 cores=1,3,5,7
/proc/32217/stat : 32217 (scip-2.0.1.linu) R 32215 32217 32217 0 -1 4202496 10529 0 0 0 517 36 0 0 25 0 1 0 850259188 50098176 9861 33554432000 4194304 13684479 140735714211056 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/32217/statm: 12231 9861 839 2317 0 9909 0
[pid=32208/tid=32216] ppid=32206 vsize=293440 CPUtime=0 cores=1,3,5,7
/proc/32208/task/32216/stat : 32216 (python) S 32206 32208 30366 0 -1 4202560 29 1328 0 0 0 0 0 0 18 0 2 0 850259187 300482560 7217 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107274673 0 0 16781312 33554434 18446604469033572480 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 625560
[startup+12.701 s]
/proc/loadavg: 2.02 2.06 1.82 3/715 32217
/proc/meminfo: memFree=10362320/32951124 swapFree=57370024/67111528
[pid=32208] ppid=32206 vsize=293440 CPUtime=0.48 cores=1,3,5,7
/proc/32208/stat : 32208 (python) S 32206 32208 30366 0 -1 4202496 10765 1328 1 0 33 15 0 0 18 0 2 0 850259111 300482560 7217 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/32208/statm: 73360 7217 1871 364 0 8247 0
[pid=32215] ppid=32208 vsize=283196 CPUtime=0.04 cores=1,3,5,7
/proc/32215/stat : 32215 (python) S 32208 32208 30366 0 -1 4202560 985 0 0 0 2 2 0 0 15 0 1 0 850259187 289992704 5690 33554432000 4194304 5683644 140734636931872 18446744073709551615 228095471119 0 0 16781312 33554946 1707826194008768512 0 0 17 1 0 0 0
/proc/32215/statm: 70799 5690 348 364 0 5686 0
[pid=32217] ppid=32215 vsize=48924 CPUtime=11.93 cores=1,3,5,7
/proc/32217/stat : 32217 (scip-2.0.1.linu) R 32215 32217 32217 0 -1 4202496 10529 0 0 0 1124 69 0 0 25 0 1 0 850259188 50098176 9861 33554432000 4194304 13684479 140735714211056 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/32217/statm: 12231 9861 839 2317 0 9909 0
[pid=32208/tid=32216] ppid=32206 vsize=293440 CPUtime=0 cores=1,3,5,7
/proc/32208/task/32216/stat : 32216 (python) S 32206 32208 30366 0 -1 4202560 29 1328 0 0 0 0 0 0 18 0 2 0 850259187 300482560 7217 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107274673 0 0 16781312 33554434 18446604469033572480 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 625560
[startup+25.5006 s]
/proc/loadavg: 2.02 2.06 1.82 3/715 32218
/proc/meminfo: memFree=10362380/32951124 swapFree=57370024/67111528
[pid=32208] ppid=32206 vsize=293440 CPUtime=0.48 cores=1,3,5,7
/proc/32208/stat : 32208 (python) S 32206 32208 30366 0 -1 4202496 10765 1328 1 0 33 15 0 0 18 0 2 0 850259111 300482560 7217 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/32208/statm: 73360 7217 1871 364 0 8247 0
[pid=32215] ppid=32208 vsize=283196 CPUtime=0.11 cores=1,3,5,7
/proc/32215/stat : 32215 (python) S 32208 32208 30366 0 -1 4202560 991 0 0 0 6 5 0 0 15 0 1 0 850259187 289992704 5690 33554432000 4194304 5683644 140734636931872 18446744073709551615 228095471119 0 0 16781312 33554946 4098048315403272192 0 0 17 7 0 0 0
/proc/32215/statm: 70799 5690 348 364 0 5686 0
[pid=32217] ppid=32215 vsize=48924 CPUtime=24.73 cores=1,3,5,7
/proc/32217/stat : 32217 (scip-2.0.1.linu) R 32215 32217 32217 0 -1 4202496 10543 0 0 0 2338 135 0 0 25 0 1 0 850259188 50098176 9875 33554432000 4194304 13684479 140735714211056 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/32217/statm: 12231 9875 843 2317 0 9909 0
[pid=32208/tid=32216] ppid=32206 vsize=293440 CPUtime=0 cores=1,3,5,7
/proc/32208/task/32216/stat : 32216 (python) S 32206 32208 30366 0 -1 4202560 29 1328 0 0 0 0 0 0 18 0 2 0 850259187 300482560 7217 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107274673 0 0 16781312 33554434 18446604469033572480 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 625560
[startup+51.1009 s]
/proc/loadavg: 2.01 2.05 1.83 3/737 32240
/proc/meminfo: memFree=10247164/32951124 swapFree=57370024/67111528
[pid=32208] ppid=32206 vsize=304160 CPUtime=0.5 cores=1,3,5,7
/proc/32208/stat : 32208 (python) S 32206 32208 30366 0 -1 4202496 11629 1328 1 0 35 15 0 0 20 0 3 0 850259111 311459840 7339 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/32208/statm: 76040 7339 1874 364 0 10924 0
[pid=32215] ppid=32208 vsize=293440 CPUtime=0.24 cores=1,3,5,7
/proc/32215/stat : 32215 (python) S 32208 32208 30366 0 -1 4202560 1172 0 0 0 11 13 0 0 17 0 2 0 850259187 300482560 5758 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/32215/statm: 73360 5758 411 364 0 8247 0
[pid=32217] ppid=32215 vsize=48924 CPUtime=48.23 cores=1,3,5,7
/proc/32217/stat : 32217 (scip-2.0.1.linu) T 32215 32217 32217 0 -1 4202496 10544 0 0 0 4568 255 0 0 25 0 1 0 850259188 50098176 9876 33554432000 4194304 13684479 140735714211056 18446744073709551615 7292788 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/32217/statm: 12231 9876 843 2317 0 9909 0
[pid=32215/tid=32219] ppid=32208 vsize=293440 CPUtime=0 cores=1,3,5,7
/proc/32215/task/32219/stat : 32219 (python) S 32208 32208 30366 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 850264012 300482560 5758 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107274673 0 0 16781312 33554946 18446604470817649856 0 0 -1 5 0 0 0
[pid=32220] ppid=32208 vsize=293916 CPUtime=0 cores=1,3,5,7
/proc/32220/stat : 32220 (python) S 32208 32208 30366 0 -1 4202560 748 0 0 0 0 0 0 0 15 0 1 0 850264014 300969984 5781 33554432000 4194304 5683644 140734636931872 18446744073709551615 228095471174 0 0 16781312 33554946 3582728716070912263 0 0 17 5 0 0 0
/proc/32220/statm: 73479 5781 320 364 0 8363 0
[pid=32222] ppid=32220 vsize=8625096 CPUtime=2.86 cores=1,3,5,7
/proc/32222/stat : 32222 (java) S 32220 32222 32222 0 -1 4202496 36500 0 1 0 281 5 0 0 20 0 19 0 850264015 8832098304 31284 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32222/statm: 2156274 31284 2242 9 0 2147015 0
[pid=32222/tid=32223] ppid=32220 vsize=8625096 CPUtime=1.98 cores=1,3,5,7
/proc/32222/task/32223/stat : 32223 (java) R 32220 32222 32222 0 -1 4202560 20626 0 1 0 196 2 0 0 21 0 19 0 850264015 8832098304 31284 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 46912505593248 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32222/tid=32224] ppid=32220 vsize=8625096 CPUtime=0 cores=1,3,5,7
/proc/32222/task/32224/stat : 32224 (java) S 32220 32222 32222 0 -1 4202560 192 0 0 0 0 0 0 0 15 0 19 0 850264016 8832098304 31284 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107266969 0 4 0 16800975 18446604461275002688 0 0 -1 7 0 0 0
[pid=32222/tid=32225] ppid=32220 vsize=8625096 CPUtime=0 cores=1,3,5,7
/proc/32222/task/32225/stat : 32225 (java) S 32220 32222 32222 0 -1 4202560 278 0 0 0 0 0 0 0 16 0 19 0 850264016 8832098304 31284 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107266969 0 4 0 16800975 18446604461275002688 0 0 -1 7 0 0 0
[pid=32222/tid=32226] ppid=32220 vsize=8625096 CPUtime=0 cores=1,3,5,7
/proc/32222/task/32226/stat : 32226 (java) S 32220 32222 32222 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 850264016 8832098304 31284 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107266969 0 4 0 16800975 18446604461275002688 0 0 -1 7 0 0 0
[pid=32222/tid=32227] ppid=32220 vsize=8625096 CPUtime=0 cores=1,3,5,7
/proc/32222/task/32227/stat : 32227 (java) S 32220 32222 32222 0 -1 4202560 88 0 0 0 0 0 0 0 15 0 19 0 850264016 8832098304 31284 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107266969 0 4 0 16800975 18446604461275002688 0 0 -1 7 0 0 0
[pid=32222/tid=32228] ppid=32220 vsize=8625096 CPUtime=0 cores=1,3,5,7
/proc/32222/task/32228/stat : 32228 (java) S 32220 32222 32222 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 850264016 8832098304 31284 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107266969 0 4 0 16800975 18446604461275002688 0 0 -1 7 0 0 0
[pid=32222/tid=32229] ppid=32220 vsize=8625096 CPUtime=0 cores=1,3,5,7
/proc/32222/task/32229/stat : 32229 (java) S 32220 32222 32222 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 850264016 8832098304 31284 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107266969 0 4 0 16800975 18446604461275002688 0 0 -1 7 0 0 0
[pid=32222/tid=32230] ppid=32220 vsize=8625096 CPUtime=0 cores=1,3,5,7
/proc/32222/task/32230/stat : 32230 (java) S 32220 32222 32222 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 850264016 8832098304 31284 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107266969 0 4 0 16800975 18446604461275002688 0 0 -1 5 0 0 0
[pid=32222/tid=32231] ppid=32220 vsize=8625096 CPUtime=0 cores=1,3,5,7
/proc/32222/task/32231/stat : 32231 (java) S 32220 32222 32222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850264016 8832098304 31284 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107266969 0 4 0 16800975 18446604461275002688 0 0 -1 5 0 0 0
[pid=32222/tid=32232] ppid=32220 vsize=8625096 CPUtime=0.04 cores=1,3,5,7
/proc/32222/task/32232/stat : 32232 (java) S 32220 32222 32222 0 -1 4202560 603 0 0 0 4 0 0 0 15 0 19 0 850264017 8832098304 31284 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107267584 0 0 0 16800975 18446604461275002688 0 0 -1 5 0 0 0
[pid=32222/tid=32233] ppid=32220 vsize=8625096 CPUtime=0 cores=1,3,5,7
/proc/32222/task/32233/stat : 32233 (java) S 32220 32222 32222 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850264017 8832098304 31284 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107266969 0 4 0 16800975 18446604461275002688 0 0 -1 3 0 0 0
[pid=32222/tid=32234] ppid=32220 vsize=8625096 CPUtime=0 cores=1,3,5,7
/proc/32222/task/32234/stat : 32234 (java) S 32220 32222 32222 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 850264017 8832098304 31284 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107266969 0 4 0 16800975 18446604461275002688 0 0 -1 3 0 0 0
[pid=32222/tid=32235] ppid=32220 vsize=8625096 CPUtime=0 cores=1,3,5,7
/proc/32222/task/32235/stat : 32235 (java) S 32220 32222 32222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850264019 8832098304 31284 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107274673 0 4 0 16800975 18446604461275002688 0 0 -1 3 0 0 0
[pid=32222/tid=32236] ppid=32220 vsize=8625096 CPUtime=0.47 cores=1,3,5,7
/proc/32222/task/32236/stat : 32236 (java) S 32220 32222 32222 0 -1 4202560 10426 0 0 0 46 1 0 0 15 0 19 0 850264019 8832098304 31284 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107266969 0 4 0 16800975 18446604461275002688 0 0 -1 3 0 0 0
[pid=32222/tid=32237] ppid=32220 vsize=8625096 CPUtime=0.32 cores=1,3,5,7
/proc/32222/task/32237/stat : 32237 (java) S 32220 32222 32222 0 -1 4202560 2670 0 0 0 32 0 0 0 15 0 19 0 850264019 8832098304 31284 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107266969 0 4 0 16800975 18446604461275002688 0 0 -1 7 0 0 0
[pid=32222/tid=32238] ppid=32220 vsize=8625096 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=32208/tid=32221] ppid=32206 vsize=324816 CPUtime=0 cores=1,3,5,7
/proc/32208/task/32221/stat : 32221 (python) S 32206 32208 30366 0 -1 4202560 28 1328 0 0 0 0 0 0 20 0 5 0 850264014 332611584 7391 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107274673 0 0 16781312 33554434 18446604469033572480 0 0 -1 3 0 0 0
[pid=32208/tid=32244] ppid=32206 vsize=324816 CPUtime=0 cores=1,3,5,7
/proc/32208/task/32244/stat : 32244 (python) S 32206 32208 30366 0 -1 4202560 30 1328 0 0 0 0 0 0 20 0 5 0 850268574 332611584 7391 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107274673 0 0 16781312 33554434 18446604469033572480 0 0 -1 3 0 0 0
[pid=32208/tid=32251] ppid=32206 vsize=324816 CPUtime=0 cores=1,3,5,7
/proc/32208/task/32251/stat : 32251 (python) S 32206 32208 30366 0 -1 4202560 29 1328 0 0 0 0 0 0 20 0 5 0 850278023 332611584 7391 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107274673 0 0 16781312 33554434 18446604469033572480 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 284.51
Current children cumulated vsize (KiB) 10365460
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+337.601 s]
/proc/loadavg: 2.21 2.11 1.90 5/754 32305
/proc/meminfo: memFree=9965044/32951124 swapFree=57370024/67111528
[pid=32208] ppid=32206 vsize=345492 CPUtime=0.63 cores=1,3,5,7
/proc/32208/stat : 32208 (python) S 32206 32208 30366 0 -1 4202496 15234 1328 1 0 47 16 0 0 20 0 7 0 850259111 353783808 7424 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/32208/statm: 86373 7424 1882 364 0 21245 0
[pid=32215] ppid=32208 vsize=293440 CPUtime=0.52 cores=1,3,5,7
/proc/32215/stat : 32215 (python) S 32208 32208 30366 0 -1 4202560 1208 0 0 0 24 28 0 0 15 0 2 0 850259187 300482560 5759 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32215/statm: 73360 5759 412 364 0 8247 0
[pid=32217] ppid=32215 vsize=49828 CPUtime=97.8 cores=1,3,5,7
/proc/32217/stat : 32217 (scip-2.0.1.linu) T 32215 32217 32217 0 -1 4202496 10928 0 0 0 9256 524 0 0 18 0 1 0 850259188 51023872 10260 33554432000 4194304 13684479 140735714211056 18446744073709551615 7390885 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/32217/statm: 12457 10260 843 2317 0 10135 0
[pid=32215/tid=32219] ppid=32208 vsize=293440 CPUtime=0 cores=1,3,5,7
/proc/32215/task/32219/stat : 32219 (python) S 32208 32208 30366 0 -1 4202560 42 0 0 0 0 0 0 0 15 0 2 0 850264012 300482560 5759 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107274673 0 0 16781312 33554946 18446604470817649856 0 0 -1 5 0 0 0
[pid=32220] ppid=32208 vsize=293916 CPUtime=0.26 cores=1,3,5,7
/proc/32220/stat : 32220 (python) S 32208 32208 30366 0 -1 4202560 1113 0 0 0 12 14 0 0 16 0 2 0 850264014 300969984 5853 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/32220/statm: 73479 5853 391 364 0 8363 0
[pid=32222] ppid=32220 vsize=8621688 CPUtime=46.63 cores=1,3,5,7
/proc/32222/stat : 32222 (java) T 32220 32222 32222 0 -1 4202496 50772 0 1 0 4652 11 0 0 18 0 19 0 850264015 8828608512 44433 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32222/statm: 2155422 44433 2243 9 0 2146163 0
[pid=32222/tid=32223] ppid=32220 vsize=8621688 CPUtime=43.97 cores=1,3,5,7
/proc/32222/task/32223/stat : 32223 (java) T 32220 32222 32222 0 -1 4202560 33921 0 1 0 4392 5 0 0 25 0 19 0 850264015 8828608512 44433 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32222/tid=32224] ppid=32220 vsize=8621688 CPUtime=0.06 cores=1,3,5,7
/proc/32222/task/32224/stat : 32224 (java) T 32220 32222 32222 0 -1 4202560 210 0 0 0 6 0 0 0 15 0 19 0 850264016 8828608512 44433 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32222/tid=32225] ppid=32220 vsize=8621688 CPUtime=0.06 cores=1,3,5,7
/proc/32222/task/32225/stat : 32225 (java) T 32220 32222 32222 0 -1 4202560 283 0 0 0 6 0 0 0 15 0 19 0 850264016 8828608512 44433 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32222/tid=32226] ppid=32220 vsize=8621688 CPUtime=0.09 cores=1,3,5,7
/proc/32222/task/32226/stat : 32226 (java) T 32220 32222 32222 0 -1 4202560 14 0 0 0 9 0 0 0 15 0 19 0 850264016 8828608512 44433 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32222/tid=32227] ppid=32220 vsize=8621688 CPUtime=0.07 cores=1,3,5,7
/proc/32222/task/32227/stat : 32227 (java) T 32220 32222 32222 0 -1 4202560 127 0 0 0 7 0 0 0 15 0 19 0 850264016 8828608512 44433 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32222/tid=32228] ppid=32220 vsize=8621688 CPUtime=0.08 cores=1,3,5,7
/proc/32222/task/32228/stat : 32228 (java) T 32220 32222 32222 0 -1 4202560 92 0 0 0 8 0 0 0 15 0 19 0 850264016 8828608512 44433 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32222/tid=32229] ppid=32220 vsize=8621688 CPUtime=0.05 cores=1,3,5,7
/proc/32222/task/32229/stat : 32229 (java) T 32220 32222 32222 0 -1 4202560 76 0 0 0 5 0 0 0 15 0 19 0 850264016 8828608512 44433 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32222/tid=32230] ppid=32220 vsize=8621688 CPUtime=0.08 cores=1,3,5,7
/proc/32222/task/32230/stat : 32230 (java) T 32220 32222 32222 0 -1 4202560 136 0 0 0 8 0 0 0 15 0 19 0 850264016 8828608512 44433 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32222/tid=32231] ppid=32220 vsize=8621688 CPUtime=0.07 cores=1,3,5,7
/proc/32222/task/32231/stat : 32231 (java) T 32220 32222 32222 0 -1 4202560 13 0 0 0 7 0 0 0 15 0 19 0 850264016 8828608512 44433 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32222/tid=32232] ppid=32220 vsize=8621688 CPUtime=1.18 cores=1,3,5,7
/proc/32222/task/32232/stat : 32232 (java) T 32220 32222 32222 0 -1 4202560 1404 0 0 0 117 1 0 0 15 0 19 0 850264017 8828608512 44433 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 47896405814914 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32222/tid=32233] ppid=32220 vsize=8621688 CPUtime=0 cores=1,3,5,7
/proc/32222/task/32233/stat : 32233 (java) T 32220 32222 32222 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850264017 8828608512 44433 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32222/tid=32234] ppid=32220 vsize=8621688 CPUtime=0 cores=1,3,5,7
/proc/32222/task/32234/stat : 32234 (java) T 32220 32222 32222 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 850264017 8828608512 44433 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32222/tid=32235] ppid=32220 vsize=8621688 CPUtime=0 cores=1,3,5,7
/proc/32222/task/32235/stat : 32235 (java) T 32220 32222 32222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850264019 8828608512 44433 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107274673 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32222/tid=32236] ppid=32220 vsize=8621688 CPUtime=0.47 cores=1,3,5,7
/proc/32222/task/32236/stat : 32236 (java) T 32220 32222 32222 0 -1 4202560 10426 0 0 0 46 1 0 0 15 0 19 0 850264019 8828608512 44433 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32222/tid=32237] ppid=32220 vsize=8621688 CPUtime=0.35 cores=1,3,5,7
/proc/32222/task/32237/stat : 32237 (java) T 32220 32222 32222 0 -1 4202560 2674 0 0 0 35 0 0 0 15 0 19 0 850264019 8828608512 44433 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32222/tid=32238] ppid=32220 vsize=8621688 CPUtime=0 cores=1,3,5,7
/proc/32222/task/32238/stat : 32238 (java) T 32220 32222 32222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850264019 8828608512 44433 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32222/tid=32239] ppid=32220 vsize=8621688 CPUtime=0 cores=1,3,5,7
/proc/32222/task/32239/stat : 32239 (java) T 32220 32222 32222 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 850264019 8828608512 44433 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107267584 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32222/tid=32240] ppid=32220 vsize=8621688 CPUtime=0 cores=1,3,5,7
/proc/32222/task/32240/stat : 32240 (java) T 32220 32222 32222 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850264036 8828608512 44433 33554432000 1073741824 1073778376 140733700298400 18446744073709551615 228107267584 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32220/tid=32242] ppid=32208 vsize=293916 CPUtime=0 cores=1,3,5,7
/proc/32220/task/32242/stat : 32242 (python) S 32208 32208 30366 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 850268572 300969984 5853 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107274673 0 0 16781312 33554946 18446604467919540416 0 0 -1 5 0 0 0
[pid=32243] ppid=32208 vsize=303868 CPUtime=0.49 cores=1,3,5,7
/proc/32243/stat : 32243 (python) S 32208 32208 30366 0 -1 4202560 1142 0 0 0 23 26 0 0 16 0 2 0 850268574 311160832 5767 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32243/statm: 75967 5767 391 364 0 10848 0
[pid=32245] ppid=32243 vsize=55040 CPUtime=94.44 cores=1,3,5,7
/proc/32245/stat : 32245 (scip-2.0.1.linu) T 32243 32245 32245 0 -1 4202496 50293 0 0 0 9300 144 0 0 19 0 1 0 850268574 56360960 11267 33554432000 4194304 15243407 140736693124400 18446744073709551615 7128914 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/32245/statm: 13760 11267 959 2698 0 11055 0
[pid=32243/tid=32249] ppid=32208 vsize=303868 CPUtime=0 cores=1,3,5,7
/proc/32243/task/32249/stat : 32249 (python) S 32208 32208 30366 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 850278020 311160832 5767 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107274673 0 0 16781312 33554946 18446604462600123584 0 0 -1 7 0 0 0
[pid=32250] ppid=32208 vsize=314572 CPUtime=0.25 cores=1,3,5,7
/proc/32250/stat : 32250 (python) S 32208 32208 30366 0 -1 4202560 1141 0 0 0 12 13 0 0 16 0 2 0 850278022 322121728 5881 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32250/statm: 78643 5881 391 364 0 13521 0
[pid=32252] ppid=32250 vsize=108292 CPUtime=49.76 cores=1,3,5,7
/proc/32252/stat : 32252 (wbo1.4a) T 32250 32252 32252 0 -1 4202496 26889 0 0 0 4881 95 0 0 25 0 1 0 850278023 110891008 26609 33554432000 134512640 135751879 4290963264 18446744073709551615 134518831 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/32252/statm: 27073 26609 146 303 0 26768 0
[pid=32250/tid=32254] ppid=32208 vsize=314572 CPUtime=0 cores=1,3,5,7
/proc/32250/task/32254/stat : 32254 (python) S 32208 32208 30366 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 850283000 322121728 5881 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107274673 0 0 16781312 33554946 18446604467261772032 0 0 -1 7 0 0 0
[pid=32257] ppid=32208 vsize=324992 CPUtime=0.23 cores=1,3,5,7
/proc/32257/stat : 32257 (python) S 32208 32208 30366 0 -1 4202560 1128 0 0 0 10 13 0 0 17 0 2 0 850287962 332791808 5926 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32257/statm: 81248 5926 391 364 0 16123 0
[pid=32259] ppid=32257 vsize=43640 CPUtime=48.51 cores=1,3,5,7
/proc/32259/stat : 32259 (bsolo_pb10) T 32257 32259 32259 0 -1 4202496 8757 0 0 0 4848 3 0 0 25 0 1 0 850287962 44687360 8475 33554432000 134512640 137138936 4291960192 18446744073709551615 134542286 0 0 16781312 16384 18446744071562691360 0 0 17 5 0 0 0
/proc/32259/statm: 10910 8475 192 642 0 10266 0
[pid=32257/tid=32281] ppid=32208 vsize=324992 CPUtime=0 cores=1,3,5,7
/proc/32257/task/32281/stat : 32281 (python) S 32208 32208 30366 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 850292815 332791808 5926 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107274673 0 0 16781312 33554946 18446604471091219328 0 0 -1 7 0 0 0
[pid=32282] ppid=32208 vsize=335248 CPUtime=0 cores=1,3,5,7
/proc/32282/stat : 32282 (python) S 32208 32208 30366 0 -1 4202560 791 0 0 0 0 0 0 0 16 0 1 0 850292817 343293952 5858 33554432000 4194304 5683644 140734636931872 18446744073709551615 228095471174 0 0 16781312 33554946 4294934789 0 0 17 7 0 0 0
/proc/32282/statm: 83812 5858 320 364 0 18684 0
[pid=32284] ppid=32282 vsize=8547580 CPUtime=1.26 cores=1,3,5,7
/proc/32284/stat : 32284 (java) S 32282 32284 32284 0 -1 4202496 23760 0 1 0 123 3 0 0 22 0 19 0 850292817 8752721920 19698 33554432000 1073741824 1073778376 140736988522560 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/32284/statm: 2136895 19699 2212 9 0 2127636 0
[pid=32284/tid=32285] ppid=32282 vsize=8547580 CPUtime=0.56 cores=1,3,5,7
/proc/32284/task/32285/stat : 32285 (java) R 32282 32284 32284 0 -1 4202560 12532 0 1 0 55 1 0 0 19 0 19 0 850292818 8752721920 19714 33554432000 1073741824 1073778376 140736988522560 18446744073709551615 46912505575766 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32284/tid=32286] ppid=32282 vsize=8547580 CPUtime=0 cores=1,3,5,7
/proc/32284/task/32286/stat : 32286 (java) S 32282 32284 32284 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850292818 8752721920 19714 33554432000 1073741824 1073778376 140736988522560 18446744073709551615 228107266969 0 4 0 16800975 18446604455857490816 0 0 -1 5 0 0 0
[pid=32284/tid=32287] ppid=32282 vsize=8547580 CPUtime=0 cores=1,3,5,7
/proc/32284/task/32287/stat : 32287 (java) S 32282 32284 32284 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850292818 8752721920 19715 33554432000 1073741824 1073778376 140736988522560 18446744073709551615 228107266969 0 4 0 16800975 18446604455857490816 0 0 -1 5 0 0 0
[pid=32284/tid=32288] ppid=32282 vsize=8547580 CPUtime=0 cores=1,3,5,7
/proc/32284/task/32288/stat : 32288 (java) S 32282 32284 32284 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850292818 8752721920 19715 33554432000 1073741824 1073778376 140736988522560 18446744073709551615 228107266969 0 4 0 16800975 18446604455857490816 0 0 -1 5 0 0 0
[pid=32284/tid=32289] ppid=32282 vsize=8547580 CPUtime=0 cores=1,3,5,7
/proc/32284/task/32289/stat : 32289 (java) S 32282 32284 32284 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850292818 8752721920 19716 33554432000 1073741824 1073778376 140736988522560 18446744073709551615 228107266969 0 4 0 16800975 18446604455857490816 0 0 -1 5 0 0 0
[pid=32284/tid=32290] ppid=32282 vsize=8547580 CPUtime=0 cores=1,3,5,7
/proc/32284/task/32290/stat : 32290 (java) S 32282 32284 32284 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850292818 8752721920 19717 33554432000 1073741824 1073778376 140736988522560 18446744073709551615 228107266969 0 4 0 16800975 18446604455857490816 0 0 -1 5 0 0 0
[pid=32284/tid=32291] ppid=32282 vsize=8547580 CPUtime=0 cores=1,3,5,7
/proc/32284/task/32291/stat : 32291 (java) S 32282 32284 32284 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850292818 8752721920 19718 33554432000 1073741824 1073778376 140736988522560 18446744073709551615 228107266969 0 4 0 16800975 18446604455857490816 0 0 -1 5 0 0 0
[pid=32284/tid=32292] ppid=32282 vsize=8547580 CPUtime=0 cores=1,3,5,7
/proc/32284/task/32292/stat : 32292 (java) S 32282 32284 32284 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850292818 8752721920 19720 33554432000 1073741824 1073778376 140736988522560 18446744073709551615 228107266969 0 4 0 16800975 18446604455857490816 0 0 -1 5 0 0 0
[pid=32284/tid=32293] ppid=32282 vsize=8547580 CPUtime=0 cores=1,3,5,7
/proc/32284/task/32293/stat : 32293 (java) S 32282 32284 32284 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850292818 8752721920 19721 33554432000 1073741824 1073778376 140736988522560 18446744073709551615 228107266969 0 4 0 16800975 18446604455857490816 0 0 -1 5 0 0 0
[pid=32284/tid=32294] ppid=32282 vsize=8547580 CPUtime=0 cores=1,3,5,7
/proc/32284/task/32294/stat : 32294 (java) S 32282 32284 32284 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 850292819 8752721920 19723 33554432000 1073741824 1073778376 140736988522560 18446744073709551615 228107267584 0 0 0 16800975 18446604455857490816 0 0 -1 7 0 0 0
[pid=32284/tid=32295] ppid=32282 vsize=8547580 CPUtime=0 cores=1,3,5,7
/proc/32284/task/32295/stat : 32295 (java) S 32282 32284 32284 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 850292820 8752721920 19723 33554432000 1073741824 1073778376 140736988522560 18446744073709551615 228107266969 0 4 0 16800975 18446604455857490816 0 0 -1 7 0 0 0
[pid=32284/tid=32296] ppid=32282 vsize=8547580 CPUtime=0 cores=1,3,5,7
/proc/32284/task/32296/stat : 32296 (java) S 32282 32284 32284 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 850292820 8752721920 19725 33554432000 1073741824 1073778376 140736988522560 18446744073709551615 228107266969 0 4 0 16800975 18446604455857490816 0 0 -1 5 0 0 0
[pid=32284/tid=32297] ppid=32282 vsize=8547580 CPUtime=0 cores=1,3,5,7
/proc/32284/task/32297/stat : 32297 (java) S 32282 32284 32284 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850292822 8752721920 19726 33554432000 1073741824 1073778376 140736988522560 18446744073709551615 228107274673 0 4 0 16800975 18446604455857490816 0 0 -1 5 0 0 0
[pid=32284/tid=32298] ppid=32282 vsize=8547580 CPUtime=0.35 cores=1,3,5,7
/proc/32284/task/32298/stat : 32298 (java) R 32282 32284 32284 0 -1 4202560 5375 0 0 0 35 0 0 0 18 0 19 0 850292822 8752721920 19727 33554432000 1073741824 1073778376 140736988522560 18446744073709551615 47678674308214 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32284/tid=32299] ppid=32282 vsize=8547580 CPUtime=0.33 cores=1,3,5,7
/proc/32284/task/32299/stat : 32299 (java) R 32282 32284 32284 0 -1 4202560 4466 0 0 0 33 0 0 0 25 0 19 0 850292822 8752721920 19728 33554432000 1073741824 1073778376 140736988522560 18446744073709551615 47678670529321 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=32284/tid=32300] ppid=32282 vsize=8547580 CPUtime=0 cores=1,3,5,7
/proc/32284/task/32300/stat : 32300 (java) S 32282 32284 32284 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850292822 8752721920 19730 33554432000 1073741824 1073778376 140736988522560 18446744073709551615 228107266969 0 4 0 16800975 18446604455857490816 0 0 -1 7 0 0 0
[pid=32284/tid=32301] ppid=32282 vsize=8547580 CPUtime=0 cores=1,3,5,7
/proc/32284/task/32301/stat : 32301 (java) S 32282 32284 32284 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850292822 8752721920 19731 33554432000 1073741824 1073778376 140736988522560 18446744073709551615 228107267584 0 4 0 16800975 18446604455857490816 0 0 -1 5 0 0 0
[pid=32284/tid=32302] ppid=32282 vsize=8547580 CPUtime=0 cores=1,3,5,7
/proc/32284/task/32302/stat : 32302 (java) S 32282 32284 32284 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850292839 8752721920 19732 33554432000 1073741824 1073778376 140736988522560 18446744073709551615 228107267584 0 4 0 16800975 18446604455857490816 0 0 -1 7 0 0 0
[pid=32208/tid=32216] ppid=32206 vsize=345492 CPUtime=0 cores=1,3,5,7
/proc/32208/task/32216/stat : 32216 (python) S 32206 32208 30366 0 -1 4202560 34 1328 0 0 0 0 0 0 18 0 7 0 850259187 353783808 7424 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107274673 0 0 16781312 33554434 18446604469033572480 0 0 -1 7 0 0 0
[pid=32208/tid=32221] ppid=32206 vsize=345492 CPUtime=0 cores=1,3,5,7
/proc/32208/task/32221/stat : 32221 (python) S 32206 32208 30366 0 -1 4202560 28 1328 0 0 0 0 0 0 20 0 7 0 850264014 353783808 7424 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107274673 0 0 16781312 33554434 18446604469033572480 0 0 -1 3 0 0 0
[pid=32208/tid=32244] ppid=32206 vsize=345492 CPUtime=0 cores=1,3,5,7
/proc/32208/task/32244/stat : 32244 (python) S 32206 32208 30366 0 -1 4202560 30 1328 0 0 0 0 0 0 20 0 7 0 850268574 353783808 7424 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107274673 0 0 16781312 33554434 18446604469033572480 0 0 -1 3 0 0 0
[pid=32208/tid=32251] ppid=32206 vsize=345492 CPUtime=0 cores=1,3,5,7
/proc/32208/task/32251/stat : 32251 (python) S 32206 32208 30366 0 -1 4202560 29 1328 0 0 0 0 0 0 20 0 7 0 850278023 353783808 7424 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107274673 0 0 16781312 33554434 18446604469033572480 0 0 -1 3 0 0 0
[pid=32208/tid=32258] ppid=32206 vsize=345492 CPUtime=0 cores=1,3,5,7
/proc/32208/task/32258/stat : 32258 (python) S 32206 32208 30366 0 -1 4202560 30 1328 0 0 0 0 0 0 20 0 7 0 850287962 353783808 7424 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107274673 0 0 16781312 33554434 18446604469033572480 0 0 -1 3 0 0 0
[pid=32208/tid=32283] ppid=32206 vsize=345492 CPUtime=0 cores=1,3,5,7
/proc/32208/task/32283/stat : 32283 (python) S 32206 32208 30366 0 -1 4202560 33 1328 0 0 0 0 0 0 20 0 7 0 850292817 353783808 7424 33554432000 4194304 5683644 140734636931872 18446744073709551615 228107274673 0 0 16781312 33554434 18446604469033572480 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 340.78
Current children cumulated vsize (KiB) 19637596
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 32208 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=483926
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=172973
# CPU time returned by wait4() is 0.656899
# while last known CPU time is 340.78
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 337.695
CPU time (s): 340.78
CPU user time (s): 331.88
CPU system time (s): 8.9
CPU usage (%): 100.913
Max. virtual memory (cumulated for all children) (KiB): 19637596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.483926
system time used= 0.172973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16565
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= 3434
involuntary context switches= 24
runsolver used 2.32965 second user time and 5.10422 second system time
The end