0.18/0.21 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.18/0.21 c Parsing = 1
0.18/0.21 c Building = 1
6.13/6.21 c [ NumberOfVariables = 300 ]
6.13/6.21 c [ NumberOfConstraints = 3130 ]
6.13/6.21 c [ SizeOfSearchSpace(log2) = 3091.21 ]
6.13/6.21 c SymmetrySearch = 1
6.13/6.29 c InitialPropagation = 1
6.23/6.31 c [ SizeOfSearchSpace(log2) = 2731.07 ]
6.23/6.31 c InitialSAC = 1
6.53/6.62 c [ SizeOfSearchSpace(log2) = 2731.07 ]
6.53/6.62 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-1080860-1215213515/watcher-1080860-1215213515 -o /tmp/evaluation-result-1080860-1215213515/solver-1080860-1215213515 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1080860-1215213515.xml 1625403297
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 1.97 1.78 3/81 27240
/proc/meminfo: memFree=316008/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=18572 CPUtime=0
/proc/27240/stat : 27240 (runsolver) R 27238 27240 26850 0 -1 4194368 15 0 0 0 0 0 0 0 23 0 1 0 2000323818 19017728 292 996147200 4194304 4296836 548682068464 18446744073709551615 273653755175 0 0 4096 24578 0 0 0 17 1 0 0
/proc/27240/statm: 4643 292 257 25 0 2626 0
[startup+0.0908671 s]
/proc/loadavg: 2.00 1.97 1.78 3/81 27240
/proc/meminfo: memFree=316008/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=6364 CPUtime=0.07
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 718 0 0 0 7 0 0 0 18 0 1 0 2000323818 6516736 678 996147200 134512640 135477443 4294956224 18446744073709551615 134774117 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 1591 678 370 235 0 292 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6364
[startup+0.102867 s]
/proc/loadavg: 2.00 1.97 1.78 3/81 27240
/proc/meminfo: memFree=316008/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=6628 CPUtime=0.08
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 757 0 0 0 8 0 0 0 18 0 1 0 2000323818 6787072 717 996147200 134512640 135477443 4294956224 18446744073709551615 134813294 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 1657 717 370 235 0 358 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6628
[startup+0.301898 s]
/proc/loadavg: 2.00 1.97 1.78 3/81 27240
/proc/meminfo: memFree=316008/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=289088 CPUtime=0.28
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 3830 0 0 0 27 1 0 0 19 0 1 0 2000323818 296026112 1185 996147200 134512640 135477443 4294956224 18446744073709551615 135268929 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 72272 1185 453 235 0 70973 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 289088
[startup+0.702964 s]
/proc/loadavg: 2.00 1.97 1.78 3/81 27240
/proc/meminfo: memFree=316008/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=291992 CPUtime=0.68
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 10414 0 0 0 64 4 0 0 23 0 1 0 2000323818 298999808 1922 996147200 134512640 135477443 4294956224 18446744073709551615 135270494 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 72998 1922 453 235 0 71699 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 291992
[startup+1.50107 s]
/proc/loadavg: 2.00 1.97 1.78 3/82 27241
/proc/meminfo: memFree=307680/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=297668 CPUtime=1.47
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 23150 0 0 0 135 12 0 0 25 0 1 0 2000323818 304812032 3414 996147200 134512640 135477443 4294956224 18446744073709551615 135214007 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 74417 3414 453 235 0 73118 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 297668
[startup+3.10131 s]
/proc/loadavg: 2.00 1.97 1.78 3/82 27241
/proc/meminfo: memFree=299296/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=309284 CPUtime=3.06
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 48979 0 0 0 280 26 0 0 25 0 1 0 2000323818 316706816 6408 996147200 134512640 135477443 4294956224 18446744073709551615 135219085 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 77321 6408 453 235 0 76022 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 309284
[startup+6.30179 s]
/proc/loadavg: 2.00 1.97 1.78 3/82 27241
/proc/meminfo: memFree=274592/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=144016 CPUtime=6.23
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 100218 0 0 0 569 54 0 0 25 0 1 0 2000323818 147472384 12281 996147200 134512640 135477443 4294956224 18446744073709551615 134586766 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 36004 12281 494 235 0 34705 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 144016
[startup+12.7017 s]
/proc/loadavg: 2.00 1.97 1.78 3/82 27241
/proc/meminfo: memFree=267360/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=144016 CPUtime=12.57
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 100430 0 0 0 1203 54 0 0 25 0 1 0 2000323818 147472384 12493 996147200 134512640 135477443 4294956224 18446744073709551615 135270826 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 36004 12493 496 235 0 34705 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 144016
[startup+25.5026 s]
/proc/loadavg: 2.00 1.97 1.79 3/82 27241
/proc/meminfo: memFree=267296/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=144016 CPUtime=25.25
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 100430 0 0 0 2471 54 0 0 25 0 1 0 2000323818 147472384 12493 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 36004 12493 496 235 0 34705 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 144016
[startup+51.1024 s]
/proc/loadavg: 2.00 1.97 1.79 3/82 27241
/proc/meminfo: memFree=267424/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=144016 CPUtime=50.63
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 100430 0 0 0 5009 54 0 0 25 0 1 0 2000323818 147472384 12493 996147200 134512640 135477443 4294956224 18446744073709551615 135269570 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 36004 12493 496 235 0 34705 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 144016
[startup+102.307 s]
/proc/loadavg: 2.00 1.97 1.80 3/82 27241
/proc/meminfo: memFree=267104/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=144016 CPUtime=101.38
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 100443 0 0 0 10084 54 0 0 25 0 1 0 2000323818 147472384 12506 996147200 134512640 135477443 4294956224 18446744073709551615 135208629 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 36004 12506 496 235 0 34705 0
Current children cumulated CPU time (s) 101.38
Current children cumulated vsize (KiB) 144016
[startup+162.302 s]
/proc/loadavg: 2.00 1.97 1.81 3/82 27241
/proc/meminfo: memFree=266912/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=144016 CPUtime=160.86
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 100462 0 0 0 16031 55 0 0 25 0 1 0 2000323818 147472384 12525 996147200 134512640 135477443 4294956224 18446744073709551615 135268557 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 36004 12525 496 235 0 34705 0
Current children cumulated CPU time (s) 160.86
Current children cumulated vsize (KiB) 144016
[startup+222.302 s]
/proc/loadavg: 2.00 1.97 1.82 3/82 27241
/proc/meminfo: memFree=266912/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=144016 CPUtime=220.32
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 100462 0 0 0 21977 55 0 0 25 0 1 0 2000323818 147472384 12525 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 36004 12525 496 235 0 34705 0
Current children cumulated CPU time (s) 220.32
Current children cumulated vsize (KiB) 144016
[startup+282.301 s]
/proc/loadavg: 2.00 1.97 1.83 4/82 27241
/proc/meminfo: memFree=266912/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=144016 CPUtime=279.79
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 100462 0 0 0 27924 55 0 0 25 0 1 0 2000323818 147472384 12525 996147200 134512640 135477443 4294956224 18446744073709551615 135269936 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 36004 12525 496 235 0 34705 0
Current children cumulated CPU time (s) 279.79
Current children cumulated vsize (KiB) 144016
[startup+342.301 s]
/proc/loadavg: 2.00 1.97 1.83 3/82 27241
/proc/meminfo: memFree=266848/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=144016 CPUtime=339.24
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 100462 0 0 0 33869 55 0 0 25 0 1 0 2000323818 147472384 12525 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 36004 12525 496 235 0 34705 0
Current children cumulated CPU time (s) 339.24
Current children cumulated vsize (KiB) 144016
[startup+402.301 s]
/proc/loadavg: 2.00 1.97 1.84 3/82 27241
/proc/meminfo: memFree=266848/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=144016 CPUtime=398.71
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 100462 0 0 0 39816 55 0 0 25 0 1 0 2000323818 147472384 12525 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 36004 12525 496 235 0 34705 0
Current children cumulated CPU time (s) 398.71
Current children cumulated vsize (KiB) 144016
[startup+462.303 s]
/proc/loadavg: 2.00 1.97 1.84 3/82 27241
/proc/meminfo: memFree=266848/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=144016 CPUtime=458.17
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 100462 0 0 0 45762 55 0 0 25 0 1 0 2000323818 147472384 12525 996147200 134512640 135477443 4294956224 18446744073709551615 135208674 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 36004 12525 496 235 0 34705 0
Current children cumulated CPU time (s) 458.17
Current children cumulated vsize (KiB) 144016
[startup+522.302 s]
/proc/loadavg: 2.00 1.97 1.85 4/82 27243
/proc/meminfo: memFree=266720/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=144016 CPUtime=517.63
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 100462 0 0 0 51708 55 0 0 25 0 1 0 2000323818 147472384 12525 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 36004 12525 496 235 0 34705 0
Current children cumulated CPU time (s) 517.63
Current children cumulated vsize (KiB) 144016
[startup+582.302 s]
/proc/loadavg: 2.32 2.05 1.88 3/82 27243
/proc/meminfo: memFree=266720/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=144016 CPUtime=577.09
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 100462 0 0 0 57654 55 0 0 25 0 1 0 2000323818 147472384 12525 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 36004 12525 496 235 0 34705 0
Current children cumulated CPU time (s) 577.09
Current children cumulated vsize (KiB) 144016
[startup+642.302 s]
/proc/loadavg: 2.11 2.04 1.89 3/82 27243
/proc/meminfo: memFree=266656/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=144016 CPUtime=636.56
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 100462 0 0 0 63601 55 0 0 25 0 1 0 2000323818 147472384 12525 996147200 134512640 135477443 4294956224 18446744073709551615 135208674 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 36004 12525 496 235 0 34705 0
Current children cumulated CPU time (s) 636.56
Current children cumulated vsize (KiB) 144016
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 2.00 2.01 1.91 3/82 27243
/proc/meminfo: memFree=266336/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=144016 CPUtime=874.42
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 100485 0 0 0 87387 55 0 0 25 0 1 0 2000323818 147472384 12548 996147200 134512640 135477443 4294956224 18446744073709551615 134586766 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 36004 12548 496 235 0 34705 0
Current children cumulated CPU time (s) 874.42
Current children cumulated vsize (KiB) 144016
[startup+942.302 s]
/proc/loadavg: 2.00 2.01 1.91 3/82 27243
/proc/meminfo: memFree=266208/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=144016 CPUtime=933.9
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 100495 0 0 0 93334 56 0 0 25 0 1 0 2000323818 147472384 12558 996147200 134512640 135477443 4294956224 18446744073709551615 134586766 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 36004 12558 496 235 0 34705 0
Current children cumulated CPU time (s) 933.9
Current children cumulated vsize (KiB) 144016
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 27243
/proc/meminfo: memFree=266272/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=144016 CPUtime=993.36
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 100497 0 0 0 99280 56 0 0 25 0 1 0 2000323818 147472384 12560 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 36004 12560 496 235 0 34705 0
Current children cumulated CPU time (s) 993.36
Current children cumulated vsize (KiB) 144016
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 27243
/proc/meminfo: memFree=266272/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=144016 CPUtime=1052.83
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 100501 0 0 0 105227 56 0 0 25 0 1 0 2000323818 147472384 12564 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 36004 12564 496 235 0 34705 0
Current children cumulated CPU time (s) 1052.83
Current children cumulated vsize (KiB) 144016
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 27243
/proc/meminfo: memFree=266208/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=144016 CPUtime=1112.29
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 100503 0 0 0 111173 56 0 0 25 0 1 0 2000323818 147472384 12566 996147200 134512640 135477443 4294956224 18446744073709551615 135208629 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 36004 12566 496 235 0 34705 0
Current children cumulated CPU time (s) 1112.29
Current children cumulated vsize (KiB) 144016
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 27243
/proc/meminfo: memFree=266080/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=144016 CPUtime=1171.76
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 100510 0 0 0 117120 56 0 0 25 0 1 0 2000323818 147472384 12573 996147200 134512640 135477443 4294956224 18446744073709551615 134923105 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 36004 12573 496 235 0 34705 0
Current children cumulated CPU time (s) 1171.76
Current children cumulated vsize (KiB) 144016
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 27243
/proc/meminfo: memFree=265952/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=144016 CPUtime=1231.22
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 100510 0 0 0 123066 56 0 0 25 0 1 0 2000323818 147472384 12573 996147200 134512640 135477443 4294956224 18446744073709551615 134679661 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 36004 12573 496 235 0 34705 0
Current children cumulated CPU time (s) 1231.22
Current children cumulated vsize (KiB) 144016
[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 1.91 3/82 27243
/proc/meminfo: memFree=265952/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=144016 CPUtime=1290.68
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 100510 0 0 0 129012 56 0 0 25 0 1 0 2000323818 147472384 12573 996147200 134512640 135477443 4294956224 18446744073709551615 135270305 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 36004 12573 496 235 0 34705 0
Current children cumulated CPU time (s) 1290.68
Current children cumulated vsize (KiB) 144016
[startup+1362.3 s]
/proc/loadavg: 2.10 2.04 1.93 3/82 27243
/proc/meminfo: memFree=265888/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=144016 CPUtime=1350.13
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 100510 0 0 0 134957 56 0 0 25 0 1 0 2000323818 147472384 12573 996147200 134512640 135477443 4294956224 18446744073709551615 134586183 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 36004 12573 496 235 0 34705 0
Current children cumulated CPU time (s) 1350.13
Current children cumulated vsize (KiB) 144016
[startup+1422.31 s]
/proc/loadavg: 2.14 2.07 1.94 4/82 27243
/proc/meminfo: memFree=265888/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=144016 CPUtime=1409.6
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 100510 0 0 0 140904 56 0 0 25 0 1 0 2000323818 147472384 12573 996147200 134512640 135477443 4294956224 18446744073709551615 134586766 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 36004 12573 496 235 0 34705 0
Current children cumulated CPU time (s) 1409.6
Current children cumulated vsize (KiB) 144016
[startup+1482.3 s]
/proc/loadavg: 2.05 2.06 1.94 3/82 27243
/proc/meminfo: memFree=265952/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=144016 CPUtime=1469.06
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 100510 0 0 0 146850 56 0 0 25 0 1 0 2000323818 147472384 12573 996147200 134512640 135477443 4294956224 18446744073709551615 134586768 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 36004 12573 496 235 0 34705 0
Current children cumulated CPU time (s) 1469.06
Current children cumulated vsize (KiB) 144016
[startup+1542.3 s]
/proc/loadavg: 2.02 2.04 1.94 3/82 27243
/proc/meminfo: memFree=265888/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=144016 CPUtime=1528.53
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 100510 0 0 0 152796 57 0 0 25 0 1 0 2000323818 147472384 12573 996147200 134512640 135477443 4294956224 18446744073709551615 135208680 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 36004 12573 496 235 0 34705 0
Current children cumulated CPU time (s) 1528.53
Current children cumulated vsize (KiB) 144016
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 1.94 3/82 27243
/proc/meminfo: memFree=265824/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=144016 CPUtime=1588
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 100510 0 0 0 158743 57 0 0 25 0 1 0 2000323818 147472384 12573 996147200 134512640 135477443 4294956224 18446744073709551615 135208708 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 36004 12573 496 235 0 34705 0
Current children cumulated CPU time (s) 1588
Current children cumulated vsize (KiB) 144016
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/82 27243
/proc/meminfo: memFree=265824/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=144016 CPUtime=1647.45
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 100510 0 0 0 164688 57 0 0 25 0 1 0 2000323818 147472384 12573 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 36004 12573 496 235 0 34705 0
Current children cumulated CPU time (s) 1647.45
Current children cumulated vsize (KiB) 144016
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/82 27243
/proc/meminfo: memFree=265696/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=144016 CPUtime=1706.93
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 100510 0 0 0 170636 57 0 0 25 0 1 0 2000323818 147472384 12573 996147200 134512640 135477443 4294956224 18446744073709551615 134673693 0 0 4096 0 0 0 0 17 1 0 0
/proc/27240/statm: 36004 12573 496 235 0 34705 0
Current children cumulated CPU time (s) 1706.93
Current children cumulated vsize (KiB) 144016
[startup+1782.3 s]
/proc/loadavg: 1.96 2.00 1.94 3/74 27283
/proc/meminfo: memFree=364328/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=144016 CPUtime=1766.81
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 100510 0 0 0 176601 80 0 0 25 0 1 0 2000323818 147472384 12573 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 0 0 0
/proc/27240/statm: 36004 12573 496 235 0 34705 0
Current children cumulated CPU time (s) 1766.81
Current children cumulated vsize (KiB) 144016
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.5 s]
/proc/loadavg: 1.98 2.00 1.94 3/74 27283
/proc/meminfo: memFree=364456/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=144016 CPUtime=1800.01
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 100510 0 0 0 179920 81 0 0 25 0 1 0 2000323818 147472384 12573 996147200 134512640 135477443 4294956224 18446744073709551615 134679569 0 0 4096 0 0 0 0 17 0 0 0
/proc/27240/statm: 36004 12573 496 235 0 34705 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 144016
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1815.5 s]
/proc/loadavg: 1.98 2.00 1.94 3/74 27283
/proc/meminfo: memFree=364456/2055920 swapFree=4180424/4192956
[pid=27240] ppid=27238 vsize=144016 CPUtime=1800.01
/proc/27240/stat : 27240 (casperzao) R 27238 27240 26850 0 -1 4194304 100510 0 0 0 179920 81 0 0 25 0 1 0 2000323818 147472384 12573 996147200 134512640 135477443 4294956224 18446744073709551615 134679569 0 0 4096 0 0 0 0 17 0 0 0
/proc/27240/statm: 36004 12573 496 235 0 34705 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 144016
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1815.51
CPU time (s): 1800.03
CPU user time (s): 1799.21
CPU system time (s): 0.818875
CPU usage (%): 99.1471
Max. virtual memory (cumulated for all children) (KiB): 331328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.21
system time used= 0.818875
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100510
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= 69372
runsolver used 2.10868 second user time and 5.06723 second system time
The end
Begin job on node52 at 2008-07-05 01:18:35
IDJOB=1080860
IDBENCH=57035
IDSOLVER=361
FILE ID=node52/1080860-1215213515
PBS_JOBID= 7881799
Free space on /tmp= 66552 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/js-taillard-20-15/normalized-js-taillard-20-15-95-9.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1080860-1215213515/watcher-1080860-1215213515 -o /tmp/evaluation-result-1080860-1215213515/solver-1080860-1215213515 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1080860-1215213515.xml 1625403297
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 062c12e95edc5eb24e32ca6160b7df4f
RANDOM SEED=1625403297
node52.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.265
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.265
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: 316488 kB
Buffers: 5428 kB
Cached: 1491444 kB
SwapCached: 6608 kB
Active: 981964 kB
Inactive: 690588 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 316488 kB
SwapTotal: 4192956 kB
SwapFree: 4180424 kB
Dirty: 3316 kB
Writeback: 0 kB
Mapped: 191716 kB
Slab: 51684 kB
Committed_AS: 4159856 kB
PageTables: 2316 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= 66520 MiB
End job on node52 at 2008-07-05 01:48:53