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 /var/tmp/evaluation-result-3498401-1307953751/watcher-3498401-1307953751 -o /var/tmp/evaluation-result-3498401-1307953751/solver-3498401-1307953751 -C 5000 -W 5100 -M 15500 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3498401-1307953751.cnf -seed 986797289 -budget 5000
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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.99 1.74 0.95 2/188 3708
/proc/meminfo: memFree=457404/32950928 swapFree=67051812/67111528
[pid=3708] ppid=3706 vsize=15184 CPUtime=0 cores=0,2,4,6
/proc/3708/stat : 3708 (python) S 3706 3708 3431 0 -1 4202496 727 0 0 0 0 0 0 0 24 0 1 0 985605853 15548416 616 33554432000 4194304 5683644 140736360488256 18446744073709551615 260905392128 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/3708/statm: 3796 616 322 364 0 283 0
[startup+0.0855631 s]
/proc/loadavg: 1.99 1.74 0.95 2/188 3708
/proc/meminfo: memFree=457404/32950928 swapFree=67051812/67111528
[pid=3708] ppid=3706 vsize=54532 CPUtime=0.05 cores=0,2,4,6
/proc/3708/stat : 3708 (python) R 3706 3708 3431 0 -1 4202496 2047 0 0 0 4 1 0 0 24 0 1 0 985605853 55840768 1805 33554432000 4194304 5683644 140736360488256 18446744073709551615 260905392128 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3708/statm: 13633 1805 492 364 0 1283 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 54532
[startup+0.100564 s]
/proc/loadavg: 1.99 1.74 0.95 2/188 3708
/proc/meminfo: memFree=457404/32950928 swapFree=67051812/67111528
[pid=3708] ppid=3706 vsize=87700 CPUtime=0.06 cores=0,2,4,6
/proc/3708/stat : 3708 (python) S 3706 3708 3431 0 -1 4202496 2638 0 0 0 5 1 0 0 24 0 1 0 985605853 89804800 2353 33554432000 4194304 5683644 140736360488256 18446744073709551615 260900470407 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/3708/statm: 21925 2353 717 364 0 1621 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87700
[startup+0.300527 s]
/proc/loadavg: 1.99 1.74 0.95 2/188 3708
/proc/meminfo: memFree=457404/32950928 swapFree=67051812/67111528
[pid=3708] ppid=3706 vsize=135748 CPUtime=0.2 cores=0,2,4,6
/proc/3708/stat : 3708 (python) R 3706 3708 3431 0 -1 4202496 5972 935 1 0 15 5 0 0 25 0 1 0 985605853 139005952 4149 33554432000 4194304 5683644 140736360488256 18446744073709551615 260905390085 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3708/statm: 33937 4149 1032 364 0 3123 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 135748
[startup+0.700453 s]
/proc/loadavg: 1.99 1.74 0.95 2/188 3708
/proc/meminfo: memFree=457404/32950928 swapFree=67051812/67111528
[pid=3708] ppid=3706 vsize=284712 CPUtime=0.46 cores=0,2,4,6
/proc/3708/stat : 3708 (python) R 3706 3708 3431 0 -1 4202496 10820 935 1 0 35 11 0 0 25 0 1 0 985605853 291545088 8490 33554432000 4194304 5683644 140736360488256 18446744073709551615 47658764234888 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3708/statm: 71178 8490 1761 364 0 7102 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 284712
[startup+1.50037 s]
/proc/loadavg: 1.99 1.74 0.95 3/189 3713
/proc/meminfo: memFree=409588/32950928 swapFree=67051812/67111528
[pid=3708] ppid=3706 vsize=336592 CPUtime=1.26 cores=0,2,4,6
/proc/3708/stat : 3708 (python) R 3706 3708 3431 0 -1 4202496 30274 935 1 0 112 14 0 0 25 0 1 0 985605853 344670208 21522 33554432000 4194304 5683644 140736360488256 18446744073709551615 47658596083262 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3708/statm: 84148 21522 1815 364 0 20072 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 336592
[startup+3.10107 s]
/proc/loadavg: 1.99 1.74 0.95 3/189 3713
/proc/meminfo: memFree=381936/32950928 swapFree=67051812/67111528
[pid=3708] ppid=3706 vsize=332108 CPUtime=2.86 cores=0,2,4,6
/proc/3708/stat : 3708 (python) R 3706 3708 3431 0 -1 4202496 31936 935 1 0 272 14 0 0 25 0 1 0 985605853 340078592 20412 33554432000 4194304 5683644 140736360488256 18446744073709551615 47658596108169 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3708/statm: 83027 20412 1826 364 0 18951 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 332108
[startup+6.30048 s]
/proc/loadavg: 1.99 1.74 0.96 3/189 3713
/proc/meminfo: memFree=378412/32950928 swapFree=67051812/67111528
[pid=3708] ppid=3706 vsize=332108 CPUtime=6.06 cores=0,2,4,6
/proc/3708/stat : 3708 (python) R 3706 3708 3431 0 -1 4202496 31937 935 1 0 592 14 0 0 25 0 1 0 985605853 340078592 20413 33554432000 4194304 5683644 140736360488256 18446744073709551615 260905053443 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3708/statm: 83027 20413 1827 364 0 18951 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 332108
[startup+12.7003 s]
/proc/loadavg: 1.99 1.75 0.96 3/189 3714
/proc/meminfo: memFree=390960/32950928 swapFree=67051812/67111528
[pid=3708] ppid=3706 vsize=334352 CPUtime=12.46 cores=0,2,4,6
/proc/3708/stat : 3708 (python) R 3706 3708 3431 0 -1 4202496 32504 935 1 0 1232 14 0 0 25 0 1 0 985605853 342376448 20980 33554432000 4194304 5683644 140736360488256 18446744073709551615 47658593343628 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3708/statm: 83588 20980 1833 364 0 19512 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 334352
[startup+25.501 s]
/proc/loadavg: 1.99 1.76 0.98 3/192 3717
/proc/meminfo: memFree=349392/32950928 swapFree=67051812/67111528
[pid=3708] ppid=3706 vsize=340220 CPUtime=19.89 cores=0,2,4,6
/proc/3708/stat : 3708 (python) S 3706 3708 3431 0 -1 4202496 32867 935 1 0 1975 14 0 0 25 0 2 0 985605853 348385280 19918 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917220811 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3708/statm: 85055 19918 1867 364 0 20973 0
[pid=3715] ppid=3708 vsize=329976 CPUtime=0 cores=0,2,4,6
/proc/3715/stat : 3715 (python) S 3708 3708 3431 0 -1 4202560 964 0 0 0 0 0 0 0 18 0 1 0 985607866 337895424 18427 33554432000 4194304 5683644 140736360488256 18446744073709551615 260905414159 0 0 16781312 514 3229749715067175172 0 0 17 2 0 0 0
/proc/3715/statm: 82494 18427 380 364 0 18412 0
[pid=3717] ppid=3715 vsize=25872 CPUtime=5.35 cores=0,2,4,6
/proc/3717/stat : 3717 (SApperloT-base) R 3715 3717 3717 0 -1 4202496 6397 0 0 0 535 0 0 0 25 0 1 0 985607866 26492928 5847 33554432000 134512640 135674940 4292880624 18446744073709551615 134581620 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/3717/statm: 6468 5847 99 284 0 6182 0
[pid=3708/tid=3716] ppid=3706 vsize=340220 CPUtime=0 cores=0,2,4,6
/proc/3708/task/3716/stat : 3716 (python) S 3706 3708 3431 0 -1 4202560 25 935 0 0 0 0 0 0 25 0 2 0 985607866 348385280 19918 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 2 18446604453853798720 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 696068
[startup+51.1012 s]
/proc/loadavg: 1.99 1.78 1.01 3/192 3718
/proc/meminfo: memFree=316652/32950928 swapFree=67051812/67111528
[pid=3708] ppid=3706 vsize=340220 CPUtime=19.89 cores=0,2,4,6
/proc/3708/stat : 3708 (python) S 3706 3708 3431 0 -1 4202496 32867 935 1 0 1975 14 0 0 25 0 2 0 985605853 348385280 19918 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917220811 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3708/statm: 85055 19918 1867 364 0 20973 0
[pid=3715] ppid=3708 vsize=329976 CPUtime=0.02 cores=0,2,4,6
/proc/3715/stat : 3715 (python) S 3708 3708 3431 0 -1 4202560 975 0 0 0 1 1 0 0 18 0 1 0 985607866 337895424 18428 33554432000 4194304 5683644 140736360488256 18446744073709551615 260905414159 0 0 16781312 514 6808703764770291972 0 0 17 2 0 0 0
/proc/3715/statm: 82494 18428 381 364 0 18412 0
[pid=3717] ppid=3715 vsize=75576 CPUtime=30.96 cores=0,2,4,6
/proc/3717/stat : 3717 (SApperloT-base) R 3715 3717 3717 0 -1 4202496 18934 0 0 0 3093 3 0 0 25 0 1 0 985607866 77389824 18127 33554432000 134512640 135674940 4292880624 18446744073709551615 134551173 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/3717/statm: 18894 18127 99 284 0 18608 0
[pid=3708/tid=3716] ppid=3706 vsize=340220 CPUtime=0 cores=0,2,4,6
/proc/3708/task/3716/stat : 3716 (python) S 3706 3708 3431 0 -1 4202560 25 935 0 0 0 0 0 0 25 0 2 0 985607866 348385280 19918 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 2 18446604453853798720 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 745772
[startup+102.307 s]
/proc/loadavg: 1.99 1.81 1.05 3/192 3719
/proc/meminfo: memFree=217248/32950928 swapFree=67051812/67111528
[pid=3708] ppid=3706 vsize=340220 CPUtime=19.89 cores=0,2,4,6
/proc/3708/stat : 3708 (python) S 3706 3708 3431 0 -1 4202496 32867 935 1 0 1975 14 0 0 25 0 2 0 985605853 348385280 19918 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917220811 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3708/statm: 85055 19918 1867 364 0 20973 0
[pid=3715] ppid=3708 vsize=329976 CPUtime=0.09 cores=0,2,4,6
/proc/3715/stat : 3715 (python) S 3708 3708 3431 0 -1 4202560 994 0 0 0 4 5 0 0 18 0 1 0 985607866 337895424 18428 33554432000 4194304 5683644 140736360488256 18446744073709551615 260905414159 0 0 16781312 514 6808703764770291972 0 0 17 2 0 0 0
/proc/3715/statm: 82494 18428 381 364 0 18412 0
[pid=3717] ppid=3715 vsize=117664 CPUtime=82.16 cores=0,2,4,6
/proc/3717/stat : 3717 (SApperloT-base) R 3715 3717 3717 0 -1 4202496 29438 0 0 0 8212 4 0 0 25 0 1 0 985607866 120487936 28631 33554432000 134512640 135674940 4292880624 18446744073709551615 134564015 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/3717/statm: 29416 28631 100 284 0 29130 0
[pid=3708/tid=3716] ppid=3706 vsize=340220 CPUtime=0 cores=0,2,4,6
/proc/3708/task/3716/stat : 3716 (python) S 3706 3708 3431 0 -1 4202560 25 935 0 0 0 0 0 0 25 0 2 0 985607866 348385280 19918 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 2 18446604453853798720 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 787860
[startup+162.301 s]
/proc/loadavg: 1.99 1.84 1.11 3/196 3725
/proc/meminfo: memFree=123192/32950928 swapFree=67051812/67111528
[pid=3708] ppid=3706 vsize=350476 CPUtime=19.92 cores=0,2,4,6
/proc/3708/stat : 3708 (python) S 3706 3708 3431 0 -1 4202496 33628 935 1 0 1977 15 0 0 20 0 3 0 985605853 358887424 19925 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917220811 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3708/statm: 87619 19925 1870 364 0 23534 0
[pid=3715] ppid=3708 vsize=340220 CPUtime=0.11 cores=0,2,4,6
/proc/3715/stat : 3715 (python) S 3708 3708 3431 0 -1 4202560 1158 0 0 0 6 5 0 0 19 0 2 0 985607866 348385280 18466 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917220811 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/3715/statm: 85055 18466 414 364 0 20973 0
[pid=3717] ppid=3715 vsize=125620 CPUtime=100.09 cores=0,2,4,6
/proc/3717/stat : 3717 (SApperloT-base) T 3715 3717 3717 0 -1 4202496 31458 0 0 0 10005 4 0 0 25 0 1 0 985607866 128634880 30651 33554432000 134512640 135674940 4292880624 18446744073709551615 134552134 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/3717/statm: 31405 30651 100 284 0 31119 0
[pid=3715/tid=3720] ppid=3708 vsize=340220 CPUtime=0 cores=0,2,4,6
/proc/3715/task/3720/stat : 3720 (python) S 3708 3708 3431 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 985617877 348385280 18466 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 514 18446604453664677952 0 0 -1 2 0 0 0
[pid=3721] ppid=3708 vsize=340232 CPUtime=0.05 cores=0,2,4,6
/proc/3721/stat : 3721 (python) S 3708 3708 3431 0 -1 4202560 915 0 0 0 3 2 0 0 18 0 1 0 985617879 348397568 18421 33554432000 4194304 5683644 140736360488256 18446744073709551615 260905414214 0 0 16781312 514 6808703764770291972 0 0 17 2 0 0 0
/proc/3721/statm: 85058 18421 370 364 0 20973 0
[pid=3723] ppid=3721 vsize=30632 CPUtime=42.02 cores=0,2,4,6
/proc/3723/stat : 3723 (lingeling) R 3721 3723 3723 0 -1 4202496 16767 0 0 0 4201 1 0 0 25 0 1 0 985617879 31367168 6828 33554432000 4194304 4352236 140734121307056 18446744073709551615 4328000 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/3723/statm: 7658 6828 129 39 0 6738 0
[pid=3708/tid=3716] ppid=3706 vsize=350476 CPUtime=0 cores=0,2,4,6
/proc/3708/task/3716/stat : 3716 (python) S 3706 3708 3431 0 -1 4202560 25 935 0 0 0 0 0 0 25 0 3 0 985607866 358887424 19925 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 2 18446604453853798720 0 0 -1 4 0 0 0
[pid=3708/tid=3722] ppid=3706 vsize=350476 CPUtime=0 cores=0,2,4,6
/proc/3708/task/3722/stat : 3722 (python) S 3706 3708 3431 0 -1 4202560 28 935 0 0 0 0 0 0 20 0 3 0 985617879 358887424 19925 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 2 18446604453853798720 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 1187180
[startup+222.301 s]
/proc/loadavg: 2.04 1.88 1.17 3/198 3728
/proc/meminfo: memFree=104772/32950928 swapFree=67051812/67111528
[pid=3708] ppid=3706 vsize=350476 CPUtime=19.94 cores=0,2,4,6
/proc/3708/stat : 3708 (python) S 3706 3708 3431 0 -1 4202496 34154 935 1 0 1979 15 0 0 18 0 3 0 985605853 358887424 19925 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917220811 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/3708/statm: 87619 19925 1870 364 0 23534 0
[pid=3715] ppid=3708 vsize=340220 CPUtime=0.11 cores=0,2,4,6
/proc/3715/stat : 3715 (python) S 3708 3708 3431 0 -1 4202560 1158 0 0 0 6 5 0 0 19 0 2 0 985607866 348385280 18466 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917220811 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/3715/statm: 85055 18466 414 364 0 20973 0
[pid=3717] ppid=3715 vsize=125620 CPUtime=100.09 cores=0,2,4,6
/proc/3717/stat : 3717 (SApperloT-base) T 3715 3717 3717 0 -1 4202496 31458 0 0 0 10005 4 0 0 25 0 1 0 985607866 128634880 30651 33554432000 134512640 135674940 4292880624 18446744073709551615 134552134 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/3717/statm: 31405 30651 100 284 0 31119 0
[pid=3715/tid=3720] ppid=3708 vsize=340220 CPUtime=0 cores=0,2,4,6
/proc/3715/task/3720/stat : 3720 (python) S 3708 3708 3431 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 985617877 348385280 18466 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 514 18446604453664677952 0 0 -1 2 0 0 0
[pid=3721] ppid=3708 vsize=340232 CPUtime=0.12 cores=0,2,4,6
/proc/3721/stat : 3721 (python) S 3708 3708 3431 0 -1 4202560 1092 0 0 0 7 5 0 0 18 0 2 0 985617879 348397568 18451 33554432000 4194304 5683644 140736360488256 18446744073709551615 260905414214 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/3721/statm: 85058 18451 399 364 0 20973 0
[pid=3723] ppid=3721 vsize=30624 CPUtime=102 cores=0,2,4,6
/proc/3723/stat : 3723 (lingeling) R 3721 3723 3723 0 -1 4202496 16767 0 0 0 10198 2 0 0 25 0 1 0 985617879 31358976 6826 33554432000 4194304 4352236 140734121307056 18446744073709551615 4233979 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/3723/statm: 7656 6826 129 39 0 6736 0
[pid=3721/tid=3728] ppid=3708 vsize=340232 CPUtime=0 cores=0,2,4,6
/proc/3721/task/3728/stat : 3728 (python) S 3708 3708 3431 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 985627890 348397568 18451 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 514 18446604453876008768 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=3865] ppid=3708 vsize=381256 CPUtime=0.52 cores=0,2,4,6
/proc/3865/stat : 3865 (python) S 3708 3708 3431 0 -1 4202560 1139 0 0 0 31 21 0 0 19 0 2 0 986007363 390406144 18467 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917220811 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/3865/statm: 95314 18467 399 364 0 31217 0
[pid=3867] ppid=3865 vsize=160588 CPUtime=393.46 cores=0,2,4,6
/proc/3867/stat : 3867 (precosat) T 3865 3867 3867 0 -1 4202496 80374 0 0 0 39336 10 0 0 25 0 1 0 986007364 164442112 39217 33554432000 4194304 4890832 140736220296544 18446744073709551615 4238599 0 0 16781312 17442 18446744071562691360 0 0 17 4 0 0 0
/proc/3867/statm: 40147 39217 86 171 0 39974 0
[pid=3865/tid=3882] ppid=3708 vsize=381256 CPUtime=0 cores=0,2,4,6
/proc/3865/task/3882/stat : 3882 (python) S 3708 3708 3431 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 986046711 390406144 18467 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 514 18446604453985337408 0 0 -1 4 0 0 0
[pid=3883] ppid=3708 vsize=391512 CPUtime=0.34 cores=0,2,4,6
/proc/3883/stat : 3883 (python) S 3708 3708 3431 0 -1 4202560 1137 0 0 0 18 16 0 0 19 0 2 0 986046712 400908288 18471 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917220811 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/3883/statm: 97878 18471 399 364 0 33778 0
[pid=3885] ppid=3883 vsize=46784 CPUtime=292.29 cores=0,2,4,6
/proc/3885/stat : 3885 (lingeling) T 3883 3885 3885 0 -1 4202496 21070 0 0 0 29226 3 0 0 25 0 1 0 986046712 47906816 10866 33554432000 4194304 4352236 140735515154400 18446744073709551615 4328039 0 0 16781312 17506 18446744071562691360 0 0 17 0 0 0 0
/proc/3885/statm: 11696 10866 129 39 0 10776 0
[pid=3883/tid=3919] ppid=3708 vsize=391512 CPUtime=0 cores=0,2,4,6
/proc/3883/task/3919/stat : 3919 (python) S 3708 3708 3431 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 986075943 400908288 18471 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 514 18446604453860911872 0 0 -1 4 0 0 0
[pid=3920] ppid=3708 vsize=401768 CPUtime=0.24 cores=0,2,4,6
/proc/3920/stat : 3920 (python) S 3708 3708 3431 0 -1 4202560 1181 0 0 0 15 9 0 0 19 0 2 0 986075944 411410432 18481 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917220811 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/3920/statm: 100442 18481 405 364 0 36339 0
[pid=3922] ppid=3920 vsize=138476 CPUtime=196.21 cores=0,2,4,6
/proc/3922/stat : 3922 (precosat) T 3920 3922 3922 0 -1 4202496 69061 0 0 0 19613 8 0 0 25 0 1 0 986075944 141799424 33784 33554432000 4194304 4890832 140733643987648 18446744073709551615 4219718 0 0 16781312 17442 18446744071562691360 0 0 17 0 0 0 0
/proc/3922/statm: 34619 33784 86 171 0 34446 0
[pid=3920/tid=3928] ppid=3708 vsize=401768 CPUtime=0 cores=0,2,4,6
/proc/3920/task/3928/stat : 3928 (python) S 3708 3708 3431 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 986095567 411410432 18481 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 514 18446604453844882688 0 0 -1 6 0 0 0
[pid=3929] ppid=3708 vsize=412024 CPUtime=0.08 cores=0,2,4,6
/proc/3929/stat : 3929 (python) S 3708 3708 3431 0 -1 4202560 941 0 0 0 5 3 0 0 15 0 1 0 986095568 421912576 18449 33554432000 4194304 5683644 140736360488256 18446744073709551615 260905414214 0 0 16781312 514 3145790732292292866 0 0 17 0 0 0 0
/proc/3929/statm: 103006 18449 370 364 0 38900 0
[pid=3931] ppid=3929 vsize=1217336 CPUtime=65.11 cores=0,2,4,6
/proc/3931/stat : 3931 (cryptominisat-2) R 3929 3931 3931 0 -1 4202496 242477 0 0 0 6481 30 0 0 25 0 1 0 986095568 1246552064 235821 33554432000 4194304 4677096 140734638854448 18446744073709551615 4346487 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3931/statm: 304334 235821 391 118 0 299293 0
[pid=3708/tid=3716] ppid=3706 vsize=422268 CPUtime=0 cores=0,2,4,6
/proc/3708/task/3716/stat : 3716 (python) S 3706 3708 3431 0 -1 4202560 25 935 0 0 0 0 0 0 25 0 10 0 985607866 432402432 19975 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 2 18446604453853798720 0 0 -1 4 0 0 0
[pid=3708/tid=3722] ppid=3706 vsize=422268 CPUtime=0 cores=0,2,4,6
/proc/3708/task/3722/stat : 3722 (python) S 3706 3708 3431 0 -1 4202560 29 935 0 0 0 0 0 0 18 0 10 0 985617879 432402432 19975 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 2 18446604453853798720 0 0 -1 6 0 0 0
[pid=3708/tid=3772] ppid=3706 vsize=422268 CPUtime=0 cores=0,2,4,6
/proc/3708/task/3772/stat : 3772 (python) S 3706 3708 3431 0 -1 4202560 25 935 0 0 0 0 0 0 20 0 10 0 985744310 432402432 19975 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 2 18446604453853798720 0 0 -1 6 0 0 0
[pid=3708/tid=3832] ppid=3706 vsize=422268 CPUtime=0 cores=0,2,4,6
/proc/3708/task/3832/stat : 3832 (python) S 3706 3708 3431 0 -1 4202560 34 935 0 0 0 0 0 0 18 0 10 0 985909932 432402432 19975 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 2 18446604453853798720 0 0 -1 6 0 0 0
[pid=3708/tid=3844] ppid=3706 vsize=422268 CPUtime=0 cores=0,2,4,6
/proc/3708/task/3844/stat : 3844 (python) S 3706 3708 3431 0 -1 4202560 30 935 0 0 0 0 0 0 18 0 10 0 985939168 432402432 19975 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 2 18446604453853798720 0 0 -1 0 0 0 0
[pid=3708/tid=3866] ppid=3706 vsize=422268 CPUtime=0 cores=0,2,4,6
/proc/3708/task/3866/stat : 3866 (python) S 3706 3708 3431 0 -1 4202560 30 935 0 0 0 0 0 0 20 0 10 0 986007364 432402432 19975 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 2 18446604453853798720 0 0 -1 6 0 0 0
[pid=3708/tid=3884] ppid=3706 vsize=422268 CPUtime=0 cores=0,2,4,6
/proc/3708/task/3884/stat : 3884 (python) S 3706 3708 3431 0 -1 4202560 27 935 0 0 0 0 0 0 20 0 10 0 986046712 432402432 19975 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 2 18446604453853798720 0 0 -1 6 0 0 0
[pid=3708/tid=3921] ppid=3706 vsize=422268 CPUtime=0 cores=0,2,4,6
/proc/3708/task/3921/stat : 3921 (python) S 3706 3708 3431 0 -1 4202560 28 935 0 0 0 0 0 0 20 0 10 0 986075944 432402432 19975 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 2 18446604453853798720 0 0 -1 0 0 0 0
[pid=3708/tid=3930] ppid=3706 vsize=422268 CPUtime=0 cores=0,2,4,6
/proc/3708/task/3930/stat : 3930 (python) S 3706 3708 3431 0 -1 4202560 26 935 0 0 0 0 0 0 20 0 10 0 986095568 432402432 19975 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 2 18446604453853798720 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4968.35
Current children cumulated vsize (KiB) 8276632
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+4994.01 s]
/proc/loadavg: 1.00 1.17 1.52 2/207 3933
/proc/meminfo: memFree=7428720/32950928 swapFree=67051812/67111528
[pid=3708] ppid=3706 vsize=422268 CPUtime=20.04 cores=0,2,4,6
/proc/3708/stat : 3708 (python) S 3706 3708 3431 0 -1 4202496 39502 935 1 0 1987 17 0 0 20 0 10 0 985605853 432402432 19975 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917220811 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/3708/statm: 105567 19975 1892 364 0 41461 0
[pid=3715] ppid=3708 vsize=340220 CPUtime=0.11 cores=0,2,4,6
/proc/3715/stat : 3715 (python) S 3708 3708 3431 0 -1 4202560 1158 0 0 0 6 5 0 0 19 0 2 0 985607866 348385280 18466 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917220811 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/3715/statm: 85055 18466 414 364 0 20973 0
[pid=3717] ppid=3715 vsize=125620 CPUtime=100.09 cores=0,2,4,6
/proc/3717/stat : 3717 (SApperloT-base) T 3715 3717 3717 0 -1 4202496 31458 0 0 0 10005 4 0 0 25 0 1 0 985607866 128634880 30651 33554432000 134512640 135674940 4292880624 18446744073709551615 134552134 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/3717/statm: 31405 30651 100 284 0 31119 0
[pid=3715/tid=3720] ppid=3708 vsize=340220 CPUtime=0 cores=0,2,4,6
/proc/3715/task/3720/stat : 3720 (python) S 3708 3708 3431 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 985617877 348385280 18466 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 514 18446604453664677952 0 0 -1 2 0 0 0
[pid=3721] ppid=3708 vsize=340232 CPUtime=1.47 cores=0,2,4,6
/proc/3721/stat : 3721 (python) S 3708 3708 3431 0 -1 4202560 1132 0 0 0 80 67 0 0 18 0 2 0 985617879 348397568 18451 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917220811 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/3721/statm: 85058 18451 399 364 0 20973 0
[pid=3723] ppid=3721 vsize=89508 CPUtime=1264.29 cores=0,2,4,6
/proc/3723/stat : 3723 (lingeling) T 3721 3723 3723 0 -1 4202496 54016 0 0 0 126422 7 0 0 25 0 1 0 985617879 91656192 21547 33554432000 4194304 4352236 140734121307056 18446744073709551615 4207627 0 0 16781312 17506 18446744071562691360 0 0 17 4 0 0 0
/proc/3723/statm: 22377 21547 129 39 0 21457 0
[pid=3721/tid=3728] ppid=3708 vsize=340232 CPUtime=0 cores=0,2,4,6
/proc/3721/task/3728/stat : 3728 (python) S 3708 3708 3431 0 -1 4202560 45 0 0 0 0 0 0 0 18 0 2 0 985627890 348397568 18451 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 514 18446604453876008768 0 0 -1 2 0 0 0
[pid=3771] ppid=3708 vsize=350488 CPUtime=2.42 cores=0,2,4,6
/proc/3771/stat : 3771 (python) S 3708 3708 3431 0 -1 4202560 1167 0 0 0 134 108 0 0 16 0 2 0 985744310 358899712 18455 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917220811 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/3771/statm: 87622 18455 399 364 0 23534 0
[pid=3773] ppid=3771 vsize=1329864 CPUtime=1656.03 cores=0,2,4,6
/proc/3773/stat : 3773 (cryptominisat-2) T 3771 3773 3773 0 -1 4202496 628187 0 0 0 165477 126 0 0 25 0 1 0 985744311 1361780736 271006 33554432000 4194304 4677096 140735280665936 18446744073709551615 4319729 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/3773/statm: 332466 271006 391 118 0 327425 0
[pid=3771/tid=3830] ppid=3708 vsize=350488 CPUtime=0 cores=0,2,4,6
/proc/3771/task/3830/stat : 3830 (python) S 3708 3708 3431 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 985909931 358899712 18455 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 514 18446604453873586432 0 0 -1 4 0 0 0
[pid=3831] ppid=3708 vsize=360744 CPUtime=0.52 cores=0,2,4,6
/proc/3831/stat : 3831 (python) S 3708 3708 3431 0 -1 4202560 1142 0 0 0 31 21 0 0 18 0 2 0 985909932 369401856 18459 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917220811 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/3831/statm: 90186 18459 399 364 0 26095 0
[pid=3833] ppid=3831 vsize=36932 CPUtime=389.43 cores=0,2,4,6
/proc/3833/stat : 3833 (lingeling) T 3831 3833 3833 0 -1 4202496 20398 0 0 0 38941 2 0 0 25 0 1 0 985909933 37818368 8403 33554432000 4194304 4352236 140736844692064 18446744073709551615 4281201 0 0 16781312 17506 18446744071562691360 0 0 17 0 0 0 0
/proc/3833/statm: 9233 8403 129 39 0 8313 0
[pid=3831/tid=3842] ppid=3708 vsize=360744 CPUtime=0 cores=0,2,4,6
/proc/3831/task/3842/stat : 3842 (python) S 3708 3708 3431 0 -1 4202560 48 0 0 0 0 0 0 0 18 0 2 0 985939167 369401856 18459 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 514 18446604453984474944 0 0 -1 2 0 0 0
[pid=3843] ppid=3708 vsize=371000 CPUtime=0.89 cores=0,2,4,6
/proc/3843/stat : 3843 (python) S 3708 3708 3431 0 -1 4202560 1185 0 0 0 50 39 0 0 15 0 2 0 985939168 379904000 18464 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917220811 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/3843/statm: 92750 18464 400 364 0 28656 0
[pid=3845] ppid=3843 vsize=1360012 CPUtime=584.81 cores=0,2,4,6
/proc/3845/stat : 3845 (cryptominisat-2) T 3843 3845 3845 0 -1 4202496 401817 0 0 0 58415 66 0 0 25 0 1 0 985939168 1392652288 270141 33554432000 4194304 4677096 140735936629200 18446744073709551615 4319550 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/3845/statm: 340003 270141 391 118 0 334962 0
[pid=3843/tid=3859] ppid=3708 vsize=371000 CPUtime=0 cores=0,2,4,6
/proc/3843/task/3859/stat : 3859 (python) S 3708 3708 3431 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 985988191 379904000 18464 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 514 18446604440279306368 0 0 -1 6 0 0 0
[pid=3865] ppid=3708 vsize=381256 CPUtime=0.52 cores=0,2,4,6
/proc/3865/stat : 3865 (python) S 3708 3708 3431 0 -1 4202560 1139 0 0 0 31 21 0 0 19 0 2 0 986007363 390406144 18467 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917220811 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/3865/statm: 95314 18467 399 364 0 31217 0
[pid=3867] ppid=3865 vsize=160588 CPUtime=393.46 cores=0,2,4,6
/proc/3867/stat : 3867 (precosat) T 3865 3867 3867 0 -1 4202496 80374 0 0 0 39336 10 0 0 25 0 1 0 986007364 164442112 39217 33554432000 4194304 4890832 140736220296544 18446744073709551615 4238599 0 0 16781312 17442 18446744071562691360 0 0 17 4 0 0 0
/proc/3867/statm: 40147 39217 86 171 0 39974 0
[pid=3865/tid=3882] ppid=3708 vsize=381256 CPUtime=0 cores=0,2,4,6
/proc/3865/task/3882/stat : 3882 (python) S 3708 3708 3431 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 986046711 390406144 18467 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 514 18446604453985337408 0 0 -1 4 0 0 0
[pid=3883] ppid=3708 vsize=391512 CPUtime=0.34 cores=0,2,4,6
/proc/3883/stat : 3883 (python) S 3708 3708 3431 0 -1 4202560 1137 0 0 0 18 16 0 0 19 0 2 0 986046712 400908288 18471 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917220811 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/3883/statm: 97878 18471 399 364 0 33778 0
[pid=3885] ppid=3883 vsize=46784 CPUtime=292.29 cores=0,2,4,6
/proc/3885/stat : 3885 (lingeling) T 3883 3885 3885 0 -1 4202496 21070 0 0 0 29226 3 0 0 25 0 1 0 986046712 47906816 10866 33554432000 4194304 4352236 140735515154400 18446744073709551615 4328039 0 0 16781312 17506 18446744071562691360 0 0 17 0 0 0 0
/proc/3885/statm: 11696 10866 129 39 0 10776 0
[pid=3883/tid=3919] ppid=3708 vsize=391512 CPUtime=0 cores=0,2,4,6
/proc/3883/task/3919/stat : 3919 (python) S 3708 3708 3431 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 986075943 400908288 18471 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 514 18446604453860911872 0 0 -1 4 0 0 0
[pid=3920] ppid=3708 vsize=401768 CPUtime=0.24 cores=0,2,4,6
/proc/3920/stat : 3920 (python) S 3708 3708 3431 0 -1 4202560 1181 0 0 0 15 9 0 0 19 0 2 0 986075944 411410432 18481 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917220811 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/3920/statm: 100442 18481 405 364 0 36339 0
[pid=3922] ppid=3920 vsize=138476 CPUtime=196.21 cores=0,2,4,6
/proc/3922/stat : 3922 (precosat) T 3920 3922 3922 0 -1 4202496 69061 0 0 0 19613 8 0 0 25 0 1 0 986075944 141799424 33784 33554432000 4194304 4890832 140733643987648 18446744073709551615 4219718 0 0 16781312 17442 18446744071562691360 0 0 17 0 0 0 0
/proc/3922/statm: 34619 33784 86 171 0 34446 0
[pid=3920/tid=3928] ppid=3708 vsize=401768 CPUtime=0 cores=0,2,4,6
/proc/3920/task/3928/stat : 3928 (python) S 3708 3708 3431 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 986095567 411410432 18481 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 514 18446604453844882688 0 0 -1 6 0 0 0
[pid=3929] ppid=3708 vsize=412024 CPUtime=0.14 cores=0,2,4,6
/proc/3929/stat : 3929 (python) S 3708 3708 3431 0 -1 4202560 956 0 0 0 8 6 0 0 15 0 1 0 986095568 421912576 18449 33554432000 4194304 5683644 140736360488256 18446744073709551615 260905414214 0 0 16781312 514 3145790732292292866 0 0 17 0 0 0 0
/proc/3929/statm: 103006 18449 370 364 0 38900 0
[pid=3931] ppid=3929 vsize=1251584 CPUtime=96.79 cores=0,2,4,6
/proc/3931/stat : 3931 (cryptominisat-2) R 3929 3931 3931 0 -1 4202496 250067 0 0 0 9647 32 0 0 25 0 1 0 986095568 1281622016 243407 33554432000 4194304 4677096 140734638854448 18446744073709551615 4564169 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3931/statm: 312896 243407 391 118 0 307855 0
[pid=3708/tid=3716] ppid=3706 vsize=422268 CPUtime=0 cores=0,2,4,6
/proc/3708/task/3716/stat : 3716 (python) S 3706 3708 3431 0 -1 4202560 25 935 0 0 0 0 0 0 25 0 10 0 985607866 432402432 19975 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 2 18446604453853798720 0 0 -1 4 0 0 0
[pid=3708/tid=3722] ppid=3706 vsize=422268 CPUtime=0 cores=0,2,4,6
/proc/3708/task/3722/stat : 3722 (python) S 3706 3708 3431 0 -1 4202560 29 935 0 0 0 0 0 0 18 0 10 0 985617879 432402432 19975 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 2 18446604453853798720 0 0 -1 6 0 0 0
[pid=3708/tid=3772] ppid=3706 vsize=422268 CPUtime=0 cores=0,2,4,6
/proc/3708/task/3772/stat : 3772 (python) S 3706 3708 3431 0 -1 4202560 25 935 0 0 0 0 0 0 20 0 10 0 985744310 432402432 19975 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 2 18446604453853798720 0 0 -1 6 0 0 0
[pid=3708/tid=3832] ppid=3706 vsize=422268 CPUtime=0 cores=0,2,4,6
/proc/3708/task/3832/stat : 3832 (python) S 3706 3708 3431 0 -1 4202560 34 935 0 0 0 0 0 0 18 0 10 0 985909932 432402432 19975 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 2 18446604453853798720 0 0 -1 6 0 0 0
[pid=3708/tid=3844] ppid=3706 vsize=422268 CPUtime=0 cores=0,2,4,6
/proc/3708/task/3844/stat : 3844 (python) S 3706 3708 3431 0 -1 4202560 30 935 0 0 0 0 0 0 18 0 10 0 985939168 432402432 19975 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 2 18446604453853798720 0 0 -1 0 0 0 0
[pid=3708/tid=3866] ppid=3706 vsize=422268 CPUtime=0 cores=0,2,4,6
/proc/3708/task/3866/stat : 3866 (python) S 3706 3708 3431 0 -1 4202560 30 935 0 0 0 0 0 0 20 0 10 0 986007364 432402432 19975 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 2 18446604453853798720 0 0 -1 6 0 0 0
[pid=3708/tid=3884] ppid=3706 vsize=422268 CPUtime=0 cores=0,2,4,6
/proc/3708/task/3884/stat : 3884 (python) S 3706 3708 3431 0 -1 4202560 27 935 0 0 0 0 0 0 20 0 10 0 986046712 432402432 19975 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 2 18446604453853798720 0 0 -1 6 0 0 0
[pid=3708/tid=3921] ppid=3706 vsize=422268 CPUtime=0 cores=0,2,4,6
/proc/3708/task/3921/stat : 3921 (python) S 3706 3708 3431 0 -1 4202560 28 935 0 0 0 0 0 0 20 0 10 0 986075944 432402432 19975 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 2 18446604453853798720 0 0 -1 0 0 0 0
[pid=3708/tid=3930] ppid=3706 vsize=422268 CPUtime=0 cores=0,2,4,6
/proc/3708/task/3930/stat : 3930 (python) S 3706 3708 3431 0 -1 4202560 26 935 0 0 0 0 0 0 20 0 10 0 986095568 432402432 19975 33554432000 4194304 5683644 140736360488256 18446744073709551615 260917217713 0 0 16781312 2 18446604453853798720 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5000.09
Current children cumulated vsize (KiB) 8310880
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3708 and gives
# childrusage.ru_utime.tv_sec=19
# childrusage.ru_utime.tv_usec=875978
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=179972
# CPU time returned by wait4() is 20.056
# while last known CPU time is 5000.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 4994.07
CPU time (s): 5000.09
CPU user time (s): 4994.42
CPU system time (s): 5.67
CPU usage (%): 100.121
Max. virtual memory (cumulated for all children) (KiB): 8310880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.876
system time used= 0.179972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40443
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= 2879
involuntary context switches= 80
runsolver used 10.0295 second user time and 21.1888 second system time
The end