0.02/0.07 c file: /tmp/evaluation/460663-1179250406/instance-460663-1179250406.aig
0.02/0.07 c Reading aig format..
0.02/0.07 c MAXVAR 3366
0.02/0.07 c INPUTS 233
0.02/0.07 c LATCHES 0
0.02/0.07 c OUTPUTS 1
0.02/0.07 c AND 3133
0.02/0.07 c Before initialization time (seconds) 0.074988
0.02/0.07 c Memory used (in MB): 4
0.19/0.30 c Pre-processing followed by bcp (no decisions) assigned 0 vars
0.19/0.30 c DBreduced=0 GV=1028[0] GL=3399[ 2041,1358] HP=331 Prune=6553 decisions=2712 restart=7 est=0.0374839 HP Impl=[8678, 5629] DB Impl=176890[0] varReasonNeeded[80290]
0.19/0.30 c Memory used (in MB): 4.48438
0.29/0.36 c DBreduced=1 GV=1278[0] GL=3502[ 2041,1461] HP=431 Prune=7989 decisions=3323 restart=8 est=0.036846 HP Impl=[11105, 6710] DB Impl=228879[0] varReasonNeeded[103933]
0.29/0.36 c Memory used (in MB): 4.55469
0.29/0.38 c DBreduced=2 GV=1384[0] GL=3628[ 2041,1587] HP=453 Prune=8405 decisions=3474 restart=8 est=0.036846 HP Impl=[11424, 6953] DB Impl=239717[0] varReasonNeeded[106544]
0.29/0.38 c Memory used (in MB): 4.57422
0.49/0.50 c DBreduced=3 GV=2101[0] GL=3806[ 2041,1765] HP=627 Prune=11882 decisions=4907 restart=9 est=0.0375651 HP Impl=[15412, 9215] DB Impl=338916[0] varReasonNeeded[141209]
0.49/0.50 c Memory used (in MB): 4.60156
0.59/0.67 c DBreduced=4 GV=2867[0] GL=4118[ 2041,2077] HP=831 Prune=15450 decisions=6421 restart=9 est=0.0375651 HP Impl=[20824, 11447] DB Impl=459317[0] varReasonNeeded[193237]
0.59/0.67 c Memory used (in MB): 5.08594
0.79/0.81 c DBreduced=5 GV=3514[0] GL=4192[ 2041,2151] HP=988 Prune=17990 decisions=7418 restart=10 est=0.184691 HP Impl=[23974, 12827] DB Impl=567916[0] varReasonNeeded[226342]
0.79/0.81 c Memory used (in MB): 5.11719
0.89/0.98 c DBreduced=6 GV=4473[0] GL=4458[ 2041,2417] HP=1113 Prune=21164 decisions=8818 restart=10 est=0.184691 HP Impl=[27834, 14105] DB Impl=697422[0] varReasonNeeded[271860]
0.89/0.98 c Memory used (in MB): 5.14844
1.09/1.16 c DBreduced=7 GV=5282[0] GL=4676[ 2041,2635] HP=1263 Prune=24496 decisions=10335 restart=11 est=0.184759 HP Impl=[32619, 15900] DB Impl=827699[0] varReasonNeeded[324420]
1.09/1.16 c Memory used (in MB): 5.22656
1.39/1.40 c DBreduced=8 GV=6161[0] GL=4822[ 2041,2781] HP=1467 Prune=28448 decisions=11990 restart=11 est=0.184759 HP Impl=[40305, 18525] DB Impl=1001392[0] varReasonNeeded[394380]
1.39/1.40 c Memory used (in MB): 5.25391
1.49/1.59 c DBreduced=9 GV=7092[0] GL=4936[ 2041,2895] HP=1558 Prune=31976 decisions=13402 restart=12 est=0.184176 HP Impl=[45664, 20659] DB Impl=1161439[0] varReasonNeeded[442144]
1.49/1.59 c Memory used (in MB): 5.28906
1.79/1.80 c DBreduced=10 GV=8370[0] GL=5383[ 2041,3342] HP=1730 Prune=36260 decisions=15409 restart=12 est=0.184176 HP Impl=[50037, 21948] DB Impl=1296606[0] varReasonNeeded[496662]
1.79/1.80 c Memory used (in MB): 5.32812
1.99/2.07 c DBreduced=11 GV=9585[0] GL=5792[ 2041,3751] HP=1946 Prune=40525 decisions=17380 restart=12 est=0.184176 HP Impl=[55918, 23724] DB Impl=1469752[0] varReasonNeeded[562869]
1.99/2.07 c Memory used (in MB): 5.41016
2.29/2.33 c DBreduced=12 GV=10876[0] GL=5940[ 2041,3899] HP=2099 Prune=44585 decisions=19196 restart=13 est=0.184745 HP Impl=[61179, 25235] DB Impl=1632884[0] varReasonNeeded[621244]
2.29/2.33 c Memory used (in MB): 5.49219
2.59/2.64 c DBreduced=13 GV=12316[0] GL=6301[ 2041,4260] HP=2261 Prune=49802 decisions=21509 restart=13 est=0.184745 HP Impl=[68703, 27694] DB Impl=1850237[0] varReasonNeeded[702369]
2.59/2.64 c Memory used (in MB): 5.57031
2.99/3.07 c DBreduced=14 GV=14151[0] GL=6843[ 2041,4802] HP=2520 Prune=56343 decisions=24464 restart=13 est=0.184745 HP Impl=[78904, 30572] DB Impl=2142288[0] varReasonNeeded[805817]
2.99/3.07 c Memory used (in MB): 5.73438
3.39/3.48 c DBreduced=15 GV=15818[0] GL=7317[ 2041,5276] HP=2712 Prune=61832 decisions=27065 restart=13 est=0.184745 HP Impl=[86733, 32319] DB Impl=2408429[0] varReasonNeeded[895674]
3.39/3.48 c Memory used (in MB): 5.87891
3.79/3.89 c DBreduced=16 GV=17646[0] GL=7869[ 2041,5828] HP=2983 Prune=68113 decisions=29899 restart=14 est=0.221686 HP Impl=[94539, 34686] DB Impl=2661399[0] varReasonNeeded[981767]
3.79/3.89 c Memory used (in MB): 6.03516
4.29/4.37 c DBreduced=17 GV=19903[0] GL=8454[ 2041,6413] HP=3181 Prune=74919 decisions=33071 restart=14 est=0.221686 HP Impl=[100937, 36516] DB Impl=2924339[0] varReasonNeeded[1069555]
4.29/4.37 c Memory used (in MB): 7.29688
4.79/4.86 c DBreduced=18 GV=22337[0] GL=8996[ 2041,6955] HP=3359 Prune=81706 decisions=36259 restart=14 est=0.221686 HP Impl=[106130, 37870] DB Impl=3190996[0] varReasonNeeded[1157528]
4.79/4.86 c Memory used (in MB): 7.29688
5.39/5.44 c DBreduced=19 GV=25034[0] GL=9630[ 2041,7589] HP=3607 Prune=89356 decisions=39821 restart=14 est=0.221686 HP Impl=[113750, 39966] DB Impl=3517821[0] varReasonNeeded[1266203]
5.39/5.44 c Memory used (in MB): 7.29688
6.09/6.16 c DBreduced=20 GV=28139[0] GL=10427[ 2041,8386] HP=3914 Prune=98961 decisions=44319 restart=15 est=0.221483 HP Impl=[126751, 43203] DB Impl=3943401[0] varReasonNeeded[1408728]
6.09/6.16 c Memory used (in MB): 7.29688
6.89/6.91 c DBreduced=21 GV=31422[0] GL=11252[ 2041,9211] HP=4200 Prune=108345 decisions=48842 restart=15 est=0.221483 HP Impl=[137669, 45572] DB Impl=4354937[0] varReasonNeeded[1542232]
6.89/6.91 c Memory used (in MB): 7.55859
7.79/7.82 c DBreduced=22 GV=35161[0] GL=12166[ 2041,10125] HP=4406 Prune=118232 decisions=53531 restart=15 est=0.221483 HP Impl=[146308, 47769] DB Impl=4784274[0] varReasonNeeded[1683514]
7.79/7.82 c Memory used (in MB): 8.08594
8.88/8.90 c DBreduced=23 GV=39132[0] GL=13089[ 2041,11048] HP=4650 Prune=128954 decisions=58482 restart=15 est=0.221483 HP Impl=[158610, 50859] DB Impl=5269568[0] varReasonNeeded[1839567]
8.88/8.90 c Memory used (in MB): 8.54688
9.89/9.98 c DBreduced=24 GV=43609[0] GL=14229[ 2041,12188] HP=4917 Prune=141365 decisions=64460 restart=16 est=0.221063 HP Impl=[170459, 53559] DB Impl=5864219[0] varReasonNeeded[2034273]
9.89/9.98 c Memory used (in MB): 8.74219
11.18/11.28 c DBreduced=25 GV=48697[0] GL=15319[ 2041,13278] HP=5179 Prune=155239 decisions=70795 restart=16 est=0.221063 HP Impl=[184241, 57127] DB Impl=6502505[0] varReasonNeeded[2224697]
11.18/11.28 c Memory used (in MB): 9.03906
12.59/12.66 c DBreduced=26 GV=53854[0] GL=16586[ 2041,14545] HP=5420 Prune=168960 decisions=77177 restart=16 est=0.221063 HP Impl=[197232, 60476] DB Impl=7112475[0] varReasonNeeded[2408517]
12.59/12.66 c Memory used (in MB): 11.5
14.49/14.52 c DBreduced=27 GV=59836[0] GL=18125[ 2041,16084] HP=5801 Prune=185989 decisions=84918 restart=16 est=0.221063 HP Impl=[219321, 65978] DB Impl=7938707[0] varReasonNeeded[2663768]
14.49/14.52 c Memory used (in MB): 11.6289
16.09/16.16 c DBreduced=28 GV=66087[0] GL=19685[ 2041,17644] HP=6102 Prune=202136 decisions=92937 restart=17 est=0.221619 HP Impl=[234273, 68102] DB Impl=8685929[0] varReasonNeeded[2899952]
16.09/16.16 c Memory used (in MB): 11.5
18.59/18.60 c DBreduced=29 GV=73672[0] GL=21308[ 2041,19267] HP=6360 Prune=221464 decisions=101933 restart=17 est=0.221619 HP Impl=[253835, 72253] DB Impl=9594910[0] varReasonNeeded[3161623]
18.59/18.60 c Memory used (in MB): 11.6758
21.48/21.55 c DBreduced=30 GV=81136[0] GL=23337[ 2041,21296] HP=6623 Prune=240843 decisions=110811 restart=17 est=0.221619 HP Impl=[276245, 77163] DB Impl=10606222[0] varReasonNeeded[3452679]
21.48/21.55 c Memory used (in MB): 12.5625
24.79/24.84 c DBreduced=31 GV=89841[0] GL=25324[ 2041,23283] HP=6990 Prune=263579 decisions=121416 restart=17 est=0.221619 HP Impl=[301695, 82519] DB Impl=11812626[0] varReasonNeeded[3819290]
24.79/24.84 c Memory used (in MB): 13.1328
28.18/28.24 c DBreduced=32 GV=99549[0] GL=27650[ 2041,25609] HP=7453 Prune=289678 decisions=133617 restart=18 est=0.221714 HP Impl=[331759, 89780] DB Impl=13123718[0] varReasonNeeded[4222795]
28.18/28.24 c Memory used (in MB): 13.6953
32.68/32.74 c DBreduced=33 GV=110200[0] GL=30155[ 2041,28114] HP=7878 Prune=318038 decisions=146752 restart=18 est=0.221714 HP Impl=[366604, 97027] DB Impl=14653645[0] varReasonNeeded[4683392]
32.68/32.74 c Memory used (in MB): 14.1211
38.18/38.26 c DBreduced=34 GV=121360[0] GL=32965[ 2041,30924] HP=8471 Prune=347770 decisions=160633 restart=18 est=0.221714 HP Impl=[406322, 104211] DB Impl=16429004[0] varReasonNeeded[5217579]
38.18/38.26 c Memory used (in MB): 18.4102
44.48/44.52 c DBreduced=35 GV=134056[0] GL=36002[ 2041,33961] HP=9070 Prune=381617 decisions=176381 restart=18 est=0.221714 HP Impl=[449751, 112018] DB Impl=18337508[0] varReasonNeeded[5765654]
44.48/44.52 c Memory used (in MB): 18.4336
50.98/51.08 c DBreduced=36 GV=148063[0] GL=39400[ 2041,37359] HP=9753 Prune=418880 decisions=194289 restart=19 est=0.295148 HP Impl=[495713, 120032] DB Impl=20387120[0] varReasonNeeded[6379346]
50.98/51.08 c Memory used (in MB): 18.457
60.57/60.64
60.57/60.64 s UNSATISFIABLE
60.57/60.64 c Total time (in seconds): 60.5898
60.57/60.64 c Memory used (in MB): 18.4805
60.57/60.64 c Conflict literals deleted: [37.8032%] Max learned #lits [9134357] Reduced #lits [5681278]
runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-460663-1179250406 -o ROOT/results/node18/solver-460663-1179250406 -C 1200 -W 1800 -M 1800 --output-limit 1,15 -S 1 /tmp/evaluation/460663-1179250406/aigsat-sp /tmp/evaluation/460663-1179250406/instance-460663-1179250406.aig
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing Stack size limit: 1048576 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 1048576 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.97 0.99 3/77 8591
/proc/meminfo: memFree=1783040/2055920 swapFree=4144744/4192956
[pid=8591] ppid=8589 vsize=1400 CPUtime=0
/proc/8591/stat : 8591 (aigsat-sp) R 8589 8591 7902 0 -1 0 212 0 0 0 0 0 0 0 18 0 1 0 372957982 1433600 199 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 134601486 0 0 4096 35 0 0 0 17 1 0 0
/proc/8591/statm: 352 200 131 277 0 70 0
[startup+0.026913 s]
/proc/loadavg: 0.92 0.97 0.99 3/77 8591
/proc/meminfo: memFree=1783040/2055920 swapFree=4144744/4192956
[pid=8591] ppid=8589 vsize=2408 CPUtime=0.02
/proc/8591/stat : 8591 (aigsat-sp) R 8589 8591 7902 0 -1 0 461 0 0 0 2 0 0 0 18 0 1 0 372957982 2465792 448 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 134970287 0 0 4096 35 0 0 0 17 1 0 0
/proc/8591/statm: 602 448 132 277 0 320 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2408
[startup+0.101919 s]
/proc/loadavg: 0.92 0.97 0.99 3/77 8591
/proc/meminfo: memFree=1783040/2055920 swapFree=4144744/4192956
[pid=8591] ppid=8589 vsize=4388 CPUtime=0.09
/proc/8591/stat : 8591 (aigsat-sp) R 8589 8591 7902 0 -1 0 939 0 0 0 9 0 0 0 18 0 1 0 372957982 4493312 926 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 134672348 0 0 4096 35 0 0 0 17 1 0 0
/proc/8591/statm: 1097 926 158 277 0 815 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4388
[startup+0.301938 s]
/proc/loadavg: 0.92 0.97 0.99 3/77 8591
/proc/meminfo: memFree=1783040/2055920 swapFree=4144744/4192956
[pid=8591] ppid=8589 vsize=4608 CPUtime=0.29
/proc/8591/stat : 8591 (aigsat-sp) R 8589 8591 7902 0 -1 0 1019 0 0 0 29 0 0 0 19 0 1 0 372957982 4718592 1006 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 134657750 0 0 4096 35 0 0 0 17 1 0 0
/proc/8591/statm: 1152 1006 158 277 0 870 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4608
[startup+0.701977 s]
/proc/loadavg: 0.92 0.97 0.99 3/77 8591
/proc/meminfo: memFree=1783040/2055920 swapFree=4144744/4192956
[pid=8591] ppid=8589 vsize=5236 CPUtime=0.69
/proc/8591/stat : 8591 (aigsat-sp) R 8589 8591 7902 0 -1 0 1142 0 0 0 69 0 0 0 22 0 1 0 372957982 5361664 1129 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 134574171 0 0 4096 35 0 0 0 17 1 0 0
/proc/8591/statm: 1309 1129 158 277 0 1027 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5236
[startup+1.50106 s]
/proc/loadavg: 0.92 0.97 0.99 2/78 8592
/proc/meminfo: memFree=1779000/2055920 swapFree=4144744/4192956
[pid=8591] ppid=8589 vsize=5412 CPUtime=1.49
/proc/8591/stat : 8591 (aigsat-sp) R 8589 8591 7902 0 -1 0 1192 0 0 0 149 0 0 0 25 0 1 0 372957982 5541888 1179 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 134734233 0 0 4096 35 0 0 0 17 1 0 0
/proc/8591/statm: 1353 1179 158 277 0 1071 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5412
[startup+3.10121 s]
/proc/loadavg: 0.92 0.97 0.99 2/78 8592
/proc/meminfo: memFree=1778552/2055920 swapFree=4144744/4192956
[pid=8591] ppid=8589 vsize=5912 CPUtime=3.09
/proc/8591/stat : 8591 (aigsat-sp) R 8589 8591 7902 0 -1 0 1335 0 0 0 309 0 0 0 25 0 1 0 372957982 6053888 1322 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 135188724 0 0 4096 35 0 0 0 17 1 0 0
/proc/8591/statm: 1478 1322 158 277 0 1196 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5912
[startup+6.30152 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 8592
/proc/meminfo: memFree=1776632/2055920 swapFree=4144744/4192956
[pid=8591] ppid=8589 vsize=7548 CPUtime=6.29
/proc/8591/stat : 8591 (aigsat-sp) R 8589 8591 7902 0 -1 0 1708 0 0 0 629 0 0 0 25 0 1 0 372957982 7729152 1695 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 134574276 0 0 4096 35 0 0 0 17 1 0 0
/proc/8591/statm: 1887 1695 158 277 0 1605 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7548
[startup+12.7011 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 8592
/proc/meminfo: memFree=1774520/2055920 swapFree=4144744/4192956
[pid=8591] ppid=8589 vsize=11904 CPUtime=12.69
/proc/8591/stat : 8591 (aigsat-sp) R 8589 8591 7902 0 -1 0 2838 0 0 0 1268 1 0 0 25 0 1 0 372957982 12189696 2710 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 134576577 0 0 4096 35 0 0 0 17 1 0 0
/proc/8591/statm: 2976 2710 158 277 0 2694 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11904
[startup+25.5014 s]
/proc/loadavg: 0.95 0.97 0.99 2/78 8592
/proc/meminfo: memFree=1770616/2055920 swapFree=4144744/4192956
[pid=8591] ppid=8589 vsize=13460 CPUtime=25.49
/proc/8591/stat : 8591 (aigsat-sp) R 8589 8591 7902 0 -1 0 3452 0 0 0 2547 2 0 0 25 0 1 0 372957982 13783040 3164 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 134574142 0 0 4096 35 0 0 0 17 1 0 0
/proc/8591/statm: 3365 3164 158 277 0 3083 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 13460
[startup+51.1019 s]
/proc/loadavg: 0.96 0.97 0.99 2/78 8592
/proc/meminfo: memFree=1765816/2055920 swapFree=4144744/4192956
[pid=8591] ppid=8589 vsize=18920 CPUtime=51.08
/proc/8591/stat : 8591 (aigsat-sp) R 8589 8591 7902 0 -1 0 5215 0 0 0 5105 3 0 0 25 0 1 0 372957982 19374080 4367 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 134575090 0 0 4096 35 0 0 0 17 1 0 0
/proc/8591/statm: 4730 4367 158 277 0 4448 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 18920
Solver just ended. Dumping a history of the last processes samples
[startup+57.5015 s]
/proc/loadavg: 0.97 0.97 0.99 2/78 8592
/proc/meminfo: memFree=1765752/2055920 swapFree=4144744/4192956
[pid=8591] ppid=8589 vsize=18920 CPUtime=57.47
/proc/8591/stat : 8591 (aigsat-sp) R 8589 8591 7902 0 -1 0 5215 0 0 0 5744 3 0 0 25 0 1 0 372957982 19374080 4367 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 134574364 0 0 4096 35 0 0 0 17 1 0 0
/proc/8591/statm: 4730 4367 158 277 0 4448 0
Current children cumulated CPU time (s) 57.47
Current children cumulated vsize (KiB) 18920
[startup+59.1026 s]
/proc/loadavg: 0.97 0.97 0.99 2/78 8592
/proc/meminfo: memFree=1765752/2055920 swapFree=4144744/4192956
[pid=8591] ppid=8589 vsize=18920 CPUtime=59.08
/proc/8591/stat : 8591 (aigsat-sp) R 8589 8591 7902 0 -1 0 5222 0 0 0 5905 3 0 0 25 0 1 0 372957982 19374080 4374 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 134574227 0 0 4096 35 0 0 0 17 1 0 0
/proc/8591/statm: 4730 4374 158 277 0 4448 0
Current children cumulated CPU time (s) 59.08
Current children cumulated vsize (KiB) 18920
[startup+59.9017 s]
/proc/loadavg: 0.97 0.97 0.99 2/78 8592
/proc/meminfo: memFree=1765752/2055920 swapFree=4144744/4192956
[pid=8591] ppid=8589 vsize=18920 CPUtime=59.87
/proc/8591/stat : 8591 (aigsat-sp) R 8589 8591 7902 0 -1 0 5230 0 0 0 5984 3 0 0 25 0 1 0 372957982 19374080 4382 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 134575175 0 0 4096 35 0 0 0 17 1 0 0
/proc/8591/statm: 4730 4382 158 277 0 4448 0
Current children cumulated CPU time (s) 59.87
Current children cumulated vsize (KiB) 18920
[startup+60.3017 s]
/proc/loadavg: 0.97 0.97 0.99 2/78 8592
/proc/meminfo: memFree=1765752/2055920 swapFree=4144744/4192956
[pid=8591] ppid=8589 vsize=18920 CPUtime=60.27
/proc/8591/stat : 8591 (aigsat-sp) R 8589 8591 7902 0 -1 0 5234 0 0 0 6024 3 0 0 25 0 1 0 372957982 19374080 4386 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 134575114 0 0 4096 35 0 0 0 17 1 0 0
/proc/8591/statm: 4730 4386 158 277 0 4448 0
Current children cumulated CPU time (s) 60.27
Current children cumulated vsize (KiB) 18920
[startup+60.5058 s]
/proc/loadavg: 0.97 0.97 0.99 2/78 8592
/proc/meminfo: memFree=1765688/2055920 swapFree=4144744/4192956
[pid=8591] ppid=8589 vsize=18920 CPUtime=60.48
/proc/8591/stat : 8591 (aigsat-sp) R 8589 8591 7902 0 -1 0 5238 0 0 0 6045 3 0 0 25 0 1 0 372957982 19374080 4390 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 134574292 0 0 4096 35 0 0 0 17 1 0 0
/proc/8591/statm: 4730 4390 158 277 0 4448 0
Current children cumulated CPU time (s) 60.48
Current children cumulated vsize (KiB) 18920
[startup+60.6018 s]
/proc/loadavg: 0.97 0.97 0.99 2/78 8592
/proc/meminfo: memFree=1765688/2055920 swapFree=4144744/4192956
[pid=8591] ppid=8589 vsize=18920 CPUtime=60.57
/proc/8591/stat : 8591 (aigsat-sp) R 8589 8591 7902 0 -1 0 5238 0 0 0 6054 3 0 0 25 0 1 0 372957982 19374080 4390 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 134575712 0 0 4096 35 0 0 0 17 1 0 0
/proc/8591/statm: 4730 4390 158 277 0 4448 0
Current children cumulated CPU time (s) 60.57
Current children cumulated vsize (KiB) 18920
Child status: 20
Real time (s): 60.6483
CPU time (s): 60.6288
CPU user time (s): 60.5898
CPU system time (s): 0.038994
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 18920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 60.5898
system time used= 0.038994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5238
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 167
runsolver used 0.067989 second user time and 0.159975 second system time
The end