runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3742031-1338722924/watcher-3742031-1338722924 -o /tmp/evaluation-result-3742031-1338722924/solver-3742031-1338722924 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3742031-1338722924.opb -seed 1509199628 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 2.11 2.54 3/217 7183
/proc/meminfo: memFree=28616832/32873844 swapFree=7116/7116
[pid=7183] ppid=7181 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/7183/stat : 7183 (python) R 7181 7183 2614 0 -1 4202496 632 0 0 0 0 0 0 0 20 0 1 0 338417416 15642624 526 33554432000 4194304 5683644 140734693950576 140734693932248 240565175184 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/7183/statm: 3819 527 312 364 0 261 0
[startup+0.060723 s]
/proc/loadavg: 1.92 2.11 2.54 3/217 7183
/proc/meminfo: memFree=28616832/32873844 swapFree=7116/7116
[pid=7183] ppid=7181 vsize=16628 CPUtime=0.01 cores=0,2,4,6
/proc/7183/stat : 7183 (python) D 7181 7183 2614 0 -1 4202496 1183 0 0 0 1 0 0 0 20 0 1 0 338417416 17027072 993 33554432000 4194304 5683644 140734693950576 140734693933944 240565173941 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/7183/statm: 4157 993 416 364 0 599 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16628
[startup+0.100294 s]
/proc/loadavg: 1.92 2.11 2.54 3/217 7183
/proc/meminfo: memFree=28616832/32873844 swapFree=7116/7116
[pid=7183] ppid=7181 vsize=19088 CPUtime=0.02 cores=0,2,4,6
/proc/7183/stat : 7183 (python) R 7181 7183 2614 0 -1 4202496 1389 0 0 0 1 1 0 0 20 0 1 0 338417416 19546112 1144 33554432000 4194304 5683644 140734693950576 140734693881080 240564801428 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/7183/statm: 4772 1144 430 364 0 696 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19088
[startup+0.300283 s]
/proc/loadavg: 1.92 2.11 2.54 3/217 7183
/proc/meminfo: memFree=28616832/32873844 swapFree=7116/7116
[pid=7183] ppid=7181 vsize=96896 CPUtime=0.12 cores=0,2,4,6
/proc/7183/stat : 7183 (python) D 7181 7183 2614 0 -1 4202496 3899 1006 1 0 8 4 0 0 20 0 1 0 338417416 99221504 2647 33554432000 4194304 5683644 140734693950576 140734693868600 240565173941 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/7183/statm: 24224 2647 822 364 0 1715 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 96896
[startup+0.700231 s]
/proc/loadavg: 1.92 2.11 2.54 3/217 7183
/proc/meminfo: memFree=28616832/32873844 swapFree=7116/7116
[pid=7183] ppid=7181 vsize=122348 CPUtime=0.25 cores=0,2,4,6
/proc/7183/stat : 7183 (python) D 7181 7183 2614 0 -1 4202496 5962 1006 1 0 15 10 0 0 20 0 1 0 338417416 125284352 3841 33554432000 4194304 5683644 140734693950576 140734693875464 240565175184 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/7183/statm: 30587 3841 1015 364 0 2830 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 122348
[startup+1.50025 s]
/proc/loadavg: 1.92 2.11 2.54 3/218 7188
/proc/meminfo: memFree=28592140/32873844 swapFree=7116/7116
[pid=7183] ppid=7181 vsize=283600 CPUtime=0.66 cores=0,2,4,6
/proc/7183/stat : 7183 (python) R 7181 7183 2614 0 -1 4202496 10979 1006 1 0 50 16 0 0 20 0 1 0 338417416 290406400 7695 33554432000 4194304 5683644 140734693950576 140734693930360 240572799832 0 0 16781312 33554434 0 0 0 17 2 0 0 0 0 0
/proc/7183/statm: 70900 7695 1883 364 0 6126 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 283600
[startup+3.10038 s]
/proc/loadavg: 1.92 2.11 2.54 3/221 7191
/proc/meminfo: memFree=28517212/32873844 swapFree=7116/7116
[pid=7183] ppid=7181 vsize=359392 CPUtime=0.67 cores=0,2,4,6
/proc/7183/stat : 7183 (python) S 7181 7183 2614 0 -1 4202496 11205 1006 1 0 51 16 0 0 20 0 2 0 338417416 368017408 7718 33554432000 4194304 5683644 140734693950576 140734693945408 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7183/statm: 89848 7718 1900 364 0 25071 0
[pid=7189] ppid=7183 vsize=283612 CPUtime=0 cores=0,2,4,6
/proc/7189/stat : 7189 (python) S 7183 7183 2614 0 -1 4202560 762 0 0 0 0 0 0 0 20 0 1 0 338417567 290418688 6153 33554432000 4194304 5683644 140734693950576 140734693941664 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/7189/statm: 70903 6153 341 364 0 6126 0
[pid=7191] ppid=7189 vsize=103412 CPUtime=1.57 cores=0,2,4,6
/proc/7191/stat : 7191 (scip-2.0.1.linu) R 7189 7191 7191 0 -1 4202496 22499 0 0 0 152 5 0 0 20 0 1 0 338417567 105893888 21900 33554432000 4194304 15243407 140737059688160 140737059684456 13277498 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/7191/statm: 25853 21900 682 2698 0 23148 0
[pid=7183/tid=7190] ppid=7181 vsize=359392 CPUtime=0 cores=0,2,4,6
/proc/7183/task/7190/stat : 7190 (python) S 7181 7183 2614 0 -1 4202560 27 1006 0 0 0 0 0 0 20 0 2 0 338417567 368017408 7718 33554432000 4194304 5683644 140734693950576 139709270426160 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 746416
heavy processes:
[startup+6.30035 s]
/proc/loadavg: 2.01 2.13 2.54 3/221 7191
/proc/meminfo: memFree=28461040/32873844 swapFree=7116/7116
[pid=7183] ppid=7181 vsize=359392 CPUtime=0.67 cores=0,2,4,6
/proc/7183/stat : 7183 (python) S 7181 7183 2614 0 -1 4202496 11205 1006 1 0 51 16 0 0 20 0 2 0 338417416 368017408 7718 33554432000 4194304 5683644 140734693950576 140734693945408 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7183/statm: 89848 7718 1900 364 0 25071 0
[pid=7189] ppid=7183 vsize=283612 CPUtime=0 cores=0,2,4,6
/proc/7189/stat : 7189 (python) S 7183 7183 2614 0 -1 4202560 888 0 0 0 0 0 0 0 20 0 1 0 338417567 290418688 6176 33554432000 4194304 5683644 140734693950576 140734693941664 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/7189/statm: 70903 6176 364 364 0 6126 0
[pid=7191] ppid=7189 vsize=145008 CPUtime=4.77 cores=0,2,4,6
/proc/7191/stat : 7191 (scip-2.0.1.linu) R 7189 7191 7191 0 -1 4202496 32887 0 0 0 467 10 0 0 20 0 1 0 338417567 148488192 32288 33554432000 4194304 15243407 140737059688160 140737059684456 4865653 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/7191/statm: 36252 32288 686 2698 0 33547 0
[pid=7183/tid=7190] ppid=7181 vsize=359392 CPUtime=0 cores=0,2,4,6
/proc/7183/task/7190/stat : 7190 (python) S 7181 7183 2614 0 -1 4202560 27 1006 0 0 0 0 0 0 20 0 2 0 338417567 368017408 7718 33554432000 4194304 5683644 140734693950576 139709270426160 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 5.44
Current children cumulated vsize (KiB) 788012
[startup+12.7004 s]
/proc/loadavg: 2.01 2.13 2.54 3/221 7191
/proc/meminfo: memFree=28407180/32873844 swapFree=7116/7116
[pid=7183] ppid=7181 vsize=359392 CPUtime=0.67 cores=0,2,4,6
/proc/7183/stat : 7183 (python) S 7181 7183 2614 0 -1 4202496 11205 1006 1 0 51 16 0 0 20 0 2 0 338417416 368017408 7718 33554432000 4194304 5683644 140734693950576 140734693945408 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7183/statm: 89848 7718 1900 364 0 25071 0
[pid=7189] ppid=7183 vsize=283612 CPUtime=0 cores=0,2,4,6
/proc/7189/stat : 7189 (python) S 7183 7183 2614 0 -1 4202560 895 0 0 0 0 0 0 0 20 0 1 0 338417567 290418688 6176 33554432000 4194304 5683644 140734693950576 140734693941664 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/7189/statm: 70903 6176 364 364 0 6126 0
[pid=7191] ppid=7189 vsize=196460 CPUtime=11.17 cores=0,2,4,6
/proc/7191/stat : 7191 (scip-2.0.1.linu) R 7189 7191 7191 0 -1 4202496 45859 0 0 0 1097 20 0 0 20 0 1 0 338417567 201175040 45260 33554432000 4194304 15243407 140737059688160 140737059684472 4880950 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/7191/statm: 49115 45260 686 2698 0 46410 0
[pid=7183/tid=7190] ppid=7181 vsize=359392 CPUtime=0 cores=0,2,4,6
/proc/7183/task/7190/stat : 7190 (python) S 7181 7183 2614 0 -1 4202560 27 1006 0 0 0 0 0 0 20 0 2 0 338417567 368017408 7718 33554432000 4194304 5683644 140734693950576 139709270426160 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 11.84
Current children cumulated vsize (KiB) 839464
[startup+25.5004 s]
/proc/loadavg: 2.00 2.12 2.53 3/221 7191
/proc/meminfo: memFree=28367044/32873844 swapFree=7116/7116
[pid=7183] ppid=7181 vsize=359392 CPUtime=0.67 cores=0,2,4,6
/proc/7183/stat : 7183 (python) S 7181 7183 2614 0 -1 4202496 11205 1006 1 0 51 16 0 0 20 0 2 0 338417416 368017408 7718 33554432000 4194304 5683644 140734693950576 140734693945408 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7183/statm: 89848 7718 1900 364 0 25071 0
[pid=7189] ppid=7183 vsize=283612 CPUtime=0.03 cores=0,2,4,6
/proc/7189/stat : 7189 (python) S 7183 7183 2614 0 -1 4202560 1004 0 0 0 2 1 0 0 20 0 1 0 338417567 290418688 6181 33554432000 4194304 5683644 140734693950576 140734693941664 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/7189/statm: 70903 6181 369 364 0 6126 0
[pid=7191] ppid=7189 vsize=235524 CPUtime=23.97 cores=0,2,4,6
/proc/7191/stat : 7191 (scip-2.0.1.linu) R 7189 7191 7191 0 -1 4202496 55151 0 0 0 2347 50 0 0 20 0 1 0 338417567 241176576 54514 33554432000 4194304 15243407 140737059688160 140737059684248 13277498 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/7191/statm: 58881 54514 874 2698 0 56176 0
[pid=7183/tid=7190] ppid=7181 vsize=359392 CPUtime=0 cores=0,2,4,6
/proc/7183/task/7190/stat : 7190 (python) S 7181 7183 2614 0 -1 4202560 27 1006 0 0 0 0 0 0 20 0 2 0 338417567 368017408 7718 33554432000 4194304 5683644 140734693950576 139709270426160 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 24.67
Current children cumulated vsize (KiB) 878528
[startup+51.1004 s]
/proc/loadavg: 2.00 2.11 2.52 3/226 7196
/proc/meminfo: memFree=28341476/32873844 swapFree=7116/7116
[pid=7183] ppid=7181 vsize=435184 CPUtime=0.69 cores=0,2,4,6
/proc/7183/stat : 7183 (python) S 7181 7183 2614 0 -1 4202496 12162 1006 1 0 53 16 0 0 20 0 3 0 338417416 445628416 7727 33554432000 4194304 5683644 140734693950576 140734693945408 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7183/statm: 108796 7727 1903 364 0 44016 0
[pid=7189] ppid=7183 vsize=359392 CPUtime=0.06 cores=0,2,4,6
/proc/7189/stat : 7189 (python) S 7183 7183 2614 0 -1 4202560 1152 0 0 0 4 2 0 0 20 0 2 0 338417567 368017408 6216 33554432000 4194304 5683644 140734693950576 140734693942224 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7189/statm: 89848 6216 397 364 0 25071 0
[pid=7191] ppid=7189 vsize=256488 CPUtime=46.86 cores=0,2,4,6
/proc/7191/stat : 7191 (scip-2.0.1.linu) T 7189 7191 7191 0 -1 4202496 60286 0 0 0 4617 69 0 0 20 0 1 0 338417567 262643712 59647 33554432000 4194304 15243407 140737059688160 140737059682872 8112832 0 0 16781312 2 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/7191/statm: 64122 59647 899 2698 0 61417 0
[pid=7189/tid=7193] ppid=7183 vsize=359392 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7193/stat : 7193 (python) S 7183 7183 2614 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 338422256 368017408 6216 33554432000 4194304 5683644 140734693950576 139709270426160 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7194] ppid=7183 vsize=359404 CPUtime=0 cores=0,2,4,6
/proc/7194/stat : 7194 (python) S 7183 7183 2614 0 -1 4202560 777 0 0 0 0 0 0 0 20 0 1 0 338422258 368029696 6154 33554432000 4194304 5683644 140734693950576 140734693941664 240565191139 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/7194/statm: 89851 6154 336 364 0 25071 0
[pid=7196] ppid=7194 vsize=5472 CPUtime=2.67 cores=0,2,4,6
/proc/7196/stat : 7196 (clasp-1.3.7-x86) R 7194 7196 7196 0 -1 4202496 1448 0 0 0 267 0 0 0 20 0 1 0 338422258 5603328 1111 33554432000 134512640 136139019 4294358752 4294357616 134608416 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/7196/statm: 1368 1111 182 398 0 968 0
[pid=7183/tid=7190] ppid=7181 vsize=435184 CPUtime=0 cores=0,2,4,6
/proc/7183/task/7190/stat : 7190 (python) S 7181 7183 2614 0 -1 4202560 27 1006 0 0 0 0 0 0 20 0 3 0 338417567 445628416 7727 33554432000 4194304 5683644 140734693950576 139709270426160 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7183/tid=7195] ppid=7181 vsize=435184 CPUtime=0 cores=0,2,4,6
/proc/7183/task/7195/stat : 7195 (python) S 7181 7183 2614 0 -1 4202560 22 1006 0 0 0 0 0 0 20 0 3 0 338422258 445628416 7727 33554432000 4194304 5683644 140734693950576 139709259936304 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 50.28
Current children cumulated vsize (KiB) 1415940
[startup+102.301 s]
/proc/loadavg: 2.00 2.09 2.49 3/231 7203
/proc/meminfo: memFree=28172232/32873844 swapFree=7116/7116
[pid=7183] ppid=7181 vsize=511524 CPUtime=0.72 cores=0,2,4,6
/proc/7183/stat : 7183 (python) S 7181 7183 2614 0 -1 4202496 13114 1006 1 0 56 16 0 0 20 0 4 0 338417416 523800576 8369 33554432000 4194304 5683644 140734693950576 140734693945408 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7183/statm: 127881 8369 1905 364 0 63098 0
[pid=7189] ppid=7183 vsize=359392 CPUtime=0.06 cores=0,2,4,6
/proc/7189/stat : 7189 (python) S 7183 7183 2614 0 -1 4202560 1152 0 0 0 4 2 0 0 20 0 2 0 338417567 368017408 6216 33554432000 4194304 5683644 140734693950576 140734693942224 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7189/statm: 89848 6216 397 364 0 25071 0
[pid=7191] ppid=7189 vsize=256488 CPUtime=46.86 cores=0,2,4,6
/proc/7191/stat : 7191 (scip-2.0.1.linu) T 7189 7191 7191 0 -1 4202496 60286 0 0 0 4617 69 0 0 20 0 1 0 338417567 262643712 59647 33554432000 4194304 15243407 140737059688160 140737059682872 8112832 0 0 16781312 2 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/7191/statm: 64122 59647 899 2698 0 61417 0
[pid=7189/tid=7193] ppid=7183 vsize=359392 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7193/stat : 7193 (python) S 7183 7183 2614 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 338422256 368017408 6216 33554432000 4194304 5683644 140734693950576 139709270426160 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7194] ppid=7183 vsize=359404 CPUtime=0.07 cores=0,2,4,6
/proc/7194/stat : 7194 (python) S 7183 7183 2614 0 -1 4202560 1092 0 0 0 4 3 0 0 20 0 2 0 338422258 368029696 6203 33554432000 4194304 5683644 140734693950576 140734693942224 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7194/statm: 89851 6203 384 364 0 25071 0
[pid=7196] ppid=7194 vsize=11944 CPUtime=47.11 cores=0,2,4,6
/proc/7196/stat : 7196 (clasp-1.3.7-x86) T 7194 7196 7196 0 -1 4202496 3082 0 0 0 4711 0 0 0 20 0 1 0 338422258 12230656 2745 33554432000 134512640 136139019 4294358752 4294357616 134608331 0 0 16781312 16386 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/7196/statm: 2986 2745 182 398 0 2586 0
[pid=7194/tid=7200] ppid=7183 vsize=359404 CPUtime=0 cores=0,2,4,6
/proc/7194/task/7200/stat : 7200 (python) S 7183 7183 2614 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 2 0 338426971 368029696 6203 33554432000 4194304 5683644 140734693950576 139709270426160 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7201] ppid=7183 vsize=435744 CPUtime=0 cores=0,2,4,6
/proc/7201/stat : 7201 (python) S 7183 7183 2614 0 -1 4202560 930 0 0 0 0 0 0 0 20 0 1 0 338426974 446201856 6309 33554432000 4194304 5683644 140734693950576 140734693941664 240565191139 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/7201/statm: 108936 6309 359 364 0 44153 0
[pid=7203] ppid=7201 vsize=164624 CPUtime=6.71 cores=0,2,4,6
/proc/7203/stat : 7203 (scip-2.0.1.linu) R 7201 7203 7203 0 -1 4202496 37923 0 0 0 657 14 0 0 20 0 1 0 338426974 168574976 37308 33554432000 4194304 13684479 140733271888496 140733271884808 6144939 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/7203/statm: 41156 37308 639 2317 0 38834 0
[pid=7183/tid=7190] ppid=7181 vsize=511524 CPUtime=0 cores=0,2,4,6
/proc/7183/task/7190/stat : 7190 (python) S 7181 7183 2614 0 -1 4202560 27 1006 0 0 0 0 0 0 20 0 4 0 338417567 523800576 8369 33554432000 4194304 5683644 140734693950576 139709270426160 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7183/tid=7195] ppid=7181 vsize=511524 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/7309/stat : 7309 (bsolo_pb10) T 7307 7309 7309 0 -1 4202496 10986 0 0 0 4714 3 0 0 20 0 1 0 338473861 53215232 10553 33554432000 134512640 137138936 4290212608 4290211320 136504124 0 0 16781312 16384 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/7309/statm: 12992 10553 192 642 0 12348 0
[pid=7307/tid=7331] ppid=7183 vsize=738912 CPUtime=0 cores=0,2,4,6
/proc/7307/task/7331/stat : 7331 (python) S 7183 7183 2614 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 338478582 756645888 6867 33554432000 4194304 5683644 140734693950576 139709147755056 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7332] ppid=7183 vsize=814704 CPUtime=0.08 cores=0,2,4,6
/proc/7332/stat : 7332 (python) S 7183 7183 2614 0 -1 4202560 1091 0 0 0 5 3 0 0 20 0 1 0 338478584 834256896 6853 33554432000 4194304 5683644 140734693950576 140734693941664 240565191139 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/7332/statm: 203676 6853 365 364 0 138878 0
[pid=7334] ppid=7332 vsize=131168 CPUtime=47.88 cores=0,2,4,6
/proc/7334/stat : 7334 (bsolo_pb10) R 7332 7334 7334 0 -1 4202496 30781 0 0 0 4763 25 0 0 20 0 1 0 338478585 134316032 30350 33554432000 134512640 137138936 4290347872 4290346800 134543241 0 0 16781312 16384 0 0 0 17 0 0 0 0 0 0
/proc/7334/statm: 32792 30350 191 642 0 32148 0
[pid=7183/tid=7190] ppid=7181 vsize=890484 CPUtime=0 cores=0,2,4,6
/proc/7183/task/7190/stat : 7190 (python) S 7181 7183 2614 0 -1 4202560 32 1006 0 0 0 0 0 0 20 0 9 0 338417567 911855616 8409 33554432000 4194304 5683644 140734693950576 139709270426160 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7183/tid=7195] ppid=7181 vsize=890484 CPUtime=0 cores=0,2,4,6
/proc/7183/task/7195/stat : 7195 (python) S 7181 7183 2614 0 -1 4202560 31 1006 0 0 0 0 0 0 20 0 9 0 338422258 911855616 8409 33554432000 4194304 5683644 140734693950576 139709259936304 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7183/tid=7202] ppid=7181 vsize=890484 CPUtime=0 cores=0,2,4,6
/proc/7183/task/7202/stat : 7202 (python) S 7181 7183 2614 0 -1 4202560 21 1006 0 0 0 0 0 0 20 0 9 0 338426974 911855616 8409 33554432000 4194304 5683644 140734693950576 139709179224624 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7183/tid=7206] ppid=7181 vsize=890484 CPUtime=0 cores=0,2,4,6
/proc/7183/task/7206/stat : 7206 (python) S 7181 7183 2614 0 -1 4202560 21 1006 0 0 0 0 0 0 20 0 9 0 338436495 911855616 8409 33554432000 4194304 5683644 140734693950576 139709168734768 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7183/tid=7214] ppid=7181 vsize=890484 CPUtime=0 cores=0,2,4,6
/proc/7183/task/7214/stat : 7214 (python) S 7181 7183 2614 0 -1 4202560 21 1006 0 0 0 0 0 0 20 0 9 0 338441230 911855616 8409 33554432000 4194304 5683644 140734693950576 139709158244912 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7183/tid=7272] ppid=7181 vsize=890484 CPUtime=0 cores=0,2,4,6
/proc/7183/task/7272/stat : 7272 (python) S 7181 7183 2614 0 -1 4202560 22 1006 0 0 0 0 0 0 20 0 9 0 338450848 911855616 8409 33554432000 4194304 5683644 140734693950576 139709147755056 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7183/tid=7308] ppid=7181 vsize=890484 CPUtime=0 cores=0,2,4,6
/proc/7183/task/7308/stat : 7308 (python) S 7181 7183 2614 0 -1 4202560 22 1006 0 0 0 0 0 0 20 0 9 0 338473861 911855616 8409 33554432000 4194304 5683644 140734693950576 139709137265200 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7183/tid=7333] ppid=7181 vsize=890484 CPUtime=0 cores=0,2,4,6
/proc/7183/task/7333/stat : 7333 (python) S 7181 7183 2614 0 -1 4202560 21 1006 0 0 0 0 0 0 20 0 9 0 338478585 911855616 8409 33554432000 4194304 5683644 140734693950576 139709126775344 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 662
Current children cumulated vsize (KiB) 15872040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+659.602 s]
/proc/loadavg: 2.11 2.08 2.29 3/268 7335
/proc/meminfo: memFree=27877516/32873844 swapFree=7116/7116
[pid=7183] ppid=7181 vsize=890484 CPUtime=1.47 cores=0,2,4,6
/proc/7183/stat : 7183 (python) S 7181 7183 2614 0 -1 4202496 18107 1006 1 0 129 18 0 0 20 0 9 0 338417416 911855616 8409 33554432000 4194304 5683644 140734693950576 140734693945408 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7183/statm: 222621 8409 1915 364 0 157823 0
[pid=7189] ppid=7183 vsize=359392 CPUtime=0.14 cores=0,2,4,6
/proc/7189/stat : 7189 (python) S 7183 7183 2614 0 -1 4202560 1189 0 0 0 9 5 0 0 20 0 2 0 338417567 368017408 6217 33554432000 4194304 5683644 140734693950576 140734693942224 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7189/statm: 89848 6217 398 364 0 25071 0
[pid=7191] ppid=7189 vsize=262920 CPUtime=93.07 cores=0,2,4,6
/proc/7191/stat : 7191 (scip-2.0.1.linu) T 7189 7191 7191 0 -1 4202496 87812 0 0 0 9226 81 0 0 20 0 1 0 338417567 269230080 63303 33554432000 4194304 15243407 140737059688160 140737059682552 8129135 0 0 16781312 2 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/7191/statm: 65730 63303 947 2698 0 63025 0
[pid=7189/tid=7193] ppid=7183 vsize=359392 CPUtime=0 cores=0,2,4,6
/proc/7189/task/7193/stat : 7193 (python) S 7183 7183 2614 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 338422256 368017408 6217 33554432000 4194304 5683644 140734693950576 139709270426160 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7194] ppid=7183 vsize=359404 CPUtime=0.4 cores=0,2,4,6
/proc/7194/stat : 7194 (python) S 7183 7183 2614 0 -1 4202560 1183 0 0 0 24 16 0 0 20 0 2 0 338422258 368029696 6203 33554432000 4194304 5683644 140734693950576 140734693942224 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7194/statm: 89851 6203 384 364 0 25071 0
[pid=7196] ppid=7194 vsize=24228 CPUtime=229.59 cores=0,2,4,6
/proc/7196/stat : 7196 (clasp-1.3.7-x86) T 7194 7196 7196 0 -1 4202496 6138 0 0 0 22958 1 0 0 20 0 1 0 338422258 24809472 5793 33554432000 134512640 136139019 4294358752 4294357376 134599005 0 0 16781312 16386 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/7196/statm: 6057 5793 182 398 0 5657 0
[pid=7194/tid=7200] ppid=7183 vsize=359404 CPUtime=0 cores=0,2,4,6
/proc/7194/task/7200/stat : 7200 (python) S 7183 7183 2614 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 2 0 338426971 368029696 6203 33554432000 4194304 5683644 140734693950576 139709270426160 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7201] ppid=7183 vsize=435744 CPUtime=0.18 cores=0,2,4,6
/proc/7201/stat : 7201 (python) S 7183 7183 2614 0 -1 4202560 1158 0 0 0 10 8 0 0 20 0 2 0 338426974 446201856 6335 33554432000 4194304 5683644 140734693950576 140734693942224 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7201/statm: 108936 6335 384 364 0 44153 0
[pid=7203] ppid=7201 vsize=233636 CPUtime=94.61 cores=0,2,4,6
/proc/7203/stat : 7203 (scip-2.0.1.linu) T 7201 7203 7203 0 -1 4202496 60483 0 0 0 9395 66 0 0 20 0 1 0 338426974 239243264 56559 33554432000 4194304 13684479 140733271888496 140733271884584 11876362 0 0 16781312 2 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/7203/statm: 58409 56559 776 2317 0 56087 0
[pid=7201/tid=7204] ppid=7183 vsize=435744 CPUtime=0 cores=0,2,4,6
/proc/7201/task/7204/stat : 7204 (python) S 7183 7183 2614 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 2 0 338431924 446201856 6335 33554432000 4194304 5683644 140734693950576 139709259936304 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7205] ppid=7183 vsize=511536 CPUtime=0.07 cores=0,2,4,6
/proc/7205/stat : 7205 (python) S 7183 7183 2614 0 -1 4202560 1126 0 0 0 4 3 0 0 20 0 2 0 338436494 523812864 6848 33554432000 4194304 5683644 140734693950576 140734693942224 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7205/statm: 127884 6848 384 364 0 63098 0
[pid=7207] ppid=7205 vsize=81872 CPUtime=47.3 cores=0,2,4,6
/proc/7207/stat : 7207 (minion) T 7205 7207 7207 0 -1 4202496 6604 0 0 0 4729 1 0 0 20 0 1 0 338436495 83836928 13171 33554432000 134512640 165565024 4288994464 4288991712 142765004 0 0 16781312 8396802 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/7207/statm: 20468 13171 336 7582 0 12883 0
[pid=7205/tid=7212] ppid=7183 vsize=511536 CPUtime=0 cores=0,2,4,6
/proc/7205/task/7212/stat : 7212 (python) S 7183 7183 2614 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338441227 523812864 6848 33554432000 4194304 5683644 140734693950576 139709179224624 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7213] ppid=7183 vsize=587328 CPUtime=0.08 cores=0,2,4,6
/proc/7213/stat : 7213 (python) S 7183 7183 2614 0 -1 4202560 1130 0 0 0 5 3 0 0 20 0 2 0 338441229 601423872 6855 33554432000 4194304 5683644 140734693950576 140734693942224 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7213/statm: 146832 6855 384 364 0 82043 0
[pid=7215] ppid=7213 vsize=100652 CPUtime=49.89 cores=0,2,4,6
/proc/7215/stat : 7215 (wbo1.4a) T 7213 7215 7215 0 -1 4202496 25033 0 0 0 4942 47 0 0 20 0 1 0 338441230 103067648 24688 33554432000 134512640 135751879 4289386112 4289384288 134616480 0 0 16781312 3 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/7215/statm: 25163 24688 143 303 0 24858 0
[pid=7213/tid=7266] ppid=7183 vsize=587328 CPUtime=0 cores=0,2,4,6
/proc/7213/task/7266/stat : 7266 (python) S 7183 7183 2614 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 338446220 601423872 6855 33554432000 4194304 5683644 140734693950576 139709168734768 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7271] ppid=7183 vsize=663120 CPUtime=0.08 cores=0,2,4,6
/proc/7271/stat : 7271 (python) S 7183 7183 2614 0 -1 4202560 1142 0 0 0 5 3 0 0 20 0 2 0 338450848 679034880 6861 33554432000 4194304 5683644 140734693950576 140734693942224 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7271/statm: 165780 6861 384 364 0 100988 0
[pid=7273] ppid=7271 vsize=9624972 CPUtime=49.91 cores=0,2,4,6
/proc/7273/stat : 7273 (java) T 7271 7273 7273 0 -1 4202496 21571 0 1 0 4965 26 0 0 20 0 19 0 338450848 9855971328 211608 33554432000 1073741824 1073778376 140737488204704 140737488195840 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7273/statm: 2406243 211608 2266 9 0 2396937 0
[pid=7273/tid=7274] ppid=7271 vsize=9624972 CPUtime=46.94 cores=0,2,4,6
/proc/7273/task/7274/stat : 7274 (java) T 7271 7273 7273 0 -1 4202560 3040 0 1 0 4683 11 0 0 20 0 19 0 338450850 9855971328 211608 33554432000 1073741824 1073778376 140737488204704 140121063964680 140120909621373 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=7273/tid=7275] ppid=7271 vsize=9624972 CPUtime=0.13 cores=0,2,4,6
/proc/7273/task/7275/stat : 7275 (java) T 7271 7273 7273 0 -1 4202560 36 0 0 0 11 2 0 0 20 0 19 0 338450851 9855971328 211608 33554432000 1073741824 1073778376 140737488204704 140121036417960 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=7273/tid=7276] ppid=7271 vsize=9624972 CPUtime=0.13 cores=0,2,4,6
/proc/7273/task/7276/stat : 7276 (java) T 7271 7273 7273 0 -1 4202560 130 0 0 0 13 0 0 0 20 0 19 0 338450851 9855971328 211608 33554432000 1073741824 1073778376 140737488204704 140121035365416 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=7273/tid=7277] ppid=7271 vsize=9624972 CPUtime=0.12 cores=0,2,4,6
/proc/7273/task/7277/stat : 7277 (java) T 7271 7273 7273 0 -1 4202560 24 0 0 0 12 0 0 0 20 0 19 0 338450851 9855971328 211608 33554432000 1073741824 1073778376 140737488204704 140121034312360 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=7273/tid=7278] ppid=7271 vsize=9624972 CPUtime=0.14 cores=0,2,4,6
/proc/7273/task/7278/stat : 7278 (java) T 7271 7273 7273 0 -1 4202560 31 0 0 0 12 2 0 0 20 0 19 0 338450851 9855971328 211608 33554432000 1073741824 1073778376 140737488204704 140121033259816 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=7273/tid=7279] ppid=7271 vsize=9624972 CPUtime=0.15 cores=0,2,4,6
/proc/7273/task/7279/stat : 7279 (java) T 7271 7273 7273 0 -1 4202560 99 0 0 0 13 2 0 0 20 0 19 0 338450851 9855971328 211608 33554432000 1073741824 1073778376 140737488204704 140121032206760 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=7273/tid=7280] ppid=7271 vsize=9624972 CPUtime=0.16 cores=0,2,4,6
/proc/7273/task/7280/stat : 7280 (java) T 7271 7273 7273 0 -1 4202560 40 0 0 0 14 2 0 0 20 0 19 0 338450851 9855971328 211608 33554432000 1073741824 1073778376 140737488204704 140121031154216 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=7273/tid=7281] ppid=7271 vsize=9624972 CPUtime=0.12 cores=0,2,4,6
/proc/7273/task/7281/stat : 7281 (java) T 7271 7273 7273 0 -1 4202560 81 0 0 0 10 2 0 0 20 0 19 0 338450851 9855971328 211608 33554432000 1073741824 1073778376 140737488204704 140121030101160 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=7273/tid=7282] ppid=7271 vsize=9624972 CPUtime=0.14 cores=0,2,4,6
/proc/7273/task/7282/stat : 7282 (java) T 7271 7273 7273 0 -1 4202560 99 0 0 0 12 2 0 0 20 0 19 0 338450851 9855971328 211608 33554432000 1073741824 1073778376 140737488204704 140121029048616 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=7273/tid=7283] ppid=7271 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7283/stat : 7283 (java) T 7271 7273 7273 0 -1 4202560 433 0 0 0 0 0 0 0 20 0 19 0 338450852 9855971328 211608 33554432000 1073741824 1073778376 140737488204704 140120418134888 240568547241 0 0 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=7273/tid=7284] ppid=7271 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7284/stat : 7284 (java) T 7271 7273 7273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338450853 9855971328 211608 33554432000 1073741824 1073778376 140737488204704 140120417081208 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=7273/tid=7285] ppid=7271 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7285/stat : 7285 (java) T 7271 7273 7273 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338450853 9855971328 211608 33554432000 1073741824 1073778376 140737488204704 140120416028040 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=7273/tid=7286] ppid=7271 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7286/stat : 7286 (java) T 7271 7273 7273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338450855 9855971328 211608 33554432000 1073741824 1073778376 140737488204704 140120414976784 240568555296 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=7273/tid=7287] ppid=7271 vsize=9624972 CPUtime=0.77 cores=0,2,4,6
/proc/7273/task/7287/stat : 7287 (java) T 7271 7273 7273 0 -1 4202560 7239 0 0 0 75 2 0 0 20 0 19 0 338450855 9855971328 211608 33554432000 1073741824 1073778376 140737488204704 140120413923640 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 2 0 0 0 0 0
[pid=7273/tid=7288] ppid=7271 vsize=9624972 CPUtime=0.86 cores=0,2,4,6
/proc/7273/task/7288/stat : 7288 (java) T 7271 7273 7273 0 -1 4202560 8898 0 0 0 86 0 0 0 20 0 19 0 338450855 9855971328 211608 33554432000 1073741824 1073778376 140737488204704 140120412871096 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=7273/tid=7289] ppid=7271 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7289/stat : 7289 (java) T 7271 7273 7273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338450855 9855971328 211608 33554432000 1073741824 1073778376 140737488204704 140120411818232 240568546364 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=7273/tid=7290] ppid=7271 vsize=9624972 CPUtime=0.01 cores=0,2,4,6
/proc/7273/task/7290/stat : 7290 (java) T 7271 7273 7273 0 -1 4202560 3 0 0 0 1 0 0 0 20 0 19 0 338450856 9855971328 211608 33554432000 1073741824 1073778376 140737488204704 140120410765896 240568547241 0 4 0 16800975 18446744071579387992 0 0 -1 0 0 0 0 0 0
[pid=7273/tid=7291] ppid=7271 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7291/stat : 7291 (java) T 7271 7273 7273 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 338450888 9855971328 211608 33554432000 1073741824 1073778376 140737488204704 140120409712168 240568547241 0 4 0 16800975 18446744071579387992 0 0 -1 4 0 0 0 0 0
[pid=7271/tid=7296] ppid=7183 vsize=663120 CPUtime=0 cores=0,2,4,6
/proc/7271/task/7296/stat : 7296 (python) S 7183 7183 2614 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 338455600 679034880 6861 33554432000 4194304 5683644 140734693950576 139709158244912 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7307] ppid=7183 vsize=738912 CPUtime=0.08 cores=0,2,4,6
/proc/7307/stat : 7307 (python) S 7183 7183 2614 0 -1 4202560 1163 0 0 0 6 2 0 0 20 0 2 0 338473861 756645888 6867 33554432000 4194304 5683644 140734693950576 140734693942224 240568558861 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7307/statm: 184728 6867 384 364 0 119933 0
[pid=7309] ppid=7307 vsize=51968 CPUtime=47.17 cores=0,2,4,6
/proc/7309/stat : 7309 (bsolo_pb10) T 7307 7309 7309 0 -1 4202496 10986 0 0 0 4714 3 0 0 20 0 1 0 338473861 53215232 10553 33554432000 134512640 137138936 4290212608 4290211320 136504124 0 0 16781312 16384 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/7309/statm: 12992 10553 192 642 0 12348 0
[pid=7307/tid=7331] ppid=7183 vsize=738912 CPUtime=0 cores=0,2,4,6
/proc/7307/task/7331/stat : 7331 (python) S 7183 7183 2614 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 338478582 756645888 6867 33554432000 4194304 5683644 140734693950576 139709147755056 240568555296 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7332] ppid=7183 vsize=814704 CPUtime=0.08 cores=0,2,4,6
/proc/7332/stat : 7332 (python) S 7183 7183 2614 0 -1 4202560 1091 0 0 0 5 3 0 0 20 0 1 0 338478584 834256896 6853 33554432000 4194304 5683644 140734693950576 140734693941664 240565191139 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/7332/statm: 203676 6853 365 364 0 138878 0
[pid=7334] ppid=7332 vsize=131168 CPUtime=47.88 cores=0,2,4,6
/proc/7334/stat : 7334 (bsolo_pb10) R 7332 7334 7334 0 -1 4202496 30781 0 0 0 4763 25 0 0 20 0 1 0 338478585 134316032 30350 33554432000 134512640 137138936 4290347872 4290346800 134543241 0 0 16781312 16384 0 0 0 17 0 0 0 0 0 0
/proc/7334/statm: 32792 30350 191 642 0 32148 0
[pid=7183/tid=7190] ppid=7181 vsize=890484 CPUtime=0 cores=0,2,4,6
/proc/7183/task/7190/stat : 7190 (python) S 7181 7183 2614 0 -1 4202560 32 1006 0 0 0 0 0 0 20 0 9 0 338417567 911855616 8409 33554432000 4194304 5683644 140734693950576 139709270426160 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7183/tid=7195] ppid=7181 vsize=890484 CPUtime=0 cores=0,2,4,6
/proc/7183/task/7195/stat : 7195 (python) S 7181 7183 2614 0 -1 4202560 31 1006 0 0 0 0 0 0 20 0 9 0 338422258 911855616 8409 33554432000 4194304 5683644 140734693950576 139709259936304 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7183/tid=7202] ppid=7181 vsize=890484 CPUtime=0 cores=0,2,4,6
/proc/7183/task/7202/stat : 7202 (python) S 7181 7183 2614 0 -1 4202560 21 1006 0 0 0 0 0 0 20 0 9 0 338426974 911855616 8409 33554432000 4194304 5683644 140734693950576 139709179224624 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7183/tid=7206] ppid=7181 vsize=890484 CPUtime=0 cores=0,2,4,6
/proc/7183/task/7206/stat : 7206 (python) S 7181 7183 2614 0 -1 4202560 21 1006 0 0 0 0 0 0 20 0 9 0 338436495 911855616 8409 33554432000 4194304 5683644 140734693950576 139709168734768 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7183/tid=7214] ppid=7181 vsize=890484 CPUtime=0 cores=0,2,4,6
/proc/7183/task/7214/stat : 7214 (python) S 7181 7183 2614 0 -1 4202560 21 1006 0 0 0 0 0 0 20 0 9 0 338441230 911855616 8409 33554432000 4194304 5683644 140734693950576 139709158244912 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7183/tid=7272] ppid=7181 vsize=890484 CPUtime=0 cores=0,2,4,6
/proc/7183/task/7272/stat : 7272 (python) S 7181 7183 2614 0 -1 4202560 22 1006 0 0 0 0 0 0 20 0 9 0 338450848 911855616 8409 33554432000 4194304 5683644 140734693950576 139709147755056 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7183/tid=7308] ppid=7181 vsize=890484 CPUtime=0 cores=0,2,4,6
/proc/7183/task/7308/stat : 7308 (python) S 7181 7183 2614 0 -1 4202560 22 1006 0 0 0 0 0 0 20 0 9 0 338473861 911855616 8409 33554432000 4194304 5683644 140734693950576 139709137265200 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7183/tid=7333] ppid=7181 vsize=890484 CPUtime=0 cores=0,2,4,6
/proc/7183/task/7333/stat : 7333 (python) S 7181 7183 2614 0 -1 4202560 21 1006 0 0 0 0 0 0 20 0 9 0 338478585 911855616 8409 33554432000 4194304 5683644 140734693950576 139709126775344 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 662
Current children cumulated vsize (KiB) 15872040
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7183 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=294803
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=189971
# CPU time returned by wait4() is 1.48477
# while last known CPU time is 662
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 659.658
CPU time (s): 662
CPU user time (s): 658.89
CPU system time (s): 3.11
CPU usage (%): 100.355
Max. virtual memory (cumulated for all children) (KiB): 15872040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.2948
system time used= 0.189971
maximum resident set size= 33636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19113
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2090
involuntary context switches= 20
runsolver used 3.01254 second user time and 6.90395 second system time
The end