0.18/0.21 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.18/0.21 c Parsing = 1
1.37/1.47 c Building = 1
39.63/40.00 c [ NumberOfVariables = 360 ]
39.63/40.00 c [ NumberOfConstraints = 48510 ]
39.63/40.00 c [ SizeOfSearchSpace(log2) = 2697.07 ]
39.63/40.00 c SymmetrySearch = 1
45.98/46.40 c [ Found 2 symmetries ]
46.07/46.51 c InitialPropagation = 1
46.18/46.64 c [ SizeOfSearchSpace(log2) = 2697.07 ]
46.18/46.64 c InitialSAC = 1
46.47/46.95 c [ SizeOfSearchSpace(log2) = 2697.07 ]
46.47/46.95 c Search(DomWDeg) =
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1084116-1215230071/watcher-1084116-1215230071 -o /tmp/evaluation-result-1084116-1215230071/solver-1084116-1215230071 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1084116-1215230071.xml 1022615143
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: 1.92 1.98 1.99 4/81 1097
/proc/meminfo: memFree=1759008/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=1056 CPUtime=0
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 40 0 0 0 0 0 0 0 19 0 1 0 2001980159 1081344 26 996147200 134512640 135477443 4294956224 18446744073709551615 11957028 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/1097/statm: 264 26 20 235 0 3 0
[startup+0.112515 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 1097
/proc/meminfo: memFree=1759008/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=6688 CPUtime=0.1
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 794 0 0 0 10 0 0 0 18 0 1 0 2001980159 6848512 754 996147200 134512640 135477443 4294956224 18446744073709551615 134820695 0 0 4096 0 0 0 0 17 1 0 0
/proc/1097/statm: 1672 754 370 235 0 373 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6688
[startup+0.201522 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 1097
/proc/meminfo: memFree=1759008/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=7612 CPUtime=0.18
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 1026 0 0 0 18 0 0 0 18 0 1 0 2001980159 7794688 986 996147200 134512640 135477443 4294956224 18446744073709551615 134811827 0 0 4096 0 0 0 0 17 1 0 0
/proc/1097/statm: 1903 986 370 235 0 604 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 7612
[startup+0.301532 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 1097
/proc/meminfo: memFree=1759008/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=8668 CPUtime=0.28
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 1267 0 0 0 28 0 0 0 19 0 1 0 2001980159 8876032 1227 996147200 134512640 135477443 4294956224 18446744073709551615 134622655 0 0 4096 0 0 0 0 17 1 0 0
/proc/1097/statm: 2167 1227 370 235 0 868 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8668
[startup+0.701567 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 1097
/proc/meminfo: memFree=1759008/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=12628 CPUtime=0.68
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 2265 0 0 0 67 1 0 0 23 0 1 0 2001980159 12931072 2225 996147200 134512640 135477443 4294956224 18446744073709551615 134755003 0 0 4096 0 0 0 0 17 1 0 0
/proc/1097/statm: 3157 2225 370 235 0 1858 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 12628
[startup+1.50164 s]
/proc/loadavg: 1.92 1.98 1.99 3/82 1098
/proc/meminfo: memFree=1747544/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=300896 CPUtime=1.47
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 4585 0 0 0 145 2 0 0 25 0 1 0 2001980159 308117504 4123 996147200 134512640 135477443 4294956224 18446744073709551615 135269072 0 0 4096 0 0 0 0 17 1 0 0
/proc/1097/statm: 75224 4123 455 235 0 73925 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 300896
[startup+3.10178 s]
/proc/loadavg: 1.92 1.98 1.99 3/82 1098
/proc/meminfo: memFree=1741720/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=309872 CPUtime=3.06
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 30646 0 0 0 291 15 0 0 25 0 1 0 2001980159 317308928 6485 996147200 134512640 135477443 4294956224 18446744073709551615 135268048 0 0 4096 0 0 0 0 17 1 0 0
/proc/1097/statm: 77468 6485 455 235 0 76169 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 309872
[startup+6.30206 s]
/proc/loadavg: 1.93 1.98 1.99 3/82 1098
/proc/meminfo: memFree=1715424/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=334424 CPUtime=6.23
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 84651 0 0 0 581 42 0 0 25 0 1 0 2001980159 342450176 12853 996147200 134512640 135477443 4294956224 18446744073709551615 135269728 0 0 4096 0 0 0 0 17 1 0 0
/proc/1097/statm: 83606 12853 455 235 0 82307 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 334424
[startup+12.7016 s]
/proc/loadavg: 1.93 1.98 1.99 3/82 1098
/proc/meminfo: memFree=1663136/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=383264 CPUtime=12.57
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 192217 0 0 0 1162 95 0 0 25 0 1 0 2001980159 392462336 25528 996147200 134512640 135477443 4294956224 18446744073709551615 135268929 0 0 4096 0 0 0 0 17 1 0 0
/proc/1097/statm: 95816 25528 455 235 0 94517 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 383264
[startup+25.5018 s]
/proc/loadavg: 1.95 1.98 1.99 3/82 1098
/proc/meminfo: memFree=1558560/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=480812 CPUtime=25.27
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 407165 0 0 0 2326 201 0 0 25 0 1 0 2001980159 492351488 50870 996147200 134512640 135477443 4294956224 18446744073709551615 135268562 0 0 4096 0 0 0 0 17 1 0 0
/proc/1097/statm: 120203 50870 455 235 0 118904 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 480812
[startup+51.102 s]
/proc/loadavg: 1.96 1.98 1.99 3/82 1098
/proc/meminfo: memFree=1387296/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=484264 CPUtime=50.63
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 678246 0 0 0 4649 414 0 0 25 0 1 0 2001980159 495886336 93256 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 1 0 0
/proc/1097/statm: 121066 93256 504 235 0 119767 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 484264
[startup+102.302 s]
/proc/loadavg: 1.98 1.98 1.99 3/82 1098
/proc/meminfo: memFree=1373472/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=484268 CPUtime=101.4
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 681666 0 0 0 9724 416 0 0 25 0 1 0 2001980159 495890432 96676 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 1 0 0
/proc/1097/statm: 121067 96676 504 235 0 119768 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 484268
[startup+162.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 1098
/proc/meminfo: memFree=1373024/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=484268 CPUtime=160.88
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 681765 0 0 0 15672 416 0 0 25 0 1 0 2001980159 495890432 96775 996147200 134512640 135477443 4294956224 18446744073709551615 135208650 0 0 4096 0 0 0 0 17 1 0 0
/proc/1097/statm: 121067 96775 504 235 0 119768 0
Current children cumulated CPU time (s) 160.88
Current children cumulated vsize (KiB) 484268
[startup+222.306 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 1098
/proc/meminfo: memFree=1372896/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=484268 CPUtime=220.37
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 681765 0 0 0 21621 416 0 0 25 0 1 0 2001980159 495890432 96775 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 1 0 0
/proc/1097/statm: 121067 96775 504 235 0 119768 0
Current children cumulated CPU time (s) 220.37
Current children cumulated vsize (KiB) 484268
[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 1098
/proc/meminfo: memFree=1369120/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=484268 CPUtime=279.85
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 682683 0 0 0 27568 417 0 0 25 0 1 0 2001980159 495890432 97693 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 1 0 0
/proc/1097/statm: 121067 97693 504 235 0 119768 0
Current children cumulated CPU time (s) 279.85
Current children cumulated vsize (KiB) 484268
[startup+342.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 1098
/proc/meminfo: memFree=1369120/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=484268 CPUtime=339.33
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 682683 0 0 0 33516 417 0 0 25 0 1 0 2001980159 495890432 97693 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 1 0 0
/proc/1097/statm: 121067 97693 504 235 0 119768 0
Current children cumulated CPU time (s) 339.33
Current children cumulated vsize (KiB) 484268
[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 1105
/proc/meminfo: memFree=1369240/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=484268 CPUtime=398.81
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 682683 0 0 0 39463 418 0 0 25 0 1 0 2001980159 495890432 97693 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 1 0 0
/proc/1097/statm: 121067 97693 504 235 0 119768 0
Current children cumulated CPU time (s) 398.81
Current children cumulated vsize (KiB) 484268
[startup+462.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 1105
/proc/meminfo: memFree=1369176/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=484268 CPUtime=458.29
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 682683 0 0 0 45411 418 0 0 25 0 1 0 2001980159 495890432 97693 996147200 134512640 135477443 4294956224 18446744073709551615 135270207 0 0 4096 0 0 0 0 17 1 0 0
/proc/1097/statm: 121067 97693 504 235 0 119768 0
Current children cumulated CPU time (s) 458.29
Current children cumulated vsize (KiB) 484268
[startup+522.302 s]
/proc/loadavg: 2.04 2.00 2.00 3/82 1105
/proc/meminfo: memFree=1369112/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=484268 CPUtime=517.78
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 682683 0 0 0 51360 418 0 0 25 0 1 0 2001980159 495890432 97693 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 1 0 0
/proc/1097/statm: 121067 97693 504 235 0 119768 0
Current children cumulated CPU time (s) 517.78
Current children cumulated vsize (KiB) 484268
[startup+582.302 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 1105
/proc/meminfo: memFree=1369112/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=484268 CPUtime=577.28
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 682683 0 0 0 57309 419 0 0 25 0 1 0 2001980159 495890432 97693 996147200 134512640 135477443 4294956224 18446744073709551615 134673665 0 0 4096 0 0 0 0 17 1 0 0
/proc/1097/statm: 121067 97693 504 235 0 119768 0
Current children cumulated CPU time (s) 577.28
Current children cumulated vsize (KiB) 484268
[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 1105
/proc/meminfo: memFree=1368216/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=484268 CPUtime=636.77
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 682902 0 0 0 63258 419 0 0 25 0 1 0 2001980159 495890432 97912 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 1 0 0
/proc/1097/statm: 121067 97912 504 235 0 119768 0
Current children cumulated CPU time (s) 636.77
Current children cumulated vsize (KiB) 484268
################
# More data... #
################
[startup+882.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 1105
/proc/meminfo: memFree=1365792/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=484268 CPUtime=874.73
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 683478 0 0 0 87053 420 0 0 25 0 1 0 2001980159 495890432 98488 996147200 134512640 135477443 4294956224 18446744073709551615 134673693 0 0 4096 0 0 0 0 17 1 0 0
/proc/1097/statm: 121067 98488 504 235 0 119768 0
Current children cumulated CPU time (s) 874.73
Current children cumulated vsize (KiB) 484268
[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 1105
/proc/meminfo: memFree=1365792/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=484268 CPUtime=934.22
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 683478 0 0 0 93002 420 0 0 25 0 1 0 2001980159 495890432 98488 996147200 134512640 135477443 4294956224 18446744073709551615 134695873 0 0 4096 0 0 0 0 17 1 0 0
/proc/1097/statm: 121067 98488 504 235 0 119768 0
Current children cumulated CPU time (s) 934.22
Current children cumulated vsize (KiB) 484268
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 1105
/proc/meminfo: memFree=1365792/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=484268 CPUtime=993.71
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 683478 0 0 0 98950 421 0 0 25 0 1 0 2001980159 495890432 98488 996147200 134512640 135477443 4294956224 18446744073709551615 135270207 0 0 4096 0 0 0 0 17 1 0 0
/proc/1097/statm: 121067 98488 504 235 0 119768 0
Current children cumulated CPU time (s) 993.71
Current children cumulated vsize (KiB) 484268
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 1105
/proc/meminfo: memFree=1365792/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=484268 CPUtime=1053.2
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 683478 0 0 0 104899 421 0 0 25 0 1 0 2001980159 495890432 98488 996147200 134512640 135477443 4294956224 18446744073709551615 135272405 0 0 4096 0 0 0 0 17 1 0 0
/proc/1097/statm: 121067 98488 504 235 0 119768 0
Current children cumulated CPU time (s) 1053.2
Current children cumulated vsize (KiB) 484268
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 1105
/proc/meminfo: memFree=1365728/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=484268 CPUtime=1112.68
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 683478 0 0 0 110847 421 0 0 25 0 1 0 2001980159 495890432 98488 996147200 134512640 135477443 4294956224 18446744073709551615 135270207 0 0 4096 0 0 0 0 17 1 0 0
/proc/1097/statm: 121067 98488 504 235 0 119768 0
Current children cumulated CPU time (s) 1112.68
Current children cumulated vsize (KiB) 484268
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 1105
/proc/meminfo: memFree=1365664/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=484268 CPUtime=1172.18
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 683478 0 0 0 116797 421 0 0 25 0 1 0 2001980159 495890432 98488 996147200 134512640 135477443 4294956224 18446744073709551615 134921069 0 0 4096 0 0 0 0 17 1 0 0
/proc/1097/statm: 121067 98488 504 235 0 119768 0
Current children cumulated CPU time (s) 1172.18
Current children cumulated vsize (KiB) 484268
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 1105
/proc/meminfo: memFree=1365600/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=484268 CPUtime=1231.66
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 683478 0 0 0 122745 421 0 0 25 0 1 0 2001980159 495890432 98488 996147200 134512640 135477443 4294956224 18446744073709551615 134673741 0 0 4096 0 0 0 0 17 1 0 0
/proc/1097/statm: 121067 98488 504 235 0 119768 0
Current children cumulated CPU time (s) 1231.66
Current children cumulated vsize (KiB) 484268
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 1105
/proc/meminfo: memFree=1365536/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=484268 CPUtime=1291.16
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 683478 0 0 0 128695 421 0 0 25 0 1 0 2001980159 495890432 98488 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 1 0 0
/proc/1097/statm: 121067 98488 504 235 0 119768 0
Current children cumulated CPU time (s) 1291.16
Current children cumulated vsize (KiB) 484268
[startup+1362.3 s]
/proc/loadavg: 1.93 1.98 1.99 3/73 1135
/proc/meminfo: memFree=1373672/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=484268 CPUtime=1350.72
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 683480 0 0 0 134649 423 0 0 25 0 1 0 2001980159 495890432 98490 996147200 134512640 135477443 4294956224 18446744073709551615 134586766 0 0 4096 0 0 0 0 17 0 0 0
/proc/1097/statm: 121067 98490 504 235 0 119768 0
Current children cumulated CPU time (s) 1350.72
Current children cumulated vsize (KiB) 484268
[startup+1422.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/73 1135
/proc/meminfo: memFree=1373608/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=484268 CPUtime=1410.47
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 683510 0 0 0 140624 423 0 0 25 0 1 0 2001980159 495890432 98520 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/1097/statm: 121067 98520 504 235 0 119768 0
Current children cumulated CPU time (s) 1410.47
Current children cumulated vsize (KiB) 484268
[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 1135
/proc/meminfo: memFree=1373480/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=484268 CPUtime=1470.23
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 683510 0 0 0 146600 423 0 0 25 0 1 0 2001980159 495890432 98520 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/1097/statm: 121067 98520 504 235 0 119768 0
Current children cumulated CPU time (s) 1470.23
Current children cumulated vsize (KiB) 484268
[startup+1542.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 1135
/proc/meminfo: memFree=1373480/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=484268 CPUtime=1529.99
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 683511 0 0 0 152576 423 0 0 25 0 1 0 2001980159 495890432 98521 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/1097/statm: 121067 98521 504 235 0 119768 0
Current children cumulated CPU time (s) 1529.99
Current children cumulated vsize (KiB) 484268
[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 1135
/proc/meminfo: memFree=1373416/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=484268 CPUtime=1589.75
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 683511 0 0 0 158552 423 0 0 25 0 1 0 2001980159 495890432 98521 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/1097/statm: 121067 98521 504 235 0 119768 0
Current children cumulated CPU time (s) 1589.75
Current children cumulated vsize (KiB) 484268
[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 1135
/proc/meminfo: memFree=1373416/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=484268 CPUtime=1649.5
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 683511 0 0 0 164527 423 0 0 25 0 1 0 2001980159 495890432 98521 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 0 0 0
/proc/1097/statm: 121067 98521 504 235 0 119768 0
Current children cumulated CPU time (s) 1649.5
Current children cumulated vsize (KiB) 484268
[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 1135
/proc/meminfo: memFree=1373352/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=484268 CPUtime=1709.26
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 683511 0 0 0 170503 423 0 0 25 0 1 0 2001980159 495890432 98521 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/1097/statm: 121067 98521 504 235 0 119768 0
Current children cumulated CPU time (s) 1709.26
Current children cumulated vsize (KiB) 484268
[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 1135
/proc/meminfo: memFree=1373288/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=484268 CPUtime=1769.02
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 683511 0 0 0 176479 423 0 0 25 0 1 0 2001980159 495890432 98521 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/1097/statm: 121067 98521 504 235 0 119768 0
Current children cumulated CPU time (s) 1769.02
Current children cumulated vsize (KiB) 484268
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1813.4 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 1135
/proc/meminfo: memFree=1373352/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=484268 CPUtime=1800
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 683511 0 0 0 179577 423 0 0 25 0 1 0 2001980159 495890432 98521 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 0 0 0
/proc/1097/statm: 121067 98521 504 235 0 119768 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 484268
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1813.4 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 1135
/proc/meminfo: memFree=1373352/2055920 swapFree=4180688/4192956
[pid=1097] ppid=1095 vsize=484268 CPUtime=1800
/proc/1097/stat : 1097 (casperzao) R 1095 1097 31525 0 -1 4194304 683511 0 0 0 179577 423 0 0 25 0 1 0 2001980159 495890432 98521 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 0 0 0
/proc/1097/statm: 121067 98521 504 235 0 119768 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 484268
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1813.47
CPU time (s): 1800.08
CPU user time (s): 1795.78
CPU system time (s): 4.30035
CPU usage (%): 99.2617
Max. virtual memory (cumulated for all children) (KiB): 577436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.78
system time used= 4.30035
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 683511
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= 16
involuntary context switches= 60969
runsolver used 1.9457 second user time and 4.73828 second system time
The end
Begin job on node41 at 2008-07-05 05:54:32
IDJOB=1084116
IDBENCH=57526
IDSOLVER=361
FILE ID=node41/1084116-1215230071
PBS_JOBID= 7881816
Free space on /tmp= 66152 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/super-queens/normalized-super-queens-7.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1084116-1215230071/watcher-1084116-1215230071 -o /tmp/evaluation-result-1084116-1215230071/solver-1084116-1215230071 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1084116-1215230071.xml 1022615143
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= fc9f58475a614e928f4d65ba1e610c18
RANDOM SEED=1022615143
node41.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.232
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.232
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: 1759488 kB
Buffers: 40316 kB
Cached: 180508 kB
SwapCached: 6228 kB
Active: 162992 kB
Inactive: 79344 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1759488 kB
SwapTotal: 4192956 kB
SwapFree: 4180688 kB
Dirty: 8776 kB
Writeback: 0 kB
Mapped: 37568 kB
Slab: 39308 kB
Committed_AS: 3649724 kB
PageTables: 1800 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= 66144 MiB
End job on node41 at 2008-07-05 06:24:47