0.02/0.05 c file: /tmp/evaluation/461431-1179253683/instance-461431-1179253683.aig
0.02/0.05 c Reading aig format..
0.02/0.05 c MAXVAR 1683
0.02/0.05 c INPUTS 45
0.02/0.05 c LATCHES 0
0.02/0.05 c OUTPUTS 1
0.02/0.05 c AND 1638
0.02/0.05 c Before initialization time (seconds) 0.053991
0.02/0.05 c Memory used (in MB): 3.20312
0.09/0.18 c Pre-processing followed by bcp (no decisions) assigned 0 vars
0.09/0.18 c DBreduced=0 GV=1263[0] GL=3278[ 1998,1280] HP=26 Prune=3392 decisions=2008 restart=7 est=4.77803 HP Impl=[316, 231] DB Impl=144624[0] varReasonNeeded[45425]
0.09/0.18 c Memory used (in MB): 3.41016
0.19/0.22 c DBreduced=1 GV=1682[0] GL=3539[ 1998,1541] HP=27 Prune=4405 decisions=2596 restart=8 est=4.77078 HP Impl=[366, 237] DB Impl=187622[0] varReasonNeeded[59210]
0.19/0.22 c Memory used (in MB): 3.46484
0.29/0.31 c DBreduced=2 GV=2536[0] GL=3755[ 1998,1757] HP=27 Prune=6418 decisions=3729 restart=9 est=4.76918 HP Impl=[453, 294] DB Impl=280022[0] varReasonNeeded[91546]
0.29/0.31 c Memory used (in MB): 3.51562
0.29/0.37 c DBreduced=3 GV=3164[0] GL=3737[ 1998,1739] HP=28 Prune=7851 decisions=4532 restart=9 est=4.76918 HP Impl=[455, 295] DB Impl=355541[0] varReasonNeeded[108208]
0.29/0.37 c Memory used (in MB): 3.53516
0.39/0.46 c DBreduced=4 GV=4101[0] GL=3964[ 1998,1966] HP=32 Prune=9954 decisions=5668 restart=10 est=7.99538 HP Impl=[535, 347] DB Impl=462693[0] varReasonNeeded[136174]
0.39/0.46 c Memory used (in MB): 3.64844
0.49/0.53 c DBreduced=5 GV=4681[0] GL=4035[ 1998,2037] HP=32 Prune=11176 decisions=6308 restart=10 est=7.99538 HP Impl=[619, 349] DB Impl=524731[0] varReasonNeeded[157075]
0.49/0.53 c Memory used (in MB): 3.67578
0.59/0.64 c DBreduced=6 GV=5734[0] GL=4207[ 1998,2209] HP=33 Prune=13470 decisions=7530 restart=11 est=8.00483 HP Impl=[789, 374] DB Impl=639720[0] varReasonNeeded[195270]
0.59/0.64 c Memory used (in MB): 3.96094
0.69/0.76 c DBreduced=7 GV=6874[0] GL=4629[ 1998,2631] HP=33 Prune=15952 decisions=8855 restart=11 est=8.00483 HP Impl=[876, 398] DB Impl=746003[0] varReasonNeeded[232661]
0.69/0.76 c Memory used (in MB): 3.96094
0.79/0.87 c DBreduced=8 GV=7923[0] GL=4755[ 1998,2757] HP=33 Prune=18226 decisions=10077 restart=11 est=8.00483 HP Impl=[909, 401] DB Impl=852263[0] varReasonNeeded[269105]
0.79/0.87 c Memory used (in MB): 3.99609
1.00/1.01 c DBreduced=9 GV=9150[0] GL=5022[ 1998,3024] HP=33 Prune=20917 decisions=11540 restart=12 est=7.99518 HP Impl=[992, 402] DB Impl=984090[0] varReasonNeeded[312732]
1.00/1.01 c Memory used (in MB): 4.01953
1.10/1.16 c DBreduced=10 GV=10476[0] GL=5323[ 1998,3325] HP=33 Prune=23825 decisions=13110 restart=12 est=7.99518 HP Impl=[1121, 414] DB Impl=1128138[0] varReasonNeeded[358157]
1.10/1.16 c Memory used (in MB): 4.07031
1.29/1.35 c DBreduced=11 GV=12073[0] GL=5646[ 1998,3648] HP=33 Prune=27294 decisions=14962 restart=12 est=7.99518 HP Impl=[1360, 436] DB Impl=1301383[0] varReasonNeeded[411463]
1.29/1.35 c Memory used (in MB): 4.16016
1.49/1.53 c DBreduced=12 GV=13466[0] GL=5826[ 1998,3828] HP=35 Prune=30325 decisions=16582 restart=13 est=7.99656 HP Impl=[1506, 452] DB Impl=1450449[0] varReasonNeeded[456955]
1.49/1.53 c Memory used (in MB): 4.20703
1.69/1.76 c DBreduced=13 GV=15391[0] GL=6373[ 1998,4375] HP=35 Prune=34486 decisions=18794 restart=13 est=7.99656 HP Impl=[1719, 485] DB Impl=1658208[0] varReasonNeeded[519183]
1.69/1.76 c Memory used (in MB): 4.25391
1.89/1.99 c DBreduced=14 GV=17242[0] GL=6741[ 1998,4743] HP=36 Prune=38428 decisions=20873 restart=13 est=7.99656 HP Impl=[1886, 497] DB Impl=1848017[0] varReasonNeeded[574009]
1.89/1.99 c Memory used (in MB): 4.35547
2.20/2.25 c DBreduced=15 GV=19297[0] GL=7067[ 1998,5069] HP=36 Prune=42801 decisions=23185 restart=13 est=7.99656 HP Impl=[2027, 503] DB Impl=2063261[0] varReasonNeeded[637174]
2.20/2.25 c Memory used (in MB): 4.4375
2.49/2.55 c DBreduced=16 GV=21794[0] GL=7707[ 1998,5709] HP=37 Prune=48221 decisions=26104 restart=14 est=9.96167 HP Impl=[2109, 509] DB Impl=2314297[0] varReasonNeeded[711133]
2.49/2.55 c Memory used (in MB): 4.54688
2.79/2.89 c DBreduced=17 GV=24376[0] GL=8256[ 1998,6258] HP=37 Prune=53718 decisions=29010 restart=14 est=9.96167 HP Impl=[2317, 518] DB Impl=2570441[0] varReasonNeeded[783933]
2.79/2.89 c Memory used (in MB): 5.64453
3.19/3.26 c DBreduced=18 GV=27108[0] GL=8829[ 1998,6831] HP=37 Prune=59487 decisions=32037 restart=14 est=9.96167 HP Impl=[2631, 529] DB Impl=2849547[0] varReasonNeeded[857417]
3.19/3.26 c Memory used (in MB): 5.64453
3.69/3.70 c DBreduced=19 GV=30359[0] GL=9523[ 1998,7525] HP=37 Prune=66325 decisions=35612 restart=15 est=9.95832 HP Impl=[2823, 544] DB Impl=3165836[0] varReasonNeeded[944697]
3.69/3.70 c Memory used (in MB): 5.64453
4.09/4.13 c DBreduced=20 GV=33549[0] GL=10166[ 1998,8168] HP=37 Prune=73072 decisions=39152 restart=15 est=9.95832 HP Impl=[3041, 562] DB Impl=3476159[0] varReasonNeeded[1033309]
4.09/4.13 c Memory used (in MB): 5.71484
4.59/4.66 c DBreduced=21 GV=37496[0] GL=10958[ 1998,8960] HP=39 Prune=81479 decisions=43592 restart=15 est=9.95832 HP Impl=[3158, 585] DB Impl=3851199[0] varReasonNeeded[1141675]
4.59/4.66 c Memory used (in MB): 5.79297
5.19/5.28 c DBreduced=22 GV=41461[0] GL=11837[ 1998,9839] HP=40 Prune=89787 decisions=47926 restart=15 est=9.95832 HP Impl=[3222, 593] DB Impl=4233338[0] varReasonNeeded[1247041]
5.19/5.28 c Memory used (in MB): 6.01953
5.89/5.94 c DBreduced=23 GV=45877[0] GL=12812[ 1998,10814] HP=47 Prune=99312 decisions=52973 restart=16 est=10.1007 HP Impl=[3545, 674] DB Impl=4672164[0] varReasonNeeded[1362711]
5.89/5.94 c Memory used (in MB): 6.16797
6.59/6.63 c DBreduced=24 GV=50721[0] GL=13828[ 1998,11830] HP=54 Prune=109560 decisions=58346 restart=16 est=10.1007 HP Impl=[4122, 700] DB Impl=5125116[0] varReasonNeeded[1480992]
6.59/6.63 c Memory used (in MB): 6.28125
7.49/7.55 c DBreduced=25 GV=56306[0] GL=15004[ 1998,13006] HP=56 Prune=121313 decisions=64442 restart=16 est=10.1007 HP Impl=[4824, 785] DB Impl=5654007[0] varReasonNeeded[1616744]
7.49/7.55 c Memory used (in MB): 6.63672
8.49/8.54 c DBreduced=26 GV=62167[0] GL=16309[ 1998,14311] HP=60 Prune=133643 decisions=70880 restart=16 est=10.1007 HP Impl=[5365, 818] DB Impl=6221122[0] varReasonNeeded[1759710]
8.49/8.54 c Memory used (in MB): 6.90234
9.49/9.59 c DBreduced=27 GV=68833[0] GL=17645[ 1998,15647] HP=71 Prune=147823 decisions=78353 restart=17 est=11.5052 HP Impl=[5808, 852] DB Impl=6883926[0] varReasonNeeded[1930001]
9.49/9.59 c Memory used (in MB): 8.39453
10.78/10.83 c DBreduced=28 GV=75948[0] GL=19209[ 1998,17211] HP=71 Prune=162751 decisions=86139 restart=17 est=11.5052 HP Impl=[6301, 881] DB Impl=7555669[0] varReasonNeeded[2103716]
10.78/10.83 c Memory used (in MB): 8.38672
12.29/12.35 c DBreduced=29 GV=83878[0] GL=20873[ 1998,18875] HP=71 Prune=179335 decisions=94697 restart=17 est=11.5052 HP Impl=[7456, 989] DB Impl=8310703[0] varReasonNeeded[2292523]
12.29/12.35 c Memory used (in MB): 9.07031
13.89/13.96 c DBreduced=30 GV=92526[0] GL=22748[ 1998,20750] HP=71 Prune=197515 decisions=104087 restart=17 est=11.5052 HP Impl=[9096, 1189] DB Impl=9091750[0] varReasonNeeded[2487501]
13.89/13.96 c Memory used (in MB): 9.66016
15.99/16.09 c DBreduced=31 GV=102400[0] GL=24819[ 1998,22821] HP=73 Prune=218201 decisions=114799 restart=18 est=11.5015 HP Impl=[10620, 1304] DB Impl=10011847[0] varReasonNeeded[2715188]
15.99/16.09 c Memory used (in MB): 10.0781
18.08/18.13 c DBreduced=32 GV=112372[0] GL=26973[ 1998,24975] HP=73 Prune=239093 decisions=125538 restart=18 est=11.5015 HP Impl=[12695, 1527] DB Impl=10942624[0] varReasonNeeded[2937112]
18.08/18.13 c Memory used (in MB): 10.3516
20.78/20.84 c DBreduced=33 GV=124490[0] GL=29462[ 1998,27464] HP=73 Prune=264392 decisions=138492 restart=18 est=11.5015 HP Impl=[14346, 1830] DB Impl=12063443[0] varReasonNeeded[3209604]
20.78/20.84 c Memory used (in MB): 10.9648
23.57/23.68 c DBreduced=34 GV=136928[0] GL=32174[ 1998,30176] HP=73 Prune=290320 decisions=151883 restart=18 est=11.5015 HP Impl=[16115, 1949] DB Impl=13226659[0] varReasonNeeded[3487721]
23.57/23.68 c Memory used (in MB): 11.5586
27.07/27.16 c DBreduced=35 GV=151657[0] GL=35151[ 1998,33153] HP=76 Prune=320984 decisions=167681 restart=19 est=11.5062 HP Impl=[18076, 2111] DB Impl=14558047[0] varReasonNeeded[3814520]
27.07/27.16 c Memory used (in MB): 14.3477
30.97/31.02 c DBreduced=36 GV=166662[0] GL=38509[ 1998,36511] HP=76 Prune=352204 decisions=183735 restart=19 est=11.5062 HP Impl=[20230, 2306] DB Impl=15930513[0] varReasonNeeded[4147257]
30.97/31.02 c Memory used (in MB): 14.3711
34.97/35.10 c DBreduced=37 GV=184239[0] GL=42117[ 1998,40119] HP=76 Prune=388678 decisions=202550 restart=19 est=11.5062 HP Impl=[21554, 2396] DB Impl=17567970[0] varReasonNeeded[4532963]
34.97/35.10 c Memory used (in MB): 14.9805
39.76/39.87 c DBreduced=38 GV=202522[0] GL=46062[ 1998,44064] HP=76 Prune=426641 decisions=222044 restart=19 est=11.5062 HP Impl=[23952, 2610] DB Impl=19242513[0] varReasonNeeded[4923338]
39.76/39.87 c Memory used (in MB): 15.582
45.77/45.82 c DBreduced=39 GV=223467[0] GL=50497[ 1998,48499] HP=81 Prune=470231 decisions=244404 restart=20 est=19.9176 HP Impl=[26544, 2927] DB Impl=21143453[0] varReasonNeeded[5368390]
45.77/45.82 c Memory used (in MB): 16.1172
48.97/49.06
48.97/49.06 s UNSATISFIABLE
48.97/49.06 c Total time (in seconds): 49.0046
48.97/49.06 c Memory used (in MB): 16.1523
48.97/49.06 c Conflict literals deleted: [39.6278%] Max learned #lits [7881771] Reduced #lits [4758397]
runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-461431-1179253683 -o ROOT/results/node12/solver-461431-1179253683 -C 1200 -W 1800 -M 1800 --output-limit 1,15 -S 1 /tmp/evaluation/461431-1179253683/aigsat-sp /tmp/evaluation/461431-1179253683/instance-461431-1179253683.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.84 0.94 0.90 3/77 7766
/proc/meminfo: memFree=1683640/2055920 swapFree=4154884/4192956
[pid=7766] ppid=7764 vsize=1428 CPUtime=0
/proc/7766/stat : 7766 (aigsat-sp) R 7764 7766 6640 0 -1 0 218 0 0 0 0 0 0 0 18 0 1 0 401405686 1462272 205 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 134970287 0 0 4096 35 0 0 0 17 0 0 0
/proc/7766/statm: 357 205 131 277 0 75 0
[startup+0.023829 s]
/proc/loadavg: 0.84 0.94 0.90 3/77 7766
/proc/meminfo: memFree=1683640/2055920 swapFree=4154884/4192956
[pid=7766] ppid=7764 vsize=2360 CPUtime=0.02
/proc/7766/stat : 7766 (aigsat-sp) R 7764 7766 6640 0 -1 0 450 0 0 0 2 0 0 0 18 0 1 0 401405686 2416640 437 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 135188724 0 0 4096 35 0 0 0 17 0 0 0
/proc/7766/statm: 590 437 136 277 0 308 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2360
[startup+0.101836 s]
/proc/loadavg: 0.84 0.94 0.90 3/77 7766
/proc/meminfo: memFree=1683640/2055920 swapFree=4154884/4192956
[pid=7766] ppid=7764 vsize=3396 CPUtime=0.09
/proc/7766/stat : 7766 (aigsat-sp) R 7764 7766 6640 0 -1 0 716 0 0 0 9 0 0 0 18 0 1 0 401405686 3477504 703 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 134575143 0 0 4096 35 0 0 0 17 0 0 0
/proc/7766/statm: 849 703 158 277 0 567 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3396
[startup+0.301856 s]
/proc/loadavg: 0.84 0.94 0.90 3/77 7766
/proc/meminfo: memFree=1683640/2055920 swapFree=4154884/4192956
[pid=7766] ppid=7764 vsize=3564 CPUtime=0.29
/proc/7766/stat : 7766 (aigsat-sp) R 7764 7766 6640 0 -1 0 776 0 0 0 29 0 0 0 19 0 1 0 401405686 3649536 763 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 134574255 0 0 4096 35 0 0 0 17 0 0 0
/proc/7766/statm: 891 763 158 277 0 609 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3564
[startup+0.701897 s]
/proc/loadavg: 0.84 0.94 0.90 3/77 7766
/proc/meminfo: memFree=1683640/2055920 swapFree=4154884/4192956
[pid=7766] ppid=7764 vsize=4052 CPUtime=0.69
/proc/7766/stat : 7766 (aigsat-sp) R 7764 7766 6640 0 -1 0 872 0 0 0 69 0 0 0 23 0 1 0 401405686 4149248 859 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 134578821 0 0 4096 35 0 0 0 17 0 0 0
/proc/7766/statm: 1013 859 158 277 0 731 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4052
[startup+1.50198 s]
/proc/loadavg: 0.85 0.94 0.90 2/78 7767
/proc/meminfo: memFree=1680688/2055920 swapFree=4154884/4192956
[pid=7766] ppid=7764 vsize=4288 CPUtime=1.49
/proc/7766/stat : 7766 (aigsat-sp) R 7764 7766 6640 0 -1 0 941 0 0 0 149 0 0 0 25 0 1 0 401405686 4390912 928 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 134577675 0 0 4096 35 0 0 0 17 0 0 0
/proc/7766/statm: 1072 928 158 277 0 790 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4288
[startup+3.10114 s]
/proc/loadavg: 0.85 0.94 0.90 2/78 7767
/proc/meminfo: memFree=1680112/2055920 swapFree=4154884/4192956
[pid=7766] ppid=7764 vsize=5776 CPUtime=3.09
/proc/7766/stat : 7766 (aigsat-sp) R 7764 7766 6640 0 -1 0 1251 0 0 0 309 0 0 0 25 0 1 0 401405686 5914624 1238 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 135188710 0 0 4096 35 0 0 0 17 0 0 0
/proc/7766/statm: 1444 1238 158 277 0 1162 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5776
[startup+6.30146 s]
/proc/loadavg: 0.87 0.94 0.90 2/78 7767
/proc/meminfo: memFree=1678512/2055920 swapFree=4154884/4192956
[pid=7766] ppid=7764 vsize=6404 CPUtime=6.29
/proc/7766/stat : 7766 (aigsat-sp) R 7764 7766 6640 0 -1 0 1439 0 0 0 629 0 0 0 25 0 1 0 401405686 6557696 1426 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 135188724 0 0 4096 35 0 0 0 17 0 0 0
/proc/7766/statm: 1601 1426 158 277 0 1319 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6404
[startup+12.7011 s]
/proc/loadavg: 0.88 0.94 0.90 2/78 7767
/proc/meminfo: memFree=1676080/2055920 swapFree=4154884/4192956
[pid=7766] ppid=7764 vsize=9296 CPUtime=12.69
/proc/7766/stat : 7766 (aigsat-sp) R 7764 7766 6640 0 -1 0 2298 0 0 0 1268 1 0 0 25 0 1 0 401405686 9519104 2060 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 134579179 0 0 4096 35 0 0 0 17 0 0 0
/proc/7766/statm: 2324 2060 158 277 0 2042 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9296
[startup+25.5014 s]
/proc/loadavg: 0.90 0.94 0.90 2/78 7767
/proc/meminfo: memFree=1672816/2055920 swapFree=4154884/4192956
[pid=7766] ppid=7764 vsize=11888 CPUtime=25.47
/proc/7766/stat : 7766 (aigsat-sp) R 7764 7766 6640 0 -1 0 3271 0 0 0 2546 1 0 0 25 0 1 0 401405686 12173312 2787 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 134574215 0 0 4096 35 0 0 0 17 0 0 0
/proc/7766/statm: 2972 2787 158 277 0 2690 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 11888
Solver just ended. Dumping a history of the last processes samples
[startup+38.3016 s]
/proc/loadavg: 0.92 0.94 0.90 2/78 7767
/proc/meminfo: memFree=1670128/2055920 swapFree=4154884/4192956
[pid=7766] ppid=7764 vsize=15468 CPUtime=38.27
/proc/7766/stat : 7766 (aigsat-sp) R 7764 7766 6640 0 -1 0 4433 0 0 0 3825 2 0 0 25 0 1 0 401405686 15839232 3481 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 134574292 0 0 4096 35 0 0 0 17 0 0 0
/proc/7766/statm: 3867 3481 158 277 0 3585 0
Current children cumulated CPU time (s) 38.27
Current children cumulated vsize (KiB) 15468
[startup+44.7013 s]
/proc/loadavg: 0.92 0.94 0.90 2/78 7767
/proc/meminfo: memFree=1669360/2055920 swapFree=4154884/4192956
[pid=7766] ppid=7764 vsize=16068 CPUtime=44.66
/proc/7766/stat : 7766 (aigsat-sp) R 7764 7766 6640 0 -1 0 4697 0 0 0 4464 2 0 0 25 0 1 0 401405686 16453632 3662 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 135188708 0 0 4096 35 0 0 0 17 0 0 0
/proc/7766/statm: 4017 3662 158 277 0 3735 0
Current children cumulated CPU time (s) 44.66
Current children cumulated vsize (KiB) 16068
[startup+46.3014 s]
/proc/loadavg: 0.93 0.94 0.90 2/78 7767
/proc/meminfo: memFree=1668784/2055920 swapFree=4154884/4192956
[pid=7766] ppid=7764 vsize=16536 CPUtime=46.27
/proc/7766/stat : 7766 (aigsat-sp) R 7764 7766 6640 0 -1 0 4931 0 0 0 4624 3 0 0 25 0 1 0 401405686 16932864 3806 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 134574227 0 0 4096 35 0 0 0 17 0 0 0
/proc/7766/statm: 4134 3806 158 277 0 3852 0
Current children cumulated CPU time (s) 46.27
Current children cumulated vsize (KiB) 16536
[startup+47.9016 s]
/proc/loadavg: 0.93 0.94 0.90 2/78 7767
/proc/meminfo: memFree=1668784/2055920 swapFree=4154884/4192956
[pid=7766] ppid=7764 vsize=16536 CPUtime=47.87
/proc/7766/stat : 7766 (aigsat-sp) R 7764 7766 6640 0 -1 0 4931 0 0 0 4784 3 0 0 25 0 1 0 401405686 16932864 3806 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 134574300 0 0 4096 35 0 0 0 17 0 0 0
/proc/7766/statm: 4134 3806 158 277 0 3852 0
Current children cumulated CPU time (s) 47.87
Current children cumulated vsize (KiB) 16536
[startup+48.7017 s]
/proc/loadavg: 0.93 0.94 0.90 2/78 7767
/proc/meminfo: memFree=1668720/2055920 swapFree=4154884/4192956
[pid=7766] ppid=7764 vsize=16536 CPUtime=48.67
/proc/7766/stat : 7766 (aigsat-sp) R 7764 7766 6640 0 -1 0 4931 0 0 0 4864 3 0 0 25 0 1 0 401405686 16932864 3806 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 134575034 0 0 4096 35 0 0 0 17 0 0 0
/proc/7766/statm: 4134 3806 158 277 0 3852 0
Current children cumulated CPU time (s) 48.67
Current children cumulated vsize (KiB) 16536
[startup+48.9017 s]
/proc/loadavg: 0.93 0.94 0.90 2/78 7767
/proc/meminfo: memFree=1668720/2055920 swapFree=4154884/4192956
[pid=7766] ppid=7764 vsize=16536 CPUtime=48.87
/proc/7766/stat : 7766 (aigsat-sp) R 7764 7766 6640 0 -1 0 4931 0 0 0 4884 3 0 0 25 0 1 0 401405686 16932864 3806 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 134574556 0 0 4096 35 0 0 0 17 0 0 0
/proc/7766/statm: 4134 3806 158 277 0 3852 0
Current children cumulated CPU time (s) 48.87
Current children cumulated vsize (KiB) 16536
[startup+49.0017 s]
/proc/loadavg: 0.93 0.94 0.90 2/78 7767
/proc/meminfo: memFree=1668720/2055920 swapFree=4154884/4192956
[pid=7766] ppid=7764 vsize=16536 CPUtime=48.97
/proc/7766/stat : 7766 (aigsat-sp) R 7764 7766 6640 0 -1 0 4931 0 0 0 4894 3 0 0 25 0 1 0 401405686 16932864 3806 18446744073709551615 134512640 135650930 4294956592 18446744073709551615 134575164 0 0 4096 35 0 0 0 17 0 0 0
/proc/7766/statm: 4134 3806 158 277 0 3852 0
Current children cumulated CPU time (s) 48.97
Current children cumulated vsize (KiB) 16536
Child status: 20
Real time (s): 49.0659
CPU time (s): 49.0405
CPU user time (s): 49.0046
CPU system time (s): 0.035994
CPU usage (%): 99.9483
Max. virtual memory (cumulated for all children) (KiB): 16536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.0046
system time used= 0.035994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4931
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= 7
involuntary context switches= 1118
runsolver used 0.06299 second user time and 0.124981 second system time
The end