0.00/0.15 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.00/0.15 c Parsing = 1
3.35/3.46 c Building = 1
4.25/4.36 c [ NumberOfVariables = 25 ]
4.25/4.36 c [ NumberOfConstraints = 56 ]
4.25/4.36 c [ SizeOfSearchSpace(log2) = 58.0482 ]
4.25/4.36 c SymmetrySearch = (OutOfMemory)
10.89/11.00 c [ Proceeding without symmetry breaking ]
12.47/12.60 c InitialPropagation = 1
12.47/12.65 c [ SizeOfSearchSpace(log2) = 58.0482 ]
12.47/12.65 c InitialSAC = 1
14.35/14.53 c [ SizeOfSearchSpace(log2) = 58.0482 ]
14.35/14.53 c Search(SampleFF) :
121.67/122.75 c [ Sampling domwdeg ]
121.67/122.75 c [ Sampling impacts ]
121.67/122.75 c [ SamplingScores: ]
121.67/122.75 c [ domwdeg+min = 4.36171e-07 | domwdeg+rnd = 1.38327e-07 ]
121.67/122.75 c [ impacts+min = 2.27172e-07 | impacts+rnd = 1.47651e-07 ]
121.67/122.75 c [ la+min = 0 | la+rnd = 0 ]
121.67/122.75 c [ domwdeg = 2.87249e-07 | impacts = 1.87412e-07 | la = 0 ]
121.67/122.75 c [ min = 2.21115e-07 | rand = 1.87412e-07 ]
121.67/122.75 c [ restarting at (2.57084,7.20896e-07) ]
128.62/129.72 c [ restarting at (6.4271,1.26976e-07) ]
145.78/147.04 c [ restarting at (16.0678,1.3824e-05) ]
188.55/190.10 c [ restarting at (40.1694,8.704e-06) ]
295.33/297.74 c [ restarting at (100.424,8.4992e-05) ]
562.47/566.97 c [ restarting at (251.059,0.000108646) ]
978.27/985.96 c [ restarting at (627.647,8.51149e-05) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1093108-1215248354/watcher-1093108-1215248354 -o /tmp/evaluation-result-1093108-1215248354/solver-1093108-1215248354 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1093108-1215248354.xml 1351272436
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.05 2.07 2.02 4/72 2474
/proc/meminfo: memFree=1652648/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=1052 CPUtime=0
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 40 0 0 0 0 0 0 0 19 0 1 0 2003808160 1077248 26 996147200 134512640 135472138 4294956224 18446744073709551615 1979172 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/2474/statm: 263 26 20 234 0 3 0
[startup+0.208889 s]
/proc/loadavg: 2.05 2.07 2.02 4/72 2474
/proc/meminfo: memFree=1652648/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=11088 CPUtime=0.19
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 1881 0 0 0 18 1 0 0 19 0 1 0 2003808160 11354112 1841 996147200 134512640 135472138 4294956224 18446744073709551615 134774682 0 0 4096 0 0 0 0 17 1 0 0
/proc/2474/statm: 2772 1841 365 234 0 1474 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11088
[startup+0.3019 s]
/proc/loadavg: 2.05 2.07 2.02 4/72 2474
/proc/meminfo: memFree=1652648/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=12432 CPUtime=0.28
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 2224 0 0 0 27 1 0 0 19 0 1 0 2003808160 12730368 2184 996147200 134512640 135472138 4294956224 18446744073709551615 134774656 0 0 4096 0 0 0 0 17 1 0 0
/proc/2474/statm: 3108 2184 365 234 0 1810 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 12432
[startup+0.401914 s]
/proc/loadavg: 2.05 2.07 2.02 4/72 2474
/proc/meminfo: memFree=1652648/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=15256 CPUtime=0.39
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 2928 0 0 0 37 2 0 0 20 0 1 0 2003808160 15622144 2888 996147200 134512640 135472138 4294956224 18446744073709551615 134778344 0 0 4096 0 0 0 0 17 1 0 0
/proc/2474/statm: 3814 2888 365 234 0 2516 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 15256
[startup+0.701944 s]
/proc/loadavg: 2.05 2.07 2.02 4/72 2474
/proc/meminfo: memFree=1652648/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=22536 CPUtime=0.68
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 4742 0 0 0 65 3 0 0 23 0 1 0 2003808160 23076864 4702 996147200 134512640 135472138 4294956224 18446744073709551615 134707723 0 0 4096 0 0 0 0 17 1 0 0
/proc/2474/statm: 5634 4702 365 234 0 4336 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 22536
[startup+1.50301 s]
/proc/loadavg: 2.05 2.07 2.02 3/73 2475
/proc/meminfo: memFree=1624928/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=40088 CPUtime=1.47
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 9096 0 0 0 141 6 0 0 25 0 1 0 2003808160 41050112 9056 996147200 134512640 135472138 4294956224 18446744073709551615 2414203 0 0 4096 0 0 0 0 17 1 0 0
/proc/2474/statm: 10022 9056 365 234 0 8724 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 40088
[startup+3.10115 s]
/proc/loadavg: 2.05 2.07 2.02 3/73 2475
/proc/meminfo: memFree=1600352/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=76956 CPUtime=3.06
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 18322 0 0 0 294 12 0 0 25 0 1 0 2003808160 78802944 18282 996147200 134512640 135472138 4294956224 18446744073709551615 2413088 0 0 4096 0 0 0 0 17 1 0 0
/proc/2474/statm: 19239 18282 365 234 0 17941 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 76956
[startup+6.30144 s]
/proc/loadavg: 2.04 2.07 2.02 3/73 2475
/proc/meminfo: memFree=1353696/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=483176 CPUtime=6.24
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 92490 0 0 0 577 47 0 0 25 0 1 0 2003808160 494772224 92450 996147200 134512640 135472138 4294956224 18446744073709551615 134629045 0 0 4096 0 0 0 0 17 1 0 0
/proc/2474/statm: 120794 92450 432 234 0 119496 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 483176
[startup+12.701 s]
/proc/loadavg: 2.04 2.06 2.02 3/73 2475
/proc/meminfo: memFree=914848/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=284200 CPUtime=12.57
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 185813 0 0 0 1154 103 0 0 25 0 1 0 2003808160 291020800 42595 996147200 134512640 135472138 4294956224 18446744073709551615 134604858 0 0 4096 0 0 0 0 17 1 0 0
/proc/2474/statm: 71050 42595 463 234 0 69752 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 284200
[startup+25.5062 s]
/proc/loadavg: 2.03 2.06 2.01 3/73 2475
/proc/meminfo: memFree=1483232/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=284200 CPUtime=25.26
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 186024 0 0 0 2423 103 0 0 25 0 1 0 2003808160 291020800 42806 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/2474/statm: 71050 42806 475 234 0 69752 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 284200
[startup+51.1015 s]
/proc/loadavg: 2.02 2.05 2.01 3/73 2475
/proc/meminfo: memFree=1482528/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=284200 CPUtime=50.65
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 186181 0 0 0 4961 104 0 0 25 0 1 0 2003808160 291020800 42963 996147200 134512640 135472138 4294956224 18446744073709551615 134605024 0 0 4096 0 0 0 0 17 1 0 0
/proc/2474/statm: 71050 42963 483 234 0 69752 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 284200
[startup+102.301 s]
/proc/loadavg: 2.01 2.04 2.01 3/73 2475
/proc/meminfo: memFree=1482528/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=284200 CPUtime=101.45
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 186197 0 0 0 10041 104 0 0 25 0 1 0 2003808160 291020800 42979 996147200 134512640 135472138 4294956224 18446744073709551615 134585172 0 0 4096 0 0 0 0 17 1 0 0
/proc/2474/statm: 71050 42979 485 234 0 69752 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 284200
[startup+162.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 2481
/proc/meminfo: memFree=1482336/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=284200 CPUtime=160.97
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 186229 0 0 0 15993 104 0 0 25 0 1 0 2003808160 291020800 43011 996147200 134512640 135472138 4294956224 18446744073709551615 134585164 0 0 4096 0 0 0 0 17 1 0 0
/proc/2474/statm: 71050 43011 486 234 0 69752 0
Current children cumulated CPU time (s) 160.97
Current children cumulated vsize (KiB) 284200
[startup+222.302 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 2481
/proc/meminfo: memFree=1482080/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=284200 CPUtime=220.5
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 186280 0 0 0 21946 104 0 0 25 0 1 0 2003808160 291020800 43062 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/2474/statm: 71050 43062 486 234 0 69752 0
Current children cumulated CPU time (s) 220.5
Current children cumulated vsize (KiB) 284200
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 2481
/proc/meminfo: memFree=1482080/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=284200 CPUtime=280.04
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 186280 0 0 0 27900 104 0 0 25 0 1 0 2003808160 291020800 43062 996147200 134512640 135472138 4294956224 18446744073709551615 134585042 0 0 4096 0 0 0 0 17 1 0 0
/proc/2474/statm: 71050 43062 486 234 0 69752 0
Current children cumulated CPU time (s) 280.04
Current children cumulated vsize (KiB) 284200
[startup+342.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 2481
/proc/meminfo: memFree=1482080/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=284200 CPUtime=339.59
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 186280 0 0 0 33855 104 0 0 25 0 1 0 2003808160 291020800 43062 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/2474/statm: 71050 43062 486 234 0 69752 0
Current children cumulated CPU time (s) 339.59
Current children cumulated vsize (KiB) 284200
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 2481
/proc/meminfo: memFree=1481888/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=284200 CPUtime=399.13
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 186280 0 0 0 39809 104 0 0 25 0 1 0 2003808160 291020800 43062 996147200 134512640 135472138 4294956224 18446744073709551615 134604893 0 0 4096 0 0 0 0 17 1 0 0
/proc/2474/statm: 71050 43062 486 234 0 69752 0
Current children cumulated CPU time (s) 399.13
Current children cumulated vsize (KiB) 284200
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 2481
/proc/meminfo: memFree=1481888/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=284200 CPUtime=458.67
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 186280 0 0 0 45763 104 0 0 25 0 1 0 2003808160 291020800 43062 996147200 134512640 135472138 4294956224 18446744073709551615 134605047 0 0 4096 0 0 0 0 17 1 0 0
/proc/2474/statm: 71050 43062 486 234 0 69752 0
Current children cumulated CPU time (s) 458.67
Current children cumulated vsize (KiB) 284200
[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 2481
/proc/meminfo: memFree=1481824/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=284200 CPUtime=518.21
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 186280 0 0 0 51716 105 0 0 25 0 1 0 2003808160 291020800 43062 996147200 134512640 135472138 4294956224 18446744073709551615 134604989 0 0 4096 0 0 0 0 17 1 0 0
/proc/2474/statm: 71050 43062 486 234 0 69752 0
Current children cumulated CPU time (s) 518.21
Current children cumulated vsize (KiB) 284200
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 2481
/proc/meminfo: memFree=1481824/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=284200 CPUtime=577.75
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 186280 0 0 0 57670 105 0 0 25 0 1 0 2003808160 291020800 43062 996147200 134512640 135472138 4294956224 18446744073709551615 134605003 0 0 4096 0 0 0 0 17 1 0 0
/proc/2474/statm: 71050 43062 486 234 0 69752 0
Current children cumulated CPU time (s) 577.75
Current children cumulated vsize (KiB) 284200
[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 2481
/proc/meminfo: memFree=1481824/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=284200 CPUtime=637.29
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 186280 0 0 0 63624 105 0 0 25 0 1 0 2003808160 291020800 43062 996147200 134512640 135472138 4294956224 18446744073709551615 134605040 0 0 4096 0 0 0 0 17 1 0 0
/proc/2474/statm: 71050 43062 486 234 0 69752 0
Current children cumulated CPU time (s) 637.29
Current children cumulated vsize (KiB) 284200
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 2481
/proc/meminfo: memFree=1481696/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=284200 CPUtime=815.92
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 186280 0 0 0 81487 105 0 0 25 0 1 0 2003808160 291020800 43062 996147200 134512640 135472138 4294956224 18446744073709551615 134585058 0 0 4096 0 0 0 0 17 1 0 0
/proc/2474/statm: 71050 43062 486 234 0 69752 0
Current children cumulated CPU time (s) 815.92
Current children cumulated vsize (KiB) 284200
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 2481
/proc/meminfo: memFree=1481696/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=284200 CPUtime=875.46
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 186280 0 0 0 87441 105 0 0 25 0 1 0 2003808160 291020800 43062 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 1 0 0
/proc/2474/statm: 71050 43062 486 234 0 69752 0
Current children cumulated CPU time (s) 875.46
Current children cumulated vsize (KiB) 284200
[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 2481
/proc/meminfo: memFree=1481696/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=284200 CPUtime=935.01
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 186280 0 0 0 93395 106 0 0 25 0 1 0 2003808160 291020800 43062 996147200 134512640 135472138 4294956224 18446744073709551615 134604935 0 0 4096 0 0 0 0 17 1 0 0
/proc/2474/statm: 71050 43062 486 234 0 69752 0
Current children cumulated CPU time (s) 935.01
Current children cumulated vsize (KiB) 284200
[startup+1002.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 2517
/proc/meminfo: memFree=1238624/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=284200 CPUtime=994.65
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 186280 0 0 0 99356 109 0 0 25 0 1 0 2003808160 291020800 43062 996147200 134512640 135472138 4294956224 18446744073709551615 134585142 0 0 4096 0 0 0 0 17 0 0 0
/proc/2474/statm: 71050 43062 486 234 0 69752 0
Current children cumulated CPU time (s) 994.65
Current children cumulated vsize (KiB) 284200
[startup+1062.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/81 2517
/proc/meminfo: memFree=1238624/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=284200 CPUtime=1054.63
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 186280 0 0 0 105354 109 0 0 25 0 1 0 2003808160 291020800 43062 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/2474/statm: 71050 43062 486 234 0 69752 0
Current children cumulated CPU time (s) 1054.63
Current children cumulated vsize (KiB) 284200
[startup+1122.3 s]
/proc/loadavg: 2.21 2.08 2.02 3/81 2517
/proc/meminfo: memFree=1232544/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=284200 CPUtime=1114.6
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 186280 0 0 0 111351 109 0 0 25 0 1 0 2003808160 291020800 43062 996147200 134512640 135472138 4294956224 18446744073709551615 134585092 0 0 4096 0 0 0 0 17 0 0 0
/proc/2474/statm: 71050 43062 486 234 0 69752 0
Current children cumulated CPU time (s) 1114.6
Current children cumulated vsize (KiB) 284200
[startup+1182.3 s]
/proc/loadavg: 2.08 2.06 2.02 3/81 2517
/proc/meminfo: memFree=1232416/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=284200 CPUtime=1174.58
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 186280 0 0 0 117349 109 0 0 25 0 1 0 2003808160 291020800 43062 996147200 134512640 135472138 4294956224 18446744073709551615 134604841 0 0 4096 0 0 0 0 17 0 0 0
/proc/2474/statm: 71050 43062 486 234 0 69752 0
Current children cumulated CPU time (s) 1174.58
Current children cumulated vsize (KiB) 284200
[startup+1242.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/81 2517
/proc/meminfo: memFree=1228640/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=284200 CPUtime=1234.57
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 186280 0 0 0 123347 110 0 0 25 0 1 0 2003808160 291020800 43062 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 0 0 0
/proc/2474/statm: 71050 43062 486 234 0 69752 0
Current children cumulated CPU time (s) 1234.57
Current children cumulated vsize (KiB) 284200
[startup+1302.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/81 2517
/proc/meminfo: memFree=1228512/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=284200 CPUtime=1294.54
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 186280 0 0 0 129344 110 0 0 25 0 1 0 2003808160 291020800 43062 996147200 134512640 135472138 4294956224 18446744073709551615 134585013 0 0 4096 0 0 0 0 17 0 0 0
/proc/2474/statm: 71050 43062 486 234 0 69752 0
Current children cumulated CPU time (s) 1294.54
Current children cumulated vsize (KiB) 284200
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/81 2517
/proc/meminfo: memFree=1228576/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=284200 CPUtime=1354.52
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 186280 0 0 0 135342 110 0 0 25 0 1 0 2003808160 291020800 43062 996147200 134512640 135472138 4294956224 18446744073709551615 134604933 0 0 4096 0 0 0 0 17 0 0 0
/proc/2474/statm: 71050 43062 486 234 0 69752 0
Current children cumulated CPU time (s) 1354.52
Current children cumulated vsize (KiB) 284200
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/81 2517
/proc/meminfo: memFree=1228576/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=284200 CPUtime=1414.5
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 186280 0 0 0 141340 110 0 0 25 0 1 0 2003808160 291020800 43062 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/2474/statm: 71050 43062 486 234 0 69752 0
Current children cumulated CPU time (s) 1414.5
Current children cumulated vsize (KiB) 284200
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/81 2517
/proc/meminfo: memFree=1228576/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=284200 CPUtime=1474.48
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 186280 0 0 0 147338 110 0 0 25 0 1 0 2003808160 291020800 43062 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/2474/statm: 71050 43062 486 234 0 69752 0
Current children cumulated CPU time (s) 1474.48
Current children cumulated vsize (KiB) 284200
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 2517
/proc/meminfo: memFree=1228576/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=284200 CPUtime=1534.46
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 186280 0 0 0 153336 110 0 0 25 0 1 0 2003808160 291020800 43062 996147200 134512640 135472138 4294956224 18446744073709551615 134585095 0 0 4096 0 0 0 0 17 0 0 0
/proc/2474/statm: 71050 43062 486 234 0 69752 0
Current children cumulated CPU time (s) 1534.46
Current children cumulated vsize (KiB) 284200
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 2517
/proc/meminfo: memFree=1228512/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=284200 CPUtime=1594.43
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 186280 0 0 0 159333 110 0 0 25 0 1 0 2003808160 291020800 43062 996147200 134512640 135472138 4294956224 18446744073709551615 134604986 0 0 4096 0 0 0 0 17 0 0 0
/proc/2474/statm: 71050 43062 486 234 0 69752 0
Current children cumulated CPU time (s) 1594.43
Current children cumulated vsize (KiB) 284200
[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 2517
/proc/meminfo: memFree=1228384/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=284200 CPUtime=1654.41
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 186280 0 0 0 165331 110 0 0 25 0 1 0 2003808160 291020800 43062 996147200 134512640 135472138 4294956224 18446744073709551615 134605003 0 0 4096 0 0 0 0 17 0 0 0
/proc/2474/statm: 71050 43062 486 234 0 69752 0
Current children cumulated CPU time (s) 1654.41
Current children cumulated vsize (KiB) 284200
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 2517
/proc/meminfo: memFree=1228320/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=284200 CPUtime=1714.39
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 186280 0 0 0 171329 110 0 0 25 0 1 0 2003808160 291020800 43062 996147200 134512640 135472138 4294956224 18446744073709551615 134585172 0 0 4096 0 0 0 0 17 0 0 0
/proc/2474/statm: 71050 43062 486 234 0 69752 0
Current children cumulated CPU time (s) 1714.39
Current children cumulated vsize (KiB) 284200
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 2517
/proc/meminfo: memFree=1228256/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=284200 CPUtime=1774.38
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 186280 0 0 0 177327 111 0 0 25 0 1 0 2003808160 291020800 43062 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/2474/statm: 71050 43062 486 234 0 69752 0
Current children cumulated CPU time (s) 1774.38
Current children cumulated vsize (KiB) 284200
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 2517
/proc/meminfo: memFree=1228256/2055920 swapFree=4179776/4192956
[pid=2474] ppid=2472 vsize=284200 CPUtime=1800.07
/proc/2474/stat : 2474 (casperzito) R 2472 2474 2363 0 -1 4194304 186280 0 0 0 179896 111 0 0 25 0 1 0 2003808160 291020800 43062 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/2474/statm: 71050 43062 486 234 0 69752 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 284200
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): 1808.03
CPU time (s): 1800.1
CPU user time (s): 1798.97
CPU system time (s): 1.13783
CPU usage (%): 99.5614
Max. virtual memory (cumulated for all children) (KiB): 865784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.97
system time used= 1.13783
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186280
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= 24495
runsolver used 1.71274 second user time and 5.06723 second system time
The end
Begin job on node43 at 2008-07-05 10:59:17
IDJOB=1093108
IDBENCH=58686
IDSOLVER=362
FILE ID=node43/1093108-1215248354
PBS_JOBID= 7882046
Free space on /tmp= 66448 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/dag-half/normalized-half-n25-d5-e56-r7-12.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1093108-1215248354/watcher-1093108-1215248354 -o /tmp/evaluation-result-1093108-1215248354/solver-1093108-1215248354 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1093108-1215248354.xml 1351272436
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= ccf341648ea4c9765316041a04d071c1
RANDOM SEED=1351272436
node43.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.230
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.230
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: 1653128 kB
Buffers: 9808 kB
Cached: 160448 kB
SwapCached: 6816 kB
Active: 310656 kB
Inactive: 38056 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1653128 kB
SwapTotal: 4192956 kB
SwapFree: 4179776 kB
Dirty: 33720 kB
Writeback: 0 kB
Mapped: 186408 kB
Slab: 37920 kB
Committed_AS: 4025800 kB
PageTables: 3280 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= 66444 MiB
End job on node43 at 2008-07-05 11:29:27