0.00/0.01 c has big domains
0.00/0.01 c big-domain mode
0.00/0.02 c Seed is 761133877
0.00/0.02 c Constructing HOME/instance-2079844-1247717111.xml with 3839 constraints
0.07/0.10 c Solving 5595 backtracks 12 restarts
1630.00/1634.43 s SATISFIABLE
1630.00/1634.43 c V0=7, V1=7, V2=19, V3=20, V4=14, V5=19, V6=10, V7=0, V8=15, V9=14, V10=17, V11=8, V12=18, V13=12, V14=9, V15=6, V16=3, V17=0, V18=2, V19=4, V20=4, V21=1, V22=8, V23=21, V24=5, V25=7, V26=6, V27=11, V28=1, V29=18, V30=13, V31=1, V32=11, V33=2, V34=12, V35=13, V36=20, V37=8, V38=16, V39=23, V40=27, V41=46, V42=46, V43=60, V44=68, V45=80, V46=86, V47=86, V48=90, V49=91, V50=112, V51=119, V52=130, V53=148, V54=149, V55=151, V56=164, V57=172, V58=195, V59=195, V60=0,
1630.00/1634.43 v 7 7 19 20 14 19 10 0 15 14 17 8 18 12 9 6 3 0 2 4 4 1 8 21 5 7 6 11 1 18 13 1 11 2 12 13 20 8 16 23 27 46 46 60 68 80 86 86 90 91 112 119 130 148 149 151 164 172 195 195 0
1630.00/1634.43 d ASSIGNMENTS 5595
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2079844-1247717111/watcher-2079844-1247717111 -o /tmp/evaluation-result-2079844-1247717111/solver-2079844-1247717111 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 761133877 HOME/instance-2079844-1247717111.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: 1.99 2.01 2.02 4/72 18017
/proc/meminfo: memFree=1661536/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=18576 CPUtime=0
/proc/18017/stat : 18017 (runsolver) R 18015 18017 16374 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 58774713 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 240577473831 0 0 4096 24578 0 0 0 17 1 0 0
/proc/18017/statm: 4644 284 249 26 0 2626 0
[startup+0.0740849 s]
/proc/loadavg: 1.99 2.01 2.02 4/72 18017
/proc/meminfo: memFree=1661536/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=5272 CPUtime=0.05
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 986 862 0 0 5 0 0 0 23 0 1 0 58774713 5398528 617 996147200 134512640 135215973 4294956304 18446744073709551615 135023631 0 0 4096 0 0 0 0 17 1 0 0
/proc/18017/statm: 1318 617 387 171 0 243 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5272
[startup+0.101085 s]
/proc/loadavg: 1.99 2.01 2.02 4/72 18017
/proc/meminfo: memFree=1661536/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=6104 CPUtime=0.07
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 1154 862 0 0 7 0 0 0 23 0 1 0 58774713 6250496 728 996147200 134512640 135215973 4294956304 18446744073709551615 4159345920 0 0 4096 0 0 0 0 17 1 0 0
/proc/18017/statm: 1526 728 390 171 0 451 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6104
[startup+0.301102 s]
/proc/loadavg: 1.99 2.01 2.02 4/72 18017
/proc/meminfo: memFree=1661536/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=6444 CPUtime=0.27
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 1360 862 0 0 27 0 0 0 25 0 1 0 58774713 6598656 929 996147200 134512640 135215973 4294956304 18446744073709551615 135020320 0 0 4096 0 0 0 0 17 1 0 0
/proc/18017/statm: 1611 929 406 171 0 536 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 6444
[startup+0.701135 s]
/proc/loadavg: 1.99 2.01 2.02 4/72 18017
/proc/meminfo: memFree=1661536/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=6444 CPUtime=0.67
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 1364 862 0 0 67 0 0 0 25 0 1 0 58774713 6598656 933 996147200 134512640 135215973 4294956304 18446744073709551615 135020330 0 0 4096 0 0 0 0 17 1 0 0
/proc/18017/statm: 1611 933 406 171 0 536 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6444
[startup+1.5012 s]
/proc/loadavg: 1.99 2.01 2.02 3/73 18022
/proc/meminfo: memFree=1659288/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=6444 CPUtime=1.46
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 1365 862 0 0 146 0 0 0 25 0 1 0 58774713 6598656 934 996147200 134512640 135215973 4294956304 18446744073709551615 134583247 0 0 4096 0 0 0 0 17 1 0 0
/proc/18017/statm: 1611 934 406 171 0 536 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 6444
[startup+3.10134 s]
/proc/loadavg: 1.99 2.01 2.02 3/73 18022
/proc/meminfo: memFree=1659160/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=6444 CPUtime=3.05
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 1373 862 0 0 305 0 0 0 25 0 1 0 58774713 6598656 942 996147200 134512640 135215973 4294956304 18446744073709551615 135026871 0 0 4096 0 0 0 0 17 1 0 0
/proc/18017/statm: 1611 942 406 171 0 536 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 6444
[startup+6.30161 s]
/proc/loadavg: 1.99 2.01 2.02 3/73 18022
/proc/meminfo: memFree=1658712/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=6444 CPUtime=6.22
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 1383 862 0 0 622 0 0 0 25 0 1 0 58774713 6598656 952 996147200 134512640 135215973 4294956304 18446744073709551615 135018627 0 0 4096 0 0 0 0 17 1 0 0
/proc/18017/statm: 1611 952 406 171 0 536 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 6444
[startup+12.7012 s]
/proc/loadavg: 1.99 2.01 2.02 3/73 18022
/proc/meminfo: memFree=1658080/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=6716 CPUtime=12.57
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 1432 862 0 0 1257 0 0 0 25 0 1 0 58774713 6877184 1001 996147200 134512640 135215973 4294956304 18446744073709551615 135020397 0 0 4096 0 0 0 0 17 1 0 0
/proc/18017/statm: 1679 1001 406 171 0 604 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 6716
[startup+25.5012 s]
/proc/loadavg: 1.99 2.01 2.02 3/73 18022
/proc/meminfo: memFree=1656928/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=7024 CPUtime=25.28
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 1505 862 0 0 2528 0 0 0 25 0 1 0 58774713 7192576 1074 996147200 134512640 135215973 4294956304 18446744073709551615 135020388 0 0 4096 0 0 0 0 17 1 0 0
/proc/18017/statm: 1756 1074 406 171 0 681 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 7024
[startup+51.1014 s]
/proc/loadavg: 2.07 2.02 2.02 3/73 18022
/proc/meminfo: memFree=1651872/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=7476 CPUtime=50.68
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 1623 862 0 0 5068 0 0 0 25 0 1 0 58774713 7655424 1192 996147200 134512640 135215973 4294956304 18446744073709551615 135020335 0 0 4096 0 0 0 0 17 1 0 0
/proc/18017/statm: 1869 1192 406 171 0 794 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 7476
[startup+102.307 s]
/proc/loadavg: 2.10 2.03 2.02 3/73 18022
/proc/meminfo: memFree=1649256/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=8660 CPUtime=101.51
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 1916 862 0 0 10150 1 0 0 25 0 1 0 58774713 8867840 1452 996147200 134512640 135215973 4294956304 18446744073709551615 134599842 0 0 4096 0 0 0 0 17 1 0 0
/proc/18017/statm: 2165 1452 406 171 0 1090 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 8660
[startup+162.302 s]
/proc/loadavg: 2.03 2.02 2.02 3/73 18022
/proc/meminfo: memFree=1643368/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=9976 CPUtime=161.05
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 2261 862 0 0 16104 1 0 0 25 0 1 0 58774713 10215424 1764 996147200 134512640 135215973 4294956304 18446744073709551615 135026874 0 0 4096 0 0 0 0 17 1 0 0
/proc/18017/statm: 2494 1764 406 171 0 1419 0
Current children cumulated CPU time (s) 161.05
Current children cumulated vsize (KiB) 9976
[startup+222.302 s]
/proc/loadavg: 2.01 2.02 2.01 3/73 18022
/proc/meminfo: memFree=1637544/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=11164 CPUtime=220.6
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 2553 862 0 0 22059 1 0 0 25 0 1 0 58774713 11431936 2056 996147200 134512640 135215973 4294956304 18446744073709551615 135020332 0 0 4096 0 0 0 0 17 1 0 0
/proc/18017/statm: 2791 2056 406 171 0 1716 0
Current children cumulated CPU time (s) 220.6
Current children cumulated vsize (KiB) 11164
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 18022
/proc/meminfo: memFree=1627048/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=12352 CPUtime=280.15
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 2858 862 0 0 28014 1 0 0 25 0 1 0 58774713 12648448 2361 996147200 134512640 135215973 4294956304 18446744073709551615 135020397 0 0 4096 0 0 0 0 17 1 0 0
/proc/18017/statm: 3088 2361 406 171 0 2013 0
Current children cumulated CPU time (s) 280.15
Current children cumulated vsize (KiB) 12352
[startup+342.301 s]
/proc/loadavg: 2.04 2.02 2.00 3/73 18022
/proc/meminfo: memFree=1623592/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=13796 CPUtime=339.7
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 3238 862 0 0 33969 1 0 0 25 0 1 0 58774713 14127104 2676 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/18017/statm: 3449 2676 406 171 0 2374 0
Current children cumulated CPU time (s) 339.7
Current children cumulated vsize (KiB) 13796
[startup+402.301 s]
/proc/loadavg: 2.12 2.05 2.01 3/73 18022
/proc/meminfo: memFree=1619688/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=14720 CPUtime=399.25
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 3493 862 0 0 39924 1 0 0 25 0 1 0 58774713 15073280 2931 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/18017/statm: 3680 2931 406 171 0 2605 0
Current children cumulated CPU time (s) 399.25
Current children cumulated vsize (KiB) 14720
[startup+462.302 s]
/proc/loadavg: 2.08 2.05 2.01 3/73 18022
/proc/meminfo: memFree=1614120/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=15776 CPUtime=458.79
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 3757 862 0 0 45878 1 0 0 25 0 1 0 58774713 16154624 3195 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 1 0 0
/proc/18017/statm: 3944 3195 406 171 0 2869 0
Current children cumulated CPU time (s) 458.79
Current children cumulated vsize (KiB) 15776
[startup+522.302 s]
/proc/loadavg: 2.03 2.04 2.00 3/73 18022
/proc/meminfo: memFree=1608616/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=16828 CPUtime=518.34
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 4040 862 0 0 51833 1 0 0 25 0 1 0 58774713 17231872 3478 996147200 134512640 135215973 4294956304 18446744073709551615 135026902 0 0 4096 0 0 0 0 17 1 0 0
/proc/18017/statm: 4207 3478 406 171 0 3132 0
Current children cumulated CPU time (s) 518.34
Current children cumulated vsize (KiB) 16828
[startup+582.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 18053
/proc/meminfo: memFree=1639592/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=18012 CPUtime=578.29
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 4343 862 0 0 57827 2 0 0 25 0 1 0 58774713 18444288 3781 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 0 0 0
/proc/18017/statm: 4503 3781 406 171 0 3428 0
Current children cumulated CPU time (s) 578.29
Current children cumulated vsize (KiB) 18012
[startup+642.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 18053
/proc/meminfo: memFree=1622632/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=19712 CPUtime=638.27
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 4796 862 0 0 63825 2 0 0 25 0 1 0 58774713 20185088 4105 996147200 134512640 135215973 4294956304 18446744073709551615 134583244 0 0 4096 0 0 0 0 17 0 0 0
/proc/18017/statm: 4928 4105 406 171 0 3853 0
Current children cumulated CPU time (s) 638.27
Current children cumulated vsize (KiB) 19712
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1509224/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=27084 CPUtime=998.14
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 6732 862 0 0 99811 3 0 0 25 0 1 0 58774713 27734016 6041 996147200 134512640 135215973 4294956304 18446744073709551615 134590021 0 0 4096 0 0 0 0 17 0 0 0
/proc/18017/statm: 6771 6041 406 171 0 5696 0
Current children cumulated CPU time (s) 998.14
Current children cumulated vsize (KiB) 27084
[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 18053
/proc/meminfo: memFree=1489000/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=28140 CPUtime=1058.12
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 7026 862 0 0 105808 4 0 0 25 0 1 0 58774713 28815360 6335 996147200 134512640 135215973 4294956304 18446744073709551615 135018615 0 0 4096 0 0 0 0 17 0 0 0
/proc/18017/statm: 7035 6335 406 171 0 5960 0
Current children cumulated CPU time (s) 1058.12
Current children cumulated vsize (KiB) 28140
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 18053
/proc/meminfo: memFree=1471400/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=29460 CPUtime=1118.09
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 7368 862 0 0 111805 4 0 0 25 0 1 0 58774713 30167040 6677 996147200 134512640 135215973 4294956304 18446744073709551615 135026900 0 0 4096 0 0 0 0 17 0 0 0
/proc/18017/statm: 7365 6677 406 171 0 6290 0
Current children cumulated CPU time (s) 1118.09
Current children cumulated vsize (KiB) 29460
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 18053
/proc/meminfo: memFree=1457640/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=30780 CPUtime=1178.07
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 7720 862 0 0 117803 4 0 0 25 0 1 0 58774713 31518720 7029 996147200 134512640 135215973 4294956304 18446744073709551615 134583239 0 0 4096 0 0 0 0 17 0 0 0
/proc/18017/statm: 7695 7029 406 171 0 6620 0
Current children cumulated CPU time (s) 1178.07
Current children cumulated vsize (KiB) 30780
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 18053
/proc/meminfo: memFree=1439080/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=33908 CPUtime=1238.05
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 8507 862 0 0 123800 5 0 0 25 0 1 0 58774713 34721792 7494 996147200 134512640 135215973 4294956304 18446744073709551615 135020207 0 0 4096 0 0 0 0 17 0 0 0
/proc/18017/statm: 8477 7494 406 171 0 7402 0
Current children cumulated CPU time (s) 1238.05
Current children cumulated vsize (KiB) 33908
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18053
/proc/meminfo: memFree=1422760/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=34960 CPUtime=1298.03
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 8787 862 0 0 129798 5 0 0 25 0 1 0 58774713 35799040 7774 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 0 0 0
/proc/18017/statm: 8740 7774 406 171 0 7665 0
Current children cumulated CPU time (s) 1298.03
Current children cumulated vsize (KiB) 34960
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18053
/proc/meminfo: memFree=1407848/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=36148 CPUtime=1358.01
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 9087 862 0 0 135795 6 0 0 25 0 1 0 58774713 37015552 8074 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/18017/statm: 9037 8074 406 171 0 7962 0
Current children cumulated CPU time (s) 1358.01
Current children cumulated vsize (KiB) 36148
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18053
/proc/meminfo: memFree=1388456/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=37336 CPUtime=1417.99
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 9397 862 0 0 141793 6 0 0 25 0 1 0 58774713 38232064 8384 996147200 134512640 135215973 4294956304 18446744073709551615 134583241 0 0 4096 0 0 0 0 17 0 0 0
/proc/18017/statm: 9334 8384 406 171 0 8259 0
Current children cumulated CPU time (s) 1417.99
Current children cumulated vsize (KiB) 37336
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18053
/proc/meminfo: memFree=1372584/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=38524 CPUtime=1477.96
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 9728 862 0 0 147790 6 0 0 25 0 1 0 58774713 39448576 8715 996147200 134512640 135215973 4294956304 18446744073709551615 135026898 0 0 4096 0 0 0 0 17 0 0 0
/proc/18017/statm: 9631 8715 406 171 0 8556 0
Current children cumulated CPU time (s) 1477.96
Current children cumulated vsize (KiB) 38524
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18053
/proc/meminfo: memFree=1356776/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=39708 CPUtime=1537.94
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 10040 862 0 0 153787 7 0 0 25 0 1 0 58774713 40660992 9027 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/18017/statm: 9927 9027 406 171 0 8852 0
Current children cumulated CPU time (s) 1537.94
Current children cumulated vsize (KiB) 39708
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18053
/proc/meminfo: memFree=1340456/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=41028 CPUtime=1597.91
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 10373 862 0 0 159784 7 0 0 25 0 1 0 58774713 42012672 9360 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/18017/statm: 10257 9360 406 171 0 9182 0
Current children cumulated CPU time (s) 1597.91
Current children cumulated vsize (KiB) 41028
Solver just ended. Dumping a history of the last processes samples
[startup+1612.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18053
/proc/meminfo: memFree=1337512/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=41160 CPUtime=1608.31
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 10426 862 0 0 160824 7 0 0 25 0 1 0 58774713 42147840 9413 996147200 134512640 135215973 4294956304 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 0 0 0
/proc/18017/statm: 10290 9413 406 171 0 9215 0
Current children cumulated CPU time (s) 1608.31
Current children cumulated vsize (KiB) 41160
[startup+1625.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18053
/proc/meminfo: memFree=1334312/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=41424 CPUtime=1621.11
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 10494 862 0 0 162104 7 0 0 25 0 1 0 58774713 42418176 9481 996147200 134512640 135215973 4294956304 18446744073709551615 135020320 0 0 4096 0 0 0 0 17 0 0 0
/proc/18017/statm: 10356 9481 406 171 0 9281 0
Current children cumulated CPU time (s) 1621.11
Current children cumulated vsize (KiB) 41424
[startup+1628.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18053
/proc/meminfo: memFree=1333288/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=41556 CPUtime=1624.3
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 10512 862 0 0 162423 7 0 0 25 0 1 0 58774713 42553344 9499 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/18017/statm: 10389 9499 406 171 0 9314 0
Current children cumulated CPU time (s) 1624.3
Current children cumulated vsize (KiB) 41556
[startup+1631.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18053
/proc/meminfo: memFree=1332392/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=41556 CPUtime=1627.5
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 10528 862 0 0 162743 7 0 0 25 0 1 0 58774713 42553344 9515 996147200 134512640 135215973 4294956304 18446744073709551615 135020306 0 0 4096 0 0 0 0 17 0 0 0
/proc/18017/statm: 10389 9515 406 171 0 9314 0
Current children cumulated CPU time (s) 1627.5
Current children cumulated vsize (KiB) 41556
[startup+1633.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18053
/proc/meminfo: memFree=1331688/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=41688 CPUtime=1629.11
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 10537 862 0 0 162904 7 0 0 25 0 1 0 58774713 42688512 9524 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/18017/statm: 10422 9524 406 171 0 9347 0
Current children cumulated CPU time (s) 1629.11
Current children cumulated vsize (KiB) 41688
[startup+1633.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18053
/proc/meminfo: memFree=1331688/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=41688 CPUtime=1629.5
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 10541 862 0 0 162943 7 0 0 25 0 1 0 58774713 42688512 9528 996147200 134512640 135215973 4294956304 18446744073709551615 134590063 0 0 4096 0 0 0 0 17 0 0 0
/proc/18017/statm: 10422 9528 406 171 0 9347 0
Current children cumulated CPU time (s) 1629.5
Current children cumulated vsize (KiB) 41688
[startup+1634.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18053
/proc/meminfo: memFree=1331688/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=41688 CPUtime=1629.9
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 10544 862 0 0 162983 7 0 0 25 0 1 0 58774713 42688512 9531 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/18017/statm: 10422 9531 406 171 0 9347 0
Current children cumulated CPU time (s) 1629.9
Current children cumulated vsize (KiB) 41688
[startup+1634.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18053
/proc/meminfo: memFree=1331688/2055920 swapFree=4192812/4192956
[pid=18017] ppid=18015 vsize=41172 CPUtime=1630
/proc/18017/stat : 18017 (pcs.big) R 18015 18017 16374 0 -1 4194304 10547 862 0 0 162993 7 0 0 25 0 1 0 58774713 42160128 9460 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/18017/statm: 10293 9460 406 171 0 9218 0
Current children cumulated CPU time (s) 1630
Current children cumulated vsize (KiB) 41172
Child status: 0
Real time (s): 1634.44
CPU time (s): 1630.06
CPU user time (s): 1629.98
CPU system time (s): 0.085986
CPU usage (%): 99.732
Max. virtual memory (cumulated for all children) (KiB): 41688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1629.98
system time used= 0.085986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11412
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= 15130
runsolver used 2.18667 second user time and 4.40433 second system time
The end