0.00/0.20 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.00/0.20 c Parsing = 1
0.00/0.20 c Building = 1
0.00/0.20 c [ NumberOfVariables = 208 ]
0.00/0.20 c [ NumberOfConstraints = 4217 ]
0.00/0.20 c [ SizeOfSearchSpace(log2) = 1018.29 ]
0.00/0.20 c SymmetrySearch = 1
4.35/4.46 c [ Found 3.55687e+14 symmetries ]
4.55/4.62 c InitialPropagation = 1
4.65/4.72 c [ SizeOfSearchSpace(log2) = 969.463 ]
4.65/4.72 c InitialSAC = (Timeout)
9.11/9.25 c [ SizeOfSearchSpace(log2) = 968.284 ]
9.11/9.25 c Search(SampleFF) :
94.38/95.28 c [ Sampling domwdeg ]
94.38/95.28 c [ Sampling impacts ]
94.38/95.28 c [ SamplingScores: ]
94.38/95.28 c [ domwdeg+min = 0.000703041 | domwdeg+rnd = 1.13695e-20 ]
94.38/95.28 c [ impacts+min = 1.38946e-23 | impacts+rnd = 1.07503e-15 ]
94.38/95.28 c [ la+min = 0 | la+rnd = 0 ]
94.38/95.28 c [ domwdeg = 0.00035152 | impacts = 5.37516e-16 | la = 0 ]
94.38/95.28 c [ min = 0.000234347 | rand = 5.37516e-16 ]
94.38/95.28 c [ restarting at (3.96356,9.4137e-22) ]
104.98/105.91 c [ restarting at (9.9089,2.86332e-35) ]
131.26/132.48 c [ restarting at (24.7722,9.44559e-43) ]
197.19/198.90 c [ restarting at (61.9306,1.28164e-33) ]
361.77/364.94 c [ restarting at (154.827,1.48607e-34) ]
773.33/780.07 c [ restarting at (387.066,8.66446e-32) ]
1087.54/1096.98 c [ restarting at (967.666,9.54383e-28) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1043694-1215023613/watcher-1043694-1215023613 -o /tmp/evaluation-result-1043694-1215023613/solver-1043694-1215023613 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1043694-1215023613.xml 1122161111
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.12 2.11 2.00 4/80 7604
/proc/meminfo: memFree=1728040/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=116488 CPUtime=0.19
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 5394 0 0 0 17 2 0 0 19 0 1 0 407978660 119283712 5354 996147200 134512640 135472138 4294956224 18446744073709551615 134634200 0 0 4096 0 0 0 0 17 1 0 0
/proc/7604/statm: 29122 5354 433 234 0 27824 0
[startup+0.293417 s]
/proc/loadavg: 2.12 2.11 2.00 4/80 7604
/proc/meminfo: memFree=1728040/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=123352 CPUtime=0.28
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 7105 0 0 0 26 2 0 0 19 0 1 0 407978660 126312448 7065 996147200 134512640 135472138 4294956224 18446744073709551615 134634200 0 0 4096 0 0 0 0 17 1 0 0
/proc/7604/statm: 30838 7065 433 234 0 29540 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 123352
[startup+0.302412 s]
/proc/loadavg: 2.12 2.11 2.00 4/80 7604
/proc/meminfo: memFree=1728040/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=124012 CPUtime=0.28
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 7273 0 0 0 26 2 0 0 19 0 1 0 407978660 126988288 7233 996147200 134512640 135472138 4294956224 18446744073709551615 134629050 0 0 4096 0 0 0 0 17 1 0 0
/proc/7604/statm: 31003 7233 433 234 0 29705 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 124012
[startup+0.402433 s]
/proc/loadavg: 2.12 2.11 2.00 4/80 7604
/proc/meminfo: memFree=1728040/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=131932 CPUtime=0.39
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 9257 0 0 0 36 3 0 0 20 0 1 0 407978660 135098368 9217 996147200 134512640 135472138 4294956224 18446744073709551615 134629253 0 0 4096 0 0 0 0 17 1 0 0
/proc/7604/statm: 32983 9217 433 234 0 31685 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 131932
[startup+0.702478 s]
/proc/loadavg: 2.12 2.11 2.00 4/80 7604
/proc/meminfo: memFree=1728040/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=158932 CPUtime=0.68
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 15705 0 0 0 63 5 0 0 23 0 1 0 407978660 162746368 15665 996147200 134512640 135472138 4294956224 18446744073709551615 134525087 0 0 4096 0 0 0 0 17 1 0 0
/proc/7604/statm: 39733 15665 436 234 0 38435 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 158932
[startup+1.50159 s]
/proc/loadavg: 2.12 2.11 2.00 3/81 7605
/proc/meminfo: memFree=1655456/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=188972 CPUtime=1.48
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 19483 0 0 0 141 7 0 0 25 0 1 0 407978660 193507328 18990 996147200 134512640 135472138 4294956224 18446744073709551615 134534931 0 0 4096 0 0 0 0 17 1 0 0
/proc/7604/statm: 47243 18990 440 234 0 45945 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 188972
[startup+3.10182 s]
/proc/loadavg: 2.12 2.11 2.00 3/81 7605
/proc/meminfo: memFree=1646304/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=200592 CPUtime=3.07
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 24781 0 0 0 297 10 0 0 25 0 1 0 407978660 205406208 22851 996147200 134512640 135472138 4294956224 18446744073709551615 134539695 0 0 4096 0 0 0 0 17 1 0 0
/proc/7604/statm: 50148 22851 441 234 0 48850 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 200592
[startup+6.30127 s]
/proc/loadavg: 2.11 2.10 2.00 3/81 7605
/proc/meminfo: memFree=1670816/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=152064 CPUtime=6.24
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 26771 0 0 0 612 12 0 0 25 0 1 0 407978660 155713536 14646 996147200 134512640 135472138 4294956224 18446744073709551615 134585015 0 0 4096 0 0 0 0 17 1 0 0
/proc/7604/statm: 38016 14646 465 234 0 36718 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 152064
[startup+12.7012 s]
/proc/loadavg: 2.10 2.10 2.00 3/81 7605
/proc/meminfo: memFree=1669672/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=152064 CPUtime=12.58
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 26956 0 1 0 1246 12 0 0 25 0 1 0 407978660 155713536 14832 996147200 134512640 135472138 4294956224 18446744073709551615 134578816 0 0 4096 0 0 0 0 17 1 0 0
/proc/7604/statm: 38016 14832 504 234 0 36718 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 152064
[startup+25.507 s]
/proc/loadavg: 2.08 2.10 2.00 3/81 7605
/proc/meminfo: memFree=1669864/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=152064 CPUtime=25.28
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 26957 0 1 0 2516 12 0 0 25 0 1 0 407978660 155713536 14833 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 1 0 0
/proc/7604/statm: 38016 14833 504 234 0 36718 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 152064
[startup+51.1016 s]
/proc/loadavg: 2.05 2.09 2.00 3/81 7605
/proc/meminfo: memFree=1669992/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=152064 CPUtime=50.65
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 26958 0 1 0 5053 12 0 0 25 0 1 0 407978660 155713536 14834 996147200 134512640 135472138 4294956224 18446744073709551615 134585122 0 0 4096 0 0 0 0 17 1 0 0
/proc/7604/statm: 38016 14834 505 234 0 36718 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 152064
[startup+102.302 s]
/proc/loadavg: 2.02 2.07 2.00 3/81 7605
/proc/meminfo: memFree=1669608/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=152064 CPUtime=101.42
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 27060 0 1 0 10130 12 0 0 25 0 1 0 407978660 155713536 14936 996147200 134512640 135472138 4294956224 18446744073709551615 135202725 0 0 4096 0 0 0 0 17 1 0 0
/proc/7604/statm: 38016 14936 506 234 0 36718 0
Current children cumulated CPU time (s) 101.42
Current children cumulated vsize (KiB) 152064
[startup+162.301 s]
/proc/loadavg: 2.00 2.06 2.00 3/81 7605
/proc/meminfo: memFree=1669544/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=152064 CPUtime=160.9
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 27060 0 1 0 16078 12 0 0 25 0 1 0 407978660 155713536 14936 996147200 134512640 135472138 4294956224 18446744073709551615 135202774 0 0 4096 0 0 0 0 17 1 0 0
/proc/7604/statm: 38016 14936 506 234 0 36718 0
Current children cumulated CPU time (s) 160.9
Current children cumulated vsize (KiB) 152064
[startup+222.302 s]
/proc/loadavg: 2.00 2.04 2.00 3/81 7605
/proc/meminfo: memFree=1669480/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=152064 CPUtime=220.39
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 27060 0 1 0 22027 12 0 0 25 0 1 0 407978660 155713536 14936 996147200 134512640 135472138 4294956224 18446744073709551615 134595447 0 0 4096 0 0 0 0 17 1 0 0
/proc/7604/statm: 38016 14936 506 234 0 36718 0
Current children cumulated CPU time (s) 220.39
Current children cumulated vsize (KiB) 152064
[startup+282.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/81 7605
/proc/meminfo: memFree=1669480/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=152064 CPUtime=279.87
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 27060 0 1 0 27975 12 0 0 25 0 1 0 407978660 155713536 14936 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 1 0 0
/proc/7604/statm: 38016 14936 506 234 0 36718 0
Current children cumulated CPU time (s) 279.87
Current children cumulated vsize (KiB) 152064
[startup+342.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/81 7605
/proc/meminfo: memFree=1669480/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=152064 CPUtime=339.37
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 27060 0 1 0 33925 12 0 0 25 0 1 0 407978660 155713536 14936 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 1 0 0
/proc/7604/statm: 38016 14936 506 234 0 36718 0
Current children cumulated CPU time (s) 339.37
Current children cumulated vsize (KiB) 152064
[startup+402.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/81 7605
/proc/meminfo: memFree=1669480/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=152064 CPUtime=398.85
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 27060 0 1 0 39873 12 0 0 25 0 1 0 407978660 155713536 14936 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 1 0 0
/proc/7604/statm: 38016 14936 506 234 0 36718 0
Current children cumulated CPU time (s) 398.85
Current children cumulated vsize (KiB) 152064
[startup+462.303 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 7605
/proc/meminfo: memFree=1669416/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=152064 CPUtime=458.34
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 27060 0 1 0 45822 12 0 0 25 0 1 0 407978660 155713536 14936 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 1 0 0
/proc/7604/statm: 38016 14936 506 234 0 36718 0
Current children cumulated CPU time (s) 458.34
Current children cumulated vsize (KiB) 152064
[startup+522.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 7605
/proc/meminfo: memFree=1669352/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=152064 CPUtime=517.83
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 27060 0 1 0 51771 12 0 0 25 0 1 0 407978660 155713536 14936 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 1 0 0
/proc/7604/statm: 38016 14936 506 234 0 36718 0
Current children cumulated CPU time (s) 517.83
Current children cumulated vsize (KiB) 152064
[startup+582.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 7605
/proc/meminfo: memFree=1669352/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=152064 CPUtime=577.32
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 27060 0 1 0 57720 12 0 0 25 0 1 0 407978660 155713536 14936 996147200 134512640 135472138 4294956224 18446744073709551615 134616496 0 0 4096 0 0 0 0 17 1 0 0
/proc/7604/statm: 38016 14936 506 234 0 36718 0
Current children cumulated CPU time (s) 577.32
Current children cumulated vsize (KiB) 152064
[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 7605
/proc/meminfo: memFree=1669288/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=152064 CPUtime=636.81
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 27060 0 1 0 63669 12 0 0 25 0 1 0 407978660 155713536 14936 996147200 134512640 135472138 4294956224 18446744073709551615 134578975 0 0 4096 0 0 0 0 17 1 0 0
/proc/7604/statm: 38016 14936 506 234 0 36718 0
Current children cumulated CPU time (s) 636.81
Current children cumulated vsize (KiB) 152064
################
# More data... #
################
[startup+822.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 7605
/proc/meminfo: memFree=1669032/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=152064 CPUtime=815.29
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 27060 0 1 0 81516 13 0 0 25 0 1 0 407978660 155713536 14936 996147200 134512640 135472138 4294956224 18446744073709551615 134595447 0 0 4096 0 0 0 0 17 1 0 0
/proc/7604/statm: 38016 14936 506 234 0 36718 0
Current children cumulated CPU time (s) 815.29
Current children cumulated vsize (KiB) 152064
[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 7605
/proc/meminfo: memFree=1669096/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=152064 CPUtime=874.77
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 27060 0 1 0 87464 13 0 0 25 0 1 0 407978660 155713536 14936 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 1 0 0
/proc/7604/statm: 38016 14936 506 234 0 36718 0
Current children cumulated CPU time (s) 874.77
Current children cumulated vsize (KiB) 152064
[startup+942.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 7605
/proc/meminfo: memFree=1669096/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=152064 CPUtime=934.26
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 27060 0 1 0 93413 13 0 0 25 0 1 0 407978660 155713536 14936 996147200 134512640 135472138 4294956224 18446744073709551615 134595464 0 0 4096 0 0 0 0 17 1 0 0
/proc/7604/statm: 38016 14936 506 234 0 36718 0
Current children cumulated CPU time (s) 934.26
Current children cumulated vsize (KiB) 152064
[startup+1002.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 7605
/proc/meminfo: memFree=1669032/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=152064 CPUtime=993.75
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 27060 0 1 0 99362 13 0 0 25 0 1 0 407978660 155713536 14936 996147200 134512640 135472138 4294956224 18446744073709551615 135202728 0 0 4096 0 0 0 0 17 1 0 0
/proc/7604/statm: 38016 14936 506 234 0 36718 0
Current children cumulated CPU time (s) 993.75
Current children cumulated vsize (KiB) 152064
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 7605
/proc/meminfo: memFree=1668968/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=152064 CPUtime=1053.24
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 27060 0 1 0 105311 13 0 0 25 0 1 0 407978660 155713536 14936 996147200 134512640 135472138 4294956224 18446744073709551615 134595453 0 0 4096 0 0 0 0 17 1 0 0
/proc/7604/statm: 38016 14936 506 234 0 36718 0
Current children cumulated CPU time (s) 1053.24
Current children cumulated vsize (KiB) 152064
[startup+1122.3 s]
/proc/loadavg: 1.94 1.98 1.99 3/73 7634
/proc/meminfo: memFree=1701616/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=152064 CPUtime=1112.92
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 27060 0 1 0 111278 14 0 0 25 0 1 0 407978660 155713536 14936 996147200 134512640 135472138 4294956224 18446744073709551615 135201104 0 0 4096 0 0 0 0 17 0 0 0
/proc/7604/statm: 38016 14936 506 234 0 36718 0
Current children cumulated CPU time (s) 1112.92
Current children cumulated vsize (KiB) 152064
[startup+1182.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/73 7634
/proc/meminfo: memFree=1675120/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=152064 CPUtime=1172.89
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 27060 0 1 0 117275 14 0 0 25 0 1 0 407978660 155713536 14936 996147200 134512640 135472138 4294956224 18446744073709551615 135265500 0 0 4096 0 0 0 0 17 0 0 0
/proc/7604/statm: 38016 14936 506 234 0 36718 0
Current children cumulated CPU time (s) 1172.89
Current children cumulated vsize (KiB) 152064
[startup+1242.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/73 7634
/proc/meminfo: memFree=1675056/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=152064 CPUtime=1232.87
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 27060 0 1 0 123273 14 0 0 25 0 1 0 407978660 155713536 14936 996147200 134512640 135472138 4294956224 18446744073709551615 135202725 0 0 4096 0 0 0 0 17 0 0 0
/proc/7604/statm: 38016 14936 506 234 0 36718 0
Current children cumulated CPU time (s) 1232.87
Current children cumulated vsize (KiB) 152064
[startup+1302.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/73 7634
/proc/meminfo: memFree=1674864/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=152064 CPUtime=1292.84
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 27060 0 1 0 129270 14 0 0 25 0 1 0 407978660 155713536 14936 996147200 134512640 135472138 4294956224 18446744073709551615 135202754 0 0 4096 0 0 0 0 17 0 0 0
/proc/7604/statm: 38016 14936 506 234 0 36718 0
Current children cumulated CPU time (s) 1292.84
Current children cumulated vsize (KiB) 152064
[startup+1362.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/73 7634
/proc/meminfo: memFree=1654704/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=152064 CPUtime=1352.81
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 27060 0 1 0 135267 14 0 0 25 0 1 0 407978660 155713536 14936 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/7604/statm: 38016 14936 506 234 0 36718 0
Current children cumulated CPU time (s) 1352.81
Current children cumulated vsize (KiB) 152064
[startup+1422.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/73 7634
/proc/meminfo: memFree=1654640/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=152064 CPUtime=1412.79
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 27060 0 1 0 141265 14 0 0 25 0 1 0 407978660 155713536 14936 996147200 134512640 135472138 4294956224 18446744073709551615 134578830 0 0 4096 0 0 0 0 17 0 0 0
/proc/7604/statm: 38016 14936 506 234 0 36718 0
Current children cumulated CPU time (s) 1412.79
Current children cumulated vsize (KiB) 152064
[startup+1482.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/73 7634
/proc/meminfo: memFree=1654576/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=152064 CPUtime=1472.77
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 27060 0 1 0 147263 14 0 0 25 0 1 0 407978660 155713536 14936 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/7604/statm: 38016 14936 506 234 0 36718 0
Current children cumulated CPU time (s) 1472.77
Current children cumulated vsize (KiB) 152064
[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/73 7634
/proc/meminfo: memFree=1654576/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=152064 CPUtime=1532.74
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 27060 0 1 0 153260 14 0 0 25 0 1 0 407978660 155713536 14936 996147200 134512640 135472138 4294956224 18446744073709551615 135264853 0 0 4096 0 0 0 0 17 0 0 0
/proc/7604/statm: 38016 14936 506 234 0 36718 0
Current children cumulated CPU time (s) 1532.74
Current children cumulated vsize (KiB) 152064
[startup+1602.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/85 7897
/proc/meminfo: memFree=1700288/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=152064 CPUtime=1592.7
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 27060 0 1 0 159246 24 0 0 25 0 1 0 407978660 155713536 14936 996147200 134512640 135472138 4294956224 18446744073709551615 135202589 0 0 4096 0 0 0 0 17 0 0 0
/proc/7604/statm: 38016 14936 506 234 0 36718 0
Current children cumulated CPU time (s) 1592.7
Current children cumulated vsize (KiB) 152064
[startup+1662.31 s]
/proc/loadavg: 2.09 2.04 2.00 3/81 8043
/proc/meminfo: memFree=1728040/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=152064 CPUtime=1652.66
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 27060 0 1 0 165240 26 0 0 25 0 1 0 407978660 155713536 14936 996147200 134512640 135472138 4294956224 18446744073709551615 134578975 0 0 4096 0 0 0 0 17 0 0 0
/proc/7604/statm: 38016 14936 506 234 0 36718 0
Current children cumulated CPU time (s) 1652.66
Current children cumulated vsize (KiB) 152064
[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/81 8047
/proc/meminfo: memFree=1693736/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=152064 CPUtime=1712.62
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 27060 0 1 0 171236 26 0 0 25 0 1 0 407978660 155713536 14936 996147200 134512640 135472138 4294956224 18446744073709551615 135263178 0 0 4096 0 0 0 0 17 0 0 0
/proc/7604/statm: 38016 14936 506 234 0 36718 0
Current children cumulated CPU time (s) 1712.62
Current children cumulated vsize (KiB) 152064
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/81 8047
/proc/meminfo: memFree=1693544/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=152064 CPUtime=1772.6
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 27060 0 1 0 177234 26 0 0 25 0 1 0 407978660 155713536 14936 996147200 134512640 135472138 4294956224 18446744073709551615 135202764 0 0 4096 0 0 0 0 17 0 0 0
/proc/7604/statm: 38016 14936 506 234 0 36718 0
Current children cumulated CPU time (s) 1772.6
Current children cumulated vsize (KiB) 152064
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.8 s]
/proc/loadavg: 2.00 2.02 2.00 3/81 8047
/proc/meminfo: memFree=1693544/2055920 swapFree=4180288/4192956
[pid=7604] ppid=7602 vsize=152064 CPUtime=1800.09
/proc/7604/stat : 7604 (casperzito) R 7602 7604 6799 0 -1 4194304 27060 0 1 0 179983 26 0 0 25 0 1 0 407978660 155713536 14936 996147200 134512640 135472138 4294956224 18446744073709551615 134578975 0 0 4096 0 0 0 0 17 0 0 0
/proc/7604/statm: 38016 14936 506 234 0 36718 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 152064
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): 1809.82
CPU time (s): 1800.12
CPU user time (s): 1799.84
CPU system time (s): 0.276957
CPU usage (%): 99.464
Max. virtual memory (cumulated for all children) (KiB): 204396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.276957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27060
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= 17
involuntary context switches= 47391
runsolver used 1.9637 second user time and 4.90225 second system time
The end
Begin job on node49 at 2008-07-02 20:33:33
IDJOB=1043694
IDBENCH=53591
IDSOLVER=362
FILE ID=node49/1043694-1215023613
PBS_JOBID= 7874372
Free space on /tmp= 66536 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/BH-4-13/normalized-BlackHole-4-13-e-1_ext.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1043694-1215023613/watcher-1043694-1215023613 -o /tmp/evaluation-result-1043694-1215023613/solver-1043694-1215023613 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1043694-1215023613.xml 1122161111
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= d211ae6c6c79ecd682df2e7c9710a9e2
RANDOM SEED=1122161111
node49.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.249
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.249
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1728520 kB
Buffers: 19800 kB
Cached: 150100 kB
SwapCached: 6084 kB
Active: 200508 kB
Inactive: 65244 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1728520 kB
SwapTotal: 4192956 kB
SwapFree: 4180288 kB
Dirty: 3716 kB
Writeback: 0 kB
Mapped: 111808 kB
Slab: 46656 kB
Committed_AS: 1503108 kB
PageTables: 1948 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66536 MiB
End job on node49 at 2008-07-02 21:03:45