runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056151-1215061913/watcher-1056151-1215061913 -o /tmp/evaluation-result-1056151-1215061913/solver-1056151-1215061913 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1056151-1215061913.xml -heu dom/wdeg -res no
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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.03 2.05 3/81 30890
/proc/meminfo: memFree=1612336/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=18572 CPUtime=0
/proc/30890/stat : 30890 (runsolver) R 30888 30890 27420 0 -1 4194368 15 0 0 0 0 0 0 0 22 0 1 0 1985162770 19017728 292 996147200 4194304 4296836 548682068448 18446744073709551615 217051622695 0 0 4096 24578 0 0 0 17 1 0 0
/proc/30890/statm: 4643 292 257 25 0 2626 0
[startup+0.156315 s]
/proc/loadavg: 2.00 2.03 2.05 3/81 30890
/proc/meminfo: memFree=1612336/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=6420 CPUtime=0.14
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 911 0 0 0 14 0 0 0 19 0 1 0 1985162770 6574080 877 996147200 134512640 135239859 4294956208 18446744073709551615 134706097 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 1605 877 370 177 0 508 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 6420
[startup+0.201184 s]
/proc/loadavg: 2.00 2.03 2.05 3/81 30890
/proc/meminfo: memFree=1612336/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=6980 CPUtime=0.18
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 1039 0 0 0 18 0 0 0 19 0 1 0 1985162770 7147520 1005 996147200 134512640 135239859 4294956208 18446744073709551615 4159014044 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 1745 1005 370 177 0 648 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 6980
[startup+0.301205 s]
/proc/loadavg: 2.00 2.03 2.05 3/81 30890
/proc/meminfo: memFree=1612336/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=8016 CPUtime=0.28
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 1329 0 0 0 28 0 0 0 20 0 1 0 1985162770 8208384 1295 996147200 134512640 135239859 4294956208 18446744073709551615 134573966 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 2004 1295 370 177 0 907 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8016
[startup+0.701281 s]
/proc/loadavg: 2.00 2.03 2.05 3/81 30890
/proc/meminfo: memFree=1612336/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=12792 CPUtime=0.68
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 2501 0 0 0 67 1 0 0 23 0 1 0 1985162770 13099008 2401 996147200 134512640 135239859 4294956208 18446744073709551615 134707580 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 3198 2401 370 177 0 2101 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 12792
[startup+1.50143 s]
/proc/loadavg: 2.00 2.03 2.05 3/82 30891
/proc/meminfo: memFree=1599656/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=21588 CPUtime=1.47
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 4771 0 0 0 145 2 0 0 25 0 1 0 1985162770 22106112 4541 996147200 134512640 135239859 4294956208 18446744073709551615 134646149 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 5397 4541 370 177 0 4300 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 21588
[startup+3.10174 s]
/proc/loadavg: 2.00 2.03 2.05 3/82 30891
/proc/meminfo: memFree=1587240/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=39680 CPUtime=3.05
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 9449 0 0 0 301 4 0 0 25 0 1 0 1985162770 40632320 8896 996147200 134512640 135239859 4294956208 18446744073709551615 134683222 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 9920 8896 370 177 0 8823 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 39680
[startup+6.30135 s]
/proc/loadavg: 2.00 2.03 2.05 3/82 30891
/proc/meminfo: memFree=1553064/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=64192 CPUtime=6.23
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 15625 0 0 0 613 10 0 0 25 0 1 0 1985162770 65732608 15072 996147200 134512640 135239859 4294956208 18446744073709551615 134543813 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 16048 15072 375 177 0 14951 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 64192
[startup+12.7016 s]
/proc/loadavg: 2.00 2.03 2.05 3/82 30891
/proc/meminfo: memFree=1497768/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=119800 CPUtime=12.57
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30320 0 0 0 1239 18 0 0 25 0 1 0 1985162770 122675200 28852 996147200 134512640 135239859 4294956208 18446744073709551615 134538949 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 29950 28852 403 177 0 28853 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 119800
[startup+25.502 s]
/proc/loadavg: 2.00 2.03 2.05 3/82 30891
/proc/meminfo: memFree=1497320/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=119800 CPUtime=25.26
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30320 0 0 0 2508 18 0 0 25 0 1 0 1985162770 122675200 28852 996147200 134512640 135239859 4294956208 18446744073709551615 134538924 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 29950 28852 403 177 0 28853 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 119800
[startup+51.1019 s]
/proc/loadavg: 2.00 2.03 2.05 3/82 30891
/proc/meminfo: memFree=1496232/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=119800 CPUtime=50.64
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30329 0 0 0 5046 18 0 0 25 0 1 0 1985162770 122675200 28861 996147200 134512640 135239859 4294956208 18446744073709551615 134534768 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 29950 28861 406 177 0 28853 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 119800
[startup+102.302 s]
/proc/loadavg: 2.00 2.02 2.04 3/82 30891
/proc/meminfo: memFree=1493288/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=119800 CPUtime=101.4
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30332 0 0 0 10122 18 0 0 25 0 1 0 1985162770 122675200 28864 996147200 134512640 135239859 4294956208 18446744073709551615 134820096 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 29950 28864 406 177 0 28853 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 119800
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.03 3/82 30891
/proc/meminfo: memFree=1490856/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=119940 CPUtime=160.88
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30338 0 0 0 16070 18 0 0 25 0 1 0 1985162770 122818560 28870 996147200 134512640 135239859 4294956208 18446744073709551615 134532188 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 29985 28870 406 177 0 28888 0
Current children cumulated CPU time (s) 160.88
Current children cumulated vsize (KiB) 119940
[startup+222.307 s]
/proc/loadavg: 2.00 2.01 2.03 3/82 30891
/proc/meminfo: memFree=1486504/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=119940 CPUtime=220.37
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30340 0 0 0 22019 18 0 0 25 0 1 0 1985162770 122818560 28872 996147200 134512640 135239859 4294956208 18446744073709551615 134538924 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 29985 28872 406 177 0 28888 0
Current children cumulated CPU time (s) 220.37
Current children cumulated vsize (KiB) 119940
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.02 3/82 30891
/proc/meminfo: memFree=1484136/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=119940 CPUtime=279.86
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30350 0 0 0 27968 18 0 0 25 0 1 0 1985162770 122818560 28882 996147200 134512640 135239859 4294956208 18446744073709551615 134538965 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 29985 28882 406 177 0 28888 0
Current children cumulated CPU time (s) 279.86
Current children cumulated vsize (KiB) 119940
[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.02 3/82 30891
/proc/meminfo: memFree=1482024/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=119940 CPUtime=339.34
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30352 0 0 0 33916 18 0 0 25 0 1 0 1985162770 122818560 28884 996147200 134512640 135239859 4294956208 18446744073709551615 134534766 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 29985 28884 406 177 0 28888 0
Current children cumulated CPU time (s) 339.34
Current children cumulated vsize (KiB) 119940
[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.01 3/82 30891
/proc/meminfo: memFree=1479976/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=119940 CPUtime=398.83
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30354 0 0 0 39865 18 0 0 25 0 1 0 1985162770 122818560 28886 996147200 134512640 135239859 4294956208 18446744073709551615 135016026 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 29985 28886 406 177 0 28888 0
Current children cumulated CPU time (s) 398.83
Current children cumulated vsize (KiB) 119940
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.01 3/82 30891
/proc/meminfo: memFree=1476200/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=119940 CPUtime=458.32
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30356 0 0 0 45814 18 0 0 25 0 1 0 1985162770 122818560 28888 996147200 134512640 135239859 4294956208 18446744073709551615 134535354 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 29985 28888 406 177 0 28888 0
Current children cumulated CPU time (s) 458.32
Current children cumulated vsize (KiB) 119940
[startup+522.302 s]
/proc/loadavg: 2.04 2.01 2.00 3/82 30891
/proc/meminfo: memFree=1474280/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=119940 CPUtime=517.81
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30373 0 0 0 51763 18 0 0 25 0 1 0 1985162770 122818560 28905 996147200 134512640 135239859 4294956208 18446744073709551615 134820135 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 29985 28905 406 177 0 28888 0
Current children cumulated CPU time (s) 517.81
Current children cumulated vsize (KiB) 119940
[startup+582.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/82 30891
/proc/meminfo: memFree=1472488/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120072 CPUtime=577.3
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30391 0 0 0 57711 19 0 0 25 0 1 0 1985162770 122953728 28923 996147200 134512640 135239859 4294956208 18446744073709551615 135096304 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 30018 28923 406 177 0 28921 0
Current children cumulated CPU time (s) 577.3
Current children cumulated vsize (KiB) 120072
[startup+642.302 s]
/proc/loadavg: 2.08 2.02 2.00 3/82 30891
/proc/meminfo: memFree=1470632/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120072 CPUtime=636.79
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30394 0 0 0 63660 19 0 0 25 0 1 0 1985162770 122953728 28926 996147200 134512640 135239859 4294956208 18446744073709551615 135096317 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 30018 28926 406 177 0 28921 0
Current children cumulated CPU time (s) 636.79
Current children cumulated vsize (KiB) 120072
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.08 2.03 2.00 3/82 30891
/proc/meminfo: memFree=1464680/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120072 CPUtime=815.26
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30400 0 0 0 81507 19 0 0 25 0 1 0 1985162770 122953728 28932 996147200 134512640 135239859 4294956208 18446744073709551615 134538897 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 30018 28932 406 177 0 28921 0
Current children cumulated CPU time (s) 815.26
Current children cumulated vsize (KiB) 120072
[startup+882.307 s]
/proc/loadavg: 2.08 2.04 2.00 3/82 30891
/proc/meminfo: memFree=1463080/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120072 CPUtime=874.75
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30403 0 0 0 87456 19 0 0 25 0 1 0 1985162770 122953728 28935 996147200 134512640 135239859 4294956208 18446744073709551615 134543129 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 30018 28935 406 177 0 28921 0
Current children cumulated CPU time (s) 874.75
Current children cumulated vsize (KiB) 120072
[startup+942.301 s]
/proc/loadavg: 2.08 2.04 2.00 3/82 30891
/proc/meminfo: memFree=1461544/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120204 CPUtime=934.23
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30418 0 0 0 93404 19 0 0 25 0 1 0 1985162770 123088896 28950 996147200 134512640 135239859 4294956208 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 30051 28950 406 177 0 28954 0
Current children cumulated CPU time (s) 934.23
Current children cumulated vsize (KiB) 120204
[startup+1002.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/82 30891
/proc/meminfo: memFree=1460008/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120332 CPUtime=993.72
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30455 0 0 0 99353 19 0 0 25 0 1 0 1985162770 123219968 28954 996147200 134512640 135239859 4294956208 18446744073709551615 134535356 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 30083 28954 406 177 0 28986 0
Current children cumulated CPU time (s) 993.72
Current children cumulated vsize (KiB) 120332
[startup+1062.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/82 30891
/proc/meminfo: memFree=1458536/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120332 CPUtime=1053.21
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30457 0 0 0 105302 19 0 0 25 0 1 0 1985162770 123219968 28956 996147200 134512640 135239859 4294956208 18446744073709551615 134543059 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 30083 28956 406 177 0 28986 0
Current children cumulated CPU time (s) 1053.21
Current children cumulated vsize (KiB) 120332
[startup+1122.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/82 30891
/proc/meminfo: memFree=1457064/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120332 CPUtime=1112.69
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30460 0 0 0 111250 19 0 0 25 0 1 0 1985162770 123219968 28959 996147200 134512640 135239859 4294956208 18446744073709551615 135016000 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 30083 28959 406 177 0 28986 0
Current children cumulated CPU time (s) 1112.69
Current children cumulated vsize (KiB) 120332
[startup+1182.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/82 30891
/proc/meminfo: memFree=1455592/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120332 CPUtime=1172.19
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30462 0 0 0 117200 19 0 0 25 0 1 0 1985162770 123219968 28961 996147200 134512640 135239859 4294956208 18446744073709551615 134820201 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 30083 28961 406 177 0 28986 0
Current children cumulated CPU time (s) 1172.19
Current children cumulated vsize (KiB) 120332
[startup+1242.3 s]
/proc/loadavg: 2.14 2.08 2.01 3/82 30891
/proc/meminfo: memFree=1454120/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120332 CPUtime=1231.67
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30465 0 0 0 123148 19 0 0 25 0 1 0 1985162770 123219968 28964 996147200 134512640 135239859 4294956208 18446744073709551615 134538956 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 30083 28964 406 177 0 28986 0
Current children cumulated CPU time (s) 1231.67
Current children cumulated vsize (KiB) 120332
[startup+1302.3 s]
/proc/loadavg: 2.12 2.08 2.01 3/82 30891
/proc/meminfo: memFree=1452584/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120332 CPUtime=1291.16
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30468 0 0 0 129097 19 0 0 25 0 1 0 1985162770 123219968 28967 996147200 134512640 135239859 4294956208 18446744073709551615 134820211 0 0 4096 0 0 0 0 17 1 0 0
/proc/30890/statm: 30083 28967 406 177 0 28986 0
Current children cumulated CPU time (s) 1291.16
Current children cumulated vsize (KiB) 120332
[startup+1362.3 s]
/proc/loadavg: 2.18 2.10 2.02 3/74 30922
/proc/meminfo: memFree=1589992/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120332 CPUtime=1350.68
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30470 0 0 0 135049 19 0 0 25 0 1 0 1985162770 123219968 28969 996147200 134512640 135239859 4294956208 18446744073709551615 135103000 0 0 4096 0 0 0 0 17 0 0 0
/proc/30890/statm: 30083 28969 406 177 0 28986 0
Current children cumulated CPU time (s) 1350.68
Current children cumulated vsize (KiB) 120332
[startup+1422.3 s]
/proc/loadavg: 2.15 2.09 2.01 3/74 30922
/proc/meminfo: memFree=1589800/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120332 CPUtime=1410.66
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30474 0 0 0 141046 20 0 0 25 0 1 0 1985162770 123219968 28973 996147200 134512640 135239859 4294956208 18446744073709551615 134538896 0 0 4096 0 0 0 0 17 0 0 0
/proc/30890/statm: 30083 28973 406 177 0 28986 0
Current children cumulated CPU time (s) 1410.66
Current children cumulated vsize (KiB) 120332
[startup+1482.3 s]
/proc/loadavg: 2.14 2.10 2.02 3/74 30922
/proc/meminfo: memFree=1589672/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120332 CPUtime=1470.62
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30477 0 0 0 147042 20 0 0 25 0 1 0 1985162770 123219968 28976 996147200 134512640 135239859 4294956208 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 0 0 0
/proc/30890/statm: 30083 28976 406 177 0 28986 0
Current children cumulated CPU time (s) 1470.62
Current children cumulated vsize (KiB) 120332
[startup+1542.31 s]
/proc/loadavg: 2.05 2.08 2.01 3/74 30922
/proc/meminfo: memFree=1589608/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120332 CPUtime=1530.61
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30481 0 0 0 153040 21 0 0 25 0 1 0 1985162770 123219968 28980 996147200 134512640 135239859 4294956208 18446744073709551615 134543123 0 0 4096 0 0 0 0 17 0 0 0
/proc/30890/statm: 30083 28980 406 177 0 28986 0
Current children cumulated CPU time (s) 1530.61
Current children cumulated vsize (KiB) 120332
[startup+1602.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/74 30922
/proc/meminfo: memFree=1589544/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120464 CPUtime=1590.57
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30530 0 0 0 159036 21 0 0 25 0 1 0 1985162770 123355136 29029 996147200 134512640 135239859 4294956208 18446744073709551615 134532176 0 0 4096 0 0 0 0 17 0 0 0
/proc/30890/statm: 30116 29029 406 177 0 29019 0
Current children cumulated CPU time (s) 1590.57
Current children cumulated vsize (KiB) 120464
[startup+1662.3 s]
/proc/loadavg: 2.00 2.05 2.00 3/74 30922
/proc/meminfo: memFree=1589288/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120852 CPUtime=1650.54
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30614 0 0 0 165033 21 0 0 25 0 1 0 1985162770 123752448 29048 996147200 134512640 135239859 4294956208 18446744073709551615 134543101 0 0 4096 0 0 0 0 17 0 0 0
/proc/30890/statm: 30213 29048 406 177 0 29116 0
Current children cumulated CPU time (s) 1650.54
Current children cumulated vsize (KiB) 120852
[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/74 30922
/proc/meminfo: memFree=1589288/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120852 CPUtime=1710.51
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30619 0 0 0 171030 21 0 0 25 0 1 0 1985162770 123752448 29053 996147200 134512640 135239859 4294956208 18446744073709551615 134540910 0 0 4096 0 0 0 0 17 0 0 0
/proc/30890/statm: 30213 29053 406 177 0 29116 0
Current children cumulated CPU time (s) 1710.51
Current children cumulated vsize (KiB) 120852
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/74 30924
/proc/meminfo: memFree=1589096/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120852 CPUtime=1770.47
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30622 0 0 0 177026 21 0 0 25 0 1 0 1985162770 123752448 29056 996147200 134512640 135239859 4294956208 18446744073709551615 135016006 0 0 4096 0 0 0 0 17 0 0 0
/proc/30890/statm: 30213 29056 406 177 0 29116 0
Current children cumulated CPU time (s) 1770.47
Current children cumulated vsize (KiB) 120852
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.9 s]
/proc/loadavg: 2.00 2.03 2.00 3/74 30924
/proc/meminfo: memFree=1589160/2055920 swapFree=4180500/4192956
[pid=30890] ppid=30888 vsize=120852 CPUtime=1800.07
/proc/30890/stat : 30890 (xsolve) R 30888 30890 27420 0 -1 4194304 30625 0 0 0 179986 21 0 0 25 0 1 0 1985162770 123752448 29059 996147200 134512640 135239859 4294956208 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 0 0 0
/proc/30890/statm: 30213 29059 406 177 0 29116 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 120852
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): 1811.92
CPU time (s): 1800.1
CPU user time (s): 1799.86
CPU system time (s): 0.236963
CPU usage (%): 99.3474
Max. virtual memory (cumulated for all children) (KiB): 120852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.236963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30625
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= 7
involuntary context switches= 55914
runsolver used 1.66275 second user time and 4.94625 second system time
The end
Begin job on node59 at 2008-07-03 07:11:54
IDJOB=1056151
IDBENCH=57401
IDSOLVER=343
FILE ID=node59/1056151-1215061913
PBS_JOBID= 7875058
Free space on /tmp= 66484 MiB
SOLVER NAME= MDG-noprobe 2008-06-27
BENCH NAME= CPAI08/csp/largeQueens/normalized-queens-500.xml
COMMAND LINE= HOME/xsolve BENCHNAME -heu dom/wdeg -res no
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056151-1215061913/watcher-1056151-1215061913 -o /tmp/evaluation-result-1056151-1215061913/solver-1056151-1215061913 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1056151-1215061913.xml -heu dom/wdeg -res no
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 2f41b36922ebee8c6bbe2e06a2cfd3a7
RANDOM SEED=1453461713
node59.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.261
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.261
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: 1612816 kB
Buffers: 51700 kB
Cached: 255060 kB
SwapCached: 6448 kB
Active: 252400 kB
Inactive: 119620 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1612816 kB
SwapTotal: 4192956 kB
SwapFree: 4180500 kB
Dirty: 17436 kB
Writeback: 0 kB
Mapped: 81348 kB
Slab: 56208 kB
Committed_AS: 4019808 kB
PageTables: 2044 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= 66524 MiB
End job on node59 at 2008-07-03 07:42:08