0.00/0.20 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.00/0.20 c Parsing = 1
0.58/0.65 c Building = 1
2.17/2.24 c [ NumberOfVariables = 3444 ]
2.17/2.24 c [ NumberOfConstraints = 16464 ]
2.17/2.24 c [ SizeOfSearchSpace(log2) = 3444 ]
2.17/2.24 c SymmetrySearch = 1
8.41/8.55 c [ Found 3.59796e+54 symmetries ]
8.61/8.76 c InitialPropagation = 1
8.61/8.77 c [ SizeOfSearchSpace(log2) = 3444 ]
8.61/8.77 c InitialSAC = 1
12.17/12.38 c [ SizeOfSearchSpace(log2) = 3120 ]
12.17/12.38 c Search(SampleFF) :
801.49/804.50 c [ Sampling domwdeg ]
801.49/804.50 c [ Sampling impacts ]
801.49/804.50 c [ Sampling la ]
801.49/804.50 c [ SamplingScores: ]
801.49/804.50 c [ domwdeg+min = 1.26505e-05 | domwdeg+rnd = 0.000101714 ]
801.49/804.50 c [ impacts+min = 2.0613e-07 | impacts+rnd = 1.92812e-14 ]
801.49/804.50 c [ la+min = 4.45745e-08 | la+rnd = 6.87843e-39 ]
801.49/804.50 c [ domwdeg = 5.71821e-05 | impacts = 1.03065e-07 | la = 2.22873e-08 ]
801.49/804.50 c [ min = 4.30039e-06 | rand = 1.03065e-07 ]
801.49/804.50 c [ restarting at (0.1,3.92827e-16) ]
802.29/805.34 c [ restarting at (0.25,4.7068e-20) ]
803.09/806.19 c [ restarting at (0.625,4.7068e-20) ]
804.69/807.75 c [ restarting at (1.5625,4.93838e-26) ]
808.58/811.67 c [ restarting at (3.90625,5.22367e-13) ]
818.38/821.47 c [ restarting at (9.76562,6.88147e-07) ]
842.77/845.89 c [ restarting at (24.4141,2.99513e-10) ]
903.85/906.95 c [ restarting at (61.0352,2.99513e-10) ]
1056.49/1059.62 c [ restarting at (152.588,2.99513e-10) ]
1437.93/1441.28 c [ restarting at (381.47,2.99513e-10) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1093447-1215249693/watcher-1093447-1215249693 -o /tmp/evaluation-result-1093447-1215249693/solver-1093447-1215249693 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1093447-1215249693.xml 253399166
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.99 4/82 19538
/proc/meminfo: memFree=1622944/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=1056 CPUtime=0
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 40 0 0 0 0 0 0 0 19 0 1 0 249064377 1081344 26 996147200 134512640 135477443 4294956224 18446744073709551615 9716516 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/19538/statm: 264 26 20 235 0 3 0
[startup+0.209345 s]
/proc/loadavg: 1.92 1.99 1.99 4/82 19538
/proc/meminfo: memFree=1622944/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=7736 CPUtime=0.19
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 1046 0 0 0 19 0 0 0 19 0 1 0 249064377 7921664 1006 996147200 134512640 135477443 4294956224 18446744073709551615 4158765770 0 0 4096 0 0 0 0 17 1 0 0
/proc/19538/statm: 1934 1006 370 235 0 635 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 7736
[startup+0.30122 s]
/proc/loadavg: 1.92 1.99 1.99 4/82 19538
/proc/meminfo: memFree=1622944/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=8660 CPUtime=0.29
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 1284 0 0 0 28 1 0 0 19 0 1 0 249064377 8867840 1244 996147200 134512640 135477443 4294956224 18446744073709551615 134804255 0 0 4096 0 0 0 0 17 1 0 0
/proc/19538/statm: 2165 1244 370 235 0 866 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8660
[startup+0.401231 s]
/proc/loadavg: 1.92 1.99 1.99 4/82 19538
/proc/meminfo: memFree=1622944/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=9716 CPUtime=0.39
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 1539 0 0 0 38 1 0 0 20 0 1 0 249064377 9949184 1499 996147200 134512640 135477443 4294956224 18446744073709551615 134812958 0 0 4096 0 0 0 0 17 1 0 0
/proc/19538/statm: 2429 1499 370 235 0 1130 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 9716
[startup+0.701265 s]
/proc/loadavg: 1.92 1.99 1.99 4/82 19538
/proc/meminfo: memFree=1622944/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=105848 CPUtime=0.68
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 3465 0 0 0 64 4 0 0 23 0 1 0 249064377 108388352 2623 996147200 134512640 135477443 4294956224 18446744073709551615 135268270 0 0 4096 0 0 0 0 17 1 0 0
/proc/19538/statm: 26462 2623 421 235 0 25163 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 105848
[startup+1.50135 s]
/proc/loadavg: 1.92 1.99 1.99 3/83 19539
/proc/meminfo: memFree=1609808/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=297776 CPUtime=1.47
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 21287 0 0 0 93 54 0 0 25 0 1 0 249064377 304922624 4911 996147200 134512640 135477443 4294956224 18446744073709551615 134583601 0 0 4096 0 0 0 0 17 1 0 0
/proc/19538/statm: 74444 4911 458 235 0 73145 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 297776
[startup+3.10252 s]
/proc/loadavg: 1.92 1.99 1.99 3/83 19539
/proc/meminfo: memFree=1565456/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=160452 CPUtime=3.05
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 35614 0 0 0 244 61 0 0 25 0 1 0 249064377 164302848 16879 996147200 134512640 135477443 4294956224 18446744073709551615 134535424 0 0 4096 0 0 0 0 17 1 0 0
/proc/19538/statm: 40113 16879 492 235 0 38814 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 160452
[startup+6.30186 s]
/proc/loadavg: 1.93 1.99 1.99 3/83 19539
/proc/meminfo: memFree=1547928/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=169004 CPUtime=6.23
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 37923 0 0 0 561 62 0 0 25 0 1 0 249064377 173060096 19188 996147200 134512640 135477443 4294956224 18446744073709551615 134535554 0 0 4096 0 0 0 0 17 1 0 0
/proc/19538/statm: 42251 19188 492 235 0 40952 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 169004
[startup+12.7025 s]
/proc/loadavg: 1.93 1.99 1.99 3/83 19539
/proc/meminfo: memFree=1549720/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=161740 CPUtime=12.56
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 42349 0 0 0 1192 64 0 0 25 0 1 0 249064377 165621760 18725 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 1 0 0
/proc/19538/statm: 40435 18725 511 235 0 39136 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 161740
[startup+25.5069 s]
/proc/loadavg: 1.95 1.99 1.99 3/83 19539
/proc/meminfo: memFree=1549336/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=161740 CPUtime=25.25
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 42412 0 0 0 2461 64 0 0 25 0 1 0 249064377 165621760 18788 996147200 134512640 135477443 4294956224 18446744073709551615 135208668 0 0 4096 0 0 0 0 17 1 0 0
/proc/19538/statm: 40435 18788 511 235 0 39136 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 161740
[startup+51.1015 s]
/proc/loadavg: 1.96 1.99 1.99 3/83 19539
/proc/meminfo: memFree=1548760/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=161740 CPUtime=50.61
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 42540 0 0 0 4996 65 0 0 25 0 1 0 249064377 165621760 18916 996147200 134512640 135477443 4294956224 18446744073709551615 134586186 0 0 4096 0 0 0 0 17 1 0 0
/proc/19538/statm: 40435 18916 511 235 0 39136 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 161740
[startup+102.302 s]
/proc/loadavg: 1.98 1.99 1.99 3/83 19539
/proc/meminfo: memFree=1547928/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=161740 CPUtime=101.33
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 42753 0 0 0 10068 65 0 0 25 0 1 0 249064377 165621760 19129 996147200 134512640 135477443 4294956224 18446744073709551615 135235205 0 0 4096 0 0 0 0 17 1 0 0
/proc/19538/statm: 40435 19129 511 235 0 39136 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 161740
[startup+162.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/83 19539
/proc/meminfo: memFree=1546200/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=161740 CPUtime=160.79
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 43153 0 0 0 16014 65 0 0 25 0 1 0 249064377 165621760 19529 996147200 134512640 135477443 4294956224 18446744073709551615 135235213 0 0 4096 0 0 0 0 17 1 0 0
/proc/19538/statm: 40435 19529 511 235 0 39136 0
Current children cumulated CPU time (s) 160.79
Current children cumulated vsize (KiB) 161740
[startup+222.301 s]
/proc/loadavg: 2.05 2.00 2.00 3/83 19539
/proc/meminfo: memFree=1545816/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=161740 CPUtime=220.24
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 43236 0 0 0 21959 65 0 0 25 0 1 0 249064377 165621760 19612 996147200 134512640 135477443 4294956224 18446744073709551615 11026850 0 0 4096 0 0 0 0 17 1 0 0
/proc/19538/statm: 40435 19612 511 235 0 39136 0
Current children cumulated CPU time (s) 220.24
Current children cumulated vsize (KiB) 161740
[startup+282.302 s]
/proc/loadavg: 2.02 2.00 2.00 3/83 19539
/proc/meminfo: memFree=1545688/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=161740 CPUtime=279.69
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 43264 0 0 0 27904 65 0 0 25 0 1 0 249064377 165621760 19640 996147200 134512640 135477443 4294956224 18446744073709551615 134693950 0 0 4096 0 0 0 0 17 1 0 0
/proc/19538/statm: 40435 19640 511 235 0 39136 0
Current children cumulated CPU time (s) 279.69
Current children cumulated vsize (KiB) 161740
[startup+342.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 19569
/proc/meminfo: memFree=1717224/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=161740 CPUtime=339.48
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 43658 0 0 0 33881 67 0 0 25 0 1 0 249064377 165621760 20034 996147200 134512640 135477443 4294956224 18446744073709551615 11017979 0 0 4096 0 0 0 0 17 0 0 0
/proc/19538/statm: 40435 20034 511 235 0 39136 0
Current children cumulated CPU time (s) 339.48
Current children cumulated vsize (KiB) 161740
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 19569
/proc/meminfo: memFree=1715560/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=161740 CPUtime=399.45
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 44055 0 0 0 39878 67 0 0 25 0 1 0 249064377 165621760 20431 996147200 134512640 135477443 4294956224 18446744073709551615 135235260 0 0 4096 0 0 0 0 17 0 0 0
/proc/19538/statm: 40435 20431 511 235 0 39136 0
Current children cumulated CPU time (s) 399.45
Current children cumulated vsize (KiB) 161740
[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 19569
/proc/meminfo: memFree=1713896/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=161740 CPUtime=459.43
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 44450 0 0 0 45875 68 0 0 25 0 1 0 249064377 165621760 20826 996147200 134512640 135477443 4294956224 18446744073709551615 11026855 0 0 4096 0 0 0 0 17 0 0 0
/proc/19538/statm: 40435 20826 511 235 0 39136 0
Current children cumulated CPU time (s) 459.43
Current children cumulated vsize (KiB) 161740
[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 19569
/proc/meminfo: memFree=1712232/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=161740 CPUtime=519.4
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 44849 0 0 0 51872 68 0 0 25 0 1 0 249064377 165621760 21225 996147200 134512640 135477443 4294956224 18446744073709551615 135235205 0 0 4096 0 0 0 0 17 0 0 0
/proc/19538/statm: 40435 21225 511 235 0 39136 0
Current children cumulated CPU time (s) 519.4
Current children cumulated vsize (KiB) 161740
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 19569
/proc/meminfo: memFree=1710632/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=161740 CPUtime=579.38
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 45244 0 0 0 57869 69 0 0 25 0 1 0 249064377 165621760 21620 996147200 134512640 135477443 4294956224 18446744073709551615 11017974 0 0 4096 0 0 0 0 17 0 0 0
/proc/19538/statm: 40435 21620 511 235 0 39136 0
Current children cumulated CPU time (s) 579.38
Current children cumulated vsize (KiB) 161740
[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 19569
/proc/meminfo: memFree=1709032/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=161740 CPUtime=639.35
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 45636 0 0 0 63866 69 0 0 25 0 1 0 249064377 165621760 22012 996147200 134512640 135477443 4294956224 18446744073709551615 135235205 0 0 4096 0 0 0 0 17 0 0 0
/proc/19538/statm: 40435 22012 511 235 0 39136 0
Current children cumulated CPU time (s) 639.35
Current children cumulated vsize (KiB) 161740
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 19569
/proc/meminfo: memFree=1704616/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=161740 CPUtime=879.26
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 46687 0 0 0 87856 70 0 0 25 0 1 0 249064377 165621760 23063 996147200 134512640 135477443 4294956224 18446744073709551615 134693727 0 0 4096 0 0 0 0 17 0 0 0
/proc/19538/statm: 40435 23063 512 235 0 39136 0
Current children cumulated CPU time (s) 879.26
Current children cumulated vsize (KiB) 161740
[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 19571
/proc/meminfo: memFree=1704296/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=161740 CPUtime=939.24
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 46687 0 0 0 93853 71 0 0 25 0 1 0 249064377 165621760 23063 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/19538/statm: 40435 23063 512 235 0 39136 0
Current children cumulated CPU time (s) 939.24
Current children cumulated vsize (KiB) 161740
[startup+1002.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 19571
/proc/meminfo: memFree=1704296/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=161740 CPUtime=999.22
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 46687 0 0 0 99851 71 0 0 25 0 1 0 249064377 165621760 23063 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 0 0 0
/proc/19538/statm: 40435 23063 512 235 0 39136 0
Current children cumulated CPU time (s) 999.22
Current children cumulated vsize (KiB) 161740
[startup+1062.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/74 19571
/proc/meminfo: memFree=1704232/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=161740 CPUtime=1059.19
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 46687 0 0 0 105848 71 0 0 25 0 1 0 249064377 165621760 23063 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/19538/statm: 40435 23063 512 235 0 39136 0
Current children cumulated CPU time (s) 1059.19
Current children cumulated vsize (KiB) 161740
[startup+1122.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/74 19571
/proc/meminfo: memFree=1704232/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=161740 CPUtime=1119.17
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 46687 0 0 0 111846 71 0 0 25 0 1 0 249064377 165621760 23063 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 0 0 0
/proc/19538/statm: 40435 23063 512 235 0 39136 0
Current children cumulated CPU time (s) 1119.17
Current children cumulated vsize (KiB) 161740
[startup+1182.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/74 19571
/proc/meminfo: memFree=1704168/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=161740 CPUtime=1179.14
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 46687 0 0 0 117843 71 0 0 25 0 1 0 249064377 165621760 23063 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/19538/statm: 40435 23063 512 235 0 39136 0
Current children cumulated CPU time (s) 1179.14
Current children cumulated vsize (KiB) 161740
[startup+1242.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/74 19571
/proc/meminfo: memFree=1703976/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=161740 CPUtime=1239.11
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 46687 0 0 0 123840 71 0 0 25 0 1 0 249064377 165621760 23063 996147200 134512640 135477443 4294956224 18446744073709551615 134693950 0 0 4096 0 0 0 0 17 0 0 0
/proc/19538/statm: 40435 23063 512 235 0 39136 0
Current children cumulated CPU time (s) 1239.11
Current children cumulated vsize (KiB) 161740
[startup+1302.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/74 19571
/proc/meminfo: memFree=1703912/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=161740 CPUtime=1299.09
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 46687 0 0 0 129838 71 0 0 25 0 1 0 249064377 165621760 23063 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/19538/statm: 40435 23063 512 235 0 39136 0
Current children cumulated CPU time (s) 1299.09
Current children cumulated vsize (KiB) 161740
[startup+1362.3 s]
/proc/loadavg: 2.26 2.10 2.02 3/74 19571
/proc/meminfo: memFree=1703912/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=161740 CPUtime=1359.06
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 46687 0 0 0 135835 71 0 0 25 0 1 0 249064377 165621760 23063 996147200 134512640 135477443 4294956224 18446744073709551615 135208645 0 0 4096 0 0 0 0 17 0 0 0
/proc/19538/statm: 40435 23063 512 235 0 39136 0
Current children cumulated CPU time (s) 1359.06
Current children cumulated vsize (KiB) 161740
[startup+1422.3 s]
/proc/loadavg: 2.09 2.08 2.02 3/74 19571
/proc/meminfo: memFree=1703912/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=161740 CPUtime=1419.04
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 46687 0 0 0 141833 71 0 0 25 0 1 0 249064377 165621760 23063 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/19538/statm: 40435 23063 512 235 0 39136 0
Current children cumulated CPU time (s) 1419.04
Current children cumulated vsize (KiB) 161740
[startup+1482.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/74 19571
/proc/meminfo: memFree=1703912/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=161740 CPUtime=1479.02
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 46687 0 0 0 147831 71 0 0 25 0 1 0 249064377 165621760 23063 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/19538/statm: 40435 23063 512 235 0 39136 0
Current children cumulated CPU time (s) 1479.02
Current children cumulated vsize (KiB) 161740
[startup+1542.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/74 19571
/proc/meminfo: memFree=1703848/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=161740 CPUtime=1538.99
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 46687 0 0 0 153828 71 0 0 25 0 1 0 249064377 165621760 23063 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 0 0 0
/proc/19538/statm: 40435 23063 512 235 0 39136 0
Current children cumulated CPU time (s) 1538.99
Current children cumulated vsize (KiB) 161740
[startup+1602.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/74 19571
/proc/meminfo: memFree=1703720/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=161740 CPUtime=1598.97
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 46687 0 0 0 159825 72 0 0 25 0 1 0 249064377 165621760 23063 996147200 134512640 135477443 4294956224 18446744073709551615 134693957 0 0 4096 0 0 0 0 17 0 0 0
/proc/19538/statm: 40435 23063 512 235 0 39136 0
Current children cumulated CPU time (s) 1598.97
Current children cumulated vsize (KiB) 161740
[startup+1662.31 s]
/proc/loadavg: 2.00 2.03 2.00 3/74 19571
/proc/meminfo: memFree=1703720/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=161740 CPUtime=1658.95
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 46687 0 0 0 165823 72 0 0 25 0 1 0 249064377 165621760 23063 996147200 134512640 135477443 4294956224 18446744073709551615 134693950 0 0 4096 0 0 0 0 17 0 0 0
/proc/19538/statm: 40435 23063 512 235 0 39136 0
Current children cumulated CPU time (s) 1658.95
Current children cumulated vsize (KiB) 161740
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 19571
/proc/meminfo: memFree=1703656/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=161740 CPUtime=1718.92
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 46687 0 0 0 171820 72 0 0 25 0 1 0 249064377 165621760 23063 996147200 134512640 135477443 4294956224 18446744073709551615 134586766 0 0 4096 0 0 0 0 17 0 0 0
/proc/19538/statm: 40435 23063 512 235 0 39136 0
Current children cumulated CPU time (s) 1718.92
Current children cumulated vsize (KiB) 161740
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 19571
/proc/meminfo: memFree=1703464/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=161740 CPUtime=1778.9
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 46687 0 0 0 177818 72 0 0 25 0 1 0 249064377 165621760 23063 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/19538/statm: 40435 23063 512 235 0 39136 0
Current children cumulated CPU time (s) 1778.9
Current children cumulated vsize (KiB) 161740
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 19571
/proc/meminfo: memFree=1703464/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=161740 CPUtime=1800.1
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 46687 0 0 0 179938 72 0 0 25 0 1 0 249064377 165621760 23063 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 0 0 0
/proc/19538/statm: 40435 23063 512 235 0 39136 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 161740
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1803.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 19571
/proc/meminfo: memFree=1703464/2055912 swapFree=4178564/4192956
[pid=19538] ppid=19536 vsize=161740 CPUtime=1800.1
/proc/19538/stat : 19538 (casperzao) R 19536 19538 17008 0 -1 4194304 46687 0 0 0 179938 72 0 0 25 0 1 0 249064377 165621760 23063 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 0 0 0
/proc/19538/statm: 40435 23063 512 235 0 39136 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 161740
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1803.52
CPU time (s): 1800.12
CPU user time (s): 1799.38
CPU system time (s): 0.738887
CPU usage (%): 99.8113
Max. virtual memory (cumulated for all children) (KiB): 330128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.738887
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46687
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= 17044
runsolver used 2.46462 second user time and 5.68014 second system time
The end
Begin job on node78 at 2008-07-05 11:21:34
IDJOB=1093447
IDBENCH=58705
IDSOLVER=361
FILE ID=node78/1093447-1215249693
PBS_JOBID= 7881955
Free space on /tmp= 126608 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/socialGolfers/normalized-socialGolfer-6-4-7.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1093447-1215249693/watcher-1093447-1215249693 -o /tmp/evaluation-result-1093447-1215249693/solver-1093447-1215249693 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1093447-1215249693.xml 253399166
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 07e8c5063bb60946aa9e827386c017d9
RANDOM SEED=253399166
node78.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.247
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.247
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: 2055912 kB
MemFree: 1623424 kB
Buffers: 17864 kB
Cached: 178180 kB
SwapCached: 7072 kB
Active: 307136 kB
Inactive: 64300 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055912 kB
LowFree: 1623424 kB
SwapTotal: 4192956 kB
SwapFree: 4178564 kB
Dirty: 5236 kB
Writeback: 0 kB
Mapped: 192824 kB
Slab: 45952 kB
Committed_AS: 919436 kB
PageTables: 1976 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 126632 MiB
End job on node78 at 2008-07-05 11:51:39