0.00/0.02 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.00/0.02 c Parsing = 1
4.34/4.47 c Building = 1
5.92/6.00 c [ NumberOfVariables = 25800 ]
5.92/6.00 c [ NumberOfConstraints = 76699 ]
5.92/6.01 c [ SizeOfSearchSpace(log2) = 25800 ]
5.92/6.01 c SymmetrySearch = 1
103.01/104.07 c InitialPropagation = 1
103.40/104.47 c [ SizeOfSearchSpace(log2) = 25744 ]
103.40/104.47 c InitialSAC = (Timeout)
107.76/108.88 c [ SizeOfSearchSpace(log2) = 25702 ]
107.76/108.90 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-1070769-1215166988/watcher-1070769-1215166988 -o /tmp/evaluation-result-1070769-1215166988/solver-1070769-1215166988 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1070769-1215166988.xml 969735791
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.11 2.03 2.01 4/84 693
/proc/meminfo: memFree=1750552/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=18572 CPUtime=0
/proc/693/stat : 693 (runsolver) R 691 693 32250 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1995668601 19017728 292 996147200 4194304 4296836 548682068464 18446744073709551615 227607637287 0 0 4096 24578 0 0 0 17 1 0 0
/proc/693/statm: 4643 292 257 25 0 2626 0
[startup+0.132429 s]
/proc/loadavg: 2.11 2.03 2.01 4/84 693
/proc/meminfo: memFree=1750552/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=7152 CPUtime=0.12
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 883 0 0 0 12 0 0 0 19 0 1 0 1995668601 7323648 843 996147200 134512640 135472138 4294956224 18446744073709551615 10306513 0 0 4096 0 0 0 0 17 1 0 0
/proc/693/statm: 1788 843 362 234 0 490 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 7152
[startup+0.201439 s]
/proc/loadavg: 2.11 2.03 2.01 4/84 693
/proc/meminfo: memFree=1750552/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=8376 CPUtime=0.18
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 1199 0 0 0 18 0 0 0 19 0 1 0 1995668601 8577024 1159 996147200 134512640 135472138 4294956224 18446744073709551615 10273196 0 0 4096 0 0 0 0 17 1 0 0
/proc/693/statm: 2094 1159 368 234 0 796 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 8376
[startup+0.301456 s]
/proc/loadavg: 2.11 2.03 2.01 4/84 693
/proc/meminfo: memFree=1750552/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=9828 CPUtime=0.28
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 1562 0 0 0 28 0 0 0 20 0 1 0 1995668601 10063872 1522 996147200 134512640 135472138 4294956224 18446744073709551615 10274427 0 0 4096 0 0 0 0 17 1 0 0
/proc/693/statm: 2457 1522 368 234 0 1159 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9828
[startup+0.701498 s]
/proc/loadavg: 2.11 2.03 2.01 4/84 693
/proc/meminfo: memFree=1750552/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=15504 CPUtime=0.69
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 2981 0 0 0 68 1 0 0 23 0 1 0 1995668601 15876096 2941 996147200 134512640 135472138 4294956224 18446744073709551615 134749049 0 0 4096 0 0 0 0 17 1 0 0
/proc/693/statm: 3876 2941 368 234 0 2578 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15504
[startup+1.50159 s]
/proc/loadavg: 2.11 2.03 2.01 3/85 694
/proc/meminfo: memFree=1734416/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=26592 CPUtime=1.48
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 5767 0 0 0 145 3 0 0 25 0 1 0 1995668601 27230208 5727 996147200 134512640 135472138 4294956224 18446744073709551615 134781180 0 0 4096 0 0 0 0 17 1 0 0
/proc/693/statm: 6648 5727 368 234 0 5350 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 26592
[startup+3.10178 s]
/proc/loadavg: 2.11 2.03 2.01 3/85 694
/proc/meminfo: memFree=1719184/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=48504 CPUtime=3.06
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 11247 0 0 0 301 5 0 0 25 0 1 0 1995668601 49668096 11207 996147200 134512640 135472138 4294956224 18446744073709551615 134754996 0 0 4096 0 0 0 0 17 1 0 0
/proc/693/statm: 12126 11207 368 234 0 10828 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 48504
[startup+6.30217 s]
/proc/loadavg: 2.27 2.07 2.02 3/85 694
/proc/meminfo: memFree=1582672/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=412872 CPUtime=6.23
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 59534 0 0 0 595 28 0 0 25 0 1 0 1995668601 422780928 59494 996147200 134512640 135472138 4294956224 18446744073709551615 10272493 0 0 4096 0 0 0 0 17 1 0 0
/proc/693/statm: 103218 59494 461 234 0 101920 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 412872
[startup+12.7019 s]
/proc/loadavg: 2.24 2.06 2.02 3/85 694
/proc/meminfo: memFree=1474128/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=490268 CPUtime=12.56
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 69837 0 0 0 1225 31 0 0 25 0 1 0 1995668601 502034432 69431 996147200 134512640 135472138 4294956224 18446744073709551615 134534276 0 0 4096 0 0 0 0 17 1 0 0
/proc/693/statm: 122567 69431 467 234 0 121269 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 490268
[startup+25.5014 s]
/proc/loadavg: 2.19 2.06 2.01 3/85 694
/proc/meminfo: memFree=1473040/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=490268 CPUtime=25.23
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 70117 0 0 0 2492 31 0 0 25 0 1 0 1995668601 502034432 69693 996147200 134512640 135472138 4294956224 18446744073709551615 134534355 0 0 4096 0 0 0 0 17 1 0 0
/proc/693/statm: 122567 69693 467 234 0 121269 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 490268
[startup+51.1015 s]
/proc/loadavg: 2.12 2.05 2.01 3/85 694
/proc/meminfo: memFree=1471312/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=490268 CPUtime=50.6
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 70603 0 0 0 5028 32 0 0 25 0 1 0 1995668601 502034432 70148 996147200 134512640 135472138 4294956224 18446744073709551615 134535923 0 0 4096 0 0 0 0 17 1 0 0
/proc/693/statm: 122567 70148 467 234 0 121269 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 490268
[startup+102.302 s]
/proc/loadavg: 2.05 2.04 2.01 3/85 694
/proc/meminfo: memFree=1466896/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=490268 CPUtime=101.32
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 71725 0 0 0 10099 33 0 0 25 0 1 0 1995668601 502034432 71195 996147200 134512640 135472138 4294956224 18446744073709551615 134535920 0 0 4096 0 0 0 0 17 1 0 0
/proc/693/statm: 122567 71195 467 234 0 121269 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 490268
[startup+162.302 s]
/proc/loadavg: 2.02 2.03 2.00 3/85 694
/proc/meminfo: memFree=1502032/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=393036 CPUtime=160.76
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 80485 0 0 0 16039 37 0 0 25 0 1 0 1995668601 402468864 62445 996147200 134512640 135472138 4294956224 18446744073709551615 135202748 0 0 4096 0 0 0 0 17 1 0 0
/proc/693/statm: 98259 62445 523 234 0 96961 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 393036
[startup+222.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/85 694
/proc/meminfo: memFree=1501712/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=393036 CPUtime=220.19
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 80599 0 0 0 21982 37 0 0 25 0 1 0 1995668601 402468864 62559 996147200 134512640 135472138 4294956224 18446744073709551615 135202774 0 0 4096 0 0 0 0 17 1 0 0
/proc/693/statm: 98259 62559 523 234 0 96961 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 393036
[startup+282.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/85 694
/proc/meminfo: memFree=1501264/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=393036 CPUtime=279.63
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 80757 0 0 0 27925 38 0 0 25 0 1 0 1995668601 402468864 62717 996147200 134512640 135472138 4294956224 18446744073709551615 135202746 0 0 4096 0 0 0 0 17 1 0 0
/proc/693/statm: 98259 62717 523 234 0 96961 0
Current children cumulated CPU time (s) 279.63
Current children cumulated vsize (KiB) 393036
[startup+342.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/85 694
/proc/meminfo: memFree=1501008/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=393036 CPUtime=339.06
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 80761 0 0 0 33868 38 0 0 25 0 1 0 1995668601 402468864 62721 996147200 134512640 135472138 4294956224 18446744073709551615 134915601 0 0 4096 0 0 0 0 17 1 0 0
/proc/693/statm: 98259 62721 523 234 0 96961 0
Current children cumulated CPU time (s) 339.06
Current children cumulated vsize (KiB) 393036
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/85 694
/proc/meminfo: memFree=1500944/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=393036 CPUtime=398.5
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 80761 0 0 0 39812 38 0 0 25 0 1 0 1995668601 402468864 62721 996147200 134512640 135472138 4294956224 18446744073709551615 135202757 0 0 4096 0 0 0 0 17 1 0 0
/proc/693/statm: 98259 62721 523 234 0 96961 0
Current children cumulated CPU time (s) 398.5
Current children cumulated vsize (KiB) 393036
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 694
/proc/meminfo: memFree=1500816/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=393036 CPUtime=457.93
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 80764 0 0 0 45755 38 0 0 25 0 1 0 1995668601 402468864 62724 996147200 134512640 135472138 4294956224 18446744073709551615 135264853 0 0 4096 0 0 0 0 17 1 0 0
/proc/693/statm: 98259 62724 523 234 0 96961 0
Current children cumulated CPU time (s) 457.93
Current children cumulated vsize (KiB) 393036
[startup+522.302 s]
/proc/loadavg: 2.51 2.13 2.04 4/83 834
/proc/meminfo: memFree=1201240/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=393036 CPUtime=515.94
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 80764 0 0 0 51553 41 0 0 25 0 1 0 1995668601 402468864 62724 996147200 134512640 135472138 4294956224 18446744073709551615 135202746 0 0 4096 0 0 0 0 17 0 0 0
/proc/693/statm: 98259 62724 523 234 0 96961 0
Current children cumulated CPU time (s) 515.94
Current children cumulated vsize (KiB) 393036
[startup+582.302 s]
/proc/loadavg: 2.27 2.13 2.05 3/82 835
/proc/meminfo: memFree=788960/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=393036 CPUtime=575.66
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 80764 0 0 0 57524 42 0 0 25 0 1 0 1995668601 402468864 62724 996147200 134512640 135472138 4294956224 18446744073709551615 134882058 0 0 4096 0 0 0 0 17 0 0 0
/proc/693/statm: 98259 62724 523 234 0 96961 0
Current children cumulated CPU time (s) 575.66
Current children cumulated vsize (KiB) 393036
[startup+642.302 s]
/proc/loadavg: 2.10 2.10 2.04 3/82 835
/proc/meminfo: memFree=788576/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=393036 CPUtime=635.42
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 80764 0 0 0 63500 42 0 0 25 0 1 0 1995668601 402468864 62724 996147200 134512640 135472138 4294956224 18446744073709551615 135267023 0 0 4096 0 0 0 0 17 0 0 0
/proc/693/statm: 98259 62724 523 234 0 96961 0
Current children cumulated CPU time (s) 635.42
Current children cumulated vsize (KiB) 393036
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 2.00 2.05 2.02 3/82 835
/proc/meminfo: memFree=788448/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=393036 CPUtime=814.7
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 80764 0 0 0 81427 43 0 0 25 0 1 0 1995668601 402468864 62724 996147200 134512640 135472138 4294956224 18446744073709551615 135202774 0 0 4096 0 0 0 0 17 0 0 0
/proc/693/statm: 98259 62724 523 234 0 96961 0
Current children cumulated CPU time (s) 814.7
Current children cumulated vsize (KiB) 393036
[startup+882.306 s]
/proc/loadavg: 2.00 2.04 2.02 3/82 835
/proc/meminfo: memFree=788448/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=393036 CPUtime=874.46
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 80764 0 0 0 87403 43 0 0 25 0 1 0 1995668601 402468864 62724 996147200 134512640 135472138 4294956224 18446744073709551615 135202746 0 0 4096 0 0 0 0 17 0 0 0
/proc/693/statm: 98259 62724 523 234 0 96961 0
Current children cumulated CPU time (s) 874.46
Current children cumulated vsize (KiB) 393036
[startup+942.302 s]
/proc/loadavg: 2.00 2.03 2.01 3/82 835
/proc/meminfo: memFree=788448/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=393036 CPUtime=934.21
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 80764 0 0 0 93378 43 0 0 25 0 1 0 1995668601 402468864 62724 996147200 134512640 135472138 4294956224 18446744073709551615 134882058 0 0 4096 0 0 0 0 17 0 0 0
/proc/693/statm: 98259 62724 523 234 0 96961 0
Current children cumulated CPU time (s) 934.21
Current children cumulated vsize (KiB) 393036
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 835
/proc/meminfo: memFree=788448/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=393036 CPUtime=993.96
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 80764 0 0 0 99353 43 0 0 25 0 1 0 1995668601 402468864 62724 996147200 134512640 135472138 4294956224 18446744073709551615 135202728 0 0 4096 0 0 0 0 17 0 0 0
/proc/693/statm: 98259 62724 523 234 0 96961 0
Current children cumulated CPU time (s) 993.96
Current children cumulated vsize (KiB) 393036
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 835
/proc/meminfo: memFree=788320/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=393036 CPUtime=1053.72
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 80764 0 0 0 105329 43 0 0 25 0 1 0 1995668601 402468864 62724 996147200 134512640 135472138 4294956224 18446744073709551615 135265558 0 0 4096 0 0 0 0 17 0 0 0
/proc/693/statm: 98259 62724 523 234 0 96961 0
Current children cumulated CPU time (s) 1053.72
Current children cumulated vsize (KiB) 393036
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 835
/proc/meminfo: memFree=788256/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=393036 CPUtime=1113.47
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 80764 0 0 0 111304 43 0 0 25 0 1 0 1995668601 402468864 62724 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/693/statm: 98259 62724 523 234 0 96961 0
Current children cumulated CPU time (s) 1113.47
Current children cumulated vsize (KiB) 393036
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 835
/proc/meminfo: memFree=788128/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=393036 CPUtime=1173.23
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 80764 0 0 0 117280 43 0 0 25 0 1 0 1995668601 402468864 62724 996147200 134512640 135472138 4294956224 18446744073709551615 134672493 0 0 4096 0 0 0 0 17 0 0 0
/proc/693/statm: 98259 62724 523 234 0 96961 0
Current children cumulated CPU time (s) 1173.23
Current children cumulated vsize (KiB) 393036
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 835
/proc/meminfo: memFree=787872/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=393036 CPUtime=1232.99
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 80764 0 0 0 123255 44 0 0 25 0 1 0 1995668601 402468864 62724 996147200 134512640 135472138 4294956224 18446744073709551615 134581664 0 0 4096 0 0 0 0 17 0 0 0
/proc/693/statm: 98259 62724 523 234 0 96961 0
Current children cumulated CPU time (s) 1232.99
Current children cumulated vsize (KiB) 393036
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 837
/proc/meminfo: memFree=787744/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=393036 CPUtime=1292.75
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 80764 0 0 0 129231 44 0 0 25 0 1 0 1995668601 402468864 62724 996147200 134512640 135472138 4294956224 18446744073709551615 135202751 0 0 4096 0 0 0 0 17 0 0 0
/proc/693/statm: 98259 62724 523 234 0 96961 0
Current children cumulated CPU time (s) 1292.75
Current children cumulated vsize (KiB) 393036
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 837
/proc/meminfo: memFree=787744/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=393036 CPUtime=1352.5
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 80764 0 0 0 135206 44 0 0 25 0 1 0 1995668601 402468864 62724 996147200 134512640 135472138 4294956224 18446744073709551615 135202728 0 0 4096 0 0 0 0 17 0 0 0
/proc/693/statm: 98259 62724 523 234 0 96961 0
Current children cumulated CPU time (s) 1352.5
Current children cumulated vsize (KiB) 393036
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 837
/proc/meminfo: memFree=787744/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=393036 CPUtime=1412.26
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 80764 0 0 0 141182 44 0 0 25 0 1 0 1995668601 402468864 62724 996147200 134512640 135472138 4294956224 18446744073709551615 135202592 0 0 4096 0 0 0 0 17 0 0 0
/proc/693/statm: 98259 62724 523 234 0 96961 0
Current children cumulated CPU time (s) 1412.26
Current children cumulated vsize (KiB) 393036
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 837
/proc/meminfo: memFree=787744/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=393036 CPUtime=1472.02
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 80764 0 0 0 147158 44 0 0 25 0 1 0 1995668601 402468864 62724 996147200 134512640 135472138 4294956224 18446744073709551615 134581662 0 0 4096 0 0 0 0 17 0 0 0
/proc/693/statm: 98259 62724 523 234 0 96961 0
Current children cumulated CPU time (s) 1472.02
Current children cumulated vsize (KiB) 393036
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 837
/proc/meminfo: memFree=787744/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=393036 CPUtime=1531.77
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 80764 0 0 0 153133 44 0 0 25 0 1 0 1995668601 402468864 62724 996147200 134512640 135472138 4294956224 18446744073709551615 135202757 0 0 4096 0 0 0 0 17 0 0 0
/proc/693/statm: 98259 62724 523 234 0 96961 0
Current children cumulated CPU time (s) 1531.77
Current children cumulated vsize (KiB) 393036
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 837
/proc/meminfo: memFree=787680/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=393036 CPUtime=1591.53
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 80764 0 0 0 159109 44 0 0 25 0 1 0 1995668601 402468864 62724 996147200 134512640 135472138 4294956224 18446744073709551615 135202748 0 0 4096 0 0 0 0 17 0 0 0
/proc/693/statm: 98259 62724 523 234 0 96961 0
Current children cumulated CPU time (s) 1591.53
Current children cumulated vsize (KiB) 393036
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 837
/proc/meminfo: memFree=787680/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=393036 CPUtime=1651.28
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 80764 0 0 0 165084 44 0 0 25 0 1 0 1995668601 402468864 62724 996147200 134512640 135472138 4294956224 18446744073709551615 135202746 0 0 4096 0 0 0 0 17 0 0 0
/proc/693/statm: 98259 62724 523 234 0 96961 0
Current children cumulated CPU time (s) 1651.28
Current children cumulated vsize (KiB) 393036
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 837
/proc/meminfo: memFree=787616/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=393036 CPUtime=1711.04
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 80764 0 0 0 171060 44 0 0 25 0 1 0 1995668601 402468864 62724 996147200 134512640 135472138 4294956224 18446744073709551615 135202739 0 0 4096 0 0 0 0 17 0 0 0
/proc/693/statm: 98259 62724 523 234 0 96961 0
Current children cumulated CPU time (s) 1711.04
Current children cumulated vsize (KiB) 393036
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 837
/proc/meminfo: memFree=787296/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=393036 CPUtime=1770.8
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 80764 0 0 0 177036 44 0 0 25 0 1 0 1995668601 402468864 62724 996147200 134512640 135472138 4294956224 18446744073709551615 135265579 0 0 4096 0 0 0 0 17 0 0 0
/proc/693/statm: 98259 62724 523 234 0 96961 0
Current children cumulated CPU time (s) 1770.8
Current children cumulated vsize (KiB) 393036
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 837
/proc/meminfo: memFree=787296/2055920 swapFree=4179828/4192956
[pid=693] ppid=691 vsize=393036 CPUtime=1800.08
/proc/693/stat : 693 (casperzito) R 691 693 32250 0 -1 4194304 80764 0 0 0 179964 44 0 0 25 0 1 0 1995668601 402468864 62724 996147200 134512640 135472138 4294956224 18446744073709551615 135202748 0 0 4096 0 0 0 0 17 0 0 0
/proc/693/statm: 98259 62724 523 234 0 96961 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 393036
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): 1811.75
CPU time (s): 1800.14
CPU user time (s): 1799.65
CPU system time (s): 0.488925
CPU usage (%): 99.3589
Max. virtual memory (cumulated for all children) (KiB): 490268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.488925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80764
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= 38452
runsolver used 1.93271 second user time and 5.14622 second system time
The end
Begin job on node66 at 2008-07-04 12:23:09
IDJOB=1070769
IDBENCH=55944
IDSOLVER=362
FILE ID=node66/1070769-1215166988
PBS_JOBID= 7881462
Free space on /tmp= 66484 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/pseudoGLB/normalized-cache-inv12-ucl.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1070769-1215166988/watcher-1070769-1215166988 -o /tmp/evaluation-result-1070769-1215166988/solver-1070769-1215166988 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1070769-1215166988.xml 969735791
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 39d79c9107bb415782ca395ac86f441e
RANDOM SEED=969735791
node66.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 : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1751032 kB
Buffers: 31296 kB
Cached: 180100 kB
SwapCached: 6748 kB
Active: 208696 kB
Inactive: 42836 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1751032 kB
SwapTotal: 4192956 kB
SwapFree: 4179828 kB
Dirty: 17108 kB
Writeback: 0 kB
Mapped: 57552 kB
Slab: 38188 kB
Committed_AS: 4086116 kB
PageTables: 2028 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= 66504 MiB
End job on node66 at 2008-07-04 12:53:23