0.18/0.23 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.18/0.23 c Parsing = 1
1.48/1.59 c Building = 1
1.78/1.81 c [ NumberOfVariables = 800 ]
1.78/1.81 c [ NumberOfConstraints = 37537 ]
1.78/1.82 c [ SizeOfSearchSpace(log2) = 2480.54 ]
1.78/1.82 c SymmetrySearch = 1
3.17/3.22 c InitialPropagation = 1
3.27/3.32 c [ SizeOfSearchSpace(log2) = 2480.54 ]
3.27/3.32 c InitialSAC = (Timeout)
7.05/7.17 c [ SizeOfSearchSpace(log2) = 2480.54 ]
7.05/7.17 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-1057999-1215112245/watcher-1057999-1215112245 -o /tmp/evaluation-result-1057999-1215112245/solver-1057999-1215112245 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1057999-1215112245.xml 2071831441
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: 1.92 1.99 1.99 4/80 3503
/proc/meminfo: memFree=1595888/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=18572 CPUtime=0
/proc/3503/stat : 3503 (runsolver) R 3501 3503 3020 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1990199917 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 233632754983 0 0 4096 24578 0 0 0 17 1 0 0
/proc/3503/statm: 4643 292 257 25 0 2626 0
[startup+0.181035 s]
/proc/loadavg: 1.92 1.99 1.99 4/80 3503
/proc/meminfo: memFree=1595888/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=7432 CPUtime=0.16
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 963 0 0 0 16 0 0 0 18 0 1 0 1990199917 7610368 923 996147200 134512640 135472138 4294956224 18446744073709551615 11359867 0 0 4096 0 0 0 0 17 1 0 0
/proc/3503/statm: 1858 923 368 234 0 560 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 7432
[startup+0.202031 s]
/proc/loadavg: 1.92 1.99 1.99 4/80 3503
/proc/meminfo: memFree=1595888/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=7564 CPUtime=0.18
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 1015 0 0 0 18 0 0 0 18 0 1 0 1990199917 7745536 975 996147200 134512640 135472138 4294956224 18446744073709551615 11359867 0 0 4096 0 0 0 0 17 1 0 0
/proc/3503/statm: 1891 975 368 234 0 593 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 7564
[startup+0.30104 s]
/proc/loadavg: 1.92 1.99 1.99 4/80 3503
/proc/meminfo: memFree=1595888/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=8620 CPUtime=0.28
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 1258 0 0 0 28 0 0 0 19 0 1 0 1990199917 8826880 1218 996147200 134512640 135472138 4294956224 18446744073709551615 11359867 0 0 4096 0 0 0 0 17 1 0 0
/proc/3503/statm: 2155 1218 368 234 0 857 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8620
[startup+0.701072 s]
/proc/loadavg: 1.92 1.99 1.99 4/80 3503
/proc/meminfo: memFree=1595888/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=12316 CPUtime=0.68
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 2194 0 0 0 67 1 0 0 23 0 1 0 1990199917 12611584 2154 996147200 134512640 135472138 4294956224 18446744073709551615 11359867 0 0 4096 0 0 0 0 17 1 0 0
/proc/3503/statm: 3079 2154 368 234 0 1781 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 12316
[startup+1.50214 s]
/proc/loadavg: 1.92 1.99 1.99 3/81 3504
/proc/meminfo: memFree=1584744/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=19840 CPUtime=1.48
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 4062 0 0 0 146 2 0 0 25 0 1 0 1990199917 20316160 4022 996147200 134512640 135472138 4294956224 18446744073709551615 11359867 0 0 4096 0 0 0 0 17 1 0 0
/proc/3503/statm: 4960 4022 368 234 0 3662 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 19840
[startup+3.10127 s]
/proc/loadavg: 1.92 1.99 1.99 3/81 3504
/proc/meminfo: memFree=1529960/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=142400 CPUtime=3.07
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 17027 0 0 0 299 8 0 0 25 0 1 0 1990199917 145817600 16973 996147200 134512640 135472138 4294956224 18446744073709551615 134535923 0 0 4096 0 0 0 0 17 1 0 0
/proc/3503/statm: 35600 16973 464 234 0 34302 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 142400
[startup+6.30153 s]
/proc/loadavg: 1.93 1.99 1.99 3/81 3504
/proc/meminfo: memFree=1531496/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=184308 CPUtime=6.25
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 20246 0 0 0 616 9 0 0 25 0 1 0 1990199917 188731392 16505 996147200 134512640 135472138 4294956224 18446744073709551615 135010582 0 0 4096 0 0 0 0 17 1 0 0
/proc/3503/statm: 46077 16505 494 234 0 44779 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 184308
[startup+12.7011 s]
/proc/loadavg: 1.93 1.99 1.99 3/81 3504
/proc/meminfo: memFree=1531624/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=184308 CPUtime=12.62
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 20273 0 0 0 1253 9 0 0 25 0 1 0 1990199917 188731392 16532 996147200 134512640 135472138 4294956224 18446744073709551615 135202728 0 0 4096 0 0 0 0 17 1 0 0
/proc/3503/statm: 46077 16532 521 234 0 44779 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 184308
[startup+25.5011 s]
/proc/loadavg: 1.95 1.99 1.99 3/81 3504
/proc/meminfo: memFree=1482216/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=184320 CPUtime=25.36
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 32620 0 0 0 2521 15 0 0 25 0 1 0 1990199917 188743680 28879 996147200 134512640 135472138 4294956224 18446744073709551615 135202788 0 0 4096 0 0 0 0 17 1 0 0
/proc/3503/statm: 46080 28879 524 234 0 44782 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 184320
[startup+51.1012 s]
/proc/loadavg: 1.96 1.99 1.99 3/81 3504
/proc/meminfo: memFree=1463912/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=309324 CPUtime=50.83
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 37174 0 0 0 5067 16 0 0 25 0 1 0 1990199917 316747776 33433 996147200 134512640 135472138 4294956224 18446744073709551615 135202728 0 0 4096 0 0 0 0 17 1 0 0
/proc/3503/statm: 77331 33433 524 234 0 76033 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 309324
[startup+102.301 s]
/proc/loadavg: 1.98 1.99 1.99 3/81 3504
/proc/meminfo: memFree=1452264/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=309328 CPUtime=101.79
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 40102 0 0 0 10162 17 0 0 25 0 1 0 1990199917 316751872 36361 996147200 134512640 135472138 4294956224 18446744073709551615 135202728 0 0 4096 0 0 0 0 17 1 0 0
/proc/3503/statm: 77332 36361 524 234 0 76034 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 309328
[startup+162.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/81 3504
/proc/meminfo: memFree=1452264/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=309328 CPUtime=161.5
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 40102 0 0 0 16133 17 0 0 25 0 1 0 1990199917 316751872 36361 996147200 134512640 135472138 4294956224 18446744073709551615 135202779 0 0 4096 0 0 0 0 17 1 0 0
/proc/3503/statm: 77332 36361 524 234 0 76034 0
Current children cumulated CPU time (s) 161.5
Current children cumulated vsize (KiB) 309328
[startup+222.306 s]
/proc/loadavg: 1.99 1.99 1.99 3/81 3504
/proc/meminfo: memFree=1452136/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=309328 CPUtime=221.22
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 40102 0 0 0 22105 17 0 0 25 0 1 0 1990199917 316751872 36361 996147200 134512640 135472138 4294956224 18446744073709551615 135202746 0 0 4096 0 0 0 0 17 1 0 0
/proc/3503/statm: 77332 36361 524 234 0 76034 0
Current children cumulated CPU time (s) 221.22
Current children cumulated vsize (KiB) 309328
[startup+282.301 s]
/proc/loadavg: 2.08 2.02 2.00 3/81 3504
/proc/meminfo: memFree=1452072/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=309328 CPUtime=280.92
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 40102 0 0 0 28075 17 0 0 25 0 1 0 1990199917 316751872 36361 996147200 134512640 135472138 4294956224 18446744073709551615 134581662 0 0 4096 0 0 0 0 17 1 0 0
/proc/3503/statm: 77332 36361 524 234 0 76034 0
Current children cumulated CPU time (s) 280.92
Current children cumulated vsize (KiB) 309328
[startup+342.302 s]
/proc/loadavg: 2.06 2.03 2.00 3/81 3504
/proc/meminfo: memFree=1450728/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=309328 CPUtime=340.64
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 40452 0 0 0 34046 18 0 0 25 0 1 0 1990199917 316751872 36711 996147200 134512640 135472138 4294956224 18446744073709551615 134581671 0 0 4096 0 0 0 0 17 1 0 0
/proc/3503/statm: 77332 36711 524 234 0 76034 0
Current children cumulated CPU time (s) 340.64
Current children cumulated vsize (KiB) 309328
[startup+402.302 s]
/proc/loadavg: 2.24 2.08 2.02 3/81 3504
/proc/meminfo: memFree=1450728/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=309328 CPUtime=400.36
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 40452 0 0 0 40018 18 0 0 25 0 1 0 1990199917 316751872 36711 996147200 134512640 135472138 4294956224 18446744073709551615 135264400 0 0 4096 0 0 0 0 17 1 0 0
/proc/3503/statm: 77332 36711 524 234 0 76034 0
Current children cumulated CPU time (s) 400.36
Current children cumulated vsize (KiB) 309328
[startup+462.302 s]
/proc/loadavg: 2.12 2.08 2.02 3/81 3504
/proc/meminfo: memFree=1450728/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=309328 CPUtime=460.07
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 40452 0 0 0 45989 18 0 0 25 0 1 0 1990199917 316751872 36711 996147200 134512640 135472138 4294956224 18446744073709551615 134581662 0 0 4096 0 0 0 0 17 1 0 0
/proc/3503/statm: 77332 36711 524 234 0 76034 0
Current children cumulated CPU time (s) 460.07
Current children cumulated vsize (KiB) 309328
[startup+522.302 s]
/proc/loadavg: 2.04 2.06 2.01 3/81 3504
/proc/meminfo: memFree=1450664/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=309328 CPUtime=519.78
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 40452 0 0 0 51960 18 0 0 25 0 1 0 1990199917 316751872 36711 996147200 134512640 135472138 4294956224 18446744073709551615 135202725 0 0 4096 0 0 0 0 17 1 0 0
/proc/3503/statm: 77332 36711 524 234 0 76034 0
Current children cumulated CPU time (s) 519.78
Current children cumulated vsize (KiB) 309328
[startup+582.302 s]
/proc/loadavg: 2.01 2.05 2.00 3/81 3504
/proc/meminfo: memFree=1450600/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=309328 CPUtime=579.5
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 40452 0 0 0 57932 18 0 0 25 0 1 0 1990199917 316751872 36711 996147200 134512640 135472138 4294956224 18446744073709551615 135202746 0 0 4096 0 0 0 0 17 1 0 0
/proc/3503/statm: 77332 36711 524 234 0 76034 0
Current children cumulated CPU time (s) 579.5
Current children cumulated vsize (KiB) 309328
[startup+642.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/81 3504
/proc/meminfo: memFree=1444904/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=309328 CPUtime=639.21
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 41873 0 0 0 63902 19 0 0 25 0 1 0 1990199917 316751872 38132 996147200 134512640 135472138 4294956224 18446744073709551615 135202746 0 0 4096 0 0 0 0 17 1 0 0
/proc/3503/statm: 77332 38132 524 234 0 76034 0
Current children cumulated CPU time (s) 639.21
Current children cumulated vsize (KiB) 309328
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 3560
/proc/meminfo: memFree=1421032/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=309328 CPUtime=878.11
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 41959 0 0 0 87791 20 0 0 25 0 1 0 1990199917 316751872 38218 996147200 134512640 135472138 4294956224 18446744073709551615 135202746 0 0 4096 0 0 0 0 17 0 0 0
/proc/3503/statm: 77332 38218 524 234 0 76034 0
Current children cumulated CPU time (s) 878.11
Current children cumulated vsize (KiB) 309328
[startup+942.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 3560
/proc/meminfo: memFree=1420584/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=309328 CPUtime=937.87
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 41959 0 0 0 93767 20 0 0 25 0 1 0 1990199917 316751872 38218 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/3503/statm: 77332 38218 524 234 0 76034 0
Current children cumulated CPU time (s) 937.87
Current children cumulated vsize (KiB) 309328
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 3560
/proc/meminfo: memFree=1420520/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=309328 CPUtime=997.63
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 41959 0 0 0 99743 20 0 0 25 0 1 0 1990199917 316751872 38218 996147200 134512640 135472138 4294956224 18446744073709551615 134581664 0 0 4096 0 0 0 0 17 0 0 0
/proc/3503/statm: 77332 38218 524 234 0 76034 0
Current children cumulated CPU time (s) 997.63
Current children cumulated vsize (KiB) 309328
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 3560
/proc/meminfo: memFree=1420520/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=309328 CPUtime=1057.38
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 41959 0 0 0 105718 20 0 0 25 0 1 0 1990199917 316751872 38218 996147200 134512640 135472138 4294956224 18446744073709551615 134889680 0 0 4096 0 0 0 0 17 0 0 0
/proc/3503/statm: 77332 38218 524 234 0 76034 0
Current children cumulated CPU time (s) 1057.38
Current children cumulated vsize (KiB) 309328
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 3560
/proc/meminfo: memFree=1420520/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=309328 CPUtime=1117.14
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 41959 0 0 0 111694 20 0 0 25 0 1 0 1990199917 316751872 38218 996147200 134512640 135472138 4294956224 18446744073709551615 134672496 0 0 4096 0 0 0 0 17 0 0 0
/proc/3503/statm: 77332 38218 524 234 0 76034 0
Current children cumulated CPU time (s) 1117.14
Current children cumulated vsize (KiB) 309328
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 3560
/proc/meminfo: memFree=1419112/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=309328 CPUtime=1176.91
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 42330 0 0 0 117670 21 0 0 25 0 1 0 1990199917 316751872 38589 996147200 134512640 135472138 4294956224 18446744073709551615 134984224 0 0 4096 0 0 0 0 17 0 0 0
/proc/3503/statm: 77332 38589 524 234 0 76034 0
Current children cumulated CPU time (s) 1176.91
Current children cumulated vsize (KiB) 309328
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 3562
/proc/meminfo: memFree=1418920/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=309328 CPUtime=1236.66
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 42330 0 0 0 123645 21 0 0 25 0 1 0 1990199917 316751872 38589 996147200 134512640 135472138 4294956224 18446744073709551615 134889694 0 0 4096 0 0 0 0 17 0 0 0
/proc/3503/statm: 77332 38589 524 234 0 76034 0
Current children cumulated CPU time (s) 1236.66
Current children cumulated vsize (KiB) 309328
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 3562
/proc/meminfo: memFree=1418920/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=309328 CPUtime=1296.42
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 42330 0 0 0 129621 21 0 0 25 0 1 0 1990199917 316751872 38589 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/3503/statm: 77332 38589 524 234 0 76034 0
Current children cumulated CPU time (s) 1296.42
Current children cumulated vsize (KiB) 309328
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 3562
/proc/meminfo: memFree=1418920/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=309328 CPUtime=1356.18
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 42330 0 0 0 135597 21 0 0 25 0 1 0 1990199917 316751872 38589 996147200 134512640 135472138 4294956224 18446744073709551615 134984280 0 0 4096 0 0 0 0 17 0 0 0
/proc/3503/statm: 77332 38589 524 234 0 76034 0
Current children cumulated CPU time (s) 1356.18
Current children cumulated vsize (KiB) 309328
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 3562
/proc/meminfo: memFree=1418856/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=309328 CPUtime=1415.94
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 42395 0 0 0 141573 21 0 0 25 0 1 0 1990199917 316751872 38654 996147200 134512640 135472138 4294956224 18446744073709551615 135262944 0 0 4096 0 0 0 0 17 0 0 0
/proc/3503/statm: 77332 38654 524 234 0 76034 0
Current children cumulated CPU time (s) 1415.94
Current children cumulated vsize (KiB) 309328
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 3562
/proc/meminfo: memFree=1418664/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=309328 CPUtime=1475.7
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 42395 0 0 0 147549 21 0 0 25 0 1 0 1990199917 316751872 38654 996147200 134512640 135472138 4294956224 18446744073709551615 135202739 0 0 4096 0 0 0 0 17 0 0 0
/proc/3503/statm: 77332 38654 524 234 0 76034 0
Current children cumulated CPU time (s) 1475.7
Current children cumulated vsize (KiB) 309328
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 3562
/proc/meminfo: memFree=1418664/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=309328 CPUtime=1535.46
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 42395 0 0 0 153525 21 0 0 25 0 1 0 1990199917 316751872 38654 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/3503/statm: 77332 38654 524 234 0 76034 0
Current children cumulated CPU time (s) 1535.46
Current children cumulated vsize (KiB) 309328
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 3562
/proc/meminfo: memFree=1418664/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=309328 CPUtime=1595.21
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 42395 0 0 0 159500 21 0 0 25 0 1 0 1990199917 316751872 38654 996147200 134512640 135472138 4294956224 18446744073709551615 134917137 0 0 4096 0 0 0 0 17 0 0 0
/proc/3503/statm: 77332 38654 524 234 0 76034 0
Current children cumulated CPU time (s) 1595.21
Current children cumulated vsize (KiB) 309328
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 3562
/proc/meminfo: memFree=1418600/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=309328 CPUtime=1654.97
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 42395 0 0 0 165476 21 0 0 25 0 1 0 1990199917 316751872 38654 996147200 134512640 135472138 4294956224 18446744073709551615 135202746 0 0 4096 0 0 0 0 17 0 0 0
/proc/3503/statm: 77332 38654 524 234 0 76034 0
Current children cumulated CPU time (s) 1654.97
Current children cumulated vsize (KiB) 309328
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 3562
/proc/meminfo: memFree=1418600/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=309328 CPUtime=1714.73
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 42395 0 0 0 171452 21 0 0 25 0 1 0 1990199917 316751872 38654 996147200 134512640 135472138 4294956224 18446744073709551615 134965153 0 0 4096 0 0 0 0 17 0 0 0
/proc/3503/statm: 77332 38654 524 234 0 76034 0
Current children cumulated CPU time (s) 1714.73
Current children cumulated vsize (KiB) 309328
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 3562
/proc/meminfo: memFree=1418472/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=309328 CPUtime=1774.49
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 42395 0 0 0 177428 21 0 0 25 0 1 0 1990199917 316751872 38654 996147200 134512640 135472138 4294956224 18446744073709551615 134868641 0 0 4096 0 0 0 0 17 0 0 0
/proc/3503/statm: 77332 38654 524 234 0 76034 0
Current children cumulated CPU time (s) 1774.49
Current children cumulated vsize (KiB) 309328
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 3562
/proc/meminfo: memFree=1418472/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=309328 CPUtime=1800.09
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 42395 0 0 0 179988 21 0 0 25 0 1 0 1990199917 316751872 38654 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/3503/statm: 77332 38654 524 234 0 76034 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 309328
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1808 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 3562
/proc/meminfo: memFree=1418472/2055920 swapFree=4180472/4192956
[pid=3503] ppid=3501 vsize=309328 CPUtime=1800.09
/proc/3503/stat : 3503 (casperzito) R 3501 3503 3020 0 -1 4194304 42395 0 0 0 179988 21 0 0 25 0 1 0 1990199917 316751872 38654 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/3503/statm: 77332 38654 524 234 0 76034 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 309328
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.03
CPU time (s): 1800.12
CPU user time (s): 1799.88
CPU system time (s): 0.242963
CPU usage (%): 99.5627
Max. virtual memory (cumulated for all children) (KiB): 309328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.88
system time used= 0.242963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42395
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= 38690
runsolver used 1.80472 second user time and 4.78127 second system time
The end
Begin job on node3 at 2008-07-03 21:10:45
IDJOB=1057999
IDBENCH=54100
IDSOLVER=362
FILE ID=node3/1057999-1215112245
PBS_JOBID= 7877197
Free space on /tmp= 66548 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/compet08/normalized-patat-08-comp-1.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1057999-1215112245/watcher-1057999-1215112245 -o /tmp/evaluation-result-1057999-1215112245/solver-1057999-1215112245 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1057999-1215112245.xml 2071831441
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 4d169279fa4e9bed6ceba6b2cb05fd73
RANDOM SEED=2071831441
node3.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: 1596368 kB
Buffers: 37604 kB
Cached: 286240 kB
SwapCached: 6568 kB
Active: 245236 kB
Inactive: 151780 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1596368 kB
SwapTotal: 4192956 kB
SwapFree: 4180472 kB
Dirty: 8232 kB
Writeback: 0 kB
Mapped: 89504 kB
Slab: 47660 kB
Committed_AS: 4131044 kB
PageTables: 1952 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= 66540 MiB
End job on node3 at 2008-07-03 21:40:55