0.19/0.21 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.19/0.21 c Parsing = 1
0.19/0.21 c Building = 1
6.86/6.92 c [ NumberOfVariables = 2178 ]
6.86/6.92 c [ NumberOfConstraints = 2643 ]
6.86/6.92 c [ SizeOfSearchSpace(log2) = 2545.17 ]
6.86/6.92 c SymmetrySearch = 1
7.06/7.17 c [ Found 7.3787e+19 symmetries ]
7.16/7.21 c InitialPropagation = 1
7.16/7.22 c [ SizeOfSearchSpace(log2) = 2545.17 ]
7.16/7.22 c InitialSAC = 1
9.54/9.69 c [ SizeOfSearchSpace(log2) = 2545.17 ]
9.54/9.70 c Search(SampleFF) :
324.11/325.48 c [ Sampling domwdeg ]
324.11/325.48 c [ Sampling impacts ]
324.11/325.48 c [ Sampling la ]
324.11/325.48 c [ SamplingScores: ]
324.11/325.48 c [ domwdeg+min = 0.0234905 | domwdeg+rnd = 0.0007749 ]
324.11/325.48 c [ impacts+min = 5.61812e-05 | impacts+rnd = 5.84183e-06 ]
324.11/325.48 c [ la+min = 7.00394e-20 | la+rnd = 1.49927e-07 ]
324.11/325.48 c [ domwdeg = 0.0121327 | impacts = 3.10115e-05 | la = 7.49637e-08 ]
324.11/325.48 c [ min = 0.0078489 | rand = 3.10115e-05 ]
324.11/325.48 c [ restarting at (0.1,0.000994605) ]
324.41/325.75 c [ restarting at (0.25,0.00262662) ]
325.10/326.42 c [ restarting at (0.625,0.000384129) ]
326.80/328.10 c [ restarting at (1.5625,4.7667e-05) ]
330.88/332.29 c [ restarting at (3.90625,0.000755306) ]
341.34/342.76 c [ restarting at (9.76562,0.000112392) ]
367.44/368.93 c [ restarting at (24.4141,0.000398956) ]
432.58/434.37 c [ restarting at (61.0352,0.000357808) ]
595.54/597.95 c [ restarting at (152.588,0.0019047) ]
884.68/888.26 c [ restarting at (381.47,0.00198122) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1043365-1215028191/watcher-1043365-1215028191 -o /tmp/evaluation-result-1043365-1215028191/solver-1043365-1215028191 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1043365-1215028191.xml 937943361
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.00 2.00 4/72 8361
/proc/meminfo: memFree=1401312/2055920 swapFree=4156604/4192956
[pid=8361] ppid=8359 vsize=1056 CPUtime=0
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 40 0 0 0 0 0 0 0 21 0 1 0 625742281 1081344 26 996147200 134512640 135477443 4294956224 18446744073709551615 5534500 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 264 26 20 235 0 3 0
[startup+0.201733 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 8361
/proc/meminfo: memFree=1401312/2055920 swapFree=4156604/4192956
[pid=8361] ppid=8359 vsize=290144 CPUtime=0.19
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 2202 0 0 0 18 1 0 0 18 0 1 0 625742281 297107456 1605 996147200 134512640 135477443 4294956224 18446744073709551615 5969531 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 72536 1612 463 235 0 71237 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 290144
[startup+0.301739 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 8361
/proc/meminfo: memFree=1401312/2055920 swapFree=4156604/4192956
[pid=8361] ppid=8359 vsize=293320 CPUtime=0.28
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 3856 0 0 0 27 1 0 0 19 0 1 0 625742281 300359680 2414 996147200 134512640 135477443 4294956224 18446744073709551615 135219085 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 73330 2414 463 235 0 72031 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 293320
[startup+0.401748 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 8361
/proc/meminfo: memFree=1401312/2055920 swapFree=4156604/4192956
[pid=8361] ppid=8359 vsize=296496 CPUtime=0.38
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 5533 0 0 0 36 2 0 0 20 0 1 0 625742281 303611904 3222 996147200 134512640 135477443 4294956224 18446744073709551615 135268721 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 74124 3222 463 235 0 72825 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 296496
[startup+0.701776 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 8361
/proc/meminfo: memFree=1401312/2055920 swapFree=4156604/4192956
[pid=8361] ppid=8359 vsize=306028 CPUtime=0.68
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 10539 0 0 0 63 5 0 0 22 0 1 0 625742281 313372672 5634 996147200 134512640 135477443 4294956224 18446744073709551615 135268721 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 76507 5634 463 235 0 75208 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 306028
[startup+1.50185 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 8362
/proc/meminfo: memFree=1364440/2055920 swapFree=4156604/4192956
[pid=8361] ppid=8359 vsize=331704 CPUtime=1.48
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 23910 0 0 0 136 12 0 0 25 0 1 0 625742281 339664896 12066 996147200 134512640 135477443 4294956224 18446744073709551615 135268706 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 82926 12066 463 235 0 81627 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 331704
[startup+3.10201 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 8362
/proc/meminfo: memFree=1328792/2055920 swapFree=4156604/4192956
[pid=8361] ppid=8359 vsize=383192 CPUtime=3.07
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 50268 0 0 0 283 24 0 0 25 0 1 0 625742281 392388608 25037 996147200 134512640 135477443 4294956224 18446744073709551615 135268706 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 95798 25037 463 235 0 94499 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 383192
[startup+6.30132 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 8362
/proc/meminfo: memFree=1221528/2055920 swapFree=4156604/4192956
[pid=8361] ppid=8359 vsize=486296 CPUtime=6.26
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 103377 0 0 0 577 49 0 0 25 0 1 0 625742281 497967104 51005 996147200 134512640 135477443 4294956224 18446744073709551615 134694399 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 121574 51005 463 235 0 120275 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 486296
[startup+12.7019 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 8362
/proc/meminfo: memFree=1174128/2055920 swapFree=4156604/4192956
[pid=8361] ppid=8359 vsize=320616 CPUtime=12.64
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 116052 0 0 0 1209 55 0 0 25 0 1 0 625742281 328310784 57208 996147200 134512640 135477443 4294956224 18446744073709551615 134586766 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 80154 57208 537 235 0 78855 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 320616
[startup+25.5062 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 8362
/proc/meminfo: memFree=1173424/2055920 swapFree=4156604/4192956
[pid=8361] ppid=8359 vsize=320616 CPUtime=25.38
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 116307 0 0 0 2483 55 0 0 25 0 1 0 625742281 328310784 57463 996147200 134512640 135477443 4294956224 18446744073709551615 134949588 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 80154 57463 537 235 0 78855 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 320616
[startup+51.1017 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 8362
/proc/meminfo: memFree=1172144/2055920 swapFree=4156604/4192956
[pid=8361] ppid=8359 vsize=322200 CPUtime=50.89
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 116672 0 0 0 5033 56 0 0 25 0 1 0 625742281 329932800 57828 996147200 134512640 135477443 4294956224 18446744073709551615 6835963 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 80550 57828 538 235 0 79251 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 322200
[startup+102.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 8362
/proc/meminfo: memFree=1168112/2055920 swapFree=4156604/4192956
[pid=8361] ppid=8359 vsize=325104 CPUtime=101.88
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 117672 0 0 0 10132 56 0 0 25 0 1 0 625742281 332906496 58828 996147200 134512640 135477443 4294956224 18446744073709551615 6835963 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 81276 58828 538 235 0 79977 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 325104
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 8362
/proc/meminfo: memFree=1168176/2055920 swapFree=4156604/4192956
[pid=8361] ppid=8359 vsize=325104 CPUtime=161.64
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 117672 0 0 0 16108 56 0 0 25 0 1 0 625742281 332906496 58828 996147200 134512640 135477443 4294956224 18446744073709551615 6835930 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 81276 58828 538 235 0 79977 0
Current children cumulated CPU time (s) 161.64
Current children cumulated vsize (KiB) 325104
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 8362
/proc/meminfo: memFree=1168112/2055920 swapFree=4156604/4192956
[pid=8361] ppid=8359 vsize=325104 CPUtime=221.42
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 117672 0 0 0 22085 57 0 0 25 0 1 0 625742281 332906496 58828 996147200 134512640 135477443 4294956224 18446744073709551615 134949783 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 81276 58828 538 235 0 79977 0
Current children cumulated CPU time (s) 221.42
Current children cumulated vsize (KiB) 325104
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 8362
/proc/meminfo: memFree=1167152/2055920 swapFree=4156604/4192956
[pid=8361] ppid=8359 vsize=325104 CPUtime=281.18
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 117915 0 0 0 28061 57 0 0 25 0 1 0 625742281 332906496 59071 996147200 134512640 135477443 4294956224 18446744073709551615 134949710 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 81276 59071 538 235 0 79977 0
Current children cumulated CPU time (s) 281.18
Current children cumulated vsize (KiB) 325104
[startup+342.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 8364
/proc/meminfo: memFree=1166896/2055920 swapFree=4156604/4192956
[pid=8361] ppid=8359 vsize=325104 CPUtime=340.95
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 117916 0 0 0 34038 57 0 0 25 0 1 0 625742281 332906496 59072 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 81276 59072 539 235 0 79977 0
Current children cumulated CPU time (s) 340.95
Current children cumulated vsize (KiB) 325104
[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 8364
/proc/meminfo: memFree=1166832/2055920 swapFree=4156604/4192956
[pid=8361] ppid=8359 vsize=325104 CPUtime=400.7
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 117916 0 0 0 40013 57 0 0 25 0 1 0 625742281 332906496 59072 996147200 134512640 135477443 4294956224 18446744073709551615 135208668 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 81276 59072 539 235 0 79977 0
Current children cumulated CPU time (s) 400.7
Current children cumulated vsize (KiB) 325104
[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 8364
/proc/meminfo: memFree=1166896/2055920 swapFree=4156604/4192956
[pid=8361] ppid=8359 vsize=325104 CPUtime=460.47
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 117916 0 0 0 45990 57 0 0 25 0 1 0 625742281 332906496 59072 996147200 134512640 135477443 4294956224 18446744073709551615 135208668 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 81276 59072 539 235 0 79977 0
Current children cumulated CPU time (s) 460.47
Current children cumulated vsize (KiB) 325104
[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 8364
/proc/meminfo: memFree=1166960/2055920 swapFree=4156604/4192956
[pid=8361] ppid=8359 vsize=325104 CPUtime=520.24
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 117916 0 0 0 51966 58 0 0 25 0 1 0 625742281 332906496 59072 996147200 134512640 135477443 4294956224 18446744073709551615 135208645 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 81276 59072 539 235 0 79977 0
Current children cumulated CPU time (s) 520.24
Current children cumulated vsize (KiB) 325104
[startup+582.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/73 8364
/proc/meminfo: memFree=1166960/2055920 swapFree=4156604/4192956
[pid=8361] ppid=8359 vsize=325104 CPUtime=580
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 117916 0 0 0 57942 58 0 0 25 0 1 0 625742281 332906496 59072 996147200 134512640 135477443 4294956224 18446744073709551615 135208751 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 81276 59072 539 235 0 79977 0
Current children cumulated CPU time (s) 580
Current children cumulated vsize (KiB) 325104
[startup+642.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/73 8364
/proc/meminfo: memFree=1166960/2055920 swapFree=4156604/4192956
[pid=8361] ppid=8359 vsize=325104 CPUtime=639.76
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 117916 0 0 0 63918 58 0 0 25 0 1 0 625742281 332906496 59072 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 81276 59072 539 235 0 79977 0
Current children cumulated CPU time (s) 639.76
Current children cumulated vsize (KiB) 325104
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 8370
/proc/meminfo: memFree=1166768/2055920 swapFree=4156604/4192956
[pid=8361] ppid=8359 vsize=325104 CPUtime=878.81
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 117916 0 0 0 87822 59 0 0 25 0 1 0 625742281 332906496 59072 996147200 134512640 135477443 4294956224 18446744073709551615 134673681 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 81276 59072 539 235 0 79977 0
Current children cumulated CPU time (s) 878.81
Current children cumulated vsize (KiB) 325104
[startup+942.302 s]
/proc/loadavg: 1.40 1.83 1.94 2/68 8718
/proc/meminfo: memFree=1179512/2055920 swapFree=4156948/4192956
[pid=8361] ppid=8359 vsize=325104 CPUtime=938.59
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 117916 0 0 0 93798 61 0 0 25 0 1 0 625742281 332906496 59072 996147200 134512640 135477443 4294956224 18446744073709551615 135208708 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 81276 59072 539 235 0 79977 0
Current children cumulated CPU time (s) 938.59
Current children cumulated vsize (KiB) 325104
[startup+1002.31 s]
/proc/loadavg: 1.13 1.66 1.87 2/65 8887
/proc/meminfo: memFree=1180728/2055920 swapFree=4157100/4192956
[pid=8361] ppid=8359 vsize=325104 CPUtime=998.47
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 117916 0 0 0 99785 62 0 0 25 0 1 0 625742281 332906496 59072 996147200 134512640 135477443 4294956224 18446744073709551615 135208668 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 81276 59072 539 235 0 79977 0
Current children cumulated CPU time (s) 998.47
Current children cumulated vsize (KiB) 325104
[startup+1062.3 s]
/proc/loadavg: 1.05 1.55 1.82 2/65 8887
/proc/meminfo: memFree=1180792/2055920 swapFree=4157100/4192956
[pid=8361] ppid=8359 vsize=325104 CPUtime=1058.45
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 117916 0 0 0 105783 62 0 0 25 0 1 0 625742281 332906496 59072 996147200 134512640 135477443 4294956224 18446744073709551615 134949704 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 81276 59072 539 235 0 79977 0
Current children cumulated CPU time (s) 1058.45
Current children cumulated vsize (KiB) 325104
[startup+1122.3 s]
/proc/loadavg: 1.02 1.45 1.77 2/65 8887
/proc/meminfo: memFree=1180792/2055920 swapFree=4157100/4192956
[pid=8361] ppid=8359 vsize=325104 CPUtime=1118.44
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 117916 0 0 0 111781 63 0 0 25 0 1 0 625742281 332906496 59072 996147200 134512640 135477443 4294956224 18446744073709551615 135208668 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 81276 59072 539 235 0 79977 0
Current children cumulated CPU time (s) 1118.44
Current children cumulated vsize (KiB) 325104
[startup+1182.3 s]
/proc/loadavg: 1.00 1.36 1.72 2/65 8887
/proc/meminfo: memFree=1180856/2055920 swapFree=4157100/4192956
[pid=8361] ppid=8359 vsize=325104 CPUtime=1178.42
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 117916 0 0 0 117779 63 0 0 25 0 1 0 625742281 332906496 59072 996147200 134512640 135477443 4294956224 18446744073709551615 135208645 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 81276 59072 539 235 0 79977 0
Current children cumulated CPU time (s) 1178.42
Current children cumulated vsize (KiB) 325104
[startup+1242.3 s]
/proc/loadavg: 1.00 1.29 1.67 2/65 8887
/proc/meminfo: memFree=1180856/2055920 swapFree=4157100/4192956
[pid=8361] ppid=8359 vsize=325104 CPUtime=1238.41
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 117916 0 0 0 123778 63 0 0 25 0 1 0 625742281 332906496 59072 996147200 134512640 135477443 4294956224 18446744073709551615 135208645 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 81276 59072 539 235 0 79977 0
Current children cumulated CPU time (s) 1238.41
Current children cumulated vsize (KiB) 325104
[startup+1302.3 s]
/proc/loadavg: 1.00 1.24 1.62 2/65 8887
/proc/meminfo: memFree=1180856/2055920 swapFree=4157100/4192956
[pid=8361] ppid=8359 vsize=325104 CPUtime=1298.39
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 117916 0 0 0 129776 63 0 0 25 0 1 0 625742281 332906496 59072 996147200 134512640 135477443 4294956224 18446744073709551615 135221365 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 81276 59072 539 235 0 79977 0
Current children cumulated CPU time (s) 1298.39
Current children cumulated vsize (KiB) 325104
[startup+1362.3 s]
/proc/loadavg: 1.00 1.19 1.58 2/65 8887
/proc/meminfo: memFree=1180856/2055920 swapFree=4157100/4192956
[pid=8361] ppid=8359 vsize=325104 CPUtime=1358.37
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 117916 0 0 0 135774 63 0 0 25 0 1 0 625742281 332906496 59072 996147200 134512640 135477443 4294956224 18446744073709551615 134949669 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 81276 59072 539 235 0 79977 0
Current children cumulated CPU time (s) 1358.37
Current children cumulated vsize (KiB) 325104
[startup+1422.3 s]
/proc/loadavg: 1.00 1.15 1.54 2/65 8887
/proc/meminfo: memFree=1180856/2055920 swapFree=4157100/4192956
[pid=8361] ppid=8359 vsize=325104 CPUtime=1418.36
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 117916 0 0 0 141773 63 0 0 25 0 1 0 625742281 332906496 59072 996147200 134512640 135477443 4294956224 18446744073709551615 134855082 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 81276 59072 539 235 0 79977 0
Current children cumulated CPU time (s) 1418.36
Current children cumulated vsize (KiB) 325104
[startup+1482.3 s]
/proc/loadavg: 1.00 1.12 1.51 2/65 8887
/proc/meminfo: memFree=1180856/2055920 swapFree=4157100/4192956
[pid=8361] ppid=8359 vsize=325104 CPUtime=1478.34
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 117916 0 0 0 147771 63 0 0 25 0 1 0 625742281 332906496 59072 996147200 134512640 135477443 4294956224 18446744073709551615 134695868 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 81276 59072 539 235 0 79977 0
Current children cumulated CPU time (s) 1478.34
Current children cumulated vsize (KiB) 325104
[startup+1542.3 s]
/proc/loadavg: 1.00 1.10 1.47 2/65 8887
/proc/meminfo: memFree=1180984/2055920 swapFree=4157100/4192956
[pid=8361] ppid=8359 vsize=325104 CPUtime=1538.33
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 117916 0 0 0 153770 63 0 0 25 0 1 0 625742281 332906496 59072 996147200 134512640 135477443 4294956224 18446744073709551615 134887902 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 81276 59072 539 235 0 79977 0
Current children cumulated CPU time (s) 1538.33
Current children cumulated vsize (KiB) 325104
[startup+1602.3 s]
/proc/loadavg: 1.00 1.08 1.44 2/65 8887
/proc/meminfo: memFree=1180920/2055920 swapFree=4157100/4192956
[pid=8361] ppid=8359 vsize=325104 CPUtime=1598.3
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 117916 0 0 0 159767 63 0 0 25 0 1 0 625742281 332906496 59072 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 81276 59072 539 235 0 79977 0
Current children cumulated CPU time (s) 1598.3
Current children cumulated vsize (KiB) 325104
[startup+1662.31 s]
/proc/loadavg: 1.00 1.06 1.41 2/65 8887
/proc/meminfo: memFree=1180920/2055920 swapFree=4157100/4192956
[pid=8361] ppid=8359 vsize=325104 CPUtime=1658.29
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 117916 0 0 0 165766 63 0 0 25 0 1 0 625742281 332906496 59072 996147200 134512640 135477443 4294956224 18446744073709551615 135208645 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 81276 59072 539 235 0 79977 0
Current children cumulated CPU time (s) 1658.29
Current children cumulated vsize (KiB) 325104
[startup+1722.3 s]
/proc/loadavg: 1.00 1.05 1.38 2/65 8887
/proc/meminfo: memFree=1180920/2055920 swapFree=4157100/4192956
[pid=8361] ppid=8359 vsize=325104 CPUtime=1718.28
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 117916 0 0 0 171764 64 0 0 25 0 1 0 625742281 332906496 59072 996147200 134512640 135477443 4294956224 18446744073709551615 134990342 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 81276 59072 539 235 0 79977 0
Current children cumulated CPU time (s) 1718.28
Current children cumulated vsize (KiB) 325104
[startup+1782.3 s]
/proc/loadavg: 1.00 1.04 1.35 2/65 8887
/proc/meminfo: memFree=1180856/2055920 swapFree=4157100/4192956
[pid=8361] ppid=8359 vsize=325104 CPUtime=1778.26
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 117916 0 0 0 177762 64 0 0 25 0 1 0 625742281 332906496 59072 996147200 134512640 135477443 4294956224 18446744073709551615 135208668 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 81276 59072 539 235 0 79977 0
Current children cumulated CPU time (s) 1778.26
Current children cumulated vsize (KiB) 325104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.1 s]
/proc/loadavg: 1.00 1.03 1.34 2/65 8887
/proc/meminfo: memFree=1180856/2055920 swapFree=4157100/4192956
[pid=8361] ppid=8359 vsize=325104 CPUtime=1800.06
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 117916 0 0 0 179942 64 0 0 25 0 1 0 625742281 332906496 59072 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 81276 59072 539 235 0 79977 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 325104
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1804.1 s]
/proc/loadavg: 1.00 1.03 1.34 2/65 8887
/proc/meminfo: memFree=1180856/2055920 swapFree=4157100/4192956
[pid=8361] ppid=8359 vsize=325104 CPUtime=1800.06
/proc/8361/stat : 8361 (casperzao) R 8359 8361 6833 0 -1 4194304 117916 0 0 0 179942 64 0 0 25 0 1 0 625742281 332906496 59072 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 1 0 0
/proc/8361/statm: 81276 59072 539 235 0 79977 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 325104
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1804.15
CPU time (s): 1800.11
CPU user time (s): 1799.43
CPU system time (s): 0.679896
CPU usage (%): 99.7761
Max. virtual memory (cumulated for all children) (KiB): 506284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.43
system time used= 0.679896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117916
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= 13
involuntary context switches= 13725
runsolver used 1.56476 second user time and 4.28235 second system time
The end
Begin job on node60 at 2008-07-02 21:49:51
IDJOB=1043365
IDBENCH=53891
IDSOLVER=361
FILE ID=node60/1043365-1215028191
PBS_JOBID= 7874349
Free space on /tmp= 66548 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/allsquares/normalized-squares-33-33.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1043365-1215028191/watcher-1043365-1215028191 -o /tmp/evaluation-result-1043365-1215028191/solver-1043365-1215028191 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1043365-1215028191.xml 937943361
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= d3e9fb88cfd1b07e17afb6e1c39c5e12
RANDOM SEED=937943361
node60.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.216
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.216
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: 1401792 kB
Buffers: 65368 kB
Cached: 465552 kB
SwapCached: 30692 kB
Active: 221428 kB
Inactive: 357064 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1401792 kB
SwapTotal: 4192956 kB
SwapFree: 4156604 kB
Dirty: 4184 kB
Writeback: 0 kB
Mapped: 55016 kB
Slab: 60824 kB
Committed_AS: 1042952 kB
PageTables: 1876 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= 66548 MiB
End job on node60 at 2008-07-02 22:19:58