0.18/0.20 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.18/0.20 c Parsing = 1
3.68/3.77 c Building = 1
3.79/3.90 c [ NumberOfVariables = 4890 ]
3.79/3.90 c [ NumberOfConstraints = 419 ]
3.79/3.90 c [ SizeOfSearchSpace(log2) = 4890 ]
3.79/3.90 c SymmetrySearch = (Timeout)
14.08/14.18 c [ Proceeding without symmetry breaking ]
14.19/14.22 c InitialPropagation = 1
15.08/15.13 c [ SizeOfSearchSpace(log2) = 4162 ]
15.08/15.13 c InitialSAC = (Timeout)
18.88/18.94 c [ SizeOfSearchSpace(log2) = 4162 ]
18.88/18.94 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-1063548-1215137822/watcher-1063548-1215137822 -o /tmp/evaluation-result-1063548-1215137822/solver-1063548-1215137822 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1063548-1215137822.xml 1283049873
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.99 2.24 3/81 9200
/proc/meminfo: memFree=1770568/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=2200 CPUtime=0
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 45 0 0 0 0 0 0 0 20 0 1 0 669509883 2252800 30 996147200 134512640 135472138 4294956224 18446744073709551615 11919659 0 0 4096 0 0 0 0 17 0 0 0
/proc/9200/statm: 550 30 22 234 0 4 0
[startup+0.109339 s]
/proc/loadavg: 1.92 1.99 2.24 3/81 9200
/proc/meminfo: memFree=1770568/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=11708 CPUtime=0.1
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 2027 0 0 0 9 1 0 0 18 0 1 0 669509883 11988992 1987 996147200 134512640 135472138 4294956224 18446744073709551615 12355195 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 2927 1988 368 234 0 1629 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11708
[startup+0.201344 s]
/proc/loadavg: 1.92 1.99 2.24 3/81 9200
/proc/meminfo: memFree=1770568/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=19656 CPUtime=0.18
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 3993 0 0 0 17 1 0 0 18 0 1 0 669509883 20127744 3953 996147200 134512640 135472138 4294956224 18446744073709551615 12355195 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 4914 3954 368 234 0 3616 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 19656
[startup+0.301354 s]
/proc/loadavg: 1.92 1.99 2.24 3/81 9200
/proc/meminfo: memFree=1770568/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=28264 CPUtime=0.29
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 6175 0 0 0 26 3 0 0 19 0 1 0 669509883 28942336 6135 996147200 134512640 135472138 4294956224 18446744073709551615 12355195 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 7066 6136 368 234 0 5768 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28264
[startup+0.701393 s]
/proc/loadavg: 1.92 1.99 2.24 3/81 9200
/proc/meminfo: memFree=1770568/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=64924 CPUtime=0.68
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 15342 0 0 0 61 7 0 0 22 0 1 0 669509883 66482176 15302 996147200 134512640 135472138 4294956224 18446744073709551615 12355195 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 16231 15303 368 234 0 14933 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 64924
[startup+1.50147 s]
/proc/loadavg: 1.92 1.99 2.24 3/82 9201
/proc/meminfo: memFree=1674304/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=139284 CPUtime=1.48
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 33921 0 0 0 133 15 0 0 25 0 1 0 669509883 142626816 33881 996147200 134512640 135472138 4294956224 18446744073709551615 12355195 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 34821 33881 368 234 0 33523 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 139284
[startup+3.10163 s]
/proc/loadavg: 1.93 1.99 2.24 3/82 9201
/proc/meminfo: memFree=1524032/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=288304 CPUtime=3.09
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 71200 0 0 0 276 33 0 0 25 0 1 0 669509883 295223296 71160 996147200 134512640 135472138 4294956224 18446744073709551615 134730629 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 72076 71161 368 234 0 70778 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 288304
[startup+6.30195 s]
/proc/loadavg: 1.93 1.99 2.24 3/82 9201
/proc/meminfo: memFree=1438592/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=423824 CPUtime=6.28
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 83273 0 0 0 591 37 0 0 25 0 1 0 669509883 433995776 83214 996147200 134512640 135472138 4294956224 18446744073709551615 134529557 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 105956 83214 449 234 0 104658 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 423824
[startup+12.7066 s]
/proc/loadavg: 1.93 1.99 2.24 3/82 9201
/proc/meminfo: memFree=1438272/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=424088 CPUtime=12.68
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 83358 0 0 0 1231 37 0 0 25 0 1 0 669509883 434266112 83299 996147200 134512640 135472138 4294956224 18446744073709551615 134535450 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 106022 83299 449 234 0 104724 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 424088
[startup+25.5019 s]
/proc/loadavg: 1.95 1.99 2.23 3/82 9201
/proc/meminfo: memFree=1443144/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=416844 CPUtime=25.48
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 83516 0 1 0 2510 38 0 0 25 0 1 0 669509883 426848256 82065 996147200 134512640 135472138 4294956224 18446744073709551615 134936169 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 104211 82065 488 234 0 102913 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 416844
[startup+51.1014 s]
/proc/loadavg: 1.96 1.99 2.23 3/82 9201
/proc/meminfo: memFree=1442888/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=416844 CPUtime=51.08
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 83581 0 1 0 5070 38 0 0 25 0 1 0 669509883 426848256 82130 996147200 134512640 135472138 4294956224 18446744073709551615 134580908 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 104211 82130 496 234 0 102913 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 416844
[startup+102.301 s]
/proc/loadavg: 1.98 1.99 2.21 3/82 9201
/proc/meminfo: memFree=1442696/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=416844 CPUtime=102.26
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 83634 0 1 0 10188 38 0 0 25 0 1 0 669509883 426848256 82183 996147200 134512640 135472138 4294956224 18446744073709551615 134866721 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 104211 82183 496 234 0 102913 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 416844
[startup+162.305 s]
/proc/loadavg: 1.99 1.99 2.19 3/82 9201
/proc/meminfo: memFree=1442376/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=416844 CPUtime=162.24
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 83695 0 1 0 16186 38 0 0 25 0 1 0 669509883 426848256 82244 996147200 134512640 135472138 4294956224 18446744073709551615 134577980 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 104211 82244 496 234 0 102913 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 416844
[startup+222.301 s]
/proc/loadavg: 1.99 1.99 2.18 3/82 9201
/proc/meminfo: memFree=1442312/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=416844 CPUtime=222.22
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 83705 0 1 0 22184 38 0 0 25 0 1 0 669509883 426848256 82254 996147200 134512640 135472138 4294956224 18446744073709551615 134936145 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 104211 82254 496 234 0 102913 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 416844
[startup+282.301 s]
/proc/loadavg: 1.99 1.99 2.17 3/82 9201
/proc/meminfo: memFree=1442248/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=416844 CPUtime=282.21
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 83705 0 1 0 28183 38 0 0 25 0 1 0 669509883 426848256 82254 996147200 134512640 135472138 4294956224 18446744073709551615 135202757 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 104211 82254 496 234 0 102913 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 416844
[startup+342.301 s]
/proc/loadavg: 2.07 2.01 2.16 3/82 9201
/proc/meminfo: memFree=1441800/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=416844 CPUtime=342.19
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 83809 0 1 0 34181 38 0 0 25 0 1 0 669509883 426848256 82358 996147200 134512640 135472138 4294956224 18446744073709551615 134672480 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 104211 82358 496 234 0 102913 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 416844
[startup+402.301 s]
/proc/loadavg: 2.03 2.00 2.15 3/82 9201
/proc/meminfo: memFree=1441736/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=416844 CPUtime=402.17
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 83819 0 1 0 40179 38 0 0 25 0 1 0 669509883 426848256 82368 996147200 134512640 135472138 4294956224 18446744073709551615 134578080 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 104211 82368 496 234 0 102913 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 416844
[startup+462.301 s]
/proc/loadavg: 2.16 2.03 2.15 3/82 9266
/proc/meminfo: memFree=1433728/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=416844 CPUtime=461.88
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 83819 0 1 0 46149 39 0 0 25 0 1 0 669509883 426848256 82368 996147200 134512640 135472138 4294956224 18446744073709551615 134578209 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 104211 82368 496 234 0 102913 0
Current children cumulated CPU time (s) 461.88
Current children cumulated vsize (KiB) 416844
[startup+522.301 s]
/proc/loadavg: 2.06 2.02 2.14 3/82 9266
/proc/meminfo: memFree=1382016/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=416844 CPUtime=521.58
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 83900 0 1 0 52119 39 0 0 25 0 1 0 669509883 426848256 82449 996147200 134512640 135472138 4294956224 18446744073709551615 134578080 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 104211 82449 496 234 0 102913 0
Current children cumulated CPU time (s) 521.58
Current children cumulated vsize (KiB) 416844
[startup+582.302 s]
/proc/loadavg: 2.80 2.20 2.18 2/74 9294
/proc/meminfo: memFree=198592/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=416844 CPUtime=581.42
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 83928 0 1 0 58102 40 0 0 25 0 1 0 669509883 426848256 82477 996147200 134512640 135472138 4294956224 18446744073709551615 134578081 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 104211 82477 496 234 0 102913 0
Current children cumulated CPU time (s) 581.42
Current children cumulated vsize (KiB) 416844
[startup+642.302 s]
/proc/loadavg: 4.35 2.79 2.39 2/74 9296
/proc/meminfo: memFree=15048/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=416844 CPUtime=641.41
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 83928 0 1 0 64096 45 0 0 25 0 1 0 669509883 426848256 82477 996147200 134512640 135472138 4294956224 18446744073709551615 134672509 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 104211 82477 496 234 0 102913 0
Current children cumulated CPU time (s) 641.41
Current children cumulated vsize (KiB) 416844
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 3.08 3.45 2.78 3/84 9371
/proc/meminfo: memFree=804608/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=416844 CPUtime=880.98
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 83928 0 1 0 88038 60 0 0 25 0 1 0 669509883 426848256 82477 996147200 134512640 135472138 4294956224 18446744073709551615 134580908 0 0 4096 0 0 0 0 17 0 0 0
/proc/9200/statm: 104211 82477 496 234 0 102913 0
Current children cumulated CPU time (s) 880.98
Current children cumulated vsize (KiB) 416844
[startup+942.307 s]
/proc/loadavg: 2.40 3.18 2.73 3/84 9372
/proc/meminfo: memFree=803896/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=416844 CPUtime=940.7
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 83928 0 1 0 94010 60 0 0 25 0 1 0 669509883 426848256 82477 996147200 134512640 135472138 4294956224 18446744073709551615 134672481 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 104211 82477 496 234 0 102913 0
Current children cumulated CPU time (s) 940.7
Current children cumulated vsize (KiB) 416844
[startup+1002.3 s]
/proc/loadavg: 2.29 3.01 2.70 3/86 9419
/proc/meminfo: memFree=1479408/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=416844 CPUtime=1000.52
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 83928 0 1 0 99990 62 0 0 25 0 1 0 669509883 426848256 82477 996147200 134512640 135472138 4294956224 18446744073709551615 134580908 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 104211 82477 496 234 0 102913 0
Current children cumulated CPU time (s) 1000.52
Current children cumulated vsize (KiB) 416844
[startup+1062.3 s]
/proc/loadavg: 2.11 2.82 2.65 3/86 9419
/proc/meminfo: memFree=1479664/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=416844 CPUtime=1060.5
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 83928 0 1 0 105988 62 0 0 25 0 1 0 669509883 426848256 82477 996147200 134512640 135472138 4294956224 18446744073709551615 135202774 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 104211 82477 496 234 0 102913 0
Current children cumulated CPU time (s) 1060.5
Current children cumulated vsize (KiB) 416844
[startup+1122.3 s]
/proc/loadavg: 2.04 2.67 2.61 3/86 9419
/proc/meminfo: memFree=1479536/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=416844 CPUtime=1120.49
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 83928 0 1 0 111987 62 0 0 25 0 1 0 669509883 426848256 82477 996147200 134512640 135472138 4294956224 18446744073709551615 134578081 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 104211 82477 496 234 0 102913 0
Current children cumulated CPU time (s) 1120.49
Current children cumulated vsize (KiB) 416844
[startup+1182.3 s]
/proc/loadavg: 2.01 2.55 2.57 3/86 9419
/proc/meminfo: memFree=1479536/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=416844 CPUtime=1180.47
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 83928 0 1 0 117985 62 0 0 25 0 1 0 669509883 426848256 82477 996147200 134512640 135472138 4294956224 18446744073709551615 134580880 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 104211 82477 496 234 0 102913 0
Current children cumulated CPU time (s) 1180.47
Current children cumulated vsize (KiB) 416844
[startup+1242.3 s]
/proc/loadavg: 2.00 2.44 2.53 3/86 9419
/proc/meminfo: memFree=1479536/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=416844 CPUtime=1240.45
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 83928 0 1 0 123983 62 0 0 25 0 1 0 669509883 426848256 82477 996147200 134512640 135472138 4294956224 18446744073709551615 134580305 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 104211 82477 496 234 0 102913 0
Current children cumulated CPU time (s) 1240.45
Current children cumulated vsize (KiB) 416844
[startup+1302.3 s]
/proc/loadavg: 2.13 2.39 2.50 3/86 9419
/proc/meminfo: memFree=1479408/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=416844 CPUtime=1300.44
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 83928 0 1 0 129982 62 0 0 25 0 1 0 669509883 426848256 82477 996147200 134512640 135472138 4294956224 18446744073709551615 134936183 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 104211 82477 496 234 0 102913 0
Current children cumulated CPU time (s) 1300.44
Current children cumulated vsize (KiB) 416844
[startup+1362.3 s]
/proc/loadavg: 2.11 2.33 2.47 3/86 9419
/proc/meminfo: memFree=1479408/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=416844 CPUtime=1360.42
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 83928 0 1 0 135980 62 0 0 25 0 1 0 669509883 426848256 82477 996147200 134512640 135472138 4294956224 18446744073709551615 134672481 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 104211 82477 496 234 0 102913 0
Current children cumulated CPU time (s) 1360.42
Current children cumulated vsize (KiB) 416844
[startup+1422.3 s]
/proc/loadavg: 2.10 2.29 2.45 3/86 9419
/proc/meminfo: memFree=1479408/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=416844 CPUtime=1420.4
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 83928 0 1 0 141978 62 0 0 25 0 1 0 669509883 426848256 82477 996147200 134512640 135472138 4294956224 18446744073709551615 134578209 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 104211 82477 496 234 0 102913 0
Current children cumulated CPU time (s) 1420.4
Current children cumulated vsize (KiB) 416844
[startup+1482.3 s]
/proc/loadavg: 2.17 2.26 2.43 3/86 9419
/proc/meminfo: memFree=1479408/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=416844 CPUtime=1480.39
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 83928 0 1 0 147977 62 0 0 25 0 1 0 669509883 426848256 82477 996147200 134512640 135472138 4294956224 18446744073709551615 134936177 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 104211 82477 496 234 0 102913 0
Current children cumulated CPU time (s) 1480.39
Current children cumulated vsize (KiB) 416844
[startup+1542.3 s]
/proc/loadavg: 2.15 2.24 2.41 3/86 9419
/proc/meminfo: memFree=1479408/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=416844 CPUtime=1540.37
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 83928 0 1 0 153975 62 0 0 25 0 1 0 669509883 426848256 82477 996147200 134512640 135472138 4294956224 18446744073709551615 134578208 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 104211 82477 496 234 0 102913 0
Current children cumulated CPU time (s) 1540.37
Current children cumulated vsize (KiB) 416844
[startup+1602.31 s]
/proc/loadavg: 2.05 2.20 2.38 3/86 9419
/proc/meminfo: memFree=1479408/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=416844 CPUtime=1600.36
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 83928 0 1 0 159974 62 0 0 25 0 1 0 669509883 426848256 82477 996147200 134512640 135472138 4294956224 18446744073709551615 134580313 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 104211 82477 496 234 0 102913 0
Current children cumulated CPU time (s) 1600.36
Current children cumulated vsize (KiB) 416844
[startup+1662.3 s]
/proc/loadavg: 2.02 2.16 2.35 3/86 9419
/proc/meminfo: memFree=1479280/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=416844 CPUtime=1660.34
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 83928 0 1 0 165972 62 0 0 25 0 1 0 669509883 426848256 82477 996147200 134512640 135472138 4294956224 18446744073709551615 134580908 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 104211 82477 496 234 0 102913 0
Current children cumulated CPU time (s) 1660.34
Current children cumulated vsize (KiB) 416844
[startup+1722.3 s]
/proc/loadavg: 2.00 2.13 2.33 3/86 9419
/proc/meminfo: memFree=1479216/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=416844 CPUtime=1720.32
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 83928 0 1 0 171970 62 0 0 25 0 1 0 669509883 426848256 82477 996147200 134512640 135472138 4294956224 18446744073709551615 134580900 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 104211 82477 496 234 0 102913 0
Current children cumulated CPU time (s) 1720.32
Current children cumulated vsize (KiB) 416844
[startup+1782.3 s]
/proc/loadavg: 2.00 2.10 2.31 3/86 9419
/proc/meminfo: memFree=1479152/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=416844 CPUtime=1780.3
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 83928 0 1 0 177968 62 0 0 25 0 1 0 669509883 426848256 82477 996147200 134512640 135472138 4294956224 18446744073709551615 134580908 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 104211 82477 496 234 0 102913 0
Current children cumulated CPU time (s) 1780.3
Current children cumulated vsize (KiB) 416844
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802 s]
/proc/loadavg: 2.00 2.09 2.30 3/86 9419
/proc/meminfo: memFree=1479152/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=416844 CPUtime=1800
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 83928 0 1 0 179938 62 0 0 25 0 1 0 669509883 426848256 82477 996147200 134512640 135472138 4294956224 18446744073709551615 134936308 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 104211 82477 496 234 0 102913 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 416844
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1802 s]
/proc/loadavg: 2.00 2.09 2.30 3/86 9419
/proc/meminfo: memFree=1479152/2055920 swapFree=4179808/4192956
[pid=9200] ppid=9198 vsize=416844 CPUtime=1800
/proc/9200/stat : 9200 (casperzito) R 9198 9200 6847 0 -1 4194304 83928 0 1 0 179938 62 0 0 25 0 1 0 669509883 426848256 82477 996147200 134512640 135472138 4294956224 18446744073709551615 134936308 0 0 4096 0 0 0 0 17 1 0 0
/proc/9200/statm: 104211 82477 496 234 0 102913 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 416844
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1802.06
CPU time (s): 1800.07
CPU user time (s): 1799.39
CPU system time (s): 0.679896
CPU usage (%): 99.8897
Max. virtual memory (cumulated for all children) (KiB): 424088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 0.679896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83928
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17
involuntary context switches= 9553
runsolver used 1.73974 second user time and 4.66829 second system time
The end
Begin job on node89 at 2008-07-04 04:17:03
IDJOB=1063548
IDBENCH=54767
IDSOLVER=362
FILE ID=node89/1063548-1215137822
PBS_JOBID= 7877239
Free space on /tmp= 66556 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/pseudo/mpsReduced/normalized-mps-red-agg.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1063548-1215137822/watcher-1063548-1215137822 -o /tmp/evaluation-result-1063548-1215137822/solver-1063548-1215137822 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1063548-1215137822.xml 1283049873
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 6e0d40fc33e849e9f83ca805655c3554
RANDOM SEED=1283049873
node89.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.213
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.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1771048 kB
Buffers: 9364 kB
Cached: 118532 kB
SwapCached: 7288 kB
Active: 169228 kB
Inactive: 63996 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1771048 kB
SwapTotal: 4192956 kB
SwapFree: 4179808 kB
Dirty: 4608 kB
Writeback: 0 kB
Mapped: 121464 kB
Slab: 36796 kB
Committed_AS: 2622212 kB
PageTables: 1952 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= 66532 MiB
End job on node89 at 2008-07-04 04:47:07