0.09/0.13 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.09/0.13 c Parsing = 1
3.38/3.43 c Building = 1
4.26/4.32 c [ NumberOfVariables = 25 ]
4.26/4.32 c [ NumberOfConstraints = 56 ]
4.26/4.32 c [ SizeOfSearchSpace(log2) = 58.0482 ]
4.26/4.32 c SymmetrySearch = (OutOfMemory)
10.94/11.01 c [ Proceeding without symmetry breaking ]
12.32/12.49 c InitialPropagation = 1
12.42/12.53 c [ SizeOfSearchSpace(log2) = 58.0482 ]
12.42/12.53 c InitialSAC = 1
14.81/14.93 c [ SizeOfSearchSpace(log2) = 58.0482 ]
14.81/14.93 c Search(SampleFF) :
115.61/116.14 c [ Sampling domwdeg ]
115.61/116.14 c [ Sampling impacts ]
115.61/116.14 c [ SamplingScores: ]
115.61/116.14 c [ domwdeg+min = 7.92256e-07 | domwdeg+rnd = 1.19963e-06 ]
115.61/116.14 c [ impacts+min = 2.13726e-08 | impacts+rnd = 2.41775e-09 ]
115.61/116.14 c [ la+min = 0 | la+rnd = 0 ]
115.61/116.14 c [ domwdeg = 9.95943e-07 | impacts = 1.18952e-08 | la = 0 ]
115.61/116.14 c [ min = 2.7121e-07 | rand = 1.18952e-08 ]
115.61/116.14 c [ restarting at (2.57084,1.1264e-06) ]
122.18/122.74 c [ restarting at (6.4271,2.2569e-06) ]
138.31/138.90 c [ restarting at (16.0678,5.2224e-06) ]
178.35/179.17 c [ restarting at (40.1694,2.1545e-05) ]
278.74/279.96 c [ restarting at (100.424,0.000117862) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1093062-1215247880/watcher-1093062-1215247880 -o /tmp/evaluation-result-1093062-1215247880/solver-1093062-1215247880 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1093062-1215247880.xml 2116810570
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.00 2.00 2.00 4/82 19462
/proc/meminfo: memFree=1757728/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=18572 CPUtime=0
/proc/19462/stat : 19462 (runsolver) R 19460 19462 17008 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 248883256 19017728 292 996147200 4194304 4296836 548682068464 18446744073709551615 255372881191 0 0 4096 24578 0 0 0 17 1 0 0
/proc/19462/statm: 4643 292 257 25 0 2626 0
[startup+0.106834 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 19462
/proc/meminfo: memFree=1757728/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=8416 CPUtime=0.09
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 1215 0 0 0 9 0 0 0 18 0 1 0 248883256 8617984 1175 996147200 134512640 135472138 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19462/statm: 2104 1175 365 234 0 806 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8416
[startup+0.20184 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 19462
/proc/meminfo: memFree=1757728/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=9756 CPUtime=0.18
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 1552 0 0 0 18 0 0 0 19 0 1 0 248883256 9990144 1512 996147200 134512640 135472138 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19462/statm: 2439 1512 365 234 0 1141 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 9756
[startup+0.301854 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 19462
/proc/meminfo: memFree=1757728/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=12580 CPUtime=0.29
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 2256 0 0 0 28 1 0 0 20 0 1 0 248883256 12881920 2216 996147200 134512640 135472138 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19462/statm: 3145 2216 365 234 0 1847 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12580
[startup+0.701892 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 19462
/proc/meminfo: memFree=1757728/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=22396 CPUtime=0.68
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 4715 0 0 0 66 2 0 0 23 0 1 0 248883256 22933504 4675 996147200 134512640 135472138 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19462/statm: 5599 4675 365 234 0 4301 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 22396
[startup+1.50198 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 19463
/proc/meminfo: memFree=1732056/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=40392 CPUtime=1.47
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 9221 0 0 0 141 6 0 0 25 0 1 0 248883256 41361408 9181 996147200 134512640 135472138 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19462/statm: 10098 9181 365 234 0 8800 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 40392
[startup+3.10215 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 19463
/proc/meminfo: memFree=1706904/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=76824 CPUtime=3.07
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 18312 0 0 0 295 12 0 0 25 0 1 0 248883256 78667776 18272 996147200 134512640 135472138 4294956224 18446744073709551615 134774671 0 0 4096 0 0 0 0 17 1 0 0
/proc/19462/statm: 19206 18272 365 234 0 17908 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 76824
[startup+6.30148 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 19463
/proc/meminfo: memFree=1467544/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=482116 CPUtime=6.25
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 91899 0 1 0 579 46 0 0 25 0 1 0 248883256 493686784 91860 996147200 134512640 135472138 4294956224 18446744073709551615 10151547 0 0 4096 0 0 0 0 17 1 0 0
/proc/19462/statm: 120529 91861 433 234 0 119231 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 482116
[startup+12.7012 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 19463
/proc/meminfo: memFree=1024088/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=283172 CPUtime=12.62
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 183470 0 2 0 1157 105 0 0 25 0 1 0 248883256 289968128 42045 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/19462/statm: 70793 42045 464 234 0 69495 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 283172
[startup+25.5015 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 19463
/proc/meminfo: memFree=1588888/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=283172 CPUtime=25.37
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 183593 0 2 0 2432 105 0 0 25 0 1 0 248883256 289968128 42168 996147200 134512640 135472138 4294956224 18446744073709551615 134605024 0 0 4096 0 0 0 0 17 0 0 0
/proc/19462/statm: 70793 42168 476 234 0 69495 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 283172
[startup+51.1012 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 19463
/proc/meminfo: memFree=1587992/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=283172 CPUtime=50.87
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 183803 0 2 0 4982 105 0 0 25 0 1 0 248883256 289968128 42378 996147200 134512640 135472138 4294956224 18446744073709551615 134604986 0 0 4096 0 0 0 0 17 0 0 0
/proc/19462/statm: 70793 42378 484 234 0 69495 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 283172
[startup+102.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 19463
/proc/meminfo: memFree=1587800/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=283172 CPUtime=101.86
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 183827 0 2 0 10081 105 0 0 25 0 1 0 248883256 289968128 42402 996147200 134512640 135472138 4294956224 18446744073709551615 134604986 0 0 4096 0 0 0 0 17 0 0 0
/proc/19462/statm: 70793 42402 486 234 0 69495 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 283172
[startup+162.302 s]
/proc/loadavg: 2.04 2.01 2.00 3/83 19463
/proc/meminfo: memFree=1587800/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=283172 CPUtime=161.62
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 183828 0 2 0 16057 105 0 0 25 0 1 0 248883256 289968128 42403 996147200 134512640 135472138 4294956224 18446744073709551615 134585089 0 0 4096 0 0 0 0 17 0 0 0
/proc/19462/statm: 70793 42403 487 234 0 69495 0
Current children cumulated CPU time (s) 161.62
Current children cumulated vsize (KiB) 283172
[startup+222.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/83 19463
/proc/meminfo: memFree=1587736/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=283172 CPUtime=221.38
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 183828 0 2 0 22033 105 0 0 25 0 1 0 248883256 289968128 42403 996147200 134512640 135472138 4294956224 18446744073709551615 134585296 0 0 4096 0 0 0 0 17 0 0 0
/proc/19462/statm: 70793 42403 487 234 0 69495 0
Current children cumulated CPU time (s) 221.38
Current children cumulated vsize (KiB) 283172
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 19463
/proc/meminfo: memFree=1587736/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=283172 CPUtime=281.13
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 183828 0 2 0 28008 105 0 0 25 0 1 0 248883256 289968128 42403 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/19462/statm: 70793 42403 487 234 0 69495 0
Current children cumulated CPU time (s) 281.13
Current children cumulated vsize (KiB) 283172
[startup+342.302 s]
/proc/loadavg: 2.03 2.00 2.00 3/83 19505
/proc/meminfo: memFree=1427288/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=283172 CPUtime=340.82
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 183828 0 2 0 33972 110 0 0 25 0 1 0 248883256 289968128 42403 996147200 134512640 135472138 4294956224 18446744073709551615 134585131 0 0 4096 0 0 0 0 17 1 0 0
/proc/19462/statm: 70793 42403 487 234 0 69495 0
Current children cumulated CPU time (s) 340.82
Current children cumulated vsize (KiB) 283172
[startup+402.302 s]
/proc/loadavg: 2.01 2.00 2.00 3/83 19505
/proc/meminfo: memFree=1426712/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=283172 CPUtime=400.51
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 183828 0 2 0 39941 110 0 0 25 0 1 0 248883256 289968128 42403 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/19462/statm: 70793 42403 487 234 0 69495 0
Current children cumulated CPU time (s) 400.51
Current children cumulated vsize (KiB) 283172
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 19505
/proc/meminfo: memFree=1426968/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=283172 CPUtime=460.22
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 183828 0 2 0 45912 110 0 0 25 0 1 0 248883256 289968128 42403 996147200 134512640 135472138 4294956224 18446744073709551615 134605045 0 0 4096 0 0 0 0 17 1 0 0
/proc/19462/statm: 70793 42403 487 234 0 69495 0
Current children cumulated CPU time (s) 460.22
Current children cumulated vsize (KiB) 283172
[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 19505
/proc/meminfo: memFree=1426968/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=283172 CPUtime=519.94
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 183833 0 2 0 51884 110 0 0 25 0 1 0 248883256 289968128 42408 996147200 134512640 135472138 4294956224 18446744073709551615 134585030 0 0 4096 0 0 0 0 17 1 0 0
/proc/19462/statm: 70793 42408 487 234 0 69495 0
Current children cumulated CPU time (s) 519.94
Current children cumulated vsize (KiB) 283172
[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 4/83 19511
/proc/meminfo: memFree=1426840/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=283172 CPUtime=579.63
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 183833 0 2 0 57853 110 0 0 25 0 1 0 248883256 289968128 42408 996147200 134512640 135472138 4294956224 18446744073709551615 134605062 0 0 4096 0 0 0 0 17 1 0 0
/proc/19462/statm: 70793 42408 487 234 0 69495 0
Current children cumulated CPU time (s) 579.63
Current children cumulated vsize (KiB) 283172
[startup+642.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/83 19511
/proc/meminfo: memFree=1426904/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=283172 CPUtime=639.34
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 183834 0 2 0 63824 110 0 0 25 0 1 0 248883256 289968128 42409 996147200 134512640 135472138 4294956224 18446744073709551615 134605019 0 0 4096 0 0 0 0 17 1 0 0
/proc/19462/statm: 70793 42409 487 234 0 69495 0
Current children cumulated CPU time (s) 639.34
Current children cumulated vsize (KiB) 283172
################
# More data... #
################
[startup+882.306 s]
/proc/loadavg: 2.06 2.04 2.00 3/83 19511
/proc/meminfo: memFree=1426520/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=283172 CPUtime=878.19
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 183896 0 2 0 87709 110 0 0 25 0 1 0 248883256 289968128 42471 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/19462/statm: 70793 42471 487 234 0 69495 0
Current children cumulated CPU time (s) 878.19
Current children cumulated vsize (KiB) 283172
[startup+942.302 s]
/proc/loadavg: 2.06 2.05 2.00 3/83 19511
/proc/meminfo: memFree=1426456/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=283172 CPUtime=937.9
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 183896 0 2 0 93680 110 0 0 25 0 1 0 248883256 289968128 42471 996147200 134512640 135472138 4294956224 18446744073709551615 134585068 0 0 4096 0 0 0 0 17 1 0 0
/proc/19462/statm: 70793 42471 487 234 0 69495 0
Current children cumulated CPU time (s) 937.9
Current children cumulated vsize (KiB) 283172
[startup+1002.3 s]
/proc/loadavg: 2.40 2.14 2.03 3/83 19511
/proc/meminfo: memFree=1426328/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=283172 CPUtime=997.61
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 183903 0 2 0 99651 110 0 0 25 0 1 0 248883256 289968128 42478 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/19462/statm: 70793 42478 487 234 0 69495 0
Current children cumulated CPU time (s) 997.61
Current children cumulated vsize (KiB) 283172
[startup+1062.3 s]
/proc/loadavg: 2.37 2.19 2.05 3/83 19511
/proc/meminfo: memFree=1426264/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=283172 CPUtime=1057.32
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 183915 0 2 0 105622 110 0 0 25 0 1 0 248883256 289968128 42490 996147200 134512640 135472138 4294956224 18446744073709551615 134605003 0 0 4096 0 0 0 0 17 1 0 0
/proc/19462/statm: 70793 42490 487 234 0 69495 0
Current children cumulated CPU time (s) 1057.32
Current children cumulated vsize (KiB) 283172
[startup+1122.3 s]
/proc/loadavg: 2.20 2.17 2.05 3/83 19511
/proc/meminfo: memFree=1426200/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=283172 CPUtime=1117.03
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 183915 0 2 0 111593 110 0 0 25 0 1 0 248883256 289968128 42490 996147200 134512640 135472138 4294956224 18446744073709551615 135202540 0 0 4096 0 0 0 0 17 1 0 0
/proc/19462/statm: 70793 42490 487 234 0 69495 0
Current children cumulated CPU time (s) 1117.03
Current children cumulated vsize (KiB) 283172
[startup+1182.3 s]
/proc/loadavg: 2.07 2.13 2.05 3/83 19511
/proc/meminfo: memFree=1426200/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=283172 CPUtime=1176.74
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 183915 0 2 0 117564 110 0 0 25 0 1 0 248883256 289968128 42490 996147200 134512640 135472138 4294956224 18446744073709551615 134604841 0 0 4096 0 0 0 0 17 1 0 0
/proc/19462/statm: 70793 42490 487 234 0 69495 0
Current children cumulated CPU time (s) 1176.74
Current children cumulated vsize (KiB) 283172
[startup+1242.3 s]
/proc/loadavg: 2.02 2.11 2.04 3/83 19511
/proc/meminfo: memFree=1426008/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=283172 CPUtime=1236.45
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 183915 0 2 0 123535 110 0 0 25 0 1 0 248883256 289968128 42490 996147200 134512640 135472138 4294956224 18446744073709551615 134584991 0 0 4096 0 0 0 0 17 1 0 0
/proc/19462/statm: 70793 42490 487 234 0 69495 0
Current children cumulated CPU time (s) 1236.45
Current children cumulated vsize (KiB) 283172
[startup+1302.3 s]
/proc/loadavg: 2.01 2.08 2.04 3/83 19511
/proc/meminfo: memFree=1425944/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=283172 CPUtime=1296.17
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 183915 0 2 0 129507 110 0 0 25 0 1 0 248883256 289968128 42490 996147200 134512640 135472138 4294956224 18446744073709551615 134585131 0 0 4096 0 0 0 0 17 1 0 0
/proc/19462/statm: 70793 42490 487 234 0 69495 0
Current children cumulated CPU time (s) 1296.17
Current children cumulated vsize (KiB) 283172
[startup+1362.3 s]
/proc/loadavg: 2.00 2.07 2.03 3/83 19511
/proc/meminfo: memFree=1425880/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=283172 CPUtime=1355.88
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 183915 0 2 0 135478 110 0 0 25 0 1 0 248883256 289968128 42490 996147200 134512640 135472138 4294956224 18446744073709551615 134604935 0 0 4096 0 0 0 0 17 1 0 0
/proc/19462/statm: 70793 42490 487 234 0 69495 0
Current children cumulated CPU time (s) 1355.88
Current children cumulated vsize (KiB) 283172
[startup+1422.3 s]
/proc/loadavg: 2.00 2.05 2.02 3/83 19511
/proc/meminfo: memFree=1425880/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=283172 CPUtime=1415.6
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 183915 0 2 0 141450 110 0 0 25 0 1 0 248883256 289968128 42490 996147200 134512640 135472138 4294956224 18446744073709551615 134585175 0 0 4096 0 0 0 0 17 1 0 0
/proc/19462/statm: 70793 42490 487 234 0 69495 0
Current children cumulated CPU time (s) 1415.6
Current children cumulated vsize (KiB) 283172
[startup+1482.3 s]
/proc/loadavg: 2.00 2.04 2.02 3/83 19511
/proc/meminfo: memFree=1425816/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=283172 CPUtime=1475.3
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 183915 0 2 0 147420 110 0 0 25 0 1 0 248883256 289968128 42490 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/19462/statm: 70793 42490 487 234 0 69495 0
Current children cumulated CPU time (s) 1475.3
Current children cumulated vsize (KiB) 283172
[startup+1542.31 s]
/proc/loadavg: 2.00 2.03 2.01 3/83 19511
/proc/meminfo: memFree=1425688/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=283172 CPUtime=1535.02
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 183915 0 2 0 153392 110 0 0 25 0 1 0 248883256 289968128 42490 996147200 134512640 135472138 4294956224 18446744073709551615 134605074 0 0 4096 0 0 0 0 17 1 0 0
/proc/19462/statm: 70793 42490 487 234 0 69495 0
Current children cumulated CPU time (s) 1535.02
Current children cumulated vsize (KiB) 283172
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/83 19511
/proc/meminfo: memFree=1425624/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=283172 CPUtime=1594.72
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 183915 0 2 0 159362 110 0 0 25 0 1 0 248883256 289968128 42490 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/19462/statm: 70793 42490 487 234 0 69495 0
Current children cumulated CPU time (s) 1594.72
Current children cumulated vsize (KiB) 283172
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 19511
/proc/meminfo: memFree=1425624/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=283172 CPUtime=1654.44
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 183915 0 2 0 165334 110 0 0 25 0 1 0 248883256 289968128 42490 996147200 134512640 135472138 4294956224 18446744073709551615 134605062 0 0 4096 0 0 0 0 17 1 0 0
/proc/19462/statm: 70793 42490 487 234 0 69495 0
Current children cumulated CPU time (s) 1654.44
Current children cumulated vsize (KiB) 283172
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 19511
/proc/meminfo: memFree=1425624/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=283172 CPUtime=1714.15
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 183915 0 2 0 171305 110 0 0 25 0 1 0 248883256 289968128 42490 996147200 134512640 135472138 4294956224 18446744073709551615 135262880 0 0 4096 0 0 0 0 17 1 0 0
/proc/19462/statm: 70793 42490 487 234 0 69495 0
Current children cumulated CPU time (s) 1714.15
Current children cumulated vsize (KiB) 283172
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 19511
/proc/meminfo: memFree=1425432/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=283172 CPUtime=1773.86
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 183918 0 2 0 177276 110 0 0 25 0 1 0 248883256 289968128 42493 996147200 134512640 135472138 4294956224 18446744073709551615 134577882 0 0 4096 0 0 0 0 17 1 0 0
/proc/19462/statm: 70793 42493 487 234 0 69495 0
Current children cumulated CPU time (s) 1773.86
Current children cumulated vsize (KiB) 283172
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 19511
/proc/meminfo: memFree=1425432/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=283172 CPUtime=1800.04
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 183918 0 2 0 179894 110 0 0 25 0 1 0 248883256 289968128 42493 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 1 0 0
/proc/19462/statm: 70793 42493 487 234 0 69495 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 283172
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1808.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 19511
/proc/meminfo: memFree=1425432/2055912 swapFree=4178564/4192956
[pid=19462] ppid=19460 vsize=283172 CPUtime=1800.04
/proc/19462/stat : 19462 (casperzito) R 19460 19462 17008 0 -1 4194304 183918 0 2 0 179894 110 0 0 25 0 1 0 248883256 289968128 42493 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 1 0 0
/proc/19462/statm: 70793 42493 487 234 0 69495 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 283172
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.64
CPU time (s): 1800.08
CPU user time (s): 1798.94
CPU system time (s): 1.13783
CPU usage (%): 99.5269
Max. virtual memory (cumulated for all children) (KiB): 857484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.94
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= 183918
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18
involuntary context switches= 51339
runsolver used 1.71074 second user time and 4.88926 second system time
The end
Begin job on node78 at 2008-07-05 10:51:22
IDJOB=1093062
IDBENCH=58683
IDSOLVER=362
FILE ID=node78/1093062-1215247880
PBS_JOBID= 7881955
Free space on /tmp= 126608 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/dag-half/normalized-half-n25-d5-e56-r7-7.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1093062-1215247880/watcher-1093062-1215247880 -o /tmp/evaluation-result-1093062-1215247880/solver-1093062-1215247880 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1093062-1215247880.xml 2116810570
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 4a2cc2f5664c2ecf671a222adbdc0b93
RANDOM SEED=2116810570
node78.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.247
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.247
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: 2055912 kB
MemFree: 1758208 kB
Buffers: 15916 kB
Cached: 170404 kB
SwapCached: 7072 kB
Active: 179764 kB
Inactive: 56900 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055912 kB
LowFree: 1758208 kB
SwapTotal: 4192956 kB
SwapFree: 4178564 kB
Dirty: 33548 kB
Writeback: 0 kB
Mapped: 67928 kB
Slab: 46324 kB
Committed_AS: 777004 kB
PageTables: 1740 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= 126576 MiB
End job on node78 at 2008-07-05 11:21:33