0.18/0.21 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.18/0.21 c Parsing = 1
0.38/0.44 c Building = 1
0.66/0.74 c [ NumberOfVariables = 2550 ]
0.66/0.74 c [ NumberOfConstraints = 10886 ]
0.66/0.75 c [ SizeOfSearchSpace(log2) = 19919.8 ]
0.66/0.75 c SymmetrySearch = 1
2.35/2.47 c InitialPropagation = 1
2.45/2.50 c [ SizeOfSearchSpace(log2) = 19908.3 ]
2.45/2.50 c InitialSAC = (Timeout)
5.64/5.79 c [ SizeOfSearchSpace(log2) = 19903.6 ]
5.74/5.82 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-1087482-1215244317/watcher-1087482-1215244317 -o /tmp/evaluation-result-1087482-1215244317/solver-1087482-1215244317 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1087482-1215244317.xml 1711062690
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
[startup+0 s]
/proc/loadavg: 2.04 2.01 2.00 4/72 20031
/proc/meminfo: memFree=1882048/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=18572 CPUtime=0
/proc/20031/stat : 20031 (runsolver) R 20029 18792 18792 0 -1 4194368 10 0 0 0 0 0 0 0 19 0 1 0 2003405700 19017728 290 996147200 4194304 4296836 548682068464 18446744073709551615 4211492 0 0 4096 24578 0 0 0 17 1 0 0
/proc/20031/statm: 4643 290 255 25 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.0440301 s]
/proc/loadavg: 2.04 2.01 2.00 4/72 20031
/proc/meminfo: memFree=1882048/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=5832 CPUtime=0.02
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 562 0 1 0 2 0 0 0 18 0 1 0 2003405700 5971968 523 996147200 134512640 135472138 4294956224 18446744073709551615 1607291 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 1458 523 368 234 0 160 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5832
[startup+0.101029 s]
/proc/loadavg: 2.04 2.01 2.00 4/72 20031
/proc/meminfo: memFree=1882048/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=6624 CPUtime=0.08
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 753 0 1 0 8 0 0 0 18 0 1 0 2003405700 6782976 714 996147200 134512640 135472138 4294956224 18446744073709551615 1607291 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 1656 714 368 234 0 358 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6624
[startup+0.301046 s]
/proc/loadavg: 2.04 2.01 2.00 4/72 20031
/proc/meminfo: memFree=1882048/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=9132 CPUtime=0.27
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 1383 0 1 0 27 0 0 0 19 0 1 0 2003405700 9351168 1344 996147200 134512640 135472138 4294956224 18446744073709551615 1607291 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 2283 1344 368 234 0 985 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9132
[startup+0.701081 s]
/proc/loadavg: 2.04 2.01 2.00 4/72 20031
/proc/meminfo: memFree=1882048/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=167640 CPUtime=0.66
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 15590 0 2 0 60 6 0 0 22 0 1 0 2003405700 171663360 15552 996147200 134512640 135472138 4294956224 18446744073709551615 134702724 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 41910 15553 420 234 0 40612 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 167640
[startup+1.50115 s]
/proc/loadavg: 2.04 2.01 2.00 3/73 20032
/proc/meminfo: memFree=1804728/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=185880 CPUtime=1.46
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 19677 0 2 0 139 7 0 0 25 0 1 0 2003405700 190341120 19582 996147200 134512640 135472138 4294956224 18446744073709551615 134535933 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 46470 19582 456 234 0 45172 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 185880
[startup+3.10129 s]
/proc/loadavg: 2.04 2.01 2.00 3/73 20032
/proc/meminfo: memFree=1803960/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=3.05
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20090 0 2 0 297 8 0 0 25 0 1 0 2003405700 173670400 17066 996147200 134512640 135472138 4294956224 18446744073709551615 134672493 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 42400 17066 479 234 0 41102 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 169600
[startup+6.30156 s]
/proc/loadavg: 2.04 2.01 2.00 3/73 20032
/proc/meminfo: memFree=1813624/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=6.23
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20388 0 4 0 615 8 0 0 25 0 1 0 2003405700 173670400 17366 996147200 134512640 135472138 4294956224 18446744073709551615 135202667 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 42400 17366 510 234 0 41102 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 169600
[startup+12.7011 s]
/proc/loadavg: 2.04 2.01 2.00 3/73 20032
/proc/meminfo: memFree=1812792/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=12.61
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20448 0 4 0 1253 8 0 0 25 0 1 0 2003405700 173670400 17426 996147200 134512640 135472138 4294956224 18446744073709551615 135202757 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 42400 17426 510 234 0 41102 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 169600
[startup+25.5012 s]
/proc/loadavg: 2.11 2.03 2.01 3/73 20032
/proc/meminfo: memFree=1812792/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=25.36
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20482 0 4 0 2528 8 0 0 25 0 1 0 2003405700 173670400 17460 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 42400 17460 510 234 0 41102 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 169600
[startup+51.1014 s]
/proc/loadavg: 2.07 2.03 2.00 3/73 20032
/proc/meminfo: memFree=1812664/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=50.85
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20491 0 4 0 5077 8 0 0 25 0 1 0 2003405700 173670400 17469 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 42400 17469 510 234 0 41102 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 169600
[startup+102.306 s]
/proc/loadavg: 2.15 2.05 2.01 3/73 20032
/proc/meminfo: memFree=1812600/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=101.86
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20497 0 4 0 10178 8 0 0 25 0 1 0 2003405700 173670400 17475 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 42400 17475 510 234 0 41102 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 169600
[startup+162.301 s]
/proc/loadavg: 2.11 2.06 2.01 3/73 20032
/proc/meminfo: memFree=1812472/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=161.62
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20519 0 4 0 16154 8 0 0 25 0 1 0 2003405700 173670400 17497 996147200 134512640 135472138 4294956224 18446744073709551615 135202712 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 42400 17497 510 234 0 41102 0
Current children cumulated CPU time (s) 161.62
Current children cumulated vsize (KiB) 169600
[startup+222.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/73 20032
/proc/meminfo: memFree=1812280/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=221.39
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20524 0 4 0 22131 8 0 0 25 0 1 0 2003405700 173670400 17502 996147200 134512640 135472138 4294956224 18446744073709551615 135202748 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 42400 17502 510 234 0 41102 0
Current children cumulated CPU time (s) 221.39
Current children cumulated vsize (KiB) 169600
[startup+282.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/74 20063
/proc/meminfo: memFree=1669216/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=281.13
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20552 0 4 0 28103 10 0 0 25 0 1 0 2003405700 173670400 17530 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/20031/statm: 42400 17530 510 234 0 41102 0
Current children cumulated CPU time (s) 281.13
Current children cumulated vsize (KiB) 169600
[startup+342.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 20063
/proc/meminfo: memFree=1669216/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=340.89
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20552 0 4 0 34079 10 0 0 25 0 1 0 2003405700 173670400 17530 996147200 134512640 135472138 4294956224 18446744073709551615 135202667 0 0 4096 0 0 0 0 17 0 0 0
/proc/20031/statm: 42400 17530 510 234 0 41102 0
Current children cumulated CPU time (s) 340.89
Current children cumulated vsize (KiB) 169600
[startup+402.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 20063
/proc/meminfo: memFree=1669152/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=400.65
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20555 0 4 0 40055 10 0 0 25 0 1 0 2003405700 173670400 17533 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/20031/statm: 42400 17533 510 234 0 41102 0
Current children cumulated CPU time (s) 400.65
Current children cumulated vsize (KiB) 169600
[startup+462.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 20063
/proc/meminfo: memFree=1669152/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=460.41
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20555 0 4 0 46031 10 0 0 25 0 1 0 2003405700 173670400 17533 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/20031/statm: 42400 17533 510 234 0 41102 0
Current children cumulated CPU time (s) 460.41
Current children cumulated vsize (KiB) 169600
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 20063
/proc/meminfo: memFree=1669152/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=520.17
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20558 0 4 0 52007 10 0 0 25 0 1 0 2003405700 173670400 17536 996147200 134512640 135472138 4294956224 18446744073709551615 135202728 0 0 4096 0 0 0 0 17 0 0 0
/proc/20031/statm: 42400 17536 510 234 0 41102 0
Current children cumulated CPU time (s) 520.17
Current children cumulated vsize (KiB) 169600
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 20069
/proc/meminfo: memFree=1668384/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=579.92
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20558 0 4 0 57981 11 0 0 25 0 1 0 2003405700 173670400 17536 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/20031/statm: 42400 17536 510 234 0 41102 0
Current children cumulated CPU time (s) 579.92
Current children cumulated vsize (KiB) 169600
[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 20069
/proc/meminfo: memFree=1668384/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=639.67
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20558 0 4 0 63956 11 0 0 25 0 1 0 2003405700 173670400 17536 996147200 134512640 135472138 4294956224 18446744073709551615 135202757 0 0 4096 0 0 0 0 17 0 0 0
/proc/20031/statm: 42400 17536 510 234 0 41102 0
Current children cumulated CPU time (s) 639.67
Current children cumulated vsize (KiB) 169600
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/81 20128
/proc/meminfo: memFree=1273968/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=818.42
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20561 0 4 0 81830 12 0 0 25 0 1 0 2003405700 173670400 17539 996147200 134512640 135472138 4294956224 18446744073709551615 135202638 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 42400 17539 510 234 0 41102 0
Current children cumulated CPU time (s) 818.42
Current children cumulated vsize (KiB) 169600
[startup+882.301 s]
/proc/loadavg: 2.02 2.03 2.01 3/81 20128
/proc/meminfo: memFree=1273840/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=878.14
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20578 0 4 0 87802 12 0 0 25 0 1 0 2003405700 173670400 17556 996147200 134512640 135472138 4294956224 18446744073709551615 135202725 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 42400 17556 510 234 0 41102 0
Current children cumulated CPU time (s) 878.14
Current children cumulated vsize (KiB) 169600
[startup+942.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/81 20128
/proc/meminfo: memFree=1273584/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=937.85
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20588 0 4 0 93773 12 0 0 25 0 1 0 2003405700 173670400 17566 996147200 134512640 135472138 4294956224 18446744073709551615 135202757 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 42400 17566 510 234 0 41102 0
Current children cumulated CPU time (s) 937.85
Current children cumulated vsize (KiB) 169600
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/81 20128
/proc/meminfo: memFree=1273584/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=997.56
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20590 0 4 0 99744 12 0 0 25 0 1 0 2003405700 173670400 17568 996147200 134512640 135472138 4294956224 18446744073709551615 135202757 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 42400 17568 510 234 0 41102 0
Current children cumulated CPU time (s) 997.56
Current children cumulated vsize (KiB) 169600
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 20128
/proc/meminfo: memFree=1273520/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=1057.27
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20592 0 4 0 105715 12 0 0 25 0 1 0 2003405700 173670400 17570 996147200 134512640 135472138 4294956224 18446744073709551615 135202667 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 42400 17570 510 234 0 41102 0
Current children cumulated CPU time (s) 1057.27
Current children cumulated vsize (KiB) 169600
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 20128
/proc/meminfo: memFree=1273520/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=1116.99
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20593 0 4 0 111687 12 0 0 25 0 1 0 2003405700 173670400 17571 996147200 134512640 135472138 4294956224 18446744073709551615 135202654 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 42400 17571 510 234 0 41102 0
Current children cumulated CPU time (s) 1116.99
Current children cumulated vsize (KiB) 169600
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20128
/proc/meminfo: memFree=1273520/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=1176.7
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20593 0 4 0 117658 12 0 0 25 0 1 0 2003405700 173670400 17571 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 42400 17571 510 234 0 41102 0
Current children cumulated CPU time (s) 1176.7
Current children cumulated vsize (KiB) 169600
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20128
/proc/meminfo: memFree=1273392/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=1236.41
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20593 0 4 0 123629 12 0 0 25 0 1 0 2003405700 173670400 17571 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 42400 17571 510 234 0 41102 0
Current children cumulated CPU time (s) 1236.41
Current children cumulated vsize (KiB) 169600
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20128
/proc/meminfo: memFree=1273328/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=1296.13
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20594 0 4 0 129601 12 0 0 25 0 1 0 2003405700 173670400 17572 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 42400 17572 510 234 0 41102 0
Current children cumulated CPU time (s) 1296.13
Current children cumulated vsize (KiB) 169600
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20128
/proc/meminfo: memFree=1273264/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=1355.83
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20594 0 4 0 135571 12 0 0 25 0 1 0 2003405700 173670400 17572 996147200 134512640 135472138 4294956224 18446744073709551615 135202654 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 42400 17572 510 234 0 41102 0
Current children cumulated CPU time (s) 1355.83
Current children cumulated vsize (KiB) 169600
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20128
/proc/meminfo: memFree=1273072/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=1415.55
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20594 0 4 0 141543 12 0 0 25 0 1 0 2003405700 173670400 17572 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 42400 17572 510 234 0 41102 0
Current children cumulated CPU time (s) 1415.55
Current children cumulated vsize (KiB) 169600
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20128
/proc/meminfo: memFree=1272496/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=1475.26
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20594 0 4 0 147514 12 0 0 25 0 1 0 2003405700 173670400 17572 996147200 134512640 135472138 4294956224 18446744073709551615 135202654 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 42400 17572 510 234 0 41102 0
Current children cumulated CPU time (s) 1475.26
Current children cumulated vsize (KiB) 169600
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20128
/proc/meminfo: memFree=1272432/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=1534.97
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20594 0 4 0 153485 12 0 0 25 0 1 0 2003405700 173670400 17572 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 42400 17572 510 234 0 41102 0
Current children cumulated CPU time (s) 1534.97
Current children cumulated vsize (KiB) 169600
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 20128
/proc/meminfo: memFree=1272368/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=1594.69
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20594 0 4 0 159457 12 0 0 25 0 1 0 2003405700 173670400 17572 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 42400 17572 510 234 0 41102 0
Current children cumulated CPU time (s) 1594.69
Current children cumulated vsize (KiB) 169600
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20128
/proc/meminfo: memFree=1272368/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=1654.4
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20596 0 4 0 165428 12 0 0 25 0 1 0 2003405700 173670400 17574 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 42400 17574 510 234 0 41102 0
Current children cumulated CPU time (s) 1654.4
Current children cumulated vsize (KiB) 169600
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20128
/proc/meminfo: memFree=1272304/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=1714.11
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20600 0 4 0 171399 12 0 0 25 0 1 0 2003405700 173670400 17578 996147200 134512640 135472138 4294956224 18446744073709551615 135202748 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 42400 17578 510 234 0 41102 0
Current children cumulated CPU time (s) 1714.11
Current children cumulated vsize (KiB) 169600
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20128
/proc/meminfo: memFree=1272048/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=1773.82
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20632 0 4 0 177370 12 0 0 25 0 1 0 2003405700 173670400 17610 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 42400 17610 510 234 0 41102 0
Current children cumulated CPU time (s) 1773.82
Current children cumulated vsize (KiB) 169600
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20128
/proc/meminfo: memFree=1271984/2055920 swapFree=4180080/4192956
[pid=20031] ppid=20029 vsize=169600 CPUtime=1800
/proc/20031/stat : 20031 (casperzito) R 20029 20031 18792 0 -1 4194304 20645 0 4 0 179988 12 0 0 25 0 1 0 2003405700 173670400 17623 996147200 134512640 135472138 4294956224 18446744073709551615 135202651 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 42400 17623 510 234 0 41102 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 169600
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.62
CPU time (s): 1800.03
CPU user time (s): 1799.89
CPU system time (s): 0.142978
CPU usage (%): 99.525
Max. virtual memory (cumulated for all children) (KiB): 185880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.142978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20645
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27
involuntary context switches= 23032
runsolver used 1.77273 second user time and 4.85426 second system time
The end
Begin job on node31 at 2008-07-05 09:51:57
IDJOB=1087482
IDBENCH=57999
IDSOLVER=362
FILE ID=node31/1087482-1215244317
PBS_JOBID= 7881924
Free space on /tmp= 66488 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/fapp/fapp27/normalized-fapp27-2550-7.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087482-1215244317/watcher-1087482-1215244317 -o /tmp/evaluation-result-1087482-1215244317/solver-1087482-1215244317 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1087482-1215244317.xml 1711062690
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= b5d52b8bbf6043988c4227a96902f450
RANDOM SEED=1711062690
node31.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: 1882528 kB
Buffers: 5916 kB
Cached: 90560 kB
SwapCached: 5728 kB
Active: 66096 kB
Inactive: 56876 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1882528 kB
SwapTotal: 4192956 kB
SwapFree: 4180080 kB
Dirty: 4444 kB
Writeback: 0 kB
Mapped: 34128 kB
Slab: 35492 kB
Committed_AS: 3165816 kB
PageTables: 1952 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66480 MiB
End job on node31 at 2008-07-05 10:22:07