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-3482651-1307576488/watcher-3482651-1307576488 -o /tmp/evaluation-result-3482651-1307576488/solver-3482651-1307576488 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482651-1307576488.opb -seed 197278373 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.15 0.77 0.28 2/575 5168
/proc/meminfo: memFree=23773224/32951124 swapFree=58940260/67111528
[pid=5168] ppid=5166 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/5168/stat : 5168 (python) S 5166 5168 4282 0 -1 4202496 819 0 0 0 0 0 0 0 24 0 1 0 869246583 15749120 703 33554432000 4194304 5683644 140737285432032 18446744073709551615 212687673344 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/5168/statm: 3845 703 334 364 0 332 0
[startup+0.04159 s]
/proc/loadavg: 2.15 0.77 0.28 2/575 5168
/proc/meminfo: memFree=23773224/32951124 swapFree=58940260/67111528
[pid=5168] ppid=5166 vsize=20972 CPUtime=0.02 cores=0,2,4,6
/proc/5168/stat : 5168 (python) R 5166 5168 4282 0 -1 4202496 1293 0 0 0 2 0 0 0 18 0 1 0 869246583 21475328 1144 33554432000 4194304 5683644 140737285432032 18446744073709551615 212682753040 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/5168/statm: 5243 1146 425 364 0 690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 20972
[startup+0.100551 s]
/proc/loadavg: 2.15 0.77 0.28 2/575 5168
/proc/meminfo: memFree=23773224/32951124 swapFree=58940260/67111528
[pid=5168] ppid=5166 vsize=96124 CPUtime=0.07 cores=0,2,4,6
/proc/5168/stat : 5168 (python) R 5166 5168 4282 0 -1 4202496 3168 929 1 0 5 2 0 0 18 0 1 0 869246583 98430976 2483 33554432000 4194304 5683644 140737285432032 18446744073709551615 5171997 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/5168/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.300664 s]
/proc/loadavg: 2.15 0.77 0.28 2/575 5168
/proc/meminfo: memFree=23773224/32951124 swapFree=58940260/67111528
[pid=5168] ppid=5166 vsize=184592 CPUtime=0.22 cores=0,2,4,6
/proc/5168/stat : 5168 (python) S 5166 5168 4282 0 -1 4202496 6352 929 1 0 16 6 0 0 17 0 1 0 869246583 189022208 4651 33554432000 4194304 5683644 140737285432032 18446744073709551615 212687673344 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/5168/statm: 46148 4651 1251 364 0 3654 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 184592
[startup+0.700415 s]
/proc/loadavg: 2.15 0.77 0.28 2/575 5168
/proc/meminfo: memFree=23773224/32951124 swapFree=58940260/67111528
[pid=5168] ppid=5166 vsize=290380 CPUtime=0.59 cores=0,2,4,6
/proc/5168/stat : 5168 (python) R 5166 5168 4282 0 -1 4202496 11038 929 1 0 49 10 0 0 17 0 1 0 869246583 297349120 8900 33554432000 4194304 5683644 140737285432032 18446744073709551615 47465456352760 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/5168/statm: 72595 8900 1781 364 0 7488 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 290380
[startup+1.50029 s]
/proc/loadavg: 2.15 0.77 0.28 3/579 5176
/proc/meminfo: memFree=23732272/32951124 swapFree=58940260/67111528
[pid=5168] ppid=5166 vsize=302812 CPUtime=1.08 cores=0,2,4,6
/proc/5168/stat : 5168 (python) S 5166 5168 4282 0 -1 4202496 13519 929 1 0 98 10 0 0 20 0 2 0 869246583 310079488 9542 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/5168/statm: 75703 9542 1870 364 0 10590 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 302812
[startup+3.10098 s]
/proc/loadavg: 2.15 0.77 0.28 3/582 5179
/proc/meminfo: memFree=23720220/32951124 swapFree=58940260/67111528
[pid=5168] ppid=5166 vsize=302812 CPUtime=1.08 cores=0,2,4,6
/proc/5168/stat : 5168 (python) S 5166 5168 4282 0 -1 4202496 13519 929 1 0 98 10 0 0 20 0 2 0 869246583 310079488 9542 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/5168/statm: 75703 9542 1870 364 0 10590 0
[pid=5177] ppid=5168 vsize=292568 CPUtime=0 cores=0,2,4,6
/proc/5177/stat : 5177 (python) S 5168 5168 4282 0 -1 4202560 727 0 0 0 0 0 0 0 18 0 1 0 869246703 299589632 8019 33554432000 4194304 5683644 140737285432032 18446744073709551615 212687695375 0 0 16781312 33554946 11247597446378782978 0 0 17 6 0 0 0
/proc/5177/statm: 73142 8019 351 364 0 8029 0
[pid=5179] ppid=5177 vsize=8752 CPUtime=1.89 cores=0,2,4,6
/proc/5179/stat : 5179 (clasp-1.3.7-x86) R 5177 5179 5179 0 -1 4202496 2326 0 0 0 189 0 0 0 25 0 1 0 869246703 8962048 1936 33554432000 134512640 136139019 4287517792 18446744073709551615 134883863 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/5179/statm: 2188 1936 182 398 0 1788 0
[pid=5168/tid=5178] ppid=5166 vsize=302812 CPUtime=0 cores=0,2,4,6
/proc/5168/task/5178/stat : 5178 (python) S 5166 5168 4282 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 2 0 869246703 310079488 9542 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554434 18446604451257354048 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 604132
[startup+6.30042 s]
/proc/loadavg: 2.22 0.81 0.29 3/576 5201
/proc/meminfo: memFree=23840620/32951124 swapFree=58940260/67111528
[pid=5168] ppid=5166 vsize=302812 CPUtime=1.08 cores=0,2,4,6
/proc/5168/stat : 5168 (python) S 5166 5168 4282 0 -1 4202496 13519 929 1 0 98 10 0 0 20 0 2 0 869246583 310079488 9542 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/5168/statm: 75703 9542 1870 364 0 10590 0
[pid=5177] ppid=5168 vsize=292568 CPUtime=0.02 cores=0,2,4,6
/proc/5177/stat : 5177 (python) S 5168 5168 4282 0 -1 4202560 894 0 0 0 1 1 0 0 18 0 1 0 869246703 299589632 8042 33554432000 4194304 5683644 140737285432032 18446744073709551615 212687695375 0 0 16781312 33554946 11247591399064830210 0 0 17 0 0 0 0
/proc/5177/statm: 73142 8042 374 364 0 8029 0
[pid=5179] ppid=5177 vsize=11400 CPUtime=5.09 cores=0,2,4,6
/proc/5179/stat : 5179 (clasp-1.3.7-x86) R 5177 5179 5179 0 -1 4202496 2964 0 0 0 509 0 0 0 25 0 1 0 869246703 11673600 2574 33554432000 134512640 136139019 4287517792 18446744073709551615 134608287 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/5179/statm: 2850 2574 182 398 0 2450 0
[pid=5168/tid=5178] ppid=5166 vsize=302812 CPUtime=0 cores=0,2,4,6
/proc/5168/task/5178/stat : 5178 (python) S 5166 5168 4282 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 2 0 869246703 310079488 9542 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554434 18446604451257354048 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 606780
[startup+12.7013 s]
/proc/loadavg: 2.19 0.85 0.31 3/579 5211
/proc/meminfo: memFree=23631656/32951124 swapFree=58940260/67111528
[pid=5168] ppid=5166 vsize=302812 CPUtime=1.08 cores=0,2,4,6
/proc/5168/stat : 5168 (python) S 5166 5168 4282 0 -1 4202496 13519 929 1 0 98 10 0 0 20 0 2 0 869246583 310079488 9542 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/5168/statm: 75703 9542 1870 364 0 10590 0
[pid=5177] ppid=5168 vsize=292568 CPUtime=0.04 cores=0,2,4,6
/proc/5177/stat : 5177 (python) S 5168 5168 4282 0 -1 4202560 898 0 0 0 2 2 0 0 18 0 1 0 869246703 299589632 8043 33554432000 4194304 5683644 140737285432032 18446744073709551615 212687695375 0 0 16781312 33554946 11247597446378782978 0 0 17 6 0 0 0
/proc/5177/statm: 73142 8043 375 364 0 8029 0
[pid=5179] ppid=5177 vsize=14876 CPUtime=11.49 cores=0,2,4,6
/proc/5179/stat : 5179 (clasp-1.3.7-x86) R 5177 5179 5179 0 -1 4202496 3836 0 0 0 1149 0 0 0 25 0 1 0 869246703 15233024 3446 33554432000 134512640 136139019 4287517792 18446744073709551615 134608164 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/5179/statm: 3719 3446 182 398 0 3319 0
[pid=5168/tid=5178] ppid=5166 vsize=302812 CPUtime=0 cores=0,2,4,6
/proc/5168/task/5178/stat : 5178 (python) S 5166 5168 4282 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 2 0 869246703 310079488 9542 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554434 18446604451257354048 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 610256
[startup+25.5009 s]
/proc/loadavg: 2.32 0.92 0.34 2/574 5289
/proc/meminfo: memFree=23827508/32951124 swapFree=58940260/67111528
[pid=5168] ppid=5166 vsize=302812 CPUtime=1.08 cores=0,2,4,6
/proc/5168/stat : 5168 (python) S 5166 5168 4282 0 -1 4202496 13519 929 1 0 98 10 0 0 20 0 2 0 869246583 310079488 9542 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/5168/statm: 75703 9542 1870 364 0 10590 0
[pid=5177] ppid=5168 vsize=292568 CPUtime=0.11 cores=0,2,4,6
/proc/5177/stat : 5177 (python) S 5168 5168 4282 0 -1 4202560 908 0 0 0 4 7 0 0 18 0 1 0 869246703 299589632 8043 33554432000 4194304 5683644 140737285432032 18446744073709551615 212687695375 0 0 16781312 33554946 72556772316949291 0 0 17 6 0 0 0
/proc/5177/statm: 73142 8043 375 364 0 8029 0
[pid=5179] ppid=5177 vsize=18732 CPUtime=24.3 cores=0,2,4,6
/proc/5179/stat : 5179 (clasp-1.3.7-x86) R 5177 5179 5179 0 -1 4202496 4777 0 0 0 2430 0 0 0 25 0 1 0 869246703 19181568 4387 33554432000 134512640 136139019 4287517792 18446744073709551615 134608488 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/5179/statm: 4683 4387 182 398 0 4283 0
[pid=5168/tid=5178] ppid=5166 vsize=302812 CPUtime=0 cores=0,2,4,6
/proc/5168/task/5178/stat : 5178 (python) S 5166 5168 4282 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 2 0 869246703 310079488 9542 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554434 18446604451257354048 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 614112
[startup+51.1012 s]
/proc/loadavg: 2.27 1.02 0.39 3/586 5397
/proc/meminfo: memFree=23506756/32951124 swapFree=58940260/67111528
[pid=5168] ppid=5166 vsize=313068 CPUtime=1.11 cores=0,2,4,6
/proc/5168/stat : 5168 (python) S 5166 5168 4282 0 -1 4202496 14442 929 1 0 100 11 0 0 20 0 3 0 869246583 320581632 9549 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/5168/statm: 78267 9549 1873 364 0 13151 0
[pid=5177] ppid=5168 vsize=302812 CPUtime=0.23 cores=0,2,4,6
/proc/5177/stat : 5177 (python) S 5168 5168 4282 0 -1 4202560 1147 0 0 0 10 13 0 0 19 0 2 0 869246703 310079488 8084 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5177/statm: 75703 8084 411 364 0 10590 0
[pid=5179] ppid=5177 vsize=22716 CPUtime=48.22 cores=0,2,4,6
/proc/5179/stat : 5179 (clasp-1.3.7-x86) T 5177 5179 5179 0 -1 4202496 5738 0 0 0 4822 0 0 0 25 0 1 0 869246703 23261184 5348 33554432000 134512640 136139019 4287517792 18446744073709551615 134608352 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/5179/statm: 5679 5348 182 398 0 5279 0
[pid=5177/tid=5394] ppid=5168 vsize=302812 CPUtime=0 cores=0,2,4,6
/proc/5177/task/5394/stat : 5394 (python) S 5168 5168 4282 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869251526 310079488 8084 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554946 18446604447621600576 0 0 -1 6 0 0 0
[pid=5395] ppid=5168 vsize=302824 CPUtime=0 cores=0,2,4,6
/proc/5395/stat : 5395 (python) S 5168 5168 4282 0 -1 4202560 787 0 0 0 0 0 0 0 15 0 1 0 869251529 310091776 8020 33554432000 4194304 5683644 140737285432032 18446744073709551615 212687695430 0 0 16781312 33554946 4233673272257904898 0 0 17 6 0 0 0
/proc/5395/statm: 75706 8020 348 364 0 10590 0
[pid=5397] ppid=5395 vsize=158188 CPUtime=1.63 cores=0,2,4,6
/proc/5397/stat : 5397 (scip-2.0.1.linu) R 5395 5397 5397 0 -1 4202496 39910 0 0 0 155 8 0 0 25 0 1 0 869251529 161984512 35261 33554432000 4194304 13684479 140737449770368 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/5397/statm: 39547 35261 1219 2317 0 37225 0
[pid=5168/tid=5178] ppid=5166 vsize=313068 CPUtime=0 cores=0,2,4,6
/proc/5168/task/5178/stat : 5178 (python) S 5166 5168 4282 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 3 0 869246703 320581632 9549 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554434 18446604451257354048 0 0 -1 6 0 0 0
[pid=5168/tid=5396] ppid=5166 vsize=313068 CPUtime=0 cores=0,2,4,6
/proc/5168/task/5396/stat : 5396 (python) S 5166 5168 4282 0 -1 4202560 32 929 0 0 0 0 0 0 20 0 3 0 869251529 320581632 9549 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554434 18446604451257354048 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 1099608
[startup+102.301 s]
/proc/loadavg: 2.12 1.17 0.47 3/594 5407
/proc/meminfo: memFree=23226988/32951124 swapFree=58940260/67111528
[pid=5168] ppid=5166 vsize=323324 CPUtime=1.14 cores=0,2,4,6
/proc/5168/stat : 5168 (python) S 5166 5168 4282 0 -1 4202496 15344 929 1 0 103 11 0 0 20 0 4 0 869246583 331083776 9555 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/5168/statm: 80831 9555 1875 364 0 15712 0
[pid=5177] ppid=5168 vsize=302812 CPUtime=0.23 cores=0,2,4,6
/proc/5177/stat : 5177 (python) S 5168 5168 4282 0 -1 4202560 1147 0 0 0 10 13 0 0 19 0 2 0 869246703 310079488 8084 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5177/statm: 75703 8084 411 364 0 10590 0
[pid=5179] ppid=5177 vsize=22716 CPUtime=48.22 cores=0,2,4,6
/proc/5179/stat : 5179 (clasp-1.3.7-x86) T 5177 5179 5179 0 -1 4202496 5738 0 0 0 4822 0 0 0 25 0 1 0 869246703 23261184 5348 33554432000 134512640 136139019 4287517792 18446744073709551615 134608352 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/5179/statm: 5679 5348 182 398 0 5279 0
[pid=5177/tid=5394] ppid=5168 vsize=302812 CPUtime=0 cores=0,2,4,6
/proc/5177/task/5394/stat : 5394 (python) S 5168 5168 4282 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 869251526 310079488 8084 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554946 18446604447621600576 0 0 -1 6 0 0 0
[pid=5395] ppid=5168 vsize=302824 CPUtime=0.22 cores=0,2,4,6
/proc/5395/stat : 5395 (python) S 5168 5168 4282 0 -1 4202560 1123 0 0 0 12 10 0 0 17 0 2 0 869251529 310091776 8069 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5395/statm: 75706 8069 396 364 0 10590 0
[pid=5397] ppid=5395 vsize=163348 CPUtime=46.28 cores=0,2,4,6
/proc/5397/stat : 5397 (scip-2.0.1.linu) T 5395 5397 5397 0 -1 4202496 45351 0 0 0 4606 22 0 0 25 0 1 0 869251529 167268352 37285 33554432000 4194304 13684479 140737449770368 18446744073709551615 7098848 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/5397/statm: 40837 37285 939 2317 0 38515 0
[pid=5395/tid=5404] ppid=5168 vsize=302824 CPUtime=0 cores=0,2,4,6
/proc/5395/task/5404/stat : 5404 (python) S 5168 5168 4282 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869256158 310091776 8069 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554946 18446604446017864832 0 0 -1 6 0 0 0
[pid=5405] ppid=5168 vsize=313080 CPUtime=0.02 cores=0,2,4,6
/proc/5405/stat : 5405 (python) S 5168 5168 4282 0 -1 4202560 941 0 0 0 1 1 0 0 15 0 1 0 869256160 320593920 8048 33554432000 4194304 5683644 140737285432032 18446744073709551615 212687695430 0 0 16781312 33554946 2838933130222501888 0 0 17 4 0 0 0
/proc/5405/statm: 78270 8048 372 364 0 13151 0
[pid=5407] ppid=5405 vsize=160024 CPUtime=6.51 cores=0,2,4,6
/proc/5407/stat : 5407 (scip-2.0.1.linu) R 5405 5407 5407 0 -1 4202496 36977 0 0 0 642 9 0 0 25 0 1 0 869256161 163864576 34592 33554432000 4194304 15243407 140733576613824 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/5407/statm: 40006 34592 901 2698 0 37301 0
[pid=5168/tid=5178] ppid=5166 vsize=323324 CPUtime=0 cores=0,2,4,6
/proc/5168/task/5178/stat : 5178 (python) S 5166 5168 4282 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 4 0 869246703 331083776 9555 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554434 18446604451257354048 0 0 -1 6 0 0 0
[pid=5168/tid=5396] ppid=5166 vsize=323324 CPUtime=0 cores=0,2,4,6
/proc/5168/task/5396/stat : 5396 (python) S 5166 5168 4282 0 -1 4202560 32 929 0 0 0 0 0 0 20 0 4 0 869251529 331083776 9555 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554434 18446604451257354048 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/5168/task/5406/stat : 5406 (python) S 5166 5168 4282 0 -1 4202560 36 929 0 0 0 0 0 0 18 0 7 0 869256160 362590208 9573 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554434 18446604451257354048 0 0 -1 4 0 0 0
[pid=5168/tid=5420] ppid=5166 vsize=354092 CPUtime=0 cores=0,2,4,6
/proc/5168/task/5420/stat : 5420 (python) S 5166 5168 4282 0 -1 4202560 28 929 0 0 0 0 0 0 23 0 7 0 869265990 362590208 9573 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554434 18446604451257354048 0 0 -1 4 0 0 0
[pid=5168/tid=5576] ppid=5166 vsize=354092 CPUtime=0 cores=0,2,4,6
/proc/5168/task/5576/stat : 5576 (python) S 5166 5168 4282 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 7 0 869334269 362590208 9573 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554434 18446604451257354048 0 0 -1 4 0 0 0
[pid=5168/tid=5583] ppid=5166 vsize=354092 CPUtime=0 cores=0,2,4,6
/proc/5168/task/5583/stat : 5583 (python) S 5166 5168 4282 0 -1 4202560 31 929 0 0 0 0 0 0 20 0 7 0 869343658 362590208 9573 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554434 18446604451257354048 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1791.14
Current children cumulated vsize (KiB) 3115860
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.2 s]
/proc/loadavg: 2.04 2.06 1.78 3/644 5623
/proc/meminfo: memFree=19634564/32951124 swapFree=58940260/67111528
[pid=5168] ppid=5166 vsize=354092 CPUtime=3.57 cores=0,2,4,6
/proc/5168/stat : 5168 (python) S 5166 5168 4282 0 -1 4202496 18822 929 1 0 345 12 0 0 18 0 7 0 869246583 362590208 9573 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/5168/statm: 88523 9573 1881 364 0 23395 0
[pid=5177] ppid=5168 vsize=302812 CPUtime=1.16 cores=0,2,4,6
/proc/5177/stat : 5177 (python) S 5168 5168 4282 0 -1 4202560 1209 0 0 0 56 60 0 0 18 0 2 0 869246703 310079488 8085 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5177/statm: 75703 8085 412 364 0 10590 0
[pid=5179] ppid=5177 vsize=38308 CPUtime=229.16 cores=0,2,4,6
/proc/5179/stat : 5179 (clasp-1.3.7-x86) T 5177 5179 5179 0 -1 4202496 9505 0 0 0 22915 1 0 0 25 0 1 0 869246703 39227392 9115 33554432000 134512640 136139019 4287517792 18446744073709551615 134883434 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/5179/statm: 9577 9115 182 398 0 9177 0
[pid=5177/tid=5394] ppid=5168 vsize=302812 CPUtime=0 cores=0,2,4,6
/proc/5177/task/5394/stat : 5394 (python) S 5168 5168 4282 0 -1 4202560 43 0 0 0 0 0 0 0 18 0 2 0 869251526 310079488 8085 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554946 18446604447621600576 0 0 -1 6 0 0 0
[pid=5395] ppid=5168 vsize=302824 CPUtime=6.65 cores=0,2,4,6
/proc/5395/stat : 5395 (python) S 5168 5168 4282 0 -1 4202560 1207 0 0 0 345 320 0 0 15 0 2 0 869251529 310091776 8069 33554432000 4194304 5683644 140737285432032 18446744073709551615 212687695430 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5395/statm: 75706 8069 396 364 0 10590 0
[pid=5397] ppid=5395 vsize=230072 CPUtime=1277.2 cores=0,2,4,6
/proc/5397/stat : 5397 (scip-2.0.1.linu) R 5395 5397 5397 0 -1 4202496 62574 0 0 0 127485 235 0 0 25 0 1 0 869251529 235593728 54110 33554432000 4194304 13684479 140737449770368 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/5397/statm: 57518 54110 844 2317 0 55196 0
[pid=5395/tid=5404] ppid=5168 vsize=302824 CPUtime=0 cores=0,2,4,6
/proc/5395/task/5404/stat : 5404 (python) S 5168 5168 4282 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 869256158 310091776 8069 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554946 18446604446017864832 0 0 -1 6 0 0 0
[pid=5405] ppid=5168 vsize=313080 CPUtime=0.49 cores=0,2,4,6
/proc/5405/stat : 5405 (python) S 5168 5168 4282 0 -1 4202560 1133 0 0 0 23 26 0 0 15 0 2 0 869256160 320593920 8073 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5405/statm: 78270 8073 396 364 0 13151 0
[pid=5407] ppid=5405 vsize=206416 CPUtime=91.89 cores=0,2,4,6
/proc/5407/stat : 5407 (scip-2.0.1.linu) T 5405 5407 5407 0 -1 4202496 71225 0 0 0 9159 30 0 0 25 0 1 0 869256161 211369984 41035 33554432000 4194304 15243407 140733576613824 18446744073709551615 8114208 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/5407/statm: 51604 41035 953 2698 0 48899 0
[pid=5405/tid=5413] ppid=5168 vsize=313080 CPUtime=0 cores=0,2,4,6
/proc/5405/task/5413/stat : 5413 (python) S 5168 5168 4282 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 2 0 869261234 320593920 8073 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554946 18446604441372449792 0 0 -1 4 0 0 0
[pid=5419] ppid=5168 vsize=323336 CPUtime=0.23 cores=0,2,4,6
/proc/5419/stat : 5419 (python) S 5168 5168 4282 0 -1 4202560 1110 0 0 0 11 12 0 0 16 0 2 0 869265990 331096064 8077 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/5419/statm: 80834 8077 396 364 0 15712 0
[pid=5421] ppid=5419 vsize=152216 CPUtime=48.79 cores=0,2,4,6
/proc/5421/stat : 5421 (minion) T 5419 5421 5421 0 -1 4202496 33502 0 0 0 4875 4 0 0 25 0 1 0 869265990 155869184 30777 33554432000 134512640 165565024 4292707296 18446744073709551615 158624694 0 0 16781312 8396802 18446744071562691360 0 0 17 6 0 0 0
/proc/5421/statm: 38054 30777 346 7582 0 30469 0
[pid=5419/tid=5425] ppid=5168 vsize=323336 CPUtime=0 cores=0,2,4,6
/proc/5419/task/5425/stat : 5425 (python) S 5168 5168 4282 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869270874 331096064 8077 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554946 18446604440637462592 0 0 -1 4 0 0 0
[pid=5575] ppid=5168 vsize=333592 CPUtime=0.45 cores=0,2,4,6
/proc/5575/stat : 5575 (python) S 5168 5168 4282 0 -1 4202560 1168 0 0 0 23 22 0 0 17 0 2 0 869334269 341598208 8081 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/5575/statm: 83398 8081 396 364 0 18273 0
[pid=5577] ppid=5575 vsize=121192 CPUtime=93.76 cores=0,2,4,6
/proc/5577/stat : 5577 (bsolo_pb10) T 5575 5577 5577 0 -1 4202496 29016 0 0 0 9360 16 0 0 25 0 1 0 869334270 124100608 27861 33554432000 134512640 137138936 4292673424 18446744073709551615 135984593 0 0 16781312 16384 18446744071562691360 0 0 17 6 0 0 0
/proc/5577/statm: 30298 27861 190 642 0 29654 0
[pid=5575/tid=5581] ppid=5168 vsize=333592 CPUtime=0 cores=0,2,4,6
/proc/5575/task/5581/stat : 5581 (python) S 5168 5168 4282 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869343656 341598208 8081 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554946 18446604451257353152 0 0 -1 4 0 0 0
[pid=5582] ppid=5168 vsize=343848 CPUtime=0.23 cores=0,2,4,6
/proc/5582/stat : 5582 (python) S 5168 5168 4282 0 -1 4202560 1164 0 0 0 13 10 0 0 16 0 2 0 869343658 352100352 8085 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5582/statm: 85962 8085 396 364 0 20834 0
[pid=5584] ppid=5582 vsize=94072 CPUtime=46.5 cores=0,2,4,6
/proc/5584/stat : 5584 (wbo1.4a) T 5582 5584 5584 0 -1 4202496 23630 0 0 0 4625 25 0 0 25 0 1 0 869343658 96329728 23002 33554432000 134512640 135751879 4287544960 18446744073709551615 134616543 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/5584/statm: 23518 23002 143 303 0 23213 0
[pid=5582/tid=5586] ppid=5168 vsize=343848 CPUtime=0 cores=0,2,4,6
/proc/5582/task/5586/stat : 5586 (python) S 5168 5168 4282 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869348310 352100352 8085 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554946 18446604446430687424 0 0 -1 6 0 0 0
[pid=5168/tid=5178] ppid=5166 vsize=354092 CPUtime=0 cores=0,2,4,6
/proc/5168/task/5178/stat : 5178 (python) S 5166 5168 4282 0 -1 4202560 36 929 0 0 0 0 0 0 18 0 7 0 869246703 362590208 9573 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554434 18446604451257354048 0 0 -1 6 0 0 0
[pid=5168/tid=5396] ppid=5166 vsize=354092 CPUtime=0 cores=0,2,4,6
/proc/5168/task/5396/stat : 5396 (python) S 5166 5168 4282 0 -1 4202560 45 929 0 0 0 0 0 0 18 0 7 0 869251529 362590208 9573 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554434 18446604451257354048 0 0 -1 4 0 0 0
[pid=5168/tid=5406] ppid=5166 vsize=354092 CPUtime=0 cores=0,2,4,6
/proc/5168/task/5406/stat : 5406 (python) S 5166 5168 4282 0 -1 4202560 36 929 0 0 0 0 0 0 18 0 7 0 869256160 362590208 9573 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554434 18446604451257354048 0 0 -1 4 0 0 0
[pid=5168/tid=5420] ppid=5166 vsize=354092 CPUtime=0 cores=0,2,4,6
/proc/5168/task/5420/stat : 5420 (python) S 5166 5168 4282 0 -1 4202560 28 929 0 0 0 0 0 0 23 0 7 0 869265990 362590208 9573 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554434 18446604451257354048 0 0 -1 4 0 0 0
[pid=5168/tid=5576] ppid=5166 vsize=354092 CPUtime=0 cores=0,2,4,6
/proc/5168/task/5576/stat : 5576 (python) S 5166 5168 4282 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 7 0 869334269 362590208 9573 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554434 18446604451257354048 0 0 -1 4 0 0 0
[pid=5168/tid=5583] ppid=5166 vsize=354092 CPUtime=0 cores=0,2,4,6
/proc/5168/task/5583/stat : 5583 (python) S 5166 5168 4282 0 -1 4202560 31 929 0 0 0 0 0 0 20 0 7 0 869343658 362590208 9573 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554434 18446604451257354048 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 3115860
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1791.2 s]
/proc/loadavg: 2.04 2.06 1.78 3/644 5623
/proc/meminfo: memFree=19634564/32951124 swapFree=58940260/67111528
[pid=5168] ppid=5166 vsize=354092 CPUtime=3.57 cores=0,2,4,6
/proc/5168/stat : 5168 (python) S 5166 5168 4282 0 -1 4202496 18822 929 1 0 345 12 0 0 18 0 7 0 869246583 362590208 9573 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/5168/statm: 88523 9573 1881 364 0 23395 0
[pid=5177] ppid=5168 vsize=302812 CPUtime=1.16 cores=0,2,4,6
/proc/5177/stat : 5177 (python) S 5168 5168 4282 0 -1 4202560 1209 0 0 0 56 60 0 0 18 0 2 0 869246703 310079488 8085 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5177/statm: 75703 8085 412 364 0 10590 0
[pid=5179] ppid=5177 vsize=38308 CPUtime=229.16 cores=0,2,4,6
/proc/5179/stat : 5179 (clasp-1.3.7-x86) T 5177 5179 5179 0 -1 4202496 9505 0 0 0 22915 1 0 0 25 0 1 0 869246703 39227392 9115 33554432000 134512640 136139019 4287517792 18446744073709551615 134883434 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/5179/statm: 9577 9115 182 398 0 9177 0
[pid=5177/tid=5394] ppid=5168 vsize=302812 CPUtime=0 cores=0,2,4,6
/proc/5177/task/5394/stat : 5394 (python) S 5168 5168 4282 0 -1 4202560 43 0 0 0 0 0 0 0 18 0 2 0 869251526 310079488 8085 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554946 18446604447621600576 0 0 -1 6 0 0 0
[pid=5395] ppid=5168 vsize=302824 CPUtime=6.65 cores=0,2,4,6
/proc/5395/stat : 5395 (python) S 5168 5168 4282 0 -1 4202560 1207 0 0 0 345 320 0 0 15 0 2 0 869251529 310091776 8069 33554432000 4194304 5683644 140737285432032 18446744073709551615 212687695430 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5395/statm: 75706 8069 396 364 0 10590 0
[pid=5397] ppid=5395 vsize=230072 CPUtime=1277.2 cores=0,2,4,6
/proc/5397/stat : 5397 (scip-2.0.1.linu) R 5395 5397 5397 0 -1 4202496 62574 0 0 0 127485 235 0 0 25 0 1 0 869251529 235593728 54110 33554432000 4194304 13684479 140737449770368 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/5397/statm: 57518 54110 844 2317 0 55196 0
[pid=5395/tid=5404] ppid=5168 vsize=302824 CPUtime=0 cores=0,2,4,6
/proc/5395/task/5404/stat : 5404 (python) S 5168 5168 4282 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 869256158 310091776 8069 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554946 18446604446017864832 0 0 -1 6 0 0 0
[pid=5405] ppid=5168 vsize=313080 CPUtime=0.49 cores=0,2,4,6
/proc/5405/stat : 5405 (python) S 5168 5168 4282 0 -1 4202560 1133 0 0 0 23 26 0 0 15 0 2 0 869256160 320593920 8073 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5405/statm: 78270 8073 396 364 0 13151 0
[pid=5407] ppid=5405 vsize=206416 CPUtime=91.89 cores=0,2,4,6
/proc/5407/stat : 5407 (scip-2.0.1.linu) T 5405 5407 5407 0 -1 4202496 71225 0 0 0 9159 30 0 0 25 0 1 0 869256161 211369984 41035 33554432000 4194304 15243407 140733576613824 18446744073709551615 8114208 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/5407/statm: 51604 41035 953 2698 0 48899 0
[pid=5405/tid=5413] ppid=5168 vsize=313080 CPUtime=0 cores=0,2,4,6
/proc/5405/task/5413/stat : 5413 (python) S 5168 5168 4282 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 2 0 869261234 320593920 8073 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554946 18446604441372449792 0 0 -1 4 0 0 0
[pid=5419] ppid=5168 vsize=323336 CPUtime=0.23 cores=0,2,4,6
/proc/5419/stat : 5419 (python) S 5168 5168 4282 0 -1 4202560 1110 0 0 0 11 12 0 0 16 0 2 0 869265990 331096064 8077 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/5419/statm: 80834 8077 396 364 0 15712 0
[pid=5421] ppid=5419 vsize=152216 CPUtime=48.79 cores=0,2,4,6
/proc/5421/stat : 5421 (minion) T 5419 5421 5421 0 -1 4202496 33502 0 0 0 4875 4 0 0 25 0 1 0 869265990 155869184 30777 33554432000 134512640 165565024 4292707296 18446744073709551615 158624694 0 0 16781312 8396802 18446744071562691360 0 0 17 6 0 0 0
/proc/5421/statm: 38054 30777 346 7582 0 30469 0
[pid=5419/tid=5425] ppid=5168 vsize=323336 CPUtime=0 cores=0,2,4,6
/proc/5419/task/5425/stat : 5425 (python) S 5168 5168 4282 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869270874 331096064 8077 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554946 18446604440637462592 0 0 -1 4 0 0 0
[pid=5575] ppid=5168 vsize=333592 CPUtime=0.45 cores=0,2,4,6
/proc/5575/stat : 5575 (python) S 5168 5168 4282 0 -1 4202560 1168 0 0 0 23 22 0 0 17 0 2 0 869334269 341598208 8081 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/5575/statm: 83398 8081 396 364 0 18273 0
[pid=5577] ppid=5575 vsize=121192 CPUtime=93.76 cores=0,2,4,6
/proc/5577/stat : 5577 (bsolo_pb10) T 5575 5577 5577 0 -1 4202496 29016 0 0 0 9360 16 0 0 25 0 1 0 869334270 124100608 27861 33554432000 134512640 137138936 4292673424 18446744073709551615 135984593 0 0 16781312 16384 18446744071562691360 0 0 17 6 0 0 0
/proc/5577/statm: 30298 27861 190 642 0 29654 0
[pid=5575/tid=5581] ppid=5168 vsize=333592 CPUtime=0 cores=0,2,4,6
/proc/5575/task/5581/stat : 5581 (python) S 5168 5168 4282 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869343656 341598208 8081 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554946 18446604451257353152 0 0 -1 4 0 0 0
[pid=5582] ppid=5168 vsize=343848 CPUtime=0.23 cores=0,2,4,6
/proc/5582/stat : 5582 (python) S 5168 5168 4282 0 -1 4202560 1164 0 0 0 13 10 0 0 16 0 2 0 869343658 352100352 8085 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5582/statm: 85962 8085 396 364 0 20834 0
[pid=5584] ppid=5582 vsize=94072 CPUtime=46.5 cores=0,2,4,6
/proc/5584/stat : 5584 (wbo1.4a) T 5582 5584 5584 0 -1 4202496 23630 0 0 0 4625 25 0 0 25 0 1 0 869343658 96329728 23002 33554432000 134512640 135751879 4287544960 18446744073709551615 134616543 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/5584/statm: 23518 23002 143 303 0 23213 0
[pid=5582/tid=5586] ppid=5168 vsize=343848 CPUtime=0 cores=0,2,4,6
/proc/5582/task/5586/stat : 5586 (python) S 5168 5168 4282 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869348310 352100352 8085 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554946 18446604446430687424 0 0 -1 6 0 0 0
[pid=5168/tid=5178] ppid=5166 vsize=354092 CPUtime=0 cores=0,2,4,6
/proc/5168/task/5178/stat : 5178 (python) S 5166 5168 4282 0 -1 4202560 36 929 0 0 0 0 0 0 18 0 7 0 869246703 362590208 9573 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554434 18446604451257354048 0 0 -1 6 0 0 0
[pid=5168/tid=5396] ppid=5166 vsize=354092 CPUtime=0 cores=0,2,4,6
/proc/5168/task/5396/stat : 5396 (python) S 5166 5168 4282 0 -1 4202560 45 929 0 0 0 0 0 0 18 0 7 0 869251529 362590208 9573 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554434 18446604451257354048 0 0 -1 4 0 0 0
[pid=5168/tid=5406] ppid=5166 vsize=354092 CPUtime=0 cores=0,2,4,6
/proc/5168/task/5406/stat : 5406 (python) S 5166 5168 4282 0 -1 4202560 36 929 0 0 0 0 0 0 18 0 7 0 869256160 362590208 9573 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554434 18446604451257354048 0 0 -1 4 0 0 0
[pid=5168/tid=5420] ppid=5166 vsize=354092 CPUtime=0 cores=0,2,4,6
/proc/5168/task/5420/stat : 5420 (python) S 5166 5168 4282 0 -1 4202560 28 929 0 0 0 0 0 0 23 0 7 0 869265990 362590208 9573 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554434 18446604451257354048 0 0 -1 4 0 0 0
[pid=5168/tid=5576] ppid=5166 vsize=354092 CPUtime=0 cores=0,2,4,6
/proc/5168/task/5576/stat : 5576 (python) S 5166 5168 4282 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 7 0 869334269 362590208 9573 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554434 18446604451257354048 0 0 -1 4 0 0 0
[pid=5168/tid=5583] ppid=5166 vsize=354092 CPUtime=0 cores=0,2,4,6
/proc/5168/task/5583/stat : 5583 (python) S 5166 5168 4282 0 -1 4202560 31 929 0 0 0 0 0 0 20 0 7 0 869343658 362590208 9573 33554432000 4194304 5683644 140737285432032 18446744073709551615 212699498929 0 0 16781312 33554434 18446604451257354048 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 3115860
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5168 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=457474
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=127980
# CPU time returned by wait4() is 3.58545
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1791.26
CPU time (s): 1800.08
CPU user time (s): 1792.35
CPU system time (s): 7.73
CPU usage (%): 100.492
Max. virtual memory (cumulated for all children) (KiB): 3115864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.45747
system time used= 0.12798
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19754
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= 1586
involuntary context switches= 36
runsolver used 12.7371 second user time and 24.5783 second system time
The end