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-3481719-1307577329/watcher-3481719-1307577329 -o /tmp/evaluation-result-3481719-1307577329/solver-3481719-1307577329 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481719-1307577329.opb -seed 1360058803 -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: 1.91 1.92 1.29 3/576 12332
/proc/meminfo: memFree=23615820/32950904 swapFree=56615552/67111528
[pid=12332] ppid=12330 vsize=15772 CPUtime=0 cores=1,3,5,7
/proc/12332/stat : 12332 (python) R 12330 12332 11000 0 -1 4202496 900 0 0 0 0 0 0 0 25 0 1 0 869332675 16150528 780 33554432000 4194304 5683644 140736843381872 18446744073709551615 237278540485 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/12332/statm: 3943 781 344 364 0 430 0
[startup+0.0777279 s]
/proc/loadavg: 1.91 1.92 1.29 3/576 12332
/proc/meminfo: memFree=23615820/32950904 swapFree=56615552/67111528
[pid=12332] ppid=12330 vsize=84568 CPUtime=0.05 cores=1,3,5,7
/proc/12332/stat : 12332 (python) S 12330 12332 11000 0 -1 4202496 2410 0 0 0 4 1 0 0 17 0 1 0 869332675 86597632 2136 33554432000 4194304 5683644 140736843381872 18446744073709551615 237278877696 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/12332/statm: 21142 2136 707 364 0 1359 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84568
[startup+0.100722 s]
/proc/loadavg: 1.91 1.92 1.29 3/576 12332
/proc/meminfo: memFree=23615820/32950904 swapFree=56615552/67111528
[pid=12332] ppid=12330 vsize=96124 CPUtime=0.07 cores=1,3,5,7
/proc/12332/stat : 12332 (python) R 12330 12332 11000 0 -1 4202496 3169 930 1 0 5 2 0 0 18 0 1 0 869332675 98430976 2483 33554432000 4194304 5683644 140736843381872 18446744073709551615 5172096 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/12332/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.30075 s]
/proc/loadavg: 1.91 1.92 1.29 3/576 12332
/proc/meminfo: memFree=23615820/32950904 swapFree=56615552/67111528
[pid=12332] ppid=12330 vsize=200776 CPUtime=0.24 cores=1,3,5,7
/proc/12332/stat : 12332 (python) R 12330 12332 11000 0 -1 4202496 6648 930 1 0 17 7 0 0 17 0 1 0 869332675 205594624 4936 33554432000 4194304 5683644 140736843381872 18446744073709551615 237278877696 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/12332/statm: 50194 4936 1465 364 0 3676 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 200776
[startup+0.700679 s]
/proc/loadavg: 1.91 1.92 1.29 3/576 12332
/proc/meminfo: memFree=23615820/32950904 swapFree=56615552/67111528
[pid=12332] ppid=12330 vsize=293072 CPUtime=0.41 cores=1,3,5,7
/proc/12332/stat : 12332 (python) S 12330 12332 11000 0 -1 4202496 9626 930 1 0 31 10 0 0 19 0 2 0 869332675 300105728 7139 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/12332/statm: 73268 7139 1870 364 0 8155 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 293072
[startup+1.50047 s]
/proc/loadavg: 1.91 1.92 1.29 3/580 12340
/proc/meminfo: memFree=23589864/32950904 swapFree=56615552/67111528
[pid=12332] ppid=12330 vsize=293072 CPUtime=0.41 cores=1,3,5,7
/proc/12332/stat : 12332 (python) S 12330 12332 11000 0 -1 4202496 9626 930 1 0 31 10 0 0 19 0 2 0 869332675 300105728 7139 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/12332/statm: 73268 7139 1870 364 0 8155 0
[pid=12338] ppid=12332 vsize=282828 CPUtime=0 cores=1,3,5,7
/proc/12338/stat : 12338 (python) S 12332 12332 11000 0 -1 4202560 701 0 0 0 0 0 0 0 18 0 1 0 869332726 289615872 5614 33554432000 4194304 5683644 140736843381872 18446744073709551615 237278899727 0 0 16781312 33554946 7788150823032160516 0 0 17 1 0 0 0
/proc/12338/statm: 70707 5614 349 364 0 5594 0
[pid=12340] ppid=12338 vsize=1860 CPUtime=0.98 cores=1,3,5,7
/proc/12340/stat : 12340 (clasp-1.3.7-x86) R 12338 12340 12340 0 -1 4202496 463 0 0 0 98 0 0 0 21 0 1 0 869332726 1904640 206 33554432000 134512640 136139019 4292039136 18446744073709551615 134831120 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12340/statm: 465 206 183 398 0 65 0
[pid=12332/tid=12339] ppid=12330 vsize=293072 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12339/stat : 12339 (python) S 12330 12332 11000 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 2 0 869332726 300105728 7139 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290703281 0 0 16781312 33554434 18446604460426858688 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 577760
[startup+3.10019 s]
/proc/loadavg: 1.91 1.92 1.29 3/580 12340
/proc/meminfo: memFree=23589120/32950904 swapFree=56615552/67111528
[pid=12332] ppid=12330 vsize=293072 CPUtime=0.41 cores=1,3,5,7
/proc/12332/stat : 12332 (python) S 12330 12332 11000 0 -1 4202496 9626 930 1 0 31 10 0 0 19 0 2 0 869332675 300105728 7139 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/12332/statm: 73268 7139 1870 364 0 8155 0
[pid=12338] ppid=12332 vsize=282828 CPUtime=0 cores=1,3,5,7
/proc/12338/stat : 12338 (python) S 12332 12332 11000 0 -1 4202560 724 0 0 0 0 0 0 0 18 0 1 0 869332726 289615872 5617 33554432000 4194304 5683644 140736843381872 18446744073709551615 237278899727 0 0 16781312 33554946 7788165185402798340 0 0 17 1 0 0 0
/proc/12338/statm: 70707 5617 352 364 0 5594 0
[pid=12340] ppid=12338 vsize=1860 CPUtime=2.58 cores=1,3,5,7
/proc/12340/stat : 12340 (clasp-1.3.7-x86) R 12338 12340 12340 0 -1 4202496 464 0 0 0 258 0 0 0 25 0 1 0 869332726 1904640 207 33554432000 134512640 136139019 4292039136 18446744073709551615 134883836 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/12340/statm: 465 207 183 398 0 65 0
[pid=12332/tid=12339] ppid=12330 vsize=293072 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12339/stat : 12339 (python) S 12330 12332 11000 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 2 0 869332726 300105728 7139 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290703281 0 0 16781312 33554434 18446604460426858688 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 577760
[startup+6.30061 s]
/proc/loadavg: 2.16 1.97 1.31 9/580 12340
/proc/meminfo: memFree=23589936/32950904 swapFree=56615552/67111528
[pid=12332] ppid=12330 vsize=293072 CPUtime=0.41 cores=1,3,5,7
/proc/12332/stat : 12332 (python) S 12330 12332 11000 0 -1 4202496 9626 930 1 0 31 10 0 0 19 0 2 0 869332675 300105728 7139 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/12332/statm: 73268 7139 1870 364 0 8155 0
[pid=12338] ppid=12332 vsize=282828 CPUtime=0 cores=1,3,5,7
/proc/12338/stat : 12338 (python) S 12332 12332 11000 0 -1 4202560 871 0 0 0 0 0 0 0 18 0 1 0 869332726 289615872 5640 33554432000 4194304 5683644 140736843381872 18446744073709551615 237278899727 0 0 16781312 33554946 2081481927784628484 0 0 17 1 0 0 0
/proc/12338/statm: 70707 5640 375 364 0 5594 0
[pid=12340] ppid=12338 vsize=1860 CPUtime=5.79 cores=1,3,5,7
/proc/12340/stat : 12340 (clasp-1.3.7-x86) R 12338 12340 12340 0 -1 4202496 464 0 0 0 579 0 0 0 25 0 1 0 869332726 1904640 207 33554432000 134512640 136139019 4292039136 18446744073709551615 134876073 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/12340/statm: 465 207 183 398 0 65 0
[pid=12332/tid=12339] ppid=12330 vsize=293072 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12339/stat : 12339 (python) S 12330 12332 11000 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 2 0 869332726 300105728 7139 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290703281 0 0 16781312 33554434 18446604460426858688 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 577760
[startup+12.7005 s]
/proc/loadavg: 2.15 1.97 1.31 3/584 12344
/proc/meminfo: memFree=23569848/32950904 swapFree=56615552/67111528
[pid=12332] ppid=12330 vsize=293072 CPUtime=0.41 cores=1,3,5,7
/proc/12332/stat : 12332 (python) S 12330 12332 11000 0 -1 4202496 9626 930 1 0 31 10 0 0 19 0 2 0 869332675 300105728 7139 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/12332/statm: 73268 7139 1870 364 0 8155 0
[pid=12338] ppid=12332 vsize=282828 CPUtime=0.02 cores=1,3,5,7
/proc/12338/stat : 12338 (python) S 12332 12332 11000 0 -1 4202560 876 0 0 0 1 1 0 0 18 0 1 0 869332726 289615872 5641 33554432000 4194304 5683644 140736843381872 18446744073709551615 237278899727 0 0 16781312 33554946 5623311482772007726 0 0 17 1 0 0 0
/proc/12338/statm: 70707 5641 376 364 0 5594 0
[pid=12340] ppid=12338 vsize=1860 CPUtime=12.18 cores=1,3,5,7
/proc/12340/stat : 12340 (clasp-1.3.7-x86) R 12338 12340 12340 0 -1 4202496 465 0 0 0 1218 0 0 0 25 0 1 0 869332726 1904640 208 33554432000 134512640 136139019 4292039136 18446744073709551615 134871270 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/12340/statm: 465 208 183 398 0 65 0
[pid=12332/tid=12339] ppid=12330 vsize=293072 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12339/stat : 12339 (python) S 12330 12332 11000 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 2 0 869332726 300105728 7139 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290703281 0 0 16781312 33554434 18446604460426858688 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 577760
[startup+25.5012 s]
/proc/loadavg: 2.18 1.99 1.33 3/584 12345
/proc/meminfo: memFree=23524904/32950904 swapFree=56615552/67111528
[pid=12332] ppid=12330 vsize=293072 CPUtime=0.41 cores=1,3,5,7
/proc/12332/stat : 12332 (python) S 12330 12332 11000 0 -1 4202496 9626 930 1 0 31 10 0 0 19 0 2 0 869332675 300105728 7139 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/12332/statm: 73268 7139 1870 364 0 8155 0
[pid=12338] ppid=12332 vsize=282828 CPUtime=0.07 cores=1,3,5,7
/proc/12338/stat : 12338 (python) S 12332 12332 11000 0 -1 4202560 882 0 0 0 4 3 0 0 18 0 1 0 869332726 289615872 5641 33554432000 4194304 5683644 140736843381872 18446744073709551615 237278899727 0 0 16781312 33554946 5623753486446373678 0 0 17 7 0 0 0
/proc/12338/statm: 70707 5641 376 364 0 5594 0
[pid=12340] ppid=12338 vsize=1860 CPUtime=24.98 cores=1,3,5,7
/proc/12340/stat : 12340 (clasp-1.3.7-x86) R 12338 12340 12340 0 -1 4202496 466 0 0 0 2498 0 0 0 25 0 1 0 869332726 1904640 209 33554432000 134512640 136139019 4292039136 18446744073709551615 134831259 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/12340/statm: 465 209 183 398 0 65 0
[pid=12332/tid=12339] ppid=12330 vsize=293072 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12339/stat : 12339 (python) S 12330 12332 11000 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 2 0 869332726 300105728 7139 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290703281 0 0 16781312 33554434 18446604460426858688 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 577760
[startup+51.1006 s]
/proc/loadavg: 2.20 2.00 1.35 3/588 12349
/proc/meminfo: memFree=23455400/32950904 swapFree=56615552/67111528
[pid=12332] ppid=12330 vsize=303872 CPUtime=0.43 cores=1,3,5,7
/proc/12332/stat : 12332 (python) S 12330 12332 11000 0 -1 4202496 10497 930 1 0 33 10 0 0 20 0 3 0 869332675 311164928 7265 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/12332/statm: 75968 7265 1873 364 0 10852 0
[pid=12338] ppid=12332 vsize=293072 CPUtime=0.16 cores=1,3,5,7
/proc/12338/stat : 12338 (python) S 12332 12332 11000 0 -1 4202560 1112 0 0 0 9 7 0 0 19 0 2 0 869332726 300105728 5682 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/12338/statm: 73268 5682 412 364 0 8155 0
[pid=12340] ppid=12338 vsize=1860 CPUtime=47.16 cores=1,3,5,7
/proc/12340/stat : 12340 (clasp-1.3.7-x86) T 12338 12340 12340 0 -1 4202496 467 0 0 0 4716 0 0 0 25 0 1 0 869332726 1904640 210 33554432000 134512640 136139019 4292039136 18446744073709551615 134632455 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/12340/statm: 465 210 183 398 0 65 0
[pid=12338/tid=12346] ppid=12332 vsize=293072 CPUtime=0 cores=1,3,5,7
/proc/12338/task/12346/stat : 12346 (python) S 12332 12332 11000 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 869337443 300105728 5682 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290703281 0 0 16781312 33554946 18446604456835898048 0 0 -1 7 0 0 0
[pid=12347] ppid=12332 vsize=293628 CPUtime=0.04 cores=1,3,5,7
/proc/12347/stat : 12347 (python) S 12332 12332 11000 0 -1 4202560 962 0 0 0 2 2 0 0 15 0 1 0 869337445 300675072 5762 33554432000 4194304 5683644 140736843381872 18446744073709551615 237278899782 0 0 16781312 33554946 3655059805036347392 0 0 17 5 0 0 0
/proc/12347/statm: 73407 5762 374 364 0 8291 0
[pid=12349] ppid=12347 vsize=28832 CPUtime=3.39 cores=1,3,5,7
/proc/12349/stat : 12349 (scip-2.0.1.linu) R 12347 12349 12349 0 -1 4202496 6389 0 0 0 255 84 0 0 21 0 1 0 869337445 29523968 4895 33554432000 4194304 13684479 140733323877360 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/12349/statm: 7208 4895 803 2317 0 4886 0
[pid=12332/tid=12339] ppid=12330 vsize=303872 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12339/stat : 12339 (python) S 12330 12332 11000 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 3 0 869332726 311164928 7265 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290703281 0 0 16781312 33554434 18446604460426858688 0 0 -1 1 0 0 0
[pid=12332/tid=12348] ppid=12330 vsize=303872 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12348/stat : 12348 (python) S 12330 12332 11000 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 3 0 869337445 311164928 7265 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290703281 0 0 16781312 33554434 18446604460426858688 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 921264
[startup+102.301 s]
/proc/loadavg: 2.08 2.00 1.38 3/592 12355
/proc/meminfo: memFree=23176216/32950904 swapFree=56615552/67111528
[pid=12332] ppid=12330 vsize=303872 CPUtime=0.43 cores=1,3,5,7
/proc/12332/stat : 12332 (python) S 12330 12332 11000 0 -1 4202496 10497 930 1 0 33 10 0 0 20 0 3 0 869332675 311164928 7265 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/12332/statm: 75968 7265 1873 364 0 10852 0
[pid=12338] ppid=12332 vsize=293072 CPUtime=0.16 cores=1,3,5,7
/proc/12338/stat : 12338 (python) S 12332 12332 11000 0 -1 4202560 1112 0 0 0 9 7 0 0 19 0 2 0 869332726 300105728 5682 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/12338/statm: 73268 5682 412 364 0 8155 0
[pid=12340] ppid=12338 vsize=1860 CPUtime=47.16 cores=1,3,5,7
/proc/12340/stat : 12340 (clasp-1.3.7-x86) T 12338 12340 12340 0 -1 4202496 467 0 0 0 4716 0 0 0 25 0 1 0 869332726 1904640 210 33554432000 134512640 136139019 4292039136 18446744073709551615 134632455 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/12340/statm: 465 210 183 398 0 65 0
[pid=12338/tid=12346] ppid=12332 vsize=293072 CPUtime=0 cores=1,3,5,7
/proc/12338/task/12346/stat : 12346 (python) S 12332 12332 11000 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 869337443 300105728 5682 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290703281 0 0 16781312 33554946 18446604456835898048 0 0 -1 7 0 0 0
[pid=12347] ppid=12332 vsize=293984 CPUtime=0.49 cores=1,3,5,7
/proc/12347/stat : 12347 (python) S 12332 12332 11000 0 -1 4202560 1194 0 0 0 29 20 0 0 15 0 1 0 869337445 301039616 5863 33554432000 4194304 5683644 140736843381872 18446744073709551615 237278899782 0 0 16781312 33554946 248604896209666048 0 0 17 5 0 0 0
/proc/12347/statm: 73496 5863 376 364 0 8380 0
[pid=12349] ppid=12347 vsize=94164 CPUtime=54.58 cores=1,3,5,7
/proc/12349/stat : 12349 (scip-2.0.1.linu) R 12347 12349 12349 0 -1 4202496 22410 0 0 0 4362 1096 0 0 18 0 1 0 869337445 96423936 20916 33554432000 4194304 13684479 140733323877360 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/12349/statm: 23541 20916 803 2317 0 21219 0
[pid=12332/tid=12339] ppid=12330 vsize=303872 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12339/stat : 12339 (python) S 12330 12332 11000 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 3 0 869332726 311164928 7265 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290703281 0 0 16781312 33554434 18446604460426858688 0 0 -1 1 0 0 0
[pid=12332/tid=12348] ppid=12330 vsize=303872 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12348/stat : 12348 (python) S 12330 12332 11000 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 3 0 869337445 311164928 7265 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290703281 0 0 16781312 33554434 18446604460426858688 0 0 -1 7 0 0 0
################
# More data... #
################
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+490.302 s]
/proc/loadavg: 2.16 2.08 1.62 6/635 13146
/proc/meminfo: memFree=22161204/32950904 swapFree=56615552/67111528
[pid=12332] ppid=12330 vsize=355564 CPUtime=0.61 cores=1,3,5,7
/proc/12332/stat : 12332 (python) S 12330 12332 11000 0 -1 4202496 14873 930 1 0 50 11 0 0 20 0 8 0 869332675 364097536 7407 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/12332/statm: 88891 7407 1883 364 0 23760 0
[pid=12338] ppid=12332 vsize=293072 CPUtime=0.33 cores=1,3,5,7
/proc/12338/stat : 12338 (python) S 12332 12332 11000 0 -1 4202560 1149 0 0 0 17 16 0 0 18 0 2 0 869332726 300105728 5692 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/12338/statm: 73268 5692 422 364 0 8155 0
[pid=12340] ppid=12338 vsize=1860 CPUtime=93.32 cores=1,3,5,7
/proc/12340/stat : 12340 (clasp-1.3.7-x86) T 12338 12340 12340 0 -1 4202496 467 0 0 0 9332 0 0 0 25 0 1 0 869332726 1904640 210 33554432000 134512640 136139019 4292039136 18446744073709551615 134876521 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/12340/statm: 465 210 183 398 0 65 0
[pid=12338/tid=12346] ppid=12332 vsize=293072 CPUtime=0 cores=1,3,5,7
/proc/12338/task/12346/stat : 12346 (python) S 12332 12332 11000 0 -1 4202560 42 0 0 0 0 0 0 0 18 0 2 0 869337443 300105728 5692 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290703281 0 0 16781312 33554946 18446604456835898048 0 0 -1 7 0 0 0
[pid=12347] ppid=12332 vsize=294540 CPUtime=0.56 cores=1,3,5,7
/proc/12347/stat : 12347 (python) S 12332 12332 11000 0 -1 4202560 1360 0 0 0 34 22 0 0 16 0 2 0 869337445 301608960 5896 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/12347/statm: 73635 5896 399 364 0 8519 0
[pid=12349] ppid=12347 vsize=98896 CPUtime=59.41 cores=1,3,5,7
/proc/12349/stat : 12349 (scip-2.0.1.linu) T 12347 12349 12349 0 -1 4202496 23635 0 0 0 4754 1187 0 0 19 0 1 0 869337445 101269504 22141 33554432000 4194304 13684479 140733323877360 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/12349/statm: 24724 22141 803 2317 0 22402 0
[pid=12347/tid=12356] ppid=12332 vsize=294540 CPUtime=0 cores=1,3,5,7
/proc/12347/task/12356/stat : 12356 (python) S 12332 12332 11000 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869343388 301608960 5896 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290703281 0 0 16781312 33554946 18446604465848894784 0 0 -1 5 0 0 0
[pid=12357] ppid=12332 vsize=303576 CPUtime=0.36 cores=1,3,5,7
/proc/12357/stat : 12357 (python) S 12332 12332 11000 0 -1 4202560 1131 0 0 0 17 19 0 0 16 0 2 0 869343391 310861824 5714 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/12357/statm: 75894 5714 397 364 0 10775 0
[pid=12359] ppid=12357 vsize=172372 CPUtime=96.48 cores=1,3,5,7
/proc/12359/stat : 12359 (wbo1.4a) T 12357 12359 12359 0 -1 4202496 42817 0 0 0 9472 176 0 0 25 0 1 0 869343391 176508928 42556 33554432000 134512640 135751879 4294277664 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/12359/statm: 43093 42556 143 303 0 42788 0
[pid=12357/tid=12361] ppid=12332 vsize=303576 CPUtime=0 cores=1,3,5,7
/proc/12357/task/12361/stat : 12361 (python) S 12332 12332 11000 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 869348462 310861824 5714 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290703281 0 0 16781312 33554946 18446604468747527424 0 0 -1 7 0 0 0
[pid=12362] ppid=12332 vsize=314336 CPUtime=0.5 cores=1,3,5,7
/proc/12362/stat : 12362 (python) S 12332 12332 11000 0 -1 4202560 1299 0 0 0 33 17 0 0 16 0 2 0 869348464 321880064 5829 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/12362/statm: 78584 5829 398 364 0 13462 0
[pid=12364] ppid=12362 vsize=86340 CPUtime=55.35 cores=1,3,5,7
/proc/12364/stat : 12364 (scip-2.0.1.linu) T 12362 12364 12364 0 -1 4202496 20669 0 0 0 4750 785 0 0 19 0 1 0 869348464 88412160 18557 33554432000 4194304 15243407 140733463230576 18446744073709551615 4809942 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/12364/statm: 21585 18557 928 2698 0 18880 0
[pid=12362/tid=12367] ppid=12332 vsize=314336 CPUtime=0 cores=1,3,5,7
/proc/12362/task/12367/stat : 12367 (python) S 12332 12332 11000 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 869354002 321880064 5829 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290703281 0 0 16781312 33554946 18446604459786078080 0 0 -1 7 0 0 0
[pid=12368] ppid=12332 vsize=324592 CPUtime=0.17 cores=1,3,5,7
/proc/12368/stat : 12368 (python) S 12332 12332 11000 0 -1 4202560 1119 0 0 0 9 8 0 0 19 0 2 0 869354004 332382208 5852 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/12368/statm: 81148 5852 397 364 0 16023 0
[pid=12370] ppid=12368 vsize=8546412 CPUtime=48.53 cores=1,3,5,7
/proc/12370/stat : 12370 (java) T 12368 12370 12370 0 -1 4202496 63423 0 1 0 4843 10 0 0 15 0 19 0 869354004 8751525888 29694 33554432000 1073741824 1073778376 140736666911280 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/12370/statm: 2136603 29694 2232 9 0 2127344 0
[pid=12370/tid=12371] ppid=12368 vsize=8546412 CPUtime=47.13 cores=1,3,5,7
/proc/12370/task/12371/stat : 12371 (java) T 12368 12370 12370 0 -1 4202560 35341 0 1 0 4708 5 0 0 25 0 19 0 869354006 8751525888 29694 33554432000 1073741824 1073778376 140736666911280 18446744073709551615 46912505581339 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=12370/tid=12372] ppid=12368 vsize=8546412 CPUtime=0.03 cores=1,3,5,7
/proc/12370/task/12372/stat : 12372 (java) T 12368 12370 12370 0 -1 4202560 1549 0 0 0 3 0 0 0 15 0 19 0 869354006 8751525888 29694 33554432000 1073741824 1073778376 140736666911280 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=12370/tid=12373] ppid=12368 vsize=8546412 CPUtime=0.03 cores=1,3,5,7
/proc/12370/task/12373/stat : 12373 (java) T 12368 12370 12370 0 -1 4202560 1502 0 0 0 3 0 0 0 15 0 19 0 869354006 8751525888 29694 33554432000 1073741824 1073778376 140736666911280 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=12370/tid=12374] ppid=12368 vsize=8546412 CPUtime=0.03 cores=1,3,5,7
/proc/12370/task/12374/stat : 12374 (java) T 12368 12370 12370 0 -1 4202560 2071 0 0 0 3 0 0 0 15 0 19 0 869354006 8751525888 29694 33554432000 1073741824 1073778376 140736666911280 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=12370/tid=12375] ppid=12368 vsize=8546412 CPUtime=0.03 cores=1,3,5,7
/proc/12370/task/12375/stat : 12375 (java) T 12368 12370 12370 0 -1 4202560 2079 0 0 0 3 0 0 0 15 0 19 0 869354006 8751525888 29694 33554432000 1073741824 1073778376 140736666911280 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=12370/tid=12376] ppid=12368 vsize=8546412 CPUtime=0.03 cores=1,3,5,7
/proc/12370/task/12376/stat : 12376 (java) T 12368 12370 12370 0 -1 4202560 2165 0 0 0 3 0 0 0 15 0 19 0 869354006 8751525888 29694 33554432000 1073741824 1073778376 140736666911280 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=12370/tid=12377] ppid=12368 vsize=8546412 CPUtime=0.03 cores=1,3,5,7
/proc/12370/task/12377/stat : 12377 (java) T 12368 12370 12370 0 -1 4202560 941 0 0 0 3 0 0 0 15 0 19 0 869354006 8751525888 29694 33554432000 1073741824 1073778376 140736666911280 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=12370/tid=12378] ppid=12368 vsize=8546412 CPUtime=0.02 cores=1,3,5,7
/proc/12370/task/12378/stat : 12378 (java) T 12368 12370 12370 0 -1 4202560 2245 0 0 0 2 0 0 0 15 0 19 0 869354006 8751525888 29694 33554432000 1073741824 1073778376 140736666911280 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=12370/tid=12379] ppid=12368 vsize=8546412 CPUtime=0.03 cores=1,3,5,7
/proc/12370/task/12379/stat : 12379 (java) T 12368 12370 12370 0 -1 4202560 1802 0 0 0 3 0 0 0 15 0 19 0 869354006 8751525888 29694 33554432000 1073741824 1073778376 140736666911280 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=12370/tid=12380] ppid=12368 vsize=8546412 CPUtime=0 cores=1,3,5,7
/proc/12370/task/12380/stat : 12380 (java) T 12368 12370 12370 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 869354007 8751525888 29694 33554432000 1073741824 1073778376 140736666911280 18446744073709551615 237290696192 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=12370/tid=12381] ppid=12368 vsize=8546412 CPUtime=0 cores=1,3,5,7
/proc/12370/task/12381/stat : 12381 (java) T 12368 12370 12370 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869354008 8751525888 29694 33554432000 1073741824 1073778376 140736666911280 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=12370/tid=12382] ppid=12368 vsize=8546412 CPUtime=0 cores=1,3,5,7
/proc/12370/task/12382/stat : 12382 (java) T 12368 12370 12370 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 869354008 8751525888 29694 33554432000 1073741824 1073778376 140736666911280 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=12370/tid=12383] ppid=12368 vsize=8546412 CPUtime=0 cores=1,3,5,7
/proc/12370/task/12383/stat : 12383 (java) T 12368 12370 12370 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869354010 8751525888 29694 33554432000 1073741824 1073778376 140736666911280 18446744073709551615 237290703281 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=12370/tid=12384] ppid=12368 vsize=8546412 CPUtime=0.59 cores=1,3,5,7
/proc/12370/task/12384/stat : 12384 (java) T 12368 12370 12370 0 -1 4202560 6610 0 0 0 59 0 0 0 15 0 19 0 869354010 8751525888 29694 33554432000 1073741824 1073778376 140736666911280 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=12370/tid=12385] ppid=12368 vsize=8546412 CPUtime=0.47 cores=1,3,5,7
/proc/12370/task/12385/stat : 12385 (java) T 12368 12370 12370 0 -1 4202560 5714 0 0 0 47 0 0 0 15 0 19 0 869354010 8751525888 29694 33554432000 1073741824 1073778376 140736666911280 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=12370/tid=12386] ppid=12368 vsize=8546412 CPUtime=0 cores=1,3,5,7
/proc/12370/task/12386/stat : 12386 (java) T 12368 12370 12370 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869354010 8751525888 29694 33554432000 1073741824 1073778376 140736666911280 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=12370/tid=12387] ppid=12368 vsize=8546412 CPUtime=0 cores=1,3,5,7
/proc/12370/task/12387/stat : 12387 (java) T 12368 12370 12370 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869354010 8751525888 29694 33554432000 1073741824 1073778376 140736666911280 18446744073709551615 237290696192 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=12370/tid=12388] ppid=12368 vsize=8546412 CPUtime=0 cores=1,3,5,7
/proc/12370/task/12388/stat : 12388 (java) T 12368 12370 12370 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869354019 8751525888 29694 33554432000 1073741824 1073778376 140736666911280 18446744073709551615 237290696192 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=12368/tid=12390] ppid=12332 vsize=324592 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12390/stat : 12390 (python) S 12332 12332 11000 0 -1 4202560 43 0 0 0 0 0 0 0 19 0 2 0 869358736 332382208 5852 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290703281 0 0 16781312 33554946 18446604468871696832 0 0 -1 3 0 0 0
[pid=12391] ppid=12332 vsize=334848 CPUtime=0.47 cores=1,3,5,7
/proc/12391/stat : 12391 (python) S 12332 12332 11000 0 -1 4202560 1190 0 0 0 24 23 0 0 18 0 2 0 869358739 342884352 5856 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/12391/statm: 83712 5856 397 364 0 18584 0
[pid=12393] ppid=12391 vsize=22476 CPUtime=137.46 cores=1,3,5,7
/proc/12393/stat : 12393 (bsolo_pb10) T 12391 12393 12393 0 -1 4202496 1504 0 0 0 13726 20 0 0 25 0 1 0 869358739 23015424 1233 33554432000 134512640 137138936 4288317872 18446744073709551615 134542310 0 0 16781312 16384 18446744071562691360 0 0 17 1 0 0 0
/proc/12393/statm: 5619 1233 192 642 0 4975 0
[pid=12391/tid=12468] ppid=12332 vsize=334848 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12468/stat : 12468 (python) S 12332 12332 11000 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 869372486 342884352 5856 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290703281 0 0 16781312 33554946 18446604466289340544 0 0 -1 1 0 0 0
[pid=13126] ppid=12332 vsize=345320 CPUtime=0 cores=1,3,5,7
/proc/13126/stat : 13126 (python) S 12332 12332 11000 0 -1 4202560 844 0 0 0 0 0 0 0 18 0 1 0 869381687 353607680 5869 33554432000 4194304 5683644 140736843381872 18446744073709551615 237278899782 0 0 16781312 33554946 58992123134869504 0 0 17 1 0 0 0
/proc/13126/statm: 86330 5869 349 364 0 21199 0
[pid=13128] ppid=13126 vsize=8536300 CPUtime=0.34 cores=1,3,5,7
/proc/13128/stat : 13128 (java) S 13126 13128 13128 0 -1 4202496 8291 0 1 0 33 1 0 0 18 0 19 0 869381687 8741171200 6796 33554432000 1073741824 1073778376 140734569685376 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/13128/statm: 2134075 6796 2188 9 0 2124816 0
[pid=13128/tid=13129] ppid=13126 vsize=8536300 CPUtime=0.19 cores=1,3,5,7
/proc/13128/task/13129/stat : 13129 (java) R 13126 13128 13128 0 -1 4202560 3939 0 1 0 19 0 0 0 19 0 19 0 869381688 8741171200 6636 33554432000 1073741824 1073778376 140734569685376 18446744073709551615 46912505530520 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13128/tid=13130] ppid=13126 vsize=8536300 CPUtime=0 cores=1,3,5,7
/proc/13128/task/13130/stat : 13130 (java) S 13126 13128 13128 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 869381689 8741171200 6637 33554432000 1073741824 1073778376 140734569685376 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 3 0 0 0
[pid=13128/tid=13131] ppid=13126 vsize=8536300 CPUtime=0 cores=1,3,5,7
/proc/13128/task/13131/stat : 13131 (java) S 13126 13128 13128 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869381689 8741171200 6637 33554432000 1073741824 1073778376 140734569685376 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 3 0 0 0
[pid=13128/tid=13132] ppid=13126 vsize=8536300 CPUtime=0 cores=1,3,5,7
/proc/13128/task/13132/stat : 13132 (java) S 13126 13128 13128 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869381689 8741171200 6638 33554432000 1073741824 1073778376 140734569685376 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 3 0 0 0
[pid=13128/tid=13133] ppid=13126 vsize=8536300 CPUtime=0 cores=1,3,5,7
/proc/13128/task/13133/stat : 13133 (java) S 13126 13128 13128 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869381689 8741171200 6638 33554432000 1073741824 1073778376 140734569685376 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 3 0 0 0
[pid=13128/tid=13134] ppid=13126 vsize=8536300 CPUtime=0 cores=1,3,5,7
/proc/13128/task/13134/stat : 13134 (java) S 13126 13128 13128 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869381689 8741171200 6638 33554432000 1073741824 1073778376 140734569685376 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 3 0 0 0
[pid=13128/tid=13135] ppid=13126 vsize=8536300 CPUtime=0 cores=1,3,5,7
/proc/13128/task/13135/stat : 13135 (java) S 13126 13128 13128 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869381689 8741171200 6638 33554432000 1073741824 1073778376 140734569685376 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 3 0 0 0
[pid=13128/tid=13136] ppid=13126 vsize=8536300 CPUtime=0 cores=1,3,5,7
/proc/13128/task/13136/stat : 13136 (java) S 13126 13128 13128 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869381689 8741171200 6638 33554432000 1073741824 1073778376 140734569685376 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 3 0 0 0
[pid=13128/tid=13137] ppid=13126 vsize=8536300 CPUtime=0 cores=1,3,5,7
/proc/13128/task/13137/stat : 13137 (java) S 13126 13128 13128 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869381689 8741171200 6638 33554432000 1073741824 1073778376 140734569685376 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 3 0 0 0
[pid=13128/tid=13138] ppid=13126 vsize=8536300 CPUtime=0 cores=1,3,5,7
/proc/13128/task/13138/stat : 13138 (java) S 13126 13128 13128 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 869381690 8741171200 6639 33554432000 1073741824 1073778376 140734569685376 18446744073709551615 237290696192 0 0 0 16800975 18446604454518199360 0 0 -1 3 0 0 0
[pid=13128/tid=13139] ppid=13126 vsize=8536300 CPUtime=0 cores=1,3,5,7
/proc/13128/task/13139/stat : 13139 (java) S 13126 13128 13128 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 869381690 8741171200 6639 33554432000 1073741824 1073778376 140734569685376 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 7 0 0 0
[pid=13128/tid=13140] ppid=13126 vsize=8536300 CPUtime=0 cores=1,3,5,7
/proc/13128/task/13140/stat : 13140 (java) S 13126 13128 13128 0 -1 4202560 8 0 0 0 0 0 0 0 24 0 19 0 869381690 8741171200 6639 33554432000 1073741824 1073778376 140734569685376 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 3 0 0 0
[pid=13128/tid=13141] ppid=13126 vsize=8536300 CPUtime=0 cores=1,3,5,7
/proc/13128/task/13141/stat : 13141 (java) S 13126 13128 13128 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869381692 8741171200 6639 33554432000 1073741824 1073778376 140734569685376 18446744073709551615 237290703281 0 4 0 16800975 18446604454518199360 0 0 -1 7 0 0 0
[pid=13128/tid=13142] ppid=13126 vsize=8536300 CPUtime=0.08 cores=1,3,5,7
/proc/13128/task/13142/stat : 13142 (java) R 13126 13128 13128 0 -1 4202560 1475 0 0 0 8 0 0 0 25 0 19 0 869381692 8741171200 6639 33554432000 1073741824 1073778376 140734569685376 18446744073709551615 47493892999068 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13128/tid=13143] ppid=13126 vsize=8536300 CPUtime=0.06 cores=1,3,5,7
/proc/13128/task/13143/stat : 13143 (java) R 13126 13128 13128 0 -1 4202560 1515 0 0 0 6 0 0 0 25 0 19 0 869381692 8741171200 6639 33554432000 1073741824 1073778376 140734569685376 18446744073709551615 237290695577 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13128/tid=13144] ppid=13126 vsize=8536300 CPUtime=0 cores=1,3,5,7
/proc/13128/task/13144/stat : 13144 (java) S 13126 13128 13128 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869381692 8741171200 6640 33554432000 1073741824 1073778376 140734569685376 18446744073709551615 237290695577 0 4 0 16800975 18446604454518199360 0 0 -1 7 0 0 0
[pid=13128/tid=13145] ppid=13126 vsize=8536300 CPUtime=0 cores=1,3,5,7
/proc/13128/task/13145/stat : 13145 (java) R 13126 13128 13128 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869381692 8741171200 6640 33554432000 1073741824 1073778376 140734569685376 18446744073709551615 237290696192 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13128/tid=13146] ppid=13126 vsize=8536300 CPUtime=0 cores=1,3,5,7
/proc/13128/task/13146/stat : 13146 (java) S 13126 13128 13128 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869381701 8741171200 6640 33554432000 1073741824 1073778376 140734569685376 18446744073709551615 237290696192 0 4 0 16800975 18446604454518199360 0 0 -1 3 0 0 0
[pid=12332/tid=12339] ppid=12330 vsize=355564 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12339/stat : 12339 (python) S 12330 12332 11000 0 -1 4202560 31 930 0 0 0 0 0 0 18 0 8 0 869332726 364097536 7407 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290703281 0 0 16781312 33554434 18446604460426858688 0 0 -1 1 0 0 0
[pid=12332/tid=12348] ppid=12330 vsize=355564 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12348/stat : 12348 (python) S 12330 12332 11000 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 8 0 869337445 364097536 7407 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290703281 0 0 16781312 33554434 18446604460426858688 0 0 -1 7 0 0 0
[pid=12332/tid=12358] ppid=12330 vsize=355564 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12358/stat : 12358 (python) S 12330 12332 11000 0 -1 4202560 30 930 0 0 0 0 0 0 18 0 8 0 869343391 364097536 7407 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290703281 0 0 16781312 33554434 18446604460426858688 0 0 -1 3 0 0 0
[pid=12332/tid=12363] ppid=12330 vsize=355564 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12363/stat : 12363 (python) S 12330 12332 11000 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 8 0 869348464 364097536 7407 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290703281 0 0 16781312 33554434 18446604460426858688 0 0 -1 1 0 0 0
[pid=12332/tid=12369] ppid=12330 vsize=355564 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12369/stat : 12369 (python) S 12330 12332 11000 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 8 0 869354004 364097536 7407 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290703281 0 0 16781312 33554434 18446604460426858688 0 0 -1 7 0 0 0
[pid=12332/tid=12392] ppid=12330 vsize=355564 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12392/stat : 12392 (python) S 12330 12332 11000 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 8 0 869358739 364097536 7407 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290703281 0 0 16781312 33554434 18446604460426858688 0 0 -1 7 0 0 0
[pid=12332/tid=13127] ppid=12330 vsize=355564 CPUtime=0 cores=1,3,5,7
/proc/12332/task/13127/stat : 13127 (python) S 12330 12332 11000 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 8 0 869381687 364097536 7407 33554432000 4194304 5683644 140736843381872 18446744073709551615 237290703281 0 0 16781312 33554434 18446604460426858688 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 493.89
Current children cumulated vsize (KiB) 20030504
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 12332 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=504923
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=122981
# CPU time returned by wait4() is 0.627904
# while last known CPU time is 493.89
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 490.389
CPU time (s): 493.89
CPU user time (s): 470.94
CPU system time (s): 22.95
CPU usage (%): 100.714
Max. virtual memory (cumulated for all children) (KiB): 20030504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.504923
system time used= 0.122981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15808
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= 1021
involuntary context switches= 21
runsolver used 2.91956 second user time and 6.71798 second system time
The end