0.00/0.01 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.00/0.01 c Parsing = 1
1.28/1.32 c Building = 1
1.48/1.52 c [ NumberOfVariables = 4644 ]
1.48/1.52 c [ NumberOfConstraints = 31428 ]
1.48/1.52 c [ SizeOfSearchSpace(log2) = 4644 ]
1.48/1.52 c SymmetrySearch = (Timeout)
11.98/12.01 c [ Proceeding without symmetry breaking ]
12.17/12.21 c InitialPropagation = 1
12.27/12.32 c [ SizeOfSearchSpace(log2) = 4644 ]
12.27/12.32 c InitialSAC = (Timeout)
15.37/15.46 c [ SizeOfSearchSpace(log2) = 4644 ]
15.37/15.47 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-1049359-1215044926/watcher-1049359-1215044926 -o /tmp/evaluation-result-1049359-1215044926/solver-1049359-1215044926 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1049359-1215044926.xml 68163230
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.14 2.04 4/80 20481
/proc/meminfo: memFree=1652488/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=18572 CPUtime=0
/proc/20481/stat : 20481 (runsolver) R 20479 20481 19152 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1983466973 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 255236566311 0 0 4096 24578 0 0 0 17 1 0 0
/proc/20481/statm: 4643 292 257 25 0 2626 0
[startup+0.069519 s]
/proc/loadavg: 2.11 2.14 2.04 4/80 20481
/proc/meminfo: memFree=1652488/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=6372 CPUtime=0.04
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 719 0 0 0 4 0 0 0 18 0 1 0 1983466973 6524928 679 996147200 134512640 135472138 4294956224 18446744073709551615 7919227 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 1593 679 368 234 0 295 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6372
[startup+0.101525 s]
/proc/loadavg: 2.11 2.14 2.04 4/80 20481
/proc/meminfo: memFree=1652488/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=6900 CPUtime=0.07
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 826 0 0 0 7 0 0 0 18 0 1 0 1983466973 7065600 786 996147200 134512640 135472138 4294956224 18446744073709551615 7919227 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 1725 786 368 234 0 427 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6900
[startup+0.301561 s]
/proc/loadavg: 2.11 2.14 2.04 4/80 20481
/proc/meminfo: memFree=1652488/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=9276 CPUtime=0.28
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 1415 0 0 0 27 1 0 0 19 0 1 0 1983466973 9498624 1375 996147200 134512640 135472138 4294956224 18446744073709551615 7919227 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 2319 1375 368 234 0 1021 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9276
[startup+0.701639 s]
/proc/loadavg: 2.11 2.14 2.04 4/80 20481
/proc/meminfo: memFree=1652488/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=13764 CPUtime=0.68
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 2552 0 0 0 66 2 0 0 23 0 1 0 1983466973 14094336 2512 996147200 134512640 135472138 4294956224 18446744073709551615 7919227 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 3441 2512 368 234 0 2143 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13764
[startup+1.50284 s]
/proc/loadavg: 2.11 2.14 2.04 3/81 20482
/proc/meminfo: memFree=1639744/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=122964 CPUtime=1.48
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 9767 0 0 0 143 5 0 0 25 0 1 0 1983466973 125915136 9727 996147200 134512640 135472138 4294956224 18446744073709551615 134588475 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 30741 9730 412 234 0 29443 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 122964
[startup+3.10109 s]
/proc/loadavg: 2.11 2.14 2.04 3/81 20482
/proc/meminfo: memFree=1584320/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=169772 CPUtime=3.07
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 20234 0 0 0 298 9 0 0 25 0 1 0 1983466973 173846528 19243 996147200 134512640 135472138 4294956224 18446744073709551615 134544935 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 42443 19246 450 234 0 41145 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 169772
[startup+6.30269 s]
/proc/loadavg: 2.10 2.13 2.04 3/81 20482
/proc/meminfo: memFree=1561088/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=183732 CPUtime=6.27
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 25851 0 0 0 615 12 0 0 25 0 1 0 1983466973 188141568 23033 996147200 134512640 135472138 4294956224 18446744073709551615 134535390 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 45933 23033 449 234 0 44635 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 183732
[startup+12.7019 s]
/proc/loadavg: 2.10 2.13 2.04 3/81 20482
/proc/meminfo: memFree=1530496/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=166048 CPUtime=12.67
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 37039 0 0 0 1248 19 0 0 25 0 1 0 1983466973 170033152 20920 996147200 134512640 135472138 4294956224 18446744073709551615 134672493 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 41512 20920 478 234 0 40214 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 166048
[startup+25.5013 s]
/proc/loadavg: 2.07 2.12 2.04 3/81 20482
/proc/meminfo: memFree=1569152/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=166048 CPUtime=25.46
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 37213 0 0 0 2527 19 0 0 25 0 1 0 1983466973 170033152 21094 996147200 134512640 135472138 4294956224 18446744073709551615 135202748 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 41512 21094 496 234 0 40214 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 166048
[startup+51.1011 s]
/proc/loadavg: 2.05 2.11 2.03 3/81 20482
/proc/meminfo: memFree=1567872/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=166048 CPUtime=51.05
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 37306 0 0 0 5086 19 0 0 25 0 1 0 1983466973 170033152 21187 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 41512 21187 496 234 0 40214 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 166048
[startup+102.307 s]
/proc/loadavg: 2.02 2.09 2.03 3/81 20482
/proc/meminfo: memFree=1566080/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=166048 CPUtime=102.23
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 37366 0 0 0 10204 19 0 0 25 0 1 0 1983466973 170033152 21247 996147200 134512640 135472138 4294956224 18446744073709551615 135202728 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 41512 21247 496 234 0 40214 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 166048
[startup+162.302 s]
/proc/loadavg: 2.04 2.09 2.03 3/81 20482
/proc/meminfo: memFree=1565760/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=166048 CPUtime=162.19
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 37406 0 0 0 16200 19 0 0 25 0 1 0 1983466973 170033152 21287 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 41512 21287 496 234 0 40214 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 166048
[startup+222.301 s]
/proc/loadavg: 2.01 2.07 2.02 4/81 20482
/proc/meminfo: memFree=1565760/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=166048 CPUtime=222.17
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 37406 0 0 0 22197 20 0 0 25 0 1 0 1983466973 170033152 21287 996147200 134512640 135472138 4294956224 18446744073709551615 134672481 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 41512 21287 496 234 0 40214 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 166048
[startup+282.302 s]
/proc/loadavg: 2.00 2.05 2.02 3/81 20482
/proc/meminfo: memFree=1565632/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=166048 CPUtime=282.14
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 37417 0 0 0 28194 20 0 0 25 0 1 0 1983466973 170033152 21298 996147200 134512640 135472138 4294956224 18446744073709551615 135202728 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 41512 21298 496 234 0 40214 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 166048
[startup+342.302 s]
/proc/loadavg: 2.00 2.04 2.01 3/81 20482
/proc/meminfo: memFree=1565576/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=166048 CPUtime=342.11
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 37417 0 0 0 34191 20 0 0 25 0 1 0 1983466973 170033152 21298 996147200 134512640 135472138 4294956224 18446744073709551615 135202725 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 41512 21298 496 234 0 40214 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 166048
[startup+402.303 s]
/proc/loadavg: 2.00 2.03 2.01 3/81 20482
/proc/meminfo: memFree=1563720/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=166048 CPUtime=402.08
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 37417 0 0 0 40188 20 0 0 25 0 1 0 1983466973 170033152 21298 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 41512 21298 496 234 0 40214 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 166048
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/81 20482
/proc/meminfo: memFree=1563592/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=166048 CPUtime=462.05
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 37417 0 0 0 46185 20 0 0 25 0 1 0 1983466973 170033152 21298 996147200 134512640 135472138 4294956224 18446744073709551615 134873873 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 41512 21298 496 234 0 40214 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 166048
[startup+522.302 s]
/proc/loadavg: 2.00 2.02 2.00 4/81 20482
/proc/meminfo: memFree=1563592/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=166048 CPUtime=522.02
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 37418 0 0 0 52182 20 0 0 25 0 1 0 1983466973 170033152 21299 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 41512 21299 496 234 0 40214 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 166048
[startup+582.302 s]
/proc/loadavg: 2.00 2.01 2.00 4/81 20482
/proc/meminfo: memFree=1563336/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=166048 CPUtime=581.99
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 37418 0 0 0 58179 20 0 0 25 0 1 0 1983466973 170033152 21299 996147200 134512640 135472138 4294956224 18446744073709551615 135202725 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 41512 21299 496 234 0 40214 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 166048
[startup+642.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 20482
/proc/meminfo: memFree=1563144/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=166048 CPUtime=641.97
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 37446 0 0 0 64177 20 0 0 25 0 1 0 1983466973 170033152 21327 996147200 134512640 135472138 4294956224 18446744073709551615 135202712 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 41512 21327 496 234 0 40214 0
Current children cumulated CPU time (s) 641.97
Current children cumulated vsize (KiB) 166048
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 20484
/proc/meminfo: memFree=1562888/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=166048 CPUtime=881.86
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 37457 0 0 0 88164 22 0 0 25 0 1 0 1983466973 170033152 21338 996147200 134512640 135472138 4294956224 18446744073709551615 135202743 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 41512 21338 496 234 0 40214 0
Current children cumulated CPU time (s) 881.86
Current children cumulated vsize (KiB) 166048
[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20484
/proc/meminfo: memFree=1562888/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=166048 CPUtime=941.83
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 37457 0 0 0 94161 22 0 0 25 0 1 0 1983466973 170033152 21338 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 41512 21338 496 234 0 40214 0
Current children cumulated CPU time (s) 941.83
Current children cumulated vsize (KiB) 166048
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20484
/proc/meminfo: memFree=1562888/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=166048 CPUtime=1001.8
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 37457 0 0 0 100158 22 0 0 25 0 1 0 1983466973 170033152 21338 996147200 134512640 135472138 4294956224 18446744073709551615 135202774 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 41512 21338 496 234 0 40214 0
Current children cumulated CPU time (s) 1001.8
Current children cumulated vsize (KiB) 166048
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20484
/proc/meminfo: memFree=1562824/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=166048 CPUtime=1061.77
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 37457 0 0 0 106155 22 0 0 25 0 1 0 1983466973 170033152 21338 996147200 134512640 135472138 4294956224 18446744073709551615 134936157 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 41512 21338 496 234 0 40214 0
Current children cumulated CPU time (s) 1061.77
Current children cumulated vsize (KiB) 166048
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20484
/proc/meminfo: memFree=1562760/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=166048 CPUtime=1121.74
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 37457 0 0 0 112152 22 0 0 25 0 1 0 1983466973 170033152 21338 996147200 134512640 135472138 4294956224 18446744073709551615 135202728 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 41512 21338 496 234 0 40214 0
Current children cumulated CPU time (s) 1121.74
Current children cumulated vsize (KiB) 166048
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20484
/proc/meminfo: memFree=1562632/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=166048 CPUtime=1181.71
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 37457 0 0 0 118149 22 0 0 25 0 1 0 1983466973 170033152 21338 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 41512 21338 496 234 0 40214 0
Current children cumulated CPU time (s) 1181.71
Current children cumulated vsize (KiB) 166048
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 20484
/proc/meminfo: memFree=1562504/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=166048 CPUtime=1241.68
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 37467 0 0 0 124146 22 0 0 25 0 1 0 1983466973 170033152 21348 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 41512 21348 496 234 0 40214 0
Current children cumulated CPU time (s) 1241.68
Current children cumulated vsize (KiB) 166048
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20484
/proc/meminfo: memFree=1562504/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=166048 CPUtime=1301.65
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 37469 0 0 0 130143 22 0 0 25 0 1 0 1983466973 170033152 21350 996147200 134512640 135472138 4294956224 18446744073709551615 134580304 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 41512 21350 496 234 0 40214 0
Current children cumulated CPU time (s) 1301.65
Current children cumulated vsize (KiB) 166048
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20484
/proc/meminfo: memFree=1562440/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=166048 CPUtime=1361.62
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 37469 0 0 0 136140 22 0 0 25 0 1 0 1983466973 170033152 21350 996147200 134512640 135472138 4294956224 18446744073709551615 135202746 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 41512 21350 496 234 0 40214 0
Current children cumulated CPU time (s) 1361.62
Current children cumulated vsize (KiB) 166048
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20484
/proc/meminfo: memFree=1562440/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=166048 CPUtime=1421.59
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 37469 0 0 0 142137 22 0 0 25 0 1 0 1983466973 170033152 21350 996147200 134512640 135472138 4294956224 18446744073709551615 135202748 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 41512 21350 496 234 0 40214 0
Current children cumulated CPU time (s) 1421.59
Current children cumulated vsize (KiB) 166048
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20484
/proc/meminfo: memFree=1562440/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=166048 CPUtime=1481.56
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 37469 0 0 0 148134 22 0 0 25 0 1 0 1983466973 170033152 21350 996147200 134512640 135472138 4294956224 18446744073709551615 134936166 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 41512 21350 496 234 0 40214 0
Current children cumulated CPU time (s) 1481.56
Current children cumulated vsize (KiB) 166048
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 20484
/proc/meminfo: memFree=1562248/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=166048 CPUtime=1541.53
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 37494 0 0 0 154131 22 0 0 25 0 1 0 1983466973 170033152 21375 996147200 134512640 135472138 4294956224 18446744073709551615 134578081 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 41512 21375 496 234 0 40214 0
Current children cumulated CPU time (s) 1541.53
Current children cumulated vsize (KiB) 166048
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20484
/proc/meminfo: memFree=1562184/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=166048 CPUtime=1601.5
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 37494 0 0 0 160128 22 0 0 25 0 1 0 1983466973 170033152 21375 996147200 134512640 135472138 4294956224 18446744073709551615 134580919 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 41512 21375 496 234 0 40214 0
Current children cumulated CPU time (s) 1601.5
Current children cumulated vsize (KiB) 166048
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20484
/proc/meminfo: memFree=1562184/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=166048 CPUtime=1661.48
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 37494 0 0 0 166125 23 0 0 25 0 1 0 1983466973 170033152 21375 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 41512 21375 496 234 0 40214 0
Current children cumulated CPU time (s) 1661.48
Current children cumulated vsize (KiB) 166048
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20484
/proc/meminfo: memFree=1562184/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=166048 CPUtime=1721.45
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 37494 0 0 0 172122 23 0 0 25 0 1 0 1983466973 170033152 21375 996147200 134512640 135472138 4294956224 18446744073709551615 135202728 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 41512 21375 496 234 0 40214 0
Current children cumulated CPU time (s) 1721.45
Current children cumulated vsize (KiB) 166048
[startup+1782.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/81 20553
/proc/meminfo: memFree=1706504/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=166048 CPUtime=1781.42
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 37494 0 0 0 178118 24 0 0 25 0 1 0 1983466973 170033152 21375 996147200 134512640 135472138 4294956224 18446744073709551615 135202746 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 41512 21375 496 234 0 40214 0
Current children cumulated CPU time (s) 1781.42
Current children cumulated vsize (KiB) 166048
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.9 s]
/proc/loadavg: 1.97 1.98 1.99 3/81 20553
/proc/meminfo: memFree=1706440/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=166048 CPUtime=1800.02
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 37494 0 0 0 179978 24 0 0 25 0 1 0 1983466973 170033152 21375 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 41512 21375 496 234 0 40214 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 166048
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.9 s]
/proc/loadavg: 1.97 1.98 1.99 3/81 20553
/proc/meminfo: memFree=1706440/2055920 swapFree=4180456/4192956
[pid=20481] ppid=20479 vsize=166048 CPUtime=1800.02
/proc/20481/stat : 20481 (casperzito) R 20479 20481 19152 0 -1 4194304 37494 0 0 0 179978 24 0 0 25 0 1 0 1983466973 170033152 21375 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/20481/statm: 41512 21375 496 234 0 40214 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 166048
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.92
CPU time (s): 1800.04
CPU user time (s): 1799.78
CPU system time (s): 0.25796
CPU usage (%): 99.9512
Max. virtual memory (cumulated for all children) (KiB): 219516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.25796
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37494
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= 4174
runsolver used 2.30965 second user time and 5.05523 second system time
The end
Begin job on node19 at 2008-07-03 02:28:46
IDJOB=1049359
IDBENCH=54672
IDSOLVER=362
FILE ID=node19/1049359-1215044926
PBS_JOBID= 7875135
Free space on /tmp= 66540 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/pseudo/ppp/normalized-ppp-3-13-25-26.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1049359-1215044926/watcher-1049359-1215044926 -o /tmp/evaluation-result-1049359-1215044926/solver-1049359-1215044926 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1049359-1215044926.xml 68163230
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 7672cbc92c95110a92bce4d4d3f0bc43
RANDOM SEED=68163230
node19.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.263
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 : 5931.00
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.263
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: 1652968 kB
Buffers: 21060 kB
Cached: 127964 kB
SwapCached: 6288 kB
Active: 263192 kB
Inactive: 80872 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1652968 kB
SwapTotal: 4192956 kB
SwapFree: 4180456 kB
Dirty: 7664 kB
Writeback: 0 kB
Mapped: 208952 kB
Slab: 43812 kB
Committed_AS: 4117860 kB
PageTables: 2224 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= 66544 MiB
End job on node19 at 2008-07-03 02:58:49