0.00/0.01 c has big domains
0.00/0.01 c big-domain mode
0.18/0.21 c Seed is 1899330793
0.18/0.21 c Constructing HOME/instance-2079866-1247717126.xml with 3839 constraints
0.18/0.21 c Solving 6977 backtracks 13 restarts
1680.53/1687.30 s SATISFIABLE
1680.53/1687.30 c V0=6, V1=11, V2=11, V3=6, V4=10, V5=1, V6=20, V7=13, V8=4, V9=2, V10=14, V11=4, V12=8, V13=4, V14=19, V15=21, V16=7, V17=6, V18=12, V19=22, V20=16, V21=40, V22=1, V23=0, V24=18, V25=5, V26=17, V27=15, V28=2, V29=23, V30=3, V31=1, V32=9, V33=2, V34=5, V35=2, V36=13, V37=0, V38=15, V39=1, V40=17, V41=18, V42=31, V43=33, V44=37, V45=41, V46=62, V47=68, V48=90, V49=130, V50=130, V51=135, V52=150, V53=173, V54=174, V55=176, V56=178, V57=178, V58=179, V59=179, V60=0,
1680.53/1687.30 v 6 11 11 6 10 1 20 13 4 2 14 4 8 4 19 21 7 6 12 22 16 40 1 0 18 5 17 15 2 23 3 1 9 2 5 2 13 0 15 1 17 18 31 33 37 41 62 68 90 130 130 135 150 173 174 176 178 178 179 179 0
1680.53/1687.30 d ASSIGNMENTS 6977
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2079866-1247717126/watcher-2079866-1247717126 -o /tmp/evaluation-result-2079866-1247717126/solver-2079866-1247717126 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1899330793 HOME/instance-2079866-1247717126.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.21 2.12 2.03 4/75 18387
/proc/meminfo: memFree=1631800/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=5356 CPUtime=0
/proc/18387/stat : 18387 (pcssolve) R 18385 18387 17311 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 58775311 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 209560595103 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/18387/statm: 1339 241 200 169 0 50 0
[pid=18388] ppid=18387 vsize=3676 CPUtime=0
/proc/18388/stat : 18388 (fgrep) R 18387 18387 17311 0 -1 4194304 147 0 0 0 0 0 0 0 22 0 1 0 58775312 3764224 114 996147200 4194304 4274172 548682068976 18446744073709551615 4208903 0 0 4096 0 0 0 0 17 1 0 0
/proc/18388/statm: 919 114 86 19 0 43 0
[pid=18389] ppid=18387 vsize=5356 CPUtime=0
/proc/18389/stat : 18389 (pcssolve) R 18387 18387 17311 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 58775312 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 209560595103 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/18389/statm: 1339 241 200 169 0 50 0
[startup+0.116498 s]
/proc/loadavg: 2.21 2.12 2.03 4/75 18387
/proc/meminfo: memFree=1631800/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=6228 CPUtime=0.09
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 1283 846 0 0 9 0 0 0 18 0 1 0 58775311 6377472 863 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/18387/statm: 1557 863 404 171 0 482 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6228
[startup+0.201508 s]
/proc/loadavg: 2.21 2.12 2.03 4/75 18387
/proc/meminfo: memFree=1631800/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=6228 CPUtime=0.18
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 1313 846 0 0 18 0 0 0 18 0 1 0 58775311 6377472 893 996147200 134512640 135215973 4294956304 18446744073709551615 134585089 0 0 4096 0 0 0 0 17 1 0 0
/proc/18387/statm: 1557 893 404 171 0 482 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 6228
[startup+0.301525 s]
/proc/loadavg: 2.21 2.12 2.03 4/75 18387
/proc/meminfo: memFree=1631800/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=6228 CPUtime=0.28
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 1318 846 0 0 28 0 0 0 19 0 1 0 58775311 6377472 898 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/18387/statm: 1557 898 406 171 0 482 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6228
[startup+0.701592 s]
/proc/loadavg: 2.21 2.12 2.03 4/75 18387
/proc/meminfo: memFree=1631800/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=6380 CPUtime=0.68
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 1328 846 0 0 68 0 0 0 22 0 1 0 58775311 6533120 908 996147200 134512640 135215973 4294956304 18446744073709551615 134583174 0 0 4096 0 0 0 0 17 1 0 0
/proc/18387/statm: 1595 908 406 171 0 520 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6380
[startup+1.50173 s]
/proc/loadavg: 2.20 2.11 2.03 3/76 18392
/proc/meminfo: memFree=1629680/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=6380 CPUtime=1.48
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 1330 846 0 0 148 0 0 0 25 0 1 0 58775311 6533120 910 996147200 134512640 135215973 4294956304 18446744073709551615 135026968 0 0 4096 0 0 0 0 17 1 0 0
/proc/18387/statm: 1595 910 406 171 0 520 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 6380
[startup+3.102 s]
/proc/loadavg: 2.20 2.11 2.03 3/76 18392
/proc/meminfo: memFree=1629488/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=6380 CPUtime=3.08
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 1333 846 0 0 308 0 0 0 25 0 1 0 58775311 6533120 913 996147200 134512640 135215973 4294956304 18446744073709551615 135018640 0 0 4096 0 0 0 0 17 1 0 0
/proc/18387/statm: 1595 913 406 171 0 520 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 6380
[startup+6.30154 s]
/proc/loadavg: 2.18 2.11 2.03 3/76 18392
/proc/meminfo: memFree=1629168/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=6380 CPUtime=6.27
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 1343 846 0 0 627 0 0 0 25 0 1 0 58775311 6533120 923 996147200 134512640 135215973 4294956304 18446744073709551615 135020411 0 0 4096 0 0 0 0 17 1 0 0
/proc/18387/statm: 1595 923 406 171 0 520 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 6380
[startup+12.7016 s]
/proc/loadavg: 2.16 2.11 2.03 3/76 18392
/proc/meminfo: memFree=1628720/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=6644 CPUtime=12.67
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 1410 846 0 0 1267 0 0 0 25 0 1 0 58775311 6803456 990 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/18387/statm: 1661 990 406 171 0 586 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 6644
[startup+25.5018 s]
/proc/loadavg: 2.21 2.12 2.04 3/76 18392
/proc/meminfo: memFree=1628208/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=6908 CPUtime=25.46
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 1479 846 0 0 2546 0 0 0 25 0 1 0 58775311 7073792 1059 996147200 134512640 135215973 4294956304 18446744073709551615 135026919 0 0 4096 0 0 0 0 17 1 0 0
/proc/18387/statm: 1727 1059 406 171 0 652 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 6908
[startup+51.1011 s]
/proc/loadavg: 2.13 2.11 2.03 3/76 18392
/proc/meminfo: memFree=1626928/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=7568 CPUtime=51.06
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 1640 846 0 0 5105 1 0 0 25 0 1 0 58775311 7749632 1220 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/18387/statm: 1892 1220 406 171 0 817 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 7568
[startup+102.302 s]
/proc/loadavg: 2.02 2.08 2.02 3/86 18579
/proc/meminfo: memFree=1458200/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=9148 CPUtime=102.05
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 2027 846 0 0 10202 3 0 0 25 0 1 0 58775311 9367552 1574 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/18387/statm: 2287 1574 406 171 0 1212 0
Current children cumulated CPU time (s) 102.05
Current children cumulated vsize (KiB) 9148
[startup+162.302 s]
/proc/loadavg: 2.15 2.09 2.03 3/86 18620
/proc/meminfo: memFree=1457888/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=10856 CPUtime=161.8
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 2464 846 0 0 16176 4 0 0 25 0 1 0 58775311 11116544 1978 996147200 134512640 135215973 4294956304 18446744073709551615 134590168 0 0 4096 0 0 0 0 17 0 0 0
/proc/18387/statm: 2714 1978 406 171 0 1639 0
Current children cumulated CPU time (s) 161.8
Current children cumulated vsize (KiB) 10856
[startup+222.306 s]
/proc/loadavg: 2.29 2.13 2.04 3/86 18620
/proc/meminfo: memFree=884000/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=12308 CPUtime=221.55
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 2843 846 0 0 22151 4 0 0 25 0 1 0 58775311 12603392 2357 996147200 134512640 135215973 4294956304 18446744073709551615 134583211 0 0 4096 0 0 0 0 17 0 0 0
/proc/18387/statm: 3077 2357 406 171 0 2002 0
Current children cumulated CPU time (s) 221.55
Current children cumulated vsize (KiB) 12308
[startup+282.301 s]
/proc/loadavg: 2.14 2.12 2.04 3/76 18653
/proc/meminfo: memFree=1595568/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=14016 CPUtime=281.29
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 3305 846 0 0 28124 5 0 0 25 0 1 0 58775311 14352384 2754 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/18387/statm: 3504 2754 406 171 0 2429 0
Current children cumulated CPU time (s) 281.29
Current children cumulated vsize (KiB) 14016
[startup+342.301 s]
/proc/loadavg: 2.05 2.10 2.04 3/76 18653
/proc/meminfo: memFree=1584432/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=15336 CPUtime=341.05
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 3630 846 0 0 34100 5 0 0 25 0 1 0 58775311 15704064 3079 996147200 134512640 135215973 4294956304 18446744073709551615 135020335 0 0 4096 0 0 0 0 17 0 0 0
/proc/18387/statm: 3834 3079 406 171 0 2759 0
Current children cumulated CPU time (s) 341.05
Current children cumulated vsize (KiB) 15336
[startup+402.302 s]
/proc/loadavg: 2.02 2.08 2.03 3/76 18653
/proc/meminfo: memFree=1571312/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=16524 CPUtime=400.81
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 3961 846 0 0 40075 6 0 0 25 0 1 0 58775311 16920576 3410 996147200 134512640 135215973 4294956304 18446744073709551615 134590070 0 0 4096 0 0 0 0 17 0 0 0
/proc/18387/statm: 4131 3410 406 171 0 3056 0
Current children cumulated CPU time (s) 400.81
Current children cumulated vsize (KiB) 16524
[startup+462.302 s]
/proc/loadavg: 2.00 2.06 2.03 3/76 18653
/proc/meminfo: memFree=1566064/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=17976 CPUtime=460.56
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 4325 846 0 0 46050 6 0 0 25 0 1 0 58775311 18407424 3774 996147200 134512640 135215973 4294956304 18446744073709551615 135026925 0 0 4096 0 0 0 0 17 0 0 0
/proc/18387/statm: 4494 3774 406 171 0 3419 0
Current children cumulated CPU time (s) 460.56
Current children cumulated vsize (KiB) 17976
[startup+522.302 s]
/proc/loadavg: 2.00 2.05 2.02 3/76 18653
/proc/meminfo: memFree=1554928/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=19936 CPUtime=520.31
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 4846 846 0 0 52025 6 0 0 25 0 1 0 58775311 20414464 4166 996147200 134512640 135215973 4294956304 18446744073709551615 135020299 0 0 4096 0 0 0 0 17 0 0 0
/proc/18387/statm: 4984 4166 406 171 0 3909 0
Current children cumulated CPU time (s) 520.31
Current children cumulated vsize (KiB) 19936
[startup+582.301 s]
/proc/loadavg: 2.00 2.04 2.01 3/76 18653
/proc/meminfo: memFree=1544304/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=21388 CPUtime=580.06
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 5243 846 0 0 58000 6 0 0 25 0 1 0 58775311 21901312 4563 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 0 0 0
/proc/18387/statm: 5347 4563 406 171 0 4272 0
Current children cumulated CPU time (s) 580.06
Current children cumulated vsize (KiB) 21388
[startup+642.301 s]
/proc/loadavg: 2.00 2.03 2.01 3/76 18653
/proc/meminfo: memFree=1534064/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=22836 CPUtime=639.81
################
# More data... #
################
/proc/meminfo: memFree=1450096/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=35060 CPUtime=1058.1
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 8782 846 0 0 105802 8 0 0 25 0 1 0 58775311 35901440 7780 996147200 134512640 135215973 4294956304 18446744073709551615 135020412 0 0 4096 0 0 0 0 17 0 0 0
/proc/18387/statm: 8765 7780 406 171 0 7690 0
Current children cumulated CPU time (s) 1058.1
Current children cumulated vsize (KiB) 35060
[startup+1122.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/76 18653
/proc/meminfo: memFree=1435504/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=36512 CPUtime=1117.85
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 9168 846 0 0 111777 8 0 0 25 0 1 0 58775311 37388288 8166 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/18387/statm: 9128 8166 406 171 0 8053 0
Current children cumulated CPU time (s) 1117.85
Current children cumulated vsize (KiB) 36512
[startup+1182.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/76 18653
/proc/meminfo: memFree=1422384/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=37832 CPUtime=1177.61
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 9510 846 0 0 117752 9 0 0 25 0 1 0 58775311 38739968 8508 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/18387/statm: 9458 8508 406 171 0 8383 0
Current children cumulated CPU time (s) 1177.61
Current children cumulated vsize (KiB) 37832
[startup+1242.3 s]
/proc/loadavg: 2.16 2.08 2.02 3/76 18653
/proc/meminfo: memFree=1412400/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=39152 CPUtime=1237.36
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 9864 846 0 0 123727 9 0 0 25 0 1 0 58775311 40091648 8862 996147200 134512640 135215973 4294956304 18446744073709551615 135026902 0 0 4096 0 0 0 0 17 0 0 0
/proc/18387/statm: 9788 8862 406 171 0 8713 0
Current children cumulated CPU time (s) 1237.36
Current children cumulated vsize (KiB) 39152
[startup+1302.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/76 18653
/proc/meminfo: memFree=1403312/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=40468 CPUtime=1297.11
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 10208 846 0 0 129702 9 0 0 25 0 1 0 58775311 41439232 9206 996147200 134512640 135215973 4294956304 18446744073709551615 134590070 0 0 4096 0 0 0 0 17 0 0 0
/proc/18387/statm: 10117 9206 406 171 0 9042 0
Current children cumulated CPU time (s) 1297.11
Current children cumulated vsize (KiB) 40468
[startup+1362.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/76 18653
/proc/meminfo: memFree=1393264/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=41784 CPUtime=1356.86
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 10556 846 0 0 135677 9 0 0 25 0 1 0 58775311 42786816 9554 996147200 134512640 135215973 4294956304 18446744073709551615 134599863 0 0 4096 0 0 0 0 17 0 0 0
/proc/18387/statm: 10446 9554 406 171 0 9371 0
Current children cumulated CPU time (s) 1356.86
Current children cumulated vsize (KiB) 41784
[startup+1422.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/76 18653
/proc/meminfo: memFree=1385904/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=43236 CPUtime=1416.62
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 10937 846 0 0 141653 9 0 0 25 0 1 0 58775311 44273664 9935 996147200 134512640 135215973 4294956304 18446744073709551615 135020412 0 0 4096 0 0 0 0 17 0 0 0
/proc/18387/statm: 10809 9935 406 171 0 9734 0
Current children cumulated CPU time (s) 1416.62
Current children cumulated vsize (KiB) 43236
[startup+1482.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/76 18653
/proc/meminfo: memFree=1379440/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=44556 CPUtime=1476.38
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 11300 846 0 0 147628 10 0 0 25 0 1 0 58775311 45625344 10298 996147200 134512640 135215973 4294956304 18446744073709551615 135020335 0 0 4096 0 0 0 0 17 0 0 0
/proc/18387/statm: 11139 10298 406 171 0 10064 0
Current children cumulated CPU time (s) 1476.38
Current children cumulated vsize (KiB) 44556
[startup+1542.31 s]
/proc/loadavg: 2.00 2.03 2.00 3/76 18653
/proc/meminfo: memFree=1373616/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=45876 CPUtime=1536.13
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 11621 846 0 0 153603 10 0 0 25 0 1 0 58775311 46977024 10619 996147200 134512640 135215973 4294956304 18446744073709551615 135020335 0 0 4096 0 0 0 0 17 0 0 0
/proc/18387/statm: 11469 10619 406 171 0 10394 0
Current children cumulated CPU time (s) 1536.13
Current children cumulated vsize (KiB) 45876
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/76 18653
/proc/meminfo: memFree=1364464/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=47192 CPUtime=1595.88
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 11976 846 0 0 159578 10 0 0 25 0 1 0 58775311 48324608 10974 996147200 134512640 135215973 4294956304 18446744073709551615 135020314 0 0 4096 0 0 0 0 17 0 0 0
/proc/18387/statm: 11798 10974 406 171 0 10723 0
Current children cumulated CPU time (s) 1595.88
Current children cumulated vsize (KiB) 47192
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/76 18653
/proc/meminfo: memFree=1352624/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=48512 CPUtime=1655.64
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 12316 846 0 0 165553 11 0 0 25 0 1 0 58775311 49676288 11314 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/18387/statm: 12128 11314 406 171 0 11053 0
Current children cumulated CPU time (s) 1655.64
Current children cumulated vsize (KiB) 48512
Solver just ended. Dumping a history of the last processes samples
[startup+1664 s]
/proc/loadavg: 2.00 2.02 2.00 3/76 18653
/proc/meminfo: memFree=1352624/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=48512 CPUtime=1657.33
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 12321 846 0 0 165722 11 0 0 25 0 1 0 58775311 49676288 11319 996147200 134512640 135215973 4294956304 18446744073709551615 134590052 0 0 4096 0 0 0 0 17 0 0 0
/proc/18387/statm: 12128 11319 406 171 0 11053 0
Current children cumulated CPU time (s) 1657.33
Current children cumulated vsize (KiB) 48512
[startup+1676.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/76 18653
/proc/meminfo: memFree=1352112/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=48776 CPUtime=1670.08
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 12400 846 0 0 166997 11 0 0 25 0 1 0 58775311 49946624 11398 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/18387/statm: 12194 11398 406 171 0 11119 0
Current children cumulated CPU time (s) 1670.08
Current children cumulated vsize (KiB) 48776
[startup+1683.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/76 18653
/proc/meminfo: memFree=1351088/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=48908 CPUtime=1676.45
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 12445 846 0 0 167634 11 0 0 25 0 1 0 58775311 50081792 11443 996147200 134512640 135215973 4294956304 18446744073709551615 135020192 0 0 4096 0 0 0 0 17 0 0 0
/proc/18387/statm: 12227 11443 406 171 0 11152 0
Current children cumulated CPU time (s) 1676.45
Current children cumulated vsize (KiB) 48908
[startup+1684.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/76 18653
/proc/meminfo: memFree=1351088/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=49040 CPUtime=1678.04
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 12453 846 0 0 167793 11 0 0 25 0 1 0 58775311 50216960 11451 996147200 134512640 135215973 4294956304 18446744073709551615 135020320 0 0 4096 0 0 0 0 17 0 0 0
/proc/18387/statm: 12260 11451 406 171 0 11185 0
Current children cumulated CPU time (s) 1678.04
Current children cumulated vsize (KiB) 49040
[startup+1686.41 s]
/proc/loadavg: 2.00 2.01 2.00 3/76 18653
/proc/meminfo: memFree=1350960/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=49040 CPUtime=1679.64
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 12468 846 0 0 167953 11 0 0 25 0 1 0 58775311 50216960 11466 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/18387/statm: 12260 11466 406 171 0 11185 0
Current children cumulated CPU time (s) 1679.64
Current children cumulated vsize (KiB) 49040
[startup+1686.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/76 18653
/proc/meminfo: memFree=1350960/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=49040 CPUtime=1680.03
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 12468 846 0 0 167992 11 0 0 25 0 1 0 58775311 50216960 11466 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/18387/statm: 12260 11466 406 171 0 11185 0
Current children cumulated CPU time (s) 1680.03
Current children cumulated vsize (KiB) 49040
[startup+1687.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/76 18653
/proc/meminfo: memFree=1350960/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=49040 CPUtime=1680.43
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 12480 846 0 0 168032 11 0 0 25 0 1 0 58775311 50216960 11478 996147200 134512640 135215973 4294956304 18446744073709551615 135020397 0 0 4096 0 0 0 0 17 0 0 0
/proc/18387/statm: 12260 11478 406 171 0 11185 0
Current children cumulated CPU time (s) 1680.43
Current children cumulated vsize (KiB) 49040
[startup+1687.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/76 18653
/proc/meminfo: memFree=1350960/2055920 swapFree=4192812/4192956
[pid=18387] ppid=18385 vsize=48524 CPUtime=1680.53
/proc/18387/stat : 18387 (pcs.big) R 18385 18387 17311 0 -1 4194304 12480 846 0 0 168042 11 0 0 25 0 1 0 58775311 49688576 11393 996147200 134512640 135215973 4294956304 18446744073709551615 9162904 0 0 4096 0 0 0 0 17 0 0 0
/proc/18387/statm: 12131 11393 406 171 0 11056 0
Current children cumulated CPU time (s) 1680.53
Current children cumulated vsize (KiB) 48524
Child status: 0
Real time (s): 1687.31
CPU time (s): 1680.56
CPU user time (s): 1680.43
CPU system time (s): 0.12598
CPU usage (%): 99.5998
Max. virtual memory (cumulated for all children) (KiB): 49040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1680.43
system time used= 0.12598
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13329
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= 18
involuntary context switches= 21988
runsolver used 1.54377 second user time and 4.6243 second system time
The end