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-3482245-1307578736/watcher-3482245-1307578736 -o /tmp/evaluation-result-3482245-1307578736/solver-3482245-1307578736 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482245-1307578736.opb -seed 322994236 -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.08 2.10 1.91 2/832 25171
/proc/meminfo: memFree=10496060/32950928 swapFree=61542368/67111528
[pid=25171] ppid=25169 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/25171/stat : 25171 (python) S 25169 25171 22387 0 -1 4202496 936 0 0 0 0 0 0 0 21 0 1 0 948104425 16154624 814 33554432000 4194304 5683644 140735302996992 18446744073709551615 260905392128 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/25171/statm: 3944 814 356 364 0 431 0
[startup+0.028766 s]
/proc/loadavg: 2.08 2.10 1.91 2/832 25171
/proc/meminfo: memFree=10496060/32950928 swapFree=61542368/67111528
[pid=25171] ppid=25169 vsize=16396 CPUtime=0.01 cores=0,2,4,6
/proc/25171/stat : 25171 (python) R 25169 25171 22387 0 -1 4202496 1124 0 0 0 1 0 0 0 21 0 1 0 948104425 16789504 990 33554432000 4194304 5683644 140735302996992 18446744073709551615 260905392128 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/25171/statm: 4099 990 413 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
[startup+0.100703 s]
/proc/loadavg: 2.08 2.10 1.91 2/832 25171
/proc/meminfo: memFree=10496060/32950928 swapFree=61542368/67111528
[pid=25171] ppid=25169 vsize=85360 CPUtime=0.05 cores=0,2,4,6
/proc/25171/stat : 25171 (python) D 25169 25171 22387 0 -1 4202496 2586 0 0 0 4 1 0 0 21 0 1 0 948104425 87408640 2310 33554432000 4194304 5683644 140735302996992 18446744073709551615 260905399863 0 0 16781312 2 18446744071562154983 0 0 17 2 0 0 0
/proc/25171/statm: 21340 2310 709 364 0 1557 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85360
[startup+0.984541 s]
/proc/loadavg: 2.08 2.10 1.91 2/832 25171
/proc/meminfo: memFree=10496060/32950928 swapFree=61542368/67111528
[pid=25171] ppid=25169 vsize=247548 CPUtime=0.35 cores=0,2,4,6
/proc/25171/stat : 25171 (python) S 25169 25171 22387 0 -1 4202496 7980 934 1 0 25 10 0 0 17 0 1 0 948104425 253489152 6116 33554432000 4194304 5683644 140735302996992 18446744073709551615 260905392128 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 36
/proc/25171/statm: 61887 6116 1613 364 0 4891 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 247548
[startup+1.00054 s]
/proc/loadavg: 2.08 2.10 1.91 2/832 25171
/proc/meminfo: memFree=10496060/32950928 swapFree=61542368/67111528
[pid=25171] ppid=25169 vsize=254748 CPUtime=0.36 cores=0,2,4,6
/proc/25171/stat : 25171 (python) S 25169 25171 22387 0 -1 4202496 8154 934 1 0 26 10 0 0 17 0 1 0 948104425 260861952 6265 33554432000 4194304 5683644 140735302996992 18446744073709551615 260905392128 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 36
/proc/25171/statm: 63687 6265 1647 364 0 5028 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 254748
[startup+1.50044 s]
/proc/loadavg: 2.08 2.10 1.91 2/832 25171
/proc/meminfo: memFree=10496060/32950928 swapFree=61542368/67111528
[pid=25171] ppid=25169 vsize=305728 CPUtime=0.85 cores=0,2,4,6
/proc/25171/stat : 25171 (python) R 25169 25171 22387 0 -1 4202496 14803 934 1 0 73 12 0 0 17 0 1 0 948104425 313065472 12666 33554432000 4194304 5683644 140735302996992 18446744073709551615 4539162 0 0 16781312 2 0 0 0 17 2 0 0 36
/proc/25171/statm: 76432 12666 1781 364 0 11325 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 305728
[startup+3.10027 s]
/proc/loadavg: 2.15 2.12 1.91 3/833 25176
/proc/meminfo: memFree=10426616/32950928 swapFree=61542368/67111528
[pid=25171] ppid=25169 vsize=329744 CPUtime=2.45 cores=0,2,4,6
/proc/25171/stat : 25171 (python) R 25169 25171 22387 0 -1 4202496 29032 934 1 0 231 14 0 0 19 0 1 0 948104425 337657856 18783 33554432000 4194304 5683644 140735302996992 18446744073709551615 47460152844421 0 0 16781312 33554434 0 0 0 17 2 0 0 36
/proc/25171/statm: 82436 18783 1815 364 0 17329 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 329744
heavy processes:
[startup+6.30068 s]
/proc/loadavg: 2.14 2.11 1.91 3/836 25179
/proc/meminfo: memFree=10370136/32950928 swapFree=61542368/67111528
[pid=25171] ppid=25169 vsize=345508 CPUtime=3.8 cores=0,2,4,6
/proc/25171/stat : 25171 (python) S 25169 25171 22387 0 -1 4202496 30693 934 1 0 366 14 0 0 25 0 2 0 948104425 353800192 20216 33554432000 4194304 5683644 140735302996992 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 36
/proc/25171/statm: 86377 20216 1870 364 0 21264 0
[pid=25177] ppid=25171 vsize=335264 CPUtime=0 cores=0,2,4,6
/proc/25177/stat : 25177 (python) S 25171 25171 22387 0 -1 4202560 735 0 0 0 0 0 0 0 18 0 1 0 948104871 343310336 18693 33554432000 4194304 5683644 140735302996992 18446744073709551615 260905414159 0 0 16781312 33554946 13826459088373907714 0 0 17 6 0 0 0
/proc/25177/statm: 83816 18693 351 364 0 18703 0
[pid=25179] ppid=25177 vsize=53864 CPUtime=1.83 cores=0,2,4,6
/proc/25179/stat : 25179 (wbo1.4a) R 25177 25179 25179 0 -1 4202496 23582 0 0 0 180 3 0 0 25 0 1 0 948104872 55156736 12538 33554432000 134512640 135751879 4293718016 18446744073709551615 134542044 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/25179/statm: 13466 12538 143 303 0 13161 0
[pid=25171/tid=25178] ppid=25169 vsize=345508 CPUtime=0 cores=0,2,4,6
/proc/25171/task/25178/stat : 25178 (python) S 25169 25171 22387 0 -1 4202560 26 934 0 0 0 0 0 0 25 0 2 0 948104872 353800192 20216 33554432000 4194304 5683644 140735302996992 18446744073709551615 260917217713 0 0 16781312 33554434 18446604441328298880 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.63
Current children cumulated vsize (KiB) 734636
[startup+12.7005 s]
/proc/loadavg: 2.13 2.11 1.91 3/836 25179
/proc/meminfo: memFree=10363936/32950928 swapFree=61542368/67111528
[pid=25171] ppid=25169 vsize=345508 CPUtime=3.8 cores=0,2,4,6
/proc/25171/stat : 25171 (python) S 25169 25171 22387 0 -1 4202496 30693 934 1 0 366 14 0 0 25 0 2 0 948104425 353800192 20216 33554432000 4194304 5683644 140735302996992 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 36
/proc/25171/statm: 86377 20216 1870 364 0 21264 0
[pid=25177] ppid=25171 vsize=335264 CPUtime=0.04 cores=0,2,4,6
/proc/25177/stat : 25177 (python) S 25171 25171 22387 0 -1 4202560 908 0 0 0 2 2 0 0 15 0 1 0 948104871 343310336 18717 33554432000 4194304 5683644 140735302996992 18446744073709551615 260905414159 0 0 16781312 33554946 4294934785 0 0 17 6 0 0 0
/proc/25177/statm: 83816 18717 375 364 0 18703 0
[pid=25179] ppid=25177 vsize=58056 CPUtime=8.24 cores=0,2,4,6
/proc/25179/stat : 25179 (wbo1.4a) R 25177 25179 25179 0 -1 4202496 51606 0 0 0 817 7 0 0 25 0 1 0 948104872 59449344 13595 33554432000 134512640 135751879 4293718016 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/25179/statm: 14514 13595 146 303 0 14209 0
[pid=25171/tid=25178] ppid=25169 vsize=345508 CPUtime=0 cores=0,2,4,6
/proc/25171/task/25178/stat : 25178 (python) S 25169 25171 22387 0 -1 4202560 26 934 0 0 0 0 0 0 25 0 2 0 948104872 353800192 20216 33554432000 4194304 5683644 140735302996992 18446744073709551615 260917217713 0 0 16781312 33554434 18446604441328298880 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.08
Current children cumulated vsize (KiB) 738828
[startup+25.5012 s]
/proc/loadavg: 2.11 2.11 1.91 3/836 25180
/proc/meminfo: memFree=10361476/32950928 swapFree=61542368/67111528
[pid=25171] ppid=25169 vsize=345508 CPUtime=3.8 cores=0,2,4,6
/proc/25171/stat : 25171 (python) S 25169 25171 22387 0 -1 4202496 30693 934 1 0 366 14 0 0 25 0 2 0 948104425 353800192 20216 33554432000 4194304 5683644 140735302996992 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 36
/proc/25171/statm: 86377 20216 1870 364 0 21264 0
[pid=25177] ppid=25171 vsize=335264 CPUtime=0.12 cores=0,2,4,6
/proc/25177/stat : 25177 (python) S 25171 25171 22387 0 -1 4202560 917 0 0 0 6 6 0 0 15 0 1 0 948104871 343310336 18717 33554432000 4194304 5683644 140735302996992 18446744073709551615 260905414159 0 0 16781312 33554946 4294934785 0 0 17 6 0 0 0
/proc/25177/statm: 83816 18717 375 364 0 18703 0
[pid=25179] ppid=25177 vsize=63156 CPUtime=21.03 cores=0,2,4,6
/proc/25179/stat : 25179 (wbo1.4a) R 25177 25179 25179 0 -1 4202496 59786 0 0 0 2090 13 0 0 25 0 1 0 948104872 64671744 14889 33554432000 134512640 135751879 4293718016 18446744073709551615 134616503 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/25179/statm: 15789 14889 146 303 0 15484 0
[pid=25171/tid=25178] ppid=25169 vsize=345508 CPUtime=0 cores=0,2,4,6
/proc/25171/task/25178/stat : 25178 (python) S 25169 25171 22387 0 -1 4202560 26 934 0 0 0 0 0 0 25 0 2 0 948104872 353800192 20216 33554432000 4194304 5683644 140735302996992 18446744073709551615 260917217713 0 0 16781312 33554434 18446604441328298880 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.95
Current children cumulated vsize (KiB) 743928
[startup+51.1005 s]
/proc/loadavg: 2.07 2.10 1.91 3/836 25180
/proc/meminfo: memFree=10350004/32950928 swapFree=61542368/67111528
[pid=25171] ppid=25169 vsize=345508 CPUtime=3.8 cores=0,2,4,6
/proc/25171/stat : 25171 (python) S 25169 25171 22387 0 -1 4202496 30693 934 1 0 366 14 0 0 25 0 2 0 948104425 353800192 20216 33554432000 4194304 5683644 140735302996992 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 36
/proc/25171/statm: 86377 20216 1870 364 0 21264 0
[pid=25177] ppid=25171 vsize=335264 CPUtime=0.23 cores=0,2,4,6
/proc/25177/stat : 25177 (python) S 25171 25171 22387 0 -1 4202560 927 0 0 0 11 12 0 0 15 0 1 0 948104871 343310336 18717 33554432000 4194304 5683644 140735302996992 18446744073709551615 260905414159 0 0 16781312 33554946 4294934785 0 0 17 6 0 0 0
/proc/25177/statm: 83816 18717 375 364 0 18703 0
[pid=25179] ppid=25177 vsize=72192 CPUtime=46.62 cores=0,2,4,6
/proc/25179/stat : 25179 (wbo1.4a) R 25177 25179 25179 0 -1 4202496 64729 0 0 0 4639 23 0 0 25 0 1 0 948104872 73924608 17146 33554432000 134512640 135751879 4293718016 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/25179/statm: 18048 17146 146 303 0 17743 0
[pid=25171/tid=25178] ppid=25169 vsize=345508 CPUtime=0 cores=0,2,4,6
/proc/25171/task/25178/stat : 25178 (python) S 25169 25171 22387 0 -1 4202560 26 934 0 0 0 0 0 0 25 0 2 0 948104872 353800192 20216 33554432000 4194304 5683644 140735302996992 18446744073709551615 260917217713 0 0 16781312 33554434 18446604441328298880 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 752964
[startup+102.301 s]
/proc/loadavg: 2.08 2.09 1.92 3/863 25209
/proc/meminfo: memFree=9039088/32950928 swapFree=61542368/67111528
[pid=25171] ppid=25169 vsize=366020 CPUtime=3.86 cores=0,2,4,6
/proc/25171/stat : 25171 (python) S 25169 25171 22387 0 -1 4202496 32428 934 1 0 371 15 0 0 20 0 4 0 948104425 374804480 20229 33554432000 4194304 5683644 140735302996992 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 36
/proc/25171/statm: 91505 20229 1875 364 0 26386 0
[pid=25177] ppid=25171 vsize=345508 CPUtime=0.25 cores=0,2,4,6
/proc/25177/stat : 25177 (python) S 25171 25171 22387 0 -1 4202560 1086 0 0 0 12 13 0 0 17 0 2 0 948104871 353800192 18753 33554432000 4194304 5683644 140735302996992 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/25177/statm: 86377 18753 406 364 0 21264 0
[pid=25179] ppid=25177 vsize=72192 CPUtime=47.78 cores=0,2,4,6
/proc/25179/stat : 25179 (wbo1.4a) T 25177 25179 25179 0 -1 4202496 64729 0 0 0 4755 23 0 0 25 0 1 0 948104872 73924608 17146 33554432000 134512640 135751879 4293718016 18446744073709551615 134616497 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/25179/statm: 18048 17146 146 303 0 17743 0
[pid=25177/tid=25181] ppid=25171 vsize=345508 CPUtime=0 cores=0,2,4,6
/proc/25177/task/25181/stat : 25181 (python) S 25171 25171 22387 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 948109652 353800192 18753 33554432000 4194304 5683644 140735302996992 18446744073709551615 260917217713 0 0 16781312 33554946 18446604446076184448 0 0 -1 6 0 0 0
[pid=25182] ppid=25171 vsize=345520 CPUtime=0.22 cores=0,2,4,6
/proc/25182/stat : 25182 (python) S 25171 25171 22387 0 -1 4202560 1123 0 0 0 11 11 0 0 17 0 2 0 948109655 353812480 18743 33554432000 4194304 5683644 140735302996992 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/25182/statm: 86380 18743 396 364 0 21264 0
[pid=25184] ppid=25182 vsize=929248 CPUtime=46.03 cores=0,2,4,6
/proc/25184/stat : 25184 (scip-2.0.1.linu) T 25182 25184 25184 0 -1 4202496 225823 0 0 0 4563 40 0 0 25 0 1 0 948109655 951549952 225101 33554432000 4194304 13684479 140736514457600 18446744073709551615 4579200 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/25184/statm: 232312 225101 646 2317 0 229990 0
[pid=25182/tid=25187] ppid=25171 vsize=345520 CPUtime=0 cores=0,2,4,6
/proc/25182/task/25187/stat : 25187 (python) S 25171 25171 22387 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 948114260 353812480 18743 33554432000 4194304 5683644 140735302996992 18446744073709551615 260917217713 0 0 16781312 33554946 18446604445268473728 0 0 -1 6 0 0 0
[pid=25188] ppid=25171 vsize=355776 CPUtime=0.02 cores=0,2,4,6
/proc/25188/stat : 25188 (python) S 25171 25171 22387 0 -1 4202560 930 0 0 0 1 1 0 0 15 0 1 0 948114263 364314624 18722 33554432000 4194304 5683644 140735302996992 18446744073709551615 260905414214 0 0 16781312 33554946 4294934785 0 0 17 6 0 0 0
/proc/25188/statm: 88944 18722 372 364 0 23825 0
[pid=25190] ppid=25188 vsize=8542228 CPUtime=6 cores=0,2,4,6
/proc/25190/stat : 25190 (java) S 25188 25190 25190 0 -1 4202496 160928 0 1 0 580 20 0 0 20 0 19 0 948114263 8747241472 154473 33554432000 1073741824 1073778376 140735534396032 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25190/statm: 2135557 154473 2244 9 0 2126298 0
[pid=25190/tid=25191] ppid=25188 vsize=8542228 CPUtime=3.78 cores=0,2,4,6
/proc/25190/task/25191/stat : 25191 (java) R 25188 25190 25190 0 -1 4202560 119239 0 1 0 364 14 0 0 25 0 19 0 948114264 8747241472 154473 33554432000 1073741824 1073778376 140735534396032 18446744073709551615 46912505228240 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=25190/tid=25192] ppid=25188 vsize=8542228 CPUtime=0.05 cores=0,2,4,6
/proc/25190/task/25192/stat : 25192 (java) S 25188 25190 25190 0 -1 4202560 4550 0 0 0 5 0 0 0 15 0 19 0 948114265 8747241472 154473 33554432000 1073741824 1073778376 140735534396032 18446744073709551615 260917210009 0 4 0 16800975 18446604446916691008 0 0 -1 2 0 0 0
[pid=25190/tid=25193] ppid=25188 vsize=8542228 CPUtime=0.03 cores=0,2,4,6
/proc/25190/task/25193/stat : 25193 (java) S 25188 25190 25190 0 -1 4202560 3194 0 0 0 3 0 0 0 16 0 19 0 948114265 8747241472 154473 33554432000 1073741824 1073778376 140735534396032 18446744073709551615 260917210009 0 4 0 16800975 18446604446916691008 0 0 -1 6 0 0 0
[pid=25190/tid=25194] ppid=25188 vsize=8542228 CPUtime=0.03 cores=0,2,4,6
/proc/25190/task/25194/stat : 25194 (java) S 25188 25190 25190 0 -1 4202560 2727 0 0 0 3 0 0 0 16 0 19 0 948114265 8747241472 154473 33554432000 1073741824 1073778376 140735534396032 18446744073709551615 260917210009 0 4 0 16800975 18446604446916691008 0 0 -1 2 0 0 0
[pid=25190/tid=25195] ppid=25188 vsize=8542228 CPUtime=0.03 cores=0,2,4,6
/proc/25190/task/25195/stat : 25195 (java) S 25188 25190 25190 0 -1 4202560 3385 0 0 0 3 0 0 0 16 0 19 0 948114265 8747241472 154473 33554432000 1073741824 1073778376 140735534396032 18446744073709551615 260917210009 0 4 0 16800975 18446604446916691008 0 0 -1 4 0 0 0
[pid=25190/tid=25196] ppid=25188 vsize=8542228 CPUtime=0.03 cores=0,2,4,6
/proc/25190/task/25196/stat : 25196 (java) S 25188 25190 25190 0 -1 4202560 3059 0 0 0 3 0 0 0 15 0 19 0 948114265 8747241472 154473 33554432000 1073741824 1073778376 140735534396032 18446744073709551615 260917210009 0 4 0 16800975 18446604446916691008 0 0 -1 4 0 0 0
[pid=25190/tid=25197] ppid=25188 vsize=8542228 CPUtime=0.06 cores=0,2,4,6
/proc/25190/task/25197/stat : 25197 (java) S 25188 25190 25190 0 -1 4202560 4247 0 0 0 6 0 0 0 15 0 19 0 948114265 8747241472 154473 33554432000 1073741824 1073778376 140735534396032 18446744073709551615 260917210009 0 4 0 16800975 18446604446916691008 0 0 -1 4 0 0 0
[pid=25190/tid=25198] ppid=25188 vsize=8542228 CPUtime=0.01 cores=0,2,4,6
/proc/25190/task/25198/stat : 25198 (java) S 25188 25190 25190 0 -1 4202560 1351 0 0 0 1 0 0 0 15 0 19 0 948114265 8747241472 154473 33554432000 1073741824 1073778376 140735534396032 18446744073709551615 260917210009 0 4 0 16800975 18446604446916691008 0 0 -1 4 0 0 0
[pid=25190/tid=25199] ppid=25188 vsize=8542228 CPUtime=0.06 cores=0,2,4,6
/proc/25190/task/25199/stat : 25199 (java) S 25188 25190 25190 0 -1 4202560 5230 0 0 0 5 1 0 0 15 0 19 0 948114265 8747241472 154473 33554432000 1073741824 1073778376 140735534396032 18446744073709551615 260917210009 0 4 0 16800975 18446604446916691008 0 0 -1 4 0 0 0
[pid=25190/tid=25200] ppid=25188 vsize=8542228 CPUtime=0 cores=0,2,4,6
/proc/25190/task/25200/stat : 25200 (java) S 25188 25190 25190 0 -1 4202560 463 0 0 0 0 0 0 0 15 0 19 0 948114266 8747241472 154473 33554432000 1073741824 1073778376 140735534396032 18446744073709551615 260917210624 0 0 0 16800975 18446604446916691008 0 0 -1 2 0 0 0
[pid=25190/tid=25201] ppid=25188 vsize=8542228 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=25190/tid=25209] ppid=25188 vsize=8542228 CPUtime=0 cores=0,2,4,6
/proc/25190/task/25209/stat : 25209 (java) T 25188 25190 25190 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948114414 8747241472 705472 33554432000 1073741824 1073778376 140735534396032 18446744073709551615 260917210624 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=25188/tid=25340] ppid=25171 vsize=355776 CPUtime=0 cores=0,2,4,6
/proc/25188/task/25340/stat : 25340 (python) S 25171 25171 22387 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 948118837 364314624 18747 33554432000 4194304 5683644 140735302996992 18446744073709551615 260917217713 0 0 16781312 33554946 18446604446865916352 0 0 -1 4 0 0 0
[pid=25341] ppid=25171 vsize=366032 CPUtime=0.36 cores=0,2,4,6
/proc/25341/stat : 25341 (python) S 25171 25171 22387 0 -1 4202560 1002 0 0 0 18 18 0 0 15 0 1 0 948118839 374816768 18726 33554432000 4194304 5683644 140735302996992 18446744073709551615 260905414214 0 0 16781312 33554946 72556772316949290 0 0 17 6 0 0 0
/proc/25341/statm: 91508 18726 372 364 0 26386 0
[pid=25343] ppid=25341 vsize=52812 CPUtime=78.15 cores=0,2,4,6
/proc/25343/stat : 25343 (clasp-1.3.7-x86) R 25341 25343 25343 0 -1 4202496 15542 0 0 0 7812 3 0 0 25 0 1 0 948118840 54079488 12933 33554432000 134512640 136139019 4290386432 18446744073709551615 134832169 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/25343/statm: 13203 12933 188 398 0 12803 0
[pid=25171/tid=25178] ppid=25169 vsize=376276 CPUtime=0 cores=0,2,4,6
/proc/25171/task/25178/stat : 25178 (python) S 25169 25171 22387 0 -1 4202560 26 934 0 0 0 0 0 0 25 0 5 0 948104872 385306624 20235 33554432000 4194304 5683644 140735302996992 18446744073709551615 260917217713 0 0 16781312 33554434 18446604441328298880 0 0 -1 2 0 0 0
[pid=25171/tid=25183] ppid=25169 vsize=376276 CPUtime=0 cores=0,2,4,6
/proc/25171/task/25183/stat : 25183 (python) S 25169 25171 22387 0 -1 4202560 27 934 0 0 0 0 0 0 20 0 5 0 948109655 385306624 20235 33554432000 4194304 5683644 140735302996992 18446744073709551615 260917217713 0 0 16781312 33554434 18446604441328298880 0 0 -1 4 0 0 0
[pid=25171/tid=25189] ppid=25169 vsize=376276 CPUtime=0 cores=0,2,4,6
/proc/25171/task/25189/stat : 25189 (python) S 25169 25171 22387 0 -1 4202560 31 934 0 0 0 0 0 0 20 0 5 0 948114263 385306624 20235 33554432000 4194304 5683644 140735302996992 18446744073709551615 260917217713 0 0 16781312 33554434 18446604441328298880 0 0 -1 6 0 0 0
[pid=25171/tid=25342] ppid=25169 vsize=376276 CPUtime=0 cores=0,2,4,6
/proc/25171/task/25342/stat : 25342 (python) S 25169 25171 22387 0 -1 4202560 30 934 0 0 0 0 0 0 20 0 5 0 948118840 385306624 20235 33554432000 4194304 5683644 140735302996992 18446744073709551615 260917217713 0 0 16781312 33554434 18446604441328298880 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 225.42
Current children cumulated vsize (KiB) 11385592
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+239.302 s]
/proc/loadavg: 2.13 2.12 1.94 4/898 25546
/proc/meminfo: memFree=6324256/32950928 swapFree=61542368/67111528
[pid=25171] ppid=25169 vsize=386532 CPUtime=3.91 cores=0,2,4,6
/proc/25171/stat : 25171 (python) S 25169 25171 22387 0 -1 4202496 34208 934 1 0 376 15 0 0 20 0 6 0 948104425 395808768 20241 33554432000 4194304 5683644 140735302996992 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 36
/proc/25171/statm: 96633 20241 1879 364 0 31508 0
[pid=25177] ppid=25171 vsize=345508 CPUtime=0.25 cores=0,2,4,6
/proc/25177/stat : 25177 (python) S 25171 25171 22387 0 -1 4202560 1086 0 0 0 12 13 0 0 17 0 2 0 948104871 353800192 18753 33554432000 4194304 5683644 140735302996992 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/25177/statm: 86377 18753 406 364 0 21264 0
[pid=25179] ppid=25177 vsize=72192 CPUtime=47.78 cores=0,2,4,6
/proc/25179/stat : 25179 (wbo1.4a) T 25177 25179 25179 0 -1 4202496 64729 0 0 0 4755 23 0 0 25 0 1 0 948104872 73924608 17146 33554432000 134512640 135751879 4293718016 18446744073709551615 134616497 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/25179/statm: 18048 17146 146 303 0 17743 0
[pid=25177/tid=25181] ppid=25171 vsize=345508 CPUtime=0 cores=0,2,4,6
/proc/25177/task/25181/stat : 25181 (python) S 25171 25171 22387 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 948109652 353800192 18753 33554432000 4194304 5683644 140735302996992 18446744073709551615 260917217713 0 0 16781312 33554946 18446604446076184448 0 0 -1 6 0 0 0
[pid=25182] ppid=25171 vsize=345520 CPUtime=0.22 cores=0,2,4,6
/proc/25182/stat : 25182 (python) S 25171 25171 22387 0 -1 4202560 1123 0 0 0 11 11 0 0 17 0 2 0 948109655 353812480 18743 33554432000 4194304 5683644 140735302996992 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/25182/statm: 86380 18743 396 364 0 21264 0
[pid=25184] ppid=25182 vsize=929248 CPUtime=46.03 cores=0,2,4,6
/proc/25184/stat : 25184 (scip-2.0.1.linu) T 25182 25184 25184 0 -1 4202496 225823 0 0 0 4563 40 0 0 25 0 1 0 948109655 951549952 225101 33554432000 4194304 13684479 140736514457600 18446744073709551615 4579200 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/25184/statm: 232312 225101 646 2317 0 229990 0
[pid=25182/tid=25187] ppid=25171 vsize=345520 CPUtime=0 cores=0,2,4,6
/proc/25182/task/25187/stat : 25187 (python) S 25171 25171 22387 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 948114260 353812480 18743 33554432000 4194304 5683644 140735302996992 18446744073709551615 260917217713 0 0 16781312 33554946 18446604445268473728 0 0 -1 6 0 0 0
[pid=25188] ppid=25171 vsize=355776 CPUtime=0.22 cores=0,2,4,6
/proc/25188/stat : 25188 (python) S 25171 25171 22387 0 -1 4202560 1111 0 0 0 10 12 0 0 16 0 2 0 948114263 364314624 18747 33554432000 4194304 5683644 140735302996992 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/25188/statm: 88944 18747 396 364 0 23825 0
[pid=25190] ppid=25188 vsize=8542228 CPUtime=48.53 cores=0,2,4,6
/proc/25190/stat : 25190 (java) T 25188 25190 25190 0 -1 4202496 715904 0 1 0 4767 86 0 0 18 0 19 0 948114263 8747241472 705472 33554432000 1073741824 1073778376 140735534396032 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25190/statm: 2135557 705472 2247 9 0 2126298 0
[pid=25190/tid=25191] ppid=25188 vsize=8542228 CPUtime=45.36 cores=0,2,4,6
/proc/25190/task/25191/stat : 25191 (java) T 25188 25190 25190 0 -1 4202560 631206 0 1 0 4462 74 0 0 25 0 19 0 948114264 8747241472 705472 33554432000 1073741824 1073778376 140735534396032 18446744073709551615 46912506099238 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=25190/tid=25192] ppid=25188 vsize=8542228 CPUtime=0.17 cores=0,2,4,6
/proc/25190/task/25192/stat : 25192 (java) T 25188 25190 25190 0 -1 4202560 12191 0 0 0 16 1 0 0 15 0 19 0 948114265 8747241472 705472 33554432000 1073741824 1073778376 140735534396032 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=25190/tid=25193] ppid=25188 vsize=8542228 CPUtime=0.06 cores=0,2,4,6
/proc/25190/task/25193/stat : 25193 (java) T 25188 25190 25190 0 -1 4202560 5807 0 0 0 6 0 0 0 15 0 19 0 948114265 8747241472 705472 33554432000 1073741824 1073778376 140735534396032 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=25190/tid=25194] ppid=25188 vsize=8542228 CPUtime=0.08 cores=0,2,4,6
/proc/25190/task/25194/stat : 25194 (java) T 25188 25190 25190 0 -1 4202560 6599 0 0 0 8 0 0 0 15 0 19 0 948114265 8747241472 705472 33554432000 1073741824 1073778376 140735534396032 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=25190/tid=25195] ppid=25188 vsize=8542228 CPUtime=0.09 cores=0,2,4,6
/proc/25190/task/25195/stat : 25195 (java) T 25188 25190 25190 0 -1 4202560 6601 0 0 0 9 0 0 0 15 0 19 0 948114265 8747241472 705472 33554432000 1073741824 1073778376 140735534396032 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=25190/tid=25196] ppid=25188 vsize=8542228 CPUtime=0.13 cores=0,2,4,6
/proc/25190/task/25196/stat : 25196 (java) T 25188 25190 25190 0 -1 4202560 10524 0 0 0 13 0 0 0 15 0 19 0 948114265 8747241472 705472 33554432000 1073741824 1073778376 140735534396032 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=25190/tid=25197] ppid=25188 vsize=8542228 CPUtime=0.14 cores=0,2,4,6
/proc/25190/task/25197/stat : 25197 (java) T 25188 25190 25190 0 -1 4202560 10506 0 0 0 14 0 0 0 15 0 19 0 948114265 8747241472 705472 33554432000 1073741824 1073778376 140735534396032 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=25190/tid=25198] ppid=25188 vsize=8542228 CPUtime=0.1 cores=0,2,4,6
/proc/25190/task/25198/stat : 25198 (java) T 25188 25190 25190 0 -1 4202560 6650 0 0 0 9 1 0 0 15 0 19 0 948114265 8747241472 705472 33554432000 1073741824 1073778376 140735534396032 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=25190/tid=25199] ppid=25188 vsize=8542228 CPUtime=0.13 cores=0,2,4,6
/proc/25190/task/25199/stat : 25199 (java) T 25188 25190 25190 0 -1 4202560 11059 0 0 0 12 1 0 0 15 0 19 0 948114265 8747241472 705472 33554432000 1073741824 1073778376 140735534396032 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=25190/tid=25200] ppid=25188 vsize=8542228 CPUtime=0 cores=0,2,4,6
/proc/25190/task/25200/stat : 25200 (java) T 25188 25190 25190 0 -1 4202560 1269 0 0 0 0 0 0 0 15 0 19 0 948114266 8747241472 705472 33554432000 1073741824 1073778376 140735534396032 18446744073709551615 260917210624 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=25190/tid=25201] ppid=25188 vsize=8542228 CPUtime=0 cores=0,2,4,6
/proc/25190/task/25201/stat : 25201 (java) T 25188 25190 25190 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 948114266 8747241472 705472 33554432000 1073741824 1073778376 140735534396032 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=25190/tid=25202] ppid=25188 vsize=8542228 CPUtime=0 cores=0,2,4,6
/proc/25190/task/25202/stat : 25202 (java) T 25188 25190 25190 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 948114266 8747241472 705472 33554432000 1073741824 1073778376 140735534396032 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=25190/tid=25203] ppid=25188 vsize=8542228 CPUtime=0 cores=0,2,4,6
/proc/25190/task/25203/stat : 25203 (java) T 25188 25190 25190 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948114268 8747241472 705472 33554432000 1073741824 1073778376 140735534396032 18446744073709551615 260917217713 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=25190/tid=25204] ppid=25188 vsize=8542228 CPUtime=1.15 cores=0,2,4,6
/proc/25190/task/25204/stat : 25204 (java) T 25188 25190 25190 0 -1 4202560 5112 0 0 0 115 0 0 0 15 0 19 0 948114268 8747241472 705472 33554432000 1073741824 1073778376 140735534396032 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=25190/tid=25205] ppid=25188 vsize=8542228 CPUtime=0.98 cores=0,2,4,6
/proc/25190/task/25205/stat : 25205 (java) T 25188 25190 25190 0 -1 4202560 6989 0 0 0 97 1 0 0 15 0 19 0 948114268 8747241472 705472 33554432000 1073741824 1073778376 140735534396032 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=25190/tid=25206] ppid=25188 vsize=8542228 CPUtime=0 cores=0,2,4,6
/proc/25190/task/25206/stat : 25206 (java) T 25188 25190 25190 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948114268 8747241472 705472 33554432000 1073741824 1073778376 140735534396032 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=25190/tid=25207] ppid=25188 vsize=8542228 CPUtime=0 cores=0,2,4,6
/proc/25190/task/25207/stat : 25207 (java) T 25188 25190 25190 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 948114268 8747241472 705472 33554432000 1073741824 1073778376 140735534396032 18446744073709551615 260917210624 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=25190/tid=25209] ppid=25188 vsize=8542228 CPUtime=0 cores=0,2,4,6
/proc/25190/task/25209/stat : 25209 (java) T 25188 25190 25190 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948114414 8747241472 705472 33554432000 1073741824 1073778376 140735534396032 18446744073709551615 260917210624 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=25188/tid=25340] ppid=25171 vsize=355776 CPUtime=0 cores=0,2,4,6
/proc/25188/task/25340/stat : 25340 (python) S 25171 25171 22387 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 948118837 364314624 18747 33554432000 4194304 5683644 140735302996992 18446744073709551615 260917217713 0 0 16781312 33554946 18446604446865916352 0 0 -1 4 0 0 0
[pid=25341] ppid=25171 vsize=366032 CPUtime=0.45 cores=0,2,4,6
/proc/25341/stat : 25341 (python) S 25171 25171 22387 0 -1 4202560 1170 0 0 0 23 22 0 0 16 0 2 0 948118839 374816768 18751 33554432000 4194304 5683644 140735302996992 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/25341/statm: 91508 18751 396 364 0 26386 0
[pid=25343] ppid=25341 vsize=52812 CPUtime=94.8 cores=0,2,4,6
/proc/25343/stat : 25343 (clasp-1.3.7-x86) T 25341 25343 25343 0 -1 4202496 15542 0 0 0 9477 3 0 0 25 0 1 0 948118840 54079488 12933 33554432000 134512640 136139019 4290386432 18446744073709551615 134742406 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/25343/statm: 13203 12933 188 398 0 12803 0
[pid=25341/tid=25526] ppid=25171 vsize=366032 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25526/stat : 25526 (python) S 25171 25171 22387 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 948128321 374816768 18751 33554432000 4194304 5683644 140735302996992 18446744073709551615 260917217713 0 0 16781312 33554946 18446604446865918144 0 0 -1 6 0 0 0
[pid=25527] ppid=25171 vsize=376288 CPUtime=0 cores=0,2,4,6
/proc/25527/stat : 25527 (python) S 25171 25171 22387 0 -1 4202560 795 0 0 0 0 0 0 0 18 0 1 0 948128324 385318912 18706 33554432000 4194304 5683644 140735302996992 18446744073709551615 260905414214 0 0 16781312 33554946 421039762900516864 0 0 17 0 0 0 0
/proc/25527/statm: 94072 18706 348 364 0 28947 0
[pid=25529] ppid=25527 vsize=8535344 CPUtime=0.59 cores=0,2,4,6
/proc/25529/stat : 25529 (java) S 25527 25529 25529 0 -1 4202496 12050 0 1 0 57 2 0 0 20 0 18 0 948128324 8740192256 10509 33554432000 1073741824 1073778376 140734700432736 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25529/statm: 2133836 10510 2200 9 0 2124577 0
[pid=25529/tid=25530] ppid=25527 vsize=8535344 CPUtime=0.32 cores=0,2,4,6
/proc/25529/task/25530/stat : 25530 (java) R 25527 25529 25529 0 -1 4202560 7993 0 1 0 31 1 0 0 18 0 18 0 948128325 8740192256 10896 33554432000 1073741824 1073778376 140734700432736 18446744073709551615 46912505634717 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=25529/tid=25531] ppid=25527 vsize=8535344 CPUtime=0 cores=0,2,4,6
/proc/25529/task/25531/stat : 25531 (java) S 25527 25529 25529 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 948128326 8740192256 10897 33554432000 1073741824 1073778376 140734700432736 18446744073709551615 260917210009 0 4 0 16800975 18446604450937344256 0 0 -1 2 0 0 0
[pid=25529/tid=25532] ppid=25527 vsize=8535344 CPUtime=0 cores=0,2,4,6
/proc/25529/task/25532/stat : 25532 (java) S 25527 25529 25529 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 948128326 8740192256 10899 33554432000 1073741824 1073778376 140734700432736 18446744073709551615 260917210009 0 4 0 16800975 18446604450937344256 0 0 -1 2 0 0 0
[pid=25529/tid=25533] ppid=25527 vsize=8535344 CPUtime=0 cores=0,2,4,6
/proc/25529/task/25533/stat : 25533 (java) S 25527 25529 25529 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 948128326 8740192256 10900 33554432000 1073741824 1073778376 140734700432736 18446744073709551615 260917210009 0 4 0 16800975 18446604450937344256 0 0 -1 2 0 0 0
[pid=25529/tid=25534] ppid=25527 vsize=8535344 CPUtime=0 cores=0,2,4,6
/proc/25529/task/25534/stat : 25534 (java) S 25527 25529 25529 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948128326 8740192256 10902 33554432000 1073741824 1073778376 140734700432736 18446744073709551615 260917210009 0 4 0 16800975 18446604450937344256 0 0 -1 0 0 0 0
[pid=25529/tid=25535] ppid=25527 vsize=8535344 CPUtime=0 cores=0,2,4,6
/proc/25529/task/25535/stat : 25535 (java) S 25527 25529 25529 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948128326 8740192256 10903 33554432000 1073741824 1073778376 140734700432736 18446744073709551615 260917210009 0 4 0 16800975 18446604450937344256 0 0 -1 0 0 0 0
[pid=25529/tid=25536] ppid=25527 vsize=8535344 CPUtime=0 cores=0,2,4,6
/proc/25529/task/25536/stat : 25536 (java) S 25527 25529 25529 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948128326 8740192256 10905 33554432000 1073741824 1073778376 140734700432736 18446744073709551615 260917210009 0 4 0 16800975 18446604450937344256 0 0 -1 0 0 0 0
[pid=25529/tid=25537] ppid=25527 vsize=8535344 CPUtime=0 cores=0,2,4,6
/proc/25529/task/25537/stat : 25537 (java) S 25527 25529 25529 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948128326 8740192256 10906 33554432000 1073741824 1073778376 140734700432736 18446744073709551615 260917210009 0 4 0 16800975 18446604450937344256 0 0 -1 0 0 0 0
[pid=25529/tid=25538] ppid=25527 vsize=8535344 CPUtime=0 cores=0,2,4,6
/proc/25529/task/25538/stat : 25538 (java) S 25527 25529 25529 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948128326 8740192256 10907 33554432000 1073741824 1073778376 140734700432736 18446744073709551615 260917210009 0 4 0 16800975 18446604450937344256 0 0 -1 0 0 0 0
[pid=25529/tid=25539] ppid=25527 vsize=8535344 CPUtime=0 cores=0,2,4,6
/proc/25529/task/25539/stat : 25539 (java) S 25527 25529 25529 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 948128327 8740192256 10909 33554432000 1073741824 1073778376 140734700432736 18446744073709551615 260917210624 0 0 0 16800975 18446604450937344256 0 0 -1 2 0 0 0
[pid=25529/tid=25540] ppid=25527 vsize=8535344 CPUtime=0 cores=0,2,4,6
/proc/25529/task/25540/stat : 25540 (java) S 25527 25529 25529 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 948128327 8740192256 10910 33554432000 1073741824 1073778376 140734700432736 18446744073709551615 260917210009 0 4 0 16800975 18446604450937344256 0 0 -1 2 0 0 0
[pid=25529/tid=25541] ppid=25527 vsize=8535344 CPUtime=0 cores=0,2,4,6
/proc/25529/task/25541/stat : 25541 (java) S 25527 25529 25529 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 948128327 8740192256 10911 33554432000 1073741824 1073778376 140734700432736 18446744073709551615 260917210009 0 4 0 16800975 18446604450937344256 0 0 -1 2 0 0 0
[pid=25529/tid=25542] ppid=25527 vsize=8535344 CPUtime=0 cores=0,2,4,6
/proc/25529/task/25542/stat : 25542 (java) S 25527 25529 25529 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948128329 8740192256 10913 33554432000 1073741824 1073778376 140734700432736 18446744073709551615 260917217713 0 4 0 16800975 18446604450937344256 0 0 -1 2 0 0 0
[pid=25529/tid=25543] ppid=25527 vsize=8535344 CPUtime=0.13 cores=0,2,4,6
/proc/25529/task/25543/stat : 25543 (java) S 25527 25529 25529 0 -1 4202560 2094 0 0 0 13 0 0 0 17 0 18 0 948128330 8740192256 10914 33554432000 1073741824 1073778376 140734700432736 18446744073709551615 260917210009 0 4 0 16800975 18446604450937344256 0 0 -1 2 0 0 0
[pid=25529/tid=25544] ppid=25527 vsize=8535344 CPUtime=0.13 cores=0,2,4,6
/proc/25529/task/25544/stat : 25544 (java) S 25527 25529 25529 0 -1 4202560 960 0 0 0 13 0 0 0 25 0 18 0 948128330 8740192256 10915 33554432000 1073741824 1073778376 140734700432736 18446744073709551615 260917210009 0 4 0 16800975 18446604450937344256 0 0 -1 0 0 0 0
[pid=25529/tid=25545] ppid=25527 vsize=8535344 CPUtime=0 cores=0,2,4,6
/proc/25529/task/25545/stat : 25545 (java) S 25527 25529 25529 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948128330 8740192256 10917 33554432000 1073741824 1073778376 140734700432736 18446744073709551615 260917210009 0 4 0 16800975 18446604450937344256 0 0 -1 2 0 0 0
[pid=25529/tid=25546] ppid=25527 vsize=8535344 CPUtime=0 cores=0,2,4,6
/proc/25529/task/25546/stat : 25546 (java) S 25527 25529 25529 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 948128330 8740192256 10918 33554432000 1073741824 1073778376 140734700432736 18446744073709551615 260917210624 0 4 0 16800975 18446604450937344256 0 0 -1 0 0 0 0
[pid=25171/tid=25178] ppid=25169 vsize=386532 CPUtime=0 cores=0,2,4,6
/proc/25171/task/25178/stat : 25178 (python) S 25169 25171 22387 0 -1 4202560 26 934 0 0 0 0 0 0 25 0 6 0 948104872 395808768 20241 33554432000 4194304 5683644 140735302996992 18446744073709551615 260917217713 0 0 16781312 33554434 18446604441328298880 0 0 -1 2 0 0 0
[pid=25171/tid=25183] ppid=25169 vsize=386532 CPUtime=0 cores=0,2,4,6
/proc/25171/task/25183/stat : 25183 (python) S 25169 25171 22387 0 -1 4202560 27 934 0 0 0 0 0 0 20 0 6 0 948109655 395808768 20241 33554432000 4194304 5683644 140735302996992 18446744073709551615 260917217713 0 0 16781312 33554434 18446604441328298880 0 0 -1 4 0 0 0
[pid=25171/tid=25189] ppid=25169 vsize=386532 CPUtime=0 cores=0,2,4,6
/proc/25171/task/25189/stat : 25189 (python) S 25169 25171 22387 0 -1 4202560 31 934 0 0 0 0 0 0 20 0 6 0 948114263 395808768 20241 33554432000 4194304 5683644 140735302996992 18446744073709551615 260917217713 0 0 16781312 33554434 18446604441328298880 0 0 -1 6 0 0 0
[pid=25171/tid=25342] ppid=25169 vsize=386532 CPUtime=0 cores=0,2,4,6
/proc/25171/task/25342/stat : 25342 (python) S 25169 25171 22387 0 -1 4202560 30 934 0 0 0 0 0 0 20 0 6 0 948118840 395808768 20241 33554432000 4194304 5683644 140735302996992 18446744073709551615 260917217713 0 0 16781312 33554434 18446604441328298880 0 0 -1 2 0 0 0
[pid=25171/tid=25528] ppid=25169 vsize=386532 CPUtime=0 cores=0,2,4,6
/proc/25171/task/25528/stat : 25528 (python) S 25169 25171 22387 0 -1 4202560 29 934 0 0 0 0 0 0 20 0 6 0 948128324 395808768 20241 33554432000 4194304 5683644 140735302996992 18446744073709551615 260917217713 0 0 16781312 33554434 18446604441328298880 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 242.78
Current children cumulated vsize (KiB) 20307480
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 25171 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=766427
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=162975
# CPU time returned by wait4() is 3.9294
# while last known CPU time is 242.78
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 239.391
CPU time (s): 242.78
CPU user time (s): 240.51
CPU system time (s): 2.27
CPU usage (%): 101.416
Max. virtual memory (cumulated for all children) (KiB): 20307480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.76643
system time used= 0.162975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35144
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= 2868
involuntary context switches= 23
runsolver used 1.92471 second user time and 3.60845 second system time
The end