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-3482276-1307578881/watcher-3482276-1307578881 -o /tmp/evaluation-result-3482276-1307578881/solver-3482276-1307578881 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482276-1307578881.opb -seed 1688592225 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.26 2.20 1.96 2/845 3230
/proc/meminfo: memFree=10247420/32951124 swapFree=53733252/67111528
[pid=3230] ppid=3228 vsize=15764 CPUtime=0 cores=0,2,4,6
/proc/3230/stat : 3230 (python) S 3228 3230 1117 0 -1 4202496 844 0 0 0 0 0 0 0 20 0 1 0 869488545 16142336 727 33554432000 4194304 5683644 140735397202816 18446744073709551615 253640857600 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/3230/statm: 3941 727 334 364 0 428 0
[startup+0.0687409 s]
/proc/loadavg: 2.26 2.20 1.96 2/845 3230
/proc/meminfo: memFree=10247420/32951124 swapFree=53733252/67111528
[pid=3230] ppid=3228 vsize=54508 CPUtime=0.04 cores=0,2,4,6
/proc/3230/stat : 3230 (python) R 3228 3230 1117 0 -1 4202496 2047 0 0 0 3 1 0 0 20 0 1 0 869488545 55816192 1806 33554432000 4194304 5683644 140735397202816 18446744073709551615 253640520389 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3230/statm: 13627 1806 492 364 0 1277 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 54508
[startup+0.100745 s]
/proc/loadavg: 2.26 2.20 1.96 2/845 3230
/proc/meminfo: memFree=10247420/32951124 swapFree=53733252/67111528
[pid=3230] ppid=3228 vsize=96128 CPUtime=0.07 cores=0,2,4,6
/proc/3230/stat : 3230 (python) R 3228 3230 1117 0 -1 4202496 3169 934 1 0 5 2 0 0 18 0 1 0 869488545 98435072 2483 33554432000 4194304 5683644 140735397202816 18446744073709551615 5158248 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3230/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.300726 s]
/proc/loadavg: 2.26 2.20 1.96 2/845 3230
/proc/meminfo: memFree=10247420/32951124 swapFree=53733252/67111528
[pid=3230] ppid=3228 vsize=203280 CPUtime=0.25 cores=0,2,4,6
/proc/3230/stat : 3230 (python) R 3228 3230 1117 0 -1 4202496 6725 934 1 0 17 8 0 0 17 0 1 0 869488545 208158720 5003 33554432000 4194304 5683644 140735397202816 18446744073709551615 253640902746 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3230/statm: 50820 5003 1472 364 0 3782 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 203280
[startup+0.700666 s]
/proc/loadavg: 2.26 2.20 1.96 2/845 3230
/proc/meminfo: memFree=10247420/32951124 swapFree=53733252/67111528
[pid=3230] ppid=3228 vsize=296132 CPUtime=0.62 cores=0,2,4,6
/proc/3230/stat : 3230 (python) R 3228 3230 1117 0 -1 4202496 12481 934 1 0 50 12 0 0 17 0 1 0 869488545 303239168 10343 33554432000 4194304 5683644 140735397202816 18446744073709551615 4297509 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3230/statm: 74033 10344 1781 364 0 8926 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 296132
[startup+1.50052 s]
/proc/loadavg: 2.24 2.19 1.96 3/846 3235
/proc/meminfo: memFree=10200292/32951124 swapFree=53733252/67111528
[pid=3230] ppid=3228 vsize=319332 CPUtime=1.43 cores=0,2,4,6
/proc/3230/stat : 3230 (python) R 3228 3230 1117 0 -1 4202496 24639 934 1 0 129 14 0 0 18 0 1 0 869488545 326995968 16179 33554432000 4194304 5683644 140735397202816 18446744073709551615 253644268481 0 0 16781312 33554434 0 0 0 17 2 0 0 0
/proc/3230/statm: 79833 16179 1815 364 0 14726 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 319332
[startup+3.10018 s]
/proc/loadavg: 2.24 2.19 1.96 3/846 3235
/proc/meminfo: memFree=10186156/32951124 swapFree=53733252/67111528
[pid=3230] ppid=3228 vsize=320772 CPUtime=3.03 cores=0,2,4,6
/proc/3230/stat : 3230 (python) R 3228 3230 1117 0 -1 4202496 25000 934 1 0 289 14 0 0 22 0 1 0 869488545 328470528 16540 33554432000 4194304 5683644 140735397202816 18446744073709551615 47499768679929 0 0 16781312 33554434 0 0 0 17 2 0 0 0
/proc/3230/statm: 80193 16540 1816 364 0 15086 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 320772
[startup+6.30065 s]
/proc/loadavg: 2.30 2.21 1.97 3/849 3238
/proc/meminfo: memFree=10147836/32951124 swapFree=53733252/67111528
[pid=3230] ppid=3228 vsize=333920 CPUtime=3.09 cores=0,2,4,6
/proc/3230/stat : 3230 (python) S 3228 3230 1117 0 -1 4202496 26005 934 1 0 294 15 0 0 24 0 2 0 869488545 341934080 17318 33554432000 4194304 5683644 140735397202816 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3230/statm: 83480 17318 1870 364 0 18367 0
[pid=3236] ppid=3230 vsize=323676 CPUtime=0.01 cores=0,2,4,6
/proc/3236/stat : 3236 (python) S 3230 3230 1117 0 -1 4202560 910 0 0 0 0 1 0 0 15 0 1 0 869488861 331444224 15819 33554432000 4194304 5683644 140735397202816 18446744073709551615 253640879631 0 0 16781312 33554946 4243810150990708995 0 0 17 6 0 0 0
/proc/3236/statm: 80919 15819 375 364 0 15806 0
[pid=3238] ppid=3236 vsize=45804 CPUtime=3.13 cores=0,2,4,6
/proc/3238/stat : 3238 (wbo1.4a) R 3236 3238 3238 0 -1 4202496 24307 0 0 0 309 4 0 0 25 0 1 0 869488861 46903296 10674 33554432000 134512640 135751879 4292432240 18446744073709551615 135211091 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/3238/statm: 11451 10674 146 303 0 11146 0
[pid=3230/tid=3237] ppid=3228 vsize=333920 CPUtime=0 cores=0,2,4,6
/proc/3230/task/3237/stat : 3237 (python) S 3228 3230 1117 0 -1 4202560 26 934 0 0 0 0 0 0 24 0 2 0 869488861 341934080 17318 33554432000 4194304 5683644 140735397202816 18446744073709551615 253652683185 0 0 16781312 33554434 18446604443015544960 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 703400
[startup+12.7005 s]
/proc/loadavg: 2.28 2.20 1.97 3/849 3238
/proc/meminfo: memFree=10127952/32951124 swapFree=53733252/67111528
[pid=3230] ppid=3228 vsize=333920 CPUtime=3.09 cores=0,2,4,6
/proc/3230/stat : 3230 (python) S 3228 3230 1117 0 -1 4202496 26005 934 1 0 294 15 0 0 24 0 2 0 869488545 341934080 17318 33554432000 4194304 5683644 140735397202816 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3230/statm: 83480 17318 1870 364 0 18367 0
[pid=3236] ppid=3230 vsize=323676 CPUtime=0.05 cores=0,2,4,6
/proc/3236/stat : 3236 (python) S 3230 3230 1117 0 -1 4202560 919 0 0 0 2 3 0 0 15 0 1 0 869488861 331444224 15819 33554432000 4194304 5683644 140735397202816 18446744073709551615 253640879631 0 0 16781312 33554946 4294934785 0 0 17 6 0 0 0
/proc/3236/statm: 80919 15819 375 364 0 15806 0
[pid=3238] ppid=3236 vsize=43164 CPUtime=9.54 cores=0,2,4,6
/proc/3238/stat : 3238 (wbo1.4a) R 3236 3238 3238 0 -1 4202496 28470 0 0 0 947 7 0 0 25 0 1 0 869488861 44199936 10142 33554432000 134512640 135751879 4292432240 18446744073709551615 134517424 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/3238/statm: 10791 10142 146 303 0 10486 0
[pid=3230/tid=3237] ppid=3228 vsize=333920 CPUtime=0 cores=0,2,4,6
/proc/3230/task/3237/stat : 3237 (python) S 3228 3230 1117 0 -1 4202560 26 934 0 0 0 0 0 0 24 0 2 0 869488861 341934080 17318 33554432000 4194304 5683644 140735397202816 18446744073709551615 253652683185 0 0 16781312 33554434 18446604443015544960 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 700760
[startup+25.5012 s]
/proc/loadavg: 2.21 2.19 1.97 3/853 3247
/proc/meminfo: memFree=10113568/32951124 swapFree=53733252/67111528
[pid=3230] ppid=3228 vsize=333920 CPUtime=3.09 cores=0,2,4,6
/proc/3230/stat : 3230 (python) S 3228 3230 1117 0 -1 4202496 26005 934 1 0 294 15 0 0 24 0 2 0 869488545 341934080 17318 33554432000 4194304 5683644 140735397202816 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3230/statm: 83480 17318 1870 364 0 18367 0
[pid=3236] ppid=3230 vsize=323676 CPUtime=0.12 cores=0,2,4,6
/proc/3236/stat : 3236 (python) S 3230 3230 1117 0 -1 4202560 922 0 0 0 6 6 0 0 15 0 1 0 869488861 331444224 15819 33554432000 4194304 5683644 140735397202816 18446744073709551615 253640879631 0 0 16781312 33554946 4294934785 0 0 17 6 0 0 0
/proc/3236/statm: 80919 15819 375 364 0 15806 0
[pid=3238] ppid=3236 vsize=52196 CPUtime=22.33 cores=0,2,4,6
/proc/3238/stat : 3238 (wbo1.4a) R 3236 3238 3238 0 -1 4202496 32352 0 0 0 2222 11 0 0 25 0 1 0 869488861 53448704 12411 33554432000 134512640 135751879 4292432240 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/3238/statm: 13049 12411 146 303 0 12744 0
[pid=3230/tid=3237] ppid=3228 vsize=333920 CPUtime=0 cores=0,2,4,6
/proc/3230/task/3237/stat : 3237 (python) S 3228 3230 1117 0 -1 4202560 26 934 0 0 0 0 0 0 24 0 2 0 869488861 341934080 17318 33554432000 4194304 5683644 140735397202816 18446744073709551615 253652683185 0 0 16781312 33554434 18446604443015544960 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 709792
[startup+51.1005 s]
/proc/loadavg: 2.21 2.19 1.97 3/853 3247
/proc/meminfo: memFree=10087288/32951124 swapFree=53733252/67111528
[pid=3230] ppid=3228 vsize=333920 CPUtime=3.09 cores=0,2,4,6
/proc/3230/stat : 3230 (python) S 3228 3230 1117 0 -1 4202496 26005 934 1 0 294 15 0 0 24 0 2 0 869488545 341934080 17318 33554432000 4194304 5683644 140735397202816 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3230/statm: 83480 17318 1870 364 0 18367 0
[pid=3236] ppid=3230 vsize=323676 CPUtime=0.25 cores=0,2,4,6
/proc/3236/stat : 3236 (python) S 3230 3230 1117 0 -1 4202560 930 0 0 0 12 13 0 0 15 0 1 0 869488861 331444224 15819 33554432000 4194304 5683644 140735397202816 18446744073709551615 253640879631 0 0 16781312 33554946 4294934785 0 0 17 6 0 0 0
/proc/3236/statm: 80919 15819 375 364 0 15806 0
[pid=3238] ppid=3236 vsize=67232 CPUtime=47.93 cores=0,2,4,6
/proc/3238/stat : 3238 (wbo1.4a) R 3236 3238 3238 0 -1 4202496 37007 0 0 0 4774 19 0 0 25 0 1 0 869488861 68845568 16163 33554432000 134512640 135751879 4292432240 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/3238/statm: 16808 16163 146 303 0 16503 0
[pid=3230/tid=3237] ppid=3228 vsize=333920 CPUtime=0 cores=0,2,4,6
/proc/3230/task/3237/stat : 3237 (python) S 3228 3230 1117 0 -1 4202560 26 934 0 0 0 0 0 0 24 0 2 0 869488861 341934080 17318 33554432000 4194304 5683644 140735397202816 18446744073709551615 253652683185 0 0 16781312 33554434 18446604443015544960 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 51.27
Current children cumulated vsize (KiB) 724828
[startup+102.324 s]
/proc/loadavg: 2.29 2.21 1.99 3/879 3276
/proc/meminfo: memFree=8608924/32951124 swapFree=53733252/67111528
[pid=3230] ppid=3228 vsize=354432 CPUtime=3.14 cores=0,2,4,6
/proc/3230/stat : 3230 (python) S 3228 3230 1117 0 -1 4202496 27735 934 1 0 299 15 0 0 20 0 4 0 869488545 362938368 17331 33554432000 4194304 5683644 140735397202816 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/3230/statm: 88608 17331 1875 364 0 23489 0
[pid=3236] ppid=3230 vsize=333920 CPUtime=0.27 cores=0,2,4,6
/proc/3236/stat : 3236 (python) S 3230 3230 1117 0 -1 4202560 1090 0 0 0 13 14 0 0 16 0 2 0 869488861 341934080 15855 33554432000 4194304 5683644 140735397202816 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3236/statm: 83480 15855 406 364 0 18367 0
[pid=3238] ppid=3236 vsize=67232 CPUtime=48.04 cores=0,2,4,6
/proc/3238/stat : 3238 (wbo1.4a) T 3236 3238 3238 0 -1 4202496 37007 0 0 0 4785 19 0 0 25 0 1 0 869488861 68845568 16163 33554432000 134512640 135751879 4292432240 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/3238/statm: 16808 16163 146 303 0 16503 0
[pid=3236/tid=3249] ppid=3230 vsize=333920 CPUtime=0 cores=0,2,4,6
/proc/3236/task/3249/stat : 3249 (python) S 3230 3230 1117 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869493666 341934080 15855 33554432000 4194304 5683644 140735397202816 18446744073709551615 253652683185 0 0 16781312 33554946 18446604449436355264 0 0 -1 6 0 0 0
[pid=3250] ppid=3230 vsize=333932 CPUtime=0.25 cores=0,2,4,6
/proc/3250/stat : 3250 (python) S 3230 3230 1117 0 -1 4202560 1121 0 0 0 13 12 0 0 17 0 2 0 869493669 341946368 15845 33554432000 4194304 5683644 140735397202816 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/3250/statm: 83483 15845 396 364 0 18367 0
[pid=3252] ppid=3250 vsize=877700 CPUtime=47.35 cores=0,2,4,6
/proc/3252/stat : 3252 (scip-2.0.1.linu) T 3250 3252 3252 0 -1 4202496 216113 0 0 0 4667 68 0 0 25 0 1 0 869493669 898764800 211984 33554432000 4194304 13684479 140734200655568 18446744073709551615 5110634 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/3252/statm: 219425 211984 660 2317 0 217103 0
[pid=3250/tid=3255] ppid=3230 vsize=333932 CPUtime=0 cores=0,2,4,6
/proc/3250/task/3255/stat : 3255 (python) S 3230 3230 1117 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869498408 341946368 15845 33554432000 4194304 5683644 140735397202816 18446744073709551615 253652683185 0 0 16781312 33554946 18446604446527424576 0 0 -1 4 0 0 0
[pid=3256] ppid=3230 vsize=344188 CPUtime=0 cores=0,2,4,6
/proc/3256/stat : 3256 (python) S 3230 3230 1117 0 -1 4202560 797 0 0 0 0 0 0 0 15 0 1 0 869498410 352448512 15800 33554432000 4194304 5683644 140735397202816 18446744073709551615 253640879686 0 0 16781312 33554946 4294934786 0 0 17 6 0 0 0
/proc/3256/statm: 86047 15800 348 364 0 20928 0
[pid=3258] ppid=3256 vsize=8552336 CPUtime=5.99 cores=0,2,4,6
/proc/3258/stat : 3258 (java) S 3256 3258 3258 0 -1 4202496 161992 0 1 0 579 20 0 0 20 0 19 0 869498411 8757592064 155032 33554432000 1073741824 1073778376 140736453997328 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3258/statm: 2138084 155032 2244 9 0 2128825 0
[pid=3258/tid=3259] ppid=3256 vsize=8552336 CPUtime=3.54 cores=0,2,4,6
/proc/3258/task/3259/stat : 3259 (java) R 3256 3258 3258 0 -1 4202560 120062 0 1 0 341 13 0 0 23 0 19 0 869498412 8757592064 155032 33554432000 1073741824 1073778376 140736453997328 18446744073709551615 46912506045299 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3258/tid=3260] ppid=3256 vsize=8552336 CPUtime=0.01 cores=0,2,4,6
/proc/3258/task/3260/stat : 3260 (java) S 3256 3258 3258 0 -1 4202560 806 0 0 0 1 0 0 0 15 0 19 0 869498412 8757592064 155032 33554432000 1073741824 1073778376 140736453997328 18446744073709551615 253652675481 0 4 0 16800975 18446604449812701568 0 0 -1 2 0 0 0
[pid=3258/tid=3261] ppid=3256 vsize=8552336 CPUtime=0.02 cores=0,2,4,6
/proc/3258/task/3261/stat : 3261 (java) S 3256 3258 3258 0 -1 4202560 2002 0 0 0 2 0 0 0 15 0 19 0 869498412 8757592064 155032 33554432000 1073741824 1073778376 140736453997328 18446744073709551615 253652675481 0 4 0 16800975 18446604449812701568 0 0 -1 6 0 0 0
[pid=3258/tid=3262] ppid=3256 vsize=8552336 CPUtime=0 cores=0,2,4,6
/proc/3258/task/3262/stat : 3262 (java) S 3256 3258 3258 0 -1 4202560 743 0 0 0 0 0 0 0 15 0 19 0 869498412 8757592064 155032 33554432000 1073741824 1073778376 140736453997328 18446744073709551615 253652675481 0 4 0 16800975 18446604449812701568 0 0 -1 0 0 0 0
[pid=3258/tid=3263] ppid=3256 vsize=8552336 CPUtime=0.05 cores=0,2,4,6
/proc/3258/task/3263/stat : 3263 (java) S 3256 3258 3258 0 -1 4202560 4332 0 0 0 5 0 0 0 15 0 19 0 869498412 8757592064 155032 33554432000 1073741824 1073778376 140736453997328 18446744073709551615 253652675481 0 4 0 16800975 18446604449812701568 0 0 -1 4 0 0 0
[pid=3258/tid=3264] ppid=3256 vsize=8552336 CPUtime=0.03 cores=0,2,4,6
/proc/3258/task/3264/stat : 3264 (java) S 3256 3258 3258 0 -1 4202560 3228 0 0 0 3 0 0 0 16 0 19 0 869498412 8757592064 155032 33554432000 1073741824 1073778376 140736453997328 18446744073709551615 253652675481 0 4 0 16800975 18446604449812701568 0 0 -1 6 0 0 0
[pid=3258/tid=3265] ppid=3256 vsize=8552336 CPUtime=0.04 cores=0,2,4,6
/proc/3258/task/3265/stat : 3265 (java) S 3256 3258 3258 0 -1 4202560 3646 0 0 0 4 0 0 0 16 0 19 0 869498412 8757592064 155032 33554432000 1073741824 1073778376 140736453997328 18446744073709551615 253652675481 0 4 0 16800975 18446604449812701568 0 0 -1 2 0 0 0
[pid=3258/tid=3266] ppid=3256 vsize=8552336 CPUtime=0.04 cores=0,2,4,6
/proc/3258/task/3266/stat : 3266 (java) S 3256 3258 3258 0 -1 4202560 4646 0 0 0 4 0 0 0 16 0 19 0 869498412 8757592064 155032 33554432000 1073741824 1073778376 140736453997328 18446744073709551615 253652675481 0 4 0 16800975 18446604449812701568 0 0 -1 4 0 0 0
[pid=3258/tid=3267] ppid=3256 vsize=8552336 CPUtime=0.06 cores=0,2,4,6
/proc/3258/task/3267/stat : 3267 (java) S 3256 3258 3258 0 -1 4202560 5486 0 0 0 6 0 0 0 16 0 19 0 869498412 8757592064 155032 33554432000 1073741824 1073778376 140736453997328 18446744073709551615 253652675481 0 4 0 16800975 18446604449812701568 0 0 -1 0 0 0 0
[pid=3258/tid=3268] ppid=3256 vsize=8552336 CPUtime=0 cores=0,2,4,6
/proc/3258/task/3268/stat : 3268 (java) S 3256 3258 3258 0 -1 4202560 462 0 0 0 0 0 0 0 15 0 19 0 869498413 8757592064 155032 33554432000 1073741824 1073778376 140736453997328 18446744073709551615 253652676096 0 0 0 16800975 18446604449812701568 0 0 -1 6 0 0 0
[pid=3258/tid=3269] ppid=3256 vsize=8552336 CPUtime=0 cores=0,2,4,6
/proc/3258/task/3269/stat : 3269 (java) S 3256 3258 3258 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869498414 8757592064 155032 33554432000 1073741824 1073778376 140736453997328 18446744073709551615 253652675481 0 4 0 16800975 18446604449812701568 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=3450/tid=3463] ppid=3448 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/3450/task/3463/stat : 3463 (java) S 3448 3450 3450 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 869512262 8743235584 16527 33554432000 1073741824 1073778376 140733332336784 18446744073709551615 253652675481 0 4 0 16800975 18446604440617285568 0 0 -1 2 0 0 0
[pid=3450/tid=3464] ppid=3448 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/3450/task/3464/stat : 3464 (java) S 3448 3450 3450 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869512264 8743235584 16529 33554432000 1073741824 1073778376 140733332336784 18446744073709551615 253652683185 0 4 0 16800975 18446604440617285568 0 0 -1 2 0 0 0
[pid=3450/tid=3465] ppid=3448 vsize=8538316 CPUtime=0.17 cores=0,2,4,6
/proc/3450/task/3465/stat : 3465 (java) R 3448 3450 3450 0 -1 4202560 2166 0 0 0 17 0 0 0 17 0 18 0 869512264 8743235584 16532 33554432000 1073741824 1073778376 140733332336784 18446744073709551615 47238999284449 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3450/tid=3466] ppid=3448 vsize=8538316 CPUtime=0.2 cores=0,2,4,6
/proc/3450/task/3466/stat : 3466 (java) R 3448 3450 3450 0 -1 4202560 2423 0 0 0 20 0 0 0 16 0 18 0 869512264 8743235584 16534 33554432000 1073741824 1073778376 140733332336784 18446744073709551615 47238999095641 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3450/tid=3467] ppid=3448 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/3450/task/3467/stat : 3467 (java) S 3448 3450 3450 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869512264 8743235584 16524 33554432000 1073741824 1073778376 140733332336784 18446744073709551615 253652675481 0 4 0 16800975 18446604440617285568 0 0 -1 2 0 0 0
[pid=3450/tid=3468] ppid=3448 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/3450/task/3468/stat : 3468 (java) R 3448 3450 3450 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869512264 8743235584 16528 33554432000 1073741824 1073778376 140733332336784 18446744073709551615 253640515475 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3230/tid=3237] ppid=3228 vsize=374944 CPUtime=0 cores=0,2,4,6
/proc/3230/task/3237/stat : 3237 (python) S 3228 3230 1117 0 -1 4202560 26 934 0 0 0 0 0 0 24 0 6 0 869488861 383942656 17343 33554432000 4194304 5683644 140735397202816 18446744073709551615 253652683185 0 0 16781312 33554434 18446604443015544960 0 0 -1 6 0 0 0
[pid=3230/tid=3251] ppid=3228 vsize=374944 CPUtime=0 cores=0,2,4,6
/proc/3230/task/3251/stat : 3251 (python) S 3228 3230 1117 0 -1 4202560 26 934 0 0 0 0 0 0 20 0 6 0 869493669 383942656 17343 33554432000 4194304 5683644 140735397202816 18446744073709551615 253652683185 0 0 16781312 33554434 18446604443015544960 0 0 -1 0 0 0 0
[pid=3230/tid=3257] ppid=3228 vsize=374944 CPUtime=0 cores=0,2,4,6
/proc/3230/task/3257/stat : 3257 (python) S 3228 3230 1117 0 -1 4202560 32 934 0 0 0 0 0 0 20 0 6 0 869498411 383942656 17343 33554432000 4194304 5683644 140735397202816 18446744073709551615 253652683185 0 0 16781312 33554434 18446604443015544960 0 0 -1 2 0 0 0
[pid=3230/tid=3395] ppid=3228 vsize=374944 CPUtime=0 cores=0,2,4,6
/proc/3230/task/3395/stat : 3395 (python) S 3228 3230 1117 0 -1 4202560 31 934 0 0 0 0 0 0 20 0 6 0 869502965 383942656 17343 33554432000 4194304 5683644 140735397202816 18446744073709551615 253652683185 0 0 16781312 33554434 18446604443015544960 0 0 -1 6 0 0 0
[pid=3230/tid=3449] ppid=3228 vsize=374944 CPUtime=0 cores=0,2,4,6
/proc/3230/task/3449/stat : 3449 (python) S 3228 3230 1117 0 -1 4202560 29 934 0 0 0 0 0 0 20 0 6 0 869512259 383942656 17343 33554432000 4194304 5683644 140735397202816 18446744073709551615 253652683185 0 0 16781312 33554434 18446604443015544960 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 242.11
Current children cumulated vsize (KiB) 20170288
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+237.502 s]
/proc/loadavg: 2.06 2.20 2.01 6/907 3468
/proc/meminfo: memFree=6012864/32951124 swapFree=53733252/67111528
[pid=3230] ppid=3228 vsize=374944 CPUtime=3.2 cores=0,2,4,6
/proc/3230/stat : 3230 (python) S 3228 3230 1117 0 -1 4202496 29548 934 1 0 304 16 0 0 20 0 6 0 869488545 383942656 17343 33554432000 4194304 5683644 140735397202816 18446744073709551615 253652686283 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/3230/statm: 93736 17343 1879 364 0 28611 0
[pid=3236] ppid=3230 vsize=333920 CPUtime=0.27 cores=0,2,4,6
/proc/3236/stat : 3236 (python) S 3230 3230 1117 0 -1 4202560 1090 0 0 0 13 14 0 0 16 0 2 0 869488861 341934080 15855 33554432000 4194304 5683644 140735397202816 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3236/statm: 83480 15855 406 364 0 18367 0
[pid=3238] ppid=3236 vsize=67232 CPUtime=48.04 cores=0,2,4,6
/proc/3238/stat : 3238 (wbo1.4a) T 3236 3238 3238 0 -1 4202496 37007 0 0 0 4785 19 0 0 25 0 1 0 869488861 68845568 16163 33554432000 134512640 135751879 4292432240 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/3238/statm: 16808 16163 146 303 0 16503 0
[pid=3236/tid=3249] ppid=3230 vsize=333920 CPUtime=0 cores=0,2,4,6
/proc/3236/task/3249/stat : 3249 (python) S 3230 3230 1117 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869493666 341934080 15855 33554432000 4194304 5683644 140735397202816 18446744073709551615 253652683185 0 0 16781312 33554946 18446604449436355264 0 0 -1 6 0 0 0
[pid=3250] ppid=3230 vsize=333932 CPUtime=0.25 cores=0,2,4,6
/proc/3250/stat : 3250 (python) S 3230 3230 1117 0 -1 4202560 1121 0 0 0 13 12 0 0 17 0 2 0 869493669 341946368 15845 33554432000 4194304 5683644 140735397202816 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/3250/statm: 83483 15845 396 364 0 18367 0
[pid=3252] ppid=3250 vsize=877700 CPUtime=47.35 cores=0,2,4,6
/proc/3252/stat : 3252 (scip-2.0.1.linu) T 3250 3252 3252 0 -1 4202496 216113 0 0 0 4667 68 0 0 25 0 1 0 869493669 898764800 211984 33554432000 4194304 13684479 140734200655568 18446744073709551615 5110634 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/3252/statm: 219425 211984 660 2317 0 217103 0
[pid=3250/tid=3255] ppid=3230 vsize=333932 CPUtime=0 cores=0,2,4,6
/proc/3250/task/3255/stat : 3255 (python) S 3230 3230 1117 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869498408 341946368 15845 33554432000 4194304 5683644 140735397202816 18446744073709551615 253652683185 0 0 16781312 33554946 18446604446527424576 0 0 -1 4 0 0 0
[pid=3256] ppid=3230 vsize=344188 CPUtime=0.25 cores=0,2,4,6
/proc/3256/stat : 3256 (python) S 3230 3230 1117 0 -1 4202560 1118 0 0 0 11 14 0 0 16 0 2 0 869498410 352448512 15849 33554432000 4194304 5683644 140735397202816 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3256/statm: 86047 15849 396 364 0 20928 0
[pid=3258] ppid=3256 vsize=8552336 CPUtime=48.62 cores=0,2,4,6
/proc/3258/stat : 3258 (java) T 3256 3258 3258 0 -1 4202496 718098 0 1 0 4778 84 0 0 18 0 19 0 869498411 8757592064 705950 33554432000 1073741824 1073778376 140736453997328 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3258/statm: 2138084 705950 2263 9 0 2128825 0
[pid=3258/tid=3259] ppid=3256 vsize=8552336 CPUtime=45.04 cores=0,2,4,6
/proc/3258/task/3259/stat : 3259 (java) T 3256 3258 3258 0 -1 4202560 632936 0 1 0 4434 70 0 0 25 0 19 0 869498412 8757592064 705950 33554432000 1073741824 1073778376 140736453997328 18446744073709551615 46912506099145 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3258/tid=3260] ppid=3256 vsize=8552336 CPUtime=0.08 cores=0,2,4,6
/proc/3258/task/3260/stat : 3260 (java) T 3256 3258 3258 0 -1 4202560 6295 0 0 0 8 0 0 0 15 0 19 0 869498412 8757592064 705950 33554432000 1073741824 1073778376 140736453997328 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3258/tid=3261] ppid=3256 vsize=8552336 CPUtime=0.12 cores=0,2,4,6
/proc/3258/task/3261/stat : 3261 (java) T 3256 3258 3258 0 -1 4202560 7985 0 0 0 12 0 0 0 15 0 19 0 869498412 8757592064 705950 33554432000 1073741824 1073778376 140736453997328 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3258/tid=3262] ppid=3256 vsize=8552336 CPUtime=0.08 cores=0,2,4,6
/proc/3258/task/3262/stat : 3262 (java) T 3256 3258 3258 0 -1 4202560 6408 0 0 0 8 0 0 0 15 0 19 0 869498412 8757592064 705950 33554432000 1073741824 1073778376 140736453997328 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3258/tid=3263] ppid=3256 vsize=8552336 CPUtime=0.1 cores=0,2,4,6
/proc/3258/task/3263/stat : 3263 (java) T 3256 3258 3258 0 -1 4202560 7191 0 0 0 9 1 0 0 15 0 19 0 869498412 8757592064 705950 33554432000 1073741824 1073778376 140736453997328 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3258/tid=3264] ppid=3256 vsize=8552336 CPUtime=0.09 cores=0,2,4,6
/proc/3258/task/3264/stat : 3264 (java) T 3256 3258 3258 0 -1 4202560 6413 0 0 0 8 1 0 0 15 0 19 0 869498412 8757592064 705950 33554432000 1073741824 1073778376 140736453997328 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3258/tid=3265] ppid=3256 vsize=8552336 CPUtime=0.14 cores=0,2,4,6
/proc/3258/task/3265/stat : 3265 (java) T 3256 3258 3258 0 -1 4202560 11346 0 0 0 13 1 0 0 15 0 19 0 869498412 8757592064 705950 33554432000 1073741824 1073778376 140736453997328 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3258/tid=3266] ppid=3256 vsize=8552336 CPUtime=0.11 cores=0,2,4,6
/proc/3258/task/3266/stat : 3266 (java) T 3256 3258 3258 0 -1 4202560 9681 0 0 0 10 1 0 0 15 0 19 0 869498412 8757592064 705950 33554432000 1073741824 1073778376 140736453997328 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3258/tid=3267] ppid=3256 vsize=8552336 CPUtime=0.13 cores=0,2,4,6
/proc/3258/task/3267/stat : 3267 (java) T 3256 3258 3258 0 -1 4202560 10172 0 0 0 12 1 0 0 15 0 19 0 869498412 8757592064 705950 33554432000 1073741824 1073778376 140736453997328 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3258/tid=3268] ppid=3256 vsize=8552336 CPUtime=0.16 cores=0,2,4,6
/proc/3258/task/3268/stat : 3268 (java) T 3256 3258 3258 0 -1 4202560 3072 0 0 0 16 0 0 0 15 0 19 0 869498413 8757592064 705950 33554432000 1073741824 1073778376 140736453997328 18446744073709551615 253652676096 0 0 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3258/tid=3269] ppid=3256 vsize=8552336 CPUtime=0 cores=0,2,4,6
/proc/3258/task/3269/stat : 3269 (java) T 3256 3258 3258 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869498414 8757592064 705950 33554432000 1073741824 1073778376 140736453997328 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3258/tid=3270] ppid=3256 vsize=8552336 CPUtime=0 cores=0,2,4,6
/proc/3258/task/3270/stat : 3270 (java) T 3256 3258 3258 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 869498414 8757592064 705950 33554432000 1073741824 1073778376 140736453997328 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3258/tid=3271] ppid=3256 vsize=8552336 CPUtime=0 cores=0,2,4,6
/proc/3258/task/3271/stat : 3271 (java) T 3256 3258 3258 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869498416 8757592064 705950 33554432000 1073741824 1073778376 140736453997328 18446744073709551615 253652683185 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3258/tid=3272] ppid=3256 vsize=8552336 CPUtime=1.13 cores=0,2,4,6
/proc/3258/task/3272/stat : 3272 (java) T 3256 3258 3258 0 -1 4202560 7270 0 0 0 112 1 0 0 15 0 19 0 869498416 8757592064 705950 33554432000 1073741824 1073778376 140736453997328 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3258/tid=3273] ppid=3256 vsize=8552336 CPUtime=1.3 cores=0,2,4,6
/proc/3258/task/3273/stat : 3273 (java) T 3256 3258 3258 0 -1 4202560 7933 0 0 0 130 0 0 0 15 0 19 0 869498416 8757592064 705950 33554432000 1073741824 1073778376 140736453997328 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3258/tid=3274] ppid=3256 vsize=8552336 CPUtime=0 cores=0,2,4,6
/proc/3258/task/3274/stat : 3274 (java) T 3256 3258 3258 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 869498416 8757592064 705950 33554432000 1073741824 1073778376 140736453997328 18446744073709551615 253652675481 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3258/tid=3275] ppid=3256 vsize=8552336 CPUtime=0 cores=0,2,4,6
/proc/3258/task/3275/stat : 3275 (java) T 3256 3258 3258 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869498416 8757592064 705950 33554432000 1073741824 1073778376 140736453997328 18446744073709551615 253652676096 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3258/tid=3276] ppid=3256 vsize=8552336 CPUtime=0 cores=0,2,4,6
/proc/3258/task/3276/stat : 3276 (java) T 3256 3258 3258 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869498540 8757592064 705950 33554432000 1073741824 1073778376 140736453997328 18446744073709551615 253652676096 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3256/tid=3393] ppid=3230 vsize=344188 CPUtime=0 cores=0,2,4,6
/proc/3256/task/3393/stat : 3393 (python) S 3230 3230 1117 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869502962 352448512 15849 33554432000 4194304 5683644 140735397202816 18446744073709551615 253652683185 0 0 16781312 33554946 18446604447305761024 0 0 -1 6 0 0 0
[pid=3394] ppid=3230 vsize=354444 CPUtime=0.48 cores=0,2,4,6
/proc/3394/stat : 3394 (python) S 3230 3230 1117 0 -1 4202560 1191 0 0 0 24 24 0 0 16 0 2 0 869502965 362950656 15853 33554432000 4194304 5683644 140735397202816 18446744073709551615 253652686283 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/3394/statm: 88611 15853 396 364 0 23489 0
[pid=3397] ppid=3394 vsize=28576 CPUtime=92.91 cores=0,2,4,6
/proc/3397/stat : 3397 (clasp-1.3.7-x86) T 3394 3397 3397 0 -1 4202496 8855 0 0 0 9289 2 0 0 25 0 1 0 869502965 29261824 6851 33554432000 134512640 136139019 4289789936 18446744073709551615 134883415 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/3397/statm: 7144 6851 190 398 0 6744 0
[pid=3394/tid=3447] ppid=3230 vsize=354444 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3447/stat : 3447 (python) S 3230 3230 1117 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869512257 362950656 15853 33554432000 4194304 5683644 140735397202816 18446744073709551615 253652683185 0 0 16781312 33554946 18446604441206560896 0 0 -1 4 0 0 0
[pid=3448] ppid=3230 vsize=364700 CPUtime=0 cores=0,2,4,6
/proc/3448/stat : 3448 (python) S 3230 3230 1117 0 -1 4202560 796 0 0 0 0 0 0 0 19 0 1 0 869512259 373452800 15808 33554432000 4194304 5683644 140735397202816 18446744073709551615 253640879686 0 0 16781312 33554946 3943486383884042498 0 0 17 0 0 0 0
/proc/3448/statm: 91175 15808 348 364 0 26050 0
[pid=3450] ppid=3448 vsize=8538316 CPUtime=0.74 cores=0,2,4,6
/proc/3450/stat : 3450 (java) S 3448 3450 3450 0 -1 4202496 16765 0 1 0 72 2 0 0 20 0 18 0 869512259 8743235584 14866 33554432000 1073741824 1073778376 140733332336784 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3450/statm: 2134579 14868 2205 9 0 2125320 0
[pid=3450/tid=3451] ppid=3448 vsize=8538316 CPUtime=0.39 cores=0,2,4,6
/proc/3450/task/3451/stat : 3451 (java) R 3448 3450 3450 0 -1 4202560 12534 0 1 0 37 2 0 0 18 0 18 0 869512260 8743235584 16502 33554432000 1073741824 1073778376 140733332336784 18446744073709551615 46912505616567 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=3450/tid=3453] ppid=3448 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/3450/task/3453/stat : 3453 (java) S 3448 3450 3450 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869512261 8743235584 16505 33554432000 1073741824 1073778376 140733332336784 18446744073709551615 253652675481 0 4 0 16800975 18446604440617285568 0 0 -1 6 0 0 0
[pid=3450/tid=3454] ppid=3448 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/3450/task/3454/stat : 3454 (java) S 3448 3450 3450 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869512261 8743235584 16505 33554432000 1073741824 1073778376 140733332336784 18446744073709551615 253652675481 0 4 0 16800975 18446604440617285568 0 0 -1 6 0 0 0
[pid=3450/tid=3455] ppid=3448 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/3450/task/3455/stat : 3455 (java) S 3448 3450 3450 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869512261 8743235584 16506 33554432000 1073741824 1073778376 140733332336784 18446744073709551615 253652675481 0 4 0 16800975 18446604440617285568 0 0 -1 6 0 0 0
[pid=3450/tid=3456] ppid=3448 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/3450/task/3456/stat : 3456 (java) S 3448 3450 3450 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869512261 8743235584 16509 33554432000 1073741824 1073778376 140733332336784 18446744073709551615 253652675481 0 4 0 16800975 18446604440617285568 0 0 -1 4 0 0 0
[pid=3450/tid=3457] ppid=3448 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/3450/task/3457/stat : 3457 (java) S 3448 3450 3450 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869512261 8743235584 16511 33554432000 1073741824 1073778376 140733332336784 18446744073709551615 253652675481 0 4 0 16800975 18446604440617285568 0 0 -1 4 0 0 0
[pid=3450/tid=3458] ppid=3448 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/3450/task/3458/stat : 3458 (java) S 3448 3450 3450 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869512261 8743235584 16514 33554432000 1073741824 1073778376 140733332336784 18446744073709551615 253652675481 0 4 0 16800975 18446604440617285568 0 0 -1 4 0 0 0
[pid=3450/tid=3459] ppid=3448 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/3450/task/3459/stat : 3459 (java) S 3448 3450 3450 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869512261 8743235584 16516 33554432000 1073741824 1073778376 140733332336784 18446744073709551615 253652675481 0 4 0 16800975 18446604440617285568 0 0 -1 4 0 0 0
[pid=3450/tid=3460] ppid=3448 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/3450/task/3460/stat : 3460 (java) S 3448 3450 3450 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869512261 8743235584 16519 33554432000 1073741824 1073778376 140733332336784 18446744073709551615 253652675481 0 4 0 16800975 18446604440617285568 0 0 -1 4 0 0 0
[pid=3450/tid=3461] ppid=3448 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/3450/task/3461/stat : 3461 (java) S 3448 3450 3450 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869512262 8743235584 16521 33554432000 1073741824 1073778376 140733332336784 18446744073709551615 253652676096 0 0 0 16800975 18446604440617285568 0 0 -1 2 0 0 0
[pid=3450/tid=3462] ppid=3448 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/3450/task/3462/stat : 3462 (java) S 3448 3450 3450 0 -1 4202560 9 0 0 0 0 0 0 0 25 0 18 0 869512262 8743235584 16524 33554432000 1073741824 1073778376 140733332336784 18446744073709551615 253652675481 0 4 0 16800975 18446604440617285568 0 0 -1 4 0 0 0
[pid=3450/tid=3463] ppid=3448 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/3450/task/3463/stat : 3463 (java) S 3448 3450 3450 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 869512262 8743235584 16527 33554432000 1073741824 1073778376 140733332336784 18446744073709551615 253652675481 0 4 0 16800975 18446604440617285568 0 0 -1 2 0 0 0
[pid=3450/tid=3464] ppid=3448 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/3450/task/3464/stat : 3464 (java) S 3448 3450 3450 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869512264 8743235584 16529 33554432000 1073741824 1073778376 140733332336784 18446744073709551615 253652683185 0 4 0 16800975 18446604440617285568 0 0 -1 2 0 0 0
[pid=3450/tid=3465] ppid=3448 vsize=8538316 CPUtime=0.17 cores=0,2,4,6
/proc/3450/task/3465/stat : 3465 (java) R 3448 3450 3450 0 -1 4202560 2166 0 0 0 17 0 0 0 17 0 18 0 869512264 8743235584 16532 33554432000 1073741824 1073778376 140733332336784 18446744073709551615 47238999284449 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3450/tid=3466] ppid=3448 vsize=8538316 CPUtime=0.2 cores=0,2,4,6
/proc/3450/task/3466/stat : 3466 (java) R 3448 3450 3450 0 -1 4202560 2423 0 0 0 20 0 0 0 16 0 18 0 869512264 8743235584 16534 33554432000 1073741824 1073778376 140733332336784 18446744073709551615 47238999095641 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3450/tid=3467] ppid=3448 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/3450/task/3467/stat : 3467 (java) S 3448 3450 3450 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869512264 8743235584 16524 33554432000 1073741824 1073778376 140733332336784 18446744073709551615 253652675481 0 4 0 16800975 18446604440617285568 0 0 -1 2 0 0 0
[pid=3450/tid=3468] ppid=3448 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/3450/task/3468/stat : 3468 (java) R 3448 3450 3450 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869512264 8743235584 16528 33554432000 1073741824 1073778376 140733332336784 18446744073709551615 253640515475 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3230/tid=3237] ppid=3228 vsize=374944 CPUtime=0 cores=0,2,4,6
/proc/3230/task/3237/stat : 3237 (python) S 3228 3230 1117 0 -1 4202560 26 934 0 0 0 0 0 0 24 0 6 0 869488861 383942656 17343 33554432000 4194304 5683644 140735397202816 18446744073709551615 253652683185 0 0 16781312 33554434 18446604443015544960 0 0 -1 6 0 0 0
[pid=3230/tid=3251] ppid=3228 vsize=374944 CPUtime=0 cores=0,2,4,6
/proc/3230/task/3251/stat : 3251 (python) S 3228 3230 1117 0 -1 4202560 26 934 0 0 0 0 0 0 20 0 6 0 869493669 383942656 17343 33554432000 4194304 5683644 140735397202816 18446744073709551615 253652683185 0 0 16781312 33554434 18446604443015544960 0 0 -1 0 0 0 0
[pid=3230/tid=3257] ppid=3228 vsize=374944 CPUtime=0 cores=0,2,4,6
/proc/3230/task/3257/stat : 3257 (python) S 3228 3230 1117 0 -1 4202560 32 934 0 0 0 0 0 0 20 0 6 0 869498411 383942656 17343 33554432000 4194304 5683644 140735397202816 18446744073709551615 253652683185 0 0 16781312 33554434 18446604443015544960 0 0 -1 2 0 0 0
[pid=3230/tid=3395] ppid=3228 vsize=374944 CPUtime=0 cores=0,2,4,6
/proc/3230/task/3395/stat : 3395 (python) S 3228 3230 1117 0 -1 4202560 31 934 0 0 0 0 0 0 20 0 6 0 869502965 383942656 17343 33554432000 4194304 5683644 140735397202816 18446744073709551615 253652683185 0 0 16781312 33554434 18446604443015544960 0 0 -1 6 0 0 0
[pid=3230/tid=3449] ppid=3228 vsize=374944 CPUtime=0 cores=0,2,4,6
/proc/3230/task/3449/stat : 3449 (python) S 3228 3230 1117 0 -1 4202560 29 934 0 0 0 0 0 0 20 0 6 0 869512259 383942656 17343 33554432000 4194304 5683644 140735397202816 18446744073709551615 253652683185 0 0 16781312 33554434 18446604443015544960 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 242.11
Current children cumulated vsize (KiB) 20170288
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3230 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=43537
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=166974
# CPU time returned by wait4() is 3.21051
# while last known CPU time is 242.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 237.593
CPU time (s): 242.11
CPU user time (s): 239.56
CPU system time (s): 2.55
CPU usage (%): 101.901
Max. virtual memory (cumulated for all children) (KiB): 20170896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.04354
system time used= 0.166974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30485
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= 1007
involuntary context switches= 18
runsolver used 2.10568 second user time and 3.62345 second system time
The end