0.18/0.20 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.18/0.20 c Parsing = 1
0.18/0.20 c Building = 1
8.35/8.47 c [ NumberOfVariables = 400 ]
8.35/8.47 c [ NumberOfConstraints = 4180 ]
8.35/8.47 c [ SizeOfSearchSpace(log2) = 4280.6 ]
8.35/8.47 c SymmetrySearch = 1
8.45/8.60 c InitialPropagation = 1
8.54/8.63 c [ SizeOfSearchSpace(log2) = 3773.37 ]
8.54/8.63 c InitialSAC = 1
9.04/9.14 c [ SizeOfSearchSpace(log2) = 3773.37 ]
9.04/9.14 c Search(DomWDeg) =
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1092591-1215276223/watcher-1092591-1215276223 -o /tmp/evaluation-result-1092591-1215276223/solver-1092591-1215276223 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1092591-1215276223.xml 378445057
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.14 2.03 2.01 4/73 24727
/proc/meminfo: memFree=1663864/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=18572 CPUtime=0
/proc/24727/stat : 24727 (runsolver) R 24725 24727 24563 0 -1 4194368 15 0 0 0 0 0 0 0 23 0 1 0 1012077249 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 269028486439 0 0 4096 24578 0 0 0 17 1 0 0
/proc/24727/statm: 4643 292 257 25 0 2626 0
[startup+0.167992 s]
/proc/loadavg: 2.14 2.03 2.01 4/73 24727
/proc/meminfo: memFree=1663864/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=288564 CPUtime=0.15
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 1208 0 0 0 15 0 0 0 18 0 1 0 1012077249 295489536 1035 996147200 134512640 135477443 4294956224 18446744073709551615 135218877 0 0 4096 0 0 0 0 17 1 0 0
/proc/24727/statm: 72141 1035 453 235 0 70842 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 288564
[startup+0.201995 s]
/proc/loadavg: 2.14 2.03 2.01 4/73 24727
/proc/meminfo: memFree=1663864/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=288696 CPUtime=0.18
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 1682 0 0 0 18 0 0 0 18 0 1 0 1012077249 295624704 1061 996147200 134512640 135477443 4294956224 18446744073709551615 135218877 0 0 4096 0 0 0 0 17 1 0 0
/proc/24727/statm: 72174 1062 453 235 0 70875 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 288696
[startup+0.302001 s]
/proc/loadavg: 2.14 2.03 2.01 4/73 24727
/proc/meminfo: memFree=1663864/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=289488 CPUtime=0.28
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 3303 0 0 0 27 1 0 0 19 0 1 0 1012077249 296435712 1305 996147200 134512640 135477443 4294956224 18446744073709551615 135274364 0 0 4096 0 0 0 0 17 1 0 0
/proc/24727/statm: 72372 1306 453 235 0 71073 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 289488
[startup+0.701034 s]
/proc/loadavg: 2.14 2.03 2.01 4/73 24727
/proc/meminfo: memFree=1663864/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=293184 CPUtime=0.68
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 9783 0 0 0 63 5 0 0 23 0 1 0 1012077249 300220416 2238 996147200 134512640 135477443 4294956224 18446744073709551615 135268706 0 0 4096 0 0 0 0 17 1 0 0
/proc/24727/statm: 73296 2239 453 235 0 71997 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 293184
[startup+1.5011 s]
/proc/loadavg: 2.29 2.06 2.02 3/74 24728
/proc/meminfo: memFree=1652784/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=300576 CPUtime=1.48
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 22817 0 0 0 138 10 0 0 25 0 1 0 1012077249 307789824 4145 996147200 134512640 135477443 4294956224 18446744073709551615 135271627 0 0 4096 0 0 0 0 17 1 0 0
/proc/24727/statm: 75144 4146 453 235 0 73845 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 300576
[startup+3.10122 s]
/proc/loadavg: 2.29 2.06 2.02 3/74 24728
/proc/meminfo: memFree=1642288/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=315360 CPUtime=3.07
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 49000 0 0 0 285 22 0 0 25 0 1 0 1012077249 322928640 7950 996147200 134512640 135477443 4294956224 18446744073709551615 135219085 0 0 4096 0 0 0 0 17 1 0 0
/proc/24727/statm: 78840 7951 453 235 0 77541 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 315360
[startup+6.30248 s]
/proc/loadavg: 2.27 2.06 2.02 3/74 24728
/proc/meminfo: memFree=1611056/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=344400 CPUtime=6.26
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 101589 0 0 0 578 48 0 0 25 0 1 0 1012077249 352665600 15430 996147200 134512640 135477443 4294956224 18446744073709551615 13026939 0 0 4096 0 0 0 0 17 1 0 0
/proc/24727/statm: 86100 15433 453 235 0 84801 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 344400
[startup+12.702 s]
/proc/loadavg: 2.25 2.06 2.02 3/74 24728
/proc/meminfo: memFree=1581680/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=176740 CPUtime=12.62
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 138293 0 0 0 1195 67 0 0 25 0 1 0 1012077249 180981760 20924 996147200 134512640 135477443 4294956224 18446744073709551615 135208460 0 0 4096 0 0 0 0 17 1 0 0
/proc/24727/statm: 44185 20924 496 235 0 42886 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 176740
[startup+25.502 s]
/proc/loadavg: 2.19 2.06 2.02 3/74 24728
/proc/meminfo: memFree=1581488/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=176740 CPUtime=25.36
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 138335 0 0 0 2469 67 0 0 25 0 1 0 1012077249 180981760 20966 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 1 0 0
/proc/24727/statm: 44185 20966 496 235 0 42886 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 176740
[startup+51.101 s]
/proc/loadavg: 2.12 2.05 2.02 3/74 24728
/proc/meminfo: memFree=1581552/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=176740 CPUtime=50.84
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 138335 0 0 0 5017 67 0 0 25 0 1 0 1012077249 180981760 20966 996147200 134512640 135477443 4294956224 18446744073709551615 135268208 0 0 4096 0 0 0 0 17 1 0 0
/proc/24727/statm: 44185 20966 496 235 0 42886 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 176740
[startup+102.301 s]
/proc/loadavg: 2.05 2.04 2.01 3/74 24730
/proc/meminfo: memFree=1581360/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=176740 CPUtime=101.79
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 138362 0 0 0 10112 67 0 0 25 0 1 0 1012077249 180981760 20993 996147200 134512640 135477443 4294956224 18446744073709551615 134673680 0 0 4096 0 0 0 0 17 1 0 0
/proc/24727/statm: 44185 20993 496 235 0 42886 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 176740
[startup+162.302 s]
/proc/loadavg: 2.02 2.03 2.00 3/74 24730
/proc/meminfo: memFree=1581360/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=176740 CPUtime=161.5
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 138363 0 0 0 16083 67 0 0 25 0 1 0 1012077249 180981760 20994 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 1 0 0
/proc/24727/statm: 44185 20994 496 235 0 42886 0
Current children cumulated CPU time (s) 161.5
Current children cumulated vsize (KiB) 176740
[startup+222.306 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 24730
/proc/meminfo: memFree=1581360/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=176740 CPUtime=221.21
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 138363 0 0 0 22054 67 0 0 25 0 1 0 1012077249 180981760 20994 996147200 134512640 135477443 4294956224 18446744073709551615 134586766 0 0 4096 0 0 0 0 17 1 0 0
/proc/24727/statm: 44185 20994 496 235 0 42886 0
Current children cumulated CPU time (s) 221.21
Current children cumulated vsize (KiB) 176740
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 24730
/proc/meminfo: memFree=1581296/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=176740 CPUtime=280.93
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 138367 0 0 0 28025 68 0 0 25 0 1 0 1012077249 180981760 20998 996147200 134512640 135477443 4294956224 18446744073709551615 134679601 0 0 4096 0 0 0 0 17 1 0 0
/proc/24727/statm: 44185 20998 496 235 0 42886 0
Current children cumulated CPU time (s) 280.93
Current children cumulated vsize (KiB) 176740
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 24730
/proc/meminfo: memFree=1581232/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=176740 CPUtime=340.64
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 138370 0 0 0 33996 68 0 0 25 0 1 0 1012077249 180981760 21001 996147200 134512640 135477443 4294956224 18446744073709551615 134673681 0 0 4096 0 0 0 0 17 1 0 0
/proc/24727/statm: 44185 21001 496 235 0 42886 0
Current children cumulated CPU time (s) 340.64
Current children cumulated vsize (KiB) 176740
[startup+402.302 s]
/proc/loadavg: 2.05 2.02 2.00 3/74 24730
/proc/meminfo: memFree=1581232/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=176740 CPUtime=400.35
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 138370 0 0 0 39967 68 0 0 25 0 1 0 1012077249 180981760 21001 996147200 134512640 135477443 4294956224 18446744073709551615 135208684 0 0 4096 0 0 0 0 17 1 0 0
/proc/24727/statm: 44185 21001 496 235 0 42886 0
Current children cumulated CPU time (s) 400.35
Current children cumulated vsize (KiB) 176740
[startup+462.302 s]
/proc/loadavg: 2.11 2.05 2.01 3/74 24730
/proc/meminfo: memFree=1581168/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=176740 CPUtime=460.06
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 138370 0 0 0 45938 68 0 0 25 0 1 0 1012077249 180981760 21001 996147200 134512640 135477443 4294956224 18446744073709551615 134586766 0 0 4096 0 0 0 0 17 1 0 0
/proc/24727/statm: 44185 21001 496 235 0 42886 0
Current children cumulated CPU time (s) 460.06
Current children cumulated vsize (KiB) 176740
[startup+522.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/74 24730
/proc/meminfo: memFree=1581104/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=176740 CPUtime=519.77
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 138370 0 0 0 51909 68 0 0 25 0 1 0 1012077249 180981760 21001 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 1 0 0
/proc/24727/statm: 44185 21001 496 235 0 42886 0
Current children cumulated CPU time (s) 519.77
Current children cumulated vsize (KiB) 176740
[startup+582.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/74 24730
/proc/meminfo: memFree=1581040/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=176740 CPUtime=579.49
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 138381 0 0 0 57880 69 0 0 25 0 1 0 1012077249 180981760 21012 996147200 134512640 135477443 4294956224 18446744073709551615 135270207 0 0 4096 0 0 0 0 17 1 0 0
/proc/24727/statm: 44185 21012 496 235 0 42886 0
Current children cumulated CPU time (s) 579.49
Current children cumulated vsize (KiB) 176740
[startup+642.302 s]
/proc/loadavg: 2.09 2.06 2.01 3/74 24730
/proc/meminfo: memFree=1581040/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=176740 CPUtime=639.2
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 138381 0 0 0 63851 69 0 0 25 0 1 0 1012077249 180981760 21012 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 1 0 0
/proc/24727/statm: 44185 21012 496 235 0 42886 0
Current children cumulated CPU time (s) 639.2
Current children cumulated vsize (KiB) 176740
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/74 24730
/proc/meminfo: memFree=1580848/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=176740 CPUtime=818.33
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 138381 0 0 0 81764 69 0 0 25 0 1 0 1012077249 180981760 21012 996147200 134512640 135477443 4294956224 18446744073709551615 134583585 0 0 4096 0 0 0 0 17 1 0 0
/proc/24727/statm: 44185 21012 496 235 0 42886 0
Current children cumulated CPU time (s) 818.33
Current children cumulated vsize (KiB) 176740
[startup+882.306 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 24730
/proc/meminfo: memFree=1580784/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=176740 CPUtime=878.06
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 138381 0 0 0 87736 70 0 0 25 0 1 0 1012077249 180981760 21012 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 1 0 0
/proc/24727/statm: 44185 21012 496 235 0 42886 0
Current children cumulated CPU time (s) 878.06
Current children cumulated vsize (KiB) 176740
[startup+942.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 24730
/proc/meminfo: memFree=1580784/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=176740 CPUtime=937.77
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 138381 0 0 0 93707 70 0 0 25 0 1 0 1012077249 180981760 21012 996147200 134512640 135477443 4294956224 18446744073709551615 135208645 0 0 4096 0 0 0 0 17 1 0 0
/proc/24727/statm: 44185 21012 496 235 0 42886 0
Current children cumulated CPU time (s) 937.77
Current children cumulated vsize (KiB) 176740
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 24730
/proc/meminfo: memFree=1580720/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=176740 CPUtime=997.48
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 138381 0 0 0 99678 70 0 0 25 0 1 0 1012077249 180981760 21012 996147200 134512640 135477443 4294956224 18446744073709551615 135270276 0 0 4096 0 0 0 0 17 1 0 0
/proc/24727/statm: 44185 21012 496 235 0 42886 0
Current children cumulated CPU time (s) 997.48
Current children cumulated vsize (KiB) 176740
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 24736
/proc/meminfo: memFree=1580584/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=176740 CPUtime=1057.18
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 138381 0 0 0 105647 71 0 0 25 0 1 0 1012077249 180981760 21012 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 1 0 0
/proc/24727/statm: 44185 21012 496 235 0 42886 0
Current children cumulated CPU time (s) 1057.18
Current children cumulated vsize (KiB) 176740
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 24736
/proc/meminfo: memFree=1580584/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=176740 CPUtime=1116.9
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 138381 0 0 0 111619 71 0 0 25 0 1 0 1012077249 180981760 21012 996147200 134512640 135477443 4294956224 18446744073709551615 135270828 0 0 4096 0 0 0 0 17 1 0 0
/proc/24727/statm: 44185 21012 496 235 0 42886 0
Current children cumulated CPU time (s) 1116.9
Current children cumulated vsize (KiB) 176740
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 24736
/proc/meminfo: memFree=1580584/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=176740 CPUtime=1176.6
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 138381 0 0 0 117589 71 0 0 25 0 1 0 1012077249 180981760 21012 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 1 0 0
/proc/24727/statm: 44185 21012 496 235 0 42886 0
Current children cumulated CPU time (s) 1176.6
Current children cumulated vsize (KiB) 176740
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 24736
/proc/meminfo: memFree=1580520/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=176740 CPUtime=1236.33
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 138381 0 0 0 123561 72 0 0 25 0 1 0 1012077249 180981760 21012 996147200 134512640 135477443 4294956224 18446744073709551615 134583601 0 0 4096 0 0 0 0 17 1 0 0
/proc/24727/statm: 44185 21012 496 235 0 42886 0
Current children cumulated CPU time (s) 1236.33
Current children cumulated vsize (KiB) 176740
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 24776
/proc/meminfo: memFree=1608096/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=176740 CPUtime=1296.05
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 138381 0 0 0 129533 72 0 0 25 0 1 0 1012077249 180981760 21012 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/24727/statm: 44185 21012 496 235 0 42886 0
Current children cumulated CPU time (s) 1296.05
Current children cumulated vsize (KiB) 176740
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 24776
/proc/meminfo: memFree=1607904/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=176740 CPUtime=1355.79
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 138381 0 0 0 135507 72 0 0 25 0 1 0 1012077249 180981760 21012 996147200 134512640 135477443 4294956224 18446744073709551615 135270212 0 0 4096 0 0 0 0 17 0 0 0
/proc/24727/statm: 44185 21012 496 235 0 42886 0
Current children cumulated CPU time (s) 1355.79
Current children cumulated vsize (KiB) 176740
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 24776
/proc/meminfo: memFree=1607840/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=176740 CPUtime=1415.54
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 138381 0 0 0 141482 72 0 0 25 0 1 0 1012077249 180981760 21012 996147200 134512640 135477443 4294956224 18446744073709551615 134586768 0 0 4096 0 0 0 0 17 0 0 0
/proc/24727/statm: 44185 21012 496 235 0 42886 0
Current children cumulated CPU time (s) 1415.54
Current children cumulated vsize (KiB) 176740
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 24776
/proc/meminfo: memFree=1607776/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=176740 CPUtime=1475.28
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 138381 0 0 0 147456 72 0 0 25 0 1 0 1012077249 180981760 21012 996147200 134512640 135477443 4294956224 18446744073709551615 134912060 0 0 4096 0 0 0 0 17 0 0 0
/proc/24727/statm: 44185 21012 496 235 0 42886 0
Current children cumulated CPU time (s) 1475.28
Current children cumulated vsize (KiB) 176740
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 24776
/proc/meminfo: memFree=1607840/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=176740 CPUtime=1535.02
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 138381 0 0 0 153430 72 0 0 25 0 1 0 1012077249 180981760 21012 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 0 0 0
/proc/24727/statm: 44185 21012 496 235 0 42886 0
Current children cumulated CPU time (s) 1535.02
Current children cumulated vsize (KiB) 176740
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 24776
/proc/meminfo: memFree=1607848/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=176740 CPUtime=1594.77
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 138381 0 0 0 159405 72 0 0 25 0 1 0 1012077249 180981760 21012 996147200 134512640 135477443 4294956224 18446744073709551615 134586757 0 0 4096 0 0 0 0 17 0 0 0
/proc/24727/statm: 44185 21012 496 235 0 42886 0
Current children cumulated CPU time (s) 1594.77
Current children cumulated vsize (KiB) 176740
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 24776
/proc/meminfo: memFree=1607848/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=176740 CPUtime=1654.51
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 138381 0 0 0 165378 73 0 0 25 0 1 0 1012077249 180981760 21012 996147200 134512640 135477443 4294956224 18446744073709551615 134586766 0 0 4096 0 0 0 0 17 0 0 0
/proc/24727/statm: 44185 21012 496 235 0 42886 0
Current children cumulated CPU time (s) 1654.51
Current children cumulated vsize (KiB) 176740
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 24776
/proc/meminfo: memFree=1607784/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=176740 CPUtime=1714.26
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 138381 0 0 0 171353 73 0 0 25 0 1 0 1012077249 180981760 21012 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 0 0 0
/proc/24727/statm: 44185 21012 496 235 0 42886 0
Current children cumulated CPU time (s) 1714.26
Current children cumulated vsize (KiB) 176740
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 24776
/proc/meminfo: memFree=1607784/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=176740 CPUtime=1774
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 138381 0 0 0 177327 73 0 0 25 0 1 0 1012077249 180981760 21012 996147200 134512640 135477443 4294956224 18446744073709551615 134679633 0 0 4096 0 0 0 0 17 0 0 0
/proc/24727/statm: 44185 21012 496 235 0 42886 0
Current children cumulated CPU time (s) 1774
Current children cumulated vsize (KiB) 176740
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 24776
/proc/meminfo: memFree=1607784/2055920 swapFree=4137356/4192956
[pid=24727] ppid=24725 vsize=176740 CPUtime=1800.09
/proc/24727/stat : 24727 (casperzao) R 24725 24727 24563 0 -1 4194304 138381 0 0 0 179936 73 0 0 25 0 1 0 1012077249 180981760 21012 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 0 0 0
/proc/24727/statm: 44185 21012 496 235 0 42886 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 176740
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.52
CPU time (s): 1800.11
CPU user time (s): 1799.37
CPU system time (s): 0.746886
CPU usage (%): 99.5349
Max. virtual memory (cumulated for all children) (KiB): 363540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.746886
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138381
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= 22650
runsolver used 1.85172 second user time and 4.73628 second system time
The end
Begin job on node26 at 2008-07-05 18:43:43
IDJOB=1092591
IDBENCH=58637
IDSOLVER=361
FILE ID=node26/1092591-1215276223
PBS_JOBID= 7882266
Free space on /tmp= 66440 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/js-taillard-20/normalized-js-taillard-20-105-7.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1092591-1215276223/watcher-1092591-1215276223 -o /tmp/evaluation-result-1092591-1215276223/solver-1092591-1215276223 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1092591-1215276223.xml 378445057
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 933af775481748d76719206dbc8b6623
RANDOM SEED=378445057
node26.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.221
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.221
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: 1664344 kB
Buffers: 41628 kB
Cached: 219228 kB
SwapCached: 49428 kB
Active: 251936 kB
Inactive: 87396 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1664344 kB
SwapTotal: 4192956 kB
SwapFree: 4137356 kB
Dirty: 3524 kB
Writeback: 0 kB
Mapped: 85952 kB
Slab: 37488 kB
Committed_AS: 1773288 kB
PageTables: 1888 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= 66468 MiB
End job on node26 at 2008-07-05 19:13:54