0.19/0.21 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.19/0.21 c Parsing = 1
2.36/2.46 c Building = 1
3.06/3.11 c [ NumberOfVariables = 20 ]
3.06/3.11 c [ NumberOfConstraints = 18 ]
3.06/3.11 c [ SizeOfSearchSpace(log2) = 46.4386 ]
3.06/3.11 c SymmetrySearch = 1
12.65/12.83 c InitialPropagation = 1
12.65/12.88 c [ SizeOfSearchSpace(log2) = 46.4386 ]
12.65/12.88 c InitialSAC = 1
14.64/14.88 c [ SizeOfSearchSpace(log2) = 46.4386 ]
14.64/14.88 c Search(SampleFF) :
118.03/119.13 c [ Sampling domwdeg ]
118.03/119.13 c [ Sampling impacts ]
118.03/119.13 c [ SamplingScores: ]
118.03/119.13 c [ domwdeg+min = 2.16953e-07 | domwdeg+rnd = 1.19897e-06 ]
118.03/119.13 c [ impacts+min = 1.8954e-07 | impacts+rnd = 5.43346e-08 ]
118.03/119.13 c [ la+min = 0 | la+rnd = 0 ]
118.03/119.13 c [ domwdeg = 7.07959e-07 | impacts = 1.21937e-07 | la = 0 ]
118.03/119.13 c [ min = 1.35498e-07 | rand = 1.21937e-07 ]
118.03/119.13 c [ restarting at (2.57084,3.584e-06) ]
124.88/126.07 c [ restarting at (6.4271,2.048e-05) ]
142.22/143.57 c [ restarting at (16.0678,6.656e-05) ]
184.94/186.69 c [ restarting at (40.1694,0.00014848) ]
291.72/294.32 c [ restarting at (100.424,0.000336896) ]
558.90/563.80 c [ restarting at (251.059,0.00077056) ]
1133.89/1143.83 c [ restarting at (627.647,0.0025728) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1084958-1215232421/watcher-1084958-1215232421 -o /tmp/evaluation-result-1084958-1215232421/solver-1084958-1215232421 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1084958-1215232421.xml 832726350
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.21 2.05 2.02 4/72 4178
/proc/meminfo: memFree=1501416/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=1052 CPUtime=0
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 40 0 0 0 0 0 0 0 19 0 1 0 1552918564 1077248 26 996147200 134512640 135472138 4294956224 18446744073709551615 8663844 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/4178/statm: 263 26 20 234 0 3 0
[startup+0.0515541 s]
/proc/loadavg: 2.21 2.05 2.02 4/72 4178
/proc/meminfo: memFree=1501416/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=8780 CPUtime=0.03
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 1301 0 0 0 3 0 0 0 18 0 1 0 1552918564 8990720 1261 996147200 134512640 135472138 4294956224 18446744073709551615 4158415404 0 0 4096 0 0 0 0 17 1 0 0
/proc/4178/statm: 2195 1261 364 234 0 897 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8780
[startup+0.102568 s]
/proc/loadavg: 2.21 2.05 2.02 4/72 4178
/proc/meminfo: memFree=1501416/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=8780 CPUtime=0.08
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 1301 0 0 0 8 0 0 0 18 0 1 0 1552918564 8990720 1261 996147200 134512640 135472138 4294956224 18446744073709551615 134794157 0 0 4096 0 0 0 0 17 1 0 0
/proc/4178/statm: 2195 1261 364 234 0 897 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8780
[startup+0.301603 s]
/proc/loadavg: 2.21 2.05 2.02 4/72 4178
/proc/meminfo: memFree=1501416/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=15468 CPUtime=0.28
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 2979 0 0 0 27 1 0 0 19 0 1 0 1552918564 15839232 2939 996147200 134512640 135472138 4294956224 18446744073709551615 134774656 0 0 4096 0 0 0 0 17 1 0 0
/proc/4178/statm: 3867 2939 365 234 0 2569 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 15468
[startup+0.701676 s]
/proc/loadavg: 2.21 2.05 2.02 4/72 4178
/proc/meminfo: memFree=1501416/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=25496 CPUtime=0.68
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 5496 0 0 0 65 3 0 0 23 0 1 0 1552918564 26107904 5456 996147200 134512640 135472138 4294956224 18446744073709551615 134778312 0 0 4096 0 0 0 0 17 1 0 0
/proc/4178/statm: 6374 5456 365 234 0 5076 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 25496
[startup+1.50183 s]
/proc/loadavg: 2.21 2.05 2.02 3/73 4179
/proc/meminfo: memFree=1474216/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=42348 CPUtime=1.48
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 9701 0 0 0 141 7 0 0 25 0 1 0 1552918564 43364352 9661 996147200 134512640 135472138 4294956224 18446744073709551615 134794114 0 0 4096 0 0 0 0 17 1 0 0
/proc/4178/statm: 10587 9661 365 234 0 9289 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 42348
[startup+3.10114 s]
/proc/loadavg: 2.20 2.05 2.01 3/73 4179
/proc/meminfo: memFree=1447080/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=234544 CPUtime=3.06
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 32113 0 0 0 288 18 0 0 25 0 1 0 1552918564 240173056 32073 996147200 134512640 135472138 4294956224 18446744073709551615 134606189 0 0 4096 0 0 0 0 17 1 0 0
/proc/4178/statm: 58636 32073 403 234 0 57338 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 234544
[startup+6.30176 s]
/proc/loadavg: 2.20 2.05 2.01 3/73 4179
/proc/meminfo: memFree=1150440/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=546460 CPUtime=6.22
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 110107 0 0 0 561 61 0 0 25 0 1 0 1552918564 559575040 110067 996147200 134512640 135472138 4294956224 18446744073709551615 9098875 0 0 4096 0 0 0 0 17 1 0 0
/proc/4178/statm: 136615 110067 432 234 0 135317 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 546460
[startup+12.7026 s]
/proc/loadavg: 2.17 2.04 2.01 3/73 4179
/proc/meminfo: memFree=811240/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=630016 CPUtime=12.56
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 173208 0 0 0 1160 96 0 0 25 0 1 0 1552918564 645136384 100259 996147200 134512640 135472138 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4178/statm: 157504 100259 448 234 0 156206 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 630016
[startup+25.5024 s]
/proc/loadavg: 2.14 2.04 2.01 3/73 4179
/proc/meminfo: memFree=1378600/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=229076 CPUtime=25.24
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 173312 0 0 0 2423 101 0 0 25 0 1 0 1552918564 234573824 30871 996147200 134512640 135472138 4294956224 18446744073709551615 134585296 0 0 4096 0 0 0 0 17 1 0 0
/proc/4178/statm: 57269 30871 468 234 0 55971 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 229076
[startup+51.1014 s]
/proc/loadavg: 2.09 2.04 2.01 3/73 4179
/proc/meminfo: memFree=1378280/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=229076 CPUtime=50.62
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 173417 0 0 0 4961 101 0 0 25 0 1 0 1552918564 234573824 30976 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/4178/statm: 57269 30976 476 234 0 55971 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 229076
[startup+102.306 s]
/proc/loadavg: 2.04 2.03 2.00 3/73 4179
/proc/meminfo: memFree=1378088/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=229076 CPUtime=101.37
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 173419 0 0 0 10036 101 0 0 25 0 1 0 1552918564 234573824 30978 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/4178/statm: 57269 30978 478 234 0 55971 0
Current children cumulated CPU time (s) 101.37
Current children cumulated vsize (KiB) 229076
[startup+162.303 s]
/proc/loadavg: 2.01 2.02 2.00 3/73 4179
/proc/meminfo: memFree=1378088/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=229076 CPUtime=160.85
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 173420 0 0 0 15983 102 0 0 25 0 1 0 1552918564 234573824 30979 996147200 134512640 135472138 4294956224 18446744073709551615 134604873 0 0 4096 0 0 0 0 17 1 0 0
/proc/4178/statm: 57269 30979 479 234 0 55971 0
Current children cumulated CPU time (s) 160.85
Current children cumulated vsize (KiB) 229076
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 4179
/proc/meminfo: memFree=1378088/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=229076 CPUtime=220.33
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 173420 0 0 0 21931 102 0 0 25 0 1 0 1552918564 234573824 30979 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 1 0 0
/proc/4178/statm: 57269 30979 479 234 0 55971 0
Current children cumulated CPU time (s) 220.33
Current children cumulated vsize (KiB) 229076
[startup+282.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 4179
/proc/meminfo: memFree=1378088/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=229076 CPUtime=279.82
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 173420 0 0 0 27879 103 0 0 25 0 1 0 1552918564 234573824 30979 996147200 134512640 135472138 4294956224 18446744073709551615 134604944 0 0 4096 0 0 0 0 17 1 0 0
/proc/4178/statm: 57269 30979 479 234 0 55971 0
Current children cumulated CPU time (s) 279.82
Current children cumulated vsize (KiB) 229076
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 4179
/proc/meminfo: memFree=1378088/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=229076 CPUtime=339.29
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 173420 0 0 0 33826 103 0 0 25 0 1 0 1552918564 234573824 30979 996147200 134512640 135472138 4294956224 18446744073709551615 134605033 0 0 4096 0 0 0 0 17 1 0 0
/proc/4178/statm: 57269 30979 479 234 0 55971 0
Current children cumulated CPU time (s) 339.29
Current children cumulated vsize (KiB) 229076
[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 4179
/proc/meminfo: memFree=1378088/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=229076 CPUtime=398.77
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 173420 0 0 0 39773 104 0 0 25 0 1 0 1552918564 234573824 30979 996147200 134512640 135472138 4294956224 18446744073709551615 134585142 0 0 4096 0 0 0 0 17 1 0 0
/proc/4178/statm: 57269 30979 479 234 0 55971 0
Current children cumulated CPU time (s) 398.77
Current children cumulated vsize (KiB) 229076
[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 4179
/proc/meminfo: memFree=1378088/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=229076 CPUtime=458.26
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 173420 0 0 0 45722 104 0 0 25 0 1 0 1552918564 234573824 30979 996147200 134512640 135472138 4294956224 18446744073709551615 134605065 0 0 4096 0 0 0 0 17 1 0 0
/proc/4178/statm: 57269 30979 479 234 0 55971 0
Current children cumulated CPU time (s) 458.26
Current children cumulated vsize (KiB) 229076
[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 4179
/proc/meminfo: memFree=1378088/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=229076 CPUtime=517.76
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 173420 0 0 0 51671 105 0 0 25 0 1 0 1552918564 234573824 30979 996147200 134512640 135472138 4294956224 18446744073709551615 134585049 0 0 4096 0 0 0 0 17 1 0 0
/proc/4178/statm: 57269 30979 479 234 0 55971 0
Current children cumulated CPU time (s) 517.76
Current children cumulated vsize (KiB) 229076
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 4179
/proc/meminfo: memFree=1377960/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=229076 CPUtime=577.24
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 173422 0 0 0 57619 105 0 0 25 0 1 0 1552918564 234573824 30981 996147200 134512640 135472138 4294956224 18446744073709551615 134585131 0 0 4096 0 0 0 0 17 1 0 0
/proc/4178/statm: 57269 30981 479 234 0 55971 0
Current children cumulated CPU time (s) 577.24
Current children cumulated vsize (KiB) 229076
[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 4179
/proc/meminfo: memFree=1377896/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=229076 CPUtime=636.72
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 173422 0 0 0 63567 105 0 0 25 0 1 0 1552918564 234573824 30981 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/4178/statm: 57269 30981 479 234 0 55971 0
Current children cumulated CPU time (s) 636.72
Current children cumulated vsize (KiB) 229076
################
# More data... #
################
[startup+822.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 4179
/proc/meminfo: memFree=1377832/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=229076 CPUtime=815.15
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 173422 0 0 0 81408 107 0 0 25 0 1 0 1552918564 234573824 30981 996147200 134512640 135472138 4294956224 18446744073709551615 134604906 0 0 4096 0 0 0 0 17 1 0 0
/proc/4178/statm: 57269 30981 479 234 0 55971 0
Current children cumulated CPU time (s) 815.15
Current children cumulated vsize (KiB) 229076
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 4179
/proc/meminfo: memFree=1377832/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=229076 CPUtime=874.64
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 173422 0 0 0 87357 107 0 0 25 0 1 0 1552918564 234573824 30981 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/4178/statm: 57269 30981 479 234 0 55971 0
Current children cumulated CPU time (s) 874.64
Current children cumulated vsize (KiB) 229076
[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 4179
/proc/meminfo: memFree=1377832/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=229076 CPUtime=934.13
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 173434 0 0 0 93306 107 0 0 25 0 1 0 1552918564 234573824 30993 996147200 134512640 135472138 4294956224 18446744073709551615 134605013 0 0 4096 0 0 0 0 17 1 0 0
/proc/4178/statm: 57269 30993 479 234 0 55971 0
Current children cumulated CPU time (s) 934.13
Current children cumulated vsize (KiB) 229076
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 4179
/proc/meminfo: memFree=1377832/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=229076 CPUtime=993.61
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 173434 0 0 0 99254 107 0 0 25 0 1 0 1552918564 234573824 30993 996147200 134512640 135472138 4294956224 18446744073709551615 134584991 0 0 4096 0 0 0 0 17 1 0 0
/proc/4178/statm: 57269 30993 479 234 0 55971 0
Current children cumulated CPU time (s) 993.61
Current children cumulated vsize (KiB) 229076
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 4179
/proc/meminfo: memFree=1377832/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=229076 CPUtime=1053.11
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 173435 0 0 0 105203 108 0 0 25 0 1 0 1552918564 234573824 30994 996147200 134512640 135472138 4294956224 18446744073709551615 134605024 0 0 4096 0 0 0 0 17 1 0 0
/proc/4178/statm: 57269 30994 479 234 0 55971 0
Current children cumulated CPU time (s) 1053.11
Current children cumulated vsize (KiB) 229076
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 4179
/proc/meminfo: memFree=1377704/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=229076 CPUtime=1112.59
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 173452 0 0 0 111151 108 0 0 25 0 1 0 1552918564 234573824 31011 996147200 134512640 135472138 4294956224 18446744073709551615 134577878 0 0 4096 0 0 0 0 17 1 0 0
/proc/4178/statm: 57269 31011 479 234 0 55971 0
Current children cumulated CPU time (s) 1112.59
Current children cumulated vsize (KiB) 229076
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 4225
/proc/meminfo: memFree=1468104/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=229076 CPUtime=1172.36
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 173452 0 0 0 117125 111 0 0 25 0 1 0 1552918564 234573824 31011 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/4178/statm: 57269 31011 479 234 0 55971 0
Current children cumulated CPU time (s) 1172.36
Current children cumulated vsize (KiB) 229076
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 4225
/proc/meminfo: memFree=1468360/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=229076 CPUtime=1232.3
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 173452 0 0 0 123119 111 0 0 25 0 1 0 1552918564 234573824 31011 996147200 134512640 135472138 4294956224 18446744073709551615 134585122 0 0 4096 0 0 0 0 17 0 0 0
/proc/4178/statm: 57269 31011 479 234 0 55971 0
Current children cumulated CPU time (s) 1232.3
Current children cumulated vsize (KiB) 229076
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 4225
/proc/meminfo: memFree=1468296/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=229076 CPUtime=1292.25
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 173452 0 0 0 129114 111 0 0 25 0 1 0 1552918564 234573824 31011 996147200 134512640 135472138 4294956224 18446744073709551615 135202017 0 0 4096 0 0 0 0 17 0 0 0
/proc/4178/statm: 57269 31011 479 234 0 55971 0
Current children cumulated CPU time (s) 1292.25
Current children cumulated vsize (KiB) 229076
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 4225
/proc/meminfo: memFree=1468232/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=229076 CPUtime=1352.19
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 173452 0 0 0 135108 111 0 0 25 0 1 0 1552918564 234573824 31011 996147200 134512640 135472138 4294956224 18446744073709551615 134585095 0 0 4096 0 0 0 0 17 0 0 0
/proc/4178/statm: 57269 31011 479 234 0 55971 0
Current children cumulated CPU time (s) 1352.19
Current children cumulated vsize (KiB) 229076
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 4225
/proc/meminfo: memFree=1468232/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=229076 CPUtime=1412.14
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 173452 0 0 0 141103 111 0 0 25 0 1 0 1552918564 234573824 31011 996147200 134512640 135472138 4294956224 18446744073709551615 134585122 0 0 4096 0 0 0 0 17 0 0 0
/proc/4178/statm: 57269 31011 479 234 0 55971 0
Current children cumulated CPU time (s) 1412.14
Current children cumulated vsize (KiB) 229076
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 4225
/proc/meminfo: memFree=1468232/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=229076 CPUtime=1472.08
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 173452 0 0 0 147097 111 0 0 25 0 1 0 1552918564 234573824 31011 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/4178/statm: 57269 31011 479 234 0 55971 0
Current children cumulated CPU time (s) 1472.08
Current children cumulated vsize (KiB) 229076
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 4225
/proc/meminfo: memFree=1468232/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=229076 CPUtime=1532.03
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 173452 0 0 0 153091 112 0 0 25 0 1 0 1552918564 234573824 31011 996147200 134512640 135472138 4294956224 18446744073709551615 134585100 0 0 4096 0 0 0 0 17 0 0 0
/proc/4178/statm: 57269 31011 479 234 0 55971 0
Current children cumulated CPU time (s) 1532.03
Current children cumulated vsize (KiB) 229076
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 4225
/proc/meminfo: memFree=1468232/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=229076 CPUtime=1591.98
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 173452 0 0 0 159086 112 0 0 25 0 1 0 1552918564 234573824 31011 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/4178/statm: 57269 31011 479 234 0 55971 0
Current children cumulated CPU time (s) 1591.98
Current children cumulated vsize (KiB) 229076
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 4230
/proc/meminfo: memFree=1468040/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=229076 CPUtime=1651.91
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 173452 0 0 0 165079 112 0 0 25 0 1 0 1552918564 234573824 31011 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 0 0 0
/proc/4178/statm: 57269 31011 479 234 0 55971 0
Current children cumulated CPU time (s) 1651.91
Current children cumulated vsize (KiB) 229076
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 4230
/proc/meminfo: memFree=1468040/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=229076 CPUtime=1711.85
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 173452 0 0 0 171073 112 0 0 25 0 1 0 1552918564 234573824 31011 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/4178/statm: 57269 31011 479 234 0 55971 0
Current children cumulated CPU time (s) 1711.85
Current children cumulated vsize (KiB) 229076
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 4230
/proc/meminfo: memFree=1467912/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=229076 CPUtime=1771.8
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 173452 0 0 0 177068 112 0 0 25 0 1 0 1552918564 234573824 31011 996147200 134512640 135472138 4294956224 18446744073709551615 135262886 0 0 4096 0 0 0 0 17 0 0 0
/proc/4178/statm: 57269 31011 479 234 0 55971 0
Current children cumulated CPU time (s) 1771.8
Current children cumulated vsize (KiB) 229076
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.61 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 4230
/proc/meminfo: memFree=1467912/2055920 swapFree=4114148/4192956
[pid=4178] ppid=4176 vsize=229076 CPUtime=1800.08
/proc/4178/stat : 4178 (casperzito) R 4176 4178 3936 0 -1 4194304 173452 0 0 0 179896 112 0 0 25 0 1 0 1552918564 234573824 31011 996147200 134512640 135472138 4294956224 18446744073709551615 134585092 0 0 4096 0 0 0 0 17 0 0 0
/proc/4178/statm: 57269 31011 479 234 0 55971 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 229076
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): 1810.63
CPU time (s): 1800.11
CPU user time (s): 1798.96
CPU system time (s): 1.14482
CPU usage (%): 99.4188
Max. virtual memory (cumulated for all children) (KiB): 852884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.96
system time used= 1.14482
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173452
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= 27477
runsolver used 2.22166 second user time and 5.52816 second system time
The end
Begin job on node9 at 2008-07-05 06:33:43
IDJOB=1084958
IDBENCH=57590
IDSOLVER=362
FILE ID=node9/1084958-1215232421
PBS_JOBID= 7881919
Free space on /tmp= 66504 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/rand-8-20-5/normalized-rand-8-20-5-18-800-11_ext.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1084958-1215232421/watcher-1084958-1215232421 -o /tmp/evaluation-result-1084958-1215232421/solver-1084958-1215232421 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1084958-1215232421.xml 832726350
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 9a1e5061af5a11aec5f3135ecda7e6f0
RANDOM SEED=832726350
node9.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.265
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 : 5931.00
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.265
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: 1501896 kB
Buffers: 42976 kB
Cached: 232864 kB
SwapCached: 73000 kB
Active: 419476 kB
Inactive: 77760 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1501896 kB
SwapTotal: 4192956 kB
SwapFree: 4114148 kB
Dirty: 25248 kB
Writeback: 0 kB
Mapped: 228704 kB
Slab: 40576 kB
Committed_AS: 3252568 kB
PageTables: 3348 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= 66500 MiB
End job on node9 at 2008-07-05 07:03:56