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/215302-1168078184/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.52 nbVariables=1900 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.52 => wckTime=0.222 cpuTime=0.15 mem=9M844
0.52
0.52 predicates being loaded...
0.52
0.52 constraints being loaded...
1.62 nbConstraints=7599 nbMergedConstraints=40 nbConvertedConstraints=7350 nbConvertConstraintsChecks=1544
1.62 nbExtensionStructures=2 nbSharedExtensionStructures=7348 nbConflictsStructures=5
1.62 nbSharedConflictsStructures=7594 nbSharedBinaryRepresentations=5 nbEvaluationManagers=3
1.62 nbSharedEvaluationManagers=246 maxDegree=57 maxArity=10
1.62 => wckTime=1.323 cpuTime=1.09 mem=11M658
1.69
1.69 solver IterativeSystematicSolver being built...
1.97 => wckTime=1.671 cpuTime=1.32 mem=32M282
2.00
2.00 preprocessing
2.00 nbConstraintChecks=0 nbPropagations=1900 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.00 detectedInconsistency=no
2.00 => wckTime=0.023 cpuTime=0.01 mem=32M282
2.27
2.27 search
2.27 run=0 nbConstraintChecks=19902 nbValidityChecks=370 nbPropagations=3788 nbRevisions=10835
2.27 nbUselessRevisions=9017 nbAssignments=127 nbFailedAssignments=4 nbBacktracks=10 nbVisitedNodes=138
2.27 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
2.27 => wckTime=0.294 cpuTime=0.25 mem=33M343
2.51
2.51 search
2.51 run=1 nbConstraintChecks=39976 nbValidityChecks=701 nbPropagations=9477 nbRevisions=32295
2.51 nbUselessRevisions=26828 nbAssignments=260 nbFailedAssignments=9 nbBacktracks=27 nbVisitedNodes=282
2.51 nbRestartNogoods=2 mapSize=17 nbInferences=0 nbTooLargeKeys=0
2.51 => wckTime=0.535 cpuTime=0.49 mem=33M343
2.78
2.78 search
2.78 run=2 nbConstraintChecks=67980 nbValidityChecks=1655 nbPropagations=18290 nbRevisions=69597
2.78 nbUselessRevisions=57398 nbAssignments=407 nbFailedAssignments=16 nbBacktracks=53 nbVisitedNodes=447
2.78 nbRestartNogoods=4 mapSize=33 nbInferences=0 nbTooLargeKeys=0
2.78 => wckTime=0.808 cpuTime=0.75 mem=33M343
3.09
3.09 search
3.09 run=3 nbConstraintChecks=95357 nbValidityChecks=2318 nbPropagations=30070 nbRevisions=121744
3.09 nbUselessRevisions=99887 nbAssignments=574 nbFailedAssignments=26 nbBacktracks=88 nbVisitedNodes=635
3.09 nbRestartNogoods=6 mapSize=52 nbInferences=0 nbTooLargeKeys=0
3.09 => wckTime=1.118 cpuTime=1.06 mem=33M343
3.48
3.48 search
3.48 run=4 nbConstraintChecks=129150 nbValidityChecks=3258 nbPropagations=45928 nbRevisions=192388
3.48 nbUselessRevisions=156820 nbAssignments=769 nbFailedAssignments=39 nbBacktracks=138 nbVisitedNodes=857
3.48 nbRestartNogoods=8 mapSize=77 nbInferences=0 nbTooLargeKeys=0
3.48 => wckTime=1.511 cpuTime=1.45 mem=33M343
3.98
3.98 search
3.98 run=5 nbConstraintChecks=180846 nbValidityChecks=5727 nbPropagations=68235 nbRevisions=292723
3.98 nbUselessRevisions=236942 nbAssignments=992 nbFailedAssignments=59 nbBacktracks=215 nbVisitedNodes=1126
3.98 nbRestartNogoods=10 mapSize=122 nbInferences=0 nbTooLargeKeys=0
3.98 => wckTime=2.01 cpuTime=1.95 mem=33M343
4.68
4.68 search
4.68 run=6 nbConstraintChecks=250767 nbValidityChecks=10372 nbPropagations=99644 nbRevisions=434926
4.68 nbUselessRevisions=349715 nbAssignments=1284 nbFailedAssignments=88 nbBacktracks=335 nbVisitedNodes=1484
4.68 nbRestartNogoods=11 mapSize=186 nbInferences=0 nbTooLargeKeys=0
4.68 => wckTime=2.713 cpuTime=2.64 mem=33M343
5.59
5.59 search
5.59 run=7 nbConstraintChecks=335818 nbValidityChecks=18523 nbPropagations=142897 nbRevisions=630967
5.59 nbUselessRevisions=504272 nbAssignments=1642 nbFailedAssignments=124 nbBacktracks=508 nbVisitedNodes=1916
5.59 nbRestartNogoods=13 mapSize=257 nbInferences=0 nbTooLargeKeys=0
5.59 => wckTime=3.618 cpuTime=3.53 mem=34M337
6.89
6.89 search
6.89 run=8 nbConstraintChecks=460039 nbValidityChecks=28097 nbPropagations=203264 nbRevisions=902731
6.89 nbUselessRevisions=717002 nbAssignments=2109 nbFailedAssignments=181 nbBacktracks=769 nbVisitedNodes=2497
6.89 nbRestartNogoods=16 mapSize=368 nbInferences=0 nbTooLargeKeys=0
6.89 => wckTime=4.923 cpuTime=4.83 mem=34M337
8.87
8.87 search
8.87 run=9 nbConstraintChecks=1028145 nbValidityChecks=57859 nbPropagations=316755 nbRevisions=1548695
8.87 nbUselessRevisions=1247303 nbAssignments=2824 nbFailedAssignments=435 nbBacktracks=1167 nbVisitedNodes=3518
8.87 nbRestartNogoods=19 mapSize=659 nbInferences=0 nbTooLargeKeys=0
8.88 => wckTime=6.903 cpuTime=6.8 mem=35M332
16.37
16.37 search
16.37 run=10 nbConstraintChecks=1054693 nbValidityChecks=58563 nbPropagations=432146 nbRevisions=2207035
16.37 nbUselessRevisions=1788287 nbAssignments=4724 nbFailedAssignments=435 nbBacktracks=1167 nbVisitedNodes=5418
16.37 nbRestartNogoods=20 mapSize=659 nbInferences=0 nbTooLargeKeys=0
16.37 => wckTime=14.402 cpuTime=14.29 mem=36M327
16.37
16.37 global
16.37 nbConstraintChecks=1054693 nbValidityChecks=58563 nbPropagations=434046 nbRevisions=2207035
16.37 nbUselessRevisions=1788287 nbRestartNogoods=20 solvingWckTime=14.403 solvingCpuTime=14.29 expiredTime=no
16.37 totalExploration=no nbFoundSolutions=1 globalCpuTime=15.66
16.37 => wckTime=16.079 cpuTime=15.61 mem=36M327
16.38
16.38 s SATISFIABLE
16.38 v 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1
16.38 d NODES 4724
16.38 d CHECKS 1054693
16.38
16.38 totalWckTime=16.154 totalCpuTime=15.66
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node39/watcher-215302-1168078184 -o ROOT/results/node39/solver-215302-1168078184 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215302-1168078184/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.92 1.20 1.55 3/65 19416
/proc/meminfo: memFree=1756088/2055920 swapFree=4192812/4192956
[pid=19415] ppid=19413 vsize=292 CPUtime=0
/proc/19415/stat : 19415 (java) R 19413 19415 18431 0 -1 0 49 0 0 0 0 0 0 0 20 0 1 0 156218050 299008 33 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 11047004 0 0 4096 0 0 0 0 17 1 0 0
/proc/19415/statm: 73 35 27 14 0 5 0
[startup+0.10656 s]
/proc/loadavg: 0.92 1.20 1.55 3/65 19416
/proc/meminfo: memFree=1756088/2055920 swapFree=4192812/4192956
[pid=19415] ppid=19413 vsize=914988 CPUtime=0.08
/proc/19415/stat : 19415 (java) R 19413 19415 18431 0 -1 0 3079 0 1 0 7 1 0 0 16 0 8 0 156218050 936947712 2825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19415/statm: 228747 2825 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514598 s]
/proc/loadavg: 0.92 1.20 1.55 3/65 19416
/proc/meminfo: memFree=1756088/2055920 swapFree=4192812/4192956
[pid=19415] ppid=19413 vsize=915328 CPUtime=0.5
/proc/19415/stat : 19415 (java) S 19413 19415 18431 0 -1 0 6636 0 1 0 46 4 0 0 16 0 8 0 156218050 937295872 6375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19415/statm: 228832 6375 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33467 s]
/proc/loadavg: 0.92 1.20 1.55 2/72 19423
/proc/meminfo: memFree=1705600/2055920 swapFree=4192812/4192956
[pid=19415] ppid=19413 vsize=915640 CPUtime=1.31
/proc/19415/stat : 19415 (java) R 19413 19415 18431 0 -1 0 15922 0 1 0 103 28 0 0 17 0 8 0 156218050 937615360 15660 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19415/statm: 228909 15660 2167 14 0 215379 0
[pid=19415/tid=19417] ppid=19413 vsize=915636 CPUtime=0
/proc/19415/task/19417/stat : 19417 (java) S 19413 19415 18431 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 156218054 937611264 15661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19415/tid=19418] ppid=19413 vsize=915636 CPUtime=0
/proc/19415/task/19418/stat : 19418 (java) S 19413 19415 18431 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 156218054 937611264 15661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19415/tid=19419] ppid=19413 vsize=915640 CPUtime=0
/proc/19415/task/19419/stat : 19419 (java) S 19413 19415 18431 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 156218054 937615360 15661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19415/tid=19420] ppid=19413 vsize=915636 CPUtime=0
/proc/19415/task/19420/stat : 19420 (java) S 19413 19415 18431 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156218057 937611264 15661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19415/tid=19421] ppid=19413 vsize=915640 CPUtime=0.17
/proc/19415/task/19421/stat : 19421 (java) S 19413 19415 18431 0 -1 64 427 0 0 0 17 0 0 0 16 0 8 0 156218057 937615360 15661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19415/tid=19422] ppid=19413 vsize=915636 CPUtime=0
/proc/19415/task/19422/stat : 19422 (java) S 19413 19415 18431 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156218057 937611264 15662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19415/tid=19423] ppid=19413 vsize=915640 CPUtime=0
/proc/19415/task/19423/stat : 19423 (java) S 19413 19415 18431 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156218057 937615360 15662 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) 915640
[startup+2.97183 s]
/proc/loadavg: 0.92 1.20 1.55 2/72 19423
/proc/meminfo: memFree=1685184/2055920 swapFree=4192812/4192956
[pid=19415] ppid=19413 vsize=915728 CPUtime=2.95
/proc/19415/stat : 19415 (java) R 19413 19415 18431 0 -1 0 20421 0 1 0 254 41 0 0 17 0 8 0 156218050 937705472 20156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074094170 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19415/statm: 228932 20156 2536 14 0 215402 0
[pid=19415/tid=19417] ppid=19413 vsize=915728 CPUtime=0.13
/proc/19415/task/19417/stat : 19417 (java) S 19413 19415 18431 0 -1 64 3298 0 0 0 13 0 0 0 16 0 8 0 156218054 937705472 20156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19415/tid=19418] ppid=19413 vsize=915728 CPUtime=0
/proc/19415/task/19418/stat : 19418 (java) S 19413 19415 18431 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156218054 937705472 20156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19415/tid=19419] ppid=19413 vsize=915728 CPUtime=0
/proc/19415/task/19419/stat : 19419 (java) S 19413 19415 18431 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156218054 937705472 20156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19415/tid=19420] ppid=19413 vsize=915728 CPUtime=0
/proc/19415/task/19420/stat : 19420 (java) S 19413 19415 18431 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156218057 937705472 20156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19415/tid=19421] ppid=19413 vsize=915728 CPUtime=0.3
/proc/19415/task/19421/stat : 19421 (java) S 19413 19415 18431 0 -1 64 507 0 0 0 29 1 0 0 16 0 8 0 156218057 937705472 20156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19415/tid=19422] ppid=19413 vsize=915728 CPUtime=0
/proc/19415/task/19422/stat : 19422 (java) S 19413 19415 18431 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156218057 937705472 20156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19415/tid=19423] ppid=19413 vsize=915728 CPUtime=0
/proc/19415/task/19423/stat : 19423 (java) S 19413 19415 18431 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156218057 937705472 20156 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) 915728
[startup+6.17311 s]
/proc/loadavg: 0.93 1.20 1.55 2/72 19423
/proc/meminfo: memFree=1685120/2055920 swapFree=4192812/4192956
[pid=19415] ppid=19413 vsize=915728 CPUtime=6.15
/proc/19415/stat : 19415 (java) R 19413 19415 18431 0 -1 0 20436 0 1 0 573 42 0 0 17 0 8 0 156218050 937705472 20168 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074134179 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19415/statm: 228932 20168 2536 14 0 215402 0
[pid=19415/tid=19417] ppid=19413 vsize=915728 CPUtime=0.13
/proc/19415/task/19417/stat : 19417 (java) S 19413 19415 18431 0 -1 64 3298 0 0 0 13 0 0 0 16 0 8 0 156218054 937705472 20168 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19415/tid=19418] ppid=19413 vsize=915728 CPUtime=0
/proc/19415/task/19418/stat : 19418 (java) S 19413 19415 18431 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156218054 937705472 20168 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19415/tid=19419] ppid=19413 vsize=915728 CPUtime=0
/proc/19415/task/19419/stat : 19419 (java) S 19413 19415 18431 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156218054 937705472 20168 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19415/tid=19420] ppid=19413 vsize=915728 CPUtime=0
/proc/19415/task/19420/stat : 19420 (java) S 19413 19415 18431 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156218057 937705472 20168 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19415/tid=19421] ppid=19413 vsize=915728 CPUtime=0.32
/proc/19415/task/19421/stat : 19421 (java) S 19413 19415 18431 0 -1 64 519 0 0 0 31 1 0 0 16 0 8 0 156218057 937705472 20168 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19415/tid=19422] ppid=19413 vsize=915728 CPUtime=0
/proc/19415/task/19422/stat : 19422 (java) S 19413 19415 18431 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156218057 937705472 20168 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19415/tid=19423] ppid=19413 vsize=915728 CPUtime=0
/proc/19415/task/19423/stat : 19423 (java) S 19413 19415 18431 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156218057 937705472 20168 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915728
[startup+12.6317 s]
/proc/loadavg: 0.93 1.20 1.54 2/72 19423
/proc/meminfo: memFree=1685128/2055920 swapFree=4192812/4192956
[pid=19415] ppid=19413 vsize=915728 CPUtime=12.6
/proc/19415/stat : 19415 (java) R 19413 19415 18431 0 -1 0 20442 0 1 0 1218 42 0 0 20 0 8 0 156218050 937705472 20172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074094170 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19415/statm: 228932 20172 2536 14 0 215402 0
[pid=19415/tid=19417] ppid=19413 vsize=915728 CPUtime=0.13
/proc/19415/task/19417/stat : 19417 (java) S 19413 19415 18431 0 -1 64 3298 0 0 0 13 0 0 0 16 0 8 0 156218054 937705472 20172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19415/tid=19418] ppid=19413 vsize=915728 CPUtime=0
/proc/19415/task/19418/stat : 19418 (java) S 19413 19415 18431 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156218054 937705472 20172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19415/tid=19419] ppid=19413 vsize=915728 CPUtime=0
/proc/19415/task/19419/stat : 19419 (java) S 19413 19415 18431 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156218054 937705472 20172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19415/tid=19420] ppid=19413 vsize=915728 CPUtime=0
/proc/19415/task/19420/stat : 19420 (java) S 19413 19415 18431 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156218057 937705472 20172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19415/tid=19421] ppid=19413 vsize=915728 CPUtime=0.33
/proc/19415/task/19421/stat : 19421 (java) S 19413 19415 18431 0 -1 64 523 0 0 0 32 1 0 0 15 0 8 0 156218057 937705472 20172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19415/tid=19422] ppid=19413 vsize=915728 CPUtime=0
/proc/19415/task/19422/stat : 19422 (java) S 19413 19415 18431 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156218057 937705472 20172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19415/tid=19423] ppid=19413 vsize=915728 CPUtime=0
/proc/19415/task/19423/stat : 19423 (java) S 19413 19415 18431 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156218057 937705472 20172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915728
Child status: 0
Real time (s): 16.4218
CPU time (s): 16.3695
CPU user time (s): 15.9356
CPU system time (s): 0.433934
CPU usage (%): 99.6814
Max. virtual memory (cumulated for all children) (KiB): 915772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.9356
system time used= 0.433934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20453
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= 1554
involuntary context switches= 390
runsolver used 0.015997 s user time and 0.051992 s system time
The end
Begin job on node39 on Sat Jan 6 10:09:44 UTC 2007
IDJOB= 215302
IDBENCH= 4991
FILE ID= node39/215302-1168078184
PBS_JOBID= 3476007
Free space on /tmp= 66531 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-8c2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215302-1168078184/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-215302-1168078184 -o ROOT/results/node39/solver-215302-1168078184 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215302-1168078184/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 372fff50d3983a4739dedfc0db894158
RANDOM SEED= 448165110
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.236
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.236
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: 1756440 kB
Buffers: 25904 kB
Cached: 187276 kB
SwapCached: 0 kB
Active: 59704 kB
Inactive: 169240 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1756440 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2840 kB
Writeback: 0 kB
Mapped: 26024 kB
Slab: 56516 kB
Committed_AS: 2924644 kB
PageTables: 1416 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= 66531 MiB
End job on node39 on Sat Jan 6 10:10:01 UTC 2007