0.20/0.21 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.20/0.21 c Parsing = 1
0.20/0.21 c Building = 1
0.29/0.35 c [ NumberOfVariables = 383 ]
0.29/0.35 c [ NumberOfConstraints = 1869 ]
0.29/0.36 c [ SizeOfSearchSpace(log2) = 1800.27 ]
0.29/0.36 c SymmetrySearch = (Timeout)
24.26/24.50 c [ Proceeding without symmetry breaking ]
24.56/24.85 c InitialPropagation = 1
24.66/24.93 c [ SizeOfSearchSpace(log2) = 1767.11 ]
24.66/24.93 c InitialSAC = (Timeout)
28.62/28.90 c [ SizeOfSearchSpace(log2) = 1767.11 ]
28.62/28.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-1076964-1215190618/watcher-1076964-1215190618 -o /tmp/evaluation-result-1076964-1215190618/solver-1076964-1215190618 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1076964-1215190618.xml 118267961
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.14 2.04 1.97 4/82 26026
/proc/meminfo: memFree=910816/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=1052 CPUtime=0
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 40 0 0 0 0 0 0 0 21 0 1 0 1998036382 1077248 26 996147200 134512640 135472138 4294956224 18446744073709551615 2605860 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 263 26 20 234 0 3 0
[startup+0.211297 s]
/proc/loadavg: 2.14 2.04 1.97 4/82 26026
/proc/meminfo: memFree=910816/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=102932 CPUtime=0.2
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 1514 0 0 0 19 1 0 0 19 0 1 0 1998036382 105402368 1474 996147200 134512640 135472138 4294956224 18446744073709551615 134606250 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 25733 1474 405 234 0 24435 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 102932
[startup+0.302305 s]
/proc/loadavg: 2.14 2.04 1.97 4/82 26026
/proc/meminfo: memFree=910816/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=102932 CPUtime=0.29
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 1657 0 0 0 28 1 0 0 19 0 1 0 1998036382 105402368 1617 996147200 134512640 135472138 4294956224 18446744073709551615 134606250 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 25733 1617 420 234 0 24435 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 102932
[startup+0.402323 s]
/proc/loadavg: 2.14 2.04 1.97 4/82 26026
/proc/meminfo: memFree=910816/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=107288 CPUtime=0.39
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 3578 0 0 0 37 2 0 0 20 0 1 0 1998036382 109862912 3538 996147200 134512640 135472138 4294956224 18446744073709551615 134641677 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 26822 3538 448 234 0 25524 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 107288
[startup+0.702352 s]
/proc/loadavg: 2.14 2.04 1.97 4/82 26026
/proc/meminfo: memFree=910816/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=125900 CPUtime=0.68
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 8239 0 0 0 65 3 0 0 23 0 1 0 1998036382 128921600 8199 996147200 134512640 135472138 4294956224 18446744073709551615 134629024 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 31475 8199 448 234 0 30177 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 125900
[startup+1.50144 s]
/proc/loadavg: 2.14 2.04 1.97 3/83 26027
/proc/meminfo: memFree=850968/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=169856 CPUtime=1.47
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 19220 0 0 0 140 7 0 0 25 0 1 0 1998036382 173932544 19180 996147200 134512640 135472138 4294956224 18446744073709551615 3039141 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 42464 19180 450 234 0 41166 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 169856
[startup+3.10161 s]
/proc/loadavg: 2.14 2.04 1.97 3/83 26027
/proc/meminfo: memFree=793624/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=250244 CPUtime=3.05
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 39319 0 0 0 289 16 0 0 25 0 1 0 1998036382 256249856 39279 996147200 134512640 135472138 4294956224 18446744073709551615 134643545 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 62561 39279 452 234 0 61263 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 250244
[startup+6.30194 s]
/proc/loadavg: 2.13 2.04 1.97 3/83 26027
/proc/meminfo: memFree=695768/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=343816 CPUtime=6.23
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 54533 0 0 0 601 22 0 0 25 0 1 0 1998036382 352067584 54281 996147200 134512640 135472138 4294956224 18446744073709551615 134534323 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 85954 54281 456 234 0 84656 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 343816
[startup+12.7016 s]
/proc/loadavg: 2.12 2.04 1.97 3/83 26027
/proc/meminfo: memFree=693080/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=343816 CPUtime=12.56
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 54980 0 0 0 1234 22 0 0 25 0 1 0 1998036382 352067584 54701 996147200 134512640 135472138 4294956224 18446744073709551615 134534934 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 85954 54701 456 234 0 84656 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 343816
[startup+25.5069 s]
/proc/loadavg: 2.09 2.04 1.97 3/83 26027
/proc/meminfo: memFree=897944/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=104164 CPUtime=25.25
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 57828 0 0 0 2498 27 0 0 25 0 1 0 1998036382 106663936 3546 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 26041 3546 489 234 0 24743 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 104164
[startup+51.1026 s]
/proc/loadavg: 2.06 2.03 1.97 3/82 26028
/proc/meminfo: memFree=893912/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=104164 CPUtime=50.62
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 58835 0 0 0 5034 28 0 0 25 0 1 0 1998036382 106663936 4553 996147200 134512640 135472138 4294956224 18446744073709551615 134585068 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 26041 4553 504 234 0 24743 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 104164
[startup+102.303 s]
/proc/loadavg: 2.02 2.03 1.97 3/82 26028
/proc/meminfo: memFree=892952/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=104164 CPUtime=101.37
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 59020 0 0 0 10109 28 0 0 25 0 1 0 1998036382 106663936 4738 996147200 134512640 135472138 4294956224 18446744073709551615 134585158 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 26041 4738 504 234 0 24743 0
Current children cumulated CPU time (s) 101.37
Current children cumulated vsize (KiB) 104164
[startup+162.302 s]
/proc/loadavg: 2.01 2.02 1.97 3/82 26028
/proc/meminfo: memFree=892888/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=104164 CPUtime=160.83
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 59020 0 0 0 16055 28 0 0 25 0 1 0 1998036382 106663936 4738 996147200 134512640 135472138 4294956224 18446744073709551615 134605049 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 26041 4738 504 234 0 24743 0
Current children cumulated CPU time (s) 160.83
Current children cumulated vsize (KiB) 104164
[startup+222.302 s]
/proc/loadavg: 2.00 2.01 1.97 3/82 26028
/proc/meminfo: memFree=892696/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=104164 CPUtime=220.31
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 59068 0 0 0 22002 29 0 0 25 0 1 0 1998036382 106663936 4786 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 26041 4786 504 234 0 24743 0
Current children cumulated CPU time (s) 220.31
Current children cumulated vsize (KiB) 104164
[startup+282.303 s]
/proc/loadavg: 2.00 2.01 1.97 3/82 26034
/proc/meminfo: memFree=892240/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=104164 CPUtime=279.77
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 59127 0 0 0 27948 29 0 0 25 0 1 0 1998036382 106663936 4845 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 26041 4845 504 234 0 24743 0
Current children cumulated CPU time (s) 279.77
Current children cumulated vsize (KiB) 104164
[startup+342.307 s]
/proc/loadavg: 2.00 2.00 1.97 3/82 26034
/proc/meminfo: memFree=892176/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=104164 CPUtime=339.26
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 59127 0 0 0 33897 29 0 0 25 0 1 0 1998036382 106663936 4845 996147200 134512640 135472138 4294956224 18446744073709551615 134906719 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 26041 4845 504 234 0 24743 0
Current children cumulated CPU time (s) 339.26
Current children cumulated vsize (KiB) 104164
[startup+402.302 s]
/proc/loadavg: 2.00 2.00 1.97 3/82 26034
/proc/meminfo: memFree=892112/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=104164 CPUtime=398.73
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 59127 0 0 0 39844 29 0 0 25 0 1 0 1998036382 106663936 4845 996147200 134512640 135472138 4294956224 18446744073709551615 134585139 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 26041 4845 504 234 0 24743 0
Current children cumulated CPU time (s) 398.73
Current children cumulated vsize (KiB) 104164
[startup+462.302 s]
/proc/loadavg: 2.00 2.00 1.97 3/82 26034
/proc/meminfo: memFree=892112/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=104164 CPUtime=458.21
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 59127 0 0 0 45792 29 0 0 25 0 1 0 1998036382 106663936 4845 996147200 134512640 135472138 4294956224 18446744073709551615 134616936 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 26041 4845 504 234 0 24743 0
Current children cumulated CPU time (s) 458.21
Current children cumulated vsize (KiB) 104164
[startup+522.303 s]
/proc/loadavg: 2.00 2.00 1.97 3/82 26034
/proc/meminfo: memFree=892048/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=104164 CPUtime=517.69
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 59130 0 0 0 51739 30 0 0 25 0 1 0 1998036382 106663936 4848 996147200 134512640 135472138 4294956224 18446744073709551615 134605022 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 26041 4848 504 234 0 24743 0
Current children cumulated CPU time (s) 517.69
Current children cumulated vsize (KiB) 104164
[startup+582.303 s]
/proc/loadavg: 2.00 2.00 1.97 3/82 26034
/proc/meminfo: memFree=891928/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=104164 CPUtime=577.16
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 59130 0 0 0 57686 30 0 0 25 0 1 0 1998036382 106663936 4848 996147200 134512640 135472138 4294956224 18446744073709551615 134906721 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 26041 4848 504 234 0 24743 0
Current children cumulated CPU time (s) 577.16
Current children cumulated vsize (KiB) 104164
[startup+642.302 s]
/proc/loadavg: 2.00 2.00 1.97 3/82 26034
/proc/meminfo: memFree=891800/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=104164 CPUtime=636.62
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 59130 0 0 0 63632 30 0 0 25 0 1 0 1998036382 106663936 4848 996147200 134512640 135472138 4294956224 18446744073709551615 134604918 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 26041 4848 504 234 0 24743 0
Current children cumulated CPU time (s) 636.62
Current children cumulated vsize (KiB) 104164
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/82 26034
/proc/meminfo: memFree=891800/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=104164 CPUtime=874.51
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 59146 0 0 0 87421 30 0 0 25 0 1 0 1998036382 106663936 4864 996147200 134512640 135472138 4294956224 18446744073709551615 134585158 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 26041 4864 504 234 0 24743 0
Current children cumulated CPU time (s) 874.51
Current children cumulated vsize (KiB) 104164
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/82 26034
/proc/meminfo: memFree=891736/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=104164 CPUtime=933.98
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 59146 0 0 0 93367 31 0 0 25 0 1 0 1998036382 106663936 4864 996147200 134512640 135472138 4294956224 18446744073709551615 134984285 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 26041 4864 504 234 0 24743 0
Current children cumulated CPU time (s) 933.98
Current children cumulated vsize (KiB) 104164
[startup+1002.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/82 26034
/proc/meminfo: memFree=891672/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=104164 CPUtime=993.46
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 59146 0 0 0 99315 31 0 0 25 0 1 0 1998036382 106663936 4864 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 26041 4864 504 234 0 24743 0
Current children cumulated CPU time (s) 993.46
Current children cumulated vsize (KiB) 104164
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/82 26034
/proc/meminfo: memFree=891608/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=104164 CPUtime=1052.94
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 59146 0 0 0 105263 31 0 0 25 0 1 0 1998036382 106663936 4864 996147200 134512640 135472138 4294956224 18446744073709551615 134605019 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 26041 4864 504 234 0 24743 0
Current children cumulated CPU time (s) 1052.94
Current children cumulated vsize (KiB) 104164
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/82 26034
/proc/meminfo: memFree=891608/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=104164 CPUtime=1112.39
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 59146 0 0 0 111208 31 0 0 25 0 1 0 1998036382 106663936 4864 996147200 134512640 135472138 4294956224 18446744073709551615 134605008 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 26041 4864 504 234 0 24743 0
Current children cumulated CPU time (s) 1112.39
Current children cumulated vsize (KiB) 104164
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/82 26034
/proc/meminfo: memFree=891544/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=104164 CPUtime=1171.86
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 59146 0 0 0 117155 31 0 0 25 0 1 0 1998036382 106663936 4864 996147200 134512640 135472138 4294956224 18446744073709551615 134585013 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 26041 4864 504 234 0 24743 0
Current children cumulated CPU time (s) 1171.86
Current children cumulated vsize (KiB) 104164
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/82 26034
/proc/meminfo: memFree=891416/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=104164 CPUtime=1231.34
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 59146 0 0 0 123102 32 0 0 25 0 1 0 1998036382 106663936 4864 996147200 134512640 135472138 4294956224 18446744073709551615 134585013 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 26041 4864 504 234 0 24743 0
Current children cumulated CPU time (s) 1231.34
Current children cumulated vsize (KiB) 104164
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/82 26034
/proc/meminfo: memFree=891352/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=104164 CPUtime=1290.81
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 59146 0 0 0 129049 32 0 0 25 0 1 0 1998036382 106663936 4864 996147200 134512640 135472138 4294956224 18446744073709551615 134905669 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 26041 4864 504 234 0 24743 0
Current children cumulated CPU time (s) 1290.81
Current children cumulated vsize (KiB) 104164
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/82 26034
/proc/meminfo: memFree=891352/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=104164 CPUtime=1350.28
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 59146 0 0 0 134996 32 0 0 25 0 1 0 1998036382 106663936 4864 996147200 134512640 135472138 4294956224 18446744073709551615 134604933 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 26041 4864 504 234 0 24743 0
Current children cumulated CPU time (s) 1350.28
Current children cumulated vsize (KiB) 104164
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/82 26034
/proc/meminfo: memFree=891224/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=104164 CPUtime=1409.78
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 59164 0 0 0 140945 33 0 0 25 0 1 0 1998036382 106663936 4882 996147200 134512640 135472138 4294956224 18446744073709551615 134605029 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 26041 4882 504 234 0 24743 0
Current children cumulated CPU time (s) 1409.78
Current children cumulated vsize (KiB) 104164
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/82 26034
/proc/meminfo: memFree=891288/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=104164 CPUtime=1469.25
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 59164 0 0 0 146892 33 0 0 25 0 1 0 1998036382 106663936 4882 996147200 134512640 135472138 4294956224 18446744073709551615 135202728 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 26041 4882 504 234 0 24743 0
Current children cumulated CPU time (s) 1469.25
Current children cumulated vsize (KiB) 104164
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/82 26034
/proc/meminfo: memFree=891288/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=104164 CPUtime=1528.73
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 59164 0 0 0 152840 33 0 0 25 0 1 0 1998036382 106663936 4882 996147200 134512640 135472138 4294956224 18446744073709551615 134605013 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 26041 4882 504 234 0 24743 0
Current children cumulated CPU time (s) 1528.73
Current children cumulated vsize (KiB) 104164
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/82 26034
/proc/meminfo: memFree=891288/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=104164 CPUtime=1588.19
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 59169 0 0 0 158786 33 0 0 25 0 1 0 1998036382 106663936 4887 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 26041 4887 504 234 0 24743 0
Current children cumulated CPU time (s) 1588.19
Current children cumulated vsize (KiB) 104164
[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 1.97 4/82 26034
/proc/meminfo: memFree=891288/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=104164 CPUtime=1647.68
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 59169 0 0 0 164734 34 0 0 25 0 1 0 1998036382 106663936 4887 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/26026/statm: 26041 4887 504 234 0 24743 0
Current children cumulated CPU time (s) 1647.68
Current children cumulated vsize (KiB) 104164
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 1.98 2/68 26340
/proc/meminfo: memFree=1689064/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=104164 CPUtime=1707.25
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 59169 0 0 0 170687 38 0 0 25 0 1 0 1998036382 106663936 4887 996147200 134512640 135472138 4294956224 18446744073709551615 134585131 0 0 4096 0 0 0 0 17 0 0 0
/proc/26026/statm: 26041 4887 504 234 0 24743 0
Current children cumulated CPU time (s) 1707.25
Current children cumulated vsize (KiB) 104164
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/82 26469
/proc/meminfo: memFree=1650936/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=104164 CPUtime=1767.21
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 59170 0 0 0 176682 39 0 0 25 0 1 0 1998036382 106663936 4888 996147200 134512640 135472138 4294956224 18446744073709551615 134616372 0 0 4096 0 0 0 0 17 0 0 0
/proc/26026/statm: 26041 4888 504 234 0 24743 0
Current children cumulated CPU time (s) 1767.21
Current children cumulated vsize (KiB) 104164
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.1 s]
/proc/loadavg: 2.01 2.00 1.98 3/82 26469
/proc/meminfo: memFree=1551416/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=104164 CPUtime=1800
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 59170 0 0 0 179961 39 0 0 25 0 1 0 1998036382 106663936 4888 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/26026/statm: 26041 4888 504 234 0 24743 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 104164
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1815.1 s]
/proc/loadavg: 2.01 2.00 1.98 3/82 26469
/proc/meminfo: memFree=1551416/2055920 swapFree=4180448/4192956
[pid=26026] ppid=26024 vsize=104164 CPUtime=1800
/proc/26026/stat : 26026 (casperzito) R 26024 26026 23849 0 -1 4194304 59170 0 0 0 179961 39 0 0 25 0 1 0 1998036382 106663936 4888 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/26026/statm: 26041 4888 504 234 0 24743 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 104164
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1815.11
CPU time (s): 1800.02
CPU user time (s): 1799.62
CPU system time (s): 0.400939
CPU usage (%): 99.1683
Max. virtual memory (cumulated for all children) (KiB): 343816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.400939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59170
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= 69248
runsolver used 2.09468 second user time and 4.99024 second system time
The end
Begin job on node24 at 2008-07-04 18:56:58
IDJOB=1076964
IDBENCH=56620
IDSOLVER=362
FILE ID=node24/1076964-1215190618
PBS_JOBID= 7881575
Free space on /tmp= 66456 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/wordsHerald/normalized-crossword-m1-words-21-10.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1076964-1215190618/watcher-1076964-1215190618 -o /tmp/evaluation-result-1076964-1215190618/solver-1076964-1215190618 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1076964-1215190618.xml 118267961
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 7bcb9756efafd11bd2e8436c9abc02f0
RANDOM SEED=118267961
node24.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.232
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.232
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: 911296 kB
Buffers: 34988 kB
Cached: 245688 kB
SwapCached: 6556 kB
Active: 936708 kB
Inactive: 148372 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 911296 kB
SwapTotal: 4192956 kB
SwapFree: 4180448 kB
Dirty: 3724 kB
Writeback: 0 kB
Mapped: 820680 kB
Slab: 42988 kB
Committed_AS: 4321268 kB
PageTables: 3436 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= 66448 MiB
End job on node24 at 2008-07-04 19:27:15