0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/241810-1168375662/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=150 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.41 => wckTime=0.1 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
0.41
0.41 constraints being loaded...
0.46 nbConstraints=100 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=98
0.46 nbConflictsStructures=2 nbSharedConflictsStructures=98 nbSharedBinaryRepresentations=0 maxDegree=2 maxArity=3
0.46 => wckTime=0.146 cpuTime=0.12 mem=7M927
0.49
0.49 solver IterativeSystematicSolver being built...
0.68 => wckTime=0.366 cpuTime=0.27 mem=15M334
0.72
0.72 preprocessing
0.72 nbConstraintChecks=585 nbValidityChecks=1415 nbPropagations=471 nbRevisions=713 nbUselessRevisions=581
0.72 nbSingletonTests=195 nbEffectiveSingletonTests=0 nbESACBranches=3 nbRemovedValues=0 detectedInconsistency=no
0.72 => wckTime=0.043 cpuTime=0.03 mem=15M334
0.75
0.75 search
0.75 run=0 nbConstraintChecks=121 nbValidityChecks=514 nbPropagations=573 nbRevisions=934 nbUselessRevisions=731
0.75 nbAssignments=68 nbFailedAssignments=3 nbBacktracks=11 nbVisitedNodes=76 nbRestartNogoods=0 mapSize=4
0.75 nbInferences=1 nbTooLargeKeys=0
0.75 => wckTime=0.075 cpuTime=0.04 mem=16M326
0.76
0.76 search
0.76 run=1 nbConstraintChecks=218 nbValidityChecks=995 nbPropagations=1246 nbRevisions=2085 nbUselessRevisions=1611
0.76 nbAssignments=130 nbFailedAssignments=6 nbBacktracks=28 nbVisitedNodes=144 nbRestartNogoods=3 mapSize=9
0.76 nbInferences=2 nbTooLargeKeys=0
0.76 => wckTime=0.086 cpuTime=0.05 mem=16M326
0.78
0.78 search
0.78 run=2 nbConstraintChecks=450 nbValidityChecks=1796 nbPropagations=2084 nbRevisions=3584
0.78 nbUselessRevisions=2700 nbAssignments=204 nbFailedAssignments=15 nbBacktracks=54 nbVisitedNodes=236
0.78 nbRestartNogoods=4 mapSize=25 nbInferences=2 nbTooLargeKeys=0
0.78 => wckTime=0.099 cpuTime=0.06 mem=16M326
0.79
0.79 search
0.79 run=3 nbConstraintChecks=783 nbValidityChecks=2838 nbPropagations=3132 nbRevisions=5518
0.79 nbUselessRevisions=4056 nbAssignments=326 nbFailedAssignments=27 nbBacktracks=89 nbVisitedNodes=384
0.79 nbRestartNogoods=6 mapSize=45 nbInferences=4 nbTooLargeKeys=0
0.79 => wckTime=0.116 cpuTime=0.07 mem=16M326
0.81
0.81 search
0.81 run=4 nbConstraintChecks=1176 nbValidityChecks=4151 nbPropagations=4472 nbRevisions=8018
0.81 nbUselessRevisions=5750 nbAssignments=483 nbFailedAssignments=36 nbBacktracks=141 nbVisitedNodes=569
0.81 nbRestartNogoods=10 mapSize=71 nbInferences=14 nbTooLargeKeys=0
0.81 => wckTime=0.133 cpuTime=0.09 mem=16M326
0.83
0.83 search
0.83 run=5 nbConstraintChecks=1703 nbValidityChecks=5742 nbPropagations=6152 nbRevisions=11196
0.83 nbUselessRevisions=7819 nbAssignments=640 nbFailedAssignments=56 nbBacktracks=217 nbVisitedNodes=767
0.83 nbRestartNogoods=12 mapSize=104 nbInferences=15 nbTooLargeKeys=0
0.83 => wckTime=0.154 cpuTime=0.1 mem=16M326
0.85
0.85 search
0.85 run=6 nbConstraintChecks=2405 nbValidityChecks=7791 nbPropagations=8297 nbRevisions=15248
0.85 nbUselessRevisions=10343 nbAssignments=838 nbFailedAssignments=83 nbBacktracks=331 nbVisitedNodes=1029
0.85 nbRestartNogoods=14 mapSize=161 nbInferences=25 nbTooLargeKeys=0
0.85 => wckTime=0.171 cpuTime=0.12 mem=16M326
0.87
0.87 search
0.87 run=7 nbConstraintChecks=3434 nbValidityChecks=10773 nbPropagations=11137 nbRevisions=20578
0.87 nbUselessRevisions=13563 nbAssignments=1167 nbFailedAssignments=107 nbBacktracks=501 nbVisitedNodes=1440
0.87 nbRestartNogoods=18 mapSize=237 nbInferences=59 nbTooLargeKeys=0
0.87 => wckTime=0.197 cpuTime=0.14 mem=16M326
0.92
0.92 search
0.92 run=8 nbConstraintChecks=4954 nbValidityChecks=15016 nbPropagations=14958 nbRevisions=27748
0.92 nbUselessRevisions=17797 nbAssignments=1590 nbFailedAssignments=140 nbBacktracks=758 nbVisitedNodes=1986
0.92 nbRestartNogoods=20 mapSize=356 nbInferences=116 nbTooLargeKeys=0
0.92 => wckTime=0.243 cpuTime=0.18 mem=16M326
0.97
0.97 search
0.97 run=9 nbConstraintChecks=7539 nbValidityChecks=22181 nbPropagations=20435 nbRevisions=38003
0.97 nbUselessRevisions=23671 nbAssignments=2182 nbFailedAssignments=198 nbBacktracks=1143 nbVisitedNodes=2779
0.97 nbRestartNogoods=23 mapSize=542 nbInferences=202 nbTooLargeKeys=0
0.97 => wckTime=0.29 cpuTime=0.22 mem=16M326
1.03
1.03 search
1.03 run=10 nbConstraintChecks=10854 nbValidityChecks=31740 nbPropagations=28165 nbRevisions=52490
1.03 nbUselessRevisions=32016 nbAssignments=3059 nbFailedAssignments=218 nbBacktracks=1723 nbVisitedNodes=3926
1.03 nbRestartNogoods=27 mapSize=810 nbInferences=432 nbTooLargeKeys=0
1.03 => wckTime=0.355 cpuTime=0.27 mem=16M326
1.12
1.12 search
1.12 run=11 nbConstraintChecks=17954 nbValidityChecks=50930 nbPropagations=40367 nbRevisions=75241
1.12 nbUselessRevisions=44985 nbAssignments=4415 nbFailedAssignments=253 nbBacktracks=2589 nbVisitedNodes=5744
1.12 nbRestartNogoods=29 mapSize=1270 nbInferences=827 nbTooLargeKeys=0
1.12 => wckTime=0.442 cpuTime=0.36 mem=16M326
1.24
1.24 search
1.24 run=12 nbConstraintChecks=25849 nbValidityChecks=73081 nbPropagations=57720 nbRevisions=107645
1.24 nbUselessRevisions=63664 nbAssignments=6399 nbFailedAssignments=276 nbBacktracks=3888 nbVisitedNodes=8355
1.24 nbRestartNogoods=31 mapSize=1895 nbInferences=1410 nbTooLargeKeys=0
1.24 => wckTime=0.562 cpuTime=0.48 mem=16M326
1.41
1.41 search
1.41 run=13 nbConstraintChecks=39245 nbValidityChecks=109346 nbPropagations=83541 nbRevisions=155668
1.41 nbUselessRevisions=91354 nbAssignments=9323 nbFailedAssignments=276 nbBacktracks=5835 nbVisitedNodes=12191
1.41 nbRestartNogoods=33 mapSize=2803 nbInferences=2322 nbTooLargeKeys=0
1.41 => wckTime=0.737 cpuTime=0.66 mem=17M301
1.70
1.70 search
1.70 run=14 nbConstraintChecks=70054 nbValidityChecks=189086 nbPropagations=128420 nbRevisions=236622
1.70 nbUselessRevisions=136444 nbAssignments=14030 nbFailedAssignments=276 nbBacktracks=8757 nbVisitedNodes=18649
1.70 nbRestartNogoods=37 mapSize=4549 nbInferences=4073 nbTooLargeKeys=0
1.70 => wckTime=1.021 cpuTime=0.95 mem=17M301
2.16
2.16 search
2.16 run=15 nbConstraintChecks=127030 nbValidityChecks=335788 nbPropagations=207635 nbRevisions=377112
2.16 nbUselessRevisions=213522 nbAssignments=21825 nbFailedAssignments=276 nbBacktracks=13135 nbVisitedNodes=29828
2.16 nbRestartNogoods=42 mapSize=7923 nbInferences=7457 nbTooLargeKeys=0
2.16 => wckTime=1.487 cpuTime=1.41 mem=18M276
2.83
2.83 search
2.83 run=16 nbConstraintChecks=204402 nbValidityChecks=534984 nbPropagations=333992 nbRevisions=599039
2.83 nbUselessRevisions=333768 nbAssignments=32848 nbFailedAssignments=276 nbBacktracks=19705 nbVisitedNodes=45274
2.83 nbRestartNogoods=52 mapSize=12339 nbInferences=11880 nbTooLargeKeys=0
2.83 => wckTime=2.151 cpuTime=2.07 mem=18M276
3.85
3.85 search
3.85 run=17 nbConstraintChecks=328095 nbValidityChecks=852812 nbPropagations=535422 nbRevisions=950451
3.85 nbUselessRevisions=522782 nbAssignments=49903 nbFailedAssignments=276 nbBacktracks=29557 nbVisitedNodes=69492
3.85 nbRestartNogoods=59 mapSize=19495 nbInferences=19043 nbTooLargeKeys=0
3.85 => wckTime=3.17 cpuTime=3.09 mem=20M227
5.36
5.36 search
5.36 run=18 nbConstraintChecks=504901 nbValidityChecks=1308225 nbPropagations=844182 nbRevisions=1487808
5.36 nbUselessRevisions=811249 nbAssignments=75119 nbFailedAssignments=276 nbBacktracks=44336 nbVisitedNodes=105115
5.36 nbRestartNogoods=66 mapSize=29896 nbInferences=29450 nbTooLargeKeys=0
5.36 => wckTime=4.679 cpuTime=4.6 mem=22M177
7.60
7.60 search
7.60 run=19 nbConstraintChecks=777461 nbValidityChecks=2008230 nbPropagations=1318552 nbRevisions=2310848
7.60 nbUselessRevisions=1251242 nbAssignments=113036 nbFailedAssignments=276 nbBacktracks=66504
7.60 nbVisitedNodes=158748 nbRestartNogoods=72 mapSize=45603 nbInferences=45166 nbTooLargeKeys=0
7.60 => wckTime=6.927 cpuTime=6.84 mem=24M127
11.36
11.36 search
11.36 run=20 nbConstraintChecks=1243449 nbValidityChecks=3216157 nbPropagations=2068670 nbRevisions=3617171
11.36 nbUselessRevisions=1957036 nbAssignments=175440 nbFailedAssignments=276 nbBacktracks=99756
11.36 nbVisitedNodes=250272 nbRestartNogoods=81 mapSize=74715 nbInferences=74286 nbTooLargeKeys=0
11.36 => wckTime=10.687 cpuTime=10.59 mem=29M978
16.56
16.56 search
16.56 run=21 nbConstraintChecks=1865782 nbValidityChecks=4815818 nbPropagations=3196150 nbRevisions=5574589
16.56 nbUselessRevisions=3008956 nbAssignments=261536 nbFailedAssignments=276 nbBacktracks=149644
16.56 nbVisitedNodes=372555 nbRestartNogoods=89 mapSize=110897 nbInferences=110473 nbTooLargeKeys=0
16.56 => wckTime=15.887 cpuTime=15.79 mem=36M878
24.53
24.53 search
24.53 run=22 nbConstraintChecks=2837287 nbValidityChecks=7323788 nbPropagations=4905664 nbRevisions=8545759
24.53 nbUselessRevisions=4610144 nbAssignments=395156 nbFailedAssignments=276 nbBacktracks=224462
24.53 nbVisitedNodes=564937 nbRestartNogoods=94 mapSize=169652 nbInferences=169235 nbTooLargeKeys=0
24.53 => wckTime=23.855 cpuTime=23.75 mem=45M655
36.58
36.58 search
36.58 run=23 nbConstraintChecks=4280425 nbValidityChecks=11043666 nbPropagations=7483393 nbRevisions=13023478
36.58 nbUselessRevisions=7021802 nbAssignments=593469 nbFailedAssignments=276 nbBacktracks=336689
36.58 nbVisitedNodes=849307 nbRestartNogoods=101 mapSize=255703 nbInferences=255292 nbTooLargeKeys=0
36.58 => wckTime=35.908 cpuTime=35.59 mem=34M74
54.11
54.11 search
54.11 run=24 nbConstraintChecks=6465109 nbValidityChecks=16678552 nbPropagations=11371339 nbRevisions=19780540
54.11 nbUselessRevisions=10665881 nbAssignments=893491 nbFailedAssignments=276 nbBacktracks=505038
54.11 nbVisitedNodes=1280962 nbRestartNogoods=107 mapSize=387330 nbInferences=386925 nbTooLargeKeys=0
54.11 => wckTime=53.436 cpuTime=53.08 mem=54M758
79.44
79.44 search
79.44 run=25 nbConstraintChecks=9689665 nbValidityChecks=24986844 nbPropagations=17201880 nbRevisions=29905763
79.44 nbUselessRevisions=16118548 nbAssignments=1337541 nbFailedAssignments=276 nbBacktracks=757549
79.44 nbVisitedNodes=1916511 nbRestartNogoods=113 mapSize=578820 nbInferences=578424 nbTooLargeKeys=0
79.44 => wckTime=78.761 cpuTime=77.8 mem=68M806
84.05
84.05 search
84.05 run=26 nbConstraintChecks=10301128 nbValidityChecks=26569620 nbPropagations=23395450 nbRevisions=40665881
84.05 nbUselessRevisions=21918811 nbAssignments=1419745 nbFailedAssignments=276 nbBacktracks=801893
84.05 nbVisitedNodes=2036575 nbRestartNogoods=122 mapSize=616679 nbInferences=616285 nbTooLargeKeys=0
84.05 => wckTime=83.376 cpuTime=82.38 mem=74M509
84.05
84.05 global
84.05 nbConstraintChecks=10301713 nbValidityChecks=26571035 nbPropagations=23395921 nbRevisions=40666594
84.05 nbUselessRevisions=21919392 nbRestartNogoods=122 solvingWckTime=83.377 solvingCpuTime=82.38 expiredTime=no
84.05 totalExploration=yes nbFoundSolutions=0 globalCpuTime=82.7
84.05 => wckTime=83.745 cpuTime=82.65 mem=74M509
84.06
84.06 s UNSATISFIABLE
84.06 d NODES 1419745
84.06 d CHECKS 10301713
84.06
84.06 totalWckTime=83.823 totalCpuTime=82.7
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-241810-1168375662 -o ROOT/results/node9/solver-241810-1168375662 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/241810-1168375662/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: 0.02 0.17 0.32 5/86 7667
/proc/meminfo: memFree=1761456/2055920 swapFree=4191880/4192956
[pid=7666] ppid=7661 vsize=1784 CPUtime=0
/proc/7666/stat : 7666 (java) D 7661 7666 6979 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 185961934 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/7666/statm: 446 136 102 14 0 91 0
[startup+0.102863 s]
/proc/loadavg: 0.02 0.17 0.32 5/86 7667
/proc/meminfo: memFree=1761456/2055920 swapFree=4191880/4192956
[pid=7666] ppid=7661 vsize=913228 CPUtime=0.07
/proc/7666/stat : 7666 (java) D 7661 7666 6979 0 -1 0 2919 0 1 0 6 1 0 0 23 0 8 0 185961934 935145472 2665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7666/statm: 228307 2665 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913228
[startup+0.510909 s]
/proc/loadavg: 0.02 0.17 0.32 5/86 7667
/proc/meminfo: memFree=1761456/2055920 swapFree=4191880/4192956
[pid=7666] ppid=7661 vsize=915460 CPUtime=0.48
/proc/7666/stat : 7666 (java) R 7661 7666 6979 0 -1 0 6664 0 1 0 43 5 0 0 25 0 8 0 185961934 937431040 6402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072943017 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7666/statm: 228865 6402 2370 14 0 215335 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915460
[startup+1.332 s]
/proc/loadavg: 0.02 0.17 0.32 3/88 7696
/proc/meminfo: memFree=1736984/2055920 swapFree=4191880/4192956
[pid=7666] ppid=7661 vsize=915460 CPUtime=1.31
/proc/7666/stat : 7666 (java) R 7661 7666 6979 0 -1 0 9054 0 1 0 123 8 0 0 16 0 8 0 185961934 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073710875 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7666/statm: 228865 8792 2527 14 0 215335 0
[pid=7666/tid=7682] ppid=7661 vsize=915460 CPUtime=0.02
/proc/7666/task/7682/stat : 7682 (java) S 7661 7666 6979 0 -1 64 138 0 0 0 2 0 0 0 17 0 8 0 185961939 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7683] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7683/stat : 7683 (java) S 7661 7666 6979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185961940 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7684] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7684/stat : 7684 (java) S 7661 7666 6979 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185961940 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7688] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7688/stat : 7688 (java) S 7661 7666 6979 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 185961943 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7689] ppid=7661 vsize=915460 CPUtime=0.19
/proc/7666/task/7689/stat : 7689 (java) S 7661 7666 6979 0 -1 64 374 0 0 0 18 1 0 0 15 0 8 0 185961943 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7690] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7690/stat : 7690 (java) S 7661 7666 6979 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 185961943 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7691] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7691/stat : 7691 (java) S 7661 7666 6979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185961943 937431040 8792 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) 915460
[startup+2.98318 s]
/proc/loadavg: 0.02 0.17 0.32 2/88 7696
/proc/meminfo: memFree=1735576/2055920 swapFree=4191880/4192956
[pid=7666] ppid=7661 vsize=915460 CPUtime=2.95
/proc/7666/stat : 7666 (java) R 7661 7666 6979 0 -1 0 9577 0 1 0 287 8 0 0 25 0 8 0 185961934 937431040 9314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073686704 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7666/statm: 228865 9314 2527 14 0 215335 0
[pid=7666/tid=7682] ppid=7661 vsize=915460 CPUtime=0.02
/proc/7666/task/7682/stat : 7682 (java) S 7661 7666 6979 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 185961939 937431040 9314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7683] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7683/stat : 7683 (java) S 7661 7666 6979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185961940 937431040 9314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7684] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7684/stat : 7684 (java) S 7661 7666 6979 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185961940 937431040 9314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7688] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7688/stat : 7688 (java) S 7661 7666 6979 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 185961943 937431040 9314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7689] ppid=7661 vsize=915460 CPUtime=0.19
/proc/7666/task/7689/stat : 7689 (java) S 7661 7666 6979 0 -1 64 374 0 0 0 18 1 0 0 15 0 8 0 185961943 937431040 9314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7690] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7690/stat : 7690 (java) S 7661 7666 6979 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 185961943 937431040 9314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7691] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7691/stat : 7691 (java) S 7661 7666 6979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185961943 937431040 9314 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) 915460
[startup+6.27355 s]
/proc/loadavg: 0.10 0.18 0.32 2/88 7696
/proc/meminfo: memFree=1731416/2055920 swapFree=4191880/4192956
[pid=7666] ppid=7661 vsize=915460 CPUtime=6.25
/proc/7666/stat : 7666 (java) R 7661 7666 6979 0 -1 0 10565 0 1 0 616 9 0 0 24 0 8 0 185961934 937431040 10302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727651 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7666/statm: 228865 10302 2527 14 0 215335 0
[pid=7666/tid=7682] ppid=7661 vsize=915460 CPUtime=0.02
/proc/7666/task/7682/stat : 7682 (java) S 7661 7666 6979 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 185961939 937431040 10302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7683] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7683/stat : 7683 (java) S 7661 7666 6979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185961940 937431040 10302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7684] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7684/stat : 7684 (java) S 7661 7666 6979 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185961940 937431040 10302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7688] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7688/stat : 7688 (java) S 7661 7666 6979 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 185961943 937431040 10302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7689] ppid=7661 vsize=915460 CPUtime=0.19
/proc/7666/task/7689/stat : 7689 (java) S 7661 7666 6979 0 -1 64 374 0 0 0 18 1 0 0 16 0 8 0 185961943 937431040 10302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7690] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7690/stat : 7690 (java) S 7661 7666 6979 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 185961943 937431040 10302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7691] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7691/stat : 7691 (java) S 7661 7666 6979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185961943 937431040 10302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915460
[startup+12.7533 s]
/proc/loadavg: 0.17 0.19 0.32 2/88 7704
/proc/meminfo: memFree=1723040/2055920 swapFree=4191880/4192956
[pid=7666] ppid=7661 vsize=915460 CPUtime=12.72
/proc/7666/stat : 7666 (java) R 7661 7666 6979 0 -1 0 12565 0 1 0 1262 10 0 0 25 0 8 0 185961934 937431040 12302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073671170 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7666/statm: 228865 12302 2527 14 0 215335 0
[pid=7666/tid=7682] ppid=7661 vsize=915460 CPUtime=0.02
/proc/7666/task/7682/stat : 7682 (java) S 7661 7666 6979 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 185961939 937431040 12302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7683] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7683/stat : 7683 (java) S 7661 7666 6979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185961940 937431040 12302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7684] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7684/stat : 7684 (java) S 7661 7666 6979 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185961940 937431040 12302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7688] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7688/stat : 7688 (java) S 7661 7666 6979 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 185961943 937431040 12302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7689] ppid=7661 vsize=915460 CPUtime=0.19
/proc/7666/task/7689/stat : 7689 (java) S 7661 7666 6979 0 -1 64 375 0 0 0 18 1 0 0 16 0 8 0 185961943 937431040 12302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7690] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7690/stat : 7690 (java) S 7661 7666 6979 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 185961943 937431040 12302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7691] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7691/stat : 7691 (java) S 7661 7666 6979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185961943 937431040 12302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915460
[startup+25.5838 s]
/proc/loadavg: 0.35 0.23 0.33 2/88 7705
/proc/meminfo: memFree=1711272/2055920 swapFree=4191880/4192956
[pid=7666] ppid=7661 vsize=915460 CPUtime=25.54
/proc/7666/stat : 7666 (java) R 7661 7666 6979 0 -1 0 16466 0 1 0 2542 12 0 0 25 0 8 0 185961934 937431040 16203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073671076 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7666/statm: 228865 16203 2527 14 0 215335 0
[pid=7666/tid=7682] ppid=7661 vsize=915460 CPUtime=0.02
/proc/7666/task/7682/stat : 7682 (java) S 7661 7666 6979 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 185961939 937431040 16203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7683] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7683/stat : 7683 (java) S 7661 7666 6979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185961940 937431040 16203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7684] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7684/stat : 7684 (java) S 7661 7666 6979 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185961940 937431040 16203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7688] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7688/stat : 7688 (java) S 7661 7666 6979 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 185961943 937431040 16203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7689] ppid=7661 vsize=915460 CPUtime=0.19
/proc/7666/task/7689/stat : 7689 (java) S 7661 7666 6979 0 -1 64 375 0 0 0 18 1 0 0 16 0 8 0 185961943 937431040 16203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7690] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7690/stat : 7690 (java) S 7661 7666 6979 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 185961943 937431040 16203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7691] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7691/stat : 7691 (java) S 7661 7666 6979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185961943 937431040 16204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915460
[startup+51.2737 s]
/proc/loadavg: 0.57 0.29 0.35 2/88 7751
/proc/meminfo: memFree=1687456/2055920 swapFree=4191880/4192956
[pid=7666] ppid=7661 vsize=915460 CPUtime=51.2
/proc/7666/stat : 7666 (java) R 7661 7666 6979 0 -1 0 21926 0 1 0 5105 15 0 0 25 0 8 0 185961934 937431040 21662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073700512 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7666/statm: 228865 21662 2531 14 0 215335 0
[pid=7666/tid=7682] ppid=7661 vsize=915460 CPUtime=0.23
/proc/7666/task/7682/stat : 7682 (java) S 7661 7666 6979 0 -1 64 4949 0 0 0 21 2 0 0 16 0 8 0 185961939 937431040 21662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7683] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7683/stat : 7683 (java) S 7661 7666 6979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185961940 937431040 21662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7684] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7684/stat : 7684 (java) S 7661 7666 6979 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185961940 937431040 21662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7688] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7688/stat : 7688 (java) S 7661 7666 6979 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 185961943 937431040 21662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7689] ppid=7661 vsize=915460 CPUtime=0.19
/proc/7666/task/7689/stat : 7689 (java) S 7661 7666 6979 0 -1 64 375 0 0 0 18 1 0 0 16 0 8 0 185961943 937431040 21662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7690] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7690/stat : 7690 (java) S 7661 7666 6979 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 185961943 937431040 21662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7691] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7691/stat : 7691 (java) S 7661 7666 6979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185961943 937431040 21662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 84.1163
CPU time (s): 83.7263
CPU user time (s): 83.5193
CPU system time (s): 0.206968
CPU usage (%): 99.5363
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 83.5193
system time used= 0.206968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30206
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= 2706
involuntary context switches= 2629
runsolver used 0.087986 s user time and 0.227965 s system time
The end
Begin job on node9 on Tue Jan 9 20:47:45 UTC 2007
IDJOB= 241810
IDBENCH= 7348
FILE ID= node9/241810-1168375662
PBS_JOBID= 3522264
Free space on /tmp= 66544 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/pret/pret-150-75_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/241810-1168375662/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-241810-1168375662 -o ROOT/results/node9/solver-241810-1168375662 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/241810-1168375662/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8c16a1ce741b5e4e319f46b3cb8ec761
RANDOM SEED= 161368856
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.231
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.231
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: 1762408 kB
Buffers: 42516 kB
Cached: 158832 kB
SwapCached: 408 kB
Active: 161424 kB
Inactive: 87304 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1762408 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 5108 kB
Writeback: 0 kB
Mapped: 59168 kB
Slab: 29688 kB
Committed_AS: 5663608 kB
PageTables: 2212 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= 66546 MiB
End job on node9 on Tue Jan 9 20:49:13 UTC 2007