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-3482242-1307578776/watcher-3482242-1307578776 -o /tmp/evaluation-result-3482242-1307578776/solver-3482242-1307578776 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482242-1307578776.opb -seed 512609625 -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.21 2.11 1.90 1/719 32361
/proc/meminfo: memFree=9972204/32951124 swapFree=57370024/67111528
[pid=32361] ppid=32359 vsize=16400 CPUtime=0.01 cores=1,3,5,7
/proc/32361/stat : 32361 (python) S 32359 32361 30366 0 -1 4202496 1078 0 0 0 1 0 0 0 17 0 1 0 850293189 16793600 948 33554432000 4194304 5683644 140734399002992 18446744073709551615 228095449088 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/32361/statm: 4100 948 383 364 0 587 0
[startup+0.043025 s]
/proc/loadavg: 2.21 2.11 1.90 1/719 32361
/proc/meminfo: memFree=9972204/32951124 swapFree=57370024/67111528
[pid=32361] ppid=32359 vsize=18892 CPUtime=0.02 cores=1,3,5,7
/proc/32361/stat : 32361 (python) R 32359 32361 30366 0 -1 4202496 1285 0 0 0 2 0 0 0 17 0 1 0 850293189 19345408 1137 33554432000 4194304 5683644 140734399002992 18446744073709551615 4501800 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32361/statm: 4723 1137 421 364 0 692 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18892
[startup+0.101067 s]
/proc/loadavg: 2.21 2.11 1.90 1/719 32361
/proc/meminfo: memFree=9972204/32951124 swapFree=57370024/67111528
[pid=32361] ppid=32359 vsize=94064 CPUtime=0.07 cores=1,3,5,7
/proc/32361/stat : 32361 (python) R 32359 32361 30366 0 -1 4202496 2751 0 1 0 5 2 0 0 17 0 1 0 850293189 96321536 2461 33554432000 4194304 5683644 140734399002992 18446744073709551615 228090527847 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32361/statm: 23516 2465 785 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 94064
[startup+0.30103 s]
/proc/loadavg: 2.21 2.11 1.90 1/719 32361
/proc/meminfo: memFree=9972204/32951124 swapFree=57370024/67111528
[pid=32361] ppid=32359 vsize=123744 CPUtime=0.17 cores=1,3,5,7
/proc/32361/stat : 32361 (python) S 32359 32361 30366 0 -1 4202496 5358 931 1 0 12 5 0 0 17 0 1 0 850293189 126713856 3744 33554432000 4194304 5683644 140734399002992 18446744073709551615 228095447045 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/32361/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.700935 s]
/proc/loadavg: 2.21 2.11 1.90 1/719 32361
/proc/meminfo: memFree=9972204/32951124 swapFree=57370024/67111528
[pid=32361] ppid=32359 vsize=264088 CPUtime=0.38 cores=1,3,5,7
/proc/32361/stat : 32361 (python) R 32359 32361 30366 0 -1 4202496 8444 931 1 0 26 12 0 0 15 0 1 0 850293189 270426112 6525 33554432000 4194304 5683644 140734399002992 18446744073709551615 5387026 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32361/statm: 66022 6525 1682 364 0 5219 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 264088
[startup+1.50072 s]
/proc/loadavg: 2.11 2.10 1.89 3/720 32370
/proc/meminfo: memFree=9894744/32951124 swapFree=57370024/67111528
[pid=32361] ppid=32359 vsize=318512 CPUtime=1.17 cores=1,3,5,7
/proc/32361/stat : 32361 (python) R 32359 32361 30366 0 -1 4202496 17925 931 1 0 103 14 0 0 16 0 1 0 850293189 326156288 15786 33554432000 4194304 5683644 140734399002992 18446744073709551615 4602345 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/32361/statm: 79628 15786 1781 364 0 14521 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 318512
[startup+3.10048 s]
/proc/loadavg: 2.11 2.10 1.89 3/720 32370
/proc/meminfo: memFree=9814572/32951124 swapFree=57370024/67111528
[pid=32361] ppid=32359 vsize=338272 CPUtime=2.77 cores=1,3,5,7
/proc/32361/stat : 32361 (python) R 32359 32361 30366 0 -1 4202496 32543 931 1 0 261 16 0 0 18 0 1 0 850293189 346390528 20914 33554432000 4194304 5683644 140734399002992 18446744073709551615 4623677 0 0 16781312 33554434 0 0 0 17 1 0 0 0
/proc/32361/statm: 84568 20914 1815 364 0 19461 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 338272
[startup+6.30088 s]
/proc/loadavg: 2.18 2.11 1.90 3/726 32376
/proc/meminfo: memFree=9714144/32951124 swapFree=57370024/67111528
[pid=32361] ppid=32359 vsize=354540 CPUtime=4.23 cores=1,3,5,7
/proc/32361/stat : 32361 (python) S 32359 32361 30366 0 -1 4202496 34320 931 1 0 407 16 0 0 23 0 2 0 850293189 363048960 22465 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/32361/statm: 88635 22465 1862 364 0 23522 0
[pid=32371] ppid=32361 vsize=344296 CPUtime=0 cores=1,3,5,7
/proc/32371/stat : 32371 (python) S 32361 32361 30366 0 -1 4202560 750 0 0 0 0 0 0 0 15 0 1 0 850293645 352559104 20950 33554432000 4194304 5683644 140734399002992 18446744073709551615 228095471119 0 0 16781312 33554946 11955434376319172872 0 0 17 1 0 0 0
/proc/32371/statm: 86074 20950 351 364 0 20961 0
[pid=32373] ppid=32371 vsize=58932 CPUtime=1.73 cores=1,3,5,7
/proc/32373/stat : 32373 (wbo1.4a) R 32371 32373 32373 0 -1 4202496 25136 0 0 0 171 2 0 0 25 0 1 0 850293645 60346368 13574 33554432000 134512640 135751879 4288276704 18446744073709551615 134638015 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/32373/statm: 14733 13574 145 303 0 14428 0
[pid=32361/tid=32372] ppid=32359 vsize=354540 CPUtime=0 cores=1,3,5,7
/proc/32361/task/32372/stat : 32372 (python) S 32359 32361 30366 0 -1 4202560 25 931 0 0 0 0 0 0 23 0 2 0 850293645 363048960 22465 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107274673 0 0 16781312 33554434 18446604457857661888 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 757768
[startup+12.7007 s]
/proc/loadavg: 2.33 2.14 1.91 3/726 32376
/proc/meminfo: memFree=9697088/32951124 swapFree=57370024/67111528
[pid=32361] ppid=32359 vsize=354540 CPUtime=4.23 cores=1,3,5,7
/proc/32361/stat : 32361 (python) S 32359 32361 30366 0 -1 4202496 34320 931 1 0 407 16 0 0 23 0 2 0 850293189 363048960 22465 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/32361/statm: 88635 22465 1862 364 0 23522 0
[pid=32371] ppid=32361 vsize=344296 CPUtime=0.04 cores=1,3,5,7
/proc/32371/stat : 32371 (python) S 32361 32361 30366 0 -1 4202560 910 0 0 0 2 2 0 0 15 0 1 0 850293645 352559104 20974 33554432000 4194304 5683644 140734399002992 18446744073709551615 228095471119 0 0 16781312 33554946 4294934789 0 0 17 1 0 0 0
/proc/32371/statm: 86074 20974 375 364 0 20961 0
[pid=32373] ppid=32371 vsize=62536 CPUtime=8.12 cores=1,3,5,7
/proc/32373/stat : 32373 (wbo1.4a) R 32371 32373 32373 0 -1 4202496 36332 0 0 0 806 6 0 0 25 0 1 0 850293645 64036864 14736 33554432000 134512640 135751879 4288276704 18446744073709551615 134610818 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/32373/statm: 15634 14736 146 303 0 15329 0
[pid=32361/tid=32372] ppid=32359 vsize=354540 CPUtime=0 cores=1,3,5,7
/proc/32361/task/32372/stat : 32372 (python) S 32359 32361 30366 0 -1 4202560 25 931 0 0 0 0 0 0 23 0 2 0 850293645 363048960 22465 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107274673 0 0 16781312 33554434 18446604457857661888 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 761372
[startup+25.5004 s]
/proc/loadavg: 2.28 2.14 1.91 3/726 32377
/proc/meminfo: memFree=9684208/32951124 swapFree=57370024/67111528
[pid=32361] ppid=32359 vsize=354540 CPUtime=4.23 cores=1,3,5,7
/proc/32361/stat : 32361 (python) S 32359 32361 30366 0 -1 4202496 34320 931 1 0 407 16 0 0 23 0 2 0 850293189 363048960 22465 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/32361/statm: 88635 22465 1862 364 0 23522 0
[pid=32371] ppid=32361 vsize=344296 CPUtime=0.11 cores=1,3,5,7
/proc/32371/stat : 32371 (python) S 32361 32361 30366 0 -1 4202560 917 0 0 0 6 5 0 0 16 0 1 0 850293645 352559104 20974 33554432000 4194304 5683644 140734399002992 18446744073709551615 228095471119 0 0 16781312 33554946 5623753486446373645 0 0 17 7 0 0 0
/proc/32371/statm: 86074 20974 375 364 0 20961 0
[pid=32373] ppid=32371 vsize=64152 CPUtime=20.93 cores=1,3,5,7
/proc/32373/stat : 32373 (wbo1.4a) R 32371 32373 32373 0 -1 4202496 38006 0 0 0 2080 13 0 0 25 0 1 0 850293645 65691648 15115 33554432000 134512640 135751879 4288276704 18446744073709551615 134616876 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/32373/statm: 16038 15115 146 303 0 15733 0
[pid=32361/tid=32372] ppid=32359 vsize=354540 CPUtime=0 cores=1,3,5,7
/proc/32361/task/32372/stat : 32372 (python) S 32359 32361 30366 0 -1 4202560 25 931 0 0 0 0 0 0 23 0 2 0 850293645 363048960 22465 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107274673 0 0 16781312 33554434 18446604457857661888 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 762988
[startup+51.1217 s]
/proc/loadavg: 2.17 2.12 1.91 3/730 32381
/proc/meminfo: memFree=9581976/32951124 swapFree=57370024/67111528
[pid=32361] ppid=32359 vsize=364796 CPUtime=4.26 cores=1,3,5,7
/proc/32361/stat : 32361 (python) S 32359 32361 30366 0 -1 4202496 35227 931 1 0 409 17 0 0 19 0 3 0 850293189 373551104 22480 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/32361/statm: 91199 22480 1873 364 0 26083 0
[pid=32371] ppid=32361 vsize=354540 CPUtime=0.25 cores=1,3,5,7
/proc/32371/stat : 32371 (python) S 32361 32361 30366 0 -1 4202560 1086 0 0 0 12 13 0 0 17 0 2 0 850293645 363048960 21010 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32371/statm: 88635 21010 406 364 0 23522 0
[pid=32373] ppid=32371 vsize=84248 CPUtime=46.11 cores=1,3,5,7
/proc/32373/stat : 32373 (wbo1.4a) T 32371 32373 32373 0 -1 4202496 45586 0 0 0 4588 23 0 0 25 0 1 0 850293645 86269952 20098 33554432000 134512640 135751879 4288276704 18446744073709551615 134616437 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/32373/statm: 21062 20098 146 303 0 20757 0
[pid=32371/tid=32378] ppid=32361 vsize=354540 CPUtime=0 cores=1,3,5,7
/proc/32371/task/32378/stat : 32378 (python) S 32361 32361 30366 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 850298257 363048960 21010 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107274673 0 0 16781312 33554946 18446604470817649856 0 0 -1 7 0 0 0
[pid=32379] ppid=32361 vsize=354552 CPUtime=0 cores=1,3,5,7
/proc/32379/stat : 32379 (python) S 32361 32361 30366 0 -1 4202560 761 0 0 0 0 0 0 0 19 0 1 0 850298260 363061248 20951 33554432000 4194304 5683644 140734399002992 18446744073709551615 228095471174 0 0 16781312 33554946 16994866083359850759 0 0 17 1 0 0 0
/proc/32379/statm: 88638 20951 348 364 0 23522 0
[pid=32381] ppid=32379 vsize=67416 CPUtime=0.4 cores=1,3,5,7
/proc/32381/stat : 32381 (scip-2.0.1.linu) R 32379 32381 32381 0 -1 4202496 14859 0 0 0 39 1 0 0 21 0 1 0 850298260 69033984 14585 33554432000 4194304 13684479 140736372170208 18446744073709551615 6733904 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/32381/statm: 16854 14585 513 2317 0 14532 0
[pid=32361/tid=32372] ppid=32359 vsize=364796 CPUtime=0 cores=1,3,5,7
/proc/32361/task/32372/stat : 32372 (python) S 32359 32361 30366 0 -1 4202560 25 931 0 0 0 0 0 0 23 0 3 0 850293645 373551104 22480 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107274673 0 0 16781312 33554434 18446604457857661888 0 0 -1 1 0 0 0
[pid=32361/tid=32380] ppid=32359 vsize=364796 CPUtime=0 cores=1,3,5,7
/proc/32361/task/32380/stat : 32380 (python) S 32359 32361 30366 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 3 0 850298260 373551104 22480 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107274673 0 0 16781312 33554434 18446604457857661888 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 1225552
[startup+102.301 s]
/proc/loadavg: 2.07 2.10 1.91 3/734 32387
/proc/meminfo: memFree=7610764/32951124 swapFree=57370024/67111528
[pid=32361] ppid=32359 vsize=364796 CPUtime=4.26 cores=1,3,5,7
/proc/32361/stat : 32361 (python) S 32359 32361 30366 0 -1 4202496 35227 931 1 0 409 17 0 0 19 0 3 0 850293189 373551104 22480 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/32361/statm: 91199 22480 1873 364 0 26083 0
[pid=32371] ppid=32361 vsize=354540 CPUtime=0.25 cores=1,3,5,7
/proc/32371/stat : 32371 (python) S 32361 32361 30366 0 -1 4202560 1086 0 0 0 12 13 0 0 17 0 2 0 850293645 363048960 21010 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32371/statm: 88635 21010 406 364 0 23522 0
[pid=32373] ppid=32371 vsize=84248 CPUtime=46.11 cores=1,3,5,7
/proc/32373/stat : 32373 (wbo1.4a) T 32371 32373 32373 0 -1 4202496 45586 0 0 0 4588 23 0 0 25 0 1 0 850293645 86269952 20098 33554432000 134512640 135751879 4288276704 18446744073709551615 134616437 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/32373/statm: 21062 20098 146 303 0 20757 0
[pid=32371/tid=32378] ppid=32361 vsize=354540 CPUtime=0 cores=1,3,5,7
/proc/32371/task/32378/stat : 32378 (python) S 32361 32361 30366 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 850298257 363048960 21010 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107274673 0 0 16781312 33554946 18446604470817649856 0 0 -1 7 0 0 0
[pid=32379] ppid=32361 vsize=354552 CPUtime=0.23 cores=1,3,5,7
/proc/32379/stat : 32379 (python) S 32361 32361 30366 0 -1 4202560 950 0 0 0 11 12 0 0 15 0 1 0 850298260 363061248 20975 33554432000 4194304 5683644 140734399002992 18446744073709551615 228095471174 0 0 16781312 33554946 5623753486446373645 0 0 17 7 0 0 0
/proc/32379/statm: 88638 20975 372 364 0 23522 0
[pid=32381] ppid=32379 vsize=1033444 CPUtime=51.58 cores=1,3,5,7
/proc/32381/stat : 32381 (scip-2.0.1.linu) R 32379 32381 32381 0 -1 4202496 255198 0 0 0 4953 205 0 0 25 0 1 0 850298260 1058246656 251053 33554432000 4194304 13684479 140736372170208 18446744073709551615 4880937 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/32381/statm: 258361 251053 663 2317 0 256039 0
[pid=32361/tid=32372] ppid=32359 vsize=364796 CPUtime=0 cores=1,3,5,7
/proc/32361/task/32372/stat : 32372 (python) S 32359 32361 30366 0 -1 4202560 25 931 0 0 0 0 0 0 23 0 3 0 850293645 373551104 22480 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107274673 0 0 16781312 33554434 18446604457857661888 0 0 -1 1 0 0 0
[pid=32361/tid=32380] ppid=32359 vsize=364796 CPUtime=0 cores=1,3,5,7
/proc/32361/task/32380/stat : 32380 (python) S 32359 32361 30366 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 3 0 850298260 373551104 22480 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107274673 0 0 16781312 33554434 18446604457857661888 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.43
Current children cumulated vsize (KiB) 2191580
[startup+162.301 s]
/proc/loadavg: 2.22 2.14 1.93 3/786 32440
/proc/meminfo: memFree=1829996/32951124 swapFree=57370024/67111528
[pid=32361] ppid=32359 vsize=385308 CPUtime=4.31 cores=1,3,5,7
/proc/32361/stat : 32361 (python) S 32359 32361 30366 0 -1 4202496 36971 931 1 0 414 17 0 0 20 0 5 0 850293189 394555392 22492 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/32361/statm: 96327 22492 1877 364 0 31205 0
[pid=32371] ppid=32361 vsize=354540 CPUtime=0.25 cores=1,3,5,7
/proc/32371/stat : 32371 (python) S 32361 32361 30366 0 -1 4202560 1086 0 0 0 12 13 0 0 17 0 2 0 850293645 363048960 21010 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32371/statm: 88635 21010 406 364 0 23522 0
[pid=32373] ppid=32371 vsize=84248 CPUtime=46.11 cores=1,3,5,7
/proc/32373/stat : 32373 (wbo1.4a) T 32371 32373 32373 0 -1 4202496 45586 0 0 0 4588 23 0 0 25 0 1 0 850293645 86269952 20098 33554432000 134512640 135751879 4288276704 18446744073709551615 134616437 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/32373/statm: 21062 20098 146 303 0 20757 0
[pid=32371/tid=32378] ppid=32361 vsize=354540 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=32379] ppid=32361 vsize=354552 CPUtime=0.25 cores=1,3,5,7
/proc/32379/stat : 32379 (python) S 32361 32361 30366 0 -1 4202560 1112 0 0 0 12 13 0 0 16 0 2 0 850298260 363061248 21000 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/32379/statm: 88638 21000 396 364 0 23522 0
[pid=32381] ppid=32379 vsize=1033444 CPUtime=51.99 cores=1,3,5,7
/proc/32381/stat : 32381 (scip-2.0.1.linu) T 32379 32381 32381 0 -1 4202496 255366 0 0 0 4994 205 0 0 25 0 1 0 850298260 1058246656 251221 33554432000 4194304 13684479 140736372170208 18446744073709551615 4840952 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/32381/statm: 258361 251221 663 2317 0 256039 0
[pid=32379/tid=32388] ppid=32361 vsize=354552 CPUtime=0 cores=1,3,5,7
/proc/32379/task/32388/stat : 32388 (python) S 32361 32361 30366 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 850303460 363061248 21000 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107274673 0 0 16781312 33554946 18446604467082459008 0 0 -1 3 0 0 0
[pid=32389] ppid=32361 vsize=364808 CPUtime=0.21 cores=1,3,5,7
/proc/32389/stat : 32389 (python) S 32361 32361 30366 0 -1 4202560 1091 0 0 0 10 11 0 0 16 0 2 0 850303463 373563392 21004 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/32389/statm: 91202 21004 396 364 0 26083 0
[pid=32391] ppid=32389 vsize=8540832 CPUtime=46.44 cores=1,3,5,7
/proc/32391/stat : 32391 (java) T 32389 32391 32391 0 -1 4202496 721554 0 1 0 4563 81 0 0 15 0 19 0 850303463 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32391/statm: 2135208 708243 2246 9 0 2125949 0
[pid=32391/tid=32392] ppid=32389 vsize=8540832 CPUtime=43.14 cores=1,3,5,7
/proc/32391/task/32392/stat : 32392 (java) T 32389 32391 32391 0 -1 4202560 631339 0 1 0 4247 67 0 0 25 0 19 0 850303464 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 46912506045584 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32391/tid=32393] ppid=32389 vsize=8540832 CPUtime=0.14 cores=1,3,5,7
/proc/32391/task/32393/stat : 32393 (java) T 32389 32391 32391 0 -1 4202560 9537 0 0 0 13 1 0 0 15 0 19 0 850303465 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32391/tid=32394] ppid=32389 vsize=8540832 CPUtime=0.22 cores=1,3,5,7
/proc/32391/task/32394/stat : 32394 (java) T 32389 32391 32391 0 -1 4202560 14940 0 0 0 20 2 0 0 15 0 19 0 850303465 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32391/tid=32395] ppid=32389 vsize=8540832 CPUtime=0.16 cores=1,3,5,7
/proc/32391/task/32395/stat : 32395 (java) T 32389 32391 32391 0 -1 4202560 10500 0 0 0 15 1 0 0 15 0 19 0 850303465 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32391/tid=32396] ppid=32389 vsize=8540832 CPUtime=0.19 cores=1,3,5,7
/proc/32391/task/32396/stat : 32396 (java) T 32389 32391 32391 0 -1 4202560 12729 0 0 0 18 1 0 0 15 0 19 0 850303465 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32391/tid=32397] ppid=32389 vsize=8540832 CPUtime=0.09 cores=1,3,5,7
/proc/32391/task/32397/stat : 32397 (java) T 32389 32391 32391 0 -1 4202560 5260 0 0 0 8 1 0 0 15 0 19 0 850303465 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32391/tid=32398] ppid=32389 vsize=8540832 CPUtime=0.13 cores=1,3,5,7
/proc/32391/task/32398/stat : 32398 (java) T 32389 32391 32391 0 -1 4202560 8291 0 0 0 12 1 0 0 15 0 19 0 850303465 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32391/tid=32399] ppid=32389 vsize=8540832 CPUtime=0.09 cores=1,3,5,7
/proc/32391/task/32399/stat : 32399 (java) T 32389 32391 32391 0 -1 4202560 6652 0 0 0 9 0 0 0 15 0 19 0 850303465 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32391/tid=32400] ppid=32389 vsize=8540832 CPUtime=0.1 cores=1,3,5,7
/proc/32391/task/32400/stat : 32400 (java) T 32389 32391 32391 0 -1 4202560 6342 0 0 0 10 0 0 0 15 0 19 0 850303465 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32391/tid=32401] ppid=32389 vsize=8540832 CPUtime=0 cores=1,3,5,7
/proc/32391/task/32401/stat : 32401 (java) T 32389 32391 32391 0 -1 4202560 1275 0 0 0 0 0 0 0 15 0 19 0 850303466 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107267584 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32391/tid=32402] ppid=32389 vsize=8540832 CPUtime=0 cores=1,3,5,7
/proc/32391/task/32402/stat : 32402 (java) T 32389 32391 32391 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 850303466 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32391/tid=32403] ppid=32389 vsize=8540832 CPUtime=0 cores=1,3,5,7
/proc/32391/task/32403/stat : 32403 (java) T 32389 32391 32391 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 850303466 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32391/tid=32404] ppid=32389 vsize=8540832 CPUtime=0 cores=1,3,5,7
/proc/32391/task/32404/stat : 32404 (java) T 32389 32391 32391 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850303468 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107274673 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32391/tid=32405] ppid=32389 vsize=8540832 CPUtime=1.15 cores=1,3,5,7
/proc/32391/task/32405/stat : 32405 (java) T 32389 32391 32391 0 -1 4202560 10096 0 0 0 114 1 0 0 15 0 19 0 850303468 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32391/tid=32406] ppid=32389 vsize=8540832 CPUtime=0.91 cores=1,3,5,7
/proc/32391/task/32406/stat : 32406 (java) T 32389 32391 32391 0 -1 4202560 3198 0 0 0 91 0 0 0 15 0 19 0 850303468 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32391/tid=32407] ppid=32389 vsize=8540832 CPUtime=0 cores=1,3,5,7
/proc/32391/task/32407/stat : 32407 (java) T 32389 32391 32391 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850303468 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32391/tid=32408] ppid=32389 vsize=8540832 CPUtime=0 cores=1,3,5,7
/proc/32391/task/32408/stat : 32408 (java) T 32389 32391 32391 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 850303468 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107267584 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32391/tid=32409] ppid=32389 vsize=8540832 CPUtime=0 cores=1,3,5,7
/proc/32391/task/32409/stat : 32409 (java) T 32389 32391 32391 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850303646 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107267584 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32389/tid=32433] ppid=32361 vsize=364808 CPUtime=0 cores=1,3,5,7
/proc/32389/task/32433/stat : 32433 (python) S 32361 32361 30366 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 850307820 373563392 21004 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107274673 0 0 16781312 33554946 18446604468567127936 0 0 -1 5 0 0 0
[pid=32434] ppid=32361 vsize=375064 CPUtime=8.07 cores=1,3,5,7
/proc/32434/stat : 32434 (python) S 32361 32361 30366 0 -1 4202560 1058 0 0 0 382 425 0 0 15 0 1 0 850307823 384065536 20983 33554432000 4194304 5683644 140734399002992 18446744073709551615 228095471174 0 0 16781312 33554946 5623753486446373645 0 0 17 7 0 0 0
/proc/32434/statm: 93766 20983 372 364 0 28644 0
[pid=32436] ppid=32434 vsize=1434488 CPUtime=1642.48 cores=1,3,5,7
/proc/32436/stat : 32436 (bsolo_pb10) R 32434 32436 32436 0 -1 4202496 25484791 0 0 0 161604 2644 0 0 25 0 1 0 850307823 1468915712 356010 33554432000 134512640 137138936 4288086880 18446744073709551615 134542199 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/32436/statm: 358622 356010 192 642 0 357978 0
[pid=32361/tid=32372] ppid=32359 vsize=385308 CPUtime=0 cores=1,3,5,7
/proc/32361/task/32372/stat : 32372 (python) S 32359 32361 30366 0 -1 4202560 25 931 0 0 0 0 0 0 23 0 5 0 850293645 394555392 22492 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107274673 0 0 16781312 33554434 18446604457857661888 0 0 -1 1 0 0 0
[pid=32361/tid=32380] ppid=32359 vsize=385308 CPUtime=0 cores=1,3,5,7
/proc/32361/task/32380/stat : 32380 (python) S 32359 32361 30366 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 5 0 850298260 394555392 22492 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107274673 0 0 16781312 33554434 18446604457857661888 0 0 -1 1 0 0 0
[pid=32361/tid=32390] ppid=32359 vsize=385308 CPUtime=0 cores=1,3,5,7
/proc/32361/task/32390/stat : 32390 (python) S 32359 32361 30366 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 5 0 850303463 394555392 22492 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107274673 0 0 16781312 33554434 18446604457857661888 0 0 -1 7 0 0 0
[pid=32361/tid=32435] ppid=32359 vsize=385308 CPUtime=0 cores=1,3,5,7
/proc/32361/task/32435/stat : 32435 (python) S 32359 32361 30366 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 5 0 850307823 394555392 22492 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107274673 0 0 16781312 33554434 18446604457857661888 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 12927284
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1788.8 s]
/proc/loadavg: 2.08 2.09 2.02 3/784 32487
/proc/meminfo: memFree=107184/32951124 swapFree=56822392/67111528
[pid=32361] ppid=32359 vsize=385308 CPUtime=4.31 cores=1,3,5,7
/proc/32361/stat : 32361 (python) S 32359 32361 30366 0 -1 4202496 36971 931 1 0 414 17 0 0 20 0 5 0 850293189 394555392 22492 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/32361/statm: 96327 22492 1877 364 0 31205 0
[pid=32371] ppid=32361 vsize=354540 CPUtime=0.25 cores=1,3,5,7
/proc/32371/stat : 32371 (python) S 32361 32361 30366 0 -1 4202560 1086 0 0 0 12 13 0 0 17 0 2 0 850293645 363048960 21010 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32371/statm: 88635 21010 406 364 0 23522 0
[pid=32373] ppid=32371 vsize=84248 CPUtime=46.11 cores=1,3,5,7
/proc/32373/stat : 32373 (wbo1.4a) T 32371 32373 32373 0 -1 4202496 45586 0 0 0 4588 23 0 0 25 0 1 0 850293645 86269952 20098 33554432000 134512640 135751879 4288276704 18446744073709551615 134616437 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/32373/statm: 21062 20098 146 303 0 20757 0
[pid=32371/tid=32378] ppid=32361 vsize=354540 CPUtime=0 cores=1,3,5,7
/proc/32371/task/32378/stat : 32378 (python) S 32361 32361 30366 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 850298257 363048960 21010 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107274673 0 0 16781312 33554946 18446604470817649856 0 0 -1 7 0 0 0
[pid=32379] ppid=32361 vsize=354552 CPUtime=0.25 cores=1,3,5,7
/proc/32379/stat : 32379 (python) S 32361 32361 30366 0 -1 4202560 1112 0 0 0 12 13 0 0 16 0 2 0 850298260 363061248 21000 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/32379/statm: 88638 21000 396 364 0 23522 0
[pid=32381] ppid=32379 vsize=1033444 CPUtime=51.99 cores=1,3,5,7
/proc/32381/stat : 32381 (scip-2.0.1.linu) T 32379 32381 32381 0 -1 4202496 255366 0 0 0 4994 205 0 0 25 0 1 0 850298260 1058246656 251221 33554432000 4194304 13684479 140736372170208 18446744073709551615 4840952 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/32381/statm: 258361 251221 663 2317 0 256039 0
[pid=32379/tid=32388] ppid=32361 vsize=354552 CPUtime=0 cores=1,3,5,7
/proc/32379/task/32388/stat : 32388 (python) S 32361 32361 30366 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 850303460 363061248 21000 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107274673 0 0 16781312 33554946 18446604467082459008 0 0 -1 3 0 0 0
[pid=32389] ppid=32361 vsize=364808 CPUtime=0.21 cores=1,3,5,7
/proc/32389/stat : 32389 (python) S 32361 32361 30366 0 -1 4202560 1091 0 0 0 10 11 0 0 16 0 2 0 850303463 373563392 21004 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/32389/statm: 91202 21004 396 364 0 26083 0
[pid=32391] ppid=32389 vsize=8540832 CPUtime=46.44 cores=1,3,5,7
/proc/32391/stat : 32391 (java) T 32389 32391 32391 0 -1 4202496 721554 0 1 0 4563 81 0 0 15 0 19 0 850303463 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32391/statm: 2135208 708243 2246 9 0 2125949 0
[pid=32391/tid=32392] ppid=32389 vsize=8540832 CPUtime=43.14 cores=1,3,5,7
/proc/32391/task/32392/stat : 32392 (java) T 32389 32391 32391 0 -1 4202560 631339 0 1 0 4247 67 0 0 25 0 19 0 850303464 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 46912506045584 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32391/tid=32393] ppid=32389 vsize=8540832 CPUtime=0.14 cores=1,3,5,7
/proc/32391/task/32393/stat : 32393 (java) T 32389 32391 32391 0 -1 4202560 9537 0 0 0 13 1 0 0 15 0 19 0 850303465 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32391/tid=32394] ppid=32389 vsize=8540832 CPUtime=0.22 cores=1,3,5,7
/proc/32391/task/32394/stat : 32394 (java) T 32389 32391 32391 0 -1 4202560 14940 0 0 0 20 2 0 0 15 0 19 0 850303465 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32391/tid=32395] ppid=32389 vsize=8540832 CPUtime=0.16 cores=1,3,5,7
/proc/32391/task/32395/stat : 32395 (java) T 32389 32391 32391 0 -1 4202560 10500 0 0 0 15 1 0 0 15 0 19 0 850303465 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32391/tid=32396] ppid=32389 vsize=8540832 CPUtime=0.19 cores=1,3,5,7
/proc/32391/task/32396/stat : 32396 (java) T 32389 32391 32391 0 -1 4202560 12729 0 0 0 18 1 0 0 15 0 19 0 850303465 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32391/tid=32397] ppid=32389 vsize=8540832 CPUtime=0.09 cores=1,3,5,7
/proc/32391/task/32397/stat : 32397 (java) T 32389 32391 32391 0 -1 4202560 5260 0 0 0 8 1 0 0 15 0 19 0 850303465 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32391/tid=32398] ppid=32389 vsize=8540832 CPUtime=0.13 cores=1,3,5,7
/proc/32391/task/32398/stat : 32398 (java) T 32389 32391 32391 0 -1 4202560 8291 0 0 0 12 1 0 0 15 0 19 0 850303465 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32391/tid=32399] ppid=32389 vsize=8540832 CPUtime=0.09 cores=1,3,5,7
/proc/32391/task/32399/stat : 32399 (java) T 32389 32391 32391 0 -1 4202560 6652 0 0 0 9 0 0 0 15 0 19 0 850303465 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32391/tid=32400] ppid=32389 vsize=8540832 CPUtime=0.1 cores=1,3,5,7
/proc/32391/task/32400/stat : 32400 (java) T 32389 32391 32391 0 -1 4202560 6342 0 0 0 10 0 0 0 15 0 19 0 850303465 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32391/tid=32401] ppid=32389 vsize=8540832 CPUtime=0 cores=1,3,5,7
/proc/32391/task/32401/stat : 32401 (java) T 32389 32391 32391 0 -1 4202560 1275 0 0 0 0 0 0 0 15 0 19 0 850303466 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107267584 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32391/tid=32402] ppid=32389 vsize=8540832 CPUtime=0 cores=1,3,5,7
/proc/32391/task/32402/stat : 32402 (java) T 32389 32391 32391 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 850303466 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32391/tid=32403] ppid=32389 vsize=8540832 CPUtime=0 cores=1,3,5,7
/proc/32391/task/32403/stat : 32403 (java) T 32389 32391 32391 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 850303466 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32391/tid=32404] ppid=32389 vsize=8540832 CPUtime=0 cores=1,3,5,7
/proc/32391/task/32404/stat : 32404 (java) T 32389 32391 32391 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850303468 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107274673 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32391/tid=32405] ppid=32389 vsize=8540832 CPUtime=1.15 cores=1,3,5,7
/proc/32391/task/32405/stat : 32405 (java) T 32389 32391 32391 0 -1 4202560 10096 0 0 0 114 1 0 0 15 0 19 0 850303468 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32391/tid=32406] ppid=32389 vsize=8540832 CPUtime=0.91 cores=1,3,5,7
/proc/32391/task/32406/stat : 32406 (java) T 32389 32391 32391 0 -1 4202560 3198 0 0 0 91 0 0 0 15 0 19 0 850303468 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32391/tid=32407] ppid=32389 vsize=8540832 CPUtime=0 cores=1,3,5,7
/proc/32391/task/32407/stat : 32407 (java) T 32389 32391 32391 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850303468 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32391/tid=32408] ppid=32389 vsize=8540832 CPUtime=0 cores=1,3,5,7
/proc/32391/task/32408/stat : 32408 (java) T 32389 32391 32391 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 850303468 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107267584 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32391/tid=32409] ppid=32389 vsize=8540832 CPUtime=0 cores=1,3,5,7
/proc/32391/task/32409/stat : 32409 (java) T 32389 32391 32391 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850303646 8745811968 708243 33554432000 1073741824 1073778376 140734513982480 18446744073709551615 228107267584 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32389/tid=32433] ppid=32361 vsize=364808 CPUtime=0 cores=1,3,5,7
/proc/32389/task/32433/stat : 32433 (python) S 32361 32361 30366 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 850307820 373563392 21004 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107274673 0 0 16781312 33554946 18446604468567127936 0 0 -1 5 0 0 0
[pid=32434] ppid=32361 vsize=375064 CPUtime=8.07 cores=1,3,5,7
/proc/32434/stat : 32434 (python) S 32361 32361 30366 0 -1 4202560 1058 0 0 0 382 425 0 0 15 0 1 0 850307823 384065536 20983 33554432000 4194304 5683644 140734399002992 18446744073709551615 228095471174 0 0 16781312 33554946 5623753486446373645 0 0 17 7 0 0 0
/proc/32434/statm: 93766 20983 372 364 0 28644 0
[pid=32436] ppid=32434 vsize=1434488 CPUtime=1642.48 cores=1,3,5,7
/proc/32436/stat : 32436 (bsolo_pb10) R 32434 32436 32436 0 -1 4202496 25484791 0 0 0 161604 2644 0 0 25 0 1 0 850307823 1468915712 356010 33554432000 134512640 137138936 4288086880 18446744073709551615 134542199 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/32436/statm: 358622 356010 192 642 0 357978 0
[pid=32361/tid=32372] ppid=32359 vsize=385308 CPUtime=0 cores=1,3,5,7
/proc/32361/task/32372/stat : 32372 (python) S 32359 32361 30366 0 -1 4202560 25 931 0 0 0 0 0 0 23 0 5 0 850293645 394555392 22492 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107274673 0 0 16781312 33554434 18446604457857661888 0 0 -1 1 0 0 0
[pid=32361/tid=32380] ppid=32359 vsize=385308 CPUtime=0 cores=1,3,5,7
/proc/32361/task/32380/stat : 32380 (python) S 32359 32361 30366 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 5 0 850298260 394555392 22492 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107274673 0 0 16781312 33554434 18446604457857661888 0 0 -1 1 0 0 0
[pid=32361/tid=32390] ppid=32359 vsize=385308 CPUtime=0 cores=1,3,5,7
/proc/32361/task/32390/stat : 32390 (python) S 32359 32361 30366 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 5 0 850303463 394555392 22492 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107274673 0 0 16781312 33554434 18446604457857661888 0 0 -1 7 0 0 0
[pid=32361/tid=32435] ppid=32359 vsize=385308 CPUtime=0 cores=1,3,5,7
/proc/32361/task/32435/stat : 32435 (python) S 32359 32361 30366 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 5 0 850307823 394555392 22492 33554432000 4194304 5683644 140734399002992 18446744073709551615 228107274673 0 0 16781312 33554434 18446604457857661888 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 12927284
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32361 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=143370
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=180972
# CPU time returned by wait4() is 4.32434
# while last known CPU time is 1800.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1788.86
CPU time (s): 1800.11
CPU user time (s): 1765.79
CPU system time (s): 34.32
CPU usage (%): 100.629
Max. virtual memory (cumulated for all children) (KiB): 12927284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.14337
system time used= 0.180972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37904
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= 9403
involuntary context switches= 28
runsolver used 14.6738 second user time and 35.7046 second system time
The end