0.00/0.01 c has big domains
0.00/0.01 c big-domain mode
0.08/0.10 c Seed is 9433826
0.08/0.10 c Constructing HOME/instance-2079888-1247717163.xml with 3839 constraints
0.08/0.10 c Solving 7519 backtracks 13 restarts
1745.10/1752.49 s SATISFIABLE
1745.10/1752.49 c V0=5, V1=2, V2=10, V3=5, V4=2, V5=3, V6=15, V7=3, V8=13, V9=24, V10=7, V11=18, V12=19, V13=17, V14=9, V15=11, V16=14, V17=5, V18=8, V19=8, V20=12, V21=13, V22=3, V23=22, V24=20, V25=26, V26=18, V27=3, V28=16, V29=3, V30=17, V31=4, V32=1, V33=0, V34=4, V35=3, V36=11, V37=4, V38=6, V39=8, V40=7, V41=10, V42=13, V43=37, V44=55, V45=72, V46=83, V47=88, V48=96, V49=109, V50=131, V51=157, V52=160, V53=163, V54=167, V55=167, V56=170, V57=174, V58=182, V59=182, V60=0,
1745.10/1752.49 v 5 2 10 5 2 3 15 3 13 24 7 18 19 17 9 11 14 5 8 8 12 13 3 22 20 26 18 3 16 3 17 4 1 0 4 3 11 4 6 8 7 10 13 37 55 72 83 88 96 109 131 157 160 163 167 167 170 174 182 182 0
1745.10/1752.49 d ASSIGNMENTS 7519
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2079888-1247717163/watcher-2079888-1247717163 -o /tmp/evaluation-result-2079888-1247717163/solver-2079888-1247717163 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 9433826 HOME/instance-2079888-1247717163.xml
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 10775
/proc/meminfo: memFree=1384280/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=5356 CPUtime=0
/proc/10775/stat : 10775 (pcssolve) S 10773 10775 9057 0 -1 4194304 305 252 0 0 0 0 0 0 19 0 1 0 58778838 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10775/statm: 1339 242 201 169 0 50 0
[pid=10777] ppid=10775 vsize=5356 CPUtime=0
/proc/10777/stat : 10777 (pcssolve) R 10775 10775 9057 0 -1 4194368 22 0 0 0 0 0 0 0 20 0 1 0 58778838 5484544 244 996147200 4194304 4889804 548682068800 18446744073709551615 244276849959 0 0 4096 0 0 0 0 17 1 0 0
/proc/10777/statm: 1339 244 203 169 0 50 0
[startup+0.0481249 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 10775
/proc/meminfo: memFree=1384280/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=4956 CPUtime=0.03
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 919 850 0 0 3 0 0 0 18 0 1 0 58778838 5074944 550 996147200 134512640 135215973 4294956320 18446744073709551615 4158851740 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 1239 550 384 171 0 164 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4956
[startup+0.101089 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 10775
/proc/meminfo: memFree=1384280/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=6108 CPUtime=0.08
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 1283 850 0 0 8 0 0 0 18 0 1 0 58778838 6254592 859 996147200 134512640 135215973 4294956320 18446744073709551615 135020273 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 1527 859 404 171 0 452 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6108
[startup+0.301112 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 10775
/proc/meminfo: memFree=1384280/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=6240 CPUtime=0.28
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 1317 850 0 0 28 0 0 0 20 0 1 0 58778838 6389760 893 996147200 134512640 135215973 4294956320 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 1560 893 406 171 0 485 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6240
[startup+0.701157 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 10775
/proc/meminfo: memFree=1384280/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=6372 CPUtime=0.67
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 1350 850 0 0 67 0 0 0 24 0 1 0 58778838 6524928 926 996147200 134512640 135215973 4294956320 18446744073709551615 135020397 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 1593 926 406 171 0 518 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6372
[startup+1.50125 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 10780
/proc/meminfo: memFree=1381968/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=6372 CPUtime=1.47
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 1350 850 0 0 147 0 0 0 25 0 1 0 58778838 6524928 926 996147200 134512640 135215973 4294956320 18446744073709551615 135026968 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 1593 926 406 171 0 518 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 6372
[startup+3.10244 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 10780
/proc/meminfo: memFree=1381968/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=6372 CPUtime=3.06
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 1350 850 0 0 306 0 0 0 25 0 1 0 58778838 6524928 926 996147200 134512640 135215973 4294956320 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 1593 926 406 171 0 518 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 6372
[startup+6.30179 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 10780
/proc/meminfo: memFree=1381920/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=6372 CPUtime=6.25
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 1355 850 0 0 625 0 0 0 25 0 1 0 58778838 6524928 931 996147200 134512640 135215973 4294956320 18446744073709551615 135020296 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 1593 931 406 171 0 518 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 6372
[startup+12.7015 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 10780
/proc/meminfo: memFree=1381672/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=6636 CPUtime=12.61
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 1398 850 0 0 1261 0 0 0 25 0 1 0 58778838 6795264 974 996147200 134512640 135215973 4294956320 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 1659 974 406 171 0 584 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 6636
[startup+25.502 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 10780
/proc/meminfo: memFree=1381544/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=6900 CPUtime=25.35
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 1467 850 0 0 2535 0 0 0 25 0 1 0 58778838 7065600 1043 996147200 134512640 135215973 4294956320 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 1725 1043 406 171 0 650 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 6900
[startup+51.1019 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 10780
/proc/meminfo: memFree=1381032/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=7444 CPUtime=50.82
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 1615 850 0 0 5082 0 0 0 25 0 1 0 58778838 7622656 1191 996147200 134512640 135215973 4294956320 18446744073709551615 134583169 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 1861 1191 406 171 0 786 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 7444
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 10780
/proc/meminfo: memFree=1360296/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=8776 CPUtime=101.78
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 1933 850 0 0 10178 0 0 0 25 0 1 0 58778838 8986624 1476 996147200 134512640 135215973 4294956320 18446744073709551615 134600322 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 2194 1476 406 171 0 1119 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 8776
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 10780
/proc/meminfo: memFree=1322920/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=10092 CPUtime=161.47
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 2301 850 0 0 16147 0 0 0 25 0 1 0 58778838 10334208 1811 996147200 134512640 135215973 4294956320 18446744073709551615 134599842 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 2523 1811 406 171 0 1448 0
Current children cumulated CPU time (s) 161.47
Current children cumulated vsize (KiB) 10092
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 10780
/proc/meminfo: memFree=1306664/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=11676 CPUtime=221.19
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 2713 850 0 0 22118 1 0 0 25 0 1 0 58778838 11956224 2223 996147200 134512640 135215973 4294956320 18446744073709551615 135020270 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 2919 2223 406 171 0 1844 0
Current children cumulated CPU time (s) 221.19
Current children cumulated vsize (KiB) 11676
[startup+282.301 s]
/proc/loadavg: 1.96 1.98 1.99 3/73 10814
/proc/meminfo: memFree=1663488/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=13252 CPUtime=280.9
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 3113 850 0 0 28089 1 0 0 25 0 1 0 58778838 13570048 2558 996147200 134512640 135215973 4294956320 18446744073709551615 135020397 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 3313 2558 406 171 0 2238 0
Current children cumulated CPU time (s) 280.9
Current children cumulated vsize (KiB) 13252
[startup+342.302 s]
/proc/loadavg: 1.98 1.98 1.99 3/73 10814
/proc/meminfo: memFree=1654400/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=14308 CPUtime=340.66
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 3391 850 0 0 34065 1 0 0 25 0 1 0 58778838 14651392 2836 996147200 134512640 135215973 4294956320 18446744073709551615 135026900 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 3577 2836 406 171 0 2502 0
Current children cumulated CPU time (s) 340.66
Current children cumulated vsize (KiB) 14308
[startup+402.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 10814
/proc/meminfo: memFree=1645504/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=15364 CPUtime=400.41
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 3680 850 0 0 40040 1 0 0 25 0 1 0 58778838 15732736 3125 996147200 134512640 135215973 4294956320 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 3841 3125 406 171 0 2766 0
Current children cumulated CPU time (s) 400.41
Current children cumulated vsize (KiB) 15364
[startup+462.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 10814
/proc/meminfo: memFree=1632320/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=16684 CPUtime=460.18
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 4028 850 0 0 46017 1 0 0 25 0 1 0 58778838 17084416 3473 996147200 134512640 135215973 4294956320 18446744073709551615 134599849 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 4171 3473 406 171 0 3096 0
Current children cumulated CPU time (s) 460.18
Current children cumulated vsize (KiB) 16684
[startup+522.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 10814
/proc/meminfo: memFree=1618496/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=18132 CPUtime=519.93
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 4395 850 0 0 51992 1 0 0 25 0 1 0 58778838 18567168 3840 996147200 134512640 135215973 4294956320 18446744073709551615 134590188 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 4533 3840 406 171 0 3458 0
Current children cumulated CPU time (s) 519.93
Current children cumulated vsize (KiB) 18132
[startup+582.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 10814
/proc/meminfo: memFree=1610688/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=19964 CPUtime=579.7
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 4865 850 0 0 57968 2 0 0 25 0 1 0 58778838 20443136 4181 996147200 134512640 135215973 4294956320 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 4991 4181 406 171 0 3916 0
Current children cumulated CPU time (s) 579.7
Current children cumulated vsize (KiB) 19964
[startup+642.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 10814
/proc/meminfo: memFree=1597504/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=21152 CPUtime=639.46
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 5200 850 0 0 63944 2 0 0 25 0 1 0 58778838 21659648 4516 996147200 134512640 135215973 4294956320 18446744073709551615 135020335 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 5288 4516 406 171 0 4213 0
Current children cumulated CPU time (s) 639.46
################
# More data... #
################
/proc/meminfo: memFree=1500288/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=32488 CPUtime=1057.77
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 8145 850 0 0 105773 4 0 0 25 0 1 0 58778838 33267712 7139 996147200 134512640 135215973 4294956320 18446744073709551615 135026892 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 8122 7139 406 171 0 7047 0
Current children cumulated CPU time (s) 1057.77
Current children cumulated vsize (KiB) 32488
[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 10814
/proc/meminfo: memFree=1488320/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=33940 CPUtime=1117.54
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 8497 850 0 0 111750 4 0 0 25 0 1 0 58778838 34754560 7491 996147200 134512640 135215973 4294956320 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 8485 7491 406 171 0 7410 0
Current children cumulated CPU time (s) 1117.54
Current children cumulated vsize (KiB) 33940
[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 10814
/proc/meminfo: memFree=1476544/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=35128 CPUtime=1177.3
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 8823 850 0 0 117726 4 0 0 25 0 1 0 58778838 35971072 7817 996147200 134512640 135215973 4294956320 18446744073709551615 135020393 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 8782 7817 406 171 0 7707 0
Current children cumulated CPU time (s) 1177.3
Current children cumulated vsize (KiB) 35128
[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 10814
/proc/meminfo: memFree=1465920/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=36444 CPUtime=1237.05
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 9157 850 0 0 123701 4 0 0 25 0 1 0 58778838 37318656 8151 996147200 134512640 135215973 4294956320 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 9111 8151 406 171 0 8036 0
Current children cumulated CPU time (s) 1237.05
Current children cumulated vsize (KiB) 36444
[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 10814
/proc/meminfo: memFree=1456000/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=37632 CPUtime=1296.81
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 9500 850 0 0 129677 4 0 0 25 0 1 0 58778838 38535168 8494 996147200 134512640 135215973 4294956320 18446744073709551615 135026915 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 9408 8494 406 171 0 8333 0
Current children cumulated CPU time (s) 1296.81
Current children cumulated vsize (KiB) 37632
[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 10814
/proc/meminfo: memFree=1437056/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=38948 CPUtime=1356.57
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 9817 850 0 0 135653 4 0 0 25 0 1 0 58778838 39882752 8811 996147200 134512640 135215973 4294956320 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 9737 8811 406 171 0 8662 0
Current children cumulated CPU time (s) 1356.57
Current children cumulated vsize (KiB) 38948
[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 10814
/proc/meminfo: memFree=1431808/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=40132 CPUtime=1416.34
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 10148 850 0 0 141629 5 0 0 25 0 1 0 58778838 41095168 9142 996147200 134512640 135215973 4294956320 18446744073709551615 135018598 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 10033 9142 406 171 0 8958 0
Current children cumulated CPU time (s) 1416.34
Current children cumulated vsize (KiB) 40132
[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 10814
/proc/meminfo: memFree=1421568/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=41452 CPUtime=1476.1
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 10474 850 0 0 147605 5 0 0 25 0 1 0 58778838 42446848 9468 996147200 134512640 135215973 4294956320 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 10363 9468 406 171 0 9288 0
Current children cumulated CPU time (s) 1476.1
Current children cumulated vsize (KiB) 41452
[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 10814
/proc/meminfo: memFree=1412736/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=42508 CPUtime=1535.85
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 10776 850 0 0 153580 5 0 0 25 0 1 0 58778838 43528192 9770 996147200 134512640 135215973 4294956320 18446744073709551615 134590188 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 10627 9770 406 171 0 9552 0
Current children cumulated CPU time (s) 1535.85
Current children cumulated vsize (KiB) 42508
[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 10814
/proc/meminfo: memFree=1404352/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=43696 CPUtime=1595.6
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 11082 850 0 0 159555 5 0 0 25 0 1 0 58778838 44744704 10076 996147200 134512640 135215973 4294956320 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 10924 10076 406 171 0 9849 0
Current children cumulated CPU time (s) 1595.6
Current children cumulated vsize (KiB) 43696
[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 10814
/proc/meminfo: memFree=1394048/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=44884 CPUtime=1655.37
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 11410 850 0 0 165531 6 0 0 25 0 1 0 58778838 45961216 10404 996147200 134512640 135215973 4294956320 18446744073709551615 135020204 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 11221 10404 406 171 0 10146 0
Current children cumulated CPU time (s) 1655.37
Current children cumulated vsize (KiB) 44884
[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 10814
/proc/meminfo: memFree=1384256/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=46072 CPUtime=1715.13
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 11729 850 0 0 171507 6 0 0 25 0 1 0 58778838 47177728 10723 996147200 134512640 135215973 4294956320 18446744073709551615 135020207 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 11518 10723 406 171 0 10443 0
Current children cumulated CPU time (s) 1715.13
Current children cumulated vsize (KiB) 46072
Solver just ended. Dumping a history of the last processes samples
[startup+1727.9 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 10814
/proc/meminfo: memFree=1382912/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=46204 CPUtime=1720.7
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 11758 850 0 0 172064 6 0 0 25 0 1 0 58778838 47312896 10752 996147200 134512640 135215973 4294956320 18446744073709551615 135020330 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 11551 10752 406 171 0 10476 0
Current children cumulated CPU time (s) 1720.7
Current children cumulated vsize (KiB) 46204
[startup+1740.7 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 10814
/proc/meminfo: memFree=1381120/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=46468 CPUtime=1733.45
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 11833 850 0 0 173339 6 0 0 25 0 1 0 58778838 47583232 10827 996147200 134512640 135215973 4294956320 18446744073709551615 134583217 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 11617 10827 406 171 0 10542 0
Current children cumulated CPU time (s) 1733.45
Current children cumulated vsize (KiB) 46468
[startup+1747.1 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 10814
/proc/meminfo: memFree=1380416/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=46600 CPUtime=1739.82
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 11857 850 0 0 173976 6 0 0 25 0 1 0 58778838 47718400 10851 996147200 134512640 135215973 4294956320 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 11650 10851 406 171 0 10575 0
Current children cumulated CPU time (s) 1739.82
Current children cumulated vsize (KiB) 46600
[startup+1750.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 10814
/proc/meminfo: memFree=1380160/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=46732 CPUtime=1743.01
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 11873 850 0 0 174295 6 0 0 25 0 1 0 58778838 47853568 10867 996147200 134512640 135215973 4294956320 18446744073709551615 135020397 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 11683 10867 406 171 0 10608 0
Current children cumulated CPU time (s) 1743.01
Current children cumulated vsize (KiB) 46732
[startup+1751.9 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 10814
/proc/meminfo: memFree=1380096/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=46732 CPUtime=1744.6
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 11880 850 0 0 174454 6 0 0 25 0 1 0 58778838 47853568 10874 996147200 134512640 135215973 4294956320 18446744073709551615 135020270 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 11683 10874 406 171 0 10608 0
Current children cumulated CPU time (s) 1744.6
Current children cumulated vsize (KiB) 46732
[startup+1752.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 10814
/proc/meminfo: memFree=1379840/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=46732 CPUtime=1745.01
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194304 11880 850 0 0 174495 6 0 0 25 0 1 0 58778838 47853568 10874 996147200 134512640 135215973 4294956320 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 11683 10874 406 171 0 10608 0
Current children cumulated CPU time (s) 1745.01
Current children cumulated vsize (KiB) 46732
[startup+1752.5 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 10814
/proc/meminfo: memFree=1379840/2055920 swapFree=4191904/4192956
[pid=10775] ppid=10773 vsize=0 CPUtime=1745.21
/proc/10775/stat : 10775 (pcs.big) R 10773 10775 9057 0 -1 4194308 11885 850 0 0 174514 7 0 0 25 0 1 0 58778838 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/10775/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1745.21
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1752.5
CPU time (s): 1745.23
CPU user time (s): 1745.14
CPU system time (s): 0.081987
CPU usage (%): 99.5847
Max. virtual memory (cumulated for all children) (KiB): 46732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1745.14
system time used= 0.081987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12735
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= 19
involuntary context switches= 23154
runsolver used 1.63075 second user time and 4.75128 second system time
The end