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
1.89/1.91 c [ NumberOfVariables = 101 ]
1.89/1.91 c [ NumberOfConstraints = 1000 ]
1.89/1.91 c [ SizeOfSearchSpace(log2) = 1009.54 ]
1.89/1.91 c SymmetrySearch = 1
1.89/1.92 c InitialPropagation = 1
1.89/1.92 c [ SizeOfSearchSpace(log2) = 993.771 ]
1.89/1.92 c InitialSAC = (Timeout)
36.77/36.81 c [ SizeOfSearchSpace(log2) = 949.779 ]
36.77/36.81 c Search(SampleFF) :
125.14/125.53 c [ Sampling domwdeg ]
125.14/125.53 c [ Sampling impacts ]
125.14/125.53 c [ Sampling la ]
125.14/125.53 c [ SamplingScores: ]
125.14/125.53 c [ domwdeg+min = 5.00491e-50 | domwdeg+rnd = 3.47019e-18 ]
125.14/125.53 c [ impacts+min = 4.48515e-07 | impacts+rnd = 1.87845e-05 ]
125.14/125.53 c [ la+min = 3.41803e-11 | la+rnd = 2.41045e-06 ]
125.14/125.53 c [ domwdeg = 1.7351e-18 | impacts = 9.61652e-06 | la = 1.20524e-06 ]
125.14/125.53 c [ min = 1.49516e-07 | rand = 9.61652e-06 ]
125.14/125.53 c [ restarting at (4.52802,2.29125e-09) ]
136.39/136.86 c [ restarting at (11.3201,4.22452e-13) ]
164.58/165.19 c [ restarting at (28.3001,1.56082e-12) ]
235.19/236.09 c [ restarting at (70.7504,1.60081e-10) ]
411.68/413.26 c [ restarting at (176.876,0.000224324) ]
852.88/856.22 c [ restarting at (442.19,3.80451e-06) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056477-1215063204/watcher-1056477-1215063204 -o /tmp/evaluation-result-1056477-1215063204/solver-1056477-1215063204 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1056477-1215063204.xml 366767087
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.26 2.13 2.04 4/81 18282
/proc/meminfo: memFree=1612696/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=2332 CPUtime=0
/proc/18282/stat : 18282 (casperzao) D 18280 18282 12892 0 -1 4194304 57 0 0 0 0 0 0 0 18 0 1 0 1985295265 2387968 41 996147200 134512640 135477443 4294956224 18446744073709551615 8905508 0 2147483391 4096 0 18446744072099793910 0 0 17 1 0 0
/proc/18282/statm: 583 41 31 235 0 14 0
[startup+0.040672 s]
/proc/loadavg: 2.26 2.13 2.04 4/81 18282
/proc/meminfo: memFree=1612696/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=99464 CPUtime=0.02
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 638 0 0 0 2 0 0 0 18 0 1 0 1985295265 101851136 572 996147200 134512640 135477443 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18282/statm: 24867 573 420 235 0 23568 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 99464
[startup+0.101678 s]
/proc/loadavg: 2.26 2.13 2.04 4/81 18282
/proc/meminfo: memFree=1612696/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=287108 CPUtime=0.08
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 1641 0 0 0 7 1 0 0 18 0 1 0 1985295265 293998592 662 996147200 134512640 135477443 4294956224 18446744073709551615 135215545 0 0 4096 0 0 0 0 17 1 0 0
/proc/18282/statm: 71777 663 453 235 0 70478 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 287108
[startup+0.301704 s]
/proc/loadavg: 2.26 2.13 2.04 4/81 18282
/proc/meminfo: memFree=1612696/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=287636 CPUtime=0.28
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 4616 0 0 0 26 2 0 0 19 0 1 0 1985295265 294539264 805 996147200 134512640 135477443 4294956224 18446744073709551615 135258730 0 0 4096 0 0 0 0 17 1 0 0
/proc/18282/statm: 71909 806 453 235 0 70610 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 287636
[startup+0.70176 s]
/proc/loadavg: 2.26 2.13 2.04 4/81 18282
/proc/meminfo: memFree=1612696/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=288824 CPUtime=0.68
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 10628 0 0 0 63 5 0 0 22 0 1 0 1985295265 295755776 1122 996147200 134512640 135477443 4294956224 18446744073709551615 135268132 0 0 4096 0 0 0 0 17 1 0 0
/proc/18282/statm: 72206 1123 453 235 0 70907 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 288824
[startup+1.50187 s]
/proc/loadavg: 2.26 2.13 2.04 3/82 18283
/proc/meminfo: memFree=1608912/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=291200 CPUtime=1.49
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 22495 0 0 0 137 12 0 0 25 0 1 0 1985295265 298188800 1765 996147200 134512640 135477443 4294956224 18446744073709551615 135218877 0 0 4096 0 0 0 0 17 1 0 0
/proc/18282/statm: 72800 1765 453 235 0 71501 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 291200
[startup+3.10108 s]
/proc/loadavg: 2.26 2.13 2.04 3/82 18283
/proc/meminfo: memFree=1605840/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=104856 CPUtime=3.08
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 29060 0 0 0 292 16 0 0 25 0 1 0 1985295265 107372544 2260 996147200 134512640 135477443 4294956224 18446744073709551615 135268496 0 0 4096 0 0 0 0 17 1 0 0
/proc/18282/statm: 26214 2260 495 235 0 24915 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 104856
[startup+6.30151 s]
/proc/loadavg: 2.24 2.12 2.04 3/82 18283
/proc/meminfo: memFree=1604624/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=104856 CPUtime=6.28
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 29292 0 0 0 612 16 0 0 25 0 1 0 1985295265 107372544 2492 996147200 134512640 135477443 4294956224 18446744073709551615 135268537 0 0 4096 0 0 0 0 17 1 0 0
/proc/18282/statm: 26214 2492 495 235 0 24915 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 104856
[startup+12.7024 s]
/proc/loadavg: 2.22 2.12 2.04 3/82 18283
/proc/meminfo: memFree=1603088/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=104856 CPUtime=12.69
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 29631 0 0 0 1252 17 0 0 25 0 1 0 1985295265 107372544 2831 996147200 134512640 135477443 4294956224 18446744073709551615 134583585 0 0 4096 0 0 0 0 17 1 0 0
/proc/18282/statm: 26214 2831 495 235 0 24915 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 104856
[startup+25.5011 s]
/proc/loadavg: 2.17 2.12 2.04 3/82 18283
/proc/meminfo: memFree=1600272/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=104856 CPUtime=25.48
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 30265 0 0 0 2531 17 0 0 25 0 1 0 1985295265 107372544 3465 996147200 134512640 135477443 4294956224 18446744073709551615 134586012 0 0 4096 0 0 0 0 17 1 0 0
/proc/18282/statm: 26214 3465 495 235 0 24915 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 104856
[startup+51.1015 s]
/proc/loadavg: 2.04 2.09 2.03 3/83 18325
/proc/meminfo: memFree=1698944/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=104856 CPUtime=51.04
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 30909 0 0 0 5086 18 0 0 25 0 1 0 1985295265 107372544 4109 996147200 134512640 135477443 4294956224 18446744073709551615 135270176 0 0 4096 0 0 0 0 17 0 0 0
/proc/18282/statm: 26214 4109 518 235 0 24915 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 104856
[startup+102.305 s]
/proc/loadavg: 2.02 2.07 2.03 3/83 18325
/proc/meminfo: memFree=1692672/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=107424 CPUtime=102.04
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 32443 0 0 0 10185 19 0 0 25 0 1 0 1985295265 110002176 5643 996147200 134512640 135477443 4294956224 18446744073709551615 135235860 0 0 4096 0 0 0 0 17 0 0 0
/proc/18282/statm: 26856 5643 519 235 0 25557 0
Current children cumulated CPU time (s) 102.04
Current children cumulated vsize (KiB) 107424
[startup+162.302 s]
/proc/loadavg: 2.15 2.09 2.03 3/82 18326
/proc/meminfo: memFree=1689472/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=107424 CPUtime=161.79
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 32668 0 0 0 16160 19 0 0 25 0 1 0 1985295265 110002176 5868 996147200 134512640 135477443 4294956224 18446744073709551615 135270268 0 0 4096 0 0 0 0 17 0 0 0
/proc/18282/statm: 26856 5868 520 235 0 25557 0
Current children cumulated CPU time (s) 161.79
Current children cumulated vsize (KiB) 107424
[startup+222.302 s]
/proc/loadavg: 2.12 2.09 2.03 3/82 18326
/proc/meminfo: memFree=1689280/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=107424 CPUtime=221.55
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 32668 0 0 0 22136 19 0 0 25 0 1 0 1985295265 110002176 5868 996147200 134512640 135477443 4294956224 18446744073709551615 134679633 0 0 4096 0 0 0 0 17 0 0 0
/proc/18282/statm: 26856 5868 520 235 0 25557 0
Current children cumulated CPU time (s) 221.55
Current children cumulated vsize (KiB) 107424
[startup+282.302 s]
/proc/loadavg: 2.10 2.08 2.03 3/82 18326
/proc/meminfo: memFree=1689280/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=107424 CPUtime=281.31
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 32668 0 0 0 28112 19 0 0 25 0 1 0 1985295265 110002176 5868 996147200 134512640 135477443 4294956224 18446744073709551615 10206971 0 0 4096 0 0 0 0 17 0 0 0
/proc/18282/statm: 26856 5868 520 235 0 25557 0
Current children cumulated CPU time (s) 281.31
Current children cumulated vsize (KiB) 107424
[startup+342.302 s]
/proc/loadavg: 2.09 2.08 2.03 3/82 18326
/proc/meminfo: memFree=1689216/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=107424 CPUtime=341.06
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 32668 0 0 0 34087 19 0 0 25 0 1 0 1985295265 110002176 5868 996147200 134512640 135477443 4294956224 18446744073709551615 134586692 0 0 4096 0 0 0 0 17 0 0 0
/proc/18282/statm: 26856 5868 520 235 0 25557 0
Current children cumulated CPU time (s) 341.06
Current children cumulated vsize (KiB) 107424
[startup+402.302 s]
/proc/loadavg: 2.03 2.07 2.02 3/82 18326
/proc/meminfo: memFree=1689152/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=107424 CPUtime=400.82
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 32668 0 0 0 40063 19 0 0 25 0 1 0 1985295265 110002176 5868 996147200 134512640 135477443 4294956224 18446744073709551615 134679569 0 0 4096 0 0 0 0 17 0 0 0
/proc/18282/statm: 26856 5868 520 235 0 25557 0
Current children cumulated CPU time (s) 400.82
Current children cumulated vsize (KiB) 107424
[startup+462.302 s]
/proc/loadavg: 2.01 2.05 2.02 3/82 18326
/proc/meminfo: memFree=1689152/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=107424 CPUtime=460.58
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 32668 0 0 0 46039 19 0 0 25 0 1 0 1985295265 110002176 5868 996147200 134512640 135477443 4294956224 18446744073709551615 134912017 0 0 4096 0 0 0 0 17 0 0 0
/proc/18282/statm: 26856 5868 520 235 0 25557 0
Current children cumulated CPU time (s) 460.58
Current children cumulated vsize (KiB) 107424
[startup+522.301 s]
/proc/loadavg: 2.00 2.04 2.01 3/82 18326
/proc/meminfo: memFree=1689088/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=107424 CPUtime=520.33
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 32668 0 0 0 52014 19 0 0 25 0 1 0 1985295265 110002176 5868 996147200 134512640 135477443 4294956224 18446744073709551615 10206971 0 0 4096 0 0 0 0 17 0 0 0
/proc/18282/statm: 26856 5868 520 235 0 25557 0
Current children cumulated CPU time (s) 520.33
Current children cumulated vsize (KiB) 107424
[startup+582.301 s]
/proc/loadavg: 2.00 2.03 2.01 3/82 18326
/proc/meminfo: memFree=1689088/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=107424 CPUtime=580.09
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 32668 0 0 0 57990 19 0 0 25 0 1 0 1985295265 110002176 5868 996147200 134512640 135477443 4294956224 18446744073709551615 134912049 0 0 4096 0 0 0 0 17 0 0 0
/proc/18282/statm: 26856 5868 520 235 0 25557 0
Current children cumulated CPU time (s) 580.09
Current children cumulated vsize (KiB) 107424
[startup+642.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 18326
/proc/meminfo: memFree=1689024/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=107424 CPUtime=639.85
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 32668 0 0 0 63966 19 0 0 25 0 1 0 1985295265 110002176 5868 996147200 134512640 135477443 4294956224 18446744073709551615 134586048 0 0 4096 0 0 0 0 17 0 0 0
/proc/18282/statm: 26856 5868 520 235 0 25557 0
Current children cumulated CPU time (s) 639.85
Current children cumulated vsize (KiB) 107424
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 18326
/proc/meminfo: memFree=1688832/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=107424 CPUtime=819.12
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 32668 0 0 0 81893 19 0 0 25 0 1 0 1985295265 110002176 5868 996147200 134512640 135477443 4294956224 18446744073709551615 4159460269 0 0 4096 0 0 0 0 17 0 0 0
/proc/18282/statm: 26856 5868 520 235 0 25557 0
Current children cumulated CPU time (s) 819.12
Current children cumulated vsize (KiB) 107424
[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18326
/proc/meminfo: memFree=1688768/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=107424 CPUtime=878.88
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 32668 0 0 0 87868 20 0 0 25 0 1 0 1985295265 110002176 5868 996147200 134512640 135477443 4294956224 18446744073709551615 134912069 0 0 4096 0 0 0 0 17 0 0 0
/proc/18282/statm: 26856 5868 520 235 0 25557 0
Current children cumulated CPU time (s) 878.88
Current children cumulated vsize (KiB) 107424
[startup+942.302 s]
/proc/loadavg: 2.07 2.02 2.00 3/82 18328
/proc/meminfo: memFree=1688640/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=107424 CPUtime=938.64
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 32668 0 0 0 93844 20 0 0 25 0 1 0 1985295265 110002176 5868 996147200 134512640 135477443 4294956224 18446744073709551615 134679132 0 0 4096 0 0 0 0 17 0 0 0
/proc/18282/statm: 26856 5868 520 235 0 25557 0
Current children cumulated CPU time (s) 938.64
Current children cumulated vsize (KiB) 107424
[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/82 18328
/proc/meminfo: memFree=1688768/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=107424 CPUtime=998.4
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 32668 0 0 0 99820 20 0 0 25 0 1 0 1985295265 110002176 5868 996147200 134512640 135477443 4294956224 18446744073709551615 10206962 0 0 4096 0 0 0 0 17 0 0 0
/proc/18282/statm: 26856 5868 520 235 0 25557 0
Current children cumulated CPU time (s) 998.4
Current children cumulated vsize (KiB) 107424
[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 18328
/proc/meminfo: memFree=1688768/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=107424 CPUtime=1058.16
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 32668 0 0 0 105796 20 0 0 25 0 1 0 1985295265 110002176 5868 996147200 134512640 135477443 4294956224 18446744073709551615 134586795 0 0 4096 0 0 0 0 17 0 0 0
/proc/18282/statm: 26856 5868 520 235 0 25557 0
Current children cumulated CPU time (s) 1058.16
Current children cumulated vsize (KiB) 107424
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18328
/proc/meminfo: memFree=1688832/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=107424 CPUtime=1117.91
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 32668 0 0 0 111771 20 0 0 25 0 1 0 1985295265 110002176 5868 996147200 134512640 135477443 4294956224 18446744073709551615 134673677 0 0 4096 0 0 0 0 17 0 0 0
/proc/18282/statm: 26856 5868 520 235 0 25557 0
Current children cumulated CPU time (s) 1117.91
Current children cumulated vsize (KiB) 107424
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18328
/proc/meminfo: memFree=1688832/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=107424 CPUtime=1177.67
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 32668 0 0 0 117747 20 0 0 25 0 1 0 1985295265 110002176 5868 996147200 134512640 135477443 4294956224 18446744073709551615 134586766 0 0 4096 0 0 0 0 17 0 0 0
/proc/18282/statm: 26856 5868 520 235 0 25557 0
Current children cumulated CPU time (s) 1177.67
Current children cumulated vsize (KiB) 107424
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18328
/proc/meminfo: memFree=1688832/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=107424 CPUtime=1237.42
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 32668 0 0 0 123722 20 0 0 25 0 1 0 1985295265 110002176 5868 996147200 134512640 135477443 4294956224 18446744073709551615 134585999 0 0 4096 0 0 0 0 17 0 0 0
/proc/18282/statm: 26856 5868 520 235 0 25557 0
Current children cumulated CPU time (s) 1237.42
Current children cumulated vsize (KiB) 107424
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18328
/proc/meminfo: memFree=1688704/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=107424 CPUtime=1297.19
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 32668 0 0 0 129699 20 0 0 25 0 1 0 1985295265 110002176 5868 996147200 134512640 135477443 4294956224 18446744073709551615 135268272 0 0 4096 0 0 0 0 17 0 0 0
/proc/18282/statm: 26856 5868 520 235 0 25557 0
Current children cumulated CPU time (s) 1297.19
Current children cumulated vsize (KiB) 107424
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18328
/proc/meminfo: memFree=1688704/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=107424 CPUtime=1356.94
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 32668 0 0 0 135674 20 0 0 25 0 1 0 1985295265 110002176 5868 996147200 134512640 135477443 4294956224 18446744073709551615 134583601 0 0 4096 0 0 0 0 17 0 0 0
/proc/18282/statm: 26856 5868 520 235 0 25557 0
Current children cumulated CPU time (s) 1356.94
Current children cumulated vsize (KiB) 107424
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18328
/proc/meminfo: memFree=1688768/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=107424 CPUtime=1416.7
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 32668 0 0 0 141650 20 0 0 25 0 1 0 1985295265 110002176 5868 996147200 134512640 135477443 4294956224 18446744073709551615 10206971 0 0 4096 0 0 0 0 17 0 0 0
/proc/18282/statm: 26856 5868 520 235 0 25557 0
Current children cumulated CPU time (s) 1416.7
Current children cumulated vsize (KiB) 107424
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18328
/proc/meminfo: memFree=1688832/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=107424 CPUtime=1476.46
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 32668 0 0 0 147626 20 0 0 25 0 1 0 1985295265 110002176 5868 996147200 134512640 135477443 4294956224 18446744073709551615 135268496 0 0 4096 0 0 0 0 17 0 0 0
/proc/18282/statm: 26856 5868 520 235 0 25557 0
Current children cumulated CPU time (s) 1476.46
Current children cumulated vsize (KiB) 107424
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18328
/proc/meminfo: memFree=1688832/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=107424 CPUtime=1536.22
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 32668 0 0 0 153602 20 0 0 25 0 1 0 1985295265 110002176 5868 996147200 134512640 135477443 4294956224 18446744073709551615 134679569 0 0 4096 0 0 0 0 17 0 0 0
/proc/18282/statm: 26856 5868 520 235 0 25557 0
Current children cumulated CPU time (s) 1536.22
Current children cumulated vsize (KiB) 107424
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18328
/proc/meminfo: memFree=1688768/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=107424 CPUtime=1595.97
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 32668 0 0 0 159577 20 0 0 25 0 1 0 1985295265 110002176 5868 996147200 134512640 135477443 4294956224 18446744073709551615 134586002 0 0 4096 0 0 0 0 17 0 0 0
/proc/18282/statm: 26856 5868 520 235 0 25557 0
Current children cumulated CPU time (s) 1595.97
Current children cumulated vsize (KiB) 107424
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18334
/proc/meminfo: memFree=1688696/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=107424 CPUtime=1655.73
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 32668 0 0 0 165553 20 0 0 25 0 1 0 1985295265 110002176 5868 996147200 134512640 135477443 4294956224 18446744073709551615 134586768 0 0 4096 0 0 0 0 17 0 0 0
/proc/18282/statm: 26856 5868 520 235 0 25557 0
Current children cumulated CPU time (s) 1655.73
Current children cumulated vsize (KiB) 107424
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18334
/proc/meminfo: memFree=1688760/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=107424 CPUtime=1715.49
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 32668 0 0 0 171529 20 0 0 25 0 1 0 1985295265 110002176 5868 996147200 134512640 135477443 4294956224 18446744073709551615 134586768 0 0 4096 0 0 0 0 17 0 0 0
/proc/18282/statm: 26856 5868 520 235 0 25557 0
Current children cumulated CPU time (s) 1715.49
Current children cumulated vsize (KiB) 107424
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18334
/proc/meminfo: memFree=1688696/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=107424 CPUtime=1775.24
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 32668 0 0 0 177504 20 0 0 25 0 1 0 1985295265 110002176 5868 996147200 134512640 135477443 4294956224 18446744073709551615 134673664 0 0 4096 0 0 0 0 17 0 0 0
/proc/18282/statm: 26856 5868 520 235 0 25557 0
Current children cumulated CPU time (s) 1775.24
Current children cumulated vsize (KiB) 107424
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18334
/proc/meminfo: memFree=1688760/2055920 swapFree=4179444/4192956
[pid=18282] ppid=18280 vsize=107424 CPUtime=1800.04
/proc/18282/stat : 18282 (casperzao) R 18280 18282 12892 0 -1 4194304 32668 0 0 0 179984 20 0 0 25 0 1 0 1985295265 110002176 5868 996147200 134512640 135477443 4294956224 18446744073709551615 134679124 0 0 4096 0 0 0 0 17 0 0 0
/proc/18282/statm: 26856 5868 520 235 0 25557 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 107424
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1807.21
CPU time (s): 1800.06
CPU user time (s): 1799.85
CPU system time (s): 0.212967
CPU usage (%): 99.6042
Max. virtual memory (cumulated for all children) (KiB): 292256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.212967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32668
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= 55578
runsolver used 1.73074 second user time and 4.85526 second system time
The end
Begin job on node10 at 2008-07-03 07:33:24
IDJOB=1056477
IDBENCH=57651
IDSOLVER=361
FILE ID=node10/1056477-1215063204
PBS_JOBID= 7875154
Free space on /tmp= 66484 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/os-gp/normalized-gp10-01-1093.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056477-1215063204/watcher-1056477-1215063204 -o /tmp/evaluation-result-1056477-1215063204/solver-1056477-1215063204 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1056477-1215063204.xml 366767087
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 2960c39330e67b59bd11d1942a6cbea3
RANDOM SEED=366767087
node10.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.229
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.229
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: 1613176 kB
Buffers: 59316 kB
Cached: 196692 kB
SwapCached: 7560 kB
Active: 272540 kB
Inactive: 94120 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1613176 kB
SwapTotal: 4192956 kB
SwapFree: 4179444 kB
Dirty: 3100 kB
Writeback: 0 kB
Mapped: 126824 kB
Slab: 60772 kB
Committed_AS: 3409776 kB
PageTables: 2212 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66524 MiB
End job on node10 at 2008-07-03 08:03:33