0.00/0.01 c has big domains
0.00/0.01 c big-domain mode
0.18/0.21 c Seed is 725018036
0.18/0.21 c Constructing HOME/instance-2081439-1247719608.xml
0.18/0.21 c deduced all_different(V2,V5,V7,V11,V13,V17,V19,V23,V29,V31,V37,V41,V43,V47,V0)
0.18/0.21 c deduced all_different(V3,V5,V7,V9,V11,V13,V15,V17,V19,V21,V23,V25,V27,V29,V31,V33,V35,V37,V39,V41,V43,V45,V47,V49,V1)
0.18/0.21 c deduced all_different(V1,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V4)
0.18/0.21 c with 2727 constraints
0.18/0.21 c Solving
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2081439-1247719608/watcher-2081439-1247719608 -o /tmp/evaluation-result-2081439-1247719608/solver-2081439-1247719608 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 725018036 HOME/instance-2081439-1247719608.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.93 1.99 1.99 4/81 18822
/proc/meminfo: memFree=1438184/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=18576 CPUtime=0
/proc/18822/stat : 18822 (runsolver) R 18820 18822 17970 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 59023446 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 233402068263 0 0 4096 24578 0 0 0 17 1 0 0
/proc/18822/statm: 4644 284 249 26 0 2626 0
[startup+0.0580079 s]
/proc/loadavg: 1.93 1.99 1.99 4/81 18822
/proc/meminfo: memFree=1438184/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=5064 CPUtime=0.04
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 931 658 0 0 4 0 0 0 18 0 1 0 59023446 5185536 562 996147200 134512640 135215973 4294956304 18446744073709551615 134761745 0 0 4096 0 0 0 0 17 1 0 0
/proc/18822/statm: 1266 562 388 171 0 191 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5064
[startup+0.101011 s]
/proc/loadavg: 1.93 1.99 1.99 4/81 18822
/proc/meminfo: memFree=1438184/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=5576 CPUtime=0.08
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 1090 658 0 0 8 0 0 0 18 0 1 0 59023446 5709824 721 996147200 134512640 135215973 4294956304 18446744073709551615 134583409 0 0 4096 0 0 0 0 17 1 0 0
/proc/18822/statm: 1394 721 419 171 0 319 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5576
[startup+0.30103 s]
/proc/loadavg: 1.93 1.99 1.99 4/81 18822
/proc/meminfo: memFree=1438184/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=5576 CPUtime=0.28
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 1095 658 0 0 28 0 0 0 19 0 1 0 59023446 5709824 726 996147200 134512640 135215973 4294956304 18446744073709551615 134583393 0 0 4096 0 0 0 0 17 1 0 0
/proc/18822/statm: 1394 726 422 171 0 319 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5576
[startup+0.70107 s]
/proc/loadavg: 1.93 1.99 1.99 4/81 18822
/proc/meminfo: memFree=1438184/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=5756 CPUtime=0.68
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 1134 658 0 0 68 0 0 0 23 0 1 0 59023446 5894144 765 996147200 134512640 135215973 4294956304 18446744073709551615 134581456 0 0 4096 0 0 0 0 17 1 0 0
/proc/18822/statm: 1439 765 422 171 0 364 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 5756
[startup+1.50115 s]
/proc/loadavg: 1.93 1.99 1.99 3/82 18827
/proc/meminfo: memFree=1436512/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=6404 CPUtime=1.47
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 1311 658 0 0 147 0 0 0 25 0 1 0 59023446 6557696 909 996147200 134512640 135215973 4294956304 18446744073709551615 134592038 0 0 4096 0 0 0 0 17 1 0 0
/proc/18822/statm: 1601 909 422 171 0 526 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 6404
[startup+3.10231 s]
/proc/loadavg: 1.93 1.99 1.99 3/82 18827
/proc/meminfo: memFree=1435744/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=6904 CPUtime=3.06
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 1432 658 0 0 306 0 0 0 25 0 1 0 59023446 7069696 1030 996147200 134512640 135215973 4294956304 18446744073709551615 134599834 0 0 4096 0 0 0 0 17 1 0 0
/proc/18822/statm: 1726 1030 422 171 0 651 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 6904
[startup+6.30163 s]
/proc/loadavg: 1.93 1.99 1.99 3/82 18827
/proc/meminfo: memFree=1434912/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=7400 CPUtime=6.23
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 1587 658 0 0 623 0 0 0 25 0 1 0 59023446 7577600 1185 996147200 134512640 135215973 4294956304 18446744073709551615 134533042 0 0 4096 0 0 0 0 17 1 0 0
/proc/18822/statm: 1850 1185 422 171 0 775 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 7400
[startup+12.7013 s]
/proc/loadavg: 1.94 1.99 1.99 3/82 18827
/proc/meminfo: memFree=1433184/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=9400 CPUtime=12.57
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 2084 658 0 0 1257 0 0 0 25 0 1 0 59023446 9625600 1617 996147200 134512640 135215973 4294956304 18446744073709551615 134609912 0 0 4096 0 0 0 0 17 1 0 0
/proc/18822/statm: 2350 1617 422 171 0 1275 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 9400
[startup+25.5015 s]
/proc/loadavg: 1.95 1.99 1.99 3/82 18827
/proc/meminfo: memFree=1430304/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=12196 CPUtime=25.24
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 2814 658 0 0 2524 0 0 0 25 0 1 0 59023446 12488704 2347 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/18822/statm: 3049 2347 422 171 0 1974 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 12196
[startup+51.1011 s]
/proc/loadavg: 1.97 1.99 1.99 3/82 18827
/proc/meminfo: memFree=1426720/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=16164 CPUtime=50.61
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 3838 658 0 0 5060 1 0 0 25 0 1 0 59023446 16551936 3242 996147200 134512640 135215973 4294956304 18446744073709551615 134532689 0 0 4096 0 0 0 0 17 1 0 0
/proc/18822/statm: 4041 3242 422 171 0 2966 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 16164
[startup+102.306 s]
/proc/loadavg: 1.98 1.99 1.99 3/82 18827
/proc/meminfo: memFree=1422048/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=20412 CPUtime=101.34
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 4951 658 0 0 10131 3 0 0 25 0 1 0 59023446 20901888 4355 996147200 134512640 135215973 4294956304 18446744073709551615 134599837 0 0 4096 0 0 0 0 17 1 0 0
/proc/18822/statm: 5103 4355 422 171 0 4028 0
Current children cumulated CPU time (s) 101.34
Current children cumulated vsize (KiB) 20412
[startup+162.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/82 18827
/proc/meminfo: memFree=1413024/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=29264 CPUtime=160.77
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 7250 658 0 0 16073 4 0 0 25 0 1 0 59023446 29966336 6654 996147200 134512640 135215973 4294956304 18446744073709551615 134600029 0 0 4096 0 0 0 0 17 1 0 0
/proc/18822/statm: 7316 6654 422 171 0 6241 0
Current children cumulated CPU time (s) 160.77
Current children cumulated vsize (KiB) 29264
[startup+222.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/82 18827
/proc/meminfo: memFree=1401120/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=41908 CPUtime=220.22
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 10500 658 0 0 22015 7 0 0 25 0 1 0 59023446 42913792 9594 996147200 134512640 135215973 4294956304 18446744073709551615 8846846 0 0 4096 0 0 0 0 17 1 0 0
/proc/18822/statm: 10477 9594 422 171 0 9402 0
Current children cumulated CPU time (s) 220.22
Current children cumulated vsize (KiB) 41908
[startup+282.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 18860
/proc/meminfo: memFree=1353392/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=52644 CPUtime=279.87
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 13242 658 0 0 27977 10 0 0 25 0 1 0 59023446 53907456 12336 996147200 134512640 135215973 4294956304 18446744073709551615 4158960071 0 0 4096 0 0 0 0 17 0 0 0
/proc/18822/statm: 13161 12336 422 171 0 12086 0
Current children cumulated CPU time (s) 279.87
Current children cumulated vsize (KiB) 52644
[startup+342.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 18862
/proc/meminfo: memFree=1343152/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=59176 CPUtime=339.84
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 14918 658 0 0 33973 11 0 0 25 0 1 0 59023446 60596224 14012 996147200 134512640 135215973 4294956304 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 0 0 0
/proc/18822/statm: 14794 14012 422 171 0 13719 0
Current children cumulated CPU time (s) 339.84
Current children cumulated vsize (KiB) 59176
[startup+402.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 18862
/proc/meminfo: memFree=1333040/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=65624 CPUtime=399.83
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 16598 658 0 0 39969 14 0 0 25 0 1 0 59023446 67198976 15692 996147200 134512640 135215973 4294956304 18446744073709551615 134533031 0 0 4096 0 0 0 0 17 0 0 0
/proc/18822/statm: 16406 15692 422 171 0 15331 0
Current children cumulated CPU time (s) 399.83
Current children cumulated vsize (KiB) 65624
[startup+462.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 18862
/proc/meminfo: memFree=1317744/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=75536 CPUtime=459.8
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 19133 658 0 0 45965 15 0 0 25 0 1 0 59023446 77348864 17714 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/18822/statm: 18884 17714 422 171 0 17809 0
Current children cumulated CPU time (s) 459.8
Current children cumulated vsize (KiB) 75536
[startup+522.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 18862
/proc/meminfo: memFree=1310256/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=80952 CPUtime=519.78
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 20552 658 0 0 51961 17 0 0 25 0 1 0 59023446 82894848 19133 996147200 134512640 135215973 4294956304 18446744073709551615 134583607 0 0 4096 0 0 0 0 17 0 0 0
/proc/18822/statm: 20238 19133 422 171 0 19163 0
Current children cumulated CPU time (s) 519.78
Current children cumulated vsize (KiB) 80952
[startup+582.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 18862
/proc/meminfo: memFree=1302512/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=85924 CPUtime=579.76
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 21840 658 0 0 57958 18 0 0 25 0 1 0 59023446 87986176 20421 996147200 134512640 135215973 4294956304 18446744073709551615 134583364 0 0 4096 0 0 0 0 17 0 0 0
/proc/18822/statm: 21481 20421 422 171 0 20406 0
Current children cumulated CPU time (s) 579.76
Current children cumulated vsize (KiB) 85924
[startup+642.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 18862
/proc/meminfo: memFree=1295280/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=90536 CPUtime=639.74
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 23038 658 0 0 63955 19 0 0 25 0 1 0 59023446 92708864 21619 996147200 134512640 135215973 4294956304 18446744073709551615 4158960301 0 0 4096 0 0 0 0 17 0 0 0
/proc/18822/statm: 22634 21619 422 171 0 21559 0
Current children cumulated CPU time (s) 639.74
Current children cumulated vsize (KiB) 90536
[startup+702.302 s]
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 18862
/proc/meminfo: memFree=1271152/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=104376 CPUtime=819.67
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 26581 658 0 0 81944 23 0 0 25 0 1 0 59023446 106881024 25162 996147200 134512640 135215973 4294956304 18446744073709551615 135095489 0 0 4096 0 0 0 0 17 0 0 0
/proc/18822/statm: 26094 25162 422 171 0 25019 0
Current children cumulated CPU time (s) 819.67
Current children cumulated vsize (KiB) 104376
[startup+882.302 s]
/proc/loadavg: 2.03 2.00 2.00 3/73 18868
/proc/meminfo: memFree=1262952/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=108496 CPUtime=879.65
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 27673 658 0 0 87940 25 0 0 25 0 1 0 59023446 111099904 26254 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 0 0 0
/proc/18822/statm: 27124 26254 422 171 0 26049 0
Current children cumulated CPU time (s) 879.65
Current children cumulated vsize (KiB) 108496
[startup+942.302 s]
/proc/loadavg: 2.01 2.00 2.00 3/73 18868
/proc/meminfo: memFree=1254504/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=113080 CPUtime=939.62
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 28825 658 0 0 93936 26 0 0 25 0 1 0 59023446 115793920 27406 996147200 134512640 135215973 4294956304 18446744073709551615 134599834 0 0 4096 0 0 0 0 17 0 0 0
/proc/18822/statm: 28270 27406 422 171 0 27195 0
Current children cumulated CPU time (s) 939.62
Current children cumulated vsize (KiB) 113080
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18868
/proc/meminfo: memFree=1244008/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=118972 CPUtime=999.6
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 30356 658 0 0 99933 27 0 0 25 0 1 0 59023446 121827328 28937 996147200 134512640 135215973 4294956304 18446744073709551615 134590099 0 0 4096 0 0 0 0 17 0 0 0
/proc/18822/statm: 29743 28937 422 171 0 28668 0
Current children cumulated CPU time (s) 999.6
Current children cumulated vsize (KiB) 118972
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18868
/proc/meminfo: memFree=1230760/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=127176 CPUtime=1059.58
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 32443 658 0 0 105928 30 0 0 25 0 1 0 59023446 130228224 31024 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/18822/statm: 31794 31024 422 171 0 30719 0
Current children cumulated CPU time (s) 1059.58
Current children cumulated vsize (KiB) 127176
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18868
/proc/meminfo: memFree=1219560/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=135656 CPUtime=1119.56
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 34618 658 0 0 111925 31 0 0 25 0 1 0 59023446 138911744 33199 996147200 134512640 135215973 4294956304 18446744073709551615 134596289 0 0 4096 0 0 0 0 17 0 0 0
/proc/18822/statm: 33914 33199 422 171 0 32839 0
Current children cumulated CPU time (s) 1119.56
Current children cumulated vsize (KiB) 135656
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18868
/proc/meminfo: memFree=1208240/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=151784 CPUtime=1179.53
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 38678 658 0 0 117920 33 0 0 25 0 1 0 59023446 155426816 36234 996147200 134512640 135215973 4294956304 18446744073709551615 134590114 0 0 4096 0 0 0 0 17 0 0 0
/proc/18822/statm: 37946 36234 422 171 0 36871 0
Current children cumulated CPU time (s) 1179.53
Current children cumulated vsize (KiB) 151784
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18868
/proc/meminfo: memFree=1193264/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=158088 CPUtime=1239.51
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 40308 658 0 0 123916 35 0 0 25 0 1 0 59023446 161882112 37864 996147200 134512640 135215973 4294956304 18446744073709551615 4158960185 0 0 4096 0 0 0 0 17 0 0 0
/proc/18822/statm: 39522 37864 422 171 0 38447 0
Current children cumulated CPU time (s) 1239.51
Current children cumulated vsize (KiB) 158088
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18868
/proc/meminfo: memFree=1180784/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=166184 CPUtime=1299.5
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 42394 658 0 0 129912 38 0 0 25 0 1 0 59023446 170172416 39950 996147200 134512640 135215973 4294956304 18446744073709551615 4158960071 0 0 4096 0 0 0 0 17 0 0 0
/proc/18822/statm: 41546 39950 422 171 0 40471 0
Current children cumulated CPU time (s) 1299.5
Current children cumulated vsize (KiB) 166184
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18868
/proc/meminfo: memFree=1171312/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=173228 CPUtime=1359.47
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 44176 658 0 0 135908 39 0 0 25 0 1 0 59023446 177385472 41732 996147200 134512640 135215973 4294956304 18446744073709551615 134532991 0 0 4096 0 0 0 0 17 0 0 0
/proc/18822/statm: 43307 41732 422 171 0 42232 0
Current children cumulated CPU time (s) 1359.47
Current children cumulated vsize (KiB) 173228
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18868
/proc/meminfo: memFree=1163312/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=177452 CPUtime=1419.46
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 45252 658 0 0 141905 41 0 0 25 0 1 0 59023446 181710848 42808 996147200 134512640 135215973 4294956304 18446744073709551615 4158960023 0 0 4096 0 0 0 0 17 0 0 0
/proc/18822/statm: 44363 42808 422 171 0 43288 0
Current children cumulated CPU time (s) 1419.46
Current children cumulated vsize (KiB) 177452
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18868
/proc/meminfo: memFree=1155376/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=181960 CPUtime=1479.43
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 46414 658 0 0 147901 42 0 0 25 0 1 0 59023446 186327040 43970 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 0 0 0
/proc/18822/statm: 45490 43970 422 171 0 44415 0
Current children cumulated CPU time (s) 1479.43
Current children cumulated vsize (KiB) 181960
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18868
/proc/meminfo: memFree=1147952/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=186436 CPUtime=1539.41
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 47572 658 0 0 153898 43 0 0 25 0 1 0 59023446 190910464 45128 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 0 0 0
/proc/18822/statm: 46609 45128 422 171 0 45534 0
Current children cumulated CPU time (s) 1539.41
Current children cumulated vsize (KiB) 186436
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18868
/proc/meminfo: memFree=1141488/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=191164 CPUtime=1599.39
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 48775 658 0 0 159894 45 0 0 25 0 1 0 59023446 195751936 46331 996147200 134512640 135215973 4294956304 18446744073709551615 134591117 0 0 4096 0 0 0 0 17 0 0 0
/proc/18822/statm: 47791 46331 422 171 0 46716 0
Current children cumulated CPU time (s) 1599.39
Current children cumulated vsize (KiB) 191164
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18868
/proc/meminfo: memFree=1135216/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=195632 CPUtime=1659.36
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 49930 658 0 0 165890 46 0 0 25 0 1 0 59023446 200327168 47486 996147200 134512640 135215973 4294956304 18446744073709551615 134902593 0 0 4096 0 0 0 0 17 0 0 0
/proc/18822/statm: 48908 47486 422 171 0 47833 0
Current children cumulated CPU time (s) 1659.36
Current children cumulated vsize (KiB) 195632
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18868
/proc/meminfo: memFree=1127600/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=200072 CPUtime=1719.34
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 51079 658 0 0 171886 48 0 0 25 0 1 0 59023446 204873728 48635 996147200 134512640 135215973 4294956304 18446744073709551615 134590947 0 0 4096 0 0 0 0 17 0 0 0
/proc/18822/statm: 50018 48635 422 171 0 48943 0
Current children cumulated CPU time (s) 1719.34
Current children cumulated vsize (KiB) 200072
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18868
/proc/meminfo: memFree=1117232/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=205524 CPUtime=1779.32
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 52481 658 0 0 177883 49 0 0 25 0 1 0 59023446 210456576 50037 996147200 134512640 135215973 4294956304 18446744073709551615 134590969 0 0 4096 0 0 0 0 17 0 0 0
/proc/18822/statm: 51381 50037 422 171 0 50306 0
Current children cumulated CPU time (s) 1779.32
Current children cumulated vsize (KiB) 205524
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18868
/proc/meminfo: memFree=1115056/2055920 swapFree=4192812/4192956
[pid=18822] ppid=18820 vsize=207064 CPUtime=1800.01
/proc/18822/stat : 18822 (pcs.big) R 18820 18822 17970 0 -1 4194304 52867 658 0 0 179952 49 0 0 25 0 1 0 59023446 212033536 50423 996147200 134512640 135215973 4294956304 18446744073709551615 134532896 0 0 4096 0 0 0 0 17 0 0 0
/proc/18822/statm: 51766 50423 422 171 0 50691 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 207064
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1803.04
CPU time (s): 1800.07
CPU user time (s): 1799.53
CPU system time (s): 0.531919
CPU usage (%): 99.8352
Max. virtual memory (cumulated for all children) (KiB): 207064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.531919
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53525
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= 15606
runsolver used 2.71459 second user time and 5.03723 second system time
The end