0.18/0.23 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.18/0.23 c Parsing = 1
0.18/0.23 c Building = 1
2.67/2.78 c [ NumberOfVariables = 100 ]
2.67/2.78 c [ NumberOfConstraints = 80 ]
2.67/2.78 c [ SizeOfSearchSpace(log2) = 658.496 ]
2.67/2.78 c SymmetrySearch = 1
2.67/2.78 c InitialPropagation = 1
2.67/2.79 c [ SizeOfSearchSpace(log2) = 592.032 ]
2.67/2.79 c InitialSAC = (Timeout)
42.86/43.23 c [ SizeOfSearchSpace(log2) = 577.878 ]
42.86/43.23 c Search(SampleFF) :
143.50/144.63 c [ Sampling domwdeg ]
143.50/144.63 c [ Sampling impacts ]
143.50/144.63 c [ Sampling la ]
143.50/144.63 c [ SamplingScores: ]
143.50/144.63 c [ domwdeg+min = 0.00575191 | domwdeg+rnd = 0.000104331 ]
143.50/144.63 c [ impacts+min = 0.0147502 | impacts+rnd = 0.000491048 ]
143.50/144.63 c [ la+min = 0.000108638 | la+rnd = 4.95294e-05 ]
143.50/144.63 c [ domwdeg = 0.00292812 | impacts = 0.00762065 | la = 7.90837e-05 ]
143.50/144.63 c [ min = 0.00687026 | rand = 0.00762065 ]
143.50/144.63 c [ restarting at (1.13177,6.58468e-06) ]
146.47/147.69 c [ restarting at (2.82944,3.51615e-07) ]
154.02/155.29 c [ restarting at (7.07359,0.0175685) ]
172.87/174.25 c [ restarting at (17.684,0.0219618) ]
219.92/221.64 c [ restarting at (44.21,0.00292367) ]
337.44/340.09 c [ restarting at (110.525,0.0449015) ]
593.77/598.31 c [ restarting at (276.312,0.0321948) ]
1283.33/1289.25 c [ restarting at (690.781,0.04972) ]
1335.51/1341.47 c Search(SampleFF) = 1
1335.51/1341.47 s SATISFIABLE
1335.51/1341.47 v 23 37 5 53 67 31 37 61 97 79 41 5 53 29 43 3 53 3 83 37 37 67 61 11 19 13 41 89 61 31 11 5 83 23 71 61 67 17 37 61 11 89 79 71 29 41 89 97 53 73 43 3 59 13 17 89 41 73 79 17 13 2 29 5 37 13 79 11 43 19 97 73 19 73 47 61 29 47 67 2 41 23 3 7 43 29 7 3 11 97 19 31 3 67 47 41 3 37 71 47
1335.51/1341.47 d CHECKS 51343930
1335.51/1341.47 c [ TotalFails = 136295 ]
1335.51/1341.47 c [ NumberOfRestarts = 67 ]
1335.51/1341.47 c [ TotalTime = 1.32785e+06 secs ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1057451-1215111167/watcher-1057451-1215111167 -o /tmp/evaluation-result-1057451-1215111167/solver-1057451-1215111167 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1057451-1215111167.xml 889060691
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.61 1.90 1.90 4/72 22762
/proc/meminfo: memFree=1547848/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=18572 CPUtime=0
/proc/22762/stat : 22762 (runsolver) R 22760 22762 22430 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1990086461 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 257203694887 0 0 4096 24578 0 0 0 17 1 0 0
/proc/22762/statm: 4643 292 257 25 0 2626 0
[startup+0.0616819 s]
/proc/loadavg: 1.61 1.90 1.90 4/72 22762
/proc/meminfo: memFree=1547848/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=287116 CPUtime=0.04
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 779 0 0 0 4 0 0 0 18 0 1 0 1990086461 294006784 661 996147200 134512640 135477443 4294956224 18446744073709551615 134585520 0 0 4096 0 0 0 0 17 1 0 0
/proc/22762/statm: 71779 661 466 235 0 70480 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 287116
[startup+0.101684 s]
/proc/loadavg: 1.61 1.90 1.90 4/72 22762
/proc/meminfo: memFree=1547848/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=287116 CPUtime=0.08
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 852 0 0 0 8 0 0 0 18 0 1 0 1990086461 294006784 678 996147200 134512640 135477443 4294956224 18446744073709551615 134695873 0 0 4096 0 0 0 0 17 1 0 0
/proc/22762/statm: 71779 678 466 235 0 70480 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 287116
[startup+0.301701 s]
/proc/loadavg: 1.61 1.90 1.90 4/72 22762
/proc/meminfo: memFree=1547848/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=287248 CPUtime=0.29
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 1116 0 0 0 28 1 0 0 19 0 1 0 1990086461 294141952 683 996147200 134512640 135477443 4294956224 18446744073709551615 134879857 0 0 4096 0 0 0 0 17 1 0 0
/proc/22762/statm: 71812 683 466 235 0 70513 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 287248
[startup+0.701734 s]
/proc/loadavg: 1.61 1.90 1.90 4/72 22762
/proc/meminfo: memFree=1547848/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=99872 CPUtime=0.69
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 1639 0 0 0 68 1 0 0 23 0 1 0 1990086461 102268928 711 996147200 134512640 135477443 4294956224 18446744073709551615 6108100 0 0 4096 0 0 0 0 17 1 0 0
/proc/22762/statm: 24968 711 466 235 0 23669 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 99872
[startup+1.5018 s]
/proc/loadavg: 1.61 1.90 1.90 3/73 22763
/proc/meminfo: memFree=1546560/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=287512 CPUtime=1.48
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 2227 0 0 0 147 1 0 0 25 0 1 0 1990086461 294412288 764 996147200 134512640 135477443 4294956224 18446744073709551615 134583585 0 0 4096 0 0 0 0 17 1 0 0
/proc/22762/statm: 71878 764 466 235 0 70579 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 287512
[startup+3.10193 s]
/proc/loadavg: 1.61 1.90 1.90 3/73 22763
/proc/meminfo: memFree=1546176/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100296 CPUtime=3.07
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3219 0 0 0 305 2 0 0 25 0 1 0 1990086461 102703104 923 996147200 134512640 135477443 4294956224 18446744073709551615 134583601 0 0 4096 0 0 0 0 17 1 0 0
/proc/22762/statm: 25074 923 509 235 0 23775 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 100296
[startup+6.3012 s]
/proc/loadavg: 1.64 1.91 1.90 3/73 22763
/proc/meminfo: memFree=1545792/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100296 CPUtime=6.24
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3228 0 0 0 622 2 0 0 25 0 1 0 1990086461 102703104 932 996147200 134512640 135477443 4294956224 18446744073709551615 134879571 0 0 4096 0 0 0 0 17 1 0 0
/proc/22762/statm: 25074 932 509 235 0 23775 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 100296
[startup+12.7017 s]
/proc/loadavg: 1.67 1.91 1.90 3/73 22763
/proc/meminfo: memFree=1545600/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100296 CPUtime=12.6
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3242 0 0 0 1258 2 0 0 25 0 1 0 1990086461 102703104 946 996147200 134512640 135477443 4294956224 18446744073709551615 134583585 0 0 4096 0 0 0 0 17 1 0 0
/proc/22762/statm: 25074 946 509 235 0 23775 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 100296
[startup+25.5018 s]
/proc/loadavg: 1.74 1.91 1.91 3/73 22763
/proc/meminfo: memFree=1545600/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100296 CPUtime=25.3
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3281 0 0 0 2528 2 0 0 25 0 1 0 1990086461 102703104 985 996147200 134512640 135477443 4294956224 18446744073709551615 134583426 0 0 4096 0 0 0 0 17 1 0 0
/proc/22762/statm: 25074 985 509 235 0 23775 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 100296
[startup+51.1019 s]
/proc/loadavg: 1.83 1.92 1.91 3/73 22763
/proc/meminfo: memFree=1545408/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100296 CPUtime=50.7
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3373 0 0 0 5068 2 0 0 25 0 1 0 1990086461 102703104 1077 996147200 134512640 135477443 4294956224 18446744073709551615 134585553 0 0 4096 0 0 0 0 17 1 0 0
/proc/22762/statm: 25074 1077 532 235 0 23775 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 100296
[startup+102.305 s]
/proc/loadavg: 1.92 1.93 1.91 3/73 22763
/proc/meminfo: memFree=1544896/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100428 CPUtime=101.52
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3438 0 0 0 10150 2 0 0 25 0 1 0 1990086461 102838272 1142 996147200 134512640 135477443 4294956224 18446744073709551615 134583601 0 0 4096 0 0 0 0 17 1 0 0
/proc/22762/statm: 25107 1142 533 235 0 23808 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 100428
[startup+162.301 s]
/proc/loadavg: 1.97 1.94 1.91 3/73 22763
/proc/meminfo: memFree=1544704/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100428 CPUtime=161.06
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3487 0 0 0 16104 2 0 0 25 0 1 0 1990086461 102838272 1191 996147200 134512640 135477443 4294956224 18446744073709551615 134942622 0 0 4096 0 0 0 0 17 1 0 0
/proc/22762/statm: 25107 1191 534 235 0 23808 0
Current children cumulated CPU time (s) 161.06
Current children cumulated vsize (KiB) 100428
[startup+222.301 s]
/proc/loadavg: 1.99 1.95 1.91 3/73 22763
/proc/meminfo: memFree=1544768/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100428 CPUtime=220.61
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3491 0 0 0 22059 2 0 0 25 0 1 0 1990086461 102838272 1195 996147200 134512640 135477443 4294956224 18446744073709551615 134583601 0 0 4096 0 0 0 0 17 1 0 0
/proc/22762/statm: 25107 1195 534 235 0 23808 0
Current children cumulated CPU time (s) 220.61
Current children cumulated vsize (KiB) 100428
[startup+282.301 s]
/proc/loadavg: 1.99 1.95 1.91 3/73 22763
/proc/meminfo: memFree=1544768/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100428 CPUtime=280.16
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3496 0 0 0 28014 2 0 0 25 0 1 0 1990086461 102838272 1200 996147200 134512640 135477443 4294956224 18446744073709551615 134942385 0 0 4096 0 0 0 0 17 1 0 0
/proc/22762/statm: 25107 1200 534 235 0 23808 0
Current children cumulated CPU time (s) 280.16
Current children cumulated vsize (KiB) 100428
[startup+342.301 s]
/proc/loadavg: 1.99 1.96 1.91 3/73 22763
/proc/meminfo: memFree=1544704/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100428 CPUtime=339.72
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3496 0 0 0 33969 3 0 0 25 0 1 0 1990086461 102838272 1200 996147200 134512640 135477443 4294956224 18446744073709551615 134583601 0 0 4096 0 0 0 0 17 1 0 0
/proc/22762/statm: 25107 1200 534 235 0 23808 0
Current children cumulated CPU time (s) 339.72
Current children cumulated vsize (KiB) 100428
[startup+402.302 s]
/proc/loadavg: 1.99 1.96 1.91 3/73 22763
/proc/meminfo: memFree=1544768/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100428 CPUtime=399.27
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3496 0 0 0 39924 3 0 0 25 0 1 0 1990086461 102838272 1200 996147200 134512640 135477443 4294956224 18446744073709551615 134583603 0 0 4096 0 0 0 0 17 1 0 0
/proc/22762/statm: 25107 1200 534 235 0 23808 0
Current children cumulated CPU time (s) 399.27
Current children cumulated vsize (KiB) 100428
[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 22763
/proc/meminfo: memFree=1544704/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100428 CPUtime=458.82
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3496 0 0 0 45879 3 0 0 25 0 1 0 1990086461 102838272 1200 996147200 134512640 135477443 4294956224 18446744073709551615 134942385 0 0 4096 0 0 0 0 17 1 0 0
/proc/22762/statm: 25107 1200 534 235 0 23808 0
Current children cumulated CPU time (s) 458.82
Current children cumulated vsize (KiB) 100428
[startup+522.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 22769
/proc/meminfo: memFree=1544696/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100428 CPUtime=518.35
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3496 0 0 0 51832 3 0 0 25 0 1 0 1990086461 102838272 1200 996147200 134512640 135477443 4294956224 18446744073709551615 134583610 0 0 4096 0 0 0 0 17 1 0 0
/proc/22762/statm: 25107 1200 534 235 0 23808 0
Current children cumulated CPU time (s) 518.35
Current children cumulated vsize (KiB) 100428
[startup+582.302 s]
/proc/loadavg: 2.07 1.99 1.91 3/73 22769
/proc/meminfo: memFree=1544568/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100428 CPUtime=577.9
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3496 0 0 0 57787 3 0 0 25 0 1 0 1990086461 102838272 1200 996147200 134512640 135477443 4294956224 18446744073709551615 134673665 0 0 4096 0 0 0 0 17 1 0 0
/proc/22762/statm: 25107 1200 534 235 0 23808 0
Current children cumulated CPU time (s) 577.9
Current children cumulated vsize (KiB) 100428
[startup+642.302 s]
/proc/loadavg: 2.11 2.00 1.92 4/83 22896
/proc/meminfo: memFree=1302184/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100428 CPUtime=637.51
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3496 0 0 0 63745 6 0 0 25 0 1 0 1990086461 102838272 1200 996147200 134512640 135477443 4294956224 18446744073709551615 134673665 0 0 4096 0 0 0 0 17 1 0 0
/proc/22762/statm: 25107 1200 534 235 0 23808 0
Current children cumulated CPU time (s) 637.51
Current children cumulated vsize (KiB) 100428
################
# More data... #
################
/proc/meminfo: memFree=1248232/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100428 CPUtime=756.68
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3496 0 0 0 75661 7 0 0 25 0 1 0 1990086461 102838272 1200 996147200 134512640 135477443 4294956224 18446744073709551615 134585570 0 0 4096 0 0 0 0 17 0 0 0
/proc/22762/statm: 25107 1200 534 235 0 23808 0
Current children cumulated CPU time (s) 756.68
Current children cumulated vsize (KiB) 100428
[startup+822.302 s]
/proc/loadavg: 2.12 2.05 1.94 3/81 22997
/proc/meminfo: memFree=1450160/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100428 CPUtime=816.61
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3496 0 0 0 81652 9 0 0 25 0 1 0 1990086461 102838272 1200 996147200 134512640 135477443 4294956224 18446744073709551615 134673690 0 0 4096 0 0 0 0 17 0 0 0
/proc/22762/statm: 25107 1200 534 235 0 23808 0
Current children cumulated CPU time (s) 816.61
Current children cumulated vsize (KiB) 100428
[startup+882.302 s]
/proc/loadavg: 2.04 2.04 1.94 3/81 22997
/proc/meminfo: memFree=1449968/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100428 CPUtime=876.59
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3496 0 0 0 87650 9 0 0 25 0 1 0 1990086461 102838272 1200 996147200 134512640 135477443 4294956224 18446744073709551615 134583601 0 0 4096 0 0 0 0 17 0 0 0
/proc/22762/statm: 25107 1200 534 235 0 23808 0
Current children cumulated CPU time (s) 876.59
Current children cumulated vsize (KiB) 100428
[startup+942.302 s]
/proc/loadavg: 2.01 2.03 1.94 3/81 22997
/proc/meminfo: memFree=1449904/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100428 CPUtime=936.57
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3496 0 0 0 93648 9 0 0 25 0 1 0 1990086461 102838272 1200 996147200 134512640 135477443 4294956224 18446744073709551615 134583601 0 0 4096 0 0 0 0 17 0 0 0
/proc/22762/statm: 25107 1200 534 235 0 23808 0
Current children cumulated CPU time (s) 936.57
Current children cumulated vsize (KiB) 100428
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/81 22997
/proc/meminfo: memFree=1449840/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100428 CPUtime=996.55
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3496 0 0 0 99646 9 0 0 25 0 1 0 1990086461 102838272 1200 996147200 134512640 135477443 4294956224 18446744073709551615 134583392 0 0 4096 0 0 0 0 17 0 0 0
/proc/22762/statm: 25107 1200 534 235 0 23808 0
Current children cumulated CPU time (s) 996.55
Current children cumulated vsize (KiB) 100428
[startup+1062.3 s]
/proc/loadavg: 2.14 2.05 1.95 4/81 23032
/proc/meminfo: memFree=1322808/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100428 CPUtime=1056.51
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3496 0 0 0 105641 10 0 0 25 0 1 0 1990086461 102838272 1200 996147200 134512640 135477443 4294956224 18446744073709551615 134586147 0 0 4096 0 0 0 0 17 0 0 0
/proc/22762/statm: 25107 1200 534 235 0 23808 0
Current children cumulated CPU time (s) 1056.51
Current children cumulated vsize (KiB) 100428
[startup+1122.3 s]
/proc/loadavg: 2.05 2.04 1.95 3/81 23032
/proc/meminfo: memFree=1290616/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100428 CPUtime=1116.49
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3496 0 0 0 111639 10 0 0 25 0 1 0 1990086461 102838272 1200 996147200 134512640 135477443 4294956224 18446744073709551615 134585553 0 0 4096 0 0 0 0 17 0 0 0
/proc/22762/statm: 25107 1200 534 235 0 23808 0
Current children cumulated CPU time (s) 1116.49
Current children cumulated vsize (KiB) 100428
[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 1.95 3/81 23032
/proc/meminfo: memFree=1290488/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100428 CPUtime=1176.47
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3496 0 0 0 117637 10 0 0 25 0 1 0 1990086461 102838272 1200 996147200 134512640 135477443 4294956224 18446744073709551615 134583601 0 0 4096 0 0 0 0 17 0 0 0
/proc/22762/statm: 25107 1200 534 235 0 23808 0
Current children cumulated CPU time (s) 1176.47
Current children cumulated vsize (KiB) 100428
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/81 23032
/proc/meminfo: memFree=1290360/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100428 CPUtime=1236.45
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3496 0 0 0 123635 10 0 0 25 0 1 0 1990086461 102838272 1200 996147200 134512640 135477443 4294956224 18446744073709551615 134673681 0 0 4096 0 0 0 0 17 0 0 0
/proc/22762/statm: 25107 1200 534 235 0 23808 0
Current children cumulated CPU time (s) 1236.45
Current children cumulated vsize (KiB) 100428
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/81 23032
/proc/meminfo: memFree=1290360/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100428 CPUtime=1296.43
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3496 0 0 0 129633 10 0 0 25 0 1 0 1990086461 102838272 1200 996147200 134512640 135477443 4294956224 18446744073709551615 134583428 0 0 4096 0 0 0 0 17 0 0 0
/proc/22762/statm: 25107 1200 534 235 0 23808 0
Current children cumulated CPU time (s) 1296.43
Current children cumulated vsize (KiB) 100428
Solver just ended. Dumping a history of the last processes samples
[startup+1305.5 s]
/proc/loadavg: 2.00 2.02 1.95 3/81 23032
/proc/meminfo: memFree=1290360/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100428 CPUtime=1299.62
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3496 0 0 0 129952 10 0 0 25 0 1 0 1990086461 102838272 1200 996147200 134512640 135477443 4294956224 18446744073709551615 134583601 0 0 4096 0 0 0 0 17 0 0 0
/proc/22762/statm: 25107 1200 534 235 0 23808 0
Current children cumulated CPU time (s) 1299.62
Current children cumulated vsize (KiB) 100428
[startup+1318.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/81 23032
/proc/meminfo: memFree=1290360/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100428 CPUtime=1312.42
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3496 0 0 0 131232 10 0 0 25 0 1 0 1990086461 102838272 1200 996147200 134512640 135477443 4294956224 18446744073709551615 134879571 0 0 4096 0 0 0 0 17 0 0 0
/proc/22762/statm: 25107 1200 534 235 0 23808 0
Current children cumulated CPU time (s) 1312.42
Current children cumulated vsize (KiB) 100428
[startup+1331.1 s]
/proc/loadavg: 2.00 2.01 1.95 3/81 23032
/proc/meminfo: memFree=1290360/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100428 CPUtime=1325.21
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3496 0 0 0 132511 10 0 0 25 0 1 0 1990086461 102838272 1200 996147200 134512640 135477443 4294956224 18446744073709551615 134942193 0 0 4096 0 0 0 0 17 0 0 0
/proc/22762/statm: 25107 1200 534 235 0 23808 0
Current children cumulated CPU time (s) 1325.21
Current children cumulated vsize (KiB) 100428
[startup+1337.5 s]
/proc/loadavg: 2.00 2.01 1.95 3/81 23032
/proc/meminfo: memFree=1290360/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100428 CPUtime=1331.61
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3496 0 0 0 133151 10 0 0 25 0 1 0 1990086461 102838272 1200 996147200 134512640 135477443 4294956224 18446744073709551615 134695397 0 0 4096 0 0 0 0 17 0 0 0
/proc/22762/statm: 25107 1200 534 235 0 23808 0
Current children cumulated CPU time (s) 1331.61
Current children cumulated vsize (KiB) 100428
[startup+1339.1 s]
/proc/loadavg: 2.00 2.01 1.95 3/81 23032
/proc/meminfo: memFree=1290360/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100428 CPUtime=1333.21
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3496 0 0 0 133311 10 0 0 25 0 1 0 1990086461 102838272 1200 996147200 134512640 135477443 4294956224 18446744073709551615 134673665 0 0 4096 0 0 0 0 17 0 0 0
/proc/22762/statm: 25107 1200 534 235 0 23808 0
Current children cumulated CPU time (s) 1333.21
Current children cumulated vsize (KiB) 100428
[startup+1340.7 s]
/proc/loadavg: 2.00 2.01 1.95 3/81 23032
/proc/meminfo: memFree=1290360/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100428 CPUtime=1334.81
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3496 0 0 0 133471 10 0 0 25 0 1 0 1990086461 102838272 1200 996147200 134512640 135477443 4294956224 18446744073709551615 134880417 0 0 4096 0 0 0 0 17 0 0 0
/proc/22762/statm: 25107 1200 534 235 0 23808 0
Current children cumulated CPU time (s) 1334.81
Current children cumulated vsize (KiB) 100428
[startup+1341.1 s]
/proc/loadavg: 2.00 2.01 1.95 3/81 23032
/proc/meminfo: memFree=1290360/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100428 CPUtime=1335.21
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3496 0 0 0 133511 10 0 0 25 0 1 0 1990086461 102838272 1200 996147200 134512640 135477443 4294956224 18446744073709551615 134583936 0 0 4096 0 0 0 0 17 0 0 0
/proc/22762/statm: 25107 1200 534 235 0 23808 0
Current children cumulated CPU time (s) 1335.21
Current children cumulated vsize (KiB) 100428
[startup+1341.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/81 23032
/proc/meminfo: memFree=1290360/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100428 CPUtime=1335.41
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3496 0 0 0 133531 10 0 0 25 0 1 0 1990086461 102838272 1200 996147200 134512640 135477443 4294956224 18446744073709551615 134583969 0 0 4096 0 0 0 0 17 0 0 0
/proc/22762/statm: 25107 1200 534 235 0 23808 0
Current children cumulated CPU time (s) 1335.41
Current children cumulated vsize (KiB) 100428
[startup+1341.4 s]
/proc/loadavg: 2.00 2.01 1.95 3/81 23032
/proc/meminfo: memFree=1290360/2055920 swapFree=4180796/4192956
[pid=22762] ppid=22760 vsize=100428 CPUtime=1335.51
/proc/22762/stat : 22762 (casperzao) R 22760 22762 22430 0 -1 4194304 3496 0 0 0 133541 10 0 0 25 0 1 0 1990086461 102838272 1200 996147200 134512640 135477443 4294956224 18446744073709551615 134879435 0 0 4096 0 0 0 0 17 0 0 0
/proc/22762/statm: 25107 1200 534 235 0 23808 0
Current children cumulated CPU time (s) 1335.51
Current children cumulated vsize (KiB) 100428
Child status: 0
Real time (s): 1341.47
CPU time (s): 1335.59
CPU user time (s): 1335.48
CPU system time (s): 0.107983
CPU usage (%): 99.5616
Max. virtual memory (cumulated for all children) (KiB): 287776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1335.48
system time used= 0.107983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3500
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= 23101
runsolver used 1.35879 second user time and 3.59045 second system time
The end
Begin job on node65 at 2008-07-03 20:52:47
IDJOB=1057451
IDBENCH=54037
IDSOLVER=361
FILE ID=node65/1057451-1215111167
PBS_JOBID= 7877076
Free space on /tmp= 66548 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/primes-25/normalized-primes-25-80-3-7.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1057451-1215111167/watcher-1057451-1215111167 -o /tmp/evaluation-result-1057451-1215111167/solver-1057451-1215111167 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1057451-1215111167.xml 889060691
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= ed23ca702094b42d6858a9ee6167f2fb
RANDOM SEED=889060691
node65.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.231
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.231
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: 1548392 kB
Buffers: 60028 kB
Cached: 365656 kB
SwapCached: 6048 kB
Active: 217196 kB
Inactive: 220676 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1548392 kB
SwapTotal: 4192956 kB
SwapFree: 4180796 kB
Dirty: 3028 kB
Writeback: 0 kB
Mapped: 19948 kB
Slab: 54972 kB
Committed_AS: 3939476 kB
PageTables: 1812 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= 66540 MiB
End job on node65 at 2008-07-03 21:15:08