0.18/0.20 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.18/0.20 c Parsing = 1
2.66/2.77 c Building = 1
3.05/3.12 c [ NumberOfVariables = 800 ]
3.05/3.12 c [ NumberOfConstraints = 65196 ]
3.05/3.12 c [ SizeOfSearchSpace(log2) = 2885.15 ]
3.05/3.12 c SymmetrySearch = 1
7.13/7.28 c [ Found 2 symmetries ]
7.22/7.38 c InitialPropagation = 1
7.32/7.44 c [ SizeOfSearchSpace(log2) = 2885.08 ]
7.32/7.44 c InitialSAC = 1
9.60/9.79 c [ SizeOfSearchSpace(log2) = 2885.08 ]
9.60/9.79 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-1077568-1215193317/watcher-1077568-1215193317 -o /tmp/evaluation-result-1077568-1215193317/solver-1077568-1215193317 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1077568-1215193317.xml 86544858
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/81 25722
/proc/meminfo: memFree=1017264/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=1052 CPUtime=0
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 40 0 0 0 0 0 0 0 19 0 1 0 1998304984 1077248 26 996147200 134512640 135472138 4294956192 18446744073709551615 3167012 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/25722/statm: 263 26 20 234 0 3 0
[startup+0.0490241 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 25722
/proc/meminfo: memFree=1017264/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=6088 CPUtime=0.03
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 638 0 0 0 3 0 0 0 18 0 1 0 1998304984 6234112 598 996147200 134512640 135472138 4294956192 18446744073709551615 3602043 0 0 4096 0 0 0 0 17 1 0 0
/proc/25722/statm: 1522 598 368 234 0 224 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6088
[startup+0.101025 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 25722
/proc/meminfo: memFree=1017264/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=6616 CPUtime=0.08
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 771 0 0 0 8 0 0 0 18 0 1 0 1998304984 6774784 731 996147200 134512640 135472138 4294956192 18446744073709551615 3602043 0 0 4096 0 0 0 0 17 1 0 0
/proc/25722/statm: 1654 731 368 234 0 356 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6616
[startup+0.301044 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 25722
/proc/meminfo: memFree=1017264/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=8596 CPUtime=0.29
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 1262 0 0 0 28 1 0 0 19 0 1 0 1998304984 8802304 1222 996147200 134512640 135472138 4294956192 18446744073709551615 134749049 0 0 4096 0 0 0 0 17 1 0 0
/proc/25722/statm: 2149 1222 368 234 0 851 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8596
[startup+0.701089 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 25722
/proc/meminfo: memFree=1017264/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=12292 CPUtime=0.68
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 2197 0 0 0 67 1 0 0 23 0 1 0 1998304984 12587008 2157 996147200 134512640 135472138 4294956192 18446744073709551615 4158766124 0 0 4096 0 0 0 0 17 1 0 0
/proc/25722/statm: 3073 2157 368 234 0 1775 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 12292
[startup+1.50117 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 25723
/proc/meminfo: memFree=1007208/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=19684 CPUtime=1.48
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 4039 0 0 0 145 3 0 0 25 0 1 0 1998304984 20156416 3999 996147200 134512640 135472138 4294956192 18446744073709551615 3600154 0 0 4096 0 0 0 0 17 1 0 0
/proc/25722/statm: 4921 3999 368 234 0 3623 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 19684
[startup+3.10136 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 25723
/proc/meminfo: memFree=997032/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=197464 CPUtime=3.05
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 20619 0 0 0 295 10 0 0 25 0 1 0 1998304984 202203136 20579 996147200 134512640 135472138 4294956192 18446744073709551615 134848466 0 0 4096 0 0 0 0 17 1 0 0
/proc/25722/statm: 49366 20579 414 234 0 48068 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 197464
[startup+6.3017 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 25723
/proc/meminfo: memFree=906856/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=233908 CPUtime=6.23
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 28082 0 0 0 609 14 0 0 25 0 1 0 1998304984 239521792 28010 996147200 134512640 135472138 4294956192 18446744073709551615 134535923 0 0 4096 0 0 0 0 17 1 0 0
/proc/25722/statm: 58477 28010 464 234 0 57179 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 233908
[startup+12.7024 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 25723
/proc/meminfo: memFree=911464/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=213456 CPUtime=12.58
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 30283 0 0 0 1243 15 0 0 25 0 1 0 1998304984 218578944 26851 996147200 134512640 135472138 4294956192 18446744073709551615 135202728 0 0 4096 0 0 0 0 17 1 0 0
/proc/25722/statm: 53364 26851 502 234 0 52066 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 213456
[startup+25.5018 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 25723
/proc/meminfo: memFree=911592/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=213456 CPUtime=25.26
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 30283 0 0 0 2511 15 0 0 25 0 1 0 1998304984 218578944 26851 996147200 134512640 135472138 4294956192 18446744073709551615 135202748 0 0 4096 0 0 0 0 17 1 0 0
/proc/25722/statm: 53364 26851 502 234 0 52066 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 213456
[startup+51.1016 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 25723
/proc/meminfo: memFree=885032/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=213472 CPUtime=50.64
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 36916 0 0 0 5047 17 0 0 25 0 1 0 1998304984 218595328 33484 996147200 134512640 135472138 4294956192 18446744073709551615 135202746 0 0 4096 0 0 0 0 17 1 0 0
/proc/25722/statm: 53368 33484 505 234 0 52070 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 213472
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 25723
/proc/meminfo: memFree=858792/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=338476 CPUtime=101.4
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 43464 0 0 0 10121 19 0 0 25 0 1 0 1998304984 346599424 40032 996147200 134512640 135472138 4294956192 18446744073709551615 135202748 0 0 4096 0 0 0 0 17 1 0 0
/proc/25722/statm: 84619 40032 505 234 0 83321 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 338476
[startup+162.302 s]
/proc/loadavg: 2.07 2.02 2.00 3/82 25723
/proc/meminfo: memFree=853800/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=338476 CPUtime=160.89
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 44686 0 0 0 16069 20 0 0 25 0 1 0 1998304984 346599424 41254 996147200 134512640 135472138 4294956192 18446744073709551615 134906719 0 0 4096 0 0 0 0 17 1 0 0
/proc/25722/statm: 84619 41254 505 234 0 83321 0
Current children cumulated CPU time (s) 160.89
Current children cumulated vsize (KiB) 338476
[startup+222.301 s]
/proc/loadavg: 2.08 2.03 2.00 3/82 25723
/proc/meminfo: memFree=853544/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=338476 CPUtime=220.37
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 44763 0 0 0 22017 20 0 0 25 0 1 0 1998304984 346599424 41331 996147200 134512640 135472138 4294956192 18446744073709551615 135202725 0 0 4096 0 0 0 0 17 1 0 0
/proc/25722/statm: 84619 41331 505 234 0 83321 0
Current children cumulated CPU time (s) 220.37
Current children cumulated vsize (KiB) 338476
[startup+282.302 s]
/proc/loadavg: 2.09 2.04 2.00 3/82 25723
/proc/meminfo: memFree=846824/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=338476 CPUtime=279.86
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 46434 0 0 0 27965 21 0 0 25 0 1 0 1998304984 346599424 43002 996147200 134512640 135472138 4294956192 18446744073709551615 135202746 0 0 4096 0 0 0 0 17 1 0 0
/proc/25722/statm: 84619 43002 505 234 0 83321 0
Current children cumulated CPU time (s) 279.86
Current children cumulated vsize (KiB) 338476
[startup+342.301 s]
/proc/loadavg: 2.08 2.04 2.00 3/82 25723
/proc/meminfo: memFree=842600/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=338476 CPUtime=339.35
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 47572 0 0 0 33914 21 0 0 25 0 1 0 1998304984 346599424 44140 996147200 134512640 135472138 4294956192 18446744073709551615 134581664 0 0 4096 0 0 0 0 17 1 0 0
/proc/25722/statm: 84619 44140 505 234 0 83321 0
Current children cumulated CPU time (s) 339.35
Current children cumulated vsize (KiB) 338476
[startup+402.302 s]
/proc/loadavg: 2.08 2.05 2.00 3/82 25723
/proc/meminfo: memFree=841896/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=338476 CPUtime=398.84
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 47671 0 0 0 39863 21 0 0 25 0 1 0 1998304984 346599424 44239 996147200 134512640 135472138 4294956192 18446744073709551615 135202728 0 0 4096 0 0 0 0 17 1 0 0
/proc/25722/statm: 84619 44239 505 234 0 83321 0
Current children cumulated CPU time (s) 398.84
Current children cumulated vsize (KiB) 338476
[startup+462.301 s]
/proc/loadavg: 2.07 2.05 2.00 3/82 25723
/proc/meminfo: memFree=839400/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=338480 CPUtime=458.33
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 48314 0 0 0 45812 21 0 0 25 0 1 0 1998304984 346603520 44882 996147200 134512640 135472138 4294956192 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 1 0 0
/proc/25722/statm: 84620 44882 505 234 0 83322 0
Current children cumulated CPU time (s) 458.33
Current children cumulated vsize (KiB) 338480
[startup+522.302 s]
/proc/loadavg: 2.07 2.05 2.00 3/82 25723
/proc/meminfo: memFree=839400/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=338480 CPUtime=517.81
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 48314 0 0 0 51760 21 0 0 25 0 1 0 1998304984 346603520 44882 996147200 134512640 135472138 4294956192 18446744073709551615 134672490 0 0 4096 0 0 0 0 17 1 0 0
/proc/25722/statm: 84620 44882 505 234 0 83322 0
Current children cumulated CPU time (s) 517.81
Current children cumulated vsize (KiB) 338480
[startup+582.302 s]
/proc/loadavg: 2.09 2.07 2.01 3/82 25723
/proc/meminfo: memFree=838248/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=338480 CPUtime=577.3
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 48618 0 0 0 57709 21 0 0 25 0 1 0 1998304984 346603520 45186 996147200 134512640 135472138 4294956192 18446744073709551615 135202746 0 0 4096 0 0 0 0 17 1 0 0
/proc/25722/statm: 84620 45186 505 234 0 83322 0
Current children cumulated CPU time (s) 577.3
Current children cumulated vsize (KiB) 338480
[startup+642.301 s]
/proc/loadavg: 2.12 2.08 2.01 3/82 25723
/proc/meminfo: memFree=838184/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=338480 CPUtime=636.79
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 48618 0 0 0 63658 21 0 0 25 0 1 0 1998304984 346603520 45186 996147200 134512640 135472138 4294956192 18446744073709551615 135265500 0 0 4096 0 0 0 0 17 1 0 0
/proc/25722/statm: 84620 45186 505 234 0 83322 0
Current children cumulated CPU time (s) 636.79
Current children cumulated vsize (KiB) 338480
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.02 2.07 2.01 3/82 25723
/proc/meminfo: memFree=837992/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=338480 CPUtime=874.74
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 48618 0 0 0 87453 21 0 0 25 0 1 0 1998304984 346603520 45186 996147200 134512640 135472138 4294956192 18446744073709551615 134581662 0 0 4096 0 0 0 0 17 1 0 0
/proc/25722/statm: 84620 45186 505 234 0 83322 0
Current children cumulated CPU time (s) 874.74
Current children cumulated vsize (KiB) 338480
[startup+942.302 s]
/proc/loadavg: 2.00 2.05 2.00 3/82 25723
/proc/meminfo: memFree=838056/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=338480 CPUtime=934.22
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 48618 0 0 0 93401 21 0 0 25 0 1 0 1998304984 346603520 45186 996147200 134512640 135472138 4294956192 18446744073709551615 135264849 0 0 4096 0 0 0 0 17 1 0 0
/proc/25722/statm: 84620 45186 505 234 0 83322 0
Current children cumulated CPU time (s) 934.22
Current children cumulated vsize (KiB) 338480
[startup+1002.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/82 25723
/proc/meminfo: memFree=837416/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=338480 CPUtime=993.72
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 48773 0 0 0 99350 22 0 0 25 0 1 0 1998304984 346603520 45341 996147200 134512640 135472138 4294956192 18446744073709551615 135202746 0 0 4096 0 0 0 0 17 1 0 0
/proc/25722/statm: 84620 45341 505 234 0 83322 0
Current children cumulated CPU time (s) 993.72
Current children cumulated vsize (KiB) 338480
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 25723
/proc/meminfo: memFree=836648/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=338480 CPUtime=1053.21
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 48961 0 0 0 105299 22 0 0 25 0 1 0 1998304984 346603520 45529 996147200 134512640 135472138 4294956192 18446744073709551615 135202774 0 0 4096 0 0 0 0 17 1 0 0
/proc/25722/statm: 84620 45529 505 234 0 83322 0
Current children cumulated CPU time (s) 1053.21
Current children cumulated vsize (KiB) 338480
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 25723
/proc/meminfo: memFree=836648/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=338480 CPUtime=1112.69
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 48961 0 0 0 111247 22 0 0 25 0 1 0 1998304984 346603520 45529 996147200 134512640 135472138 4294956192 18446744073709551615 135202746 0 0 4096 0 0 0 0 17 1 0 0
/proc/25722/statm: 84620 45529 505 234 0 83322 0
Current children cumulated CPU time (s) 1112.69
Current children cumulated vsize (KiB) 338480
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 25729
/proc/meminfo: memFree=836576/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=338480 CPUtime=1172.17
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 48961 0 0 0 117195 22 0 0 25 0 1 0 1998304984 346603520 45529 996147200 134512640 135472138 4294956192 18446744073709551615 135267085 0 0 4096 0 0 0 0 17 1 0 0
/proc/25722/statm: 84620 45529 505 234 0 83322 0
Current children cumulated CPU time (s) 1172.17
Current children cumulated vsize (KiB) 338480
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 25729
/proc/meminfo: memFree=836576/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=338480 CPUtime=1231.65
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 48961 0 0 0 123143 22 0 0 25 0 1 0 1998304984 346603520 45529 996147200 134512640 135472138 4294956192 18446744073709551615 134904469 0 0 4096 0 0 0 0 17 1 0 0
/proc/25722/statm: 84620 45529 505 234 0 83322 0
Current children cumulated CPU time (s) 1231.65
Current children cumulated vsize (KiB) 338480
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 25729
/proc/meminfo: memFree=836576/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=338480 CPUtime=1291.14
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 48961 0 0 0 129092 22 0 0 25 0 1 0 1998304984 346603520 45529 996147200 134512640 135472138 4294956192 18446744073709551615 135265498 0 0 4096 0 0 0 0 17 1 0 0
/proc/25722/statm: 84620 45529 505 234 0 83322 0
Current children cumulated CPU time (s) 1291.14
Current children cumulated vsize (KiB) 338480
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 25729
/proc/meminfo: memFree=836512/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=338480 CPUtime=1350.63
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 48961 0 0 0 135041 22 0 0 25 0 1 0 1998304984 346603520 45529 996147200 134512640 135472138 4294956192 18446744073709551615 134905660 0 0 4096 0 0 0 0 17 1 0 0
/proc/25722/statm: 84620 45529 505 234 0 83322 0
Current children cumulated CPU time (s) 1350.63
Current children cumulated vsize (KiB) 338480
[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/75 25844
/proc/meminfo: memFree=1548456/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=338480 CPUtime=1410.58
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 48961 0 0 0 141034 24 0 0 25 0 1 0 1998304984 346603520 45529 996147200 134512640 135472138 4294956192 18446744073709551615 135202771 0 0 4096 0 0 0 0 17 0 0 0
/proc/25722/statm: 84620 45529 505 234 0 83322 0
Current children cumulated CPU time (s) 1410.58
Current children cumulated vsize (KiB) 338480
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/75 25844
/proc/meminfo: memFree=1539432/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=338480 CPUtime=1470.55
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 48961 0 0 0 147031 24 0 0 25 0 1 0 1998304984 346603520 45529 996147200 134512640 135472138 4294956192 18446744073709551615 134691195 0 0 4096 0 0 0 0 17 0 0 0
/proc/25722/statm: 84620 45529 505 234 0 83322 0
Current children cumulated CPU time (s) 1470.55
Current children cumulated vsize (KiB) 338480
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 25844
/proc/meminfo: memFree=1535656/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=338480 CPUtime=1530.54
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 48961 0 0 0 153029 25 0 0 25 0 1 0 1998304984 346603520 45529 996147200 134512640 135472138 4294956192 18446744073709551615 135202746 0 0 4096 0 0 0 0 17 0 0 0
/proc/25722/statm: 84620 45529 505 234 0 83322 0
Current children cumulated CPU time (s) 1530.54
Current children cumulated vsize (KiB) 338480
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 25906
/proc/meminfo: memFree=1540392/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=338480 CPUtime=1590.51
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 48961 0 0 0 159025 26 0 0 25 0 1 0 1998304984 346603520 45529 996147200 134512640 135472138 4294956192 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/25722/statm: 84620 45529 505 234 0 83322 0
Current children cumulated CPU time (s) 1590.51
Current children cumulated vsize (KiB) 338480
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 25906
/proc/meminfo: memFree=1532392/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=338480 CPUtime=1650.49
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 48961 0 0 0 165023 26 0 0 25 0 1 0 1998304984 346603520 45529 996147200 134512640 135472138 4294956192 18446744073709551615 135202746 0 0 4096 0 0 0 0 17 0 0 0
/proc/25722/statm: 84620 45529 505 234 0 83322 0
Current children cumulated CPU time (s) 1650.49
Current children cumulated vsize (KiB) 338480
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 25906
/proc/meminfo: memFree=1526440/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=338480 CPUtime=1710.47
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 48961 0 0 0 171021 26 0 0 25 0 1 0 1998304984 346603520 45529 996147200 134512640 135472138 4294956192 18446744073709551615 135202746 0 0 4096 0 0 0 0 17 0 0 0
/proc/25722/statm: 84620 45529 505 234 0 83322 0
Current children cumulated CPU time (s) 1710.47
Current children cumulated vsize (KiB) 338480
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 25906
/proc/meminfo: memFree=1520488/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=338480 CPUtime=1770.44
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 48961 0 0 0 177018 26 0 0 25 0 1 0 1998304984 346603520 45529 996147200 134512640 135472138 4294956192 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/25722/statm: 84620 45529 505 234 0 83322 0
Current children cumulated CPU time (s) 1770.44
Current children cumulated vsize (KiB) 338480
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 25906
/proc/meminfo: memFree=1517544/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=338480 CPUtime=1800.04
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 48961 0 0 0 179978 26 0 0 25 0 1 0 1998304984 346603520 45529 996147200 134512640 135472138 4294956192 18446744073709551615 135202746 0 0 4096 0 0 0 0 17 0 0 0
/proc/25722/statm: 84620 45529 505 234 0 83322 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 338480
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1811.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 25906
/proc/meminfo: memFree=1517544/2055920 swapFree=4179916/4192956
[pid=25722] ppid=25720 vsize=338480 CPUtime=1800.04
/proc/25722/stat : 25722 (casperzito) R 25720 25722 24555 0 -1 4194304 48961 0 0 0 179978 26 0 0 25 0 1 0 1998304984 346603520 45529 996147200 134512640 135472138 4294956192 18446744073709551615 135202746 0 0 4096 0 0 0 0 17 0 0 0
/proc/25722/statm: 84620 45529 505 234 0 83322 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 338480
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1811.93
CPU time (s): 1800.08
CPU user time (s): 1799.78
CPU system time (s): 0.295955
CPU usage (%): 99.3456
Max. virtual memory (cumulated for all children) (KiB): 338480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.295955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48961
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= 31080
runsolver used 1.9517 second user time and 5.14922 second system time
The end
Begin job on node37 at 2008-07-04 19:41:57
IDJOB=1077568
IDBENCH=56689
IDSOLVER=362
FILE ID=node37/1077568-1215193317
PBS_JOBID= 7881600
Free space on /tmp= 66548 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/medium/normalized-patat-02-medium-4.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1077568-1215193317/watcher-1077568-1215193317 -o /tmp/evaluation-result-1077568-1215193317/solver-1077568-1215193317 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1077568-1215193317.xml 86544858
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 094ea096617f0707c333e4e4098131ca
RANDOM SEED=86544858
node37.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.236
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.236
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: 1017744 kB
Buffers: 62592 kB
Cached: 160896 kB
SwapCached: 6964 kB
Active: 892928 kB
Inactive: 84280 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1017744 kB
SwapTotal: 4192956 kB
SwapFree: 4179916 kB
Dirty: 11976 kB
Writeback: 0 kB
Mapped: 769904 kB
Slab: 44568 kB
Committed_AS: 4246104 kB
PageTables: 3436 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264884 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66536 MiB
End job on node37 at 2008-07-04 20:12:11