0.19/0.21 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.19/0.21 c Parsing = 1
0.19/0.21 c Building = 1
3.65/3.79 c [ NumberOfVariables = 1352 ]
3.65/3.79 c [ NumberOfConstraints = 1628 ]
3.65/3.79 c [ SizeOfSearchSpace(log2) = 1612.39 ]
3.65/3.79 c SymmetrySearch = 1
3.85/3.90 c [ Found 4.5036e+15 symmetries ]
3.85/3.92 c InitialPropagation = 1
3.85/3.92 c [ SizeOfSearchSpace(log2) = 1612.39 ]
3.85/3.92 c InitialSAC = 1
4.64/4.78 c [ SizeOfSearchSpace(log2) = 1612.39 ]
4.64/4.78 c Search(SampleFF) :
112.71/113.76 c [ Sampling domwdeg ]
112.71/113.76 c [ Sampling impacts ]
112.71/113.76 c [ Sampling la ]
112.71/113.76 c [ SamplingScores: ]
112.71/113.76 c [ domwdeg+min = 0.0126215 | domwdeg+rnd = 0.00149775 ]
112.71/113.76 c [ impacts+min = 5.1415e-05 | impacts+rnd = 1.12694e-05 ]
112.71/113.76 c [ la+min = 7.06295e-10 | la+rnd = 1.39288e-08 ]
112.71/113.76 c [ domwdeg = 0.00705961 | impacts = 3.13422e-05 | la = 7.31755e-09 ]
112.71/113.76 c [ min = 0.00422429 | rand = 3.13422e-05 ]
112.71/113.76 c [ restarting at (0.1,0.00203656) ]
113.01/114.03 c [ restarting at (0.25,0.0057656) ]
113.70/114.70 c [ restarting at (0.625,0.00532126) ]
115.29/116.38 c [ restarting at (1.5625,0.00657617) ]
119.46/120.57 c [ restarting at (3.90625,0.00356806) ]
129.88/131.04 c [ restarting at (9.76562,0.000196844) ]
155.85/157.22 c [ restarting at (24.4141,0.00261454) ]
220.69/222.69 c [ restarting at (61.0352,0.0186106) ]
382.99/386.33 c [ restarting at (152.588,0.00137808) ]
788.61/795.45 c [ restarting at (381.47,0.00573485) ]
954.18/962.50 c [ restarting at (953.674,0.00362857) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1043218-1215026270/watcher-1043218-1215026270 -o /tmp/evaluation-result-1043218-1215026270/solver-1043218-1215026270 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1043218-1215026270.xml 1725826587
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: 1.92 1.99 1.94 4/80 28736
/proc/meminfo: memFree=1302432/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=18572 CPUtime=0
/proc/28736/stat : 28736 (runsolver) R 28734 28736 28159 0 -1 4194368 15 0 0 0 0 0 0 0 23 0 1 0 625560572 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 231493659943 0 0 4096 24578 0 0 0 17 1 0 0
/proc/28736/statm: 264 26 20 235 0 3 0
[startup+0.110387 s]
/proc/loadavg: 1.92 1.99 1.94 4/80 28736
/proc/meminfo: memFree=1302432/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=288032 CPUtime=0.09
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 1233 0 0 0 9 0 0 0 18 0 1 0 625560572 294944768 1014 996147200 134512640 135477443 4294956224 18446744073709551615 134962047 0 0 4096 0 0 0 0 17 1 0 0
/proc/28736/statm: 72008 1014 463 235 0 70709 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 288032
[startup+0.202401 s]
/proc/loadavg: 1.92 1.99 1.94 4/80 28736
/proc/meminfo: memFree=1302432/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=290144 CPUtime=0.19
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 2501 0 0 0 18 1 0 0 18 0 1 0 625560572 297107456 1536 996147200 134512640 135477443 4294956224 18446744073709551615 134593717 0 0 4096 0 0 0 0 17 1 0 0
/proc/28736/statm: 72536 1536 463 235 0 71237 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 290144
[startup+0.302416 s]
/proc/loadavg: 1.92 1.99 1.94 4/80 28736
/proc/meminfo: memFree=1302432/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=292392 CPUtime=0.28
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 3858 0 0 0 27 1 0 0 19 0 1 0 625560572 299409408 2097 996147200 134512640 135477443 4294956224 18446744073709551615 135269895 0 0 4096 0 0 0 0 17 1 0 0
/proc/28736/statm: 73098 2097 463 235 0 71799 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 292392
[startup+0.701475 s]
/proc/loadavg: 1.92 1.99 1.94 4/80 28736
/proc/meminfo: memFree=1302432/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=301380 CPUtime=0.68
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 9317 0 0 0 63 5 0 0 23 0 1 0 625560572 308613120 4370 996147200 134512640 135477443 4294956224 18446744073709551615 135269728 0 0 4096 0 0 0 0 17 1 0 0
/proc/28736/statm: 75345 4370 463 235 0 74046 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 301380
[startup+1.50159 s]
/proc/loadavg: 1.92 1.99 1.94 3/81 28737
/proc/meminfo: memFree=1277400/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=319616 CPUtime=1.48
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 20071 0 0 0 137 11 0 0 25 0 1 0 625560572 327286784 8980 996147200 134512640 135477443 4294956224 18446744073709551615 135215711 0 0 4096 0 0 0 0 17 1 0 0
/proc/28736/statm: 79904 8980 463 235 0 78605 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 319616
[startup+3.10183 s]
/proc/loadavg: 1.92 1.99 1.94 3/81 28737
/proc/meminfo: memFree=1251864/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=355832 CPUtime=3.06
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 41598 0 0 0 284 22 0 0 25 0 1 0 625560572 364371968 18145 996147200 134512640 135477443 4294956224 18446744073709551615 135270299 0 0 4096 0 0 0 0 17 1 0 0
/proc/28736/statm: 88958 18145 463 235 0 87659 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 355832
[startup+6.3013 s]
/proc/loadavg: 1.93 1.99 1.94 3/81 28737
/proc/meminfo: memFree=1213720/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=184496 CPUtime=6.23
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 51996 0 0 0 595 28 0 0 25 0 1 0 625560572 188923904 22642 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 1 0 0
/proc/28736/statm: 46124 22642 537 235 0 44825 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 184496
[startup+12.7012 s]
/proc/loadavg: 1.93 1.99 1.94 3/81 28737
/proc/meminfo: memFree=1213400/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=184496 CPUtime=12.58
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 52009 0 0 0 1230 28 0 0 25 0 1 0 625560572 188923904 22655 996147200 134512640 135477443 4294956224 18446744073709551615 134673674 0 0 4096 0 0 0 0 17 1 0 0
/proc/28736/statm: 46124 22655 537 235 0 44825 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 184496
[startup+25.5011 s]
/proc/loadavg: 1.95 1.99 1.94 3/81 28737
/proc/meminfo: memFree=1213464/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=184496 CPUtime=25.27
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 52009 0 0 0 2499 28 0 0 25 0 1 0 625560572 188923904 22655 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 1 0 0
/proc/28736/statm: 46124 22655 537 235 0 44825 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 184496
[startup+51.1019 s]
/proc/loadavg: 1.96 1.99 1.94 3/81 28737
/proc/meminfo: memFree=1211608/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=185420 CPUtime=50.65
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 52484 0 0 0 5037 28 0 0 25 0 1 0 625560572 189870080 23130 996147200 134512640 135477443 4294956224 18446744073709551615 135238577 0 0 4096 0 0 0 0 17 1 0 0
/proc/28736/statm: 46355 23130 538 235 0 45056 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 185420
[startup+102.302 s]
/proc/loadavg: 1.98 1.99 1.94 3/81 28737
/proc/meminfo: memFree=1210200/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=186740 CPUtime=101.41
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 52803 0 0 0 10113 28 0 0 25 0 1 0 625560572 191221760 23449 996147200 134512640 135477443 4294956224 18446744073709551615 134949683 0 0 4096 0 0 0 0 17 1 0 0
/proc/28736/statm: 46685 23449 538 235 0 45386 0
Current children cumulated CPU time (s) 101.41
Current children cumulated vsize (KiB) 186740
[startup+162.301 s]
/proc/loadavg: 2.06 2.00 1.95 3/81 28737
/proc/meminfo: memFree=1210136/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=186740 CPUtime=160.91
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 52804 0 0 0 16062 29 0 0 25 0 1 0 625560572 191221760 23450 996147200 134512640 135477443 4294956224 18446744073709551615 135208674 0 0 4096 0 0 0 0 17 1 0 0
/proc/28736/statm: 46685 23450 539 235 0 45386 0
Current children cumulated CPU time (s) 160.91
Current children cumulated vsize (KiB) 186740
[startup+222.306 s]
/proc/loadavg: 2.14 2.03 1.96 3/81 28737
/proc/meminfo: memFree=1210136/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=186740 CPUtime=220.39
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 52804 0 0 0 22010 29 0 0 25 0 1 0 625560572 191221760 23450 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 1 0 0
/proc/28736/statm: 46685 23450 539 235 0 45386 0
Current children cumulated CPU time (s) 220.39
Current children cumulated vsize (KiB) 186740
[startup+282.302 s]
/proc/loadavg: 2.12 2.04 1.96 3/81 28737
/proc/meminfo: memFree=1210200/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=186740 CPUtime=279.88
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 52804 0 0 0 27958 30 0 0 25 0 1 0 625560572 191221760 23450 996147200 134512640 135477443 4294956224 18446744073709551615 135208645 0 0 4096 0 0 0 0 17 1 0 0
/proc/28736/statm: 46685 23450 539 235 0 45386 0
Current children cumulated CPU time (s) 279.88
Current children cumulated vsize (KiB) 186740
[startup+342.302 s]
/proc/loadavg: 2.23 2.08 1.98 3/81 28737
/proc/meminfo: memFree=1210144/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=186740 CPUtime=339.37
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 52804 0 0 0 33907 30 0 0 25 0 1 0 625560572 191221760 23450 996147200 134512640 135477443 4294956224 18446744073709551615 134949643 0 0 4096 0 0 0 0 17 1 0 0
/proc/28736/statm: 46685 23450 539 235 0 45386 0
Current children cumulated CPU time (s) 339.37
Current children cumulated vsize (KiB) 186740
[startup+402.303 s]
/proc/loadavg: 2.08 2.06 1.98 3/81 28737
/proc/meminfo: memFree=1209952/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=186740 CPUtime=398.86
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 52804 0 0 0 39856 30 0 0 25 0 1 0 625560572 191221760 23450 996147200 134512640 135477443 4294956224 18446744073709551615 134673680 0 0 4096 0 0 0 0 17 1 0 0
/proc/28736/statm: 46685 23450 539 235 0 45386 0
Current children cumulated CPU time (s) 398.86
Current children cumulated vsize (KiB) 186740
[startup+462.301 s]
/proc/loadavg: 2.03 2.05 1.98 3/81 28737
/proc/meminfo: memFree=1210016/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=186740 CPUtime=458.35
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 52804 0 0 0 45805 30 0 0 25 0 1 0 625560572 191221760 23450 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 1 0 0
/proc/28736/statm: 46685 23450 539 235 0 45386 0
Current children cumulated CPU time (s) 458.35
Current children cumulated vsize (KiB) 186740
[startup+522.301 s]
/proc/loadavg: 2.01 2.04 1.98 3/81 28737
/proc/meminfo: memFree=1210016/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=186740 CPUtime=517.83
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 52804 0 0 0 51753 30 0 0 25 0 1 0 625560572 191221760 23450 996147200 134512640 135477443 4294956224 18446744073709551615 134943032 0 0 4096 0 0 0 0 17 1 0 0
/proc/28736/statm: 46685 23450 539 235 0 45386 0
Current children cumulated CPU time (s) 517.83
Current children cumulated vsize (KiB) 186740
[startup+582.301 s]
/proc/loadavg: 2.00 2.03 1.98 3/81 28737
/proc/meminfo: memFree=1210080/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=186740 CPUtime=577.33
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 52804 0 0 0 57702 31 0 0 25 0 1 0 625560572 191221760 23450 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 1 0 0
/proc/28736/statm: 46685 23450 539 235 0 45386 0
Current children cumulated CPU time (s) 577.33
Current children cumulated vsize (KiB) 186740
[startup+642.301 s]
/proc/loadavg: 2.00 2.02 1.98 3/81 28737
/proc/meminfo: memFree=1210080/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=186740 CPUtime=636.82
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 52804 0 0 0 63651 31 0 0 25 0 1 0 625560572 191221760 23450 996147200 134512640 135477443 4294956224 18446744073709551615 134949643 0 0 4096 0 0 0 0 17 1 0 0
/proc/28736/statm: 46685 23450 539 235 0 45386 0
Current children cumulated CPU time (s) 636.82
Current children cumulated vsize (KiB) 186740
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 2.00 2.00 1.98 3/81 28737
/proc/meminfo: memFree=1210016/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=186740 CPUtime=815.28
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 52804 0 0 0 81497 31 0 0 25 0 1 0 625560572 191221760 23450 996147200 134512640 135477443 4294956224 18446744073709551615 135208674 0 0 4096 0 0 0 0 17 1 0 0
/proc/28736/statm: 46685 23450 539 235 0 45386 0
Current children cumulated CPU time (s) 815.28
Current children cumulated vsize (KiB) 186740
[startup+882.307 s]
/proc/loadavg: 2.00 2.00 1.98 3/81 28737
/proc/meminfo: memFree=1210016/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=186740 CPUtime=874.77
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 52804 0 0 0 87445 32 0 0 25 0 1 0 625560572 191221760 23450 996147200 134512640 135477443 4294956224 18446744073709551615 134673680 0 0 4096 0 0 0 0 17 1 0 0
/proc/28736/statm: 46685 23450 539 235 0 45386 0
Current children cumulated CPU time (s) 874.77
Current children cumulated vsize (KiB) 186740
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/81 28737
/proc/meminfo: memFree=1209952/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=186740 CPUtime=934.26
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 52804 0 0 0 93394 32 0 0 25 0 1 0 625560572 191221760 23450 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 1 0 0
/proc/28736/statm: 46685 23450 539 235 0 45386 0
Current children cumulated CPU time (s) 934.26
Current children cumulated vsize (KiB) 186740
[startup+1002.3 s]
/proc/loadavg: 1.95 1.98 1.97 3/73 28805
/proc/meminfo: memFree=1267424/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=186740 CPUtime=994.05
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 52804 0 0 0 99372 33 0 0 25 0 1 0 625560572 191221760 23450 996147200 134512640 135477443 4294956224 18446744073709551615 135208524 0 0 4096 0 0 0 0 17 0 0 0
/proc/28736/statm: 46685 23450 539 235 0 45386 0
Current children cumulated CPU time (s) 994.05
Current children cumulated vsize (KiB) 186740
[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/85 28889
/proc/meminfo: memFree=1066496/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=186740 CPUtime=1053.98
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 52804 0 0 0 105362 36 0 0 25 0 1 0 625560572 191221760 23450 996147200 134512640 135477443 4294956224 18446744073709551615 135208659 0 0 4096 0 0 0 0 17 0 0 0
/proc/28736/statm: 46685 23450 539 235 0 45386 0
Current children cumulated CPU time (s) 1053.98
Current children cumulated vsize (KiB) 186740
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/85 28889
/proc/meminfo: memFree=1066496/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=186740 CPUtime=1113.95
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 52804 0 0 0 111359 36 0 0 25 0 1 0 625560572 191221760 23450 996147200 134512640 135477443 4294956224 18446744073709551615 134949646 0 0 4096 0 0 0 0 17 0 0 0
/proc/28736/statm: 46685 23450 539 235 0 45386 0
Current children cumulated CPU time (s) 1113.95
Current children cumulated vsize (KiB) 186740
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/85 28889
/proc/meminfo: memFree=1066368/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=186740 CPUtime=1173.93
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 52804 0 0 0 117357 36 0 0 25 0 1 0 625560572 191221760 23450 996147200 134512640 135477443 4294956224 18446744073709551615 135208680 0 0 4096 0 0 0 0 17 0 0 0
/proc/28736/statm: 46685 23450 539 235 0 45386 0
Current children cumulated CPU time (s) 1173.93
Current children cumulated vsize (KiB) 186740
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/85 28889
/proc/meminfo: memFree=1066304/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=186740 CPUtime=1233.9
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 52804 0 0 0 123354 36 0 0 25 0 1 0 625560572 191221760 23450 996147200 134512640 135477443 4294956224 18446744073709551615 135208708 0 0 4096 0 0 0 0 17 0 0 0
/proc/28736/statm: 46685 23450 539 235 0 45386 0
Current children cumulated CPU time (s) 1233.9
Current children cumulated vsize (KiB) 186740
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/85 28889
/proc/meminfo: memFree=1066240/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=186740 CPUtime=1293.88
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 52804 0 0 0 129352 36 0 0 25 0 1 0 625560572 191221760 23450 996147200 134512640 135477443 4294956224 18446744073709551615 135270899 0 0 4096 0 0 0 0 17 0 0 0
/proc/28736/statm: 46685 23450 539 235 0 45386 0
Current children cumulated CPU time (s) 1293.88
Current children cumulated vsize (KiB) 186740
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/85 28889
/proc/meminfo: memFree=1066248/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=186740 CPUtime=1353.85
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 52804 0 0 0 135349 36 0 0 25 0 1 0 625560572 191221760 23450 996147200 134512640 135477443 4294956224 18446744073709551615 135208645 0 0 4096 0 0 0 0 17 0 0 0
/proc/28736/statm: 46685 23450 539 235 0 45386 0
Current children cumulated CPU time (s) 1353.85
Current children cumulated vsize (KiB) 186740
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/85 28889
/proc/meminfo: memFree=1066248/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=186740 CPUtime=1413.83
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 52804 0 0 0 141347 36 0 0 25 0 1 0 625560572 191221760 23450 996147200 134512640 135477443 4294956224 18446744073709551615 135208645 0 0 4096 0 0 0 0 17 0 0 0
/proc/28736/statm: 46685 23450 539 235 0 45386 0
Current children cumulated CPU time (s) 1413.83
Current children cumulated vsize (KiB) 186740
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/85 28889
/proc/meminfo: memFree=1066248/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=186740 CPUtime=1473.81
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 52804 0 0 0 147344 37 0 0 25 0 1 0 625560572 191221760 23450 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 0 0 0
/proc/28736/statm: 46685 23450 539 235 0 45386 0
Current children cumulated CPU time (s) 1473.81
Current children cumulated vsize (KiB) 186740
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/85 28889
/proc/meminfo: memFree=1066184/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=186740 CPUtime=1533.79
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 52804 0 0 0 153342 37 0 0 25 0 1 0 625560572 191221760 23450 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 0 0 0
/proc/28736/statm: 46685 23450 539 235 0 45386 0
Current children cumulated CPU time (s) 1533.79
Current children cumulated vsize (KiB) 186740
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/85 28889
/proc/meminfo: memFree=1066184/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=186740 CPUtime=1593.76
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 52804 0 0 0 159339 37 0 0 25 0 1 0 625560572 191221760 23450 996147200 134512640 135477443 4294956224 18446744073709551615 134586766 0 0 4096 0 0 0 0 17 0 0 0
/proc/28736/statm: 46685 23450 539 235 0 45386 0
Current children cumulated CPU time (s) 1593.76
Current children cumulated vsize (KiB) 186740
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/85 28889
/proc/meminfo: memFree=1066184/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=186740 CPUtime=1653.73
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 52804 0 0 0 165336 37 0 0 25 0 1 0 625560572 191221760 23450 996147200 134512640 135477443 4294956224 18446744073709551615 135268965 0 0 4096 0 0 0 0 17 0 0 0
/proc/28736/statm: 46685 23450 539 235 0 45386 0
Current children cumulated CPU time (s) 1653.73
Current children cumulated vsize (KiB) 186740
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/85 28889
/proc/meminfo: memFree=1066184/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=186740 CPUtime=1713.71
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 52804 0 0 0 171334 37 0 0 25 0 1 0 625560572 191221760 23450 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 0 0 0
/proc/28736/statm: 46685 23450 539 235 0 45386 0
Current children cumulated CPU time (s) 1713.71
Current children cumulated vsize (KiB) 186740
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/85 28889
/proc/meminfo: memFree=1066056/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=186740 CPUtime=1773.68
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 52804 0 0 0 177331 37 0 0 25 0 1 0 625560572 191221760 23450 996147200 134512640 135477443 4294956224 18446744073709551615 134922247 0 0 4096 0 0 0 0 17 0 0 0
/proc/28736/statm: 46685 23450 539 235 0 45386 0
Current children cumulated CPU time (s) 1773.68
Current children cumulated vsize (KiB) 186740
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.7 s]
/proc/loadavg: 2.00 2.00 1.98 4/85 28889
/proc/meminfo: memFree=1066056/2055920 swapFree=4180236/4192956
[pid=28736] ppid=28734 vsize=186740 CPUtime=1800.08
/proc/28736/stat : 28736 (casperzao) R 28734 28736 28159 0 -1 4194304 52804 0 0 0 179971 37 0 0 25 0 1 0 625560572 191221760 23450 996147200 134512640 135477443 4294956224 18446744073709551615 134949730 0 0 4096 0 0 0 0 17 0 0 0
/proc/28736/statm: 46685 23450 539 235 0 45386 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 186740
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.72
CPU time (s): 1800.1
CPU user time (s): 1799.71
CPU system time (s): 0.38894
CPU usage (%): 99.5234
Max. virtual memory (cumulated for all children) (KiB): 369708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.38894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52804
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= 23824
runsolver used 1.83172 second user time and 5.49116 second system time
The end
Begin job on node39 at 2008-07-02 21:17:50
IDJOB=1043218
IDBENCH=53744
IDSOLVER=361
FILE ID=node39/1043218-1215026270
PBS_JOBID= 7874392
Free space on /tmp= 66544 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/allsquaresUnsat/normalized-squaresUnsat-26-26.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1043218-1215026270/watcher-1043218-1215026270 -o /tmp/evaluation-result-1043218-1215026270/solver-1043218-1215026270 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1043218-1215026270.xml 1725826587
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= dee6717e94e3c396cc9a79e38a8821c4
RANDOM SEED=1725826587
node39.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.267
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.267
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: 1302912 kB
Buffers: 64628 kB
Cached: 545532 kB
SwapCached: 6532 kB
Active: 206440 kB
Inactive: 472996 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1302912 kB
SwapTotal: 4192956 kB
SwapFree: 4180236 kB
Dirty: 3164 kB
Writeback: 0 kB
Mapped: 84932 kB
Slab: 58696 kB
Committed_AS: 1618708 kB
PageTables: 1892 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= 66520 MiB
End job on node39 at 2008-07-02 21:48:00