0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/252979-1168087717/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=47 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5
0.38 => wckTime=0.095 cpuTime=0.09 mem=6M951
0.38
0.38 relations being loaded...
0.38
0.38 constraints being loaded...
0.45 nbConstraints=236 nbRelationTypes=1 nbExtensionStructures=1 nbSharedExtensionStructures=235
0.45 nbConflictsStructures=1 nbSharedConflictsStructures=235 nbSharedBinaryRepresentations=5 maxDegree=23 maxArity=2
0.45 => wckTime=0.164 cpuTime=0.14 mem=8M918
0.48
0.49 solver IterativeSystematicSolver being built...
0.64 => wckTime=0.351 cpuTime=0.27 mem=13M385
0.64
0.64 preprocessing
0.64 nbConstraintChecks=0 nbPropagations=47 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.64 detectedInconsistency=no
0.64 => wckTime=0.0030 cpuTime=0.0 mem=13M385
0.68
0.68 search
0.68 run=0 nbConstraintChecks=1494 nbPropagations=282 nbRevisions=544 nbUselessRevisions=266 nbAssignments=26
0.68 nbFailedAssignments=4 nbBacktracks=12 nbVisitedNodes=38 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.68 nbTooLargeKeys=0
0.68 => wckTime=0.036 cpuTime=0.02 mem=14M360
0.69
0.69 search
0.69 run=1 nbConstraintChecks=3812 nbPropagations=884 nbRevisions=2009 nbUselessRevisions=994 nbAssignments=56
0.69 nbFailedAssignments=11 nbBacktracks=27 nbVisitedNodes=84 nbRestartNogoods=1 mapSize=24 nbInferences=0
0.69 nbTooLargeKeys=0
0.69 => wckTime=0.053 cpuTime=0.03 mem=14M360
0.70
0.70 search
0.70 run=2 nbConstraintChecks=6566 nbPropagations=1886 nbRevisions=4595 nbUselessRevisions=2269 nbAssignments=102
0.71 nbFailedAssignments=24 nbBacktracks=51 nbVisitedNodes=154 nbRestartNogoods=2 mapSize=45 nbInferences=0
0.71 nbTooLargeKeys=0
0.71 => wckTime=0.064 cpuTime=0.04 mem=14M360
0.72
0.72 search
0.72 run=3 nbConstraintChecks=9840 nbPropagations=3356 nbRevisions=8547 nbUselessRevisions=4253 nbAssignments=158
0.72 nbFailedAssignments=36 nbBacktracks=88 nbVisitedNodes=238 nbRestartNogoods=3 mapSize=69 nbInferences=0
0.72 nbTooLargeKeys=0
0.72 => wckTime=0.076 cpuTime=0.05 mem=14M360
0.73
0.73 search
0.73 run=4 nbConstraintChecks=15826 nbPropagations=5543 nbRevisions=15028 nbUselessRevisions=7654 nbAssignments=235
0.73 nbFailedAssignments=52 nbBacktracks=139 nbVisitedNodes=354 nbRestartNogoods=4 mapSize=104 nbInferences=0
0.73 nbTooLargeKeys=0
0.73 => wckTime=0.086 cpuTime=0.06 mem=14M360
0.74
0.74 search
0.74 run=5 nbConstraintChecks=26730 nbPropagations=8956 nbRevisions=26010 nbUselessRevisions=13353
0.74 nbAssignments=369 nbFailedAssignments=101 nbBacktracks=215 nbVisitedNodes=573 nbRestartNogoods=6 mapSize=162
0.74 nbInferences=0 nbTooLargeKeys=0
0.74 => wckTime=0.101 cpuTime=0.07 mem=14M360
0.76
0.76 search
0.76 run=6 nbConstraintChecks=43579 nbPropagations=14146 nbRevisions=44086 nbUselessRevisions=22937
0.76 nbAssignments=561 nbFailedAssignments=167 nbBacktracks=329 nbVisitedNodes=884 nbRestartNogoods=7 mapSize=257
0.76 nbInferences=0 nbTooLargeKeys=0
0.76 => wckTime=0.12 cpuTime=0.09 mem=14M360
0.78
0.78 search
0.78 run=7 nbConstraintChecks=61040 nbPropagations=21450 nbRevisions=69808 nbUselessRevisions=36787
0.78 nbAssignments=810 nbFailedAssignments=233 nbBacktracks=501 nbVisitedNodes=1270 nbRestartNogoods=12 mapSize=380
0.78 nbInferences=0 nbTooLargeKeys=0
0.78 => wckTime=0.139 cpuTime=0.1 mem=14M360
0.82
0.82 search
0.82 run=8 nbConstraintChecks=95311 nbPropagations=32509 nbRevisions=109870 nbUselessRevisions=57960
0.82 nbAssignments=1216 nbFailedAssignments=370 nbBacktracks=757 nbVisitedNodes=1936 nbRestartNogoods=15
0.82 mapSize=586 nbInferences=0 nbTooLargeKeys=0
0.82 => wckTime=0.175 cpuTime=0.14 mem=14M360
0.87
0.87 search
0.87 run=9 nbConstraintChecks=137933 nbPropagations=47857 nbRevisions=168136 nbUselessRevisions=89607
0.87 nbAssignments=1783 nbFailedAssignments=541 nbBacktracks=1146 nbVisitedNodes=2843 nbRestartNogoods=21
0.87 mapSize=906 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.227 cpuTime=0.17 mem=14M360
0.88
0.88 INFO : Stopping hyperNogood (mapSize=1034, nbTooLargekeys=0, mem=14M360)
0.92
0.92 search
0.92 run=10 nbConstraintChecks=205956 nbPropagations=70165 nbRevisions=255340 nbUselessRevisions=138174
0.92 nbAssignments=2634 nbFailedAssignments=801 nbBacktracks=1723 nbVisitedNodes=4199 nbRestartNogoods=24
0.92 => wckTime=0.28 cpuTime=0.21 mem=14M360
0.98
0.98 search
0.98 run=11 nbConstraintChecks=311956 nbPropagations=103934 nbRevisions=388263 nbUselessRevisions=212368
0.98 nbAssignments=3896 nbFailedAssignments=1186 nbBacktracks=2588 nbVisitedNodes=6220 nbRestartNogoods=29
0.98 => wckTime=0.34 cpuTime=0.27 mem=14M360
1.06
1.06 search
1.06 run=12 nbConstraintChecks=444685 nbPropagations=152875 nbRevisions=579780 nbUselessRevisions=320179
1.06 nbAssignments=5794 nbFailedAssignments=1773 nbBacktracks=3886 nbVisitedNodes=9262 nbRestartNogoods=34
1.06 => wckTime=0.42 cpuTime=0.35 mem=14M360
1.19
1.19 search
1.19 run=13 nbConstraintChecks=671352 nbPropagations=224989 nbRevisions=870697 nbUselessRevisions=486545
1.19 nbAssignments=8776 nbFailedAssignments=2795 nbBacktracks=5833 nbVisitedNodes=14204 nbRestartNogoods=41
1.19 => wckTime=0.546 cpuTime=0.48 mem=14M360
1.38
1.38 search
1.38 run=14 nbConstraintChecks=1016144 nbPropagations=333357 nbRevisions=1316914 nbUselessRevisions=744807
1.38 nbAssignments=13051 nbFailedAssignments=4143 nbBacktracks=8753 nbVisitedNodes=21051 nbRestartNogoods=48
1.38 => wckTime=0.739 cpuTime=0.67 mem=14M360
1.66
1.66 search
1.66 run=15 nbConstraintChecks=1527535 nbPropagations=495265 nbRevisions=1987363 nbUselessRevisions=1133113
1.66 nbAssignments=19496 nbFailedAssignments=6198 nbBacktracks=13135 nbVisitedNodes=31565 nbRestartNogoods=52
1.66 => wckTime=1.016 cpuTime=0.94 mem=14M360
2.05
2.05 search
2.05 run=16 nbConstraintChecks=2238618 nbPropagations=733815 nbRevisions=2970405 nbUselessRevisions=1700542
2.05 nbAssignments=28900 nbFailedAssignments=9022 nbBacktracks=19704 nbVisitedNodes=46414 nbRestartNogoods=55
2.05 => wckTime=1.407 cpuTime=1.34 mem=14M360
2.65
2.65 search
2.65 run=17 nbConstraintChecks=3366152 nbPropagations=1088983 nbRevisions=4448883 nbUselessRevisions=2557650
2.65 nbAssignments=43184 nbFailedAssignments=13442 nbBacktracks=29557 nbVisitedNodes=69713 nbRestartNogoods=63
2.65 => wckTime=2.012 cpuTime=1.94 mem=14M360
3.56
3.56 search
3.56 run=18 nbConstraintChecks=5021546 nbPropagations=1622485 nbRevisions=6655097 nbUselessRevisions=3832146
3.56 nbAssignments=64780 nbFailedAssignments=20249 nbBacktracks=44335 nbVisitedNodes=104027 nbRestartNogoods=71
3.56 => wckTime=2.918 cpuTime=2.85 mem=14M360
4.89
4.89 search
4.89 run=19 nbConstraintChecks=7476061 nbPropagations=2409192 nbRevisions=9947393 nbUselessRevisions=5743067
4.89 nbAssignments=96942 nbFailedAssignments=30226 nbBacktracks=66506 nbVisitedNodes=156457 nbRestartNogoods=81
4.89 => wckTime=4.252 cpuTime=4.17 mem=14M360
6.91
6.91 search
6.91 run=20 nbConstraintChecks=11139875 nbPropagations=3588253 nbRevisions=14863047 nbUselessRevisions=8598103
6.91 nbAssignments=145562 nbFailedAssignments=45582 nbBacktracks=99758 nbVisitedNodes=233490 nbRestartNogoods=90
6.91 => wckTime=6.27 cpuTime=6.19 mem=14M360
9.62
9.62 search
9.62 run=21 nbConstraintChecks=16069663 nbPropagations=5284416 nbRevisions=21969808 nbUselessRevisions=12749314
9.62 nbAssignments=215509 nbFailedAssignments=65637 nbBacktracks=149636 nbVisitedNodes=344129 nbRestartNogoods=100
9.62 => wckTime=8.976 cpuTime=8.89 mem=14M360
13.99
13.99 search
13.99 run=22 nbConstraintChecks=24043183 nbPropagations=7841909 nbRevisions=32623564 nbUselessRevisions=18978523
13.99 nbAssignments=322558 nbFailedAssignments=97856 nbBacktracks=224455 nbVisitedNodes=511874 nbRestartNogoods=111
13.99 => wckTime=13.349 cpuTime=13.27 mem=14M360
20.76
20.76 search
20.76 run=23 nbConstraintChecks=36494480 nbPropagations=11700928 nbRevisions=48858386 nbUselessRevisions=28520300
20.76 nbAssignments=487005 nbFailedAssignments=150066 nbBacktracks=336682 nbVisitedNodes=775859 nbRestartNogoods=118
20.76 => wckTime=20.117 cpuTime=20.04 mem=14M360
30.80
30.80 search
30.80 run=24 nbConstraintChecks=54519575 nbPropagations=17527835 nbRevisions=73141146 nbUselessRevisions=42761324
30.80 nbAssignments=732702 nbFailedAssignments=227413 nbBacktracks=505023 nbVisitedNodes=1165344 nbRestartNogoods=126
30.80 => wckTime=30.156 cpuTime=30.08 mem=14M360
45.48
45.48 search
45.48 run=25 nbConstraintChecks=81273056 nbPropagations=26117685 nbRevisions=109232229 nbUselessRevisions=63957456
45.48 nbAssignments=1099262 nbFailedAssignments=341449 nbBacktracks=757534 nbVisitedNodes=1749513
45.48 nbRestartNogoods=137
45.48 => wckTime=44.838 cpuTime=44.73 mem=14M360
66.69
66.69 search
66.69 run=26 nbConstraintChecks=118961142 nbPropagations=38869903 nbRevisions=162041187 nbUselessRevisions=94913070
66.69 nbAssignments=1639429 nbFailedAssignments=502838 nbBacktracks=1136302 nbVisitedNodes=2603350
66.69 nbRestartNogoods=152
66.69 => wckTime=66.053 cpuTime=65.93 mem=14M360
99.18
99.18 search
99.18 run=27 nbConstraintChecks=177187429 nbPropagations=57776383 nbRevisions=240797012 nbUselessRevisions=141115438
99.18 nbAssignments=2460201 nbFailedAssignments=755441 nbBacktracks=1704455 nbVisitedNodes=3902090
99.18 nbRestartNogoods=163
99.18 => wckTime=98.537 cpuTime=98.37 mem=14M360
148.32
148.32 search
148.32 run=28 nbConstraintChecks=264077929 nbPropagations=86072520 nbRevisions=358308505 nbUselessRevisions=210124133
148.32 nbAssignments=3690954 nbFailedAssignments=1133955 nbBacktracks=2556683 nbVisitedNodes=5844717
148.32 nbRestartNogoods=183
148.32 => wckTime=147.684 cpuTime=147.47 mem=14M360
150.11
150.11 search
150.11 run=29 nbConstraintChecks=267015113 nbPropagations=114729267 nbRevisions=477126599 nbUselessRevisions=279865938
150.11 nbAssignments=3740662 nbFailedAssignments=1148040 nbBacktracks=2592307 nbVisitedNodes=5921183
150.11 nbRestartNogoods=194
150.11 => wckTime=149.465 cpuTime=149.25 mem=14M360
150.11
150.11 global
150.11 nbConstraintChecks=267015113 nbPropagations=114729314 nbRevisions=477126599 nbUselessRevisions=279865938
150.11 nbRestartNogoods=194 solvingWckTime=149.466 solvingCpuTime=149.26 expiredTime=no totalExploration=yes
150.11 nbFoundSolutions=0 globalCpuTime=149.57
150.11 => wckTime=149.819 cpuTime=149.53 mem=14M360
150.11
150.11 s UNSATISFIABLE
150.11 d NODES 3740662
150.11 d CHECKS 267015113
150.11
150.11 totalWckTime=149.896 totalCpuTime=149.57
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node59/watcher-252979-1168087717 -o ROOT/results/node59/solver-252979-1168087717 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/252979-1168087717/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.92 1.98 1.80 4/80 26849
/proc/meminfo: memFree=1464032/2055920 swapFree=4192812/4192956
[pid=26848] ppid=26846 vsize=1788 CPUtime=0
/proc/26848/stat : 26848 (java) R 26846 26848 26560 0 -1 0 356 0 0 0 0 0 0 0 18 0 1 0 157169763 1830912 150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10109050 0 0 4096 0 0 0 0 17 0 0 0
/proc/26848/statm: 446 158 123 14 0 91 0
[startup+0.107499 s]
/proc/loadavg: 1.92 1.98 1.80 4/80 26849
/proc/meminfo: memFree=1464032/2055920 swapFree=4192812/4192956
[pid=26848] ppid=26846 vsize=914988 CPUtime=0.09
/proc/26848/stat : 26848 (java) R 26846 26848 26560 0 -1 0 3117 0 1 0 8 1 0 0 24 0 8 0 157169763 936947712 2863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26848/statm: 228747 2864 1469 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515544 s]
/proc/loadavg: 1.92 1.98 1.80 4/80 26849
/proc/meminfo: memFree=1464032/2055920 swapFree=4192812/4192956
[pid=26848] ppid=26846 vsize=915464 CPUtime=0.5
/proc/26848/stat : 26848 (java) R 26846 26848 26560 0 -1 0 6887 0 1 0 46 4 0 0 25 0 8 0 157169763 937435136 6625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26848/statm: 228866 6625 2371 14 0 215336 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915464
[startup+1.33664 s]
/proc/loadavg: 1.92 1.98 1.80 3/87 26856
/proc/meminfo: memFree=1441000/2055920 swapFree=4192812/4192956
[pid=26848] ppid=26846 vsize=915464 CPUtime=1.31
/proc/26848/stat : 26848 (java) R 26846 26848 26560 0 -1 0 8470 0 1 0 126 5 0 0 25 0 8 0 157169763 937435136 8208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073698039 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26848/statm: 228866 8208 2513 14 0 215336 0
[pid=26848/tid=26850] ppid=26846 vsize=915464 CPUtime=0.02
/proc/26848/task/26850/stat : 26850 (java) S 26846 26848 26560 0 -1 64 146 0 0 0 2 0 0 0 16 0 8 0 157169766 937435136 8208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26851] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26851/stat : 26851 (java) S 26846 26848 26560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157169767 937435136 8208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26852] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26852/stat : 26852 (java) S 26846 26848 26560 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157169767 937435136 8208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26853] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26853/stat : 26853 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157169770 937435136 8208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26854] ppid=26846 vsize=915464 CPUtime=0.16
/proc/26848/task/26854/stat : 26854 (java) S 26846 26848 26560 0 -1 64 361 0 0 0 15 1 0 0 15 0 8 0 157169770 937435136 8208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26855] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26855/stat : 26855 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 157169770 937435136 8208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26856] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26856/stat : 26856 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157169770 937435136 8208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915464
[startup+2.97381 s]
/proc/loadavg: 1.93 1.98 1.80 3/87 26856
/proc/meminfo: memFree=1440872/2055920 swapFree=4192812/4192956
[pid=26848] ppid=26846 vsize=915464 CPUtime=2.95
/proc/26848/stat : 26848 (java) R 26846 26848 26560 0 -1 0 8480 0 1 0 290 5 0 0 25 0 8 0 157169763 937435136 8217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073683374 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26848/statm: 228866 8217 2513 14 0 215336 0
[pid=26848/tid=26850] ppid=26846 vsize=915464 CPUtime=0.02
/proc/26848/task/26850/stat : 26850 (java) S 26846 26848 26560 0 -1 64 146 0 0 0 2 0 0 0 16 0 8 0 157169766 937435136 8217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26851] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26851/stat : 26851 (java) S 26846 26848 26560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157169767 937435136 8217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26852] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26852/stat : 26852 (java) S 26846 26848 26560 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157169767 937435136 8217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26853] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26853/stat : 26853 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157169770 937435136 8217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26854] ppid=26846 vsize=915464 CPUtime=0.16
/proc/26848/task/26854/stat : 26854 (java) S 26846 26848 26560 0 -1 64 361 0 0 0 15 1 0 0 15 0 8 0 157169770 937435136 8217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26855] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26855/stat : 26855 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 157169770 937435136 8217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26856] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26856/stat : 26856 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157169770 937435136 8217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915464
[startup+6.17617 s]
/proc/loadavg: 1.93 1.98 1.80 3/87 26856
/proc/meminfo: memFree=1440880/2055920 swapFree=4192812/4192956
[pid=26848] ppid=26846 vsize=915464 CPUtime=6.14
/proc/26848/stat : 26848 (java) R 26846 26848 26560 0 -1 0 8487 0 1 0 609 5 0 0 25 0 8 0 157169763 937435136 8223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073684224 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26848/statm: 228866 8223 2513 14 0 215336 0
[pid=26848/tid=26850] ppid=26846 vsize=915464 CPUtime=0.02
/proc/26848/task/26850/stat : 26850 (java) S 26846 26848 26560 0 -1 64 146 0 0 0 2 0 0 0 16 0 8 0 157169766 937435136 8223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26851] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26851/stat : 26851 (java) S 26846 26848 26560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157169767 937435136 8223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26852] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26852/stat : 26852 (java) S 26846 26848 26560 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157169767 937435136 8223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26853] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26853/stat : 26853 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157169770 937435136 8223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26854] ppid=26846 vsize=915464 CPUtime=0.16
/proc/26848/task/26854/stat : 26854 (java) S 26846 26848 26560 0 -1 64 362 0 0 0 15 1 0 0 16 0 8 0 157169770 937435136 8223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26855] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26855/stat : 26855 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 157169770 937435136 8223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26856] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26856/stat : 26856 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157169770 937435136 8223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915464
[startup+12.6429 s]
/proc/loadavg: 1.94 1.98 1.80 3/87 26856
/proc/meminfo: memFree=1440880/2055920 swapFree=4192812/4192956
[pid=26848] ppid=26846 vsize=915464 CPUtime=12.61
/proc/26848/stat : 26848 (java) R 26846 26848 26560 0 -1 0 8492 0 1 0 1256 5 0 0 25 0 8 0 157169763 937435136 8228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073722151 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26848/statm: 228866 8228 2513 14 0 215336 0
[pid=26848/tid=26850] ppid=26846 vsize=915464 CPUtime=0.02
/proc/26848/task/26850/stat : 26850 (java) S 26846 26848 26560 0 -1 64 146 0 0 0 2 0 0 0 16 0 8 0 157169766 937435136 8228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26851] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26851/stat : 26851 (java) S 26846 26848 26560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157169767 937435136 8228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26852] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26852/stat : 26852 (java) S 26846 26848 26560 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157169767 937435136 8228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26853] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26853/stat : 26853 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157169770 937435136 8228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26854] ppid=26846 vsize=915464 CPUtime=0.16
/proc/26848/task/26854/stat : 26854 (java) S 26846 26848 26560 0 -1 64 362 0 0 0 15 1 0 0 16 0 8 0 157169770 937435136 8228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26855] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26855/stat : 26855 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 157169770 937435136 8228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26856] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26856/stat : 26856 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157169770 937435136 8228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915464
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.80 3/87 26856
/proc/meminfo: memFree=1440880/2055920 swapFree=4192812/4192956
[pid=26848] ppid=26846 vsize=915464 CPUtime=25.47
/proc/26848/stat : 26848 (java) R 26846 26848 26560 0 -1 0 8497 0 1 0 2541 6 0 0 25 0 8 0 157169763 937435136 8233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073683355 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26848/statm: 228866 8233 2513 14 0 215336 0
[pid=26848/tid=26850] ppid=26846 vsize=915464 CPUtime=0.02
/proc/26848/task/26850/stat : 26850 (java) S 26846 26848 26560 0 -1 64 146 0 0 0 2 0 0 0 16 0 8 0 157169766 937435136 8233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26851] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26851/stat : 26851 (java) S 26846 26848 26560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157169767 937435136 8233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26852] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26852/stat : 26852 (java) S 26846 26848 26560 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157169767 937435136 8233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26853] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26853/stat : 26853 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157169770 937435136 8233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26854] ppid=26846 vsize=915464 CPUtime=0.16
/proc/26848/task/26854/stat : 26854 (java) S 26846 26848 26560 0 -1 64 362 0 0 0 15 1 0 0 16 0 8 0 157169770 937435136 8233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26855] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26855/stat : 26855 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 157169770 937435136 8233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26856] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26856/stat : 26856 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157169770 937435136 8233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915464
[startup+51.2011 s]
/proc/loadavg: 1.96 1.98 1.81 3/87 26856
/proc/meminfo: memFree=1440944/2055920 swapFree=4192812/4192956
[pid=26848] ppid=26846 vsize=915464 CPUtime=51.13
/proc/26848/stat : 26848 (java) R 26846 26848 26560 0 -1 0 8502 0 1 0 5107 6 0 0 25 0 8 0 157169763 937435136 8238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073699942 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26848/statm: 228866 8238 2513 14 0 215336 0
[pid=26848/tid=26850] ppid=26846 vsize=915464 CPUtime=0.02
/proc/26848/task/26850/stat : 26850 (java) S 26846 26848 26560 0 -1 64 146 0 0 0 2 0 0 0 16 0 8 0 157169766 937435136 8238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26851] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26851/stat : 26851 (java) S 26846 26848 26560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157169767 937435136 8238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26852] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26852/stat : 26852 (java) S 26846 26848 26560 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157169767 937435136 8238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26853] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26853/stat : 26853 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157169770 937435136 8238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26854] ppid=26846 vsize=915464 CPUtime=0.16
/proc/26848/task/26854/stat : 26854 (java) S 26846 26848 26560 0 -1 64 362 0 0 0 15 1 0 0 16 0 8 0 157169770 937435136 8238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26855] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26855/stat : 26855 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 157169770 937435136 8238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26856] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26856/stat : 26856 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157169770 937435136 8238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 915464
[startup+102.499 s]
/proc/loadavg: 1.98 1.98 1.82 3/87 26856
/proc/meminfo: memFree=1440880/2055920 swapFree=4192812/4192956
[pid=26848] ppid=26846 vsize=915464 CPUtime=102.38
/proc/26848/stat : 26848 (java) R 26846 26848 26560 0 -1 0 8508 0 1 0 10232 6 0 0 25 0 8 0 157169763 937435136 8244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073700012 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26848/statm: 228866 8244 2513 14 0 215336 0
[pid=26848/tid=26850] ppid=26846 vsize=915464 CPUtime=0.02
/proc/26848/task/26850/stat : 26850 (java) S 26846 26848 26560 0 -1 64 146 0 0 0 2 0 0 0 16 0 8 0 157169766 937435136 8244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26851] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26851/stat : 26851 (java) S 26846 26848 26560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157169767 937435136 8244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26852] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26852/stat : 26852 (java) S 26846 26848 26560 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157169767 937435136 8244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26853] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26853/stat : 26853 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157169770 937435136 8244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26854] ppid=26846 vsize=915464 CPUtime=0.16
/proc/26848/task/26854/stat : 26854 (java) S 26846 26848 26560 0 -1 64 363 0 0 0 15 1 0 0 16 0 8 0 157169770 937435136 8244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26855] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26855/stat : 26855 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 157169770 937435136 8244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26856] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26856/stat : 26856 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157169770 937435136 8244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 150.142
CPU time (s): 149.97
CPU user time (s): 149.879
CPU system time (s): 0.090986
CPU usage (%): 99.8854
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 149.879
system time used= 0.090986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8604
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3994
involuntary context switches= 4923
runsolver used 0.185971 s user time and 0.399939 s system time
The end
Begin job on node59 on Sat Jan 6 12:48:38 UTC 2007
IDJOB= 252979
IDBENCH= 12974
FILE ID= node59/252979-1168087717
PBS_JOBID= 3476579
Free space on /tmp= 66548 MiB
BENCH NAME= HOME/pub/bench/CPAI06/coloring/myciel-5g-5-ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/252979-1168087717/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-252979-1168087717 -o ROOT/results/node59/solver-252979-1168087717 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/252979-1168087717/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6350e3a68b258bb6cda8764f11403dc3
RANDOM SEED= 397266302
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.239
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.239
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: 1464448 kB
Buffers: 46768 kB
Cached: 424744 kB
SwapCached: 0 kB
Active: 102396 kB
Inactive: 414236 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1464448 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1844 kB
Writeback: 0 kB
Mapped: 65336 kB
Slab: 60112 kB
Committed_AS: 3764504 kB
PageTables: 1964 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= 66548 MiB
End job on node59 on Sat Jan 6 12:51:09 UTC 2007