0.00/0.00 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.00/0.00 c Parsing = 1
0.09/0.10 c Building = 1
0.09/0.10 c [ NumberOfVariables = 50 ]
0.09/0.10 c [ NumberOfConstraints = 471 ]
0.09/0.10 c [ SizeOfSearchSpace(log2) = 226.178 ]
0.09/0.10 c SymmetrySearch = 1
0.19/0.26 c InitialPropagation = 1
0.19/0.28 c [ SizeOfSearchSpace(log2) = 226.178 ]
0.19/0.28 c InitialSAC = 1
0.29/0.30 c [ SizeOfSearchSpace(log2) = 226.178 ]
0.29/0.30 c Search(SampleFF) :
68.27/68.75 c [ Sampling domwdeg ]
68.27/68.75 c [ Sampling impacts ]
68.27/68.75 c [ SamplingScores: ]
68.27/68.75 c [ domwdeg+min = 2.04486e-08 | domwdeg+rnd = 2.22639e-08 ]
68.27/68.75 c [ impacts+min = 8.67423e-08 | impacts+rnd = 8.85244e-07 ]
68.27/68.75 c [ la+min = 0 | la+rnd = 0 ]
68.27/68.75 c [ domwdeg = 2.13563e-08 | impacts = 4.85993e-07 | la = 0 ]
68.27/68.75 c [ min = 3.57303e-08 | rand = 4.85993e-07 ]
68.27/68.75 c [ restarting at (3.96356,1.01446e-06) ]
78.12/78.68 c [ restarting at (9.9089,7.11346e-07) ]
102.77/103.48 c [ restarting at (24.7722,1.16949e-05) ]
164.41/165.49 c [ restarting at (61.9306,5.33214e-06) ]
318.59/320.53 c [ restarting at (154.827,3.44932e-05) ]
703.89/708.10 c [ restarting at (387.066,4.84956e-05) ]
1671.77/1677.08 c [ restarting at (967.666,0.000268752) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1101097-1215290593/watcher-1101097-1215290593 -o /tmp/evaluation-result-1101097-1215290593/solver-1101097-1215290593 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1101097-1215290593.xml 1406919216
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.00 2.00 4/106 9224
/proc/meminfo: memFree=890404/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=5436 CPUtime=0
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 446 0 0 0 0 0 0 0 18 0 1 0 684785860 5566464 406 996147200 134512640 135472138 4294956224 18446744073709551615 134799984 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 1359 412 358 234 0 61 0
[startup+0.0980099 s]
/proc/loadavg: 2.00 2.00 2.00 4/106 9224
/proc/meminfo: memFree=890404/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=106752 CPUtime=0.08
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 2357 0 0 0 8 0 0 0 18 0 1 0 684785860 109314048 2317 996147200 134512640 135472138 4294956224 18446744073709551615 10696315 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26688 2318 434 234 0 25390 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 106752
[startup+0.101009 s]
/proc/loadavg: 2.00 2.00 2.00 4/106 9224
/proc/meminfo: memFree=890404/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=107016 CPUtime=0.09
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 2426 0 0 0 9 0 0 0 18 0 1 0 684785860 109584384 2386 996147200 134512640 135472138 4294956224 18446744073709551615 10696315 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26754 2387 434 234 0 25456 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 107016
[startup+0.301031 s]
/proc/loadavg: 2.00 2.00 2.00 4/106 9224
/proc/meminfo: memFree=890404/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=0.29
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 4940 0 0 0 28 1 0 0 19 0 1 0 684785860 108163072 2138 996147200 134512640 135472138 4294956224 18446744073709551615 134616376 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2138 459 234 0 25109 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 105628
[startup+0.701071 s]
/proc/loadavg: 2.00 2.00 2.00 4/106 9224
/proc/meminfo: memFree=890404/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=0.69
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 4995 0 0 0 68 1 0 0 23 0 1 0 684785860 108163072 2193 996147200 134512640 135472138 4294956224 18446744073709551615 135202774 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2193 478 234 0 25109 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 105628
[startup+1.50116 s]
/proc/loadavg: 2.00 2.00 2.00 3/107 9225
/proc/meminfo: memFree=883356/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=1.48
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 4996 0 0 0 147 1 0 0 25 0 1 0 684785860 108163072 2194 996147200 134512640 135472138 4294956224 18446744073709551615 135263390 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2194 478 234 0 25109 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 105628
[startup+3.10751 s]
/proc/loadavg: 2.00 2.00 2.00 3/107 9225
/proc/meminfo: memFree=883164/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=3.08
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 4998 0 0 0 307 1 0 0 25 0 1 0 684785860 108163072 2196 996147200 134512640 135472138 4294956224 18446744073709551615 135263616 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2196 478 234 0 25109 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 105628
[startup+6.30165 s]
/proc/loadavg: 2.00 2.00 2.00 3/107 9225
/proc/meminfo: memFree=883036/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=6.25
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 4999 0 0 0 624 1 0 0 25 0 1 0 684785860 108163072 2197 996147200 134512640 135472138 4294956224 18446744073709551615 134577392 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2197 478 234 0 25109 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 105628
[startup+12.7013 s]
/proc/loadavg: 2.15 2.03 2.01 3/107 9225
/proc/meminfo: memFree=882852/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=12.61
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 5001 0 0 0 1260 1 0 0 25 0 1 0 684785860 108163072 2199 996147200 134512640 135472138 4294956224 18446744073709551615 134578975 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2199 478 234 0 25109 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 105628
[startup+25.5016 s]
/proc/loadavg: 2.12 2.03 2.01 3/107 9225
/proc/meminfo: memFree=882852/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=25.33
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 5001 0 0 0 2532 1 0 0 25 0 1 0 684785860 108163072 2199 996147200 134512640 135472138 4294956224 18446744073709551615 135263759 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2199 478 234 0 25109 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 105628
[startup+51.1013 s]
/proc/loadavg: 2.08 2.03 2.01 3/107 9225
/proc/meminfo: memFree=882852/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=50.78
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 5017 0 0 0 5077 1 0 0 25 0 1 0 684785860 108163072 2215 996147200 134512640 135472138 4294956224 18446744073709551615 134595453 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2215 480 234 0 25109 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 105628
[startup+102.308 s]
/proc/loadavg: 2.03 2.02 2.00 3/107 9225
/proc/meminfo: memFree=882724/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=101.68
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 5021 0 0 0 10167 1 0 0 25 0 1 0 684785860 108163072 2219 996147200 134512640 135472138 4294956224 18446744073709551615 134595467 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2219 481 234 0 25109 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 105628
[startup+162.302 s]
/proc/loadavg: 2.01 2.02 2.00 4/107 9225
/proc/meminfo: memFree=882660/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=161.33
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 5024 0 0 0 16131 2 0 0 25 0 1 0 684785860 108163072 2222 996147200 134512640 135472138 4294956224 18446744073709551615 134578965 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2222 481 234 0 25109 0
Current children cumulated CPU time (s) 161.33
Current children cumulated vsize (KiB) 105628
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/107 9226
/proc/meminfo: memFree=882596/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=220.98
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 5026 0 0 0 22096 2 0 0 25 0 1 0 684785860 108163072 2224 996147200 134512640 135472138 4294956224 18446744073709551615 134579180 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2224 481 234 0 25109 0
Current children cumulated CPU time (s) 220.98
Current children cumulated vsize (KiB) 105628
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/107 9226
/proc/meminfo: memFree=882532/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=280.62
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 5026 0 0 0 28060 2 0 0 25 0 1 0 684785860 108163072 2224 996147200 134512640 135472138 4294956224 18446744073709551615 134595467 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2224 481 234 0 25109 0
Current children cumulated CPU time (s) 280.62
Current children cumulated vsize (KiB) 105628
[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/107 9226
/proc/meminfo: memFree=882532/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=340.26
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 5026 0 0 0 34024 2 0 0 25 0 1 0 684785860 108163072 2224 996147200 134512640 135472138 4294956224 18446744073709551615 134581691 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2224 481 234 0 25109 0
Current children cumulated CPU time (s) 340.26
Current children cumulated vsize (KiB) 105628
[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/107 9226
/proc/meminfo: memFree=882532/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=399.91
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 5026 0 0 0 39989 2 0 0 25 0 1 0 684785860 108163072 2224 996147200 134512640 135472138 4294956224 18446744073709551615 134577760 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2224 481 234 0 25109 0
Current children cumulated CPU time (s) 399.91
Current children cumulated vsize (KiB) 105628
[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/107 9226
/proc/meminfo: memFree=882532/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=459.55
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 5026 0 0 0 45953 2 0 0 25 0 1 0 684785860 108163072 2224 996147200 134512640 135472138 4294956224 18446744073709551615 134585302 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2224 481 234 0 25109 0
Current children cumulated CPU time (s) 459.55
Current children cumulated vsize (KiB) 105628
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/107 9226
/proc/meminfo: memFree=882468/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=519.19
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 5026 0 0 0 51917 2 0 0 25 0 1 0 684785860 108163072 2224 996147200 134512640 135472138 4294956224 18446744073709551615 134595447 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2224 481 234 0 25109 0
Current children cumulated CPU time (s) 519.19
Current children cumulated vsize (KiB) 105628
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/107 9226
/proc/meminfo: memFree=882468/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=578.84
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 5028 0 0 0 57882 2 0 0 25 0 1 0 684785860 108163072 2226 996147200 134512640 135472138 4294956224 18446744073709551615 134585122 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2226 481 234 0 25109 0
Current children cumulated CPU time (s) 578.84
Current children cumulated vsize (KiB) 105628
[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/107 9226
/proc/meminfo: memFree=882404/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=638.49
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 5030 0 0 0 63847 2 0 0 25 0 1 0 684785860 108163072 2228 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2228 481 234 0 25109 0
Current children cumulated CPU time (s) 638.49
Current children cumulated vsize (KiB) 105628
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 1.95 1.97 1.99 3/108 9300
/proc/meminfo: memFree=905940/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=877.43
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 5030 0 0 0 87740 3 0 0 25 0 1 0 684785860 108163072 2228 996147200 134512640 135472138 4294956224 18446744073709551615 134579117 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2228 481 234 0 25109 0
Current children cumulated CPU time (s) 877.43
Current children cumulated vsize (KiB) 105628
[startup+942.302 s]
/proc/loadavg: 1.98 1.97 1.99 3/108 9300
/proc/meminfo: memFree=905812/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=937.4
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 5030 0 0 0 93737 3 0 0 25 0 1 0 684785860 108163072 2228 996147200 134512640 135472138 4294956224 18446744073709551615 134595510 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2228 481 234 0 25109 0
Current children cumulated CPU time (s) 937.4
Current children cumulated vsize (KiB) 105628
[startup+1002.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/108 9300
/proc/meminfo: memFree=905748/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=997.37
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 5030 0 0 0 99734 3 0 0 25 0 1 0 684785860 108163072 2228 996147200 134512640 135472138 4294956224 18446744073709551615 134595725 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2228 481 234 0 25109 0
Current children cumulated CPU time (s) 997.37
Current children cumulated vsize (KiB) 105628
[startup+1062.3 s]
/proc/loadavg: 1.99 1.97 1.99 4/108 9300
/proc/meminfo: memFree=905684/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=1057.35
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 5030 0 0 0 105732 3 0 0 25 0 1 0 684785860 108163072 2228 996147200 134512640 135472138 4294956224 18446744073709551615 135234789 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2228 481 234 0 25109 0
Current children cumulated CPU time (s) 1057.35
Current children cumulated vsize (KiB) 105628
[startup+1122.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/108 9306
/proc/meminfo: memFree=905620/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=1117.31
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 5030 0 0 0 111727 4 0 0 25 0 1 0 684785860 108163072 2228 996147200 134512640 135472138 4294956224 18446744073709551615 134586229 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2228 481 234 0 25109 0
Current children cumulated CPU time (s) 1117.31
Current children cumulated vsize (KiB) 105628
[startup+1182.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/108 9306
/proc/meminfo: memFree=905556/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=1177.28
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 5030 0 0 0 117724 4 0 0 25 0 1 0 684785860 108163072 2228 996147200 134512640 135472138 4294956224 18446744073709551615 135224498 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2228 481 234 0 25109 0
Current children cumulated CPU time (s) 1177.28
Current children cumulated vsize (KiB) 105628
[startup+1242.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/108 9306
/proc/meminfo: memFree=905428/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=1237.25
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 5030 0 0 0 123721 4 0 0 25 0 1 0 684785860 108163072 2228 996147200 134512640 135472138 4294956224 18446744073709551615 134595490 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2228 481 234 0 25109 0
Current children cumulated CPU time (s) 1237.25
Current children cumulated vsize (KiB) 105628
[startup+1302.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/108 9306
/proc/meminfo: memFree=905364/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=1297.23
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 5030 0 0 0 129719 4 0 0 25 0 1 0 684785860 108163072 2228 996147200 134512640 135472138 4294956224 18446744073709551615 134595977 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2228 481 234 0 25109 0
Current children cumulated CPU time (s) 1297.23
Current children cumulated vsize (KiB) 105628
[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/108 9306
/proc/meminfo: memFree=905364/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=1357.2
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 5030 0 0 0 135716 4 0 0 25 0 1 0 684785860 108163072 2228 996147200 134512640 135472138 4294956224 18446744073709551615 134595453 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2228 481 234 0 25109 0
Current children cumulated CPU time (s) 1357.2
Current children cumulated vsize (KiB) 105628
[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.99 3/108 9306
/proc/meminfo: memFree=905364/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=1417.18
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 5030 0 0 0 141714 4 0 0 25 0 1 0 684785860 108163072 2228 996147200 134512640 135472138 4294956224 18446744073709551615 134593103 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2228 481 234 0 25109 0
Current children cumulated CPU time (s) 1417.18
Current children cumulated vsize (KiB) 105628
[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/108 9306
/proc/meminfo: memFree=905236/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=1477.15
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 5030 0 0 0 147711 4 0 0 25 0 1 0 684785860 108163072 2228 996147200 134512640 135472138 4294956224 18446744073709551615 134585305 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2228 481 234 0 25109 0
Current children cumulated CPU time (s) 1477.15
Current children cumulated vsize (KiB) 105628
[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/108 9306
/proc/meminfo: memFree=905108/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=1537.12
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 5030 0 0 0 153708 4 0 0 25 0 1 0 684785860 108163072 2228 996147200 134512640 135472138 4294956224 18446744073709551615 134595441 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2228 481 234 0 25109 0
Current children cumulated CPU time (s) 1537.12
Current children cumulated vsize (KiB) 105628
[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/108 9306
/proc/meminfo: memFree=905172/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=1597.1
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 5030 0 0 0 159706 4 0 0 25 0 1 0 684785860 108163072 2228 996147200 134512640 135472138 4294956224 18446744073709551615 134593637 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2228 481 234 0 25109 0
Current children cumulated CPU time (s) 1597.1
Current children cumulated vsize (KiB) 105628
[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/108 9306
/proc/meminfo: memFree=905172/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=1657.08
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 5030 0 0 0 165703 5 0 0 25 0 1 0 684785860 108163072 2228 996147200 134512640 135472138 4294956224 18446744073709551615 135269267 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2228 481 234 0 25109 0
Current children cumulated CPU time (s) 1657.08
Current children cumulated vsize (KiB) 105628
[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/108 9307
/proc/meminfo: memFree=905172/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=1717.04
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 5030 0 0 0 171699 5 0 0 25 0 1 0 684785860 108163072 2228 996147200 134512640 135472138 4294956224 18446744073709551615 134595382 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2228 481 234 0 25109 0
Current children cumulated CPU time (s) 1717.04
Current children cumulated vsize (KiB) 105628
[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/108 9307
/proc/meminfo: memFree=905172/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=1777.02
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 5030 0 0 0 177697 5 0 0 25 0 1 0 684785860 108163072 2228 996147200 134512640 135472138 4294956224 18446744073709551615 134595490 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2228 481 234 0 25109 0
Current children cumulated CPU time (s) 1777.02
Current children cumulated vsize (KiB) 105628
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/108 9307
/proc/meminfo: memFree=905172/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=1800.01
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 5030 0 0 0 179996 5 0 0 25 0 1 0 684785860 108163072 2228 996147200 134512640 135472138 4294956224 18446744073709551615 134595447 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2228 481 234 0 25109 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 105628
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1805.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/108 9307
/proc/meminfo: memFree=905172/2055920 swapFree=4147328/4192956
[pid=9224] ppid=9222 vsize=105628 CPUtime=1800.01
/proc/9224/stat : 9224 (casperzito) R 9222 9224 6351 0 -1 4194304 5030 0 0 0 179996 5 0 0 25 0 1 0 684785860 108163072 2228 996147200 134512640 135472138 4294956224 18446744073709551615 134595447 0 0 4096 0 0 0 0 17 0 0 0
/proc/9224/statm: 26407 2228 481 234 0 25109 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 105628
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1805.31
CPU time (s): 1800.02
CPU user time (s): 1799.97
CPU system time (s): 0.053991
CPU usage (%): 99.7071
Max. virtual memory (cumulated for all children) (KiB): 118028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.053991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5030
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= 14799
runsolver used 2.53161 second user time and 7.50586 second system time
The end
Begin job on node90 at 2008-07-05 22:43:13
IDJOB=1101097
IDBENCH=60006
IDSOLVER=362
FILE ID=node90/1101097-1215290593
PBS_JOBID= 7882203
Free space on /tmp= 66556 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/rand-2-50-23/normalized-rand-2-50-23-587-230-30_ext.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1101097-1215290593/watcher-1101097-1215290593 -o /tmp/evaluation-result-1101097-1215290593/solver-1101097-1215290593 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1101097-1215290593.xml 1406919216
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= c9f7fbedbf6fbc0bcfd5567db216b6ab
RANDOM SEED=1406919216
node90.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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 890884 kB
Buffers: 35432 kB
Cached: 982396 kB
SwapCached: 36920 kB
Active: 671168 kB
Inactive: 435092 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 890884 kB
SwapTotal: 4192956 kB
SwapFree: 4147328 kB
Dirty: 3276 kB
Writeback: 0 kB
Mapped: 106476 kB
Slab: 41556 kB
Committed_AS: 1851124 kB
PageTables: 3616 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= 66556 MiB
End job on node90 at 2008-07-05 23:13:20