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-3481923-1307577483/watcher-3481923-1307577483 -o /tmp/evaluation-result-3481923-1307577483/solver-3481923-1307577483 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481923-1307577483.opb -seed 1809437737 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.19 2.10 1.49 2/741 24025
/proc/meminfo: memFree=18431312/32950928 swapFree=67056572/67111528
[pid=24025] ppid=24023 vsize=16236 CPUtime=0 cores=1,3,5,7
/proc/24025/stat : 24025 (python) R 24023 24025 23102 0 -1 4202496 1039 0 0 0 0 0 0 0 17 0 1 0 869345415 16625664 910 33554432000 4194304 5683644 140733571011296 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/24025/statm: 4059 910 380 364 0 546 0
[startup+0.058 s]
/proc/loadavg: 2.19 2.10 1.49 2/741 24025
/proc/meminfo: memFree=18431312/32950928 swapFree=67056572/67111528
[pid=24025] ppid=24023 vsize=29784 CPUtime=0.04 cores=1,3,5,7
/proc/24025/stat : 24025 (python) R 24023 24025 23102 0 -1 4202496 1400 0 0 0 3 1 0 0 17 0 1 0 869345415 30498816 1243 33554432000 4194304 5683644 140733571011296 18446744073709551615 4539162 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/24025/statm: 7446 1244 443 364 0 816 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 29784
[startup+0.100976 s]
/proc/loadavg: 2.19 2.10 1.49 2/741 24025
/proc/meminfo: memFree=18431312/32950928 swapFree=67056572/67111528
[pid=24025] ppid=24023 vsize=85360 CPUtime=0.06 cores=1,3,5,7
/proc/24025/stat : 24025 (python) R 24023 24025 23102 0 -1 4202496 2597 0 0 0 4 2 0 0 17 0 1 0 869345415 87408640 2316 33554432000 4194304 5683644 140733571011296 18446744073709551615 239476694784 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/24025/statm: 21340 2316 715 364 0 1557 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85360
[startup+0.300945 s]
/proc/loadavg: 2.19 2.10 1.49 2/741 24025
/proc/meminfo: memFree=18431312/32950928 swapFree=67056572/67111528
[pid=24025] ppid=24023 vsize=123736 CPUtime=0.17 cores=1,3,5,7
/proc/24025/stat : 24025 (python) R 24023 24025 23102 0 -1 4202496 5357 927 1 0 11 6 0 0 16 0 1 0 869345415 126705664 3743 33554432000 4194304 5683644 140733571011296 18446744073709551615 239476690949 0 2147483391 16781312 2 0 0 0 17 3 0 0 0
/proc/24025/statm: 30934 3743 987 364 0 2766 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123736
[startup+0.700872 s]
/proc/loadavg: 2.19 2.10 1.49 2/741 24025
/proc/meminfo: memFree=18431312/32950928 swapFree=67056572/67111528
[pid=24025] ppid=24023 vsize=273716 CPUtime=0.42 cores=1,3,5,7
/proc/24025/stat : 24025 (python) R 24023 24025 23102 0 -1 4202496 8810 927 1 0 27 15 0 0 15 0 1 0 869345415 280285184 6759 33554432000 4194304 5683644 140733571011296 18446744073709551615 4595952 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/24025/statm: 68429 6759 1720 364 0 5462 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 273716
[startup+1.5007 s]
/proc/loadavg: 2.19 2.10 1.49 3/745 24033
/proc/meminfo: memFree=18404312/32950928 swapFree=67056572/67111528
[pid=24025] ppid=24023 vsize=293088 CPUtime=0.47 cores=1,3,5,7
/proc/24025/stat : 24025 (python) S 24023 24025 23102 0 -1 4202496 9697 927 1 0 31 16 0 0 18 0 2 0 869345415 300122112 7142 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/24025/statm: 73272 7142 1870 364 0 8159 0
[pid=24031] ppid=24025 vsize=282844 CPUtime=0 cores=1,3,5,7
/proc/24031/stat : 24031 (python) S 24025 24025 23102 0 -1 4202560 829 0 0 0 0 0 0 0 15 0 1 0 869345490 289632256 5626 33554432000 4194304 5683644 140733571011296 18446744073709551615 239476715023 0 0 16781312 33554946 4294934792 0 0 17 3 0 0 0
/proc/24031/statm: 70711 5626 358 364 0 5598 0
[pid=24033] ppid=24031 vsize=1860 CPUtime=0.74 cores=1,3,5,7
/proc/24033/stat : 24033 (clasp-1.3.7-x86) R 24031 24033 24033 0 -1 4202496 482 0 0 0 74 0 0 0 19 0 1 0 869345491 1904640 228 33554432000 134512640 136139019 4291254432 18446744073709551615 134838226 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/24033/statm: 465 228 184 398 0 65 0
[pid=24025/tid=24032] ppid=24023 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/24025/task/24032/stat : 24032 (python) S 24023 24025 23102 0 -1 4202560 24 927 0 0 0 0 0 0 18 0 2 0 869345491 300122112 7142 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488518577 0 0 16781312 33554434 18446604455695667456 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 577792
[startup+3.10041 s]
/proc/loadavg: 2.19 2.10 1.49 3/745 24033
/proc/meminfo: memFree=18404312/32950928 swapFree=67056572/67111528
[pid=24025] ppid=24023 vsize=293088 CPUtime=0.47 cores=1,3,5,7
/proc/24025/stat : 24025 (python) S 24023 24025 23102 0 -1 4202496 9697 927 1 0 31 16 0 0 18 0 2 0 869345415 300122112 7142 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/24025/statm: 73272 7142 1870 364 0 8159 0
[pid=24031] ppid=24025 vsize=282844 CPUtime=0 cores=1,3,5,7
/proc/24031/stat : 24031 (python) S 24025 24025 23102 0 -1 4202560 829 0 0 0 0 0 0 0 15 0 1 0 869345490 289632256 5626 33554432000 4194304 5683644 140733571011296 18446744073709551615 239476715023 0 0 16781312 33554946 2951310739068944384 0 0 17 3 0 0 0
/proc/24031/statm: 70711 5626 358 364 0 5598 0
[pid=24033] ppid=24031 vsize=1988 CPUtime=2.34 cores=1,3,5,7
/proc/24033/stat : 24033 (clasp-1.3.7-x86) R 24031 24033 24033 0 -1 4202496 484 0 0 0 234 0 0 0 25 0 1 0 869345491 2035712 230 33554432000 134512640 136139019 4291254432 18446744073709551615 134831583 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/24033/statm: 497 230 184 398 0 97 0
[pid=24025/tid=24032] ppid=24023 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/24025/task/24032/stat : 24032 (python) S 24023 24025 23102 0 -1 4202560 24 927 0 0 0 0 0 0 18 0 2 0 869345491 300122112 7142 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488518577 0 0 16781312 33554434 18446604455695667456 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 577920
[startup+6.30078 s]
/proc/loadavg: 2.49 2.17 1.51 3/745 24033
/proc/meminfo: memFree=18405364/32950928 swapFree=67056572/67111528
[pid=24025] ppid=24023 vsize=293088 CPUtime=0.47 cores=1,3,5,7
/proc/24025/stat : 24025 (python) S 24023 24025 23102 0 -1 4202496 9697 927 1 0 31 16 0 0 18 0 2 0 869345415 300122112 7142 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/24025/statm: 73272 7142 1870 364 0 8159 0
[pid=24031] ppid=24025 vsize=282844 CPUtime=0.03 cores=1,3,5,7
/proc/24031/stat : 24031 (python) S 24025 24025 23102 0 -1 4202560 959 0 0 0 2 1 0 0 15 0 1 0 869345490 289632256 5649 33554432000 4194304 5683644 140733571011296 18446744073709551615 239476715023 0 0 16781312 33554946 3270896927692029952 0 0 17 7 0 0 0
/proc/24031/statm: 70711 5649 381 364 0 5598 0
[pid=24033] ppid=24031 vsize=1988 CPUtime=5.54 cores=1,3,5,7
/proc/24033/stat : 24033 (clasp-1.3.7-x86) R 24031 24033 24033 0 -1 4202496 485 0 0 0 554 0 0 0 25 0 1 0 869345491 2035712 231 33554432000 134512640 136139019 4291254432 18446744073709551615 134875865 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/24033/statm: 497 231 184 398 0 97 0
[pid=24025/tid=24032] ppid=24023 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/24025/task/24032/stat : 24032 (python) S 24023 24025 23102 0 -1 4202560 24 927 0 0 0 0 0 0 18 0 2 0 869345491 300122112 7142 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488518577 0 0 16781312 33554434 18446604455695667456 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 577920
[startup+12.7006 s]
/proc/loadavg: 2.42 2.16 1.52 3/745 24033
/proc/meminfo: memFree=18403708/32950928 swapFree=67056572/67111528
[pid=24025] ppid=24023 vsize=293088 CPUtime=0.47 cores=1,3,5,7
/proc/24025/stat : 24025 (python) S 24023 24025 23102 0 -1 4202496 9697 927 1 0 31 16 0 0 18 0 2 0 869345415 300122112 7142 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/24025/statm: 73272 7142 1870 364 0 8159 0
[pid=24031] ppid=24025 vsize=282844 CPUtime=0.05 cores=1,3,5,7
/proc/24031/stat : 24031 (python) S 24025 24025 23102 0 -1 4202560 961 0 0 0 3 2 0 0 15 0 1 0 869345490 289632256 5649 33554432000 4194304 5683644 140733571011296 18446744073709551615 239476715023 0 0 16781312 33554946 5623458817330129786 0 0 17 3 0 0 0
/proc/24031/statm: 70711 5649 381 364 0 5598 0
[pid=24033] ppid=24031 vsize=1988 CPUtime=11.94 cores=1,3,5,7
/proc/24033/stat : 24033 (clasp-1.3.7-x86) R 24031 24033 24033 0 -1 4202496 485 0 0 0 1194 0 0 0 25 0 1 0 869345491 2035712 231 33554432000 134512640 136139019 4291254432 18446744073709551615 134619951 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/24033/statm: 497 231 184 398 0 97 0
[pid=24025/tid=24032] ppid=24023 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/24025/task/24032/stat : 24032 (python) S 24023 24025 23102 0 -1 4202560 24 927 0 0 0 0 0 0 18 0 2 0 869345491 300122112 7142 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488518577 0 0 16781312 33554434 18446604455695667456 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 577920
[startup+25.5211 s]
/proc/loadavg: 2.35 2.16 1.52 3/745 24033
/proc/meminfo: memFree=18404800/32950928 swapFree=67056572/67111528
[pid=24025] ppid=24023 vsize=293088 CPUtime=0.47 cores=1,3,5,7
/proc/24025/stat : 24025 (python) S 24023 24025 23102 0 -1 4202496 9697 927 1 0 31 16 0 0 18 0 2 0 869345415 300122112 7142 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/24025/statm: 73272 7142 1870 364 0 8159 0
[pid=24031] ppid=24025 vsize=282844 CPUtime=0.11 cores=1,3,5,7
/proc/24031/stat : 24031 (python) S 24025 24025 23102 0 -1 4202560 965 0 0 0 6 5 0 0 15 0 1 0 869345490 289632256 5649 33554432000 4194304 5683644 140733571011296 18446744073709551615 239476715023 0 0 16781312 33554946 5623753486446373754 0 0 17 7 0 0 0
/proc/24031/statm: 70711 5649 381 364 0 5598 0
[pid=24033] ppid=24031 vsize=1988 CPUtime=24.76 cores=1,3,5,7
/proc/24033/stat : 24033 (clasp-1.3.7-x86) R 24031 24033 24033 0 -1 4202496 485 0 0 0 2476 0 0 0 25 0 1 0 869345491 2035712 231 33554432000 134512640 136139019 4291254432 18446744073709551615 134871079 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/24033/statm: 497 231 184 398 0 97 0
[pid=24025/tid=24032] ppid=24023 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/24025/task/24032/stat : 24032 (python) S 24023 24025 23102 0 -1 4202560 24 927 0 0 0 0 0 0 18 0 2 0 869345491 300122112 7142 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488518577 0 0 16781312 33554434 18446604455695667456 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 577920
[startup+51.1012 s]
/proc/loadavg: 2.23 2.14 1.53 3/749 24038
/proc/meminfo: memFree=18394740/32950928 swapFree=67056572/67111528
[pid=24025] ppid=24023 vsize=303872 CPUtime=0.49 cores=1,3,5,7
/proc/24025/stat : 24025 (python) S 24023 24025 23102 0 -1 4202496 10508 927 1 0 33 16 0 0 19 0 3 0 869345415 311164928 7266 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/24025/statm: 75968 7266 1873 364 0 10852 0
[pid=24031] ppid=24025 vsize=293088 CPUtime=0.23 cores=1,3,5,7
/proc/24031/stat : 24031 (python) S 24025 24025 23102 0 -1 4202560 1135 0 0 0 11 12 0 0 16 0 2 0 869345490 300122112 5685 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24031/statm: 73272 5685 412 364 0 8159 0
[pid=24033] ppid=24031 vsize=1988 CPUtime=48.09 cores=1,3,5,7
/proc/24033/stat : 24033 (clasp-1.3.7-x86) T 24031 24033 24033 0 -1 4202496 485 0 0 0 4809 0 0 0 25 0 1 0 869345491 2035712 231 33554432000 134512640 136139019 4291254432 18446744073709551615 134832185 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/24033/statm: 497 231 184 398 0 97 0
[pid=24031/tid=24035] ppid=24025 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/24031/task/24035/stat : 24035 (python) S 24025 24025 23102 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869350300 300122112 5685 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488518577 0 0 16781312 33554946 18446604460862334976 0 0 -1 7 0 0 0
[pid=24036] ppid=24025 vsize=293628 CPUtime=0 cores=1,3,5,7
/proc/24036/stat : 24036 (python) S 24025 24025 23102 0 -1 4202560 781 0 0 0 0 0 0 0 15 0 1 0 869350302 300675072 5738 33554432000 4194304 5683644 140733571011296 18446744073709551615 239476715078 0 0 16781312 33554946 2989013353562636288 0 0 17 5 0 0 0
/proc/24036/statm: 73407 5738 349 364 0 8291 0
[pid=24038] ppid=24036 vsize=10468 CPUtime=2.22 cores=1,3,5,7
/proc/24038/stat : 24038 (wbo1.4a) R 24036 24038 24038 0 -1 4202496 2460 0 0 0 219 3 0 0 25 0 1 0 869350303 10719232 2194 33554432000 134512640 135751879 4293824032 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/24038/statm: 2617 2194 143 303 0 2312 0
[pid=24025/tid=24032] ppid=24023 vsize=303872 CPUtime=0 cores=1,3,5,7
/proc/24025/task/24032/stat : 24032 (python) S 24023 24025 23102 0 -1 4202560 24 927 0 0 0 0 0 0 18 0 3 0 869345491 311164928 7266 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488518577 0 0 16781312 33554434 18446604455695667456 0 0 -1 7 0 0 0
[pid=24025/tid=24037] ppid=24023 vsize=303872 CPUtime=0 cores=1,3,5,7
/proc/24025/task/24037/stat : 24037 (python) S 24023 24025 23102 0 -1 4202560 26 927 0 0 0 0 0 0 20 0 3 0 869350302 311164928 7266 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488518577 0 0 16781312 33554434 18446604455695667456 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 903044
[startup+102.301 s]
/proc/loadavg: 2.14 2.13 1.56 3/754 24044
/proc/meminfo: memFree=18254308/32950928 swapFree=67056572/67111528
[pid=24025] ppid=24023 vsize=313896 CPUtime=0.52 cores=1,3,5,7
/proc/24025/stat : 24025 (python) S 24023 24025 23102 0 -1 4202496 11430 927 1 0 36 16 0 0 20 0 4 0 869345415 321429504 7221 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/24025/statm: 78474 7221 1875 364 0 13355 0
[pid=24031] ppid=24025 vsize=293088 CPUtime=0.23 cores=1,3,5,7
/proc/24031/stat : 24031 (python) S 24025 24025 23102 0 -1 4202560 1135 0 0 0 11 12 0 0 16 0 2 0 869345490 300122112 5685 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24031/statm: 73272 5685 412 364 0 8159 0
[pid=24033] ppid=24031 vsize=1988 CPUtime=48.09 cores=1,3,5,7
/proc/24033/stat : 24033 (clasp-1.3.7-x86) T 24031 24033 24033 0 -1 4202496 485 0 0 0 4809 0 0 0 25 0 1 0 869345491 2035712 231 33554432000 134512640 136139019 4291254432 18446744073709551615 134832185 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/24033/statm: 497 231 184 398 0 97 0
[pid=24031/tid=24035] ppid=24025 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/24031/task/24035/stat : 24035 (python) S 24025 24025 23102 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869350300 300122112 5685 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488518577 0 0 16781312 33554946 18446604460862334976 0 0 -1 7 0 0 0
[pid=24036] ppid=24025 vsize=293628 CPUtime=0.26 cores=1,3,5,7
/proc/24036/stat : 24036 (python) S 24025 24025 23102 0 -1 4202560 1114 0 0 0 12 14 0 0 16 0 2 0 869350302 300675072 5787 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24036/statm: 73407 5787 397 364 0 8291 0
[pid=24038] ppid=24036 vsize=128564 CPUtime=50.67 cores=1,3,5,7
/proc/24038/stat : 24038 (wbo1.4a) T 24036 24038 24038 0 -1 4202496 31923 0 0 0 5004 63 0 0 25 0 1 0 869350303 131649536 31657 33554432000 134512640 135751879 4293824032 18446744073709551615 134607160 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/24038/statm: 32141 31657 143 303 0 31836 0
[pid=24036/tid=24041] ppid=24025 vsize=293628 CPUtime=0 cores=1,3,5,7
/proc/24036/task/24041/stat : 24041 (python) S 24025 24025 23102 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869355373 300675072 5787 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488518577 0 0 16781312 33554946 18446604460144816448 0 0 -1 7 0 0 0
[pid=24042] ppid=24025 vsize=303652 CPUtime=0.01 cores=1,3,5,7
/proc/24042/stat : 24042 (python) S 24025 24025 23102 0 -1 4202560 791 0 0 0 1 0 0 0 15 0 1 0 869355376 310939648 5691 33554432000 4194304 5683644 140733571011296 18446744073709551615 239476715078 0 0 16781312 33554946 438342841811337216 0 0 17 5 0 0 0
################
# More data... #
################
[pid=24085/tid=24099] ppid=24083 vsize=8546548 CPUtime=0.28 cores=1,3,5,7
/proc/24085/task/24099/stat : 24099 (java) R 24083 24085 24085 0 -1 4202560 4211 0 0 0 28 0 0 0 25 0 19 0 869375418 8751665152 17191 33554432000 1073741824 1073778376 140734907618752 18446744073709551615 46976233165152 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24085/tid=24100] ppid=24083 vsize=8546548 CPUtime=0.24 cores=1,3,5,7
/proc/24085/task/24100/stat : 24100 (java) R 24083 24085 24085 0 -1 4202560 4260 0 0 0 24 0 0 0 25 0 19 0 869375418 8751665152 17191 33554432000 1073741824 1073778376 140734907618752 18446744073709551615 46976230007924 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=24085/tid=24101] ppid=24083 vsize=8546548 CPUtime=0 cores=1,3,5,7
/proc/24085/task/24101/stat : 24101 (java) S 24083 24085 24085 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869375418 8751665152 17191 33554432000 1073741824 1073778376 140734907618752 18446744073709551615 239488510873 0 4 0 16800975 18446604461448825792 0 0 -1 5 0 0 0
[pid=24085/tid=24102] ppid=24083 vsize=8546548 CPUtime=0 cores=1,3,5,7
/proc/24085/task/24102/stat : 24102 (java) R 24083 24085 24085 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869375418 8751665152 17192 33554432000 1073741824 1073778376 140734907618752 18446744073709551615 239488511488 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=24085/tid=24103] ppid=24083 vsize=8546548 CPUtime=0 cores=1,3,5,7
/proc/24085/task/24103/stat : 24103 (java) S 24083 24085 24085 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869375428 8751665152 17192 33554432000 1073741824 1073778376 140734907618752 18446744073709551615 239488511488 0 4 0 16800975 18446604461448825792 0 0 -1 5 0 0 0
[pid=24025/tid=24032] ppid=24023 vsize=334824 CPUtime=0 cores=1,3,5,7
/proc/24025/task/24032/stat : 24032 (python) S 24023 24025 23102 0 -1 4202560 28 927 0 0 0 0 0 0 18 0 6 0 869345491 342859776 7333 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488518577 0 0 16781312 33554434 18446604455695667456 0 0 -1 7 0 0 0
[pid=24025/tid=24037] ppid=24023 vsize=334824 CPUtime=0 cores=1,3,5,7
/proc/24025/task/24037/stat : 24037 (python) S 24023 24025 23102 0 -1 4202560 26 927 0 0 0 0 0 0 20 0 6 0 869350302 342859776 7333 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488518577 0 0 16781312 33554434 18446604455695667456 0 0 -1 5 0 0 0
[pid=24025/tid=24043] ppid=24023 vsize=334824 CPUtime=0 cores=1,3,5,7
/proc/24025/task/24043/stat : 24043 (python) S 24023 24025 23102 0 -1 4202560 27 927 0 0 0 0 0 0 20 0 6 0 869355376 342859776 7333 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488518577 0 0 16781312 33554434 18446604455695667456 0 0 -1 1 0 0 0
[pid=24025/tid=24059] ppid=24023 vsize=334824 CPUtime=0 cores=1,3,5,7
/proc/24025/task/24059/stat : 24059 (python) S 24023 24025 23102 0 -1 4202560 26 927 0 0 0 0 0 0 20 0 6 0 869366223 342859776 7333 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488518577 0 0 16781312 33554434 18446604455695667456 0 0 -1 1 0 0 0
[pid=24025/tid=24084] ppid=24023 vsize=334824 CPUtime=0 cores=1,3,5,7
/proc/24025/task/24084/stat : 24084 (python) S 24023 24025 23102 0 -1 4202560 23 927 0 0 0 0 0 0 20 0 6 0 869375412 342859776 7333 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488518577 0 0 16781312 33554434 18446604455695667456 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 303.53
Current children cumulated vsize (KiB) 19171408
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+300.401 s]
/proc/loadavg: 2.06 2.11 1.65 6/798 24103
/proc/meminfo: memFree=17941740/32950928 swapFree=67056572/67111528
[pid=24025] ppid=24023 vsize=334824 CPUtime=0.6 cores=1,3,5,7
/proc/24025/stat : 24025 (python) S 24023 24025 23102 0 -1 4202496 13158 927 1 0 43 17 0 0 19 0 6 0 869345415 342859776 7333 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/24025/statm: 83706 7333 1879 364 0 18581 0
[pid=24031] ppid=24025 vsize=293088 CPUtime=0.47 cores=1,3,5,7
/proc/24031/stat : 24031 (python) S 24025 24025 23102 0 -1 4202560 1159 0 0 0 22 25 0 0 15 0 2 0 869345490 300122112 5686 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24031/statm: 73272 5686 413 364 0 8159 0
[pid=24033] ppid=24031 vsize=1988 CPUtime=92.86 cores=1,3,5,7
/proc/24033/stat : 24033 (clasp-1.3.7-x86) T 24031 24033 24033 0 -1 4202496 485 0 0 0 9286 0 0 0 25 0 1 0 869345491 2035712 231 33554432000 134512640 136139019 4291254432 18446744073709551615 134641440 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/24033/statm: 497 231 184 398 0 97 0
[pid=24031/tid=24035] ppid=24025 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/24031/task/24035/stat : 24035 (python) S 24025 24025 23102 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 869350300 300122112 5686 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488518577 0 0 16781312 33554946 18446604460862334976 0 0 -1 7 0 0 0
[pid=24036] ppid=24025 vsize=293628 CPUtime=0.26 cores=1,3,5,7
/proc/24036/stat : 24036 (python) S 24025 24025 23102 0 -1 4202560 1114 0 0 0 12 14 0 0 16 0 2 0 869350302 300675072 5787 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24036/statm: 73407 5787 397 364 0 8291 0
[pid=24038] ppid=24036 vsize=128564 CPUtime=50.67 cores=1,3,5,7
/proc/24038/stat : 24038 (wbo1.4a) T 24036 24038 24038 0 -1 4202496 31923 0 0 0 5004 63 0 0 25 0 1 0 869350303 131649536 31657 33554432000 134512640 135751879 4293824032 18446744073709551615 134607160 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/24038/statm: 32141 31657 143 303 0 31836 0
[pid=24036/tid=24041] ppid=24025 vsize=293628 CPUtime=0 cores=1,3,5,7
/proc/24036/task/24041/stat : 24041 (python) S 24025 24025 23102 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869355373 300675072 5787 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488518577 0 0 16781312 33554946 18446604460144816448 0 0 -1 7 0 0 0
[pid=24042] ppid=24025 vsize=303936 CPUtime=0.56 cores=1,3,5,7
/proc/24042/stat : 24042 (python) S 24025 24025 23102 0 -1 4202560 1226 0 0 0 33 23 0 0 17 0 2 0 869355376 311230464 5788 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24042/statm: 75984 5788 399 364 0 10865 0
[pid=24044] ppid=24042 vsize=91320 CPUtime=63.62 cores=1,3,5,7
/proc/24044/stat : 24044 (scip-2.0.1.linu) T 24042 24044 24044 0 -1 4202496 49538 0 0 0 4825 1537 0 0 18 0 1 0 869355376 93511680 20436 33554432000 4194304 13684479 140737169053168 18446744073709551615 4694042 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/24044/statm: 22830 20436 810 2317 0 20508 0
[pid=24042/tid=24047] ppid=24025 vsize=303936 CPUtime=0 cores=1,3,5,7
/proc/24042/task/24047/stat : 24047 (python) S 24025 24025 23102 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869361741 311230464 5788 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488518577 0 0 16781312 33554946 18446604470545409024 0 0 -1 7 0 0 0
[pid=24058] ppid=24025 vsize=314324 CPUtime=0.52 cores=1,3,5,7
/proc/24058/stat : 24058 (python) S 24025 24025 23102 0 -1 4202560 1143 0 0 0 24 28 0 0 17 0 2 0 869366222 321867776 5844 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/24058/statm: 78581 5844 397 364 0 13459 0
[pid=24060] ppid=24058 vsize=8538608 CPUtime=92.97 cores=1,3,5,7
/proc/24060/stat : 24060 (java) T 24058 24060 24060 0 -1 4202496 52376 0 1 0 9287 10 0 0 15 0 19 0 869366223 8743534592 47144 33554432000 1073741824 1073778376 140733739902096 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/24060/statm: 2134652 47144 2248 9 0 2125393 0
[pid=24060/tid=24061] ppid=24058 vsize=8538608 CPUtime=90.19 cores=1,3,5,7
/proc/24060/task/24061/stat : 24061 (java) T 24058 24060 24060 0 -1 4202560 38261 0 1 0 9015 4 0 0 25 0 19 0 869366224 8743534592 47144 33554432000 1073741824 1073778376 140733739902096 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=24060/tid=24062] ppid=24058 vsize=8538608 CPUtime=0.09 cores=1,3,5,7
/proc/24060/task/24062/stat : 24062 (java) T 24058 24060 24060 0 -1 4202560 356 0 0 0 9 0 0 0 16 0 19 0 869366225 8743534592 47144 33554432000 1073741824 1073778376 140733739902096 18446744073709551615 47313528190114 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=24060/tid=24063] ppid=24058 vsize=8538608 CPUtime=0.09 cores=1,3,5,7
/proc/24060/task/24063/stat : 24063 (java) T 24058 24060 24060 0 -1 4202560 146 0 0 0 9 0 0 0 15 0 19 0 869366225 8743534592 47144 33554432000 1073741824 1073778376 140733739902096 18446744073709551615 239488511488 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=24060/tid=24064] ppid=24058 vsize=8538608 CPUtime=0.17 cores=1,3,5,7
/proc/24060/task/24064/stat : 24064 (java) T 24058 24060 24060 0 -1 4202560 491 0 0 0 17 0 0 0 15 0 19 0 869366225 8743534592 47144 33554432000 1073741824 1073778376 140733739902096 18446744073709551615 239476648247 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=24060/tid=24065] ppid=24058 vsize=8538608 CPUtime=0.08 cores=1,3,5,7
/proc/24060/task/24065/stat : 24065 (java) T 24058 24060 24060 0 -1 4202560 244 0 0 0 8 0 0 0 15 0 19 0 869366225 8743534592 47144 33554432000 1073741824 1073778376 140733739902096 18446744073709551615 239476648247 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=24060/tid=24066] ppid=24058 vsize=8538608 CPUtime=0.1 cores=1,3,5,7
/proc/24060/task/24066/stat : 24066 (java) T 24058 24060 24060 0 -1 4202560 193 0 0 0 10 0 0 0 15 0 19 0 869366225 8743534592 47144 33554432000 1073741824 1073778376 140733739902096 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=24060/tid=24067] ppid=24058 vsize=8538608 CPUtime=0.07 cores=1,3,5,7
/proc/24060/task/24067/stat : 24067 (java) T 24058 24060 24060 0 -1 4202560 202 0 0 0 7 0 0 0 15 0 19 0 869366225 8743534592 47144 33554432000 1073741824 1073778376 140733739902096 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=24060/tid=24068] ppid=24058 vsize=8538608 CPUtime=0.12 cores=1,3,5,7
/proc/24060/task/24068/stat : 24068 (java) T 24058 24060 24060 0 -1 4202560 387 0 0 0 12 0 0 0 15 0 19 0 869366225 8743534592 47144 33554432000 1073741824 1073778376 140733739902096 18446744073709551615 239476648247 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=24060/tid=24069] ppid=24058 vsize=8538608 CPUtime=0.09 cores=1,3,5,7
/proc/24060/task/24069/stat : 24069 (java) T 24058 24060 24060 0 -1 4202560 240 0 0 0 9 0 0 0 15 0 19 0 869366225 8743534592 47144 33554432000 1073741824 1073778376 140733739902096 18446744073709551615 47313528190112 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=24060/tid=24070] ppid=24058 vsize=8538608 CPUtime=1.07 cores=1,3,5,7
/proc/24060/task/24070/stat : 24070 (java) T 24058 24060 24060 0 -1 4202560 1557 0 0 0 106 1 0 0 15 0 19 0 869366226 8743534592 47144 33554432000 1073741824 1073778376 140733739902096 18446744073709551615 239488510873 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=24060/tid=24071] ppid=24058 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/24060/task/24071/stat : 24071 (java) T 24058 24060 24060 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869366226 8743534592 47144 33554432000 1073741824 1073778376 140733739902096 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=24060/tid=24072] ppid=24058 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/24060/task/24072/stat : 24072 (java) T 24058 24060 24060 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 869366226 8743534592 47144 33554432000 1073741824 1073778376 140733739902096 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=24060/tid=24073] ppid=24058 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/24060/task/24073/stat : 24073 (java) T 24058 24060 24060 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869366228 8743534592 47144 33554432000 1073741824 1073778376 140733739902096 18446744073709551615 239488518577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=24060/tid=24074] ppid=24058 vsize=8538608 CPUtime=0.56 cores=1,3,5,7
/proc/24060/task/24074/stat : 24074 (java) T 24058 24060 24060 0 -1 4202560 6288 0 0 0 55 1 0 0 15 0 19 0 869366228 8743534592 47144 33554432000 1073741824 1073778376 140733739902096 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=24060/tid=24075] ppid=24058 vsize=8538608 CPUtime=0.24 cores=1,3,5,7
/proc/24060/task/24075/stat : 24075 (java) T 24058 24060 24060 0 -1 4202560 2618 0 0 0 24 0 0 0 15 0 19 0 869366228 8743534592 47144 33554432000 1073741824 1073778376 140733739902096 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=24060/tid=24076] ppid=24058 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/24060/task/24076/stat : 24076 (java) T 24058 24060 24060 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869366228 8743534592 47144 33554432000 1073741824 1073778376 140733739902096 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=24060/tid=24077] ppid=24058 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/24060/task/24077/stat : 24077 (java) T 24058 24060 24060 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869366228 8743534592 47144 33554432000 1073741824 1073778376 140733739902096 18446744073709551615 239488511488 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=24060/tid=24078] ppid=24058 vsize=8538608 CPUtime=0 cores=1,3,5,7
/proc/24060/task/24078/stat : 24078 (java) T 24058 24060 24060 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869366240 8743534592 47144 33554432000 1073741824 1073778376 140733739902096 18446744073709551615 239488511488 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=24058/tid=24082] ppid=24025 vsize=314324 CPUtime=0 cores=1,3,5,7
/proc/24058/task/24082/stat : 24082 (python) S 24025 24025 23102 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869375409 321867776 5844 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488518577 0 0 16781312 33554946 18446604460173568128 0 0 -1 7 0 0 0
[pid=24083] ppid=24025 vsize=324580 CPUtime=0 cores=1,3,5,7
/proc/24083/stat : 24083 (python) S 24025 24025 23102 0 -1 4202560 803 0 0 0 0 0 0 0 16 0 1 0 869375412 332369920 5799 33554432000 4194304 5683644 140733571011296 18446744073709551615 239476715078 0 0 16781312 33554946 682969077886484480 0 0 17 1 0 0 0
/proc/24083/statm: 81145 5799 349 364 0 16020 0
[pid=24085] ppid=24083 vsize=8546548 CPUtime=1 cores=1,3,5,7
/proc/24085/stat : 24085 (java) S 24083 24085 24085 0 -1 4202496 20632 0 1 0 97 3 0 0 17 0 19 0 869375412 8751665152 17049 33554432000 1073741824 1073778376 140734907618752 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24085/statm: 2136637 17049 2206 9 0 2127378 0
[pid=24085/tid=24086] ppid=24083 vsize=8546548 CPUtime=0.44 cores=1,3,5,7
/proc/24085/task/24086/stat : 24086 (java) R 24083 24085 24085 0 -1 4202560 10899 0 1 0 43 1 0 0 19 0 19 0 869375413 8751665152 17186 33554432000 1073741824 1073778376 140734907618752 18446744073709551615 46912505560019 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24085/tid=24087] ppid=24083 vsize=8546548 CPUtime=0 cores=1,3,5,7
/proc/24085/task/24087/stat : 24087 (java) S 24083 24085 24085 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869375414 8751665152 17187 33554432000 1073741824 1073778376 140734907618752 18446744073709551615 239488510873 0 4 0 16800975 18446604461448825792 0 0 -1 5 0 0 0
[pid=24085/tid=24088] ppid=24083 vsize=8546548 CPUtime=0 cores=1,3,5,7
/proc/24085/task/24088/stat : 24088 (java) S 24083 24085 24085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869375414 8751665152 17187 33554432000 1073741824 1073778376 140734907618752 18446744073709551615 239488510873 0 4 0 16800975 18446604461448825792 0 0 -1 7 0 0 0
[pid=24085/tid=24089] ppid=24083 vsize=8546548 CPUtime=0 cores=1,3,5,7
/proc/24085/task/24089/stat : 24089 (java) S 24083 24085 24085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869375414 8751665152 17187 33554432000 1073741824 1073778376 140734907618752 18446744073709551615 239488510873 0 4 0 16800975 18446604461448825792 0 0 -1 7 0 0 0
[pid=24085/tid=24090] ppid=24083 vsize=8546548 CPUtime=0 cores=1,3,5,7
/proc/24085/task/24090/stat : 24090 (java) S 24083 24085 24085 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869375414 8751665152 17188 33554432000 1073741824 1073778376 140734907618752 18446744073709551615 239488510873 0 4 0 16800975 18446604461448825792 0 0 -1 7 0 0 0
[pid=24085/tid=24091] ppid=24083 vsize=8546548 CPUtime=0 cores=1,3,5,7
/proc/24085/task/24091/stat : 24091 (java) S 24083 24085 24085 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869375414 8751665152 17188 33554432000 1073741824 1073778376 140734907618752 18446744073709551615 239488510873 0 4 0 16800975 18446604461448825792 0 0 -1 7 0 0 0
[pid=24085/tid=24092] ppid=24083 vsize=8546548 CPUtime=0 cores=1,3,5,7
/proc/24085/task/24092/stat : 24092 (java) S 24083 24085 24085 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869375414 8751665152 17189 33554432000 1073741824 1073778376 140734907618752 18446744073709551615 239488510873 0 4 0 16800975 18446604461448825792 0 0 -1 7 0 0 0
[pid=24085/tid=24093] ppid=24083 vsize=8546548 CPUtime=0 cores=1,3,5,7
/proc/24085/task/24093/stat : 24093 (java) S 24083 24085 24085 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869375414 8751665152 17189 33554432000 1073741824 1073778376 140734907618752 18446744073709551615 239488510873 0 4 0 16800975 18446604461448825792 0 0 -1 7 0 0 0
[pid=24085/tid=24094] ppid=24083 vsize=8546548 CPUtime=0 cores=1,3,5,7
/proc/24085/task/24094/stat : 24094 (java) S 24083 24085 24085 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869375414 8751665152 17189 33554432000 1073741824 1073778376 140734907618752 18446744073709551615 239488510873 0 4 0 16800975 18446604461448825792 0 0 -1 7 0 0 0
[pid=24085/tid=24095] ppid=24083 vsize=8546548 CPUtime=0 cores=1,3,5,7
/proc/24085/task/24095/stat : 24095 (java) S 24083 24085 24085 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 869375415 8751665152 17189 33554432000 1073741824 1073778376 140734907618752 18446744073709551615 239488511488 0 0 0 16800975 18446604461448825792 0 0 -1 7 0 0 0
[pid=24085/tid=24096] ppid=24083 vsize=8546548 CPUtime=0 cores=1,3,5,7
/proc/24085/task/24096/stat : 24096 (java) S 24083 24085 24085 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 869375415 8751665152 17190 33554432000 1073741824 1073778376 140734907618752 18446744073709551615 239488510873 0 4 0 16800975 18446604461448825792 0 0 -1 5 0 0 0
[pid=24085/tid=24097] ppid=24083 vsize=8546548 CPUtime=0 cores=1,3,5,7
/proc/24085/task/24097/stat : 24097 (java) S 24083 24085 24085 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 869375415 8751665152 17190 33554432000 1073741824 1073778376 140734907618752 18446744073709551615 239488510873 0 4 0 16800975 18446604461448825792 0 0 -1 5 0 0 0
[pid=24085/tid=24098] ppid=24083 vsize=8546548 CPUtime=0 cores=1,3,5,7
/proc/24085/task/24098/stat : 24098 (java) S 24083 24085 24085 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869375418 8751665152 17191 33554432000 1073741824 1073778376 140734907618752 18446744073709551615 239488518577 0 4 0 16800975 18446604461448825792 0 0 -1 5 0 0 0
[pid=24085/tid=24099] ppid=24083 vsize=8546548 CPUtime=0.28 cores=1,3,5,7
/proc/24085/task/24099/stat : 24099 (java) R 24083 24085 24085 0 -1 4202560 4211 0 0 0 28 0 0 0 25 0 19 0 869375418 8751665152 17191 33554432000 1073741824 1073778376 140734907618752 18446744073709551615 46976233165152 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24085/tid=24100] ppid=24083 vsize=8546548 CPUtime=0.24 cores=1,3,5,7
/proc/24085/task/24100/stat : 24100 (java) R 24083 24085 24085 0 -1 4202560 4260 0 0 0 24 0 0 0 25 0 19 0 869375418 8751665152 17191 33554432000 1073741824 1073778376 140734907618752 18446744073709551615 46976230007924 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=24085/tid=24101] ppid=24083 vsize=8546548 CPUtime=0 cores=1,3,5,7
/proc/24085/task/24101/stat : 24101 (java) S 24083 24085 24085 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869375418 8751665152 17191 33554432000 1073741824 1073778376 140734907618752 18446744073709551615 239488510873 0 4 0 16800975 18446604461448825792 0 0 -1 5 0 0 0
[pid=24085/tid=24102] ppid=24083 vsize=8546548 CPUtime=0 cores=1,3,5,7
/proc/24085/task/24102/stat : 24102 (java) R 24083 24085 24085 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869375418 8751665152 17192 33554432000 1073741824 1073778376 140734907618752 18446744073709551615 239488511488 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=24085/tid=24103] ppid=24083 vsize=8546548 CPUtime=0 cores=1,3,5,7
/proc/24085/task/24103/stat : 24103 (java) S 24083 24085 24085 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869375428 8751665152 17192 33554432000 1073741824 1073778376 140734907618752 18446744073709551615 239488511488 0 4 0 16800975 18446604461448825792 0 0 -1 5 0 0 0
[pid=24025/tid=24032] ppid=24023 vsize=334824 CPUtime=0 cores=1,3,5,7
/proc/24025/task/24032/stat : 24032 (python) S 24023 24025 23102 0 -1 4202560 28 927 0 0 0 0 0 0 18 0 6 0 869345491 342859776 7333 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488518577 0 0 16781312 33554434 18446604455695667456 0 0 -1 7 0 0 0
[pid=24025/tid=24037] ppid=24023 vsize=334824 CPUtime=0 cores=1,3,5,7
/proc/24025/task/24037/stat : 24037 (python) S 24023 24025 23102 0 -1 4202560 26 927 0 0 0 0 0 0 20 0 6 0 869350302 342859776 7333 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488518577 0 0 16781312 33554434 18446604455695667456 0 0 -1 5 0 0 0
[pid=24025/tid=24043] ppid=24023 vsize=334824 CPUtime=0 cores=1,3,5,7
/proc/24025/task/24043/stat : 24043 (python) S 24023 24025 23102 0 -1 4202560 27 927 0 0 0 0 0 0 20 0 6 0 869355376 342859776 7333 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488518577 0 0 16781312 33554434 18446604455695667456 0 0 -1 1 0 0 0
[pid=24025/tid=24059] ppid=24023 vsize=334824 CPUtime=0 cores=1,3,5,7
/proc/24025/task/24059/stat : 24059 (python) S 24023 24025 23102 0 -1 4202560 26 927 0 0 0 0 0 0 20 0 6 0 869366223 342859776 7333 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488518577 0 0 16781312 33554434 18446604455695667456 0 0 -1 1 0 0 0
[pid=24025/tid=24084] ppid=24023 vsize=334824 CPUtime=0 cores=1,3,5,7
/proc/24025/task/24084/stat : 24084 (python) S 24023 24025 23102 0 -1 4202560 23 927 0 0 0 0 0 0 20 0 6 0 869375412 342859776 7333 33554432000 4194304 5683644 140733571011296 18446744073709551615 239488518577 0 0 16781312 33554434 18446604455695667456 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 303.53
Current children cumulated vsize (KiB) 19171408
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24025 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=434933
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=176973
# CPU time returned by wait4() is 0.611906
# while last known CPU time is 303.53
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 300.491
CPU time (s): 303.53
CPU user time (s): 286.33
CPU system time (s): 17.2
CPU usage (%): 101.012
Max. virtual memory (cumulated for all children) (KiB): 19171408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.434933
system time used= 0.176973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14087
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= 21
runsolver used 1.90271 second user time and 4.76328 second system time
The end