0.19/0.20 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.19/0.20 c Parsing = 1
1.18/1.22 c Building = 1
89.96/90.73 c [ NumberOfVariables = 1750 ]
89.96/90.73 c [ NumberOfConstraints = 32049 ]
89.96/90.76 c [ SizeOfSearchSpace(log2) = 14804.8 ]
89.96/90.76 c SymmetrySearch = 1
98.98/99.85 c InitialPropagation = 1
99.08/99.91 c [ SizeOfSearchSpace(log2) = 14775.4 ]
99.08/99.91 c InitialSAC = (Timeout)
131.18/132.39 c [ SizeOfSearchSpace(log2) = 14761.9 ]
131.28/132.44 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-1085570-1215234402/watcher-1085570-1215234402 -o /tmp/evaluation-result-1085570-1215234402/solver-1085570-1215234402 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1085570-1215234402.xml 1383011184
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.02 2.04 2.01 4/73 30769
/proc/meminfo: memFree=1393296/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=1056 CPUtime=0
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 40 0 0 0 0 0 0 0 19 0 1 0 429057621 1081344 26 996147200 134512640 135477443 4294956224 18446744073709551615 3810084 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/30769/statm: 264 26 20 235 0 3 0
[startup+0.105899 s]
/proc/loadavg: 2.02 2.04 2.01 4/73 30769
/proc/meminfo: memFree=1393296/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=6872 CPUtime=0.09
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 846 0 0 0 9 0 0 0 18 0 1 0 429057621 7036928 806 996147200 134512640 135477443 4294956224 18446744073709551615 134755060 0 0 4096 0 0 0 0 17 1 0 0
/proc/30769/statm: 1718 806 370 235 0 419 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6872
[startup+0.201913 s]
/proc/loadavg: 2.02 2.04 2.01 4/73 30769
/proc/meminfo: memFree=1393296/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=8192 CPUtime=0.19
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 1153 0 0 0 19 0 0 0 18 0 1 0 429057621 8388608 1113 996147200 134512640 135477443 4294956224 18446744073709551615 134755060 0 0 4096 0 0 0 0 17 1 0 0
/proc/30769/statm: 2048 1113 370 235 0 749 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8192
[startup+0.301927 s]
/proc/loadavg: 2.02 2.04 2.01 4/73 30769
/proc/meminfo: memFree=1393296/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=9380 CPUtime=0.28
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 1461 0 0 0 28 0 0 0 19 0 1 0 429057621 9605120 1421 996147200 134512640 135477443 4294956224 18446744073709551615 4251278 0 0 4096 0 0 0 0 17 1 0 0
/proc/30769/statm: 2345 1421 370 235 0 1046 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9380
[startup+0.701984 s]
/proc/loadavg: 2.02 2.04 2.01 4/73 30769
/proc/meminfo: memFree=1393296/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=14264 CPUtime=0.69
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 2676 0 0 0 68 1 0 0 23 0 1 0 429057621 14606336 2636 996147200 134512640 135477443 4294956224 18446744073709551615 4243939 0 0 4096 0 0 0 0 17 1 0 0
/proc/30769/statm: 3566 2636 370 235 0 2267 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14264
[startup+1.5011 s]
/proc/loadavg: 2.02 2.04 2.01 3/74 30770
/proc/meminfo: memFree=1379400/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=176204 CPUtime=1.47
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 18816 0 0 0 138 9 0 0 25 0 1 0 429057621 180432896 18776 996147200 134512640 135477443 4294956224 18446744073709551615 134593270 0 0 4096 0 0 0 0 17 1 0 0
/proc/30769/statm: 44051 18776 392 235 0 42752 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 176204
[startup+3.10132 s]
/proc/loadavg: 2.02 2.04 2.01 3/74 30770
/proc/meminfo: memFree=1306824/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=363716 CPUtime=3.06
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 23019 0 0 0 294 12 0 0 25 0 1 0 429057621 372445184 21906 996147200 134512640 135477443 4294956224 18446744073709551615 135270828 0 0 4096 0 0 0 0 17 1 0 0
/proc/30769/statm: 90929 21906 461 235 0 89630 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 363716
[startup+6.30177 s]
/proc/loadavg: 2.02 2.04 2.01 3/74 30770
/proc/meminfo: memFree=1302728/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=367952 CPUtime=6.24
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 30140 0 0 0 609 15 0 0 25 0 1 0 429057621 376782848 22972 996147200 134512640 135477443 4294956224 18446744073709551615 135268985 0 0 4096 0 0 0 0 17 1 0 0
/proc/30769/statm: 91988 22972 461 235 0 90689 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 367952
[startup+12.7017 s]
/proc/loadavg: 2.02 2.04 2.01 3/74 30770
/proc/meminfo: memFree=1292424/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=380784 CPUtime=12.58
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 50673 0 0 0 1237 21 0 0 25 0 1 0 429057621 389922816 26139 996147200 134512640 135477443 4294956224 18446744073709551615 135272093 0 0 4096 0 0 0 0 17 1 0 0
/proc/30769/statm: 95196 26139 461 235 0 93897 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 380784
[startup+25.5015 s]
/proc/loadavg: 2.01 2.03 2.01 3/74 30770
/proc/meminfo: memFree=1260744/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=409628 CPUtime=25.28
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 92114 0 0 0 2492 36 0 0 25 0 1 0 429057621 419459072 33477 996147200 134512640 135477443 4294956224 18446744073709551615 135272336 0 0 4096 0 0 0 0 17 1 0 0
/proc/30769/statm: 102407 33477 461 235 0 101108 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 409628
[startup+51.1011 s]
/proc/loadavg: 2.07 2.05 2.01 3/74 30770
/proc/meminfo: memFree=1191560/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=481204 CPUtime=50.68
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 192216 0 0 0 4995 73 0 0 25 0 1 0 429057621 492752896 51433 996147200 134512640 135477443 4294956224 18446744073709551615 134694657 0 0 4096 0 0 0 0 17 1 0 0
/proc/30769/statm: 120301 51433 464 235 0 119002 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 481204
[startup+102.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/74 30770
/proc/meminfo: memFree=1061384/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=400828 CPUtime=101.45
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 385934 0 0 0 9917 228 0 0 25 0 1 0 429057621 410447872 83239 996147200 134512640 135477443 4294956224 18446744073709551615 135270826 0 0 4096 0 0 0 0 17 1 0 0
/proc/30769/statm: 100207 83239 509 235 0 98908 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 400828
[startup+162.302 s]
/proc/loadavg: 2.01 2.03 2.00 3/74 30770
/proc/meminfo: memFree=1052296/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=400828 CPUtime=160.92
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 386307 0 0 0 15863 229 0 0 25 0 1 0 429057621 410447872 83612 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 1 0 0
/proc/30769/statm: 100207 83612 530 235 0 98908 0
Current children cumulated CPU time (s) 160.92
Current children cumulated vsize (KiB) 400828
[startup+222.306 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 30770
/proc/meminfo: memFree=1052232/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=400828 CPUtime=220.42
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 386307 0 0 0 21813 229 0 0 25 0 1 0 429057621 410447872 83612 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 1 0 0
/proc/30769/statm: 100207 83612 530 235 0 98908 0
Current children cumulated CPU time (s) 220.42
Current children cumulated vsize (KiB) 400828
[startup+282.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 30770
/proc/meminfo: memFree=1046408/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=400828 CPUtime=279.93
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 386307 0 0 0 27764 229 0 0 25 0 1 0 429057621 410447872 83612 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 1 0 0
/proc/30769/statm: 100207 83612 530 235 0 98908 0
Current children cumulated CPU time (s) 279.93
Current children cumulated vsize (KiB) 400828
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 30770
/proc/meminfo: memFree=1046280/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=400828 CPUtime=339.43
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 386307 0 0 0 33713 230 0 0 25 0 1 0 429057621 410447872 83612 996147200 134512640 135477443 4294956224 18446744073709551615 135208574 0 0 4096 0 0 0 0 17 1 0 0
/proc/30769/statm: 100207 83612 530 235 0 98908 0
Current children cumulated CPU time (s) 339.43
Current children cumulated vsize (KiB) 400828
[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 30770
/proc/meminfo: memFree=1043592/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=400828 CPUtime=398.95
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 386307 0 0 0 39665 230 0 0 25 0 1 0 429057621 410447872 83612 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 1 0 0
/proc/30769/statm: 100207 83612 530 235 0 98908 0
Current children cumulated CPU time (s) 398.95
Current children cumulated vsize (KiB) 400828
[startup+462.301 s]
/proc/loadavg: 2.08 2.02 2.01 3/83 30867
/proc/meminfo: memFree=1378752/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=400828 CPUtime=458.51
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 386307 0 0 0 45619 232 0 0 25 0 1 0 429057621 410447872 83612 996147200 134512640 135477443 4294956224 18446744073709551615 135208587 0 0 4096 0 0 0 0 17 0 0 0
/proc/30769/statm: 100207 83612 530 235 0 98908 0
Current children cumulated CPU time (s) 458.51
Current children cumulated vsize (KiB) 400828
[startup+522.302 s]
/proc/loadavg: 2.15 2.04 2.01 3/83 30867
/proc/meminfo: memFree=1277888/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=400828 CPUtime=518.48
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 386307 0 0 0 51616 232 0 0 25 0 1 0 429057621 410447872 83612 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 0 0 0
/proc/30769/statm: 100207 83612 530 235 0 98908 0
Current children cumulated CPU time (s) 518.48
Current children cumulated vsize (KiB) 400828
[startup+582.301 s]
/proc/loadavg: 2.13 2.05 2.01 3/83 30867
/proc/meminfo: memFree=1187584/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=400828 CPUtime=578.46
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 386307 0 0 0 57613 233 0 0 25 0 1 0 429057621 410447872 83612 996147200 134512640 135477443 4294956224 18446744073709551615 135208587 0 0 4096 0 0 0 0 17 0 0 0
/proc/30769/statm: 100207 83612 530 235 0 98908 0
Current children cumulated CPU time (s) 578.46
Current children cumulated vsize (KiB) 400828
[startup+642.302 s]
/proc/loadavg: 2.04 2.04 2.00 3/83 30867
/proc/meminfo: memFree=1107968/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=400828 CPUtime=638.43
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 386307 0 0 0 63610 233 0 0 25 0 1 0 429057621 410447872 83612 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 0 0 0
/proc/30769/statm: 100207 83612 530 235 0 98908 0
Current children cumulated CPU time (s) 638.43
Current children cumulated vsize (KiB) 400828
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.09 2.22 2.09 3/83 30870
/proc/meminfo: memFree=15872/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=400828 CPUtime=878.06
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 386307 0 0 0 87544 262 0 0 25 0 1 0 429057621 410447872 83612 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 0 0 0
/proc/30769/statm: 100207 83612 530 235 0 98908 0
Current children cumulated CPU time (s) 878.06
Current children cumulated vsize (KiB) 400828
[startup+942.301 s]
/proc/loadavg: 2.21 2.24 2.10 3/83 30870
/proc/meminfo: memFree=16192/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=400828 CPUtime=938.02
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 386307 0 0 0 93537 265 0 0 25 0 1 0 429057621 410447872 83612 996147200 134512640 135477443 4294956224 18446744073709551615 135208574 0 0 4096 0 0 0 0 17 0 0 0
/proc/30769/statm: 100207 83612 530 235 0 98908 0
Current children cumulated CPU time (s) 938.02
Current children cumulated vsize (KiB) 400828
[startup+1002.3 s]
/proc/loadavg: 2.22 2.23 2.10 3/83 30870
/proc/meminfo: memFree=16320/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=400828 CPUtime=997.98
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 386307 0 0 0 99530 268 0 0 25 0 1 0 429057621 410447872 83612 996147200 134512640 135477443 4294956224 18446744073709551615 135208574 0 0 4096 0 0 0 0 17 0 0 0
/proc/30769/statm: 100207 83612 530 235 0 98908 0
Current children cumulated CPU time (s) 997.98
Current children cumulated vsize (KiB) 400828
[startup+1062.3 s]
/proc/loadavg: 2.22 2.23 2.11 3/83 30870
/proc/meminfo: memFree=15104/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=400828 CPUtime=1057.95
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 386307 0 0 0 105523 272 0 0 25 0 1 0 429057621 410447872 83612 996147200 134512640 135477443 4294956224 18446744073709551615 135208574 0 0 4096 0 0 0 0 17 0 0 0
/proc/30769/statm: 100207 83612 530 235 0 98908 0
Current children cumulated CPU time (s) 1057.95
Current children cumulated vsize (KiB) 400828
[startup+1122.3 s]
/proc/loadavg: 2.22 2.23 2.11 3/83 30870
/proc/meminfo: memFree=15616/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=400828 CPUtime=1117.92
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 386307 0 0 0 111516 276 0 0 25 0 1 0 429057621 410447872 83612 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 0 0 0
/proc/30769/statm: 100207 83612 530 235 0 98908 0
Current children cumulated CPU time (s) 1117.92
Current children cumulated vsize (KiB) 400828
[startup+1182.3 s]
/proc/loadavg: 2.13 2.20 2.10 3/73 30897
/proc/meminfo: memFree=1606032/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=400828 CPUtime=1177.64
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 386307 0 0 0 117486 278 0 0 25 0 1 0 429057621 410447872 83612 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 0 0 0
/proc/30769/statm: 100207 83612 530 235 0 98908 0
Current children cumulated CPU time (s) 1177.64
Current children cumulated vsize (KiB) 400828
[startup+1242.3 s]
/proc/loadavg: 2.04 2.16 2.09 3/73 30897
/proc/meminfo: memFree=1606288/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=400828 CPUtime=1237.39
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 386307 0 0 0 123461 278 0 0 25 0 1 0 429057621 410447872 83612 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 0 0 0
/proc/30769/statm: 100207 83612 530 235 0 98908 0
Current children cumulated CPU time (s) 1237.39
Current children cumulated vsize (KiB) 400828
[startup+1302.3 s]
/proc/loadavg: 2.01 2.13 2.09 3/73 30897
/proc/meminfo: memFree=1606224/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=400828 CPUtime=1297.16
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 386307 0 0 0 129437 279 0 0 25 0 1 0 429057621 410447872 83612 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 0 0 0
/proc/30769/statm: 100207 83612 530 235 0 98908 0
Current children cumulated CPU time (s) 1297.16
Current children cumulated vsize (KiB) 400828
[startup+1362.3 s]
/proc/loadavg: 2.00 2.10 2.08 3/73 30897
/proc/meminfo: memFree=1606160/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=400828 CPUtime=1356.91
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 386307 0 0 0 135412 279 0 0 25 0 1 0 429057621 410447872 83612 996147200 134512640 135477443 4294956224 18446744073709551615 135208574 0 0 4096 0 0 0 0 17 0 0 0
/proc/30769/statm: 100207 83612 530 235 0 98908 0
Current children cumulated CPU time (s) 1356.91
Current children cumulated vsize (KiB) 400828
[startup+1422.3 s]
/proc/loadavg: 2.00 2.08 2.07 3/73 30897
/proc/meminfo: memFree=1606160/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=400828 CPUtime=1416.67
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 386307 0 0 0 141388 279 0 0 25 0 1 0 429057621 410447872 83612 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/30769/statm: 100207 83612 530 235 0 98908 0
Current children cumulated CPU time (s) 1416.67
Current children cumulated vsize (KiB) 400828
[startup+1482.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/73 30899
/proc/meminfo: memFree=1606160/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=400828 CPUtime=1476.42
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 386307 0 0 0 147363 279 0 0 25 0 1 0 429057621 410447872 83612 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 0 0 0
/proc/30769/statm: 100207 83612 530 235 0 98908 0
Current children cumulated CPU time (s) 1476.42
Current children cumulated vsize (KiB) 400828
[startup+1542.31 s]
/proc/loadavg: 2.00 2.05 2.06 3/73 30899
/proc/meminfo: memFree=1606096/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=400828 CPUtime=1536.18
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 386307 0 0 0 153339 279 0 0 25 0 1 0 429057621 410447872 83612 996147200 134512640 135477443 4294956224 18446744073709551615 135208574 0 0 4096 0 0 0 0 17 0 0 0
/proc/30769/statm: 100207 83612 530 235 0 98908 0
Current children cumulated CPU time (s) 1536.18
Current children cumulated vsize (KiB) 400828
[startup+1602.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/73 30899
/proc/meminfo: memFree=1606096/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=400828 CPUtime=1595.93
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 386307 0 0 0 159314 279 0 0 25 0 1 0 429057621 410447872 83612 996147200 134512640 135477443 4294956224 18446744073709551615 135208574 0 0 4096 0 0 0 0 17 0 0 0
/proc/30769/statm: 100207 83612 530 235 0 98908 0
Current children cumulated CPU time (s) 1595.93
Current children cumulated vsize (KiB) 400828
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/73 30899
/proc/meminfo: memFree=1606096/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=400828 CPUtime=1655.69
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 386307 0 0 0 165290 279 0 0 25 0 1 0 429057621 410447872 83612 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 0 0 0
/proc/30769/statm: 100207 83612 530 235 0 98908 0
Current children cumulated CPU time (s) 1655.69
Current children cumulated vsize (KiB) 400828
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/73 30899
/proc/meminfo: memFree=1606032/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=400828 CPUtime=1715.45
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 386307 0 0 0 171266 279 0 0 25 0 1 0 429057621 410447872 83612 996147200 134512640 135477443 4294956224 18446744073709551615 135208587 0 0 4096 0 0 0 0 17 0 0 0
/proc/30769/statm: 100207 83612 530 235 0 98908 0
Current children cumulated CPU time (s) 1715.45
Current children cumulated vsize (KiB) 400828
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/73 30899
/proc/meminfo: memFree=1605904/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=400828 CPUtime=1775.2
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 386307 0 0 0 177241 279 0 0 25 0 1 0 429057621 410447872 83612 996147200 134512640 135477443 4294956224 18446744073709551615 135208581 0 0 4096 0 0 0 0 17 0 0 0
/proc/30769/statm: 100207 83612 530 235 0 98908 0
Current children cumulated CPU time (s) 1775.2
Current children cumulated vsize (KiB) 400828
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.2 s]
/proc/loadavg: 2.00 2.01 2.04 3/73 30899
/proc/meminfo: memFree=1605904/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=400828 CPUtime=1800
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 386307 0 0 0 179721 279 0 0 25 0 1 0 429057621 410447872 83612 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 0 0 0
/proc/30769/statm: 100207 83612 530 235 0 98908 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 400828
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1807.2 s]
/proc/loadavg: 2.00 2.01 2.04 3/73 30899
/proc/meminfo: memFree=1605904/2055920 swapFree=4180312/4192956
[pid=30769] ppid=30767 vsize=400828 CPUtime=1800
/proc/30769/stat : 30769 (casperzao) R 30767 30769 28589 0 -1 4194304 386307 0 0 0 179721 279 0 0 25 0 1 0 429057621 410447872 83612 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 0 0 0
/proc/30769/statm: 100207 83612 530 235 0 98908 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 400828
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1807.26
CPU time (s): 1800.06
CPU user time (s): 1797.21
CPU system time (s): 2.84657
CPU usage (%): 99.6019
Max. virtual memory (cumulated for all children) (KiB): 577932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.21
system time used= 2.84657
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 386307
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= 22068
runsolver used 1.86672 second user time and 5.42917 second system time
The end
Begin job on node49 at 2008-07-05 07:06:43
IDJOB=1085570
IDBENCH=57660
IDSOLVER=361
FILE ID=node49/1085570-1215234402
PBS_JOBID= 7881838
Free space on /tmp= 66504 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/fapp/fapp22/normalized-fapp22-1750-0.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085570-1215234402/watcher-1085570-1215234402 -o /tmp/evaluation-result-1085570-1215234402/solver-1085570-1215234402 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1085570-1215234402.xml 1383011184
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 9a4e6098c7014d2e43e37229a7ed8846
RANDOM SEED=1383011184
node49.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.249
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.249
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: 1393776 kB
Buffers: 51316 kB
Cached: 238392 kB
SwapCached: 5752 kB
Active: 521916 kB
Inactive: 86340 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1393776 kB
SwapTotal: 4192956 kB
SwapFree: 4180312 kB
Dirty: 7364 kB
Writeback: 0 kB
Mapped: 324928 kB
Slab: 38376 kB
Committed_AS: 1194660 kB
PageTables: 2476 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66548 MiB
End job on node49 at 2008-07-05 07:36:52