0.00/0.00 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.00/0.00 c Parsing = 1
0.29/0.32 c Building = 1
0.29/0.39 c [ NumberOfVariables = 24 ]
0.29/0.39 c [ NumberOfConstraints = 74 ]
0.29/0.39 c [ SizeOfSearchSpace(log2) = 110.039 ]
0.29/0.39 c SymmetrySearch = 1
1.48/1.59 c InitialPropagation = 1
1.58/1.61 c [ SizeOfSearchSpace(log2) = 110.039 ]
1.58/1.61 c InitialSAC = 1
1.68/1.76 c [ SizeOfSearchSpace(log2) = 110.039 ]
1.68/1.76 c Search(SampleFF) :
75.87/76.31 c [ Sampling domwdeg ]
75.87/76.31 c [ Sampling impacts ]
75.87/76.31 c [ SamplingScores: ]
75.87/76.31 c [ domwdeg+min = 2.887e-08 | domwdeg+rnd = 1.24174e-05 ]
75.87/76.31 c [ impacts+min = 1.42143e-07 | impacts+rnd = 7.85155e-08 ]
75.87/76.31 c [ la+min = 0 | la+rnd = 0 ]
75.87/76.31 c [ domwdeg = 6.22313e-06 | impacts = 1.10329e-07 | la = 0 ]
75.87/76.31 c [ min = 5.70043e-08 | rand = 1.10329e-07 ]
75.87/76.31 c [ restarting at (3.96356,1.59618e-08) ]
85.73/86.23 c [ restarting at (9.9089,3.77284e-06) ]
110.43/111.07 c [ restarting at (24.7722,1.36715e-07) ]
172.16/173.05 c [ restarting at (61.9306,7.23593e-05) ]
326.43/327.97 c [ restarting at (154.827,5.12446e-05) ]
712.03/715.15 c [ restarting at (387.066,8.18839e-05) ]
1676.04/1683.11 c [ restarting at (967.666,0.00224286) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1057108-1215109306/watcher-1057108-1215109306 -o /tmp/evaluation-result-1057108-1215109306/solver-1057108-1215109306 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1057108-1215109306.xml 944541704
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.91 1.95 1.90 4/81 27095
/proc/meminfo: memFree=1499952/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=5348 CPUtime=0
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 215 0 0 0 0 0 0 0 18 0 1 0 122925965 5476352 190 996147200 134512640 135472138 4294956224 18446744073709551615 12471160 0 0 4096 0 0 0 0 17 1 0 0
/proc/27095/statm: 1337 191 157 234 0 27 0
[startup+0.0210969 s]
/proc/loadavg: 1.91 1.95 1.90 4/81 27095
/proc/meminfo: memFree=1499952/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=5832 CPUtime=0.01
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 561 0 0 0 1 0 0 0 18 0 1 0 122925965 5971968 521 996147200 134512640 135472138 4294956224 18446744073709551615 12936827 0 0 4096 0 0 0 0 17 1 0 0
/proc/27095/statm: 1458 521 365 234 0 160 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5832
[startup+0.101114 s]
/proc/loadavg: 1.91 1.95 1.90 4/81 27095
/proc/meminfo: memFree=1499952/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=7688 CPUtime=0.09
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 1017 0 0 0 9 0 0 0 18 0 1 0 122925965 7872512 977 996147200 134512640 135472138 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27095/statm: 1922 977 365 234 0 624 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7688
[startup+0.301152 s]
/proc/loadavg: 1.91 1.95 1.90 4/81 27095
/proc/meminfo: memFree=1499952/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=12196 CPUtime=0.29
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 2171 0 0 0 29 0 0 0 19 0 1 0 122925965 12488704 2131 996147200 134512640 135472138 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27095/statm: 3049 2131 365 234 0 1751 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12196
[startup+0.701228 s]
/proc/loadavg: 1.91 1.95 1.90 4/81 27095
/proc/meminfo: memFree=1499952/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=152316 CPUtime=0.69
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 12639 0 0 0 65 4 0 0 23 0 1 0 122925965 155971584 12599 996147200 134512640 135472138 4294956224 18446744073709551615 12936827 0 0 4096 0 0 0 0 17 1 0 0
/proc/27095/statm: 38079 12600 432 234 0 36781 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 152316
[startup+1.50138 s]
/proc/loadavg: 1.91 1.95 1.90 3/82 27096
/proc/meminfo: memFree=1420392/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=212016 CPUtime=1.48
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 23930 0 0 0 139 9 0 0 25 0 1 0 122925965 217104384 23730 996147200 134512640 135472138 4294956224 18446744073709551615 12934729 0 0 4096 0 0 0 0 17 1 0 0
/proc/27095/statm: 53004 23730 448 234 0 51706 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 212016
[startup+3.10169 s]
/proc/loadavg: 1.92 1.95 1.90 3/82 27096
/proc/meminfo: memFree=1479528/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=3.07
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24461 0 0 0 297 10 0 0 25 0 1 0 122925965 124338176 5452 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/27095/statm: 30356 5452 476 234 0 29058 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 121424
[startup+6.30129 s]
/proc/loadavg: 1.92 1.95 1.90 3/82 27096
/proc/meminfo: memFree=1479400/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=6.26
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24520 0 0 0 616 10 0 0 25 0 1 0 122925965 124338176 5511 996147200 134512640 135472138 4294956224 18446744073709551615 134604913 0 0 4096 0 0 0 0 17 1 0 0
/proc/27095/statm: 30356 5511 476 234 0 29058 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 121424
[startup+12.7025 s]
/proc/loadavg: 1.93 1.96 1.91 3/82 27096
/proc/meminfo: memFree=1479208/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=12.62
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24537 0 0 0 1252 10 0 0 25 0 1 0 122925965 124338176 5528 996147200 134512640 135472138 4294956224 18446744073709551615 134585122 0 0 4096 0 0 0 0 17 1 0 0
/proc/27095/statm: 30356 5528 476 234 0 29058 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 121424
[startup+25.502 s]
/proc/loadavg: 1.87 1.94 1.90 3/82 27147
/proc/meminfo: memFree=1372712/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=25.32
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24591 0 0 0 2521 11 0 0 25 0 1 0 122925965 124338176 5582 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/27095/statm: 30356 5582 476 234 0 29058 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 121424
[startup+51.1018 s]
/proc/loadavg: 1.97 1.96 1.91 4/82 27147
/proc/meminfo: memFree=1275240/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=50.79
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24609 0 0 0 5068 11 0 0 25 0 1 0 122925965 124338176 5600 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/27095/statm: 30356 5600 478 234 0 29058 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 121424
[startup+102.307 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 27148
/proc/meminfo: memFree=1310440/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=101.77
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24650 0 0 0 10166 11 0 0 25 0 1 0 122925965 124338176 5641 996147200 134512640 135472138 4294956224 18446744073709551615 134616939 0 0 4096 0 0 0 0 17 0 0 0
/proc/27095/statm: 30356 5641 479 234 0 29058 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 121424
[startup+162.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 27148
/proc/meminfo: memFree=1310184/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=161.52
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24700 0 0 0 16141 11 0 0 25 0 1 0 122925965 124338176 5691 996147200 134512640 135472138 4294956224 18446744073709551615 134585131 0 0 4096 0 0 0 0 17 0 0 0
/proc/27095/statm: 30356 5691 479 234 0 29058 0
Current children cumulated CPU time (s) 161.52
Current children cumulated vsize (KiB) 121424
[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 27148
/proc/meminfo: memFree=1309992/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=221.26
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24726 0 0 0 22115 11 0 0 25 0 1 0 122925965 124338176 5717 996147200 134512640 135472138 4294956224 18446744073709551615 134585158 0 0 4096 0 0 0 0 17 0 0 0
/proc/27095/statm: 30356 5717 479 234 0 29058 0
Current children cumulated CPU time (s) 221.26
Current children cumulated vsize (KiB) 121424
[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 27148
/proc/meminfo: memFree=1309672/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=281.02
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24783 0 0 0 28090 12 0 0 25 0 1 0 122925965 124338176 5774 996147200 134512640 135472138 4294956224 18446744073709551615 135264848 0 0 4096 0 0 0 0 17 0 0 0
/proc/27095/statm: 30356 5774 479 234 0 29058 0
Current children cumulated CPU time (s) 281.02
Current children cumulated vsize (KiB) 121424
[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 27148
/proc/meminfo: memFree=1309224/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=340.78
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24836 0 0 0 34066 12 0 0 25 0 1 0 122925965 124338176 5827 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/27095/statm: 30356 5827 479 234 0 29058 0
Current children cumulated CPU time (s) 340.78
Current children cumulated vsize (KiB) 121424
[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 27148
/proc/meminfo: memFree=1308712/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=400.53
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24836 0 0 0 40041 12 0 0 25 0 1 0 122925965 124338176 5827 996147200 134512640 135472138 4294956224 18446744073709551615 134585066 0 0 4096 0 0 0 0 17 0 0 0
/proc/27095/statm: 30356 5827 479 234 0 29058 0
Current children cumulated CPU time (s) 400.53
Current children cumulated vsize (KiB) 121424
[startup+462.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 27148
/proc/meminfo: memFree=1308648/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=460.28
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24836 0 0 0 46016 12 0 0 25 0 1 0 122925965 124338176 5827 996147200 134512640 135472138 4294956224 18446744073709551615 134605022 0 0 4096 0 0 0 0 17 0 0 0
/proc/27095/statm: 30356 5827 479 234 0 29058 0
Current children cumulated CPU time (s) 460.28
Current children cumulated vsize (KiB) 121424
[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 27148
/proc/meminfo: memFree=1304232/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=520.03
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24836 0 0 0 51991 12 0 0 25 0 1 0 122925965 124338176 5827 996147200 134512640 135472138 4294956224 18446744073709551615 134585122 0 0 4096 0 0 0 0 17 0 0 0
/proc/27095/statm: 30356 5827 479 234 0 29058 0
Current children cumulated CPU time (s) 520.03
Current children cumulated vsize (KiB) 121424
[startup+582.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 27148
/proc/meminfo: memFree=1303464/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=579.78
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24836 0 0 0 57966 12 0 0 25 0 1 0 122925965 124338176 5827 996147200 134512640 135472138 4294956224 18446744073709551615 134585142 0 0 4096 0 0 0 0 17 0 0 0
/proc/27095/statm: 30356 5827 479 234 0 29058 0
Current children cumulated CPU time (s) 579.78
Current children cumulated vsize (KiB) 121424
[startup+642.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 27148
/proc/meminfo: memFree=1303400/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=639.54
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24836 0 0 0 63942 12 0 0 25 0 1 0 122925965 124338176 5827 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/27095/statm: 30356 5827 479 234 0 29058 0
Current children cumulated CPU time (s) 639.54
Current children cumulated vsize (KiB) 121424
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 27148
/proc/meminfo: memFree=1290984/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=818.79
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24836 0 0 0 81867 12 0 0 25 0 1 0 122925965 124338176 5827 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/27095/statm: 30356 5827 479 234 0 29058 0
Current children cumulated CPU time (s) 818.79
Current children cumulated vsize (KiB) 121424
[startup+882.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 27148
/proc/meminfo: memFree=1290984/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=878.55
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24836 0 0 0 87842 13 0 0 25 0 1 0 122925965 124338176 5827 996147200 134512640 135472138 4294956224 18446744073709551615 134585013 0 0 4096 0 0 0 0 17 0 0 0
/proc/27095/statm: 30356 5827 479 234 0 29058 0
Current children cumulated CPU time (s) 878.55
Current children cumulated vsize (KiB) 121424
[startup+942.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 27148
/proc/meminfo: memFree=1290920/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=938.3
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24836 0 0 0 93817 13 0 0 25 0 1 0 122925965 124338176 5827 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/27095/statm: 30356 5827 479 234 0 29058 0
Current children cumulated CPU time (s) 938.3
Current children cumulated vsize (KiB) 121424
[startup+1002.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 27148
/proc/meminfo: memFree=1290920/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=998.06
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24836 0 0 0 99793 13 0 0 25 0 1 0 122925965 124338176 5827 996147200 134512640 135472138 4294956224 18446744073709551615 134585158 0 0 4096 0 0 0 0 17 0 0 0
/proc/27095/statm: 30356 5827 479 234 0 29058 0
Current children cumulated CPU time (s) 998.06
Current children cumulated vsize (KiB) 121424
[startup+1062.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 27148
/proc/meminfo: memFree=1290536/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=1057.81
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24836 0 0 0 105768 13 0 0 25 0 1 0 122925965 124338176 5827 996147200 134512640 135472138 4294956224 18446744073709551615 134585158 0 0 4096 0 0 0 0 17 0 0 0
/proc/27095/statm: 30356 5827 479 234 0 29058 0
Current children cumulated CPU time (s) 1057.81
Current children cumulated vsize (KiB) 121424
[startup+1122.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 27148
/proc/meminfo: memFree=1285864/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=1117.56
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24836 0 0 0 111743 13 0 0 25 0 1 0 122925965 124338176 5827 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 0 0 0
/proc/27095/statm: 30356 5827 479 234 0 29058 0
Current children cumulated CPU time (s) 1117.56
Current children cumulated vsize (KiB) 121424
[startup+1182.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 27148
/proc/meminfo: memFree=1281256/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=1177.32
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24836 0 0 0 117719 13 0 0 25 0 1 0 122925965 124338176 5827 996147200 134512640 135472138 4294956224 18446744073709551615 134585122 0 0 4096 0 0 0 0 17 0 0 0
/proc/27095/statm: 30356 5827 479 234 0 29058 0
Current children cumulated CPU time (s) 1177.32
Current children cumulated vsize (KiB) 121424
[startup+1242.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 27148
/proc/meminfo: memFree=1278568/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=1237.07
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24836 0 0 0 123694 13 0 0 25 0 1 0 122925965 124338176 5827 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/27095/statm: 30356 5827 479 234 0 29058 0
Current children cumulated CPU time (s) 1237.07
Current children cumulated vsize (KiB) 121424
[startup+1302.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 27148
/proc/meminfo: memFree=1278568/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=1296.82
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24836 0 0 0 129669 13 0 0 25 0 1 0 122925965 124338176 5827 996147200 134512640 135472138 4294956224 18446744073709551615 134604989 0 0 4096 0 0 0 0 17 0 0 0
/proc/27095/statm: 30356 5827 479 234 0 29058 0
Current children cumulated CPU time (s) 1296.82
Current children cumulated vsize (KiB) 121424
[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 27148
/proc/meminfo: memFree=1278504/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=1356.57
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24836 0 0 0 135644 13 0 0 25 0 1 0 122925965 124338176 5827 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/27095/statm: 30356 5827 479 234 0 29058 0
Current children cumulated CPU time (s) 1356.57
Current children cumulated vsize (KiB) 121424
[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 27148
/proc/meminfo: memFree=1278504/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=1416.33
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24836 0 0 0 141620 13 0 0 25 0 1 0 122925965 124338176 5827 996147200 134512640 135472138 4294956224 18446744073709551615 134584976 0 0 4096 0 0 0 0 17 0 0 0
/proc/27095/statm: 30356 5827 479 234 0 29058 0
Current children cumulated CPU time (s) 1416.33
Current children cumulated vsize (KiB) 121424
[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 27148
/proc/meminfo: memFree=1278504/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=1476.07
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24836 0 0 0 147594 13 0 0 25 0 1 0 122925965 124338176 5827 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/27095/statm: 30356 5827 479 234 0 29058 0
Current children cumulated CPU time (s) 1476.07
Current children cumulated vsize (KiB) 121424
[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 27148
/proc/meminfo: memFree=1278312/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=1535.83
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24850 0 0 0 153570 13 0 0 25 0 1 0 122925965 124338176 5841 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/27095/statm: 30356 5841 479 234 0 29058 0
Current children cumulated CPU time (s) 1535.83
Current children cumulated vsize (KiB) 121424
[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 27148
/proc/meminfo: memFree=1278312/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=1595.58
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24850 0 0 0 159545 13 0 0 25 0 1 0 122925965 124338176 5841 996147200 134512640 135472138 4294956224 18446744073709551615 134605029 0 0 4096 0 0 0 0 17 0 0 0
/proc/27095/statm: 30356 5841 479 234 0 29058 0
Current children cumulated CPU time (s) 1595.58
Current children cumulated vsize (KiB) 121424
[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 27148
/proc/meminfo: memFree=1276456/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=1655.33
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24850 0 0 0 165520 13 0 0 25 0 1 0 122925965 124338176 5841 996147200 134512640 135472138 4294956224 18446744073709551615 134616163 0 0 4096 0 0 0 0 17 0 0 0
/proc/27095/statm: 30356 5841 479 234 0 29058 0
Current children cumulated CPU time (s) 1655.33
Current children cumulated vsize (KiB) 121424
[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 27148
/proc/meminfo: memFree=1271848/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=1715.09
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24850 0 0 0 171496 13 0 0 25 0 1 0 122925965 124338176 5841 996147200 134512640 135472138 4294956224 18446744073709551615 134604989 0 0 4096 0 0 0 0 17 0 0 0
/proc/27095/statm: 30356 5841 479 234 0 29058 0
Current children cumulated CPU time (s) 1715.09
Current children cumulated vsize (KiB) 121424
[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 27148
/proc/meminfo: memFree=1267880/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=1774.84
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24850 0 0 0 177470 14 0 0 25 0 1 0 122925965 124338176 5841 996147200 134512640 135472138 4294956224 18446744073709551615 134604921 0 0 4096 0 0 0 0 17 0 0 0
/proc/27095/statm: 30356 5841 479 234 0 29058 0
Current children cumulated CPU time (s) 1774.84
Current children cumulated vsize (KiB) 121424
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.6 s]
/proc/loadavg: 1.99 1.97 1.91 3/74 27148
/proc/meminfo: memFree=1266344/2055920 swapFree=4191676/4192956
[pid=27095] ppid=27093 vsize=121424 CPUtime=1800.04
/proc/27095/stat : 27095 (casperzito) R 27093 27095 26891 0 -1 4194304 24850 0 0 0 179990 14 0 0 25 0 1 0 122925965 124338176 5841 996147200 134512640 135472138 4294956224 18446744073709551615 134604949 0 0 4096 0 0 0 0 17 0 0 0
/proc/27095/statm: 30356 5841 479 234 0 29058 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 121424
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.61
CPU time (s): 1800.05
CPU user time (s): 1799.9
CPU system time (s): 0.146977
CPU usage (%): 99.5818
Max. virtual memory (cumulated for all children) (KiB): 212016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.146977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24850
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= 25493
runsolver used 1.53877 second user time and 5.04623 second system time
The end
Begin job on node63 at 2008-07-03 20:21:46
IDJOB=1057108
IDBENCH=53999
IDSOLVER=362
FILE ID=node63/1057108-1215109306
PBS_JOBID= 7877079
Free space on /tmp= 66528 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/rand-3-24-24/normalized-rand-3-24-24-76-632-1_ext.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1057108-1215109306/watcher-1057108-1215109306 -o /tmp/evaluation-result-1057108-1215109306/solver-1057108-1215109306 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1057108-1215109306.xml 944541704
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 269289111685f2356dfd384e495072e4
RANDOM SEED=944541704
node63.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.256
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.256
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: 1500368 kB
Buffers: 23612 kB
Cached: 433972 kB
SwapCached: 260 kB
Active: 291812 kB
Inactive: 208320 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1500368 kB
SwapTotal: 4192956 kB
SwapFree: 4191676 kB
Dirty: 5700 kB
Writeback: 0 kB
Mapped: 63708 kB
Slab: 40656 kB
Committed_AS: 339280 kB
PageTables: 1748 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= 66504 MiB
End job on node63 at 2008-07-03 20:51:56