0.18/0.21 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.18/0.21 c Parsing = 1
5.46/5.55 c Building = 1
5.56/5.66 c [ NumberOfVariables = 4524 ]
5.56/5.66 c [ NumberOfConstraints = 315 ]
5.56/5.66 c [ SizeOfSearchSpace(log2) = 3380 ]
5.56/5.66 c SymmetrySearch = (Timeout)
15.91/16.05 c [ Proceeding without symmetry breaking ]
15.91/16.08 c InitialPropagation = 1
16.70/16.88 c [ SizeOfSearchSpace(log2) = 3380 ]
16.70/16.88 c InitialSAC = (Timeout)
29.24/29.43 c [ SizeOfSearchSpace(log2) = 3380 ]
29.24/29.44 c Search(DomWDeg) =
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1063674-1215138459/watcher-1063674-1215138459 -o /tmp/evaluation-result-1063674-1215138459/solver-1063674-1215138459 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1063674-1215138459.xml 965708175
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
[startup+0 s]
/proc/loadavg: 1.99 2.00 2.02 3/80 3389
/proc/meminfo: memFree=1633808/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=18572 CPUtime=0
/proc/3389/stat : 3389 (runsolver) R 3387 1161 1161 0 -1 4194368 12 0 0 0 0 0 0 0 21 0 1 0 1992817312 19017728 290 996147200 4194304 4296836 548682068480 18446744073709551615 217048970986 0 0 4096 24578 0 0 0 17 1 0 0
/proc/3389/statm: 4643 290 255 25 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.11714 s]
/proc/loadavg: 1.99 2.00 2.02 3/80 3389
/proc/meminfo: memFree=1633808/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=11864 CPUtime=0.1
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 2061 0 0 0 9 1 0 0 18 0 1 0 1992817312 12148736 2021 996147200 134512640 135472138 4294956224 18446744073709551615 9721413 0 0 4096 0 0 0 0 17 1 0 0
/proc/3389/statm: 2966 2021 368 234 0 1668 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11864
[startup+0.202156 s]
/proc/loadavg: 1.99 2.00 2.02 3/80 3389
/proc/meminfo: memFree=1633808/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=18740 CPUtime=0.18
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 3798 0 0 0 17 1 0 0 18 0 1 0 1992817312 19189760 3758 996147200 134512640 135472138 4294956224 18446744073709551615 9721467 0 0 4096 0 0 0 0 17 1 0 0
/proc/3389/statm: 4685 3759 368 234 0 3387 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 18740
[startup+0.302177 s]
/proc/loadavg: 1.99 2.00 2.02 3/80 3389
/proc/meminfo: memFree=1633808/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=26956 CPUtime=0.28
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 5830 0 0 0 26 2 0 0 19 0 1 0 1992817312 27602944 5790 996147200 134512640 135472138 4294956224 18446744073709551615 9721467 0 0 4096 0 0 0 0 17 1 0 0
/proc/3389/statm: 6739 5791 368 234 0 5441 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 26956
[startup+0.702252 s]
/proc/loadavg: 1.99 2.00 2.02 3/80 3389
/proc/meminfo: memFree=1633808/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=60580 CPUtime=0.68
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 14187 0 0 0 63 5 0 0 23 0 1 0 1992817312 62033920 14147 996147200 134512640 135472138 4294956224 18446744073709551615 9454144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3389/statm: 15145 14147 368 234 0 13847 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 60580
[startup+1.5014 s]
/proc/loadavg: 1.99 2.00 2.02 3/81 3390
/proc/meminfo: memFree=1541704/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=132820 CPUtime=1.47
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 31654 0 0 0 135 12 0 0 25 0 1 0 1992817312 136007680 31614 996147200 134512640 135472138 4294956224 18446744073709551615 134730096 0 0 4096 0 0 0 0 17 1 0 0
/proc/3389/statm: 33205 31616 368 234 0 31907 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 132820
[startup+3.10171 s]
/proc/loadavg: 1.99 2.00 2.02 3/81 3390
/proc/meminfo: memFree=1444616/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=275812 CPUtime=3.07
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 67425 0 0 0 280 27 0 0 25 0 1 0 1992817312 282431488 67385 996147200 134512640 135472138 4294956224 18446744073709551615 9721467 0 0 4096 0 0 0 0 17 1 0 0
/proc/3389/statm: 68953 67386 368 234 0 67655 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 275812
[startup+6.30132 s]
/proc/loadavg: 1.99 2.00 2.02 3/81 3390
/proc/meminfo: memFree=1176008/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=565660 CPUtime=6.26
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 118195 0 0 0 574 52 0 0 25 0 1 0 1992817312 579235840 118147 996147200 134512640 135472138 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3389/statm: 141415 118147 449 234 0 140117 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 565660
[startup+12.7015 s]
/proc/loadavg: 1.99 2.00 2.02 3/81 3390
/proc/meminfo: memFree=1160904/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=566188 CPUtime=12.62
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 118312 0 0 0 1210 52 0 0 25 0 1 0 1992817312 579776512 118264 996147200 134512640 135472138 4294956224 18446744073709551615 134529798 0 0 4096 0 0 0 0 17 1 0 0
/proc/3389/statm: 141547 118264 449 234 0 140249 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 566188
[startup+25.503 s]
/proc/loadavg: 1.99 2.00 2.02 3/81 3390
/proc/meminfo: memFree=1164232/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=561564 CPUtime=25.36
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 118377 0 0 0 2484 52 0 0 25 0 1 0 1992817312 575041536 117422 996147200 134512640 135472138 4294956224 18446744073709551615 134578202 0 0 4096 0 0 0 0 17 1 0 0
/proc/3389/statm: 140391 117422 478 234 0 139093 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 561564
[startup+51.1029 s]
/proc/loadavg: 1.99 2.00 2.01 3/81 3390
/proc/meminfo: memFree=1163848/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=561564 CPUtime=50.83
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 118520 0 0 0 5031 52 0 0 25 0 1 0 1992817312 575041536 117565 996147200 134512640 135472138 4294956224 18446744073709551615 134578080 0 0 4096 0 0 0 0 17 1 0 0
/proc/3389/statm: 140391 117565 496 234 0 139093 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 561564
[startup+102.303 s]
/proc/loadavg: 1.99 2.00 2.01 3/81 3390
/proc/meminfo: memFree=1162888/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=561564 CPUtime=101.78
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 118547 0 0 0 10126 52 0 0 25 0 1 0 1992817312 575041536 117592 996147200 134512640 135472138 4294956224 18446744073709551615 134580908 0 0 4096 0 0 0 0 17 1 0 0
/proc/3389/statm: 140391 117592 496 234 0 139093 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 561564
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/81 3390
/proc/meminfo: memFree=1162888/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=561564 CPUtime=161.49
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 118548 0 0 0 16097 52 0 0 25 0 1 0 1992817312 575041536 117593 996147200 134512640 135472138 4294956224 18446744073709551615 134578193 0 0 4096 0 0 0 0 17 1 0 0
/proc/3389/statm: 140391 117593 496 234 0 139093 0
Current children cumulated CPU time (s) 161.49
Current children cumulated vsize (KiB) 561564
[startup+222.307 s]
/proc/loadavg: 1.99 2.00 2.00 3/81 3390
/proc/meminfo: memFree=1162696/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=561564 CPUtime=221.19
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 118575 0 0 0 22067 52 0 0 25 0 1 0 1992817312 575041536 117620 996147200 134512640 135472138 4294956224 18446744073709551615 134672493 0 0 4096 0 0 0 0 17 1 0 0
/proc/3389/statm: 140391 117620 496 234 0 139093 0
Current children cumulated CPU time (s) 221.19
Current children cumulated vsize (KiB) 561564
[startup+282.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/81 3390
/proc/meminfo: memFree=1162696/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=561564 CPUtime=280.9
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 118577 0 0 0 28038 52 0 0 25 0 1 0 1992817312 575041536 117622 996147200 134512640 135472138 4294956224 18446744073709551615 134578081 0 0 4096 0 0 0 0 17 1 0 0
/proc/3389/statm: 140391 117622 496 234 0 139093 0
Current children cumulated CPU time (s) 280.9
Current children cumulated vsize (KiB) 561564
[startup+342.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/81 3390
/proc/meminfo: memFree=1162632/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=561564 CPUtime=340.6
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 118577 0 0 0 34008 52 0 0 25 0 1 0 1992817312 575041536 117622 996147200 134512640 135472138 4294956224 18446744073709551615 134578193 0 0 4096 0 0 0 0 17 1 0 0
/proc/3389/statm: 140391 117622 496 234 0 139093 0
Current children cumulated CPU time (s) 340.6
Current children cumulated vsize (KiB) 561564
[startup+402.303 s]
/proc/loadavg: 1.99 2.00 2.00 3/81 3390
/proc/meminfo: memFree=1162568/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=561564 CPUtime=400.31
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 118577 0 0 0 39979 52 0 0 25 0 1 0 1992817312 575041536 117622 996147200 134512640 135472138 4294956224 18446744073709551615 134578209 0 0 4096 0 0 0 0 17 1 0 0
/proc/3389/statm: 140391 117622 496 234 0 139093 0
Current children cumulated CPU time (s) 400.31
Current children cumulated vsize (KiB) 561564
[startup+462.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/81 3390
/proc/meminfo: memFree=1162504/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=561564 CPUtime=460.02
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 118577 0 0 0 45950 52 0 0 25 0 1 0 1992817312 575041536 117622 996147200 134512640 135472138 4294956224 18446744073709551615 134936308 0 0 4096 0 0 0 0 17 1 0 0
/proc/3389/statm: 140391 117622 496 234 0 139093 0
Current children cumulated CPU time (s) 460.02
Current children cumulated vsize (KiB) 561564
[startup+522.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/81 3390
/proc/meminfo: memFree=1162504/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=561564 CPUtime=519.72
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 118577 0 0 0 51920 52 0 0 25 0 1 0 1992817312 575041536 117622 996147200 134512640 135472138 4294956224 18446744073709551615 134578209 0 0 4096 0 0 0 0 17 1 0 0
/proc/3389/statm: 140391 117622 496 234 0 139093 0
Current children cumulated CPU time (s) 519.72
Current children cumulated vsize (KiB) 561564
[startup+582.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/81 3390
/proc/meminfo: memFree=1162440/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=561564 CPUtime=579.43
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 118604 0 0 0 57891 52 0 0 25 0 1 0 1992817312 575041536 117649 996147200 134512640 135472138 4294956224 18446744073709551615 134580305 0 0 4096 0 0 0 0 17 1 0 0
/proc/3389/statm: 140391 117649 496 234 0 139093 0
Current children cumulated CPU time (s) 579.43
Current children cumulated vsize (KiB) 561564
[startup+642.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/81 3390
/proc/meminfo: memFree=1162440/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=561564 CPUtime=639.13
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 118604 0 0 0 63861 52 0 0 25 0 1 0 1992817312 575041536 117649 996147200 134512640 135472138 4294956224 18446744073709551615 134580908 0 0 4096 0 0 0 0 17 1 0 0
/proc/3389/statm: 140391 117649 496 234 0 139093 0
Current children cumulated CPU time (s) 639.13
Current children cumulated vsize (KiB) 561564
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 1.99 2.00 2.00 3/81 3392
/proc/meminfo: memFree=1162184/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=561564 CPUtime=877.96
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 118605 0 0 0 87744 52 0 0 25 0 1 0 1992817312 575041536 117650 996147200 134512640 135472138 4294956224 18446744073709551615 134672493 0 0 4096 0 0 0 0 17 1 0 0
/proc/3389/statm: 140391 117650 496 234 0 139093 0
Current children cumulated CPU time (s) 877.96
Current children cumulated vsize (KiB) 561564
[startup+942.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/81 3392
/proc/meminfo: memFree=1162120/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=561564 CPUtime=937.67
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 118605 0 0 0 93715 52 0 0 25 0 1 0 1992817312 575041536 117650 996147200 134512640 135472138 4294956224 18446744073709551615 135202746 0 0 4096 0 0 0 0 17 1 0 0
/proc/3389/statm: 140391 117650 496 234 0 139093 0
Current children cumulated CPU time (s) 937.67
Current children cumulated vsize (KiB) 561564
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 3434
/proc/meminfo: memFree=494304/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=561564 CPUtime=997.37
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 118605 0 0 0 99684 53 0 0 25 0 1 0 1992817312 575041536 117650 996147200 134512640 135472138 4294956224 18446744073709551615 134578208 0 0 4096 0 0 0 0 17 1 0 0
/proc/3389/statm: 140391 117650 496 234 0 139093 0
Current children cumulated CPU time (s) 997.37
Current children cumulated vsize (KiB) 561564
[startup+1062.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/82 3435
/proc/meminfo: memFree=493984/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=561564 CPUtime=1057.08
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 118605 0 0 0 105655 53 0 0 25 0 1 0 1992817312 575041536 117650 996147200 134512640 135472138 4294956224 18446744073709551615 134672481 0 0 4096 0 0 0 0 17 1 0 0
/proc/3389/statm: 140391 117650 496 234 0 139093 0
Current children cumulated CPU time (s) 1057.08
Current children cumulated vsize (KiB) 561564
[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/82 3435
/proc/meminfo: memFree=493664/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=561564 CPUtime=1116.78
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 118605 0 0 0 111625 53 0 0 25 0 1 0 1992817312 575041536 117650 996147200 134512640 135472138 4294956224 18446744073709551615 134578089 0 0 4096 0 0 0 0 17 1 0 0
/proc/3389/statm: 140391 117650 496 234 0 139093 0
Current children cumulated CPU time (s) 1116.78
Current children cumulated vsize (KiB) 561564
[startup+1182.3 s]
/proc/loadavg: 2.30 2.10 2.02 3/83 3508
/proc/meminfo: memFree=492856/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=561564 CPUtime=1176.52
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 118605 0 0 0 117595 57 0 0 25 0 1 0 1992817312 575041536 117650 996147200 134512640 135472138 4294956224 18446744073709551615 134578192 0 0 4096 0 0 0 0 17 0 0 0
/proc/3389/statm: 140391 117650 496 234 0 139093 0
Current children cumulated CPU time (s) 1176.52
Current children cumulated vsize (KiB) 561564
[startup+1242.3 s]
/proc/loadavg: 2.11 2.08 2.02 3/82 3509
/proc/meminfo: memFree=492272/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=561564 CPUtime=1236.26
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 118632 0 0 0 123569 57 0 0 25 0 1 0 1992817312 575041536 117677 996147200 134512640 135472138 4294956224 18446744073709551615 134672493 0 0 4096 0 0 0 0 17 0 0 0
/proc/3389/statm: 140391 117677 496 234 0 139093 0
Current children cumulated CPU time (s) 1236.26
Current children cumulated vsize (KiB) 561564
[startup+1302.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/82 3509
/proc/meminfo: memFree=492080/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=561564 CPUtime=1296.02
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 118632 0 0 0 129545 57 0 0 25 0 1 0 1992817312 575041536 117677 996147200 134512640 135472138 4294956224 18446744073709551615 134672509 0 0 4096 0 0 0 0 17 0 0 0
/proc/3389/statm: 140391 117677 496 234 0 139093 0
Current children cumulated CPU time (s) 1296.02
Current children cumulated vsize (KiB) 561564
[startup+1362.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/82 3509
/proc/meminfo: memFree=492080/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=561564 CPUtime=1355.77
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 118632 0 0 0 135520 57 0 0 25 0 1 0 1992817312 575041536 117677 996147200 134512640 135472138 4294956224 18446744073709551615 134580304 0 0 4096 0 0 0 0 17 0 0 0
/proc/3389/statm: 140391 117677 496 234 0 139093 0
Current children cumulated CPU time (s) 1355.77
Current children cumulated vsize (KiB) 561564
[startup+1422.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/82 3509
/proc/meminfo: memFree=492080/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=561564 CPUtime=1415.53
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 118632 0 0 0 141496 57 0 0 25 0 1 0 1992817312 575041536 117677 996147200 134512640 135472138 4294956224 18446744073709551615 134580913 0 0 4096 0 0 0 0 17 0 0 0
/proc/3389/statm: 140391 117677 496 234 0 139093 0
Current children cumulated CPU time (s) 1415.53
Current children cumulated vsize (KiB) 561564
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 3509
/proc/meminfo: memFree=492080/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=561564 CPUtime=1475.28
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 118632 0 0 0 147471 57 0 0 25 0 1 0 1992817312 575041536 117677 996147200 134512640 135472138 4294956224 18446744073709551615 134580880 0 0 4096 0 0 0 0 17 0 0 0
/proc/3389/statm: 140391 117677 496 234 0 139093 0
Current children cumulated CPU time (s) 1475.28
Current children cumulated vsize (KiB) 561564
[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 3509
/proc/meminfo: memFree=492016/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=561564 CPUtime=1535.04
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 118633 0 0 0 153447 57 0 0 25 0 1 0 1992817312 575041536 117678 996147200 134512640 135472138 4294956224 18446744073709551615 134578209 0 0 4096 0 0 0 0 17 0 0 0
/proc/3389/statm: 140391 117678 496 234 0 139093 0
Current children cumulated CPU time (s) 1535.04
Current children cumulated vsize (KiB) 561564
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 3509
/proc/meminfo: memFree=492016/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=561564 CPUtime=1594.78
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 118633 0 0 0 159421 57 0 0 25 0 1 0 1992817312 575041536 117678 996147200 134512640 135472138 4294956224 18446744073709551615 134580908 0 0 4096 0 0 0 0 17 0 0 0
/proc/3389/statm: 140391 117678 496 234 0 139093 0
Current children cumulated CPU time (s) 1594.78
Current children cumulated vsize (KiB) 561564
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 3509
/proc/meminfo: memFree=491952/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=561564 CPUtime=1654.54
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 118633 0 0 0 165397 57 0 0 25 0 1 0 1992817312 575041536 117678 996147200 134512640 135472138 4294956224 18446744073709551615 134578218 0 0 4096 0 0 0 0 17 0 0 0
/proc/3389/statm: 140391 117678 496 234 0 139093 0
Current children cumulated CPU time (s) 1654.54
Current children cumulated vsize (KiB) 561564
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 3509
/proc/meminfo: memFree=491952/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=561564 CPUtime=1714.29
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 118633 0 0 0 171372 57 0 0 25 0 1 0 1992817312 575041536 117678 996147200 134512640 135472138 4294956224 18446744073709551615 134580906 0 0 4096 0 0 0 0 17 0 0 0
/proc/3389/statm: 140391 117678 496 234 0 139093 0
Current children cumulated CPU time (s) 1714.29
Current children cumulated vsize (KiB) 561564
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 3509
/proc/meminfo: memFree=491952/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=561564 CPUtime=1774.04
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 118633 0 0 0 177347 57 0 0 25 0 1 0 1992817312 575041536 117678 996147200 134512640 135472138 4294956224 18446744073709551615 134580900 0 0 4096 0 0 0 0 17 0 0 0
/proc/3389/statm: 140391 117678 496 234 0 139093 0
Current children cumulated CPU time (s) 1774.04
Current children cumulated vsize (KiB) 561564
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 3509
/proc/meminfo: memFree=491824/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=561564 CPUtime=1800.04
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 118633 0 0 0 179947 57 0 0 25 0 1 0 1992817312 575041536 117678 996147200 134512640 135472138 4294956224 18446744073709551615 134936113 0 0 4096 0 0 0 0 17 0 0 0
/proc/3389/statm: 140391 117678 496 234 0 139093 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 561564
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1808.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 3509
/proc/meminfo: memFree=491824/2055920 swapFree=4180500/4192956
[pid=3389] ppid=3387 vsize=561564 CPUtime=1800.04
/proc/3389/stat : 3389 (casperzito) R 3387 3389 1161 0 -1 4194304 118633 0 0 0 179947 57 0 0 25 0 1 0 1992817312 575041536 117678 996147200 134512640 135472138 4294956224 18446744073709551615 134936113 0 0 4096 0 0 0 0 17 0 0 0
/proc/3389/statm: 140391 117678 496 234 0 139093 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 561564
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.48
CPU time (s): 1800.12
CPU user time (s): 1799.48
CPU system time (s): 0.646901
CPU usage (%): 99.5377
Max. virtual memory (cumulated for all children) (KiB): 566320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 0.646901
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118633
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= 15
involuntary context switches= 43426
runsolver used 1.59476 second user time and 4.99624 second system time
The end
Begin job on node59 at 2008-07-04 04:27:39
IDJOB=1063674
IDBENCH=54827
IDSOLVER=362
FILE ID=node59/1063674-1215138459
PBS_JOBID= 7877212
Free space on /tmp= 66552 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/pseudo/mpsReduced/normalized-mps-red-vtp-base.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1063674-1215138459/watcher-1063674-1215138459 -o /tmp/evaluation-result-1063674-1215138459/solver-1063674-1215138459 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1063674-1215138459.xml 965708175
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 7a5829c10442f057a00aad0acec30b89
RANDOM SEED=965708175
node59.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.261
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.261
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: 1634288 kB
Buffers: 45896 kB
Cached: 206668 kB
SwapCached: 6448 kB
Active: 181844 kB
Inactive: 172472 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1634288 kB
SwapTotal: 4192956 kB
SwapFree: 4180500 kB
Dirty: 3928 kB
Writeback: 0 kB
Mapped: 115332 kB
Slab: 52192 kB
Committed_AS: 4773164 kB
PageTables: 2064 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= 66552 MiB
End job on node59 at 2008-07-04 04:57:50