0.18/0.21 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.18/0.21 c Parsing = 1
0.78/0.89 c Building = 1
1.87/1.91 c [ NumberOfVariables = 2800 ]
1.87/1.91 c [ NumberOfConstraints = 22569 ]
1.87/1.97 c [ SizeOfSearchSpace(log2) = 25817.1 ]
1.87/1.97 c SymmetrySearch = 1
8.80/8.99 c InitialPropagation = 1
8.90/9.09 c [ SizeOfSearchSpace(log2) = 25816 ]
8.90/9.09 c InitialSAC = (Timeout)
12.27/12.40 c [ SizeOfSearchSpace(log2) = 25815.5 ]
12.36/12.54 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-1086768-1215241114/watcher-1086768-1215241114 -o /tmp/evaluation-result-1086768-1215241114/solver-1086768-1215241114 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1086768-1215241114.xml 1452646063
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.03 2.02 2.00 4/81 7855
/proc/meminfo: memFree=1782232/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=1052 CPUtime=0
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 40 0 0 0 0 0 0 0 19 0 1 0 2003086782 1077248 26 996147200 134512640 135472138 4294956224 18446744073709551615 10588964 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/7855/statm: 263 26 20 234 0 3 0
[startup+0.111754 s]
/proc/loadavg: 2.03 2.02 2.00 4/81 7855
/proc/meminfo: memFree=1782232/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=6888 CPUtime=0.09
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 838 0 0 0 9 0 0 0 18 0 1 0 2003086782 7053312 798 996147200 134512640 135472138 4294956224 18446744073709551615 134624774 0 0 4096 0 0 0 0 17 1 0 0
/proc/7855/statm: 1722 798 368 234 0 424 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6888
[startup+0.202763 s]
/proc/loadavg: 2.03 2.02 2.00 4/81 7855
/proc/meminfo: memFree=1782232/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=8076 CPUtime=0.18
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 1122 0 0 0 18 0 0 0 18 0 1 0 2003086782 8269824 1082 996147200 134512640 135472138 4294956224 18446744073709551615 134804670 0 0 4096 0 0 0 0 17 1 0 0
/proc/7855/statm: 2019 1082 368 234 0 721 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 8076
[startup+0.302773 s]
/proc/loadavg: 2.03 2.02 2.00 4/81 7855
/proc/meminfo: memFree=1782232/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=9264 CPUtime=0.29
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 1429 0 0 0 28 1 0 0 19 0 1 0 2003086782 9486336 1389 996147200 134512640 135472138 4294956224 18446744073709551615 134806994 0 0 4096 0 0 0 0 17 1 0 0
/proc/7855/statm: 2316 1389 368 234 0 1018 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9264
[startup+0.702811 s]
/proc/loadavg: 2.03 2.02 2.00 4/81 7855
/proc/meminfo: memFree=1782232/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=14016 CPUtime=0.68
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 2617 0 0 0 67 1 0 0 23 0 1 0 2003086782 14352384 2577 996147200 134512640 135472138 4294956224 18446744073709551615 134749049 0 0 4096 0 0 0 0 17 1 0 0
/proc/7855/statm: 3504 2577 368 234 0 2206 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 14016
[startup+1.5029 s]
/proc/loadavg: 2.03 2.02 2.00 3/82 7856
/proc/meminfo: memFree=1728144/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=297264 CPUtime=1.47
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 34926 0 0 0 130 17 0 0 25 0 1 0 2003086782 304398336 34886 996147200 134512640 135472138 4294956224 18446744073709551615 11019588 0 0 4096 0 0 0 0 17 1 0 0
/proc/7855/statm: 74316 34886 395 234 0 73018 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 297264
[startup+3.10105 s]
/proc/loadavg: 2.03 2.02 2.00 3/82 7856
/proc/meminfo: memFree=1549968/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=337884 CPUtime=3.05
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 58501 0 0 0 276 29 0 0 25 0 1 0 2003086782 345993216 58382 996147200 134512640 135472138 4294956224 18446744073709551615 134534349 0 0 4096 0 0 0 0 17 1 0 0
/proc/7855/statm: 84471 58382 456 234 0 83173 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 337884
[startup+6.30135 s]
/proc/loadavg: 2.03 2.02 2.00 3/82 7856
/proc/meminfo: memFree=1547280/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=337884 CPUtime=6.22
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 59297 0 0 0 592 30 0 0 25 0 1 0 2003086782 345993216 59055 996147200 134512640 135472138 4294956224 18446744073709551615 134534862 0 0 4096 0 0 0 0 17 1 0 0
/proc/7855/statm: 84471 59055 456 234 0 83173 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 337884
[startup+12.702 s]
/proc/loadavg: 2.03 2.02 2.00 3/82 7856
/proc/meminfo: memFree=1568976/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=303432 CPUtime=12.56
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 60005 0 0 0 1225 31 0 0 25 0 1 0 2003086782 310714368 53499 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/7855/statm: 75858 53499 506 234 0 74560 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 303432
[startup+25.5022 s]
/proc/loadavg: 2.02 2.02 2.00 4/83 7857
/proc/meminfo: memFree=1516808/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=303432 CPUtime=25.26
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 60070 0 0 0 2494 32 0 0 25 0 1 0 2003086782 310714368 53564 996147200 134512640 135472138 4294956224 18446744073709551615 135202667 0 0 4096 0 0 0 0 17 1 0 0
/proc/7855/statm: 75858 53564 510 234 0 74560 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 303432
[startup+51.1016 s]
/proc/loadavg: 2.01 2.01 2.00 3/83 7857
/proc/meminfo: memFree=1487112/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=303432 CPUtime=50.63
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 60113 0 0 0 5031 32 0 0 25 0 1 0 2003086782 310714368 53607 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/7855/statm: 75858 53607 510 234 0 74560 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 303432
[startup+102.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 7857
/proc/meminfo: memFree=1476808/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=303432 CPUtime=101.4
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 60163 0 0 0 10108 32 0 0 25 0 1 0 2003086782 310714368 53657 996147200 134512640 135472138 4294956224 18446744073709551615 135202757 0 0 4096 0 0 0 0 17 1 0 0
/proc/7855/statm: 75858 53657 510 234 0 74560 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 303432
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7863
/proc/meminfo: memFree=1461832/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=303432 CPUtime=160.86
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 60177 0 0 0 16054 32 0 0 25 0 1 0 2003086782 310714368 53671 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 1 0 0
/proc/7855/statm: 75858 53671 510 234 0 74560 0
Current children cumulated CPU time (s) 160.86
Current children cumulated vsize (KiB) 303432
[startup+222.307 s]
/proc/loadavg: 2.13 2.04 2.01 3/81 7899
/proc/meminfo: memFree=1610136/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=303432 CPUtime=220.5
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 60177 0 0 0 22018 32 0 0 25 0 1 0 2003086782 310714368 53671 996147200 134512640 135472138 4294956224 18446744073709551615 135202667 0 0 4096 0 0 0 0 17 0 0 0
/proc/7855/statm: 75858 53671 510 234 0 74560 0
Current children cumulated CPU time (s) 220.5
Current children cumulated vsize (KiB) 303432
[startup+282.302 s]
/proc/loadavg: 2.05 2.03 2.01 3/81 7903
/proc/meminfo: memFree=1582736/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=303432 CPUtime=280.48
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 60189 0 0 0 28015 33 0 0 25 0 1 0 2003086782 310714368 53683 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/7855/statm: 75858 53683 510 234 0 74560 0
Current children cumulated CPU time (s) 280.48
Current children cumulated vsize (KiB) 303432
[startup+342.302 s]
/proc/loadavg: 1.95 2.01 2.00 3/83 7941
/proc/meminfo: memFree=1621320/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=303432 CPUtime=340.45
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 60191 0 0 0 34012 33 0 0 25 0 1 0 2003086782 310714368 53685 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/7855/statm: 75858 53685 510 234 0 74560 0
Current children cumulated CPU time (s) 340.45
Current children cumulated vsize (KiB) 303432
[startup+402.302 s]
/proc/loadavg: 1.98 2.00 2.00 3/83 7942
/proc/meminfo: memFree=1382592/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=303432 CPUtime=400.43
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 60192 0 0 0 40010 33 0 0 25 0 1 0 2003086782 310714368 53686 996147200 134512640 135472138 4294956224 18446744073709551615 135202654 0 0 4096 0 0 0 0 17 0 0 0
/proc/7855/statm: 75858 53686 510 234 0 74560 0
Current children cumulated CPU time (s) 400.43
Current children cumulated vsize (KiB) 303432
[startup+462.303 s]
/proc/loadavg: 1.99 2.00 2.00 3/82 7943
/proc/meminfo: memFree=1378752/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=303432 CPUtime=460.4
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 60193 0 0 0 46007 33 0 0 25 0 1 0 2003086782 310714368 53687 996147200 134512640 135472138 4294956224 18446744073709551615 135202760 0 0 4096 0 0 0 0 17 0 0 0
/proc/7855/statm: 75858 53687 510 234 0 74560 0
Current children cumulated CPU time (s) 460.4
Current children cumulated vsize (KiB) 303432
[startup+522.303 s]
/proc/loadavg: 1.99 2.00 2.00 3/82 7943
/proc/meminfo: memFree=1376576/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=303432 CPUtime=520.38
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 60235 0 0 0 52005 33 0 0 25 0 1 0 2003086782 310714368 53729 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/7855/statm: 75858 53729 510 234 0 74560 0
Current children cumulated CPU time (s) 520.38
Current children cumulated vsize (KiB) 303432
[startup+582.302 s]
/proc/loadavg: 2.07 2.02 2.00 3/82 7943
/proc/meminfo: memFree=1376512/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=303432 CPUtime=580.37
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 60236 0 0 0 58003 34 0 0 25 0 1 0 2003086782 310714368 53730 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/7855/statm: 75858 53730 510 234 0 74560 0
Current children cumulated CPU time (s) 580.37
Current children cumulated vsize (KiB) 303432
[startup+642.302 s]
/proc/loadavg: 2.10 2.03 2.00 3/82 7943
/proc/meminfo: memFree=1376448/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=303432 CPUtime=640.34
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 60238 0 0 0 64000 34 0 0 25 0 1 0 2003086782 310714368 53732 996147200 134512640 135472138 4294956224 18446744073709551615 135202661 0 0 4096 0 0 0 0 17 0 0 0
/proc/7855/statm: 75858 53732 510 234 0 74560 0
Current children cumulated CPU time (s) 640.34
Current children cumulated vsize (KiB) 303432
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.13 2.13 2.04 3/82 7943
/proc/meminfo: memFree=1373440/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=303432 CPUtime=880.25
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 60242 0 0 0 87991 34 0 0 25 0 1 0 2003086782 310714368 53736 996147200 134512640 135472138 4294956224 18446744073709551615 135202667 0 0 4096 0 0 0 0 17 0 0 0
/proc/7855/statm: 75858 53736 510 234 0 74560 0
Current children cumulated CPU time (s) 880.25
Current children cumulated vsize (KiB) 303432
[startup+942.303 s]
/proc/loadavg: 2.05 2.10 2.03 3/82 7943
/proc/meminfo: memFree=1373440/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=303432 CPUtime=940.22
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 60244 0 0 0 93988 34 0 0 25 0 1 0 2003086782 310714368 53738 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/7855/statm: 75858 53738 510 234 0 74560 0
Current children cumulated CPU time (s) 940.22
Current children cumulated vsize (KiB) 303432
[startup+1002.3 s]
/proc/loadavg: 2.02 2.08 2.03 3/82 7943
/proc/meminfo: memFree=1373312/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=303432 CPUtime=1000.2
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 60245 0 0 0 99986 34 0 0 25 0 1 0 2003086782 310714368 53739 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/7855/statm: 75858 53739 510 234 0 74560 0
Current children cumulated CPU time (s) 1000.2
Current children cumulated vsize (KiB) 303432
[startup+1062.3 s]
/proc/loadavg: 2.04 2.08 2.03 3/82 7943
/proc/meminfo: memFree=1373312/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=303432 CPUtime=1060.18
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 60247 0 0 0 105984 34 0 0 25 0 1 0 2003086782 310714368 53741 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/7855/statm: 75858 53741 510 234 0 74560 0
Current children cumulated CPU time (s) 1060.18
Current children cumulated vsize (KiB) 303432
[startup+1122.3 s]
/proc/loadavg: 2.05 2.08 2.03 3/82 7943
/proc/meminfo: memFree=1372672/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=303432 CPUtime=1120.15
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 60247 0 0 0 111981 34 0 0 25 0 1 0 2003086782 310714368 53741 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/7855/statm: 75858 53741 510 234 0 74560 0
Current children cumulated CPU time (s) 1120.15
Current children cumulated vsize (KiB) 303432
[startup+1182.3 s]
/proc/loadavg: 2.13 2.09 2.03 3/82 7943
/proc/meminfo: memFree=1372544/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=303432 CPUtime=1180.14
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 60273 0 0 0 117979 35 0 0 25 0 1 0 2003086782 310714368 53767 996147200 134512640 135472138 4294956224 18446744073709551615 135202667 0 0 4096 0 0 0 0 17 0 0 0
/proc/7855/statm: 75858 53767 510 234 0 74560 0
Current children cumulated CPU time (s) 1180.14
Current children cumulated vsize (KiB) 303432
[startup+1242.3 s]
/proc/loadavg: 2.16 2.11 2.04 3/82 7943
/proc/meminfo: memFree=1372224/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=303432 CPUtime=1240.11
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 60290 0 0 0 123976 35 0 0 25 0 1 0 2003086782 310714368 53784 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/7855/statm: 75858 53784 510 234 0 74560 0
Current children cumulated CPU time (s) 1240.11
Current children cumulated vsize (KiB) 303432
[startup+1302.3 s]
/proc/loadavg: 2.06 2.09 2.04 3/82 7943
/proc/meminfo: memFree=1371776/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=303432 CPUtime=1300.09
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 60305 0 0 0 129974 35 0 0 25 0 1 0 2003086782 310714368 53799 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/7855/statm: 75858 53799 510 234 0 74560 0
Current children cumulated CPU time (s) 1300.09
Current children cumulated vsize (KiB) 303432
[startup+1362.3 s]
/proc/loadavg: 2.02 2.07 2.03 3/82 7943
/proc/meminfo: memFree=1371776/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=303432 CPUtime=1360.06
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 60328 0 0 0 135971 35 0 0 25 0 1 0 2003086782 310714368 53822 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/7855/statm: 75858 53822 510 234 0 74560 0
Current children cumulated CPU time (s) 1360.06
Current children cumulated vsize (KiB) 303432
[startup+1422.3 s]
/proc/loadavg: 2.00 2.06 2.03 3/82 7943
/proc/meminfo: memFree=1371776/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=303432 CPUtime=1420.04
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 60328 0 0 0 141969 35 0 0 25 0 1 0 2003086782 310714368 53822 996147200 134512640 135472138 4294956224 18446744073709551615 135202664 0 0 4096 0 0 0 0 17 0 0 0
/proc/7855/statm: 75858 53822 510 234 0 74560 0
Current children cumulated CPU time (s) 1420.04
Current children cumulated vsize (KiB) 303432
[startup+1482.3 s]
/proc/loadavg: 2.06 2.06 2.02 3/82 7943
/proc/meminfo: memFree=1371712/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=303432 CPUtime=1480.02
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 60328 0 0 0 147967 35 0 0 25 0 1 0 2003086782 310714368 53822 996147200 134512640 135472138 4294956224 18446744073709551615 135202654 0 0 4096 0 0 0 0 17 0 0 0
/proc/7855/statm: 75858 53822 510 234 0 74560 0
Current children cumulated CPU time (s) 1480.02
Current children cumulated vsize (KiB) 303432
[startup+1542.31 s]
/proc/loadavg: 2.02 2.05 2.02 3/82 7943
/proc/meminfo: memFree=1371584/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=303432 CPUtime=1539.99
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 60328 0 0 0 153964 35 0 0 25 0 1 0 2003086782 310714368 53822 996147200 134512640 135472138 4294956224 18446744073709551615 135202760 0 0 4096 0 0 0 0 17 0 0 0
/proc/7855/statm: 75858 53822 510 234 0 74560 0
Current children cumulated CPU time (s) 1539.99
Current children cumulated vsize (KiB) 303432
[startup+1602.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/82 7943
/proc/meminfo: memFree=1371584/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=303432 CPUtime=1599.98
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 60338 0 0 0 159962 36 0 0 25 0 1 0 2003086782 310714368 53832 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/7855/statm: 75858 53832 510 234 0 74560 0
Current children cumulated CPU time (s) 1599.98
Current children cumulated vsize (KiB) 303432
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/82 7943
/proc/meminfo: memFree=1371328/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=303432 CPUtime=1659.95
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 60377 0 0 0 165959 36 0 0 25 0 1 0 2003086782 310714368 53871 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/7855/statm: 75858 53871 510 234 0 74560 0
Current children cumulated CPU time (s) 1659.95
Current children cumulated vsize (KiB) 303432
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 7943
/proc/meminfo: memFree=1371328/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=303432 CPUtime=1719.93
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 60380 0 0 0 171957 36 0 0 25 0 1 0 2003086782 310714368 53874 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/7855/statm: 75858 53874 510 234 0 74560 0
Current children cumulated CPU time (s) 1719.93
Current children cumulated vsize (KiB) 303432
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 7981
/proc/meminfo: memFree=1636240/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=303432 CPUtime=1779.9
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 60382 0 0 0 177953 37 0 0 25 0 1 0 2003086782 310714368 53876 996147200 134512640 135472138 4294956224 18446744073709551615 135202667 0 0 4096 0 0 0 0 17 0 0 0
/proc/7855/statm: 75858 53876 510 234 0 74560 0
Current children cumulated CPU time (s) 1779.9
Current children cumulated vsize (KiB) 303432
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 7981
/proc/meminfo: memFree=1630160/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=303432 CPUtime=1800
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 60384 0 0 0 179963 37 0 0 25 0 1 0 2003086782 310714368 53878 996147200 134512640 135472138 4294956224 18446744073709551615 135202667 0 0 4096 0 0 0 0 17 0 0 0
/proc/7855/statm: 75858 53878 510 234 0 74560 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 303432
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1802.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 7981
/proc/meminfo: memFree=1630160/2055920 swapFree=4180028/4192956
[pid=7855] ppid=7853 vsize=303432 CPUtime=1800
/proc/7855/stat : 7855 (casperzito) R 7853 7855 7530 0 -1 4194304 60384 0 0 0 179963 37 0 0 25 0 1 0 2003086782 310714368 53878 996147200 134512640 135472138 4294956224 18446744073709551615 135202667 0 0 4096 0 0 0 0 17 0 0 0
/proc/7855/statm: 75858 53878 510 234 0 74560 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 303432
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1802.44
CPU time (s): 1800.05
CPU user time (s): 1799.64
CPU system time (s): 0.412937
CPU usage (%): 99.8673
Max. virtual memory (cumulated for all children) (KiB): 337884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.412937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60384
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= 16002
runsolver used 2.13267 second user time and 5.83711 second system time
The end
Begin job on node4 at 2008-07-05 08:58:34
IDJOB=1086768
IDBENCH=57876
IDSOLVER=362
FILE ID=node4/1086768-1215241114
PBS_JOBID= 7881973
Free space on /tmp= 66496 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/fapp/fapp28/normalized-fapp28-2800-10.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086768-1215241114/watcher-1086768-1215241114 -o /tmp/evaluation-result-1086768-1215241114/solver-1086768-1215241114 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1086768-1215241114.xml 1452646063
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= be5e235ab365e5d69a5b7c6b3a61a471
RANDOM SEED=1452646063
node4.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.213
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.213
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: 1782712 kB
Buffers: 8520 kB
Cached: 111028 kB
SwapCached: 7000 kB
Active: 163932 kB
Inactive: 57260 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1782712 kB
SwapTotal: 4192956 kB
SwapFree: 4180028 kB
Dirty: 6116 kB
Writeback: 0 kB
Mapped: 117864 kB
Slab: 36992 kB
Committed_AS: 3460468 kB
PageTables: 2176 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= 66496 MiB
End job on node4 at 2008-07-05 09:28:38