0.00/0.01 c has big domains
0.00/0.01 c big-domain mode
0.00/0.01 c Seed is 1076062741
0.00/0.01 c Constructing HOME/instance-2079920-1247717186.xml with 3839 constraints
0.00/0.06 c Solving 8956 backtracks 13 restarts
1369.44/1380.09 s SATISFIABLE
1369.44/1380.09 c V0=14, V1=8, V2=8, V3=4, V4=9, V5=27, V6=12, V7=1, V8=11, V9=14, V10=10, V11=3, V12=16, V13=2, V14=17, V15=8, V16=6, V17=3, V18=18, V19=8, V20=13, V21=29, V22=5, V23=1, V24=7, V25=1, V26=4, V27=0, V28=2, V29=20, V30=15, V31=1, V32=20, V33=6, V34=19, V35=7, V36=1, V37=5, V38=3, V39=3, V40=12, V41=39, V42=40, V43=54, V44=57, V45=59, V46=67, V47=70, V48=78, V49=107, V50=108, V51=109, V52=109, V53=129, V54=130, V55=136, V56=143, V57=148, V58=151, V59=151, V60=0,
1369.44/1380.09 v 14 8 8 4 9 27 12 1 11 14 10 3 16 2 17 8 6 3 18 8 13 29 5 1 7 1 4 0 2 20 15 1 20 6 19 7 1 5 3 3 12 39 40 54 57 59 67 70 78 107 108 109 109 129 130 136 143 148 151 151 0
1369.44/1380.09 d ASSIGNMENTS 8956
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2079920-1247717186/watcher-2079920-1247717186 -o /tmp/evaluation-result-2079920-1247717186/solver-2079920-1247717186 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1076062741 HOME/instance-2079920-1247717186.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.05 2.02 2.00 4/73 13998
/proc/meminfo: memFree=1634192/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=5356 CPUtime=0
/proc/13998/stat : 13998 (pcssolve) S 13996 13998 13038 0 -1 4194304 305 205 0 0 0 0 0 0 19 0 1 0 58783955 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13998/statm: 1339 242 201 169 0 50 0
[pid=14000] ppid=13998 vsize=5356 CPUtime=0
/proc/14000/stat : 14000 (pcssolve) R 13998 13998 13038 0 -1 4194368 22 0 0 0 0 0 0 0 20 0 1 0 58783955 5484544 244 996147200 4194304 4889804 548682068800 18446744073709551615 243665530151 0 0 4096 0 0 0 0 17 1 0 0
/proc/14000/statm: 1339 244 203 169 0 50 0
[startup+0.0841449 s]
/proc/loadavg: 2.05 2.02 2.00 4/73 13998
/proc/meminfo: memFree=1634192/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=6100 CPUtime=0.06
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 1243 756 0 0 6 0 0 0 22 0 1 0 58783955 6246400 837 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 1525 837 404 171 0 450 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6100
[startup+0.101146 s]
/proc/loadavg: 2.05 2.02 2.00 4/73 13998
/proc/meminfo: memFree=1634192/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=6100 CPUtime=0.08
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 1256 756 0 0 8 0 0 0 22 0 1 0 58783955 6246400 850 996147200 134512640 135215973 4294956304 18446744073709551615 134590480 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 1525 850 404 171 0 450 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6100
[startup+0.301184 s]
/proc/loadavg: 2.05 2.02 2.00 4/73 13998
/proc/meminfo: memFree=1634192/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=6264 CPUtime=0.28
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 1294 756 0 0 28 0 0 0 23 0 1 0 58783955 6414336 888 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 1566 888 406 171 0 491 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6264
[startup+0.701256 s]
/proc/loadavg: 2.05 2.02 2.00 4/73 13998
/proc/meminfo: memFree=1634192/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=6264 CPUtime=0.67
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 1295 756 0 0 67 0 0 0 25 0 1 0 58783955 6414336 889 996147200 134512640 135215973 4294956304 18446744073709551615 135020404 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 1566 889 406 171 0 491 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6264
[startup+1.5014 s]
/proc/loadavg: 2.05 2.02 2.00 3/74 14003
/proc/meminfo: memFree=1632072/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=6264 CPUtime=1.47
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 1297 756 0 0 147 0 0 0 25 0 1 0 58783955 6414336 891 996147200 134512640 135215973 4294956304 18446744073709551615 134583244 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 1566 891 406 171 0 491 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 6264
[startup+3.10169 s]
/proc/loadavg: 2.05 2.02 2.00 3/74 14003
/proc/meminfo: memFree=1631688/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=6264 CPUtime=3.06
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 1306 756 0 0 306 0 0 0 25 0 1 0 58783955 6414336 900 996147200 134512640 135215973 4294956304 18446744073709551615 135020306 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 1566 900 406 171 0 491 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 6264
[startup+6.30127 s]
/proc/loadavg: 2.05 2.02 2.00 3/74 14003
/proc/meminfo: memFree=1631432/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=6264 CPUtime=6.23
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 1317 756 0 0 623 0 0 0 25 0 1 0 58783955 6414336 911 996147200 134512640 135215973 4294956304 18446744073709551615 135026902 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 1566 911 406 171 0 491 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 6264
[startup+12.7014 s]
/proc/loadavg: 2.04 2.02 2.00 3/74 14003
/proc/meminfo: memFree=1630728/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=6528 CPUtime=12.58
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 1372 756 0 0 1258 0 0 0 25 0 1 0 58783955 6684672 966 996147200 134512640 135215973 4294956304 18446744073709551615 134590080 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 1632 966 406 171 0 557 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 6528
[startup+25.5018 s]
/proc/loadavg: 2.04 2.02 2.00 3/74 14003
/proc/meminfo: memFree=1623624/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=7060 CPUtime=25.29
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 1485 756 0 0 2528 1 0 0 25 0 1 0 58783955 7229440 1079 996147200 134512640 135215973 4294956304 18446744073709551615 135020411 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 1765 1079 406 171 0 690 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 7060
[startup+51.1014 s]
/proc/loadavg: 2.02 2.02 2.00 3/74 14003
/proc/meminfo: memFree=1621960/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=7980 CPUtime=50.7
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 1705 756 0 0 5069 1 0 0 25 0 1 0 58783955 8171520 1266 996147200 134512640 135215973 4294956304 18446744073709551615 135020207 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 1995 1266 406 171 0 920 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 7980
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/74 14003
/proc/meminfo: memFree=1618440/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=9560 CPUtime=101.51
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 2143 756 0 0 10150 1 0 0 25 0 1 0 58783955 9789440 1671 996147200 134512640 135215973 4294956304 18446744073709551615 135020330 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 2390 1671 406 171 0 1315 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 9560
[startup+162.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 14003
/proc/meminfo: memFree=1614024/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=11660 CPUtime=161.04
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 2674 756 0 0 16103 1 0 0 25 0 1 0 58783955 11939840 2202 996147200 134512640 135215973 4294956304 18446744073709551615 134590078 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 2915 2202 406 171 0 1840 0
Current children cumulated CPU time (s) 161.04
Current children cumulated vsize (KiB) 11660
[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14003
/proc/meminfo: memFree=1607880/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=13364 CPUtime=220.58
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 3145 756 0 0 22057 1 0 0 25 0 1 0 58783955 13684736 2608 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 3341 2608 406 171 0 2266 0
Current children cumulated CPU time (s) 220.58
Current children cumulated vsize (KiB) 13364
[startup+282.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/74 14003
/proc/meminfo: memFree=1601992/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=14948 CPUtime=280.14
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 3562 756 0 0 28012 2 0 0 25 0 1 0 58783955 15306752 3025 996147200 134512640 135215973 4294956304 18446744073709551615 134590197 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 3737 3025 406 171 0 2662 0
Current children cumulated CPU time (s) 280.14
Current children cumulated vsize (KiB) 14948
[startup+342.302 s]
/proc/loadavg: 2.09 2.02 2.01 3/74 14003
/proc/meminfo: memFree=1595720/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=16796 CPUtime=339.68
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 4044 756 0 0 33966 2 0 0 25 0 1 0 58783955 17199104 3507 996147200 134512640 135215973 4294956304 18446744073709551615 134590055 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 4199 3507 406 171 0 3124 0
Current children cumulated CPU time (s) 339.68
Current children cumulated vsize (KiB) 16796
[startup+402.301 s]
/proc/loadavg: 2.11 2.03 2.00 3/74 14003
/proc/meminfo: memFree=1589768/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=19156 CPUtime=399.22
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 4654 756 0 0 39920 2 0 0 25 0 1 0 58783955 19615744 3988 996147200 134512640 135215973 4294956304 18446744073709551615 135020412 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 4789 3988 406 171 0 3714 0
Current children cumulated CPU time (s) 399.22
Current children cumulated vsize (KiB) 19156
[startup+462.301 s]
/proc/loadavg: 2.10 2.04 2.00 3/74 14003
/proc/meminfo: memFree=1583240/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=20872 CPUtime=458.76
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 5110 756 0 0 45874 2 0 0 25 0 1 0 58783955 21372928 4444 996147200 134512640 135215973 4294956304 18446744073709551615 135020330 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 5218 4444 406 171 0 4143 0
Current children cumulated CPU time (s) 458.76
Current children cumulated vsize (KiB) 20872
[startup+522.301 s]
/proc/loadavg: 2.10 2.05 2.00 3/74 14003
/proc/meminfo: memFree=1566920/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=22588 CPUtime=518.3
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 5560 756 0 0 51828 2 0 0 25 0 1 0 58783955 23130112 4894 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 5647 4894 406 171 0 4572 0
Current children cumulated CPU time (s) 518.3
Current children cumulated vsize (KiB) 22588
[startup+582.302 s]
/proc/loadavg: 2.17 2.07 2.01 3/74 14003
/proc/meminfo: memFree=1563144/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=24300 CPUtime=577.85
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 5992 756 0 0 57783 2 0 0 25 0 1 0 58783955 24883200 5326 996147200 134512640 135215973 4294956304 18446744073709551615 134599824 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 6075 5326 406 171 0 5000 0
Current children cumulated CPU time (s) 577.85
Current children cumulated vsize (KiB) 24300
[startup+642.302 s]
/proc/loadavg: 2.18 2.10 2.02 3/74 14003
/proc/meminfo: memFree=1559048/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=26016 CPUtime=637.39
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 6473 756 0 0 63737 2 0 0 25 0 1 0 58783955 26640384 5807 996147200 134512640 135215973 4294956304 18446744073709551615 135026898 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 6504 5807 406 171 0 5429 0
Current children cumulated CPU time (s) 637.39
Current children cumulated vsize (KiB) 26016
[startup+702.302 s]
/proc/loadavg: 2.07 2.08 2.01 3/74 14003
/proc/meminfo: memFree=1554632/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=28516 CPUtime=696.94
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 7104 756 0 0 69691 3 0 0 25 0 1 0 58783955 29200384 6373 996147200 134512640 135215973 4294956304 18446744073709551615 135026880 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 7129 6373 406 171 0 6054 0
Current children cumulated CPU time (s) 696.94
Current children cumulated vsize (KiB) 28516
[startup+762.307 s]
/proc/loadavg: 2.02 2.06 2.01 3/74 14003
/proc/meminfo: memFree=1550472/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=30232 CPUtime=756.49
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 7574 756 0 0 75646 3 0 0 25 0 1 0 58783955 30957568 6843 996147200 134512640 135215973 4294956304 18446744073709551615 135020290 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 7558 6843 406 171 0 6483 0
Current children cumulated CPU time (s) 756.49
Current children cumulated vsize (KiB) 30232
[startup+822.302 s]
/proc/loadavg: 2.01 2.05 2.00 3/74 14003
/proc/meminfo: memFree=1544840/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=32840 CPUtime=816.02
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 8249 756 0 0 81599 3 0 0 25 0 1 0 58783955 33628160 7261 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 8210 7261 406 171 0 7135 0
Current children cumulated CPU time (s) 816.02
Current children cumulated vsize (KiB) 32840
[startup+882.302 s]
/proc/loadavg: 2.00 2.04 2.00 3/74 14003
/proc/meminfo: memFree=1538568/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=34688 CPUtime=875.56
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 8718 756 0 0 87553 3 0 0 25 0 1 0 58783955 35520512 7730 996147200 134512640 135215973 4294956304 18446744073709551615 135020335 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 8672 7730 406 171 0 7597 0
Current children cumulated CPU time (s) 875.56
Current children cumulated vsize (KiB) 34688
[startup+942.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/74 14003
/proc/meminfo: memFree=1532488/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=36400 CPUtime=935.11
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 9175 756 0 0 93507 4 0 0 25 0 1 0 58783955 37273600 8187 996147200 134512640 135215973 4294956304 18446744073709551615 135020306 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 9100 8187 406 171 0 8025 0
Current children cumulated CPU time (s) 935.11
Current children cumulated vsize (KiB) 36400
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 14003
/proc/meminfo: memFree=1526216/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=38116 CPUtime=994.65
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 9624 756 0 0 99461 4 0 0 25 0 1 0 58783955 39030784 8636 996147200 134512640 135215973 4294956304 18446744073709551615 134590036 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 9529 8636 406 171 0 8454 0
Current children cumulated CPU time (s) 994.65
Current children cumulated vsize (KiB) 38116
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 14003
/proc/meminfo: memFree=1520520/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=39568 CPUtime=1054.2
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 10015 756 0 0 105416 4 0 0 25 0 1 0 58783955 40517632 9027 996147200 134512640 135215973 4294956304 18446744073709551615 135020320 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 9892 9027 406 171 0 8817 0
Current children cumulated CPU time (s) 1054.2
Current children cumulated vsize (KiB) 39568
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 14003
/proc/meminfo: memFree=1514568/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=41148 CPUtime=1113.74
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 10427 756 0 0 111370 4 0 0 25 0 1 0 58783955 42135552 9439 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 10287 9439 406 171 0 9212 0
Current children cumulated CPU time (s) 1113.74
Current children cumulated vsize (KiB) 41148
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14003
/proc/meminfo: memFree=1508680/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=42724 CPUtime=1173.28
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 10840 756 0 0 117324 4 0 0 25 0 1 0 58783955 43749376 9852 996147200 134512640 135215973 4294956304 18446744073709551615 135020397 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 10681 9852 406 171 0 9606 0
Current children cumulated CPU time (s) 1173.28
Current children cumulated vsize (KiB) 42724
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14003
/proc/meminfo: memFree=1502920/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=44176 CPUtime=1232.82
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 11219 756 0 0 123278 4 0 0 25 0 1 0 58783955 45236224 10231 996147200 134512640 135215973 4294956304 18446744073709551615 134585666 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 11044 10231 406 171 0 9969 0
Current children cumulated CPU time (s) 1232.82
Current children cumulated vsize (KiB) 44176
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 14003
/proc/meminfo: memFree=1496904/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=45624 CPUtime=1292.37
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 11624 756 0 0 129233 4 0 0 25 0 1 0 58783955 46718976 10636 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 11406 10636 406 171 0 10331 0
Current children cumulated CPU time (s) 1292.37
Current children cumulated vsize (KiB) 45624
[startup+1362.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/74 14034
/proc/meminfo: memFree=1400072/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=47340 CPUtime=1351.88
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 12055 756 0 0 135183 5 0 0 25 0 1 0 58783955 48476160 11067 996147200 134512640 135215973 4294956304 18446744073709551615 135020332 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 11835 11067 406 171 0 10760 0
Current children cumulated CPU time (s) 1351.88
Current children cumulated vsize (KiB) 47340
Solver just ended. Dumping a history of the last processes samples
[startup+1369.51 s]
/proc/loadavg: 2.10 2.03 2.01 3/74 14034
/proc/meminfo: memFree=1395336/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=47472 CPUtime=1359.03
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 12099 756 0 0 135898 5 0 0 25 0 1 0 58783955 48611328 11111 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 11868 11111 406 171 0 10793 0
Current children cumulated CPU time (s) 1359.03
Current children cumulated vsize (KiB) 47472
[startup+1375.9 s]
/proc/loadavg: 2.09 2.03 2.01 3/74 14034
/proc/meminfo: memFree=1395208/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=47736 CPUtime=1365.38
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 12157 756 0 0 136533 5 0 0 25 0 1 0 58783955 48881664 11169 996147200 134512640 135215973 4294956304 18446744073709551615 135020411 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 11934 11169 406 171 0 10859 0
Current children cumulated CPU time (s) 1365.38
Current children cumulated vsize (KiB) 47736
[startup+1377.5 s]
/proc/loadavg: 2.08 2.03 2.01 3/74 14034
/proc/meminfo: memFree=1395144/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=47736 CPUtime=1366.96
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 12164 756 0 0 136691 5 0 0 25 0 1 0 58783955 48881664 11176 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 11934 11176 406 171 0 10859 0
Current children cumulated CPU time (s) 1366.96
Current children cumulated vsize (KiB) 47736
[startup+1379.1 s]
/proc/loadavg: 2.08 2.03 2.01 3/74 14034
/proc/meminfo: memFree=1395144/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=47736 CPUtime=1368.55
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 12174 756 0 0 136850 5 0 0 25 0 1 0 58783955 48881664 11186 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 11934 11186 406 171 0 10859 0
Current children cumulated CPU time (s) 1368.55
Current children cumulated vsize (KiB) 47736
[startup+1379.9 s]
/proc/loadavg: 2.08 2.03 2.01 3/74 14034
/proc/meminfo: memFree=1395144/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=47736 CPUtime=1369.34
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194304 12184 756 0 0 136929 5 0 0 25 0 1 0 58783955 48881664 11196 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 11934 11196 406 171 0 10859 0
Current children cumulated CPU time (s) 1369.34
Current children cumulated vsize (KiB) 47736
[startup+1380.1 s]
/proc/loadavg: 2.08 2.03 2.01 3/74 14034
/proc/meminfo: memFree=1395144/2055920 swapFree=4192812/4192956
[pid=13998] ppid=13996 vsize=0 CPUtime=1369.54
/proc/13998/stat : 13998 (pcs.big) R 13996 13998 13038 0 -1 4194308 12190 756 0 0 136948 6 0 0 25 0 1 0 58783955 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/13998/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1369.54
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1380.1
CPU time (s): 1369.56
CPU user time (s): 1369.49
CPU system time (s): 0.069989
CPU usage (%): 99.2363
Max. virtual memory (cumulated for all children) (KiB): 47736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1369.49
system time used= 0.069989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12946
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= 29291
runsolver used 1.34879 second user time and 3.67544 second system time
The end