0.00/0.01 c has big domains
0.00/0.01 c big-domain mode
0.00/0.01 c Seed is 847012095
0.00/0.01 c Constructing HOME/instance-2079821-1247717088.xml with 3839 constraints
0.05/0.08 c Solving 4245 backtracks 12 restarts
1037.79/1045.78 s SATISFIABLE
1037.79/1045.78 c V0=20, V1=18, V2=6, V3=11, V4=16, V5=2, V6=8, V7=26, V8=17, V9=6, V10=10, V11=3, V12=4, V13=4, V14=19, V15=1, V16=12, V17=13, V18=18, V19=2, V20=3, V21=3, V22=2, V23=0, V24=5, V25=23, V26=15, V27=11, V28=1, V29=7, V30=13, V31=8, V32=7, V33=0, V34=11, V35=4, V36=14, V37=29, V38=9, V39=8, V40=29, V41=31, V42=57, V43=63, V44=66, V45=70, V46=71, V47=84, V48=86, V49=89, V50=89, V51=112, V52=123, V53=130, V54=138, V55=138, V56=142, V57=171, V58=179, V59=179, V60=0,
1037.79/1045.78 v 20 18 6 11 16 2 8 26 17 6 10 3 4 4 19 1 12 13 18 2 3 3 2 0 5 23 15 11 1 7 13 8 7 0 11 4 14 29 9 8 29 31 57 63 66 70 71 84 86 89 89 112 123 130 138 138 142 171 179 179 0
1037.79/1045.78 d ASSIGNMENTS 4245
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2079821-1247717088/watcher-2079821-1247717088 -o /tmp/evaluation-result-2079821-1247717088/solver-2079821-1247717088 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 847012095 HOME/instance-2079821-1247717088.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/73 11985
/proc/meminfo: memFree=1356344/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=5356 CPUtime=0
/proc/11985/stat : 11985 (pcssolve) R 11983 11985 11556 0 -1 4194304 290 0 0 0 0 0 0 0 19 0 1 0 58776035 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 228706544287 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/11985/statm: 1339 241 200 169 0 50 0
[pid=11986] ppid=11985 vsize=0 CPUtime=0
/proc/11986/stat : 11986 (fgrep) Z 11985 11985 11556 0 -1 4194316 250 0 0 0 0 0 0 0 19 0 1 0 58776035 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/11986/statm: 0 0 0 0 0 0 0
[pid=11987] ppid=11985 vsize=5356 CPUtime=0
/proc/11987/stat : 11987 (pcssolve) R 11985 11985 11556 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 1 0 58776035 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 228706544287 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/11987/statm: 1339 241 200 169 0 50 0
[startup+0.067993 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 11985
/proc/meminfo: memFree=1356344/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=5224 CPUtime=0.05
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 984 846 0 0 5 0 0 0 22 0 1 0 58776035 5349376 615 996147200 134512640 135215973 4294956320 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 1306 615 388 171 0 231 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5224
[startup+0.101999 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 11985
/proc/meminfo: memFree=1356344/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=6228 CPUtime=0.08
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 1282 846 0 0 8 0 0 0 22 0 1 0 58776035 6377472 862 996147200 134512640 135215973 4294956320 18446744073709551615 135027106 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 1557 862 404 171 0 482 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6228
[startup+0.302015 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 11985
/proc/meminfo: memFree=1356344/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=6228 CPUtime=0.28
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 1319 846 0 0 28 0 0 0 24 0 1 0 58776035 6377472 899 996147200 134512640 135215973 4294956320 18446744073709551615 134583259 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 1557 899 406 171 0 482 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6228
[startup+0.701055 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 11985
/proc/meminfo: memFree=1356344/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=6228 CPUtime=0.67
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 1320 846 0 0 67 0 0 0 25 0 1 0 58776035 6377472 900 996147200 134512640 135215973 4294956320 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 1557 900 406 171 0 482 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6228
[startup+1.50113 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11990
/proc/meminfo: memFree=1354224/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=6404 CPUtime=1.47
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 1358 846 0 0 147 0 0 0 25 0 1 0 58776035 6557696 938 996147200 134512640 135215973 4294956320 18446744073709551615 135020339 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 1601 938 406 171 0 526 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 6404
[startup+3.10128 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11990
/proc/meminfo: memFree=1353840/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=6404 CPUtime=3.06
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 1359 846 0 0 306 0 0 0 25 0 1 0 58776035 6557696 939 996147200 134512640 135215973 4294956320 18446744073709551615 134583247 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 1601 939 406 171 0 526 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 6404
[startup+6.30158 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11990
/proc/meminfo: memFree=1350832/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=6404 CPUtime=6.23
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 1361 846 0 0 623 0 0 0 25 0 1 0 58776035 6557696 941 996147200 134512640 135215973 4294956320 18446744073709551615 134590078 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 1601 941 406 171 0 526 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 6404
[startup+12.7012 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11990
/proc/meminfo: memFree=1350512/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=6536 CPUtime=12.58
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 1385 846 0 0 1258 0 0 0 25 0 1 0 58776035 6692864 965 996147200 134512640 135215973 4294956320 18446744073709551615 134584443 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 1634 965 406 171 0 559 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 6536
[startup+25.5014 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11990
/proc/meminfo: memFree=1349872/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=6820 CPUtime=25.29
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 1469 846 0 0 2529 0 0 0 25 0 1 0 58776035 6983680 1049 996147200 134512640 135215973 4294956320 18446744073709551615 134599879 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 1705 1049 406 171 0 630 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 6820
[startup+51.1018 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11990
/proc/meminfo: memFree=1348080/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=7632 CPUtime=50.7
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 1658 846 0 0 5069 1 0 0 25 0 1 0 58776035 7815168 1238 996147200 134512640 135215973 4294956320 18446744073709551615 135020337 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 1908 1238 406 171 0 833 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 7632
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11990
/proc/meminfo: memFree=1342520/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=8984 CPUtime=101.52
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 1996 846 0 0 10151 1 0 0 25 0 1 0 58776035 9199616 1543 996147200 134512640 135215973 4294956320 18446744073709551615 135026919 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 2246 1543 406 171 0 1171 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 8984
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11990
/proc/meminfo: memFree=1335864/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=10696 CPUtime=161.05
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 2439 846 0 0 16104 1 0 0 25 0 1 0 58776035 10952704 1953 996147200 134512640 135215973 4294956320 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 2674 1953 406 171 0 1599 0
Current children cumulated CPU time (s) 161.05
Current children cumulated vsize (KiB) 10696
[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11990
/proc/meminfo: memFree=1323704/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=12540 CPUtime=220.6
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 2909 846 0 0 22059 1 0 0 25 0 1 0 58776035 12840960 2423 996147200 134512640 135215973 4294956320 18446744073709551615 134590168 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 3135 2423 406 171 0 2060 0
Current children cumulated CPU time (s) 220.6
Current children cumulated vsize (KiB) 12540
[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11990
/proc/meminfo: memFree=1319928/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=14380 CPUtime=280.15
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 3374 846 0 0 28013 2 0 0 25 0 1 0 58776035 14725120 2823 996147200 134512640 135215973 4294956320 18446744073709551615 134590134 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 3595 2823 406 171 0 2520 0
Current children cumulated CPU time (s) 280.15
Current children cumulated vsize (KiB) 14380
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11990
/proc/meminfo: memFree=1316664/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=15304 CPUtime=339.7
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 3643 846 0 0 33968 2 0 0 25 0 1 0 58776035 15671296 3092 996147200 134512640 135215973 4294956320 18446744073709551615 134590017 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 3826 3092 406 171 0 2751 0
Current children cumulated CPU time (s) 339.7
Current children cumulated vsize (KiB) 15304
[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11990
/proc/meminfo: memFree=1310776/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=16488 CPUtime=399.25
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 3939 846 0 0 39923 2 0 0 25 0 1 0 58776035 16883712 3388 996147200 134512640 135215973 4294956320 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 4122 3388 406 171 0 3047 0
Current children cumulated CPU time (s) 399.25
Current children cumulated vsize (KiB) 16488
[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11990
/proc/meminfo: memFree=1305016/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=17544 CPUtime=458.79
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 4243 846 0 0 45877 2 0 0 25 0 1 0 58776035 17965056 3692 996147200 134512640 135215973 4294956320 18446744073709551615 134583213 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 4386 3692 406 171 0 3311 0
Current children cumulated CPU time (s) 458.79
Current children cumulated vsize (KiB) 17544
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11990
/proc/meminfo: memFree=1299320/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=19376 CPUtime=518.34
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 4691 846 0 0 51831 3 0 0 25 0 1 0 58776035 19841024 4011 996147200 134512640 135215973 4294956320 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 4844 4011 406 171 0 3769 0
Current children cumulated CPU time (s) 518.34
Current children cumulated vsize (KiB) 19376
[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11990
/proc/meminfo: memFree=1292984/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=20556 CPUtime=577.89
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 5012 846 0 0 57786 3 0 0 25 0 1 0 58776035 21049344 4332 996147200 134512640 135215973 4294956320 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 5139 4332 406 171 0 4064 0
Current children cumulated CPU time (s) 577.89
Current children cumulated vsize (KiB) 20556
[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11990
/proc/meminfo: memFree=1287096/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=21876 CPUtime=637.44
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 5346 846 0 0 63741 3 0 0 25 0 1 0 58776035 22401024 4666 996147200 134512640 135215973 4294956320 18446744073709551615 134590021 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 5469 4666 406 171 0 4394 0
Current children cumulated CPU time (s) 637.44
Current children cumulated vsize (KiB) 21876
[startup+702.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11990
/proc/meminfo: memFree=1271480/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=23196 CPUtime=696.98
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 5699 846 0 0 69695 3 0 0 25 0 1 0 58776035 23752704 5019 996147200 134512640 135215973 4294956320 18446744073709551615 134583239 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 5799 5019 406 171 0 4724 0
Current children cumulated CPU time (s) 696.98
Current children cumulated vsize (KiB) 23196
[startup+762.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11990
/proc/meminfo: memFree=1267832/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=24648 CPUtime=756.53
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 6083 846 0 0 75650 3 0 0 25 0 1 0 58776035 25239552 5403 996147200 134512640 135215973 4294956320 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 6162 5403 406 171 0 5087 0
Current children cumulated CPU time (s) 756.53
Current children cumulated vsize (KiB) 24648
[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11990
/proc/meminfo: memFree=1264376/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=26100 CPUtime=816.07
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 6486 846 0 0 81604 3 0 0 25 0 1 0 58776035 26726400 5806 996147200 134512640 135215973 4294956320 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 6525 5806 406 171 0 5450 0
Current children cumulated CPU time (s) 816.07
Current children cumulated vsize (KiB) 26100
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11990
/proc/meminfo: memFree=1260856/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=27684 CPUtime=875.62
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 6885 846 0 0 87559 3 0 0 25 0 1 0 58776035 28348416 6205 996147200 134512640 135215973 4294956320 18446744073709551615 135020323 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 6921 6205 406 171 0 5846 0
Current children cumulated CPU time (s) 875.62
Current children cumulated vsize (KiB) 27684
[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11990
/proc/meminfo: memFree=1256760/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=29136 CPUtime=935.18
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 7271 846 0 0 93514 4 0 0 25 0 1 0 58776035 29835264 6591 996147200 134512640 135215973 4294956320 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 7284 6591 406 171 0 6209 0
Current children cumulated CPU time (s) 935.18
Current children cumulated vsize (KiB) 29136
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11990
/proc/meminfo: memFree=1251128/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=30588 CPUtime=994.72
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 7650 846 0 0 99468 4 0 0 25 0 1 0 58776035 31322112 6970 996147200 134512640 135215973 4294956320 18446744073709551615 135026885 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 7647 6970 406 171 0 6572 0
Current children cumulated CPU time (s) 994.72
Current children cumulated vsize (KiB) 30588
Solver just ended. Dumping a history of the last processes samples
[startup+1023.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11990
/proc/meminfo: memFree=1249144/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=32008 CPUtime=1016.16
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 8018 846 0 0 101612 4 0 0 25 0 1 0 58776035 32776192 7081 996147200 134512640 135215973 4294956320 18446744073709551615 134599879 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 8002 7081 406 171 0 6927 0
Current children cumulated CPU time (s) 1016.16
Current children cumulated vsize (KiB) 32008
[startup+1036.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11990
/proc/meminfo: memFree=1247864/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=32404 CPUtime=1028.86
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 8120 846 0 0 102882 4 0 0 25 0 1 0 58776035 33181696 7183 996147200 134512640 135215973 4294956320 18446744073709551615 134590036 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 8101 7183 406 171 0 7026 0
Current children cumulated CPU time (s) 1028.86
Current children cumulated vsize (KiB) 32404
[startup+1039.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11990
/proc/meminfo: memFree=1247608/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=32536 CPUtime=1032.03
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 8135 846 0 0 103199 4 0 0 25 0 1 0 58776035 33316864 7198 996147200 134512640 135215973 4294956320 18446744073709551615 135020290 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 8134 7198 406 171 0 7059 0
Current children cumulated CPU time (s) 1032.03
Current children cumulated vsize (KiB) 32536
[startup+1043.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11990
/proc/meminfo: memFree=1247224/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=32668 CPUtime=1035.21
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 8161 846 0 0 103517 4 0 0 25 0 1 0 58776035 33452032 7224 996147200 134512640 135215973 4294956320 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 8167 7224 406 171 0 7092 0
Current children cumulated CPU time (s) 1035.21
Current children cumulated vsize (KiB) 32668
[startup+1044.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11990
/proc/meminfo: memFree=1247160/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=32668 CPUtime=1036.8
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 8175 846 0 0 103676 4 0 0 25 0 1 0 58776035 33452032 7238 996147200 134512640 135215973 4294956320 18446744073709551615 134583239 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 8167 7238 406 171 0 7092 0
Current children cumulated CPU time (s) 1036.8
Current children cumulated vsize (KiB) 32668
[startup+1045.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11990
/proc/meminfo: memFree=1247032/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=32668 CPUtime=1037.59
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 8180 846 0 0 103755 4 0 0 25 0 1 0 58776035 33452032 7243 996147200 134512640 135215973 4294956320 18446744073709551615 134583622 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 8167 7243 406 171 0 7092 0
Current children cumulated CPU time (s) 1037.59
Current children cumulated vsize (KiB) 32668
[startup+1045.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11990
/proc/meminfo: memFree=1247032/2055920 swapFree=4192812/4192956
[pid=11985] ppid=11983 vsize=32668 CPUtime=1037.79
/proc/11985/stat : 11985 (pcs.big) R 11983 11985 11556 0 -1 4194304 8183 846 0 0 103775 4 0 0 25 0 1 0 58776035 33452032 7246 996147200 134512640 135215973 4294956320 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 8167 7246 406 171 0 7092 0
Current children cumulated CPU time (s) 1037.79
Current children cumulated vsize (KiB) 32668
Child status: 0
Real time (s): 1045.79
CPU time (s): 1037.89
CPU user time (s): 1037.83
CPU system time (s): 0.057991
CPU usage (%): 99.2453
Max. virtual memory (cumulated for all children) (KiB): 32668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1037.83
system time used= 0.057991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9034
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= 13
involuntary context switches= 21987
runsolver used 1.03284 second user time and 2.77658 second system time
The end