0.00/0.01 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.00/0.01 c Parsing = 1
0.00/0.06 c Building = 1
1.67/1.75 c [ NumberOfVariables = 101 ]
1.67/1.75 c [ NumberOfConstraints = 1000 ]
1.67/1.75 c [ SizeOfSearchSpace(log2) = 1007.28 ]
1.67/1.75 c SymmetrySearch = 1
1.67/1.76 c InitialPropagation = 1
1.67/1.76 c [ SizeOfSearchSpace(log2) = 991.045 ]
1.67/1.76 c InitialSAC = 1
36.27/36.33 c [ SizeOfSearchSpace(log2) = 921.784 ]
36.27/36.33 c Search(SampleFF) :
122.13/122.23 c [ Sampling domwdeg ]
122.13/122.23 c [ Sampling impacts ]
122.13/122.23 c [ Sampling la ]
122.13/122.23 c [ SamplingScores: ]
122.13/122.23 c [ domwdeg+min = 5.6551e-23 | domwdeg+rnd = 1.17566e-09 ]
122.13/122.23 c [ impacts+min = 7.8916e-05 | impacts+rnd = 0.000290783 ]
122.13/122.23 c [ la+min = 6.1659e-08 | la+rnd = 2.10397e-05 ]
122.13/122.23 c [ domwdeg = 5.87832e-10 | impacts = 0.000184849 | la = 1.05507e-05 ]
122.13/122.23 c [ min = 2.63259e-05 | rand = 0.000184849 ]
122.13/122.23 c [ restarting at (4.52802,0.0141467) ]
133.43/133.57 c [ restarting at (11.3201,0.101956) ]
161.82/161.91 c [ restarting at (28.3001,0.129804) ]
232.42/232.77 c [ restarting at (70.7504,0.134727) ]
408.90/409.98 c [ restarting at (176.876,0.142037) ]
850.24/853.04 c [ restarting at (442.19,0.000307188) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056288-1215062642/watcher-1056288-1215062642 -o /tmp/evaluation-result-1056288-1215062642/solver-1056288-1215062642 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1056288-1215062642.xml 149531704
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.40 2.86 2.44 4/81 6903
/proc/meminfo: memFree=1872408/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=5352 CPUtime=0
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 141 0 1 0 0 0 0 0 18 0 1 0 247206962 5480448 120 996147200 134512640 135477443 4294956224 18446744073709551615 2605144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 1338 138 111 235 0 27 0
[startup+0.0839739 s]
/proc/loadavg: 2.40 2.86 2.44 4/81 6903
/proc/meminfo: memFree=1872408/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=287108 CPUtime=0.06
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 1360 0 1 0 6 0 0 0 18 0 1 0 247206962 293998592 645 996147200 134512640 135477443 4294956224 18446744073709551615 135218877 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 71777 645 453 235 0 70478 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 287108
[startup+0.101977 s]
/proc/loadavg: 2.40 2.86 2.44 4/81 6903
/proc/meminfo: memFree=1872408/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=287108 CPUtime=0.08
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 1651 0 1 0 8 0 0 0 18 0 1 0 247206962 293998592 667 996147200 134512640 135477443 4294956224 18446744073709551615 135268706 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 71777 668 453 235 0 70478 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 287108
[startup+0.302014 s]
/proc/loadavg: 2.40 2.86 2.44 4/81 6903
/proc/meminfo: memFree=1872408/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=287768 CPUtime=0.28
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 4884 0 1 0 26 2 0 0 19 0 1 0 247206962 294674432 829 996147200 134512640 135477443 4294956224 18446744073709551615 134593781 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 71942 830 453 235 0 70643 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 287768
[startup+0.70109 s]
/proc/loadavg: 2.40 2.86 2.44 4/81 6903
/proc/meminfo: memFree=1872408/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=288956 CPUtime=0.68
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 11518 0 1 0 63 5 0 0 23 0 1 0 247206962 295890944 1170 996147200 134512640 135477443 4294956224 18446744073709551615 135218877 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 72239 1170 453 235 0 70940 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 288956
[startup+1.50125 s]
/proc/loadavg: 2.37 2.85 2.44 3/82 6904
/proc/meminfo: memFree=1867600/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=291464 CPUtime=1.48
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 24537 0 1 0 136 12 0 0 25 0 1 0 247206962 298459136 1871 996147200 134512640 135477443 4294956224 18446744073709551615 135221383 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 72866 1872 453 235 0 71567 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 291464
[startup+3.10156 s]
/proc/loadavg: 2.37 2.85 2.44 3/82 6904
/proc/meminfo: memFree=1864528/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=104856 CPUtime=3.08
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 29077 0 1 0 294 14 0 0 25 0 1 0 247206962 107372544 2338 996147200 134512640 135477443 4294956224 18446744073709551615 134923117 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26214 2338 495 235 0 24915 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 104856
[startup+6.30118 s]
/proc/loadavg: 2.37 2.85 2.44 3/82 6904
/proc/meminfo: memFree=1862992/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=104856 CPUtime=6.27
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 29387 0 1 0 613 14 0 0 25 0 1 0 247206962 107372544 2648 996147200 134512640 135477443 4294956224 18446744073709551615 135269728 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26214 2648 495 235 0 24915 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 104856
[startup+12.7014 s]
/proc/loadavg: 2.31 2.82 2.43 3/82 6904
/proc/meminfo: memFree=1861392/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=104856 CPUtime=12.68
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 29799 0 1 0 1253 15 0 0 25 0 1 0 247206962 107372544 3060 996147200 134512640 135477443 4294956224 18446744073709551615 135270828 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26214 3060 495 235 0 24915 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 104856
[startup+25.5019 s]
/proc/loadavg: 2.27 2.79 2.43 3/82 6904
/proc/meminfo: memFree=1858384/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=104856 CPUtime=25.47
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 30555 0 1 0 2532 15 0 0 25 0 1 0 247206962 107372544 3816 996147200 134512640 135477443 4294956224 18446744073709551615 135270899 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26214 3816 495 235 0 24915 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 104856
[startup+51.1018 s]
/proc/loadavg: 2.16 2.72 2.42 3/82 6904
/proc/meminfo: memFree=1855824/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=104856 CPUtime=51.06
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 31195 0 1 0 5091 15 0 0 25 0 1 0 247206962 107372544 4456 996147200 134512640 135477443 4294956224 18446744073709551615 134586766 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26214 4456 498 235 0 24915 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 104856
[startup+102.306 s]
/proc/loadavg: 2.07 2.60 2.39 3/82 6904
/proc/meminfo: memFree=1849680/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=107396 CPUtime=102.25
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 32712 0 1 0 10209 16 0 0 25 0 1 0 247206962 109973504 5973 996147200 134512640 135477443 4294956224 18446744073709551615 135270836 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26849 5973 499 235 0 25550 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 107396
[startup+162.301 s]
/proc/loadavg: 2.02 2.49 2.36 3/82 6904
/proc/meminfo: memFree=1848848/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=107396 CPUtime=162.22
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 32908 0 1 0 16206 16 0 0 25 0 1 0 247206962 109973504 6169 996147200 134512640 135477443 4294956224 18446744073709551615 135268048 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26849 6169 500 235 0 25550 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 107396
[startup+222.303 s]
/proc/loadavg: 2.01 2.40 2.34 3/74 6996
/proc/meminfo: memFree=1887888/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=107396 CPUtime=222.06
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 32908 0 1 0 22189 17 0 0 25 0 1 0 247206962 109973504 6169 996147200 134512640 135477443 4294956224 18446744073709551615 134586766 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26849 6169 500 235 0 25550 0
Current children cumulated CPU time (s) 222.06
Current children cumulated vsize (KiB) 107396
[startup+282.302 s]
/proc/loadavg: 2.00 2.32 2.31 3/74 6996
/proc/meminfo: memFree=1881616/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=107396 CPUtime=281.81
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 32908 0 1 0 28164 17 0 0 25 0 1 0 247206962 109973504 6169 996147200 134512640 135477443 4294956224 18446744073709551615 135268929 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26849 6169 500 235 0 25550 0
Current children cumulated CPU time (s) 281.81
Current children cumulated vsize (KiB) 107396
[startup+342.301 s]
/proc/loadavg: 2.00 2.26 2.29 3/74 6996
/proc/meminfo: memFree=1877200/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=107396 CPUtime=341.57
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 32908 0 1 0 34140 17 0 0 25 0 1 0 247206962 109973504 6169 996147200 134512640 135477443 4294956224 18446744073709551615 135269593 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26849 6169 500 235 0 25550 0
Current children cumulated CPU time (s) 341.57
Current children cumulated vsize (KiB) 107396
[startup+402.302 s]
/proc/loadavg: 2.00 2.21 2.27 3/74 6996
/proc/meminfo: memFree=1876368/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=107396 CPUtime=401.33
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 32908 0 1 0 40116 17 0 0 25 0 1 0 247206962 109973504 6169 996147200 134512640 135477443 4294956224 18446744073709551615 135270176 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26849 6169 500 235 0 25550 0
Current children cumulated CPU time (s) 401.33
Current children cumulated vsize (KiB) 107396
[startup+462.301 s]
/proc/loadavg: 2.00 2.17 2.25 3/74 6996
/proc/meminfo: memFree=1875984/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=107396 CPUtime=461.1
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 32908 0 1 0 46093 17 0 0 25 0 1 0 247206962 109973504 6169 996147200 134512640 135477443 4294956224 18446744073709551615 134583601 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26849 6169 500 235 0 25550 0
Current children cumulated CPU time (s) 461.1
Current children cumulated vsize (KiB) 107396
[startup+522.303 s]
/proc/loadavg: 2.00 2.14 2.23 3/74 6996
/proc/meminfo: memFree=1875984/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=107396 CPUtime=520.86
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 32908 0 1 0 52069 17 0 0 25 0 1 0 247206962 109973504 6169 996147200 134512640 135477443 4294956224 18446744073709551615 134593727 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26849 6169 500 235 0 25550 0
Current children cumulated CPU time (s) 520.86
Current children cumulated vsize (KiB) 107396
[startup+582.302 s]
/proc/loadavg: 2.00 2.11 2.22 3/74 6996
/proc/meminfo: memFree=1875920/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=107396 CPUtime=580.62
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 32908 0 1 0 58045 17 0 0 25 0 1 0 247206962 109973504 6169 996147200 134512640 135477443 4294956224 18446744073709551615 135270889 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26849 6169 500 235 0 25550 0
Current children cumulated CPU time (s) 580.62
Current children cumulated vsize (KiB) 107396
[startup+642.301 s]
/proc/loadavg: 2.00 2.09 2.20 3/74 6996
/proc/meminfo: memFree=1875856/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=107396 CPUtime=640.38
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 32908 0 1 0 64021 17 0 0 25 0 1 0 247206962 109973504 6169 996147200 134512640 135477443 4294956224 18446744073709551615 134673690 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26849 6169 500 235 0 25550 0
Current children cumulated CPU time (s) 640.38
Current children cumulated vsize (KiB) 107396
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.04 2.16 3/74 6996
/proc/meminfo: memFree=1875344/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=107396 CPUtime=819.66
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 32908 0 1 0 81949 17 0 0 25 0 1 0 247206962 109973504 6169 996147200 134512640 135477443 4294956224 18446744073709551615 135238588 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26849 6169 500 235 0 25550 0
Current children cumulated CPU time (s) 819.66
Current children cumulated vsize (KiB) 107396
[startup+882.302 s]
/proc/loadavg: 2.00 2.03 2.15 3/74 6996
/proc/meminfo: memFree=1875280/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=107396 CPUtime=879.42
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 32908 0 1 0 87925 17 0 0 25 0 1 0 247206962 109973504 6169 996147200 134512640 135477443 4294956224 18446744073709551615 134586183 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26849 6169 500 235 0 25550 0
Current children cumulated CPU time (s) 879.42
Current children cumulated vsize (KiB) 107396
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.13 3/74 6996
/proc/meminfo: memFree=1875216/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=107396 CPUtime=939.18
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 32908 0 1 0 93901 17 0 0 25 0 1 0 247206962 109973504 6169 996147200 134512640 135477443 4294956224 18446744073709551615 134586766 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26849 6169 500 235 0 25550 0
Current children cumulated CPU time (s) 939.18
Current children cumulated vsize (KiB) 107396
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.12 3/74 6996
/proc/meminfo: memFree=1875088/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=107396 CPUtime=998.95
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 32908 0 1 0 99878 17 0 0 25 0 1 0 247206962 109973504 6169 996147200 134512640 135477443 4294956224 18446744073709551615 134679569 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26849 6169 500 235 0 25550 0
Current children cumulated CPU time (s) 998.95
Current children cumulated vsize (KiB) 107396
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.11 3/74 6996
/proc/meminfo: memFree=1874704/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=107396 CPUtime=1058.71
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 32908 0 1 0 105854 17 0 0 25 0 1 0 247206962 109973504 6169 996147200 134512640 135477443 4294956224 18446744073709551615 134673680 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26849 6169 500 235 0 25550 0
Current children cumulated CPU time (s) 1058.71
Current children cumulated vsize (KiB) 107396
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.10 3/74 6996
/proc/meminfo: memFree=1874640/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=107396 CPUtime=1118.47
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 32908 0 1 0 111830 17 0 0 25 0 1 0 247206962 109973504 6169 996147200 134512640 135477443 4294956224 18446744073709551615 135238907 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26849 6169 500 235 0 25550 0
Current children cumulated CPU time (s) 1118.47
Current children cumulated vsize (KiB) 107396
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/74 6996
/proc/meminfo: memFree=1874576/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=107396 CPUtime=1178.23
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 32908 0 1 0 117806 17 0 0 25 0 1 0 247206962 109973504 6169 996147200 134512640 135477443 4294956224 18446744073709551615 135268547 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26849 6169 500 235 0 25550 0
Current children cumulated CPU time (s) 1178.23
Current children cumulated vsize (KiB) 107396
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/74 6996
/proc/meminfo: memFree=1874384/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=107396 CPUtime=1237.99
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 32908 0 1 0 123782 17 0 0 25 0 1 0 247206962 109973504 6169 996147200 134512640 135477443 4294956224 18446744073709551615 134695868 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26849 6169 500 235 0 25550 0
Current children cumulated CPU time (s) 1237.99
Current children cumulated vsize (KiB) 107396
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/74 6996
/proc/meminfo: memFree=1874320/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=107396 CPUtime=1297.76
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 32908 0 1 0 129759 17 0 0 25 0 1 0 247206962 109973504 6169 996147200 134512640 135477443 4294956224 18446744073709551615 134673665 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26849 6169 500 235 0 25550 0
Current children cumulated CPU time (s) 1297.76
Current children cumulated vsize (KiB) 107396
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/74 6996
/proc/meminfo: memFree=1874256/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=107396 CPUtime=1357.51
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 32908 0 1 0 135734 17 0 0 25 0 1 0 247206962 109973504 6169 996147200 134512640 135477443 4294956224 18446744073709551615 135270268 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26849 6169 500 235 0 25550 0
Current children cumulated CPU time (s) 1357.51
Current children cumulated vsize (KiB) 107396
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.07 3/74 6996
/proc/meminfo: memFree=1874128/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=107396 CPUtime=1417.28
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 32908 0 1 0 141711 17 0 0 25 0 1 0 247206962 109973504 6169 996147200 134512640 135477443 4294956224 18446744073709551615 135238526 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26849 6169 500 235 0 25550 0
Current children cumulated CPU time (s) 1417.28
Current children cumulated vsize (KiB) 107396
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/74 6996
/proc/meminfo: memFree=1874128/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=107396 CPUtime=1477.04
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 32908 0 1 0 147687 17 0 0 25 0 1 0 247206962 109973504 6169 996147200 134512640 135477443 4294956224 18446744073709551615 135270177 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26849 6169 500 235 0 25550 0
Current children cumulated CPU time (s) 1477.04
Current children cumulated vsize (KiB) 107396
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/74 6998
/proc/meminfo: memFree=1874000/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=107396 CPUtime=1536.79
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 32908 0 1 0 153662 17 0 0 25 0 1 0 247206962 109973504 6169 996147200 134512640 135477443 4294956224 18446744073709551615 135270828 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26849 6169 500 235 0 25550 0
Current children cumulated CPU time (s) 1536.79
Current children cumulated vsize (KiB) 107396
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/74 6998
/proc/meminfo: memFree=1874000/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=107396 CPUtime=1596.55
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 32908 0 1 0 159638 17 0 0 25 0 1 0 247206962 109973504 6169 996147200 134512640 135477443 4294956224 18446744073709551615 134673693 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26849 6169 500 235 0 25550 0
Current children cumulated CPU time (s) 1596.55
Current children cumulated vsize (KiB) 107396
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/74 6998
/proc/meminfo: memFree=1874000/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=107396 CPUtime=1656.32
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 32908 0 1 0 165615 17 0 0 25 0 1 0 247206962 109973504 6169 996147200 134512640 135477443 4294956224 18446744073709551615 134679586 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26849 6169 500 235 0 25550 0
Current children cumulated CPU time (s) 1656.32
Current children cumulated vsize (KiB) 107396
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/74 6998
/proc/meminfo: memFree=1873936/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=107396 CPUtime=1716.07
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 32908 0 1 0 171590 17 0 0 25 0 1 0 247206962 109973504 6169 996147200 134512640 135477443 4294956224 18446744073709551615 3903227 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26849 6169 500 235 0 25550 0
Current children cumulated CPU time (s) 1716.07
Current children cumulated vsize (KiB) 107396
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/74 6998
/proc/meminfo: memFree=1873808/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=107396 CPUtime=1775.84
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 32908 0 1 0 177567 17 0 0 25 0 1 0 247206962 109973504 6169 996147200 134512640 135477443 4294956224 18446744073709551615 134679569 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26849 6169 500 235 0 25550 0
Current children cumulated CPU time (s) 1775.84
Current children cumulated vsize (KiB) 107396
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.6 s]
/proc/loadavg: 2.00 2.00 2.03 3/74 6998
/proc/meminfo: memFree=1873808/2055920 swapFree=4181172/4192956
[pid=6903] ppid=6901 vsize=107396 CPUtime=1800.05
/proc/6903/stat : 6903 (casperzao) R 6901 6903 32315 0 -1 4194304 32908 0 1 0 179988 17 0 0 25 0 1 0 247206962 109973504 6169 996147200 134512640 135477443 4294956224 18446744073709551615 134586857 0 0 4096 0 0 0 0 17 1 0 0
/proc/6903/statm: 26849 6169 500 235 0 25550 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 107396
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): 1806.61
CPU time (s): 1800.06
CPU user time (s): 1799.88
CPU system time (s): 0.178972
CPU usage (%): 99.6374
Max. virtual memory (cumulated for all children) (KiB): 291860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.88
system time used= 0.178972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32908
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25
involuntary context switches= 18453
runsolver used 1.68674 second user time and 4.90325 second system time
The end
Begin job on node85 at 2008-07-03 07:24:02
IDJOB=1056288
IDBENCH=57642
IDSOLVER=361
FILE ID=node85/1056288-1215062642
PBS_JOBID= 7875008
Free space on /tmp= 126848 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/os-gp/normalized-gp10-04-1076.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056288-1215062642/watcher-1056288-1215062642 -o /tmp/evaluation-result-1056288-1215062642/solver-1056288-1215062642 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1056288-1215062642.xml 149531704
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 46b89df60e453cd184ab4e9d21c078d6
RANDOM SEED=149531704
node85.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.272
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.272
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1872824 kB
Buffers: 2480 kB
Cached: 47500 kB
SwapCached: 5644 kB
Active: 106992 kB
Inactive: 10428 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1872824 kB
SwapTotal: 4192956 kB
SwapFree: 4181172 kB
Dirty: 3224 kB
Writeback: 0 kB
Mapped: 84852 kB
Slab: 51156 kB
Committed_AS: 1332568 kB
PageTables: 1676 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= 126844 MiB
End job on node85 at 2008-07-03 07:54:11