0.00/0.00 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.00/0.00 c Parsing = 1
0.79/0.88 c Building = 1
1.19/1.22 c [ NumberOfVariables = 1500 ]
1.19/1.22 c [ NumberOfConstraints = 25409 ]
1.19/1.24 c [ SizeOfSearchSpace(log2) = 12178.9 ]
1.19/1.24 c SymmetrySearch = 1
7.24/7.33 c InitialPropagation = 1
7.24/7.38 c [ SizeOfSearchSpace(log2) = 12177.9 ]
7.24/7.38 c InitialSAC = 1
7.65/7.77 c [ SizeOfSearchSpace(log2) = 12177.9 ]
7.65/7.80 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-1086012-1215236872/watcher-1086012-1215236872 -o /tmp/evaluation-result-1086012-1215236872/solver-1086012-1215236872 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1086012-1215236872.xml 960163637
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 2.07 2.10 4/82 24870
/proc/meminfo: memFree=1575056/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=5348 CPUtime=0
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 215 0 0 0 0 0 0 0 18 0 1 0 264629909 5476352 190 996147200 134512640 135472138 4294956224 18446744073709551615 2571128 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 1337 190 156 234 0 27 0
[startup+0.049633 s]
/proc/loadavg: 2.00 2.07 2.10 4/82 24870
/proc/meminfo: memFree=1575056/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=6144 CPUtime=0.04
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 652 0 0 0 4 0 0 0 18 0 1 0 264629909 6291456 612 996147200 134512640 135472138 4294956224 18446744073709551615 134723577 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 1536 612 368 234 0 238 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6144
[startup+0.102642 s]
/proc/loadavg: 2.00 2.07 2.10 4/82 24870
/proc/meminfo: memFree=1575056/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=6936 CPUtime=0.09
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 837 0 0 0 9 0 0 0 18 0 1 0 264629909 7102464 797 996147200 134512640 135472138 4294956224 18446744073709551615 134784453 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 1734 798 368 234 0 436 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6936
[startup+0.301683 s]
/proc/loadavg: 2.00 2.07 2.10 4/82 24870
/proc/meminfo: memFree=1575056/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=9576 CPUtime=0.29
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 1498 0 0 0 29 0 0 0 19 0 1 0 264629909 9805824 1458 996147200 134512640 135472138 4294956224 18446744073709551615 134809175 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 2394 1458 368 234 0 1096 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9576
[startup+0.701761 s]
/proc/loadavg: 2.00 2.07 2.10 4/82 24870
/proc/meminfo: memFree=1575056/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=14724 CPUtime=0.68
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 2781 0 0 0 67 1 0 0 23 0 1 0 264629909 15077376 2741 996147200 134512640 135472138 4294956224 18446744073709551615 3036795 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 3681 2741 368 234 0 2383 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 14724
[startup+1.50191 s]
/proc/loadavg: 2.00 2.06 2.10 3/83 24871
/proc/meminfo: memFree=1537672/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=218784 CPUtime=1.48
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 24705 0 0 0 137 11 0 0 25 0 1 0 264629909 224034816 24495 996147200 134512640 135472138 4294956224 18446744073709551615 134534238 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 54696 24495 456 234 0 53398 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 218784
[startup+3.10123 s]
/proc/loadavg: 2.00 2.06 2.10 3/83 24871
/proc/meminfo: memFree=1477704/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=218784 CPUtime=3.06
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 25101 0 0 0 295 11 0 0 25 0 1 0 264629909 224034816 24850 996147200 134512640 135472138 4294956224 18446744073709551615 134534856 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 54696 24850 456 234 0 53398 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 218784
[startup+6.30185 s]
/proc/loadavg: 2.00 2.06 2.10 3/83 24871
/proc/meminfo: memFree=1475528/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=218784 CPUtime=6.25
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 25531 0 0 0 613 12 0 0 25 0 1 0 264629909 224034816 25254 996147200 134512640 135472138 4294956224 18446744073709551615 134534238 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 54696 25254 456 234 0 53398 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 218784
[startup+12.7011 s]
/proc/loadavg: 2.00 2.06 2.10 3/83 24871
/proc/meminfo: memFree=1501512/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=180064 CPUtime=12.62
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 26086 0 0 0 1250 12 0 0 25 0 1 0 264629909 184385536 18756 996147200 134512640 135472138 4294956224 18446744073709551615 135202748 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 45016 18756 490 234 0 43718 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 180064
[startup+25.5026 s]
/proc/loadavg: 2.00 2.06 2.09 3/83 24871
/proc/meminfo: memFree=1501448/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=180064 CPUtime=25.36
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 26118 0 0 0 2524 12 0 0 25 0 1 0 264629909 184385536 18788 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 45016 18788 490 234 0 43718 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 180064
[startup+51.1016 s]
/proc/loadavg: 2.00 2.05 2.09 3/83 24871
/proc/meminfo: memFree=1501000/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=180064 CPUtime=50.83
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 26216 0 0 0 5071 12 0 0 25 0 1 0 264629909 184385536 18886 996147200 134512640 135472138 4294956224 18446744073709551615 135202774 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 45016 18886 490 234 0 43718 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 180064
[startup+102.305 s]
/proc/loadavg: 2.00 2.04 2.08 3/83 24871
/proc/meminfo: memFree=1500552/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=180064 CPUtime=101.79
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 26316 0 0 0 10166 13 0 0 25 0 1 0 264629909 184385536 18986 996147200 134512640 135472138 4294956224 18446744073709551615 135202748 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 45016 18986 490 234 0 43718 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 180064
[startup+162.302 s]
/proc/loadavg: 2.00 2.03 2.08 3/83 24873
/proc/meminfo: memFree=1500296/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=180064 CPUtime=161.49
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 26316 0 0 0 16136 13 0 0 25 0 1 0 264629909 184385536 18986 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 45016 18986 490 234 0 43718 0
Current children cumulated CPU time (s) 161.49
Current children cumulated vsize (KiB) 180064
[startup+222.302 s]
/proc/loadavg: 2.00 2.02 2.07 3/83 24873
/proc/meminfo: memFree=1500104/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=180064 CPUtime=221.19
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 26407 0 0 0 22106 13 0 0 25 0 1 0 264629909 184385536 19077 996147200 134512640 135472138 4294956224 18446744073709551615 135202757 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 45016 19077 490 234 0 43718 0
Current children cumulated CPU time (s) 221.19
Current children cumulated vsize (KiB) 180064
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.07 3/83 24873
/proc/meminfo: memFree=1500040/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=180064 CPUtime=280.89
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 26407 0 0 0 28076 13 0 0 25 0 1 0 264629909 184385536 19077 996147200 134512640 135472138 4294956224 18446744073709551615 135202638 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 45016 19077 490 234 0 43718 0
Current children cumulated CPU time (s) 280.89
Current children cumulated vsize (KiB) 180064
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.06 3/83 24873
/proc/meminfo: memFree=1499976/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=180064 CPUtime=340.6
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 26415 0 0 0 34047 13 0 0 25 0 1 0 264629909 184385536 19085 996147200 134512640 135472138 4294956224 18446744073709551615 135202757 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 45016 19085 490 234 0 43718 0
Current children cumulated CPU time (s) 340.6
Current children cumulated vsize (KiB) 180064
[startup+402.302 s]
/proc/loadavg: 2.06 2.02 2.06 3/83 24873
/proc/meminfo: memFree=1499912/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=180064 CPUtime=400.3
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 26416 0 0 0 40017 13 0 0 25 0 1 0 264629909 184385536 19086 996147200 134512640 135472138 4294956224 18446744073709551615 135202728 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 45016 19086 490 234 0 43718 0
Current children cumulated CPU time (s) 400.3
Current children cumulated vsize (KiB) 180064
[startup+462.302 s]
/proc/loadavg: 2.02 2.02 2.05 3/83 24873
/proc/meminfo: memFree=1499464/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=180064 CPUtime=460.01
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 26518 0 0 0 45988 13 0 0 25 0 1 0 264629909 184385536 19188 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 45016 19188 490 234 0 43718 0
Current children cumulated CPU time (s) 460.01
Current children cumulated vsize (KiB) 180064
[startup+522.301 s]
/proc/loadavg: 2.01 2.01 2.05 3/74 24903
/proc/meminfo: memFree=1421656/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=180064 CPUtime=519.71
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 26579 0 0 0 51957 14 0 0 25 0 1 0 264629909 184385536 19249 996147200 134512640 135472138 4294956224 18446744073709551615 135202774 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 45016 19249 490 234 0 43718 0
Current children cumulated CPU time (s) 519.71
Current children cumulated vsize (KiB) 180064
[startup+582.302 s]
/proc/loadavg: 2.00 2.01 2.04 3/74 24903
/proc/meminfo: memFree=1436504/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=180064 CPUtime=579.47
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 26579 0 0 0 57933 14 0 0 25 0 1 0 264629909 184385536 19249 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 45016 19249 490 234 0 43718 0
Current children cumulated CPU time (s) 579.47
Current children cumulated vsize (KiB) 180064
[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.04 3/74 24903
/proc/meminfo: memFree=1436056/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=180064 CPUtime=639.23
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 26646 0 0 0 63909 14 0 0 25 0 1 0 264629909 184385536 19316 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 45016 19316 490 234 0 43718 0
Current children cumulated CPU time (s) 639.23
Current children cumulated vsize (KiB) 180064
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.02 3/74 24909
/proc/meminfo: memFree=1434968/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=180064 CPUtime=818.49
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 26774 0 0 0 81835 14 0 0 25 0 1 0 264629909 184385536 19444 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 45016 19444 490 234 0 43718 0
Current children cumulated CPU time (s) 818.49
Current children cumulated vsize (KiB) 180064
[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.01 3/74 24909
/proc/meminfo: memFree=1434968/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=180064 CPUtime=878.25
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 26781 0 0 0 87811 14 0 0 25 0 1 0 264629909 184385536 19451 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 45016 19451 490 234 0 43718 0
Current children cumulated CPU time (s) 878.25
Current children cumulated vsize (KiB) 180064
[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.01 3/74 24909
/proc/meminfo: memFree=1434968/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=180064 CPUtime=938.01
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 26784 0 0 0 93787 14 0 0 25 0 1 0 264629909 184385536 19454 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 45016 19454 490 234 0 43718 0
Current children cumulated CPU time (s) 938.01
Current children cumulated vsize (KiB) 180064
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 24909
/proc/meminfo: memFree=1434904/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=180064 CPUtime=997.77
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 26812 0 0 0 99763 14 0 0 25 0 1 0 264629909 184385536 19482 996147200 134512640 135472138 4294956224 18446744073709551615 135202757 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 45016 19482 490 234 0 43718 0
Current children cumulated CPU time (s) 997.77
Current children cumulated vsize (KiB) 180064
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 24909
/proc/meminfo: memFree=1434840/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=180068 CPUtime=1057.53
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 26817 0 0 0 105739 14 0 0 25 0 1 0 264629909 184389632 19487 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 45017 19487 490 234 0 43719 0
Current children cumulated CPU time (s) 1057.53
Current children cumulated vsize (KiB) 180068
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 24909
/proc/meminfo: memFree=1434840/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=180068 CPUtime=1117.29
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 26817 0 0 0 111715 14 0 0 25 0 1 0 264629909 184389632 19487 996147200 134512640 135472138 4294956224 18446744073709551615 135202757 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 45017 19487 490 234 0 43719 0
Current children cumulated CPU time (s) 1117.29
Current children cumulated vsize (KiB) 180068
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 24909
/proc/meminfo: memFree=1434776/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=180068 CPUtime=1177.05
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 26817 0 0 0 117691 14 0 0 25 0 1 0 264629909 184389632 19487 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 45017 19487 490 234 0 43719 0
Current children cumulated CPU time (s) 1177.05
Current children cumulated vsize (KiB) 180068
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 24909
/proc/meminfo: memFree=1434712/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=180068 CPUtime=1236.81
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 26817 0 0 0 123667 14 0 0 25 0 1 0 264629909 184389632 19487 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 45017 19487 490 234 0 43719 0
Current children cumulated CPU time (s) 1236.81
Current children cumulated vsize (KiB) 180068
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 24909
/proc/meminfo: memFree=1434712/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=180068 CPUtime=1296.57
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 26817 0 0 0 129643 14 0 0 25 0 1 0 264629909 184389632 19487 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 45017 19487 490 234 0 43719 0
Current children cumulated CPU time (s) 1296.57
Current children cumulated vsize (KiB) 180068
[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/74 24909
/proc/meminfo: memFree=1434712/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=180068 CPUtime=1356.33
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 26817 0 0 0 135619 14 0 0 25 0 1 0 264629909 184389632 19487 996147200 134512640 135472138 4294956224 18446744073709551615 135202728 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 45017 19487 490 234 0 43719 0
Current children cumulated CPU time (s) 1356.33
Current children cumulated vsize (KiB) 180068
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/74 24909
/proc/meminfo: memFree=1434712/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=180068 CPUtime=1416.09
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 26817 0 0 0 141595 14 0 0 25 0 1 0 264629909 184389632 19487 996147200 134512640 135472138 4294956224 18446744073709551615 135202774 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 45017 19487 490 234 0 43719 0
Current children cumulated CPU time (s) 1416.09
Current children cumulated vsize (KiB) 180068
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/74 24909
/proc/meminfo: memFree=1434584/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=180068 CPUtime=1475.86
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 26817 0 0 0 147571 15 0 0 25 0 1 0 264629909 184389632 19487 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 45017 19487 490 234 0 43719 0
Current children cumulated CPU time (s) 1475.86
Current children cumulated vsize (KiB) 180068
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 24909
/proc/meminfo: memFree=1434584/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=180068 CPUtime=1535.61
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 26817 0 0 0 153546 15 0 0 25 0 1 0 264629909 184389632 19487 996147200 134512640 135472138 4294956224 18446744073709551615 135202748 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 45017 19487 490 234 0 43719 0
Current children cumulated CPU time (s) 1535.61
Current children cumulated vsize (KiB) 180068
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 24909
/proc/meminfo: memFree=1434520/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=180068 CPUtime=1595.37
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 26817 0 0 0 159522 15 0 0 25 0 1 0 264629909 184389632 19487 996147200 134512640 135472138 4294956224 18446744073709551615 135202743 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 45017 19487 490 234 0 43719 0
Current children cumulated CPU time (s) 1595.37
Current children cumulated vsize (KiB) 180068
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 24909
/proc/meminfo: memFree=1434520/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=180068 CPUtime=1655.13
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 26817 0 0 0 165498 15 0 0 25 0 1 0 264629909 184389632 19487 996147200 134512640 135472138 4294956224 18446744073709551615 135202779 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 45017 19487 490 234 0 43719 0
Current children cumulated CPU time (s) 1655.13
Current children cumulated vsize (KiB) 180068
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 24909
/proc/meminfo: memFree=1434456/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=180068 CPUtime=1714.89
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 26817 0 0 0 171474 15 0 0 25 0 1 0 264629909 184389632 19487 996147200 134512640 135472138 4294956224 18446744073709551615 135202725 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 45017 19487 490 234 0 43719 0
Current children cumulated CPU time (s) 1714.89
Current children cumulated vsize (KiB) 180068
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 24909
/proc/meminfo: memFree=1434328/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=180068 CPUtime=1774.65
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 26817 0 0 0 177450 15 0 0 25 0 1 0 264629909 184389632 19487 996147200 134512640 135472138 4294956224 18446744073709551615 135202757 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 45017 19487 490 234 0 43719 0
Current children cumulated CPU time (s) 1774.65
Current children cumulated vsize (KiB) 180068
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 24909
/proc/meminfo: memFree=1434328/2055920 swapFree=4181000/4192956
[pid=24870] ppid=24868 vsize=180068 CPUtime=1800.05
/proc/24870/stat : 24870 (casperzito) R 24868 24870 24607 0 -1 4194304 26817 0 0 0 179990 15 0 0 25 0 1 0 264629909 184389632 19487 996147200 134512640 135472138 4294956224 18446744073709551615 135202604 0 0 4096 0 0 0 0 17 1 0 0
/proc/24870/statm: 45017 19487 490 234 0 43719 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 180068
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): 1807.82
CPU time (s): 1800.08
CPU user time (s): 1799.91
CPU system time (s): 0.166974
CPU usage (%): 99.5717
Max. virtual memory (cumulated for all children) (KiB): 218784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.166974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26817
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= 30290
runsolver used 1.65775 second user time and 4.93425 second system time
The end
Begin job on node85 at 2008-07-05 07:47:52
IDJOB=1086012
IDBENCH=57740
IDSOLVER=362
FILE ID=node85/1086012-1215236872
PBS_JOBID= 7881963
Free space on /tmp= 126844 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/fapp/fapp12/normalized-fapp12-1500-10.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086012-1215236872/watcher-1086012-1215236872 -o /tmp/evaluation-result-1086012-1215236872/solver-1086012-1215236872 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1086012-1215236872.xml 960163637
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 029bcf31114915c1681378a4f18ed14e
RANDOM SEED=960163637
node85.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.272
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.272
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1575472 kB
Buffers: 16812 kB
Cached: 151020 kB
SwapCached: 5568 kB
Active: 367084 kB
Inactive: 67932 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1575472 kB
SwapTotal: 4192956 kB
SwapFree: 4181000 kB
Dirty: 6384 kB
Writeback: 0 kB
Mapped: 284524 kB
Slab: 30364 kB
Committed_AS: 1111124 kB
PageTables: 2128 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= 126836 MiB
End job on node85 at 2008-07-05 08:18:02