0.18/0.21 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.18/0.21 c Parsing = 1
2.26/2.36 c Building = 1
2.86/2.96 c [ NumberOfVariables = 20 ]
2.86/2.96 c [ NumberOfConstraints = 18 ]
2.86/2.96 c [ SizeOfSearchSpace(log2) = 46.4386 ]
2.86/2.96 c SymmetrySearch = 1
11.66/11.83 c InitialPropagation = 1
11.66/11.87 c [ SizeOfSearchSpace(log2) = 46.4386 ]
11.66/11.87 c InitialSAC = 1
13.25/13.50 c [ SizeOfSearchSpace(log2) = 46.4386 ]
13.25/13.50 c Search(SampleFF) :
118.01/119.02 c [ Sampling domwdeg ]
118.01/119.02 c [ Sampling impacts ]
118.01/119.02 c [ SamplingScores: ]
118.01/119.02 c [ domwdeg+min = 3.36691e-06 | domwdeg+rnd = 7.38646e-06 ]
118.01/119.02 c [ impacts+min = 2.12529e-06 | impacts+rnd = 1.25877e-06 ]
118.01/119.02 c [ la+min = 0 | la+rnd = 0 ]
118.01/119.02 c [ domwdeg = 5.37669e-06 | impacts = 1.69203e-06 | la = 0 ]
118.01/119.02 c [ min = 1.83073e-06 | rand = 1.69203e-06 ]
118.01/119.02 c [ restarting at (3.19213,4.608e-06) ]
125.99/127.04 c [ restarting at (7.98032,1.3824e-05) ]
145.98/147.08 c [ restarting at (19.9508,4.1472e-05) ]
195.95/197.02 c [ restarting at (49.877,0.000128512) ]
320.64/321.94 c [ restarting at (124.693,0.00045312) ]
632.27/633.90 c [ restarting at (311.731,0.000839987) ]
1411.45/1413.43 c [ restarting at (779.328,0.0021335) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1054286-1215058613/watcher-1054286-1215058613 -o /tmp/evaluation-result-1054286-1215058613/solver-1054286-1215058613 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1054286-1215058613.xml 1272872249
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.05 2.02 2.00 4/81 21267
/proc/meminfo: memFree=1591904/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=1052 CPUtime=0
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 40 0 0 0 0 0 0 0 19 0 1 0 990266054 1077248 26 996147200 134512640 135472138 4294956224 18446744073709551615 10535716 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/21267/statm: 263 26 20 234 0 3 0
[startup+0.086108 s]
/proc/loadavg: 2.05 2.02 2.00 4/81 21267
/proc/meminfo: memFree=1591904/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=8780 CPUtime=0.06
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 1303 0 0 0 6 0 0 0 18 0 1 0 990266054 8990720 1263 996147200 134512640 135472138 4294956224 18446744073709551615 134774679 0 0 4096 0 0 0 0 17 1 0 0
/proc/21267/statm: 2195 1263 364 234 0 897 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8780
[startup+0.101107 s]
/proc/loadavg: 2.05 2.02 2.00 4/81 21267
/proc/meminfo: memFree=1591904/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=8780 CPUtime=0.08
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 1303 0 0 0 8 0 0 0 18 0 1 0 990266054 8990720 1263 996147200 134512640 135472138 4294956224 18446744073709551615 134794147 0 0 4096 0 0 0 0 17 1 0 0
/proc/21267/statm: 2195 1263 364 234 0 897 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8780
[startup+0.301137 s]
/proc/loadavg: 2.05 2.02 2.00 4/81 21267
/proc/meminfo: memFree=1591904/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=15468 CPUtime=0.28
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 2987 0 0 0 27 1 0 0 19 0 1 0 990266054 15839232 2947 996147200 134512640 135472138 4294956224 18446744073709551615 134779353 0 0 4096 0 0 0 0 17 1 0 0
/proc/21267/statm: 3867 2947 365 234 0 2569 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 15468
[startup+0.701174 s]
/proc/loadavg: 2.05 2.02 2.00 4/81 21267
/proc/meminfo: memFree=1591904/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=25628 CPUtime=0.68
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 5503 0 0 0 65 3 0 0 23 0 1 0 990266054 26243072 5463 996147200 134512640 135472138 4294956224 18446744073709551615 134707733 0 0 4096 0 0 0 0 17 1 0 0
/proc/21267/statm: 6407 5463 365 234 0 5109 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 25628
[startup+1.50126 s]
/proc/loadavg: 2.05 2.02 2.00 3/82 21268
/proc/meminfo: memFree=1564632/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=45684 CPUtime=1.46
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 10529 0 0 0 141 5 0 0 25 0 1 0 990266054 46780416 10489 996147200 134512640 135472138 4294956224 18446744073709551615 134794160 0 0 4096 0 0 0 0 17 1 0 0
/proc/21267/statm: 11421 10489 365 234 0 10123 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 45684
[startup+3.10243 s]
/proc/loadavg: 2.05 2.02 2.00 3/82 21268
/proc/meminfo: memFree=1536280/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=249320 CPUtime=3.06
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 35839 0 0 0 291 15 0 0 25 0 1 0 990266054 255303680 35799 996147200 134512640 135472138 4294956224 18446744073709551615 134629257 0 0 4096 0 0 0 0 17 1 0 0
/proc/21267/statm: 62330 35799 431 234 0 61032 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 249320
[startup+6.30175 s]
/proc/loadavg: 2.05 2.02 2.00 3/82 21268
/proc/meminfo: memFree=1223832/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=562424 CPUtime=6.22
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 114115 0 0 0 574 48 0 0 25 0 1 0 990266054 575922176 114075 996147200 134512640 135472138 4294956224 18446744073709551615 134629318 0 0 4096 0 0 0 0 17 1 0 0
/proc/21267/statm: 140606 114075 432 234 0 139308 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 562424
[startup+12.7024 s]
/proc/loadavg: 2.04 2.02 2.00 3/82 21268
/proc/meminfo: memFree=1469016/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=229056 CPUtime=12.56
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 173275 0 0 0 1180 76 0 0 25 0 1 0 990266054 234553344 30817 996147200 134512640 135472138 4294956224 18446744073709551615 134604930 0 0 4096 0 0 0 0 17 1 0 0
/proc/21267/statm: 57264 30817 457 234 0 55966 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 229056
[startup+25.5017 s]
/proc/loadavg: 2.03 2.02 2.00 3/82 21268
/proc/meminfo: memFree=1469080/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=229056 CPUtime=25.24
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 173320 0 0 0 2448 76 0 0 25 0 1 0 990266054 234553344 30862 996147200 134512640 135472138 4294956224 18446744073709551615 135263654 0 0 4096 0 0 0 0 17 1 0 0
/proc/21267/statm: 57264 30862 476 234 0 55966 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 229056
[startup+51.1014 s]
/proc/loadavg: 2.02 2.02 2.00 3/82 21268
/proc/meminfo: memFree=1468760/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=229056 CPUtime=50.61
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 173400 0 0 0 4985 76 0 0 25 0 1 0 990266054 234553344 30942 996147200 134512640 135472138 4294956224 18446744073709551615 134585142 0 0 4096 0 0 0 0 17 1 0 0
/proc/21267/statm: 57264 30942 476 234 0 55966 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 229056
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/70 21272
/proc/meminfo: memFree=1577144/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=229056 CPUtime=101.38
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 173414 0 0 0 10062 76 0 0 25 0 1 0 990266054 234553344 30956 996147200 134512640 135472138 4294956224 18446744073709551615 134585095 0 0 4096 0 0 0 0 17 1 0 0
/proc/21267/statm: 57264 30956 478 234 0 55966 0
Current children cumulated CPU time (s) 101.38
Current children cumulated vsize (KiB) 229056
[startup+162.302 s]
/proc/loadavg: 2.20 2.07 2.02 4/82 21308
/proc/meminfo: memFree=1466712/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=229056 CPUtime=161.27
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 173415 0 0 0 16048 79 0 0 25 0 1 0 990266054 234553344 30957 996147200 134512640 135472138 4294956224 18446744073709551615 134604915 0 0 4096 0 0 0 0 17 0 0 0
/proc/21267/statm: 57264 30957 479 234 0 55966 0
Current children cumulated CPU time (s) 161.27
Current children cumulated vsize (KiB) 229056
[startup+222.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/83 21347
/proc/meminfo: memFree=1414096/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=229056 CPUtime=221.23
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 173415 0 0 0 22041 82 0 0 25 0 1 0 990266054 234553344 30957 996147200 134512640 135472138 4294956224 18446744073709551615 134584976 0 0 4096 0 0 0 0 17 0 0 0
/proc/21267/statm: 57264 30957 479 234 0 55966 0
Current children cumulated CPU time (s) 221.23
Current children cumulated vsize (KiB) 229056
[startup+282.301 s]
/proc/loadavg: 2.15 2.07 2.02 3/82 21567
/proc/meminfo: memFree=1493136/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=229056 CPUtime=281.08
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 173415 0 0 0 28022 86 0 0 25 0 1 0 990266054 234553344 30957 996147200 134512640 135472138 4294956224 18446744073709551615 134604960 0 0 4096 0 0 0 0 17 0 0 0
/proc/21267/statm: 57264 30957 479 234 0 55966 0
Current children cumulated CPU time (s) 281.08
Current children cumulated vsize (KiB) 229056
[startup+342.301 s]
/proc/loadavg: 2.14 2.08 2.02 5/84 22253
/proc/meminfo: memFree=1600704/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=229056 CPUtime=340.96
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 173415 0 0 0 34003 93 0 0 25 0 1 0 990266054 234553344 30957 996147200 134512640 135472138 4294956224 18446744073709551615 134585158 0 0 4096 0 0 0 0 17 1 0 0
/proc/21267/statm: 57264 30957 479 234 0 55966 0
Current children cumulated CPU time (s) 340.96
Current children cumulated vsize (KiB) 229056
[startup+402.302 s]
/proc/loadavg: 2.08 2.08 2.02 3/82 22424
/proc/meminfo: memFree=1599512/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=229056 CPUtime=400.76
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 173415 0 0 0 39980 96 0 0 25 0 1 0 990266054 234553344 30957 996147200 134512640 135472138 4294956224 18446744073709551615 134585122 0 0 4096 0 0 0 0 17 0 0 0
/proc/21267/statm: 57264 30957 479 234 0 55966 0
Current children cumulated CPU time (s) 400.76
Current children cumulated vsize (KiB) 229056
[startup+462.302 s]
/proc/loadavg: 2.03 2.06 2.02 3/82 22424
/proc/meminfo: memFree=1599256/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=229056 CPUtime=460.73
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 173416 0 0 0 45977 96 0 0 25 0 1 0 990266054 234553344 30958 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 0 0 0
/proc/21267/statm: 57264 30958 479 234 0 55966 0
Current children cumulated CPU time (s) 460.73
Current children cumulated vsize (KiB) 229056
[startup+522.302 s]
/proc/loadavg: 2.01 2.05 2.01 3/82 22424
/proc/meminfo: memFree=1599192/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=229056 CPUtime=520.71
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 173416 0 0 0 51975 96 0 0 25 0 1 0 990266054 234553344 30958 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 0 0 0
/proc/21267/statm: 57264 30958 479 234 0 55966 0
Current children cumulated CPU time (s) 520.71
Current children cumulated vsize (KiB) 229056
[startup+582.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/82 22424
/proc/meminfo: memFree=1599192/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=229056 CPUtime=580.68
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 173416 0 0 0 57972 96 0 0 25 0 1 0 990266054 234553344 30958 996147200 134512640 135472138 4294956224 18446744073709551615 134585100 0 0 4096 0 0 0 0 17 0 0 0
/proc/21267/statm: 57264 30958 479 234 0 55966 0
Current children cumulated CPU time (s) 580.68
Current children cumulated vsize (KiB) 229056
[startup+642.303 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 22424
/proc/meminfo: memFree=1599192/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=229056 CPUtime=640.67
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 173416 0 0 0 63971 96 0 0 25 0 1 0 990266054 234553344 30958 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 0 0 0
/proc/21267/statm: 57264 30958 479 234 0 55966 0
Current children cumulated CPU time (s) 640.67
Current children cumulated vsize (KiB) 229056
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 22424
/proc/meminfo: memFree=1599128/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=229056 CPUtime=820.59
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 173416 0 0 0 81963 96 0 0 25 0 1 0 990266054 234553344 30958 996147200 134512640 135472138 4294956224 18446744073709551615 134585158 0 0 4096 0 0 0 0 17 0 0 0
/proc/21267/statm: 57264 30958 479 234 0 55966 0
Current children cumulated CPU time (s) 820.59
Current children cumulated vsize (KiB) 229056
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22424
/proc/meminfo: memFree=1599128/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=229056 CPUtime=880.56
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 173416 0 0 0 87960 96 0 0 25 0 1 0 990266054 234553344 30958 996147200 134512640 135472138 4294956224 18446744073709551615 134585131 0 0 4096 0 0 0 0 17 0 0 0
/proc/21267/statm: 57264 30958 479 234 0 55966 0
Current children cumulated CPU time (s) 880.56
Current children cumulated vsize (KiB) 229056
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22424
/proc/meminfo: memFree=1599128/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=229056 CPUtime=940.54
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 173416 0 0 0 93958 96 0 0 25 0 1 0 990266054 234553344 30958 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/21267/statm: 57264 30958 479 234 0 55966 0
Current children cumulated CPU time (s) 940.54
Current children cumulated vsize (KiB) 229056
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 22424
/proc/meminfo: memFree=1599128/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=229056 CPUtime=1000.51
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 173428 0 0 0 99955 96 0 0 25 0 1 0 990266054 234553344 30970 996147200 134512640 135472138 4294956224 18446744073709551615 134584999 0 0 4096 0 0 0 0 17 0 0 0
/proc/21267/statm: 57264 30970 479 234 0 55966 0
Current children cumulated CPU time (s) 1000.51
Current children cumulated vsize (KiB) 229056
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22424
/proc/meminfo: memFree=1599000/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=229056 CPUtime=1060.5
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 173432 0 0 0 105953 97 0 0 25 0 1 0 990266054 234553344 30974 996147200 134512640 135472138 4294956224 18446744073709551615 134604938 0 0 4096 0 0 0 0 17 0 0 0
/proc/21267/statm: 57264 30974 479 234 0 55966 0
Current children cumulated CPU time (s) 1060.5
Current children cumulated vsize (KiB) 229056
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22424
/proc/meminfo: memFree=1598936/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=229056 CPUtime=1120.47
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 173436 0 0 0 111950 97 0 0 25 0 1 0 990266054 234553344 30978 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 0 0 0
/proc/21267/statm: 57264 30978 479 234 0 55966 0
Current children cumulated CPU time (s) 1120.47
Current children cumulated vsize (KiB) 229056
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22424
/proc/meminfo: memFree=1598872/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=229056 CPUtime=1180.44
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 173457 0 0 0 117947 97 0 0 25 0 1 0 990266054 234553344 30999 996147200 134512640 135472138 4294956224 18446744073709551615 134585142 0 0 4096 0 0 0 0 17 0 0 0
/proc/21267/statm: 57264 30999 479 234 0 55966 0
Current children cumulated CPU time (s) 1180.44
Current children cumulated vsize (KiB) 229056
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22424
/proc/meminfo: memFree=1598744/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=229056 CPUtime=1240.42
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 173457 0 0 0 123945 97 0 0 25 0 1 0 990266054 234553344 30999 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/21267/statm: 57264 30999 479 234 0 55966 0
Current children cumulated CPU time (s) 1240.42
Current children cumulated vsize (KiB) 229056
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22424
/proc/meminfo: memFree=1598680/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=229056 CPUtime=1300.4
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 173457 0 0 0 129943 97 0 0 25 0 1 0 990266054 234553344 30999 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/21267/statm: 57264 30999 479 234 0 55966 0
Current children cumulated CPU time (s) 1300.4
Current children cumulated vsize (KiB) 229056
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22424
/proc/meminfo: memFree=1598680/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=229056 CPUtime=1360.37
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 173457 0 0 0 135940 97 0 0 25 0 1 0 990266054 234553344 30999 996147200 134512640 135472138 4294956224 18446744073709551615 134585139 0 0 4096 0 0 0 0 17 0 0 0
/proc/21267/statm: 57264 30999 479 234 0 55966 0
Current children cumulated CPU time (s) 1360.37
Current children cumulated vsize (KiB) 229056
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22424
/proc/meminfo: memFree=1598616/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=229056 CPUtime=1420.35
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 173457 0 0 0 141938 97 0 0 25 0 1 0 990266054 234553344 30999 996147200 134512640 135472138 4294956224 18446744073709551615 134585131 0 0 4096 0 0 0 0 17 0 0 0
/proc/21267/statm: 57264 30999 479 234 0 55966 0
Current children cumulated CPU time (s) 1420.35
Current children cumulated vsize (KiB) 229056
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22424
/proc/meminfo: memFree=1598616/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=229056 CPUtime=1480.32
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 173457 0 0 0 147935 97 0 0 25 0 1 0 990266054 234553344 30999 996147200 134512640 135472138 4294956224 18446744073709551615 134585282 0 0 4096 0 0 0 0 17 0 0 0
/proc/21267/statm: 57264 30999 479 234 0 55966 0
Current children cumulated CPU time (s) 1480.32
Current children cumulated vsize (KiB) 229056
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22424
/proc/meminfo: memFree=1598552/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=229056 CPUtime=1540.29
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 173457 0 0 0 153932 97 0 0 25 0 1 0 990266054 234553344 30999 996147200 134512640 135472138 4294956224 18446744073709551615 134585158 0 0 4096 0 0 0 0 17 0 0 0
/proc/21267/statm: 57264 30999 479 234 0 55966 0
Current children cumulated CPU time (s) 1540.29
Current children cumulated vsize (KiB) 229056
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 22424
/proc/meminfo: memFree=1598488/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=229056 CPUtime=1600.27
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 173457 0 0 0 159930 97 0 0 25 0 1 0 990266054 234553344 30999 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/21267/statm: 57264 30999 479 234 0 55966 0
Current children cumulated CPU time (s) 1600.27
Current children cumulated vsize (KiB) 229056
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22424
/proc/meminfo: memFree=1598488/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=229056 CPUtime=1660.25
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 173457 0 0 0 165928 97 0 0 25 0 1 0 990266054 234553344 30999 996147200 134512640 135472138 4294956224 18446744073709551615 134585092 0 0 4096 0 0 0 0 17 0 0 0
/proc/21267/statm: 57264 30999 479 234 0 55966 0
Current children cumulated CPU time (s) 1660.25
Current children cumulated vsize (KiB) 229056
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22424
/proc/meminfo: memFree=1598488/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=229056 CPUtime=1720.22
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 173457 0 0 0 171925 97 0 0 25 0 1 0 990266054 234553344 30999 996147200 134512640 135472138 4294956224 18446744073709551615 134605005 0 0 4096 0 0 0 0 17 0 0 0
/proc/21267/statm: 57264 30999 479 234 0 55966 0
Current children cumulated CPU time (s) 1720.22
Current children cumulated vsize (KiB) 229056
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22424
/proc/meminfo: memFree=1598296/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=229056 CPUtime=1780.2
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 173457 0 0 0 177923 97 0 0 25 0 1 0 990266054 234553344 30999 996147200 134512640 135472138 4294956224 18446744073709551615 134604997 0 0 4096 0 0 0 0 17 0 0 0
/proc/21267/statm: 57264 30999 479 234 0 55966 0
Current children cumulated CPU time (s) 1780.2
Current children cumulated vsize (KiB) 229056
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22424
/proc/meminfo: memFree=1598296/2055920 swapFree=4180832/4192956
[pid=21267] ppid=21265 vsize=229056 CPUtime=1800.09
/proc/21267/stat : 21267 (casperzito) R 21265 21267 21179 0 -1 4194304 173457 0 0 0 179912 97 0 0 25 0 1 0 990266054 234553344 30999 996147200 134512640 135472138 4294956224 18446744073709551615 134604891 0 0 4096 0 0 0 0 17 0 0 0
/proc/21267/statm: 57264 30999 479 234 0 55966 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 229056
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): 1802.23
CPU time (s): 1800.12
CPU user time (s): 1799.13
CPU system time (s): 0.996848
CPU usage (%): 99.8834
Max. virtual memory (cumulated for all children) (KiB): 852640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.13
system time used= 0.996848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173457
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= 9974
runsolver used 2.37464 second user time and 5.38318 second system time
The end
Begin job on node2 at 2008-07-03 06:16:54
IDJOB=1054286
IDBENCH=56210
IDSOLVER=362
FILE ID=node2/1054286-1215058613
PBS_JOBID= 7875205
Free space on /tmp= 66508 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/rand-8-20-5/normalized-rand-8-20-5-18-800-12_ext.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1054286-1215058613/watcher-1054286-1215058613 -o /tmp/evaluation-result-1054286-1215058613/solver-1054286-1215058613 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1054286-1215058613.xml 1272872249
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= c0ecfd6ca1f83fa3e2be5d39c4563c4a
RANDOM SEED=1272872249
node2.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.236
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.236
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: 1592384 kB
Buffers: 50512 kB
Cached: 208456 kB
SwapCached: 5960 kB
Active: 317384 kB
Inactive: 80608 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1592384 kB
SwapTotal: 4192956 kB
SwapFree: 4180832 kB
Dirty: 38896 kB
Writeback: 0 kB
Mapped: 155096 kB
Slab: 50216 kB
Committed_AS: 1651008 kB
PageTables: 2292 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264992 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66528 MiB
End job on node2 at 2008-07-03 06:46:59