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-3481900-1307576758/watcher-3481900-1307576758 -o /tmp/evaluation-result-3481900-1307576758/solver-3481900-1307576758 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481900-1307576758.opb -seed 717738632 -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.24 1.53 0.69 2/550 22917
/proc/meminfo: memFree=23330816/32950928 swapFree=61542368/67111528
[pid=22917] ppid=22915 vsize=15784 CPUtime=0 cores=1,3,5,7
/proc/22917/stat : 22917 (python) R 22915 22917 22387 0 -1 4202496 831 0 0 0 0 0 0 0 17 0 1 0 947906514 16162816 715 33554432000 4194304 5683644 140734088857104 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/22917/statm: 3946 716 334 364 0 433 0
[startup+0.108893 s]
/proc/loadavg: 2.24 1.53 0.69 2/550 22917
/proc/meminfo: memFree=23330816/32950928 swapFree=61542368/67111528
[pid=22917] ppid=22915 vsize=96128 CPUtime=0.08 cores=1,3,5,7
/proc/22917/stat : 22917 (python) R 22915 22917 22387 0 -1 4202496 3169 928 1 0 5 3 0 0 18 0 1 0 947906514 98435072 2483 33554432000 4194304 5683644 140734088857104 18446744073709551615 5177524 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/22917/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128
[startup+0.200877 s]
/proc/loadavg: 2.24 1.53 0.69 2/550 22917
/proc/meminfo: memFree=23330816/32950928 swapFree=61542368/67111528
[pid=22917] ppid=22915 vsize=123744 CPUtime=0.14 cores=1,3,5,7
/proc/22917/stat : 22917 (python) S 22915 22917 22387 0 -1 4202496 5357 928 1 0 9 5 0 0 17 0 1 0 947906514 126713856 3743 33554432000 4194304 5683644 140734088857104 18446744073709551615 260905390085 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/22917/statm: 30936 3743 987 364 0 2768 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123744
[startup+0.300858 s]
/proc/loadavg: 2.24 1.53 0.69 2/550 22917
/proc/meminfo: memFree=23330816/32950928 swapFree=61542368/67111528
[pid=22917] ppid=22915 vsize=168312 CPUtime=0.23 cores=1,3,5,7
/proc/22917/stat : 22917 (python) R 22915 22917 22387 0 -1 4202496 5976 928 1 0 15 8 0 0 17 0 1 0 947906514 172351488 4292 33554432000 4194304 5683644 140734088857104 18446744073709551615 5003231 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/22917/statm: 42078 4292 1200 364 0 3295 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 168312
[startup+0.700783 s]
/proc/loadavg: 2.24 1.53 0.69 2/550 22917
/proc/meminfo: memFree=23330816/32950928 swapFree=61542368/67111528
[pid=22917] ppid=22915 vsize=286872 CPUtime=0.6 cores=1,3,5,7
/proc/22917/stat : 22917 (python) R 22915 22917 22387 0 -1 4202496 10807 928 1 0 47 13 0 0 17 0 1 0 947906514 293756928 8064 33554432000 4194304 5683644 140734088857104 18446744073709551615 4623677 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/22917/statm: 71718 8064 1815 364 0 6611 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 286872
[startup+1.50164 s]
/proc/loadavg: 2.14 1.52 0.69 5/571 22942
/proc/meminfo: memFree=23281856/32950928 swapFree=61542368/67111528
[pid=22917] ppid=22915 vsize=297724 CPUtime=0.76 cores=1,3,5,7
/proc/22917/stat : 22917 (python) S 22915 22917 22387 0 -1 4202496 11245 928 1 0 63 13 0 0 19 0 2 0 947906514 304869376 8269 33554432000 4194304 5683644 140734088857104 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/22917/statm: 74431 8269 1870 364 0 9318 0
[pid=22923] ppid=22917 vsize=287480 CPUtime=0 cores=1,3,5,7
/proc/22923/stat : 22923 (python) S 22917 22917 22387 0 -1 4202560 760 0 0 0 0 0 0 0 15 0 1 0 947906599 294379520 6747 33554432000 4194304 5683644 140734088857104 18446744073709551615 260905414159 0 0 16781312 33554946 4294934790 0 0 17 5 0 0 0
/proc/22923/statm: 71870 6747 352 364 0 6757 0
[pid=22925] ppid=22923 vsize=8538324 CPUtime=1.41 cores=1,3,5,7
/proc/22925/stat : 22925 (java) S 22923 22925 22925 0 -1 4202496 23523 0 1 0 138 3 0 0 19 0 19 0 947906600 8743243776 19263 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22925/statm: 2134581 19264 2227 9 0 2125322 0
[pid=22925/tid=22926] ppid=22923 vsize=8538324 CPUtime=0.62 cores=1,3,5,7
/proc/22925/task/22926/stat : 22926 (java) R 22923 22925 22925 0 -1 4202560 15151 0 1 0 60 2 0 0 25 0 19 0 947906600 8743243776 19264 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 46912505828631 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22925/tid=22927] ppid=22923 vsize=8538324 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22927/stat : 22927 (java) S 22923 22925 22925 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947906601 8743243776 19265 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 3 0 0 0
[pid=22925/tid=22928] ppid=22923 vsize=8538324 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22928/stat : 22928 (java) S 22923 22925 22925 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947906601 8743243776 19266 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 3 0 0 0
[pid=22925/tid=22929] ppid=22923 vsize=8538324 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22929/stat : 22929 (java) S 22923 22925 22925 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947906601 8743243776 19267 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 3 0 0 0
[pid=22925/tid=22930] ppid=22923 vsize=8538324 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22930/stat : 22930 (java) S 22923 22925 22925 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947906601 8743243776 19268 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 3 0 0 0
[pid=22925/tid=22931] ppid=22923 vsize=8538324 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22931/stat : 22931 (java) S 22923 22925 22925 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947906601 8743243776 19269 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 3 0 0 0
[pid=22925/tid=22932] ppid=22923 vsize=8538324 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22932/stat : 22932 (java) S 22923 22925 22925 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947906601 8743243776 19270 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 3 0 0 0
[pid=22925/tid=22933] ppid=22923 vsize=8538324 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22933/stat : 22933 (java) S 22923 22925 22925 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947906601 8743243776 19271 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 3 0 0 0
[pid=22925/tid=22934] ppid=22923 vsize=8538324 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22934/stat : 22934 (java) S 22923 22925 22925 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947906601 8743243776 19272 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 5 0 0 0
[pid=22925/tid=22935] ppid=22923 vsize=8538324 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22935/stat : 22935 (java) S 22923 22925 22925 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 947906602 8743243776 19273 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210624 0 0 0 16800975 18446604462868050048 0 0 -1 3 0 0 0
[pid=22925/tid=22936] ppid=22923 vsize=8538324 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22936/stat : 22936 (java) S 22923 22925 22925 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947906602 8743243776 19274 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 3 0 0 0
[pid=22925/tid=22937] ppid=22923 vsize=8538324 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22937/stat : 22937 (java) S 22923 22925 22925 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947906602 8743243776 19275 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 3 0 0 0
[pid=22925/tid=22938] ppid=22923 vsize=8538324 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22938/stat : 22938 (java) S 22923 22925 22925 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947906604 8743243776 19276 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917217713 0 4 0 16800975 18446604462868050048 0 0 -1 1 0 0 0
[pid=22925/tid=22939] ppid=22923 vsize=8538324 CPUtime=0.42 cores=1,3,5,7
/proc/22925/task/22939/stat : 22939 (java) S 22923 22925 22925 0 -1 4202560 5127 0 0 0 42 0 0 0 17 0 19 0 947906604 8743243776 19277 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 7 0 0 0
[pid=22925/tid=22940] ppid=22923 vsize=8538324 CPUtime=0.35 cores=1,3,5,7
/proc/22925/task/22940/stat : 22940 (java) S 22923 22925 22925 0 -1 4202560 1862 0 0 0 35 0 0 0 17 0 19 0 947906604 8743243776 19278 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 5 0 0 0
[pid=22925/tid=22941] ppid=22923 vsize=8538324 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22941/stat : 22941 (java) S 22923 22925 22925 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947906604 8743243776 19279 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 1 0 0 0
[pid=22925/tid=22942] ppid=22923 vsize=8538324 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22942/stat : 22942 (java) S 22923 22925 22925 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 947906604 8743243776 19280 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210624 0 4 0 16800975 18446604462868050048 0 0 -1 3 0 0 0
[pid=22917/tid=22924] ppid=22915 vsize=297724 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22924/stat : 22924 (python) S 22915 22917 22387 0 -1 4202560 26 928 0 0 0 0 0 0 19 0 2 0 947906599 304869376 8269 33554432000 4194304 5683644 140734088857104 18446744073709551615 260917217713 0 0 16781312 33554434 18446604466413132608 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 9123528
[startup+3.10135 s]
/proc/loadavg: 2.14 1.52 0.69 3/572 22943
/proc/meminfo: memFree=23217616/32950928 swapFree=61542368/67111528
[pid=22917] ppid=22915 vsize=297724 CPUtime=0.76 cores=1,3,5,7
/proc/22917/stat : 22917 (python) S 22915 22917 22387 0 -1 4202496 11245 928 1 0 63 13 0 0 19 0 2 0 947906514 304869376 8269 33554432000 4194304 5683644 140734088857104 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/22917/statm: 74431 8269 1870 364 0 9318 0
[pid=22923] ppid=22917 vsize=287480 CPUtime=0 cores=1,3,5,7
/proc/22923/stat : 22923 (python) S 22917 22917 22387 0 -1 4202560 760 0 0 0 0 0 0 0 15 0 1 0 947906599 294379520 6747 33554432000 4194304 5683644 140734088857104 18446744073709551615 260905414159 0 0 16781312 33554946 4294934790 0 0 17 5 0 0 0
/proc/22923/statm: 71870 6747 352 364 0 6757 0
[pid=22925] ppid=22923 vsize=8538476 CPUtime=3.33 cores=1,3,5,7
/proc/22925/stat : 22925 (java) S 22923 22925 22925 0 -1 4202496 28956 0 1 0 328 5 0 0 19 0 19 0 947906600 8743399424 24416 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22925/statm: 2134619 24416 2258 9 0 2125360 0
[pid=22925/tid=22926] ppid=22923 vsize=8538476 CPUtime=2.2 cores=1,3,5,7
/proc/22925/task/22926/stat : 22926 (java) R 22923 22925 22925 0 -1 4202560 18519 0 1 0 217 3 0 0 25 0 19 0 947906600 8743399424 24416 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 46912505995236 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22925/tid=22927] ppid=22923 vsize=8538476 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22927/stat : 22927 (java) S 22923 22925 22925 0 -1 4202560 307 0 0 0 0 0 0 0 18 0 19 0 947906601 8743399424 24416 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 1 0 0 0
[pid=22925/tid=22928] ppid=22923 vsize=8538476 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22928/stat : 22928 (java) S 22923 22925 22925 0 -1 4202560 345 0 0 0 0 0 0 0 18 0 19 0 947906601 8743399424 24416 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 1 0 0 0
[pid=22925/tid=22929] ppid=22923 vsize=8538476 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22929/stat : 22929 (java) S 22923 22925 22925 0 -1 4202560 216 0 0 0 0 0 0 0 18 0 19 0 947906601 8743399424 24416 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 1 0 0 0
[pid=22925/tid=22930] ppid=22923 vsize=8538476 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22930/stat : 22930 (java) S 22923 22925 22925 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947906601 8743399424 24416 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 3 0 0 0
[pid=22925/tid=22931] ppid=22923 vsize=8538476 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22931/stat : 22931 (java) S 22923 22925 22925 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947906601 8743399424 24416 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 3 0 0 0
[pid=22925/tid=22932] ppid=22923 vsize=8538476 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22932/stat : 22932 (java) S 22923 22925 22925 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947906601 8743399424 24416 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 3 0 0 0
[pid=22925/tid=22933] ppid=22923 vsize=8538476 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22933/stat : 22933 (java) S 22923 22925 22925 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947906601 8743399424 24416 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 3 0 0 0
[pid=22925/tid=22934] ppid=22923 vsize=8538476 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22934/stat : 22934 (java) S 22923 22925 22925 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947906601 8743399424 24416 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 5 0 0 0
[pid=22925/tid=22935] ppid=22923 vsize=8538476 CPUtime=0.01 cores=1,3,5,7
/proc/22925/task/22935/stat : 22935 (java) S 22923 22925 22925 0 -1 4202560 867 0 0 0 1 0 0 0 15 0 19 0 947906602 8743399424 24416 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210624 0 0 0 16800975 18446604462868050048 0 0 -1 5 0 0 0
[pid=22925/tid=22936] ppid=22923 vsize=8538476 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22936/stat : 22936 (java) S 22923 22925 22925 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947906602 8743399424 24416 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 3 0 0 0
[pid=22925/tid=22937] ppid=22923 vsize=8538476 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22937/stat : 22937 (java) S 22923 22925 22925 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947906602 8743399424 24416 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 3 0 0 0
[pid=22925/tid=22938] ppid=22923 vsize=8538476 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22938/stat : 22938 (java) S 22923 22925 22925 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947906604 8743399424 24416 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917217713 0 4 0 16800975 18446604462868050048 0 0 -1 1 0 0 0
[pid=22925/tid=22939] ppid=22923 vsize=8538476 CPUtime=0.57 cores=1,3,5,7
/proc/22925/task/22939/stat : 22939 (java) S 22923 22925 22925 0 -1 4202560 5430 0 0 0 57 0 0 0 15 0 19 0 947906604 8743399424 24416 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 7 0 0 0
[pid=22925/tid=22940] ppid=22923 vsize=8538476 CPUtime=0.5 cores=1,3,5,7
/proc/22925/task/22940/stat : 22940 (java) S 22923 22925 22925 0 -1 4202560 1893 0 0 0 50 0 0 0 15 0 19 0 947906604 8743399424 24416 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 5 0 0 0
[pid=22925/tid=22941] ppid=22923 vsize=8538476 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22941/stat : 22941 (java) S 22923 22925 22925 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947906604 8743399424 24416 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 1 0 0 0
[pid=22925/tid=22942] ppid=22923 vsize=8538476 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22942/stat : 22942 (java) S 22923 22925 22925 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947906604 8743399424 24416 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210624 0 4 0 16800975 18446604462868050048 0 0 -1 3 0 0 0
[pid=22925/tid=22943] ppid=22923 vsize=8538476 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22943/stat : 22943 (java) S 22923 22925 22925 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947906650 8743399424 24416 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210624 0 4 0 16800975 18446604462868050048 0 0 -1 7 0 0 0
[pid=22917/tid=22924] ppid=22915 vsize=297724 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22924/stat : 22924 (python) S 22915 22917 22387 0 -1 4202560 26 928 0 0 0 0 0 0 19 0 2 0 947906599 304869376 8269 33554432000 4194304 5683644 140734088857104 18446744073709551615 260917217713 0 0 16781312 33554434 18446604466413132608 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 9123680
[startup+6.30082 s]
/proc/loadavg: 2.13 1.53 0.70 3/572 22943
/proc/meminfo: memFree=23200708/32950928 swapFree=61542368/67111528
[pid=22917] ppid=22915 vsize=297724 CPUtime=0.76 cores=1,3,5,7
/proc/22917/stat : 22917 (python) S 22915 22917 22387 0 -1 4202496 11245 928 1 0 63 13 0 0 19 0 2 0 947906514 304869376 8269 33554432000 4194304 5683644 140734088857104 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/22917/statm: 74431 8269 1870 364 0 9318 0
[pid=22923] ppid=22917 vsize=287480 CPUtime=0.01 cores=1,3,5,7
/proc/22923/stat : 22923 (python) S 22917 22917 22387 0 -1 4202560 892 0 0 0 0 1 0 0 15 0 1 0 947906599 294379520 6771 33554432000 4194304 5683644 140734088857104 18446744073709551615 260905414159 0 0 16781312 33554946 4294934790 0 0 17 5 0 0 0
/proc/22923/statm: 71870 6771 376 364 0 6757 0
[pid=22925] ppid=22923 vsize=8537508 CPUtime=6.58 cores=1,3,5,7
/proc/22925/stat : 22925 (java) S 22923 22925 22925 0 -1 4202496 31864 0 1 0 653 5 0 0 19 0 19 0 947906600 8742408192 26963 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22925/statm: 2134377 26963 2258 9 0 2125118 0
[pid=22925/tid=22926] ppid=22923 vsize=8537508 CPUtime=5.38 cores=1,3,5,7
/proc/22925/task/22926/stat : 22926 (java) R 22923 22925 22925 0 -1 4202560 18522 0 1 0 534 4 0 0 25 0 19 0 947906600 8742408192 26963 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 46912505815976 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22925/tid=22927] ppid=22923 vsize=8537508 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22927/stat : 22927 (java) S 22923 22925 22925 0 -1 4202560 314 0 0 0 0 0 0 0 18 0 19 0 947906601 8742408192 26963 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 7 0 0 0
[pid=22925/tid=22928] ppid=22923 vsize=8537508 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22928/stat : 22928 (java) S 22923 22925 22925 0 -1 4202560 345 0 0 0 0 0 0 0 18 0 19 0 947906601 8742408192 26963 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 1 0 0 0
[pid=22925/tid=22929] ppid=22923 vsize=8537508 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22929/stat : 22929 (java) S 22923 22925 22925 0 -1 4202560 832 0 0 0 0 0 0 0 18 0 19 0 947906601 8742408192 26963 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 1 0 0 0
[pid=22925/tid=22930] ppid=22923 vsize=8537508 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22930/stat : 22930 (java) S 22923 22925 22925 0 -1 4202560 184 0 0 0 0 0 0 0 15 0 19 0 947906601 8742408192 26963 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 7 0 0 0
[pid=22925/tid=22931] ppid=22923 vsize=8537508 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22931/stat : 22931 (java) S 22923 22925 22925 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947906601 8742408192 26963 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 3 0 0 0
[pid=22925/tid=22932] ppid=22923 vsize=8537508 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22932/stat : 22932 (java) S 22923 22925 22925 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947906601 8742408192 26963 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 3 0 0 0
[pid=22925/tid=22933] ppid=22923 vsize=8537508 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22933/stat : 22933 (java) S 22923 22925 22925 0 -1 4202560 481 0 0 0 0 0 0 0 15 0 19 0 947906601 8742408192 26963 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 3 0 0 0
[pid=22925/tid=22934] ppid=22923 vsize=8537508 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22934/stat : 22934 (java) S 22923 22925 22925 0 -1 4202560 881 0 0 0 0 0 0 0 16 0 19 0 947906601 8742408192 26963 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446604462868050048 0 0 -1 7 0 0 0
[pid=22925/tid=22935] ppid=22923 vsize=8537508 CPUtime=0.02 cores=1,3,5,7
/proc/22925/task/22935/stat : 22935 (java) S 22923 22925 22925 0 -1 4202560 1568 0 0 0 2 0 0 0 15 0 19 0 947906602 8742408192 26963 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210624 0 0 0 16800975 18446604462868050048 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=22971/tid=22979] ppid=22969 vsize=8539744 CPUtime=0 cores=1,3,5,7
/proc/22971/task/22979/stat : 22979 (java) S 22969 22971 22971 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947920947 8744697856 23919 33554432000 1073741824 1073778376 140736460896176 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 7 0 0 0
[pid=22971/tid=22980] ppid=22969 vsize=8539744 CPUtime=0 cores=1,3,5,7
/proc/22971/task/22980/stat : 22980 (java) S 22969 22971 22971 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947920947 8744697856 23919 33554432000 1073741824 1073778376 140736460896176 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 7 0 0 0
[pid=22971/tid=22981] ppid=22969 vsize=8539744 CPUtime=0 cores=1,3,5,7
/proc/22971/task/22981/stat : 22981 (java) S 22969 22971 22971 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 947920948 8744697856 23919 33554432000 1073741824 1073778376 140736460896176 18446744073709551615 260917210624 0 0 0 16800975 18446604462099133504 0 0 -1 3 0 0 0
[pid=22971/tid=22982] ppid=22969 vsize=8539744 CPUtime=0 cores=1,3,5,7
/proc/22971/task/22982/stat : 22982 (java) S 22969 22971 22971 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947920948 8744697856 23919 33554432000 1073741824 1073778376 140736460896176 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 3 0 0 0
[pid=22971/tid=22983] ppid=22969 vsize=8539744 CPUtime=0 cores=1,3,5,7
/proc/22971/task/22983/stat : 22983 (java) S 22969 22971 22971 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947920948 8744697856 23919 33554432000 1073741824 1073778376 140736460896176 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 3 0 0 0
[pid=22971/tid=22984] ppid=22969 vsize=8539744 CPUtime=0 cores=1,3,5,7
/proc/22971/task/22984/stat : 22984 (java) S 22969 22971 22971 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947920950 8744697856 23919 33554432000 1073741824 1073778376 140736460896176 18446744073709551615 260917217713 0 4 0 16800975 18446604462099133504 0 0 -1 3 0 0 0
[pid=22971/tid=22985] ppid=22969 vsize=8539744 CPUtime=0.52 cores=1,3,5,7
/proc/22971/task/22985/stat : 22985 (java) S 22969 22971 22971 0 -1 4202560 1781 0 0 0 52 0 0 0 25 0 19 0 947920950 8744697856 23919 33554432000 1073741824 1073778376 140736460896176 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 5 0 0 0
[pid=22971/tid=22986] ppid=22969 vsize=8539744 CPUtime=0.54 cores=1,3,5,7
/proc/22971/task/22986/stat : 22986 (java) S 22969 22971 22971 0 -1 4202560 5604 0 0 0 54 0 0 0 25 0 19 0 947920951 8744697856 23919 33554432000 1073741824 1073778376 140736460896176 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 7 0 0 0
[pid=22971/tid=22987] ppid=22969 vsize=8539744 CPUtime=0 cores=1,3,5,7
/proc/22971/task/22987/stat : 22987 (java) S 22969 22971 22971 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947920951 8744697856 23919 33554432000 1073741824 1073778376 140736460896176 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 3 0 0 0
[pid=22971/tid=22988] ppid=22969 vsize=8539744 CPUtime=0 cores=1,3,5,7
/proc/22971/task/22988/stat : 22988 (java) S 22969 22971 22971 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 947920951 8744697856 23919 33554432000 1073741824 1073778376 140736460896176 18446744073709551615 260917210624 0 4 0 16800975 18446604462099133504 0 0 -1 5 0 0 0
[pid=22971/tid=22989] ppid=22969 vsize=8539744 CPUtime=0 cores=1,3,5,7
/proc/22971/task/22989/stat : 22989 (java) S 22969 22971 22971 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947920997 8744697856 23919 33554432000 1073741824 1073778376 140736460896176 18446744073709551615 260917210624 0 4 0 16800975 18446604462099133504 0 0 -1 7 0 0 0
[pid=22917/tid=22924] ppid=22915 vsize=328492 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22924/stat : 22924 (python) S 22915 22917 22387 0 -1 4202560 26 928 0 0 0 0 0 0 19 0 5 0 947906599 336375808 8288 33554432000 4194304 5683644 140734088857104 18446744073709551615 260917217713 0 0 16781312 33554434 18446604466413132608 0 0 -1 7 0 0 0
[pid=22917/tid=22951] ppid=22915 vsize=328492 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22951/stat : 22951 (python) S 22915 22917 22387 0 -1 4202560 32 928 0 0 0 0 0 0 20 0 5 0 947911136 336375808 8288 33554432000 4194304 5683644 140734088857104 18446744073709551615 260917217713 0 0 16781312 33554434 18446604466413132608 0 0 -1 7 0 0 0
[pid=22917/tid=22961] ppid=22915 vsize=328492 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22961/stat : 22961 (python) S 22915 22917 22387 0 -1 4202560 26 928 0 0 0 0 0 0 20 0 5 0 947915988 336375808 8288 33554432000 4194304 5683644 140734088857104 18446744073709551615 260917217713 0 0 16781312 33554434 18446604466413132608 0 0 -1 7 0 0 0
[pid=22917/tid=22970] ppid=22915 vsize=328492 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22970/stat : 22970 (python) S 22915 22917 22387 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 5 0 947920945 336375808 8288 33554432000 4194304 5683644 140734088857104 18446744073709551615 260917217713 0 0 16781312 33554434 18446604466413132608 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 148.09
Current children cumulated vsize (KiB) 18808368
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+145.201 s]
/proc/loadavg: 2.15 1.76 0.90 4/614 22989
/proc/meminfo: memFree=22748496/32950928 swapFree=61542368/67111528
[pid=22917] ppid=22915 vsize=328492 CPUtime=0.84 cores=1,3,5,7
/proc/22917/stat : 22917 (python) S 22915 22917 22387 0 -1 4202496 13990 928 1 0 70 14 0 0 20 0 5 0 947906514 336375808 8288 33554432000 4194304 5683644 140734088857104 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/22917/statm: 82123 8288 1877 364 0 17001 0
[pid=22923] ppid=22917 vsize=297724 CPUtime=0.19 cores=1,3,5,7
/proc/22923/stat : 22923 (python) S 22917 22917 22387 0 -1 4202560 1080 0 0 0 7 12 0 0 17 0 2 0 947906599 304869376 6807 33554432000 4194304 5683644 140734088857104 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22923/statm: 74431 6807 407 364 0 9318 0
[pid=22925] ppid=22923 vsize=8537508 CPUtime=46.57 cores=1,3,5,7
/proc/22925/stat : 22925 (java) T 22923 22925 22925 0 -1 4202496 47819 0 1 0 4649 8 0 0 18 0 19 0 947906600 8742408192 42115 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22925/statm: 2134377 42115 2258 9 0 2125118 0
[pid=22925/tid=22926] ppid=22923 vsize=8537508 CPUtime=45.06 cores=1,3,5,7
/proc/22925/task/22926/stat : 22926 (java) T 22923 22925 22925 0 -1 4202560 18528 0 1 0 4502 4 0 0 25 0 19 0 947906600 8742408192 42115 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 46912505927050 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22925/tid=22927] ppid=22923 vsize=8537508 CPUtime=0.01 cores=1,3,5,7
/proc/22925/task/22927/stat : 22927 (java) T 22923 22925 22925 0 -1 4202560 2194 0 0 0 1 0 0 0 15 0 19 0 947906601 8742408192 42115 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22925/tid=22928] ppid=22923 vsize=8537508 CPUtime=0.01 cores=1,3,5,7
/proc/22925/task/22928/stat : 22928 (java) T 22923 22925 22925 0 -1 4202560 1483 0 0 0 1 0 0 0 15 0 19 0 947906601 8742408192 42115 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22925/tid=22929] ppid=22923 vsize=8537508 CPUtime=0.01 cores=1,3,5,7
/proc/22925/task/22929/stat : 22929 (java) T 22923 22925 22925 0 -1 4202560 2894 0 0 0 1 0 0 0 15 0 19 0 947906601 8742408192 42115 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22925/tid=22930] ppid=22923 vsize=8537508 CPUtime=0.01 cores=1,3,5,7
/proc/22925/task/22930/stat : 22930 (java) T 22923 22925 22925 0 -1 4202560 1475 0 0 0 1 0 0 0 15 0 19 0 947906601 8742408192 42115 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=22925/tid=22931] ppid=22923 vsize=8537508 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22931/stat : 22931 (java) T 22923 22925 22925 0 -1 4202560 602 0 0 0 0 0 0 0 15 0 19 0 947906601 8742408192 42115 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=22925/tid=22932] ppid=22923 vsize=8537508 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22932/stat : 22932 (java) T 22923 22925 22925 0 -1 4202560 576 0 0 0 0 0 0 0 15 0 19 0 947906601 8742408192 42115 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=22925/tid=22933] ppid=22923 vsize=8537508 CPUtime=0.01 cores=1,3,5,7
/proc/22925/task/22933/stat : 22933 (java) T 22923 22925 22925 0 -1 4202560 2327 0 0 0 1 0 0 0 15 0 19 0 947906601 8742408192 42115 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=22925/tid=22934] ppid=22923 vsize=8537508 CPUtime=0.01 cores=1,3,5,7
/proc/22925/task/22934/stat : 22934 (java) T 22923 22925 22925 0 -1 4202560 5246 0 0 0 1 0 0 0 15 0 19 0 947906601 8742408192 42115 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22925/tid=22935] ppid=22923 vsize=8537508 CPUtime=0.18 cores=1,3,5,7
/proc/22925/task/22935/stat : 22935 (java) T 22923 22925 22925 0 -1 4202560 3751 0 0 0 18 0 0 0 15 0 19 0 947906602 8742408192 42115 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210624 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22925/tid=22936] ppid=22923 vsize=8537508 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22936/stat : 22936 (java) T 22923 22925 22925 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947906602 8742408192 42115 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=22925/tid=22937] ppid=22923 vsize=8537508 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22937/stat : 22937 (java) T 22923 22925 22925 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947906602 8742408192 42115 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=22925/tid=22938] ppid=22923 vsize=8537508 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22938/stat : 22938 (java) T 22923 22925 22925 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947906604 8742408192 42115 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917217713 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22925/tid=22939] ppid=22923 vsize=8537508 CPUtime=0.64 cores=1,3,5,7
/proc/22925/task/22939/stat : 22939 (java) T 22923 22925 22925 0 -1 4202560 5468 0 0 0 64 0 0 0 15 0 19 0 947906604 8742408192 42115 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22925/tid=22940] ppid=22923 vsize=8537508 CPUtime=0.54 cores=1,3,5,7
/proc/22925/task/22940/stat : 22940 (java) T 22923 22925 22925 0 -1 4202560 1899 0 0 0 54 0 0 0 15 0 19 0 947906604 8742408192 42115 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22925/tid=22941] ppid=22923 vsize=8537508 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22941/stat : 22941 (java) T 22923 22925 22925 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947906604 8742408192 42115 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210009 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22925/tid=22942] ppid=22923 vsize=8537508 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22942/stat : 22942 (java) T 22923 22925 22925 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 947906604 8742408192 42115 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210624 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=22925/tid=22943] ppid=22923 vsize=8537508 CPUtime=0 cores=1,3,5,7
/proc/22925/task/22943/stat : 22943 (java) T 22923 22925 22925 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947906650 8742408192 42115 33554432000 1073741824 1073778376 140736349770192 18446744073709551615 260917210624 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22923/tid=22949] ppid=22917 vsize=297724 CPUtime=0 cores=1,3,5,7
/proc/22923/task/22949/stat : 22949 (python) S 22917 22917 22387 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 947911133 304869376 6807 33554432000 4194304 5683644 140734088857104 18446744073709551615 260917217713 0 0 16781312 33554946 18446604464836123392 0 0 -1 7 0 0 0
[pid=22950] ppid=22917 vsize=297736 CPUtime=0.22 cores=1,3,5,7
/proc/22950/stat : 22950 (python) S 22917 22917 22387 0 -1 4202560 1108 0 0 0 11 11 0 0 17 0 2 0 947911136 304881664 6797 33554432000 4194304 5683644 140734088857104 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22950/statm: 74434 6797 397 364 0 9318 0
[pid=22952] ppid=22950 vsize=132856 CPUtime=48.48 cores=1,3,5,7
/proc/22952/stat : 22952 (scip-2.0.1.linu) T 22950 22952 22952 0 -1 4202496 44857 0 0 0 4798 50 0 0 25 0 1 0 947911136 136044544 29483 33554432000 4194304 13684479 140734664161904 18446744073709551615 7098862 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/22952/statm: 33214 29483 786 2317 0 30892 0
[pid=22950/tid=22959] ppid=22917 vsize=297736 CPUtime=0 cores=1,3,5,7
/proc/22950/task/22959/stat : 22959 (python) S 22917 22917 22387 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 947915985 304881664 6797 33554432000 4194304 5683644 140734088857104 18446744073709551615 260917217713 0 0 16781312 33554946 18446604466676893888 0 0 -1 7 0 0 0
[pid=22960] ppid=22917 vsize=307992 CPUtime=0.28 cores=1,3,5,7
/proc/22960/stat : 22960 (python) S 22917 22917 22387 0 -1 4202560 1099 0 0 0 15 13 0 0 16 0 2 0 947915987 315383808 6801 33554432000 4194304 5683644 140734088857104 18446744073709551615 260917220811 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22960/statm: 76998 6801 397 364 0 11879 0
[pid=22962] ppid=22960 vsize=48068 CPUtime=49.53 cores=1,3,5,7
/proc/22962/stat : 22962 (wbo1.4a) T 22960 22962 22962 0 -1 4202496 22571 0 0 0 4834 119 0 0 25 0 1 0 947915988 49221632 11563 33554432000 134512640 135751879 4294683104 18446744073709551615 134616414 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/22962/statm: 12017 11563 146 303 0 11712 0
[pid=22960/tid=22968] ppid=22917 vsize=307992 CPUtime=0 cores=1,3,5,7
/proc/22960/task/22968/stat : 22968 (python) S 22917 22917 22387 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 947920942 315383808 6801 33554432000 4194304 5683644 140734088857104 18446744073709551615 260917217713 0 0 16781312 33554946 18446604455588729152 0 0 -1 7 0 0 0
[pid=22969] ppid=22917 vsize=318248 CPUtime=0 cores=1,3,5,7
/proc/22969/stat : 22969 (python) S 22917 22917 22387 0 -1 4202560 797 0 0 0 0 0 0 0 15 0 1 0 947920945 325885952 6756 33554432000 4194304 5683644 140734088857104 18446744073709551615 260905414214 0 0 16781312 33554946 3759979890368053248 0 0 17 7 0 0 0
/proc/22969/statm: 79562 6756 349 364 0 14440 0
[pid=22971] ppid=22969 vsize=8539744 CPUtime=1.98 cores=1,3,5,7
/proc/22971/stat : 22971 (java) S 22969 22971 22971 0 -1 4202496 28274 0 1 0 194 4 0 0 20 0 19 0 947920945 8744697856 23719 33554432000 1073741824 1073778376 140736460896176 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22971/statm: 2134936 23719 2231 9 0 2125677 0
[pid=22971/tid=22972] ppid=22969 vsize=8539744 CPUtime=0.91 cores=1,3,5,7
/proc/22971/task/22972/stat : 22972 (java) R 22969 22971 22971 0 -1 4202560 19689 0 1 0 88 3 0 0 19 0 19 0 947920946 8744697856 23919 33554432000 1073741824 1073778376 140736460896176 18446744073709551615 46912505938380 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22971/tid=22973] ppid=22969 vsize=8539744 CPUtime=0 cores=1,3,5,7
/proc/22971/task/22973/stat : 22973 (java) S 22969 22971 22971 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947920947 8744697856 23919 33554432000 1073741824 1073778376 140736460896176 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 3 0 0 0
[pid=22971/tid=22974] ppid=22969 vsize=8539744 CPUtime=0 cores=1,3,5,7
/proc/22971/task/22974/stat : 22974 (java) S 22969 22971 22971 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947920947 8744697856 23919 33554432000 1073741824 1073778376 140736460896176 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 3 0 0 0
[pid=22971/tid=22975] ppid=22969 vsize=8539744 CPUtime=0 cores=1,3,5,7
/proc/22971/task/22975/stat : 22975 (java) S 22969 22971 22971 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947920947 8744697856 23919 33554432000 1073741824 1073778376 140736460896176 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 3 0 0 0
[pid=22971/tid=22976] ppid=22969 vsize=8539744 CPUtime=0 cores=1,3,5,7
/proc/22971/task/22976/stat : 22976 (java) S 22969 22971 22971 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947920947 8744697856 23919 33554432000 1073741824 1073778376 140736460896176 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 7 0 0 0
[pid=22971/tid=22977] ppid=22969 vsize=8539744 CPUtime=0 cores=1,3,5,7
/proc/22971/task/22977/stat : 22977 (java) S 22969 22971 22971 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947920947 8744697856 23919 33554432000 1073741824 1073778376 140736460896176 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 7 0 0 0
[pid=22971/tid=22978] ppid=22969 vsize=8539744 CPUtime=0 cores=1,3,5,7
/proc/22971/task/22978/stat : 22978 (java) S 22969 22971 22971 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947920947 8744697856 23919 33554432000 1073741824 1073778376 140736460896176 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 7 0 0 0
[pid=22971/tid=22979] ppid=22969 vsize=8539744 CPUtime=0 cores=1,3,5,7
/proc/22971/task/22979/stat : 22979 (java) S 22969 22971 22971 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947920947 8744697856 23919 33554432000 1073741824 1073778376 140736460896176 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 7 0 0 0
[pid=22971/tid=22980] ppid=22969 vsize=8539744 CPUtime=0 cores=1,3,5,7
/proc/22971/task/22980/stat : 22980 (java) S 22969 22971 22971 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947920947 8744697856 23919 33554432000 1073741824 1073778376 140736460896176 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 7 0 0 0
[pid=22971/tid=22981] ppid=22969 vsize=8539744 CPUtime=0 cores=1,3,5,7
/proc/22971/task/22981/stat : 22981 (java) S 22969 22971 22971 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 947920948 8744697856 23919 33554432000 1073741824 1073778376 140736460896176 18446744073709551615 260917210624 0 0 0 16800975 18446604462099133504 0 0 -1 3 0 0 0
[pid=22971/tid=22982] ppid=22969 vsize=8539744 CPUtime=0 cores=1,3,5,7
/proc/22971/task/22982/stat : 22982 (java) S 22969 22971 22971 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947920948 8744697856 23919 33554432000 1073741824 1073778376 140736460896176 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 3 0 0 0
[pid=22971/tid=22983] ppid=22969 vsize=8539744 CPUtime=0 cores=1,3,5,7
/proc/22971/task/22983/stat : 22983 (java) S 22969 22971 22971 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947920948 8744697856 23919 33554432000 1073741824 1073778376 140736460896176 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 3 0 0 0
[pid=22971/tid=22984] ppid=22969 vsize=8539744 CPUtime=0 cores=1,3,5,7
/proc/22971/task/22984/stat : 22984 (java) S 22969 22971 22971 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947920950 8744697856 23919 33554432000 1073741824 1073778376 140736460896176 18446744073709551615 260917217713 0 4 0 16800975 18446604462099133504 0 0 -1 3 0 0 0
[pid=22971/tid=22985] ppid=22969 vsize=8539744 CPUtime=0.52 cores=1,3,5,7
/proc/22971/task/22985/stat : 22985 (java) S 22969 22971 22971 0 -1 4202560 1781 0 0 0 52 0 0 0 25 0 19 0 947920950 8744697856 23919 33554432000 1073741824 1073778376 140736460896176 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 5 0 0 0
[pid=22971/tid=22986] ppid=22969 vsize=8539744 CPUtime=0.54 cores=1,3,5,7
/proc/22971/task/22986/stat : 22986 (java) S 22969 22971 22971 0 -1 4202560 5604 0 0 0 54 0 0 0 25 0 19 0 947920951 8744697856 23919 33554432000 1073741824 1073778376 140736460896176 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 7 0 0 0
[pid=22971/tid=22987] ppid=22969 vsize=8539744 CPUtime=0 cores=1,3,5,7
/proc/22971/task/22987/stat : 22987 (java) S 22969 22971 22971 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947920951 8744697856 23919 33554432000 1073741824 1073778376 140736460896176 18446744073709551615 260917210009 0 4 0 16800975 18446604462099133504 0 0 -1 3 0 0 0
[pid=22971/tid=22988] ppid=22969 vsize=8539744 CPUtime=0 cores=1,3,5,7
/proc/22971/task/22988/stat : 22988 (java) S 22969 22971 22971 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 947920951 8744697856 23919 33554432000 1073741824 1073778376 140736460896176 18446744073709551615 260917210624 0 4 0 16800975 18446604462099133504 0 0 -1 5 0 0 0
[pid=22971/tid=22989] ppid=22969 vsize=8539744 CPUtime=0 cores=1,3,5,7
/proc/22971/task/22989/stat : 22989 (java) S 22969 22971 22971 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947920997 8744697856 23919 33554432000 1073741824 1073778376 140736460896176 18446744073709551615 260917210624 0 4 0 16800975 18446604462099133504 0 0 -1 7 0 0 0
[pid=22917/tid=22924] ppid=22915 vsize=328492 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22924/stat : 22924 (python) S 22915 22917 22387 0 -1 4202560 26 928 0 0 0 0 0 0 19 0 5 0 947906599 336375808 8288 33554432000 4194304 5683644 140734088857104 18446744073709551615 260917217713 0 0 16781312 33554434 18446604466413132608 0 0 -1 7 0 0 0
[pid=22917/tid=22951] ppid=22915 vsize=328492 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22951/stat : 22951 (python) S 22915 22917 22387 0 -1 4202560 32 928 0 0 0 0 0 0 20 0 5 0 947911136 336375808 8288 33554432000 4194304 5683644 140734088857104 18446744073709551615 260917217713 0 0 16781312 33554434 18446604466413132608 0 0 -1 7 0 0 0
[pid=22917/tid=22961] ppid=22915 vsize=328492 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22961/stat : 22961 (python) S 22915 22917 22387 0 -1 4202560 26 928 0 0 0 0 0 0 20 0 5 0 947915988 336375808 8288 33554432000 4194304 5683644 140734088857104 18446744073709551615 260917217713 0 0 16781312 33554434 18446604466413132608 0 0 -1 7 0 0 0
[pid=22917/tid=22970] ppid=22915 vsize=328492 CPUtime=0 cores=1,3,5,7
/proc/22917/task/22970/stat : 22970 (python) S 22915 22917 22387 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 5 0 947920945 336375808 8288 33554432000 4194304 5683644 140734088857104 18446744073709551615 260917217713 0 0 16781312 33554434 18446604466413132608 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 148.09
Current children cumulated vsize (KiB) 18808368
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22917 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=706892
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=147977
# CPU time returned by wait4() is 0.854869
# while last known CPU time is 148.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 145.278
CPU time (s): 148.09
CPU user time (s): 145.78
CPU system time (s): 2.31
CPU usage (%): 101.936
Max. virtual memory (cumulated for all children) (KiB): 18808368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.706892
system time used= 0.147977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14920
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= 1252
involuntary context switches= 17
runsolver used 0.768883 second user time and 1.82472 second system time
The end