0.00/0.01 c has big domains
0.00/0.01 c big-domain mode
0.00/0.02 c Seed is 997775270
0.00/0.02 c Constructing HOME/instance-2080526-1247717827.xml
0.00/0.04 c deduced all_different(V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V16,V17,V18,V19,V0)
0.00/0.04 c with 1601 constraints
0.00/0.04 c Solving
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2080526-1247717827/watcher-2080526-1247717827 -o /tmp/evaluation-result-2080526-1247717827/solver-2080526-1247717827 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 997775270 HOME/instance-2080526-1247717827.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.26 2.13 2.03 4/82 17044
/proc/meminfo: memFree=773248/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=5356 CPUtime=0
/proc/17044/stat : 17044 (pcssolve) R 17042 17044 14703 0 -1 4194304 269 0 0 0 0 0 0 0 20 0 1 0 58849069 5484544 237 996147200 4194304 4889804 548682068800 18446744073709551615 4354655 0 0 4100 65536 0 0 0 17 1 0 0
/proc/17044/statm: 1339 237 197 169 0 50 0
[startup+0.107071 s]
/proc/loadavg: 2.26 2.13 2.03 4/82 17044
/proc/meminfo: memFree=773248/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=6120 CPUtime=0.08
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 1264 655 0 0 8 0 0 0 24 0 1 0 58849069 6266880 842 996147200 134512640 135215973 4294956304 18446744073709551615 134590706 0 0 4096 0 0 0 0 17 1 0 0
/proc/17044/statm: 1530 842 421 171 0 455 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6120
[startup+0.20108 s]
/proc/loadavg: 2.26 2.13 2.03 4/82 17044
/proc/meminfo: memFree=773248/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=6120 CPUtime=0.18
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 1279 655 0 0 18 0 0 0 24 0 1 0 58849069 6266880 857 996147200 134512640 135215973 4294956304 18446744073709551615 134590188 0 0 4096 0 0 0 0 17 1 0 0
/proc/17044/statm: 1530 857 422 171 0 455 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 6120
[startup+0.301098 s]
/proc/loadavg: 2.26 2.13 2.03 4/82 17044
/proc/meminfo: memFree=773248/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=6376 CPUtime=0.28
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 1316 655 0 0 28 0 0 0 25 0 1 0 58849069 6529024 894 996147200 134512640 135215973 4294956304 18446744073709551615 134999676 0 0 4096 0 0 0 0 17 1 0 0
/proc/17044/statm: 1594 894 422 171 0 519 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6376
[startup+0.701173 s]
/proc/loadavg: 2.26 2.13 2.03 4/82 17044
/proc/meminfo: memFree=773248/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=6376 CPUtime=0.67
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 1320 655 0 0 67 0 0 0 25 0 1 0 58849069 6529024 898 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/17044/statm: 1594 898 422 171 0 519 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6376
[startup+1.50133 s]
/proc/loadavg: 2.26 2.13 2.03 3/83 17049
/proc/meminfo: memFree=770936/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=6760 CPUtime=1.46
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 1425 655 0 0 146 0 0 0 25 0 1 0 58849069 6922240 1003 996147200 134512640 135215973 4294956304 18446744073709551615 4158960181 0 0 4096 0 0 0 0 17 1 0 0
/proc/17044/statm: 1690 1003 422 171 0 615 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 6760
[startup+3.10164 s]
/proc/loadavg: 2.26 2.13 2.03 3/83 17049
/proc/meminfo: memFree=770168/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=7520 CPUtime=3.05
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 1623 655 0 0 305 0 0 0 25 0 1 0 58849069 7700480 1168 996147200 134512640 135215973 4294956304 18446744073709551615 4158960014 0 0 4096 0 0 0 0 17 1 0 0
/proc/17044/statm: 1880 1168 422 171 0 805 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 7520
[startup+6.30126 s]
/proc/loadavg: 2.24 2.12 2.03 3/83 17049
/proc/meminfo: memFree=769272/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=8408 CPUtime=6.22
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 1843 655 0 0 622 0 0 0 25 0 1 0 58849069 8609792 1388 996147200 134512640 135215973 4294956304 18446744073709551615 134687067 0 0 4096 0 0 0 0 17 1 0 0
/proc/17044/statm: 2102 1388 422 171 0 1027 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 8408
[startup+12.7015 s]
/proc/loadavg: 2.22 2.12 2.03 3/83 17049
/proc/meminfo: memFree=766520/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=11020 CPUtime=12.56
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 2560 655 0 0 1255 1 0 0 25 0 1 0 58849069 11284480 2040 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 1 0 0
/proc/17044/statm: 2755 2040 422 171 0 1680 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 11020
[startup+25.502 s]
/proc/loadavg: 2.17 2.12 2.03 3/83 17049
/proc/meminfo: memFree=760632/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=17016 CPUtime=25.24
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 4111 655 0 0 2521 3 0 0 25 0 1 0 58849069 17424384 3462 996147200 134512640 135215973 4294956304 18446744073709551615 134599870 0 0 4096 0 0 0 0 17 1 0 0
/proc/17044/statm: 4254 3462 422 171 0 3179 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 17016
[startup+51.1019 s]
/proc/loadavg: 2.11 2.11 2.03 3/83 17049
/proc/meminfo: memFree=756984/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=21128 CPUtime=50.6
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 5156 655 0 0 5056 4 0 0 25 0 1 0 58849069 21635072 4474 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 1 0 0
/proc/17044/statm: 5282 4474 422 171 0 4207 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 21128
[startup+102.302 s]
/proc/loadavg: 2.08 2.10 2.03 3/83 17049
/proc/meminfo: memFree=748088/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=29156 CPUtime=101.31
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 7326 655 0 0 10126 5 0 0 25 0 1 0 58849069 29855744 6579 996147200 134512640 135215973 4294956304 18446744073709551615 4158961408 0 0 4096 0 0 0 0 17 1 0 0
/proc/17044/statm: 7289 6579 422 171 0 6214 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 29156
[startup+162.303 s]
/proc/loadavg: 2.03 2.08 2.02 3/83 17049
/proc/meminfo: memFree=740792/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=37176 CPUtime=160.73
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 9515 655 0 0 16067 6 0 0 25 0 1 0 58849069 38068224 8382 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/17044/statm: 9294 8382 422 171 0 8219 0
Current children cumulated CPU time (s) 160.73
Current children cumulated vsize (KiB) 37176
[startup+222.306 s]
/proc/loadavg: 2.01 2.06 2.01 4/83 17049
/proc/meminfo: memFree=730296/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=47540 CPUtime=220.18
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 12399 655 0 0 22009 9 0 0 25 0 1 0 58849069 48680960 11009 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 1 0 0
/proc/17044/statm: 11885 11009 422 171 0 10810 0
Current children cumulated CPU time (s) 220.18
Current children cumulated vsize (KiB) 47540
[startup+282.302 s]
/proc/loadavg: 2.00 2.05 2.01 3/83 17049
/proc/meminfo: memFree=720632/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=58344 CPUtime=279.6
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 15333 655 0 0 27949 11 0 0 25 0 1 0 58849069 59744256 13430 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/17044/statm: 14586 13430 422 171 0 13511 0
Current children cumulated CPU time (s) 279.6
Current children cumulated vsize (KiB) 58344
[startup+342.301 s]
/proc/loadavg: 2.33 2.13 2.03 4/83 17049
/proc/meminfo: memFree=707256/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=68272 CPUtime=339.03
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 18045 655 0 0 33889 14 0 0 25 0 1 0 58849069 69910528 16142 996147200 134512640 135215973 4294956304 18446744073709551615 4158960081 0 0 4096 0 0 0 0 17 1 0 0
/proc/17044/statm: 17068 16142 422 171 0 15993 0
Current children cumulated CPU time (s) 339.03
Current children cumulated vsize (KiB) 68272
[startup+402.302 s]
/proc/loadavg: 2.47 2.21 2.07 4/83 17049
/proc/meminfo: memFree=695800/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=80948 CPUtime=398.46
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 21408 655 0 0 39829 17 0 0 25 0 1 0 58849069 82890752 18992 996147200 134512640 135215973 4294956304 18446744073709551615 4158960138 0 0 4096 0 0 0 0 17 1 0 0
/proc/17044/statm: 20237 18992 422 171 0 19162 0
Current children cumulated CPU time (s) 398.46
Current children cumulated vsize (KiB) 80948
[startup+462.301 s]
/proc/loadavg: 2.63 2.30 2.11 3/83 17049
/proc/meminfo: memFree=691192/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=85452 CPUtime=457.88
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 22592 655 0 0 45771 17 0 0 25 0 1 0 58849069 87502848 20176 996147200 134512640 135215973 4294956304 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 1 0 0
/proc/17044/statm: 21363 20176 422 171 0 20288 0
Current children cumulated CPU time (s) 457.88
Current children cumulated vsize (KiB) 85452
[startup+522.302 s]
/proc/loadavg: 2.79 2.40 2.15 3/73 17081
/proc/meminfo: memFree=1430544/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=91920 CPUtime=517.34
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 24271 655 0 0 51715 19 0 0 25 0 1 0 58849069 94126080 21855 996147200 134512640 135215973 4294956304 18446744073709551615 134599865 0 0 4096 0 0 0 0 17 0 0 0
/proc/17044/statm: 22980 21855 422 171 0 21905 0
Current children cumulated CPU time (s) 517.34
Current children cumulated vsize (KiB) 91920
[startup+582.302 s]
/proc/loadavg: 2.29 2.32 2.14 3/73 17081
/proc/meminfo: memFree=1095696/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=96300 CPUtime=577.31
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 25395 655 0 0 57711 20 0 0 25 0 1 0 58849069 98611200 22979 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/17044/statm: 24075 22979 422 171 0 23000 0
Current children cumulated CPU time (s) 577.31
Current children cumulated vsize (KiB) 96300
[startup+642.301 s]
/proc/loadavg: 2.10 2.26 2.12 3/73 17081
/proc/meminfo: memFree=1089616/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=102280 CPUtime=637.29
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 26956 655 0 0 63707 22 0 0 25 0 1 0 58849069 104734720 24540 996147200 134512640 135215973 4294956304 18446744073709551615 134523588 0 0 4096 0 0 0 0 17 0 0 0
/proc/17044/statm: 25570 24540 422 171 0 24495 0
Current children cumulated CPU time (s) 637.29
Current children cumulated vsize (KiB) 102280
[startup+702.302 s]
################
# More data... #
################
[startup+882.306 s]
/proc/loadavg: 2.00 2.11 2.08 3/73 17081
/proc/meminfo: memFree=1060624/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=122896 CPUtime=877.19
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 32455 655 0 0 87693 26 0 0 25 0 1 0 58849069 125845504 29014 996147200 134512640 135215973 4294956304 18446744073709551615 134590106 0 0 4096 0 0 0 0 17 0 0 0
/proc/17044/statm: 30724 29014 422 171 0 29649 0
Current children cumulated CPU time (s) 877.19
Current children cumulated vsize (KiB) 122896
[startup+942.302 s]
/proc/loadavg: 2.00 2.09 2.08 3/73 17081
/proc/meminfo: memFree=1053264/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=129628 CPUtime=937.15
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 34296 655 0 0 93688 27 0 0 25 0 1 0 58849069 132739072 30855 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/17044/statm: 32407 30855 422 171 0 31332 0
Current children cumulated CPU time (s) 937.15
Current children cumulated vsize (KiB) 129628
[startup+1002.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/73 17081
/proc/meminfo: memFree=1044368/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=137696 CPUtime=997.12
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 36527 655 0 0 99684 28 0 0 25 0 1 0 58849069 141000704 33086 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 0 0 0
/proc/17044/statm: 34424 33086 422 171 0 33349 0
Current children cumulated CPU time (s) 997.12
Current children cumulated vsize (KiB) 137696
[startup+1062.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/73 17081
/proc/meminfo: memFree=1036880/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=144884 CPUtime=1057.09
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 38446 655 0 0 105679 30 0 0 25 0 1 0 58849069 148361216 35005 996147200 134512640 135215973 4294956304 18446744073709551615 4158960735 0 0 4096 0 0 0 0 17 0 0 0
/proc/17044/statm: 36221 35005 422 171 0 35146 0
Current children cumulated CPU time (s) 1057.09
Current children cumulated vsize (KiB) 144884
[startup+1122.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/73 17081
/proc/meminfo: memFree=1028176/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=152544 CPUtime=1117.06
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 40552 655 0 0 111674 32 0 0 25 0 1 0 58849069 156205056 37111 996147200 134512640 135215973 4294956304 18446744073709551615 134591100 0 0 4096 0 0 0 0 17 0 0 0
/proc/17044/statm: 38136 37111 422 171 0 37061 0
Current children cumulated CPU time (s) 1117.06
Current children cumulated vsize (KiB) 152544
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/73 17081
/proc/meminfo: memFree=1020688/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=159172 CPUtime=1177.04
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 42418 655 0 0 117670 34 0 0 25 0 1 0 58849069 162992128 38977 996147200 134512640 135215973 4294956304 18446744073709551615 134648311 0 0 4096 0 0 0 0 17 0 0 0
/proc/17044/statm: 39793 38977 422 171 0 38718 0
Current children cumulated CPU time (s) 1177.04
Current children cumulated vsize (KiB) 159172
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/73 17081
/proc/meminfo: memFree=1012688/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=174500 CPUtime=1237.02
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 46433 655 0 0 123665 37 0 0 25 0 1 0 58849069 178688000 40943 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 0 0 0
/proc/17044/statm: 43625 40943 422 171 0 42550 0
Current children cumulated CPU time (s) 1237.02
Current children cumulated vsize (KiB) 174500
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/73 17081
/proc/meminfo: memFree=1001488/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=189072 CPUtime=1296.98
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 50280 655 0 0 129659 39 0 0 25 0 1 0 58849069 193609728 43765 996147200 134512640 135215973 4294956304 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 0 0 0
/proc/17044/statm: 47268 43765 422 171 0 46193 0
Current children cumulated CPU time (s) 1296.98
Current children cumulated vsize (KiB) 189072
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/73 17081
/proc/meminfo: memFree=992208/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=197336 CPUtime=1356.96
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 52567 655 0 0 135656 40 0 0 25 0 1 0 58849069 202072064 46052 996147200 134512640 135215973 4294956304 18446744073709551615 134585079 0 0 4096 0 0 0 0 17 0 0 0
/proc/17044/statm: 49334 46052 422 171 0 48259 0
Current children cumulated CPU time (s) 1356.96
Current children cumulated vsize (KiB) 197336
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/73 17081
/proc/meminfo: memFree=985040/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=203704 CPUtime=1416.94
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 54349 655 0 0 141652 42 0 0 25 0 1 0 58849069 208592896 47834 996147200 134512640 135215973 4294956304 18446744073709551615 134591058 0 0 4096 0 0 0 0 17 0 0 0
/proc/17044/statm: 50926 47834 422 171 0 49851 0
Current children cumulated CPU time (s) 1416.94
Current children cumulated vsize (KiB) 203704
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/73 17081
/proc/meminfo: memFree=976208/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=211660 CPUtime=1476.9
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 56563 655 0 0 147647 43 0 0 25 0 1 0 58849069 216739840 50048 996147200 134512640 135215973 4294956304 18446744073709551615 4158960041 0 0 4096 0 0 0 0 17 0 0 0
/proc/17044/statm: 52915 50048 422 171 0 51840 0
Current children cumulated CPU time (s) 1476.9
Current children cumulated vsize (KiB) 211660
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.02 3/73 17081
/proc/meminfo: memFree=967504/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=219628 CPUtime=1536.88
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 58709 655 0 0 153644 44 0 0 25 0 1 0 58849069 224899072 52194 996147200 134512640 135215973 4294956304 18446744073709551615 134533259 0 0 4096 0 0 0 0 17 0 0 0
/proc/17044/statm: 54907 52194 422 171 0 53832 0
Current children cumulated CPU time (s) 1536.88
Current children cumulated vsize (KiB) 219628
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/73 17081
/proc/meminfo: memFree=959376/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=226916 CPUtime=1596.84
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 60756 655 0 0 159638 46 0 0 25 0 1 0 58849069 232361984 54241 996147200 134512640 135215973 4294956304 18446744073709551615 134901856 0 0 4096 0 0 0 0 17 0 0 0
/proc/17044/statm: 56729 54241 422 171 0 55654 0
Current children cumulated CPU time (s) 1596.84
Current children cumulated vsize (KiB) 226916
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/73 17081
/proc/meminfo: memFree=949648/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=235604 CPUtime=1656.82
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 63176 655 0 0 165634 48 0 0 25 0 1 0 58849069 241258496 56661 996147200 134512640 135215973 4294956304 18446744073709551615 134589867 0 0 4096 0 0 0 0 17 0 0 0
/proc/17044/statm: 58901 56661 422 171 0 57826 0
Current children cumulated CPU time (s) 1656.82
Current children cumulated vsize (KiB) 235604
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17081
/proc/meminfo: memFree=939024/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=245456 CPUtime=1716.79
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 65838 655 0 0 171629 50 0 0 25 0 1 0 58849069 251346944 59323 996147200 134512640 135215973 4294956304 18446744073709551615 134609779 0 0 4096 0 0 0 0 17 0 0 0
/proc/17044/statm: 61364 59323 422 171 0 60289 0
Current children cumulated CPU time (s) 1716.79
Current children cumulated vsize (KiB) 245456
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17081
/proc/meminfo: memFree=927888/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=255176 CPUtime=1776.77
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 68533 655 0 0 177625 52 0 0 25 0 1 0 58849069 261300224 62018 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/17044/statm: 63794 62018 422 171 0 62719 0
Current children cumulated CPU time (s) 1776.77
Current children cumulated vsize (KiB) 255176
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17081
/proc/meminfo: memFree=924560/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=258308 CPUtime=1800.05
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 69391 655 0 0 179953 52 0 0 25 0 1 0 58849069 264507392 62876 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 0 0 0
/proc/17044/statm: 64577 62876 422 171 0 63502 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 258308
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1805.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17081
/proc/meminfo: memFree=924560/2055920 swapFree=4192812/4192956
[pid=17044] ppid=17042 vsize=258308 CPUtime=1800.05
/proc/17044/stat : 17044 (pcs.big) R 17042 17044 14703 0 -1 4194304 69391 655 0 0 179953 52 0 0 25 0 1 0 58849069 264507392 62876 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 0 0 0
/proc/17044/statm: 64577 62876 422 171 0 63502 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 258308
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1805.65
CPU time (s): 1800.11
CPU user time (s): 1799.54
CPU system time (s): 0.572912
CPU usage (%): 99.6936
Max. virtual memory (cumulated for all children) (KiB): 258308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.572912
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70046
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= 25230
runsolver used 2.36964 second user time and 5.84411 second system time
The end
Begin job on node23 at 2009-07-16 06:17:07
IDJOB=2080526
IDBENCH=57103
IDSOLVER=734
FILE ID=node23/2080526-1247717827
PBS_JOBID= 9521339
Free space on /tmp= 66392 MiB
SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/queensKnights/normalized-queensKnights-20-5-mul.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2080526-1247717827/watcher-2080526-1247717827 -o /tmp/evaluation-result-2080526-1247717827/solver-2080526-1247717827 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 997775270 HOME/instance-2080526-1247717827.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 7ece432996b72b47d9d3fdb19a06127f
RANDOM SEED=997775270
node23.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.277
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.277
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 773536 kB
Buffers: 80060 kB
Cached: 348952 kB
SwapCached: 0 kB
Active: 813980 kB
Inactive: 388108 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 773536 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1744 kB
Writeback: 0 kB
Mapped: 793460 kB
Slab: 63960 kB
Committed_AS: 1262880 kB
PageTables: 3312 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66388 MiB
End job on node23 at 2009-07-16 06:47:14