0.19/0.22 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.19/0.22 c Parsing = 1
1.67/1.70 c Building = 1
1.96/2.03 c [ NumberOfVariables = 11247 ]
1.96/2.03 c [ NumberOfConstraints = 13116 ]
1.96/2.03 c [ SizeOfSearchSpace(log2) = 11247 ]
1.96/2.03 c SymmetrySearch = (Timeout)
29.13/29.48 c [ Proceeding without symmetry breaking ]
29.23/29.58 c InitialPropagation = 1
29.63/29.98 c [ SizeOfSearchSpace(log2) = 11247 ]
29.63/29.98 c InitialSAC = (Timeout)
36.67/37.09 c [ SizeOfSearchSpace(log2) = 11246 ]
36.67/37.10 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-1065060-1215145648/watcher-1065060-1215145648 -o /tmp/evaluation-result-1065060-1215145648/solver-1065060-1215145648 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1065060-1215145648.xml 66502517
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.03 2.00 4/76 31820
/proc/meminfo: memFree=1598976/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=18572 CPUtime=0
/proc/31820/stat : 31820 (runsolver) R 31818 31820 29028 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1993538592 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 221780700455 0 0 4096 24578 0 0 0 17 1 0 0
/proc/31820/statm: 4643 292 257 25 0 2626 0
[startup+0.100733 s]
/proc/loadavg: 2.00 2.03 2.00 4/76 31820
/proc/meminfo: memFree=1598976/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=7160 CPUtime=0.08
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 889 0 0 0 8 0 0 0 18 0 1 0 1993538592 7331840 849 996147200 134512640 135472138 4294956224 18446744073709551615 4158423322 0 0 4096 0 0 0 0 17 1 0 0
/proc/31820/statm: 1790 849 368 234 0 492 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7160
[startup+0.202741 s]
/proc/loadavg: 2.00 2.03 2.00 4/76 31820
/proc/meminfo: memFree=1598976/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=12980 CPUtime=0.19
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 2362 0 0 0 18 1 0 0 18 0 1 0 1993538592 13291520 2322 996147200 134512640 135472138 4294956224 18446744073709551615 4564603 0 0 4096 0 0 0 0 17 1 0 0
/proc/31820/statm: 3245 2322 368 234 0 1947 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12980
[startup+0.302758 s]
/proc/loadavg: 2.00 2.03 2.00 4/76 31820
/proc/meminfo: memFree=1598976/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=16836 CPUtime=0.28
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 3331 0 0 0 27 1 0 0 19 0 1 0 1993538592 17240064 3291 996147200 134512640 135472138 4294956224 18446744073709551615 4159786961 0 0 4096 0 0 0 0 17 1 0 0
/proc/31820/statm: 4209 3291 368 234 0 2911 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 16836
[startup+0.701773 s]
/proc/loadavg: 2.00 2.03 2.00 4/76 31820
/proc/meminfo: memFree=1598976/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=21852 CPUtime=0.68
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 4567 0 0 0 66 2 0 0 23 0 1 0 1993538592 22376448 4527 996147200 134512640 135472138 4294956224 18446744073709551615 4158766018 0 0 4096 0 0 0 0 17 1 0 0
/proc/31820/statm: 5463 4527 368 234 0 4165 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21852
[startup+1.50182 s]
/proc/loadavg: 2.00 2.03 2.00 3/77 31821
/proc/meminfo: memFree=1577336/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=32016 CPUtime=1.47
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 7100 0 0 0 143 4 0 0 25 0 1 0 1993538592 32784384 7060 996147200 134512640 135472138 4294956224 18446744073709551615 134749049 0 0 4096 0 0 0 0 17 1 0 0
/proc/31820/statm: 8004 7060 368 234 0 6706 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 32016
[startup+3.10193 s]
/proc/loadavg: 2.00 2.03 2.00 3/77 31821
/proc/meminfo: memFree=1518200/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=196560 CPUtime=3.06
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 26318 0 0 0 293 13 0 0 25 0 1 0 1993538592 201277440 26037 996147200 134512640 135472138 4294956224 18446744073709551615 134535933 0 0 4096 0 0 0 0 17 1 0 0
/proc/31820/statm: 49140 26037 448 234 0 47842 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 196560
[startup+6.30113 s]
/proc/loadavg: 2.00 2.03 2.00 3/77 31821
/proc/meminfo: memFree=1495672/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=196560 CPUtime=6.23
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 26536 0 0 0 610 13 0 0 25 0 1 0 1993538592 201277440 26241 996147200 134512640 135472138 4294956224 18446744073709551615 134534853 0 0 4096 0 0 0 0 17 1 0 0
/proc/31820/statm: 49140 26241 448 234 0 47842 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 196560
[startup+12.7015 s]
/proc/loadavg: 2.00 2.03 2.00 3/77 31821
/proc/meminfo: memFree=1493944/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=196560 CPUtime=12.57
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 26943 0 0 0 1244 13 0 0 25 0 1 0 1993538592 201277440 26611 996147200 134512640 135472138 4294956224 18446744073709551615 134535929 0 0 4096 0 0 0 0 17 1 0 0
/proc/31820/statm: 49140 26611 448 234 0 47842 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 196560
[startup+25.5023 s]
/proc/loadavg: 2.00 2.02 2.00 3/77 31821
/proc/meminfo: memFree=1492664/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=196560 CPUtime=25.27
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 27288 0 0 0 2513 14 0 0 25 0 1 0 1993538592 201277440 26933 996147200 134512640 135472138 4294956224 18446744073709551615 134535933 0 0 4096 0 0 0 0 17 1 0 0
/proc/31820/statm: 49140 26933 448 234 0 47842 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 196560
[startup+51.1029 s]
/proc/loadavg: 2.00 2.02 2.00 3/77 31821
/proc/meminfo: memFree=1526200/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=146020 CPUtime=50.65
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 28301 0 0 0 5050 15 0 0 25 0 1 0 1993538592 149524480 18597 996147200 134512640 135472138 4294956224 18446744073709551615 135202748 0 0 4096 0 0 0 0 17 1 0 0
/proc/31820/statm: 36505 18597 495 234 0 35207 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 146020
[startup+102.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/77 31821
/proc/meminfo: memFree=1525240/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=146020 CPUtime=101.42
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 28488 0 0 0 10126 16 0 0 25 0 1 0 1993538592 149524480 18784 996147200 134512640 135472138 4294956224 18446744073709551615 134580318 0 0 4096 0 0 0 0 17 1 0 0
/proc/31820/statm: 36505 18784 495 234 0 35207 0
Current children cumulated CPU time (s) 101.42
Current children cumulated vsize (KiB) 146020
[startup+162.303 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 31821
/proc/meminfo: memFree=1524792/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=146020 CPUtime=160.92
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 28617 0 0 0 16076 16 0 0 25 0 1 0 1993538592 149524480 18913 996147200 134512640 135472138 4294956224 18446744073709551615 135202774 0 0 4096 0 0 0 0 17 1 0 0
/proc/31820/statm: 36505 18913 495 234 0 35207 0
Current children cumulated CPU time (s) 160.92
Current children cumulated vsize (KiB) 146020
[startup+222.308 s]
/proc/loadavg: 1.96 1.99 1.99 3/85 31867
/proc/meminfo: memFree=1189248/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=146020 CPUtime=220.87
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 28637 0 0 0 22068 19 0 0 25 0 1 0 1993538592 149524480 18933 996147200 134512640 135472138 4294956224 18446744073709551615 134672497 0 0 4096 0 0 0 0 17 0 0 0
/proc/31820/statm: 36505 18933 495 234 0 35207 0
Current children cumulated CPU time (s) 220.87
Current children cumulated vsize (KiB) 146020
[startup+282.302 s]
/proc/loadavg: 1.98 1.99 1.99 3/85 31867
/proc/meminfo: memFree=1188736/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=146020 CPUtime=280.85
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 28727 0 0 0 28065 20 0 0 25 0 1 0 1993538592 149524480 19023 996147200 134512640 135472138 4294956224 18446744073709551615 134578209 0 0 4096 0 0 0 0 17 0 0 0
/proc/31820/statm: 36505 19023 495 234 0 35207 0
Current children cumulated CPU time (s) 280.85
Current children cumulated vsize (KiB) 146020
[startup+342.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/85 31867
/proc/meminfo: memFree=1188608/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=146020 CPUtime=340.83
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 28735 0 0 0 34063 20 0 0 25 0 1 0 1993538592 149524480 19031 996147200 134512640 135472138 4294956224 18446744073709551615 135202774 0 0 4096 0 0 0 0 17 0 0 0
/proc/31820/statm: 36505 19031 495 234 0 35207 0
Current children cumulated CPU time (s) 340.83
Current children cumulated vsize (KiB) 146020
[startup+402.303 s]
/proc/loadavg: 1.99 1.99 1.99 3/85 31867
/proc/meminfo: memFree=1188480/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=146020 CPUtime=400.81
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 28747 0 0 0 40061 20 0 0 25 0 1 0 1993538592 149524480 19043 996147200 134512640 135472138 4294956224 18446744073709551615 134580922 0 0 4096 0 0 0 0 17 0 0 0
/proc/31820/statm: 36505 19043 495 234 0 35207 0
Current children cumulated CPU time (s) 400.81
Current children cumulated vsize (KiB) 146020
[startup+462.303 s]
/proc/loadavg: 1.99 1.99 1.99 3/85 31867
/proc/meminfo: memFree=1188480/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=146020 CPUtime=460.79
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 28748 0 0 0 46059 20 0 0 25 0 1 0 1993538592 149524480 19044 996147200 134512640 135472138 4294956224 18446744073709551615 135202728 0 0 4096 0 0 0 0 17 0 0 0
/proc/31820/statm: 36505 19044 495 234 0 35207 0
Current children cumulated CPU time (s) 460.79
Current children cumulated vsize (KiB) 146020
[startup+522.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/85 31867
/proc/meminfo: memFree=1188416/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=146020 CPUtime=520.77
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 28751 0 0 0 52057 20 0 0 25 0 1 0 1993538592 149524480 19047 996147200 134512640 135472138 4294956224 18446744073709551615 134578209 0 0 4096 0 0 0 0 17 0 0 0
/proc/31820/statm: 36505 19047 495 234 0 35207 0
Current children cumulated CPU time (s) 520.77
Current children cumulated vsize (KiB) 146020
[startup+582.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/85 31867
/proc/meminfo: memFree=1188032/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=146020 CPUtime=580.75
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 28841 0 0 0 58055 20 0 0 25 0 1 0 1993538592 149524480 19137 996147200 134512640 135472138 4294956224 18446744073709551615 135202728 0 0 4096 0 0 0 0 17 0 0 0
/proc/31820/statm: 36505 19137 495 234 0 35207 0
Current children cumulated CPU time (s) 580.75
Current children cumulated vsize (KiB) 146020
[startup+642.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/85 31867
/proc/meminfo: memFree=1188032/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=146020 CPUtime=640.73
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 28841 0 0 0 64053 20 0 0 25 0 1 0 1993538592 149524480 19137 996147200 134512640 135472138 4294956224 18446744073709551615 134578081 0 0 4096 0 0 0 0 17 0 0 0
/proc/31820/statm: 36505 19137 495 234 0 35207 0
Current children cumulated CPU time (s) 640.73
Current children cumulated vsize (KiB) 146020
################
# More data... #
################
[startup+882.306 s]
/proc/loadavg: 2.03 2.02 2.00 3/85 31867
/proc/meminfo: memFree=1187456/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=146020 CPUtime=880.65
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 28938 0 0 0 88045 20 0 0 25 0 1 0 1993538592 149524480 19234 996147200 134512640 135472138 4294956224 18446744073709551615 135202746 0 0 4096 0 0 0 0 17 0 0 0
/proc/31820/statm: 36505 19234 495 234 0 35207 0
Current children cumulated CPU time (s) 880.65
Current children cumulated vsize (KiB) 146020
[startup+942.302 s]
/proc/loadavg: 2.01 2.01 2.00 3/85 31867
/proc/meminfo: memFree=1187456/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=146020 CPUtime=940.62
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 28938 0 0 0 94042 20 0 0 25 0 1 0 1993538592 149524480 19234 996147200 134512640 135472138 4294956224 18446744073709551615 135202748 0 0 4096 0 0 0 0 17 0 0 0
/proc/31820/statm: 36505 19234 495 234 0 35207 0
Current children cumulated CPU time (s) 940.62
Current children cumulated vsize (KiB) 146020
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 31867
/proc/meminfo: memFree=1187392/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=146020 CPUtime=1000.6
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 28938 0 0 0 100040 20 0 0 25 0 1 0 1993538592 149524480 19234 996147200 134512640 135472138 4294956224 18446744073709551615 135202725 0 0 4096 0 0 0 0 17 0 0 0
/proc/31820/statm: 36505 19234 495 234 0 35207 0
Current children cumulated CPU time (s) 1000.6
Current children cumulated vsize (KiB) 146020
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 31867
/proc/meminfo: memFree=1187392/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=146020 CPUtime=1060.58
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 28938 0 0 0 106038 20 0 0 25 0 1 0 1993538592 149524480 19234 996147200 134512640 135472138 4294956224 18446744073709551615 135202725 0 0 4096 0 0 0 0 17 0 0 0
/proc/31820/statm: 36505 19234 495 234 0 35207 0
Current children cumulated CPU time (s) 1060.58
Current children cumulated vsize (KiB) 146020
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 31867
/proc/meminfo: memFree=1187392/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=146020 CPUtime=1120.57
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 28938 0 0 0 112036 21 0 0 25 0 1 0 1993538592 149524480 19234 996147200 134512640 135472138 4294956224 18446744073709551615 135202757 0 0 4096 0 0 0 0 17 0 0 0
/proc/31820/statm: 36505 19234 495 234 0 35207 0
Current children cumulated CPU time (s) 1120.57
Current children cumulated vsize (KiB) 146020
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 31867
/proc/meminfo: memFree=1187328/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=146020 CPUtime=1180.55
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 28938 0 0 0 118034 21 0 0 25 0 1 0 1993538592 149524480 19234 996147200 134512640 135472138 4294956224 18446744073709551615 134672481 0 0 4096 0 0 0 0 17 0 0 0
/proc/31820/statm: 36505 19234 495 234 0 35207 0
Current children cumulated CPU time (s) 1180.55
Current children cumulated vsize (KiB) 146020
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 31867
/proc/meminfo: memFree=1187136/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=146020 CPUtime=1240.53
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 28938 0 0 0 124032 21 0 0 25 0 1 0 1993538592 149524480 19234 996147200 134512640 135472138 4294956224 18446744073709551615 135202739 0 0 4096 0 0 0 0 17 0 0 0
/proc/31820/statm: 36505 19234 495 234 0 35207 0
Current children cumulated CPU time (s) 1240.53
Current children cumulated vsize (KiB) 146020
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 31867
/proc/meminfo: memFree=1187072/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=146020 CPUtime=1300.51
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 28938 0 0 0 130030 21 0 0 25 0 1 0 1993538592 149524480 19234 996147200 134512640 135472138 4294956224 18446744073709551615 134578209 0 0 4096 0 0 0 0 17 0 0 0
/proc/31820/statm: 36505 19234 495 234 0 35207 0
Current children cumulated CPU time (s) 1300.51
Current children cumulated vsize (KiB) 146020
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 31867
/proc/meminfo: memFree=1187072/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=146020 CPUtime=1360.49
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 28938 0 0 0 136028 21 0 0 25 0 1 0 1993538592 149524480 19234 996147200 134512640 135472138 4294956224 18446744073709551615 135202757 0 0 4096 0 0 0 0 17 0 0 0
/proc/31820/statm: 36505 19234 495 234 0 35207 0
Current children cumulated CPU time (s) 1360.49
Current children cumulated vsize (KiB) 146020
[startup+1422.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/85 31867
/proc/meminfo: memFree=1187072/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=146020 CPUtime=1420.47
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 28938 0 0 0 142026 21 0 0 25 0 1 0 1993538592 149524480 19234 996147200 134512640 135472138 4294956224 18446744073709551615 134578081 0 0 4096 0 0 0 0 17 0 0 0
/proc/31820/statm: 36505 19234 495 234 0 35207 0
Current children cumulated CPU time (s) 1420.47
Current children cumulated vsize (KiB) 146020
[startup+1482.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/85 31867
/proc/meminfo: memFree=1187072/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=146020 CPUtime=1480.45
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 28938 0 0 0 148024 21 0 0 25 0 1 0 1993538592 149524480 19234 996147200 134512640 135472138 4294956224 18446744073709551615 135202648 0 0 4096 0 0 0 0 17 0 0 0
/proc/31820/statm: 36505 19234 495 234 0 35207 0
Current children cumulated CPU time (s) 1480.45
Current children cumulated vsize (KiB) 146020
[startup+1542.31 s]
/proc/loadavg: 2.23 2.09 2.02 3/85 31867
/proc/meminfo: memFree=1187072/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=146020 CPUtime=1540.43
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 28938 0 0 0 154022 21 0 0 25 0 1 0 1993538592 149524480 19234 996147200 134512640 135472138 4294956224 18446744073709551615 134672497 0 0 4096 0 0 0 0 17 0 0 0
/proc/31820/statm: 36505 19234 495 234 0 35207 0
Current children cumulated CPU time (s) 1540.43
Current children cumulated vsize (KiB) 146020
[startup+1602.3 s]
/proc/loadavg: 2.08 2.07 2.02 3/85 31867
/proc/meminfo: memFree=1187008/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=146020 CPUtime=1600.4
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 28938 0 0 0 160019 21 0 0 25 0 1 0 1993538592 149524480 19234 996147200 134512640 135472138 4294956224 18446744073709551615 135202725 0 0 4096 0 0 0 0 17 0 0 0
/proc/31820/statm: 36505 19234 495 234 0 35207 0
Current children cumulated CPU time (s) 1600.4
Current children cumulated vsize (KiB) 146020
[startup+1662.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/85 31867
/proc/meminfo: memFree=1186944/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=146020 CPUtime=1660.39
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 28985 0 0 0 166017 22 0 0 25 0 1 0 1993538592 149524480 19281 996147200 134512640 135472138 4294956224 18446744073709551615 135202678 0 0 4096 0 0 0 0 17 0 0 0
/proc/31820/statm: 36505 19281 495 234 0 35207 0
Current children cumulated CPU time (s) 1660.39
Current children cumulated vsize (KiB) 146020
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/85 31867
/proc/meminfo: memFree=1186816/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=146020 CPUtime=1720.37
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 29014 0 0 0 172015 22 0 0 25 0 1 0 1993538592 149524480 19310 996147200 134512640 135472138 4294956224 18446744073709551615 135202779 0 0 4096 0 0 0 0 17 0 0 0
/proc/31820/statm: 36505 19310 495 234 0 35207 0
Current children cumulated CPU time (s) 1720.37
Current children cumulated vsize (KiB) 146020
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/85 31867
/proc/meminfo: memFree=1186624/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=146020 CPUtime=1780.35
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 29014 0 0 0 178013 22 0 0 25 0 1 0 1993538592 149524480 19310 996147200 134512640 135472138 4294956224 18446744073709551615 135202739 0 0 4096 0 0 0 0 17 0 0 0
/proc/31820/statm: 36505 19310 495 234 0 35207 0
Current children cumulated CPU time (s) 1780.35
Current children cumulated vsize (KiB) 146020
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802 s]
/proc/loadavg: 2.00 2.03 2.00 3/85 31867
/proc/meminfo: memFree=1186624/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=146020 CPUtime=1800.05
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 29014 0 0 0 179983 22 0 0 25 0 1 0 1993538592 149524480 19310 996147200 134512640 135472138 4294956224 18446744073709551615 134578192 0 0 4096 0 0 0 0 17 0 0 0
/proc/31820/statm: 36505 19310 495 234 0 35207 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 146020
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.03 2.00 3/85 31867
/proc/meminfo: memFree=1186624/2055920 swapFree=4180452/4192956
[pid=31820] ppid=31818 vsize=146020 CPUtime=1800.05
/proc/31820/stat : 31820 (casperzito) R 31818 31820 29028 0 -1 4194304 29014 0 0 0 179983 22 0 0 25 0 1 0 1993538592 149524480 19310 996147200 134512640 135472138 4294956224 18446744073709551615 134578192 0 0 4096 0 0 0 0 17 0 0 0
/proc/31820/statm: 36505 19310 495 234 0 35207 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 146020
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1802.02
CPU time (s): 1800.07
CPU user time (s): 1799.84
CPU system time (s): 0.237963
CPU usage (%): 99.892
Max. virtual memory (cumulated for all children) (KiB): 196560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.237963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29014
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= 9667
runsolver used 2.12168 second user time and 5.9361 second system time
The end
Begin job on node29 at 2008-07-04 06:27:28
IDJOB=1065060
IDBENCH=55031
IDSOLVER=362
FILE ID=node29/1065060-1215145648
PBS_JOBID= 7877320
Free space on /tmp= 66556 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/pseudo/mps/normalized-mps-mzzv11.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1065060-1215145648/watcher-1065060-1215145648 -o /tmp/evaluation-result-1065060-1215145648/solver-1065060-1215145648 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1065060-1215145648.xml 66502517
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= c9a76bf490192c7e7a129e900791107d
RANDOM SEED=66502517
node29.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.220
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.220
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: 1599456 kB
Buffers: 62168 kB
Cached: 315908 kB
SwapCached: 6872 kB
Active: 202256 kB
Inactive: 196852 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1599456 kB
SwapTotal: 4192956 kB
SwapFree: 4180452 kB
Dirty: 7124 kB
Writeback: 0 kB
Mapped: 27324 kB
Slab: 42488 kB
Committed_AS: 3457492 kB
PageTables: 1972 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= 66524 MiB
End job on node29 at 2008-07-04 06:57:32