0.39
0.39 Abscon 109 (November, 2006)
0.39
0.39 configuration
0.39 name=esac.xml
0.43
0.43 instance
0.43 name=/tmp/evaluation/242523-1168381312/unknown.xml
0.45
0.45 domains being loaded...
0.46
0.46 variables being loaded...
0.49 nbVariables=72 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.49 => wckTime=0.09 cpuTime=0.07 mem=6M951
0.49
0.49 relations being loaded...
0.49
0.49 constraints being loaded...
0.59 nbConstraints=297 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=295
0.59 nbConflictsStructures=2 nbSharedConflictsStructures=295 nbSharedBinaryRepresentations=2 maxDegree=9 maxArity=8
0.59 => wckTime=0.189 cpuTime=0.13 mem=7M960
0.62
0.62 solver IterativeSystematicSolver being built...
0.79 => wckTime=0.394 cpuTime=0.28 mem=15M416
0.82
0.82 preprocessing
0.82 nbConstraintChecks=1085 nbPropagations=214 nbRevisions=704 nbUselessRevisions=650 nbSingletonTests=92
0.82 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
0.82 => wckTime=0.028 cpuTime=0.01 mem=15M416
0.85
0.85 search
0.85 run=0 nbConstraintChecks=682 nbValidityChecks=3 nbPropagations=307 nbRevisions=1158 nbUselessRevisions=1034
0.85 nbAssignments=65 nbFailedAssignments=2 nbBacktracks=13 nbVisitedNodes=70 nbRestartNogoods=0 mapSize=3
0.85 nbInferences=0 nbTooLargeKeys=0
0.85 => wckTime=0.056 cpuTime=0.03 mem=15M416
0.86
0.86 search
0.86 run=1 nbConstraintChecks=1429 nbValidityChecks=40 nbPropagations=723 nbRevisions=2813 nbUselessRevisions=2479
0.86 nbAssignments=133 nbFailedAssignments=5 nbBacktracks=32 nbVisitedNodes=144 nbRestartNogoods=1 mapSize=8
0.86 nbInferences=0 nbTooLargeKeys=0
0.86 => wckTime=0.065 cpuTime=0.03 mem=15M416
0.87
0.87 search
0.87 run=2 nbConstraintChecks=2356 nbValidityChecks=97 nbPropagations=1296 nbRevisions=5092 nbUselessRevisions=4408
0.87 nbAssignments=214 nbFailedAssignments=9 nbBacktracks=60 nbVisitedNodes=236 nbRestartNogoods=2 mapSize=17
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.075 cpuTime=0.04 mem=15M416
0.88
0.88 search
0.88 run=3 nbConstraintChecks=3354 nbValidityChecks=159 nbPropagations=2043 nbRevisions=8073
0.88 nbUselessRevisions=6877 nbAssignments=298 nbFailedAssignments=14 nbBacktracks=94 nbVisitedNodes=333
0.88 nbRestartNogoods=4 mapSize=29 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.085 cpuTime=0.05 mem=15M416
0.89
0.89 search
0.89 run=4 nbConstraintChecks=4677 nbValidityChecks=275 nbPropagations=3048 nbRevisions=11967
0.89 nbUselessRevisions=10013 nbAssignments=404 nbFailedAssignments=20 nbBacktracks=148 nbVisitedNodes=458
0.89 nbRestartNogoods=5 mapSize=46 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.1 cpuTime=0.06 mem=15M416
0.91
0.91 search
0.91 run=5 nbConstraintChecks=6269 nbValidityChecks=414 nbPropagations=4375 nbRevisions=16993
0.91 nbUselessRevisions=13960 nbAssignments=541 nbFailedAssignments=29 nbBacktracks=230 nbVisitedNodes=622
0.91 nbRestartNogoods=7 mapSize=71 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.121 cpuTime=0.07 mem=15M416
0.93
0.93 search
0.93 run=6 nbConstraintChecks=8637 nbValidityChecks=649 nbPropagations=6205 nbRevisions=23741
0.93 nbUselessRevisions=19110 nbAssignments=722 nbFailedAssignments=43 nbBacktracks=351 nbVisitedNodes=844
0.93 nbRestartNogoods=9 mapSize=110 nbInferences=3 nbTooLargeKeys=0
0.93 => wckTime=0.143 cpuTime=0.09 mem=15M416
0.96
0.96 search
0.96 run=7 nbConstraintChecks=11855 nbValidityChecks=1014 nbPropagations=8734 nbRevisions=32935
0.96 nbUselessRevisions=25979 nbAssignments=965 nbFailedAssignments=67 nbBacktracks=525 nbVisitedNodes=1147
0.96 nbRestartNogoods=11 mapSize=168 nbInferences=4 nbTooLargeKeys=0
0.96 => wckTime=0.165 cpuTime=0.11 mem=15M416
0.99
0.99 search
0.99 run=8 nbConstraintChecks=18175 nbValidityChecks=1751 nbPropagations=12647 nbRevisions=47125
0.99 nbUselessRevisions=36352 nbAssignments=1308 nbFailedAssignments=98 nbBacktracks=790 nbVisitedNodes=1588
0.99 nbRestartNogoods=13 mapSize=264 nbInferences=11 nbTooLargeKeys=0
0.99 => wckTime=0.198 cpuTime=0.14 mem=15M416
1.04
1.04 search
1.04 run=9 nbConstraintChecks=26476 nbValidityChecks=2639 nbPropagations=18306 nbRevisions=67851
1.04 nbUselessRevisions=51354 nbAssignments=1783 nbFailedAssignments=138 nbBacktracks=1176 nbVisitedNodes=2195
1.04 nbRestartNogoods=15 mapSize=394 nbInferences=17 nbTooLargeKeys=0
1.04 => wckTime=0.251 cpuTime=0.18 mem=15M416
1.10
1.10 search
1.10 run=10 nbConstraintChecks=41059 nbValidityChecks=4257 nbPropagations=27343 nbRevisions=100057
1.10 nbUselessRevisions=74129 nbAssignments=2465 nbFailedAssignments=200 nbBacktracks=1752 nbVisitedNodes=3093
1.10 nbRestartNogoods=17 mapSize=607 nbInferences=22 nbTooLargeKeys=0
1.10 => wckTime=0.304 cpuTime=0.22 mem=15M416
1.15
1.15 search
1.15 run=11 nbConstraintChecks=56852 nbValidityChecks=5952 nbPropagations=40020 nbRevisions=144494
1.15 nbUselessRevisions=105087 nbAssignments=3476 nbFailedAssignments=299 nbBacktracks=2616 nbVisitedNodes=4377
1.15 nbRestartNogoods=20 mapSize=876 nbInferences=26 nbTooLargeKeys=0
1.15 => wckTime=0.361 cpuTime=0.27 mem=15M416
1.23
1.23 search
1.23 run=12 nbConstraintChecks=88549 nbValidityChecks=8928 nbPropagations=59363 nbRevisions=214036
1.23 nbUselessRevisions=153561 nbAssignments=4975 nbFailedAssignments=441 nbBacktracks=3918 nbVisitedNodes=6317
1.23 nbRestartNogoods=24 mapSize=1314 nbInferences=34 nbTooLargeKeys=0
1.23 => wckTime=0.438 cpuTime=0.35 mem=16M391
1.35
1.35 search
1.35 run=13 nbConstraintChecks=129783 nbValidityChecks=12894 nbPropagations=87296 nbRevisions=316312
1.35 nbUselessRevisions=225103 nbAssignments=7196 nbFailedAssignments=646 nbBacktracks=5873 nbVisitedNodes=9185
1.35 nbRestartNogoods=27 mapSize=1958 nbInferences=50 nbTooLargeKeys=0
1.35 => wckTime=0.555 cpuTime=0.46 mem=16M391
1.51
1.51 search
1.51 run=14 nbConstraintChecks=191672 nbValidityChecks=18663 nbPropagations=127675 nbRevisions=467875
1.51 nbUselessRevisions=331738 nbAssignments=10491 nbFailedAssignments=937 nbBacktracks=8792 nbVisitedNodes=13431
1.51 nbRestartNogoods=30 mapSize=2906 nbInferences=91 nbTooLargeKeys=0
1.51 => wckTime=0.722 cpuTime=0.62 mem=16M391
1.76
1.76 search
1.76 run=15 nbConstraintChecks=294086 nbValidityChecks=27999 nbPropagations=188661 nbRevisions=701992
1.76 nbUselessRevisions=497680 nbAssignments=15435 nbFailedAssignments=1345 nbBacktracks=13172 nbVisitedNodes=19752
1.76 nbRestartNogoods=33 mapSize=4280 nbInferences=203 nbTooLargeKeys=0
1.76 => wckTime=0.971 cpuTime=0.87 mem=17M366
2.14
2.14 search
2.14 run=16 nbConstraintChecks=447239 nbValidityChecks=44556 nbPropagations=283796 nbRevisions=1057632
2.14 nbUselessRevisions=746237 nbAssignments=22766 nbFailedAssignments=1959 nbBacktracks=19743 nbVisitedNodes=29324
2.14 nbRestartNogoods=36 mapSize=6517 nbInferences=304 nbTooLargeKeys=0
2.14 => wckTime=1.346 cpuTime=1.24 mem=18M341
2.70
2.70 search
2.70 run=17 nbConstraintChecks=676866 nbValidityChecks=68105 nbPropagations=427542 nbRevisions=1596178
2.70 nbUselessRevisions=1121647 nbAssignments=33746 nbFailedAssignments=2909 nbBacktracks=29601 nbVisitedNodes=43749
2.70 nbRestartNogoods=40 mapSize=9958 nbInferences=428 nbTooLargeKeys=0
2.70 => wckTime=1.905 cpuTime=1.79 mem=19M316
3.53
3.53 search
3.53 run=18 nbConstraintChecks=1017463 nbValidityChecks=102069 nbPropagations=641730 nbRevisions=2407599
3.53 nbUselessRevisions=1689459 nbAssignments=50196 nbFailedAssignments=4191 nbBacktracks=44385 nbVisitedNodes=65006
3.53 nbRestartNogoods=44 mapSize=14761 nbInferences=766 nbTooLargeKeys=0
3.53 => wckTime=2.741 cpuTime=2.63 mem=20M423
4.81
4.81 search
4.81 run=19 nbConstraintChecks=1545250 nbValidityChecks=152529 nbPropagations=963188 nbRevisions=3642331
4.81 nbUselessRevisions=2557852 nbAssignments=74867 nbFailedAssignments=6082 nbBacktracks=66563 nbVisitedNodes=96784
4.81 nbRestartNogoods=48 mapSize=21864 nbInferences=1325 nbTooLargeKeys=0
4.81 => wckTime=4.016 cpuTime=3.87 mem=23M348
6.68
6.68 search
6.68 run=20 nbConstraintChecks=2401240 nbValidityChecks=231352 nbPropagations=1448424 nbRevisions=5569594
6.68 nbUselessRevisions=3929006 nbAssignments=111734 nbFailedAssignments=9050 nbBacktracks=99828
6.68 nbVisitedNodes=144763 nbRestartNogoods=52 mapSize=32973 nbInferences=1921 nbTooLargeKeys=0
6.68 => wckTime=5.889 cpuTime=5.74 mem=27M249
9.40
9.40 search
9.40 run=21 nbConstraintChecks=3736099 nbValidityChecks=347759 nbPropagations=2177732 nbRevisions=8583392
9.40 nbUselessRevisions=6100942 nbAssignments=167016 nbFailedAssignments=13692 nbBacktracks=149717
9.40 nbVisitedNodes=216209 nbRestartNogoods=55 mapSize=49133 nbInferences=2633 nbTooLargeKeys=0
9.40 => wckTime=8.61 cpuTime=8.44 mem=33M100
13.43
13.44 search
13.44 run=22 nbConstraintChecks=5845165 nbValidityChecks=522114 nbPropagations=3273199 nbRevisions=13319710
13.44 nbUselessRevisions=9560128 nbAssignments=249338 nbFailedAssignments=20337 nbBacktracks=224535
13.44 nbVisitedNodes=322865 nbRestartNogoods=59 mapSize=73464 nbInferences=3468 nbTooLargeKeys=0
13.44 => wckTime=12.637 cpuTime=12.45 mem=42M401
19.41
19.41 search
19.41 run=23 nbConstraintChecks=9043162 nbValidityChecks=768607 nbPropagations=4894665 nbRevisions=20684226
19.41 nbUselessRevisions=15021488 nbAssignments=372610 nbFailedAssignments=30241 nbBacktracks=336765
19.41 nbVisitedNodes=481007 nbRestartNogoods=62 mapSize=108329 nbInferences=4564 nbTooLargeKeys=0
19.41 => wckTime=18.619 cpuTime=18.29 mem=22M808
24.08
24.08 search
24.08 run=24 nbConstraintChecks=11792591 nbValidityChecks=958385 nbPropagations=6934177 nbRevisions=30327610
24.08 nbUselessRevisions=22262129 nbAssignments=472274 nbFailedAssignments=37887 nbBacktracks=428267
24.08 nbVisitedNodes=607197 nbRestartNogoods=67 mapSize=134853 nbInferences=5081 nbTooLargeKeys=0
24.08 => wckTime=23.289 cpuTime=22.94 mem=33M749
24.08
24.08 global
24.08 nbConstraintChecks=11793676 nbValidityChecks=958385 nbPropagations=6934391 nbRevisions=30328314
24.08 nbUselessRevisions=22262779 nbRestartNogoods=67 solvingWckTime=23.29 solvingCpuTime=22.94 expiredTime=no
24.08 totalExploration=yes nbFoundSolutions=0 globalCpuTime=23.28
24.08 => wckTime=23.686 cpuTime=23.22 mem=33M749
24.08
24.08 s UNSATISFIABLE
24.08 d NODES 472274
24.08 d CHECKS 11793676
24.08
24.08 totalWckTime=23.761 totalCpuTime=23.28
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-242523-1168381312 -o ROOT/results/node18/solver-242523-1168381312 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242523-1168381312/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.80 1.13 1.49 4/83 31753
/proc/meminfo: memFree=1737528/2055920 swapFree=4192812/4192956
[pid=31752] ppid=31747 vsize=1784 CPUtime=0
/proc/31752/stat : 31752 (java) D 31747 31752 31202 0 -1 0 346 0 0 0 0 0 0 0 18 0 1 0 186526016 1826816 140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/31752/statm: 446 140 106 14 0 91 0
[startup+0.103099 s]
/proc/loadavg: 0.80 1.13 1.49 4/83 31753
/proc/meminfo: memFree=1737528/2055920 swapFree=4192812/4192956
[pid=31752] ppid=31747 vsize=89776 CPUtime=0
/proc/31752/stat : 31752 (java) D 31747 31752 31202 0 -1 0 1273 0 1 0 0 0 0 0 18 0 1 0 186526016 91930624 1022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 0 0 0
/proc/31752/statm: 22444 1022 811 14 0 10027 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 89776
[startup+0.511142 s]
/proc/loadavg: 0.80 1.13 1.49 4/83 31753
/proc/meminfo: memFree=1737528/2055920 swapFree=4192812/4192956
[pid=31752] ppid=31747 vsize=915328 CPUtime=0.39
/proc/31752/stat : 31752 (java) R 31747 31752 31202 0 -1 0 6066 0 1 0 34 5 0 0 18 0 8 0 186526016 937295872 5805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31752/statm: 228832 5805 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 915328
[startup+1.33422 s]
/proc/loadavg: 0.80 1.13 1.49 3/101 31772
/proc/meminfo: memFree=1705320/2055920 swapFree=4192812/4192956
[pid=31752] ppid=31747 vsize=915460 CPUtime=1.19
/proc/31752/stat : 31752 (java) R 31747 31752 31202 0 -1 0 8933 0 1 0 112 7 0 0 24 0 8 0 186526016 937431040 8671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073737865 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31752/statm: 228865 8671 2526 14 0 215335 0
[pid=31752/tid=31759] ppid=31747 vsize=915460 CPUtime=0.02
/proc/31752/task/31759/stat : 31759 (java) S 31747 31752 31202 0 -1 64 157 0 0 0 2 0 0 0 17 0 8 0 186526029 937431040 8671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31752/tid=31760] ppid=31747 vsize=915460 CPUtime=0
/proc/31752/task/31760/stat : 31760 (java) S 31747 31752 31202 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186526030 937431040 8671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31752/tid=31761] ppid=31747 vsize=915460 CPUtime=0
/proc/31752/task/31761/stat : 31761 (java) S 31747 31752 31202 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186526030 937431040 8671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31752/tid=31762] ppid=31747 vsize=915460 CPUtime=0
/proc/31752/task/31762/stat : 31762 (java) S 31747 31752 31202 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 186526033 937431040 8671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31752/tid=31763] ppid=31747 vsize=915460 CPUtime=0.2
/proc/31752/task/31763/stat : 31763 (java) S 31747 31752 31202 0 -1 64 377 0 0 0 19 1 0 0 16 0 8 0 186526033 937431040 8671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31752/tid=31764] ppid=31747 vsize=915460 CPUtime=0
/proc/31752/task/31764/stat : 31764 (java) S 31747 31752 31202 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 186526033 937431040 8671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31752/tid=31765] ppid=31747 vsize=915460 CPUtime=0
/proc/31752/task/31765/stat : 31765 (java) S 31747 31752 31202 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 186526033 937431040 8671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 915460
[startup+2.98738 s]
/proc/loadavg: 0.89 1.15 1.50 3/101 31772
/proc/meminfo: memFree=1702696/2055920 swapFree=4192812/4192956
[pid=31752] ppid=31747 vsize=915460 CPUtime=2.84
/proc/31752/stat : 31752 (java) R 31747 31752 31202 0 -1 0 9745 0 1 0 276 8 0 0 25 0 8 0 186526016 937431040 9482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758096 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31752/statm: 228865 9482 2526 14 0 215335 0
[pid=31752/tid=31759] ppid=31747 vsize=915460 CPUtime=0.02
/proc/31752/task/31759/stat : 31759 (java) S 31747 31752 31202 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 186526029 937431040 9482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31752/tid=31760] ppid=31747 vsize=915460 CPUtime=0
/proc/31752/task/31760/stat : 31760 (java) S 31747 31752 31202 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186526030 937431040 9482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31752/tid=31761] ppid=31747 vsize=915460 CPUtime=0
/proc/31752/task/31761/stat : 31761 (java) S 31747 31752 31202 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186526030 937431040 9482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31752/tid=31762] ppid=31747 vsize=915460 CPUtime=0
/proc/31752/task/31762/stat : 31762 (java) S 31747 31752 31202 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 186526033 937431040 9483 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31752/tid=31763] ppid=31747 vsize=915460 CPUtime=0.2
/proc/31752/task/31763/stat : 31763 (java) S 31747 31752 31202 0 -1 64 379 0 0 0 19 1 0 0 15 0 8 0 186526033 937431040 9483 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31752/tid=31764] ppid=31747 vsize=915460 CPUtime=0
/proc/31752/task/31764/stat : 31764 (java) S 31747 31752 31202 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 186526033 937431040 9483 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31752/tid=31765] ppid=31747 vsize=915460 CPUtime=0
/proc/31752/task/31765/stat : 31765 (java) S 31747 31752 31202 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 186526033 937431040 9483 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 915460
[startup+6.27969 s]
/proc/loadavg: 0.89 1.15 1.50 3/101 31772
/proc/meminfo: memFree=1695656/2055920 swapFree=4192812/4192956
[pid=31752] ppid=31747 vsize=915460 CPUtime=6.1
/proc/31752/stat : 31752 (java) R 31747 31752 31202 0 -1 0 11446 0 1 0 601 9 0 0 25 0 8 0 186526016 937431040 11183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073746212 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31752/statm: 228865 11184 2526 14 0 215335 0
[pid=31752/tid=31759] ppid=31747 vsize=915460 CPUtime=0.02
/proc/31752/task/31759/stat : 31759 (java) S 31747 31752 31202 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 186526029 937431040 11184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31752/tid=31760] ppid=31747 vsize=915460 CPUtime=0
/proc/31752/task/31760/stat : 31760 (java) S 31747 31752 31202 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186526030 937431040 11184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31752/tid=31761] ppid=31747 vsize=915460 CPUtime=0
/proc/31752/task/31761/stat : 31761 (java) S 31747 31752 31202 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186526030 937431040 11184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31752/tid=31762] ppid=31747 vsize=915460 CPUtime=0
/proc/31752/task/31762/stat : 31762 (java) S 31747 31752 31202 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 186526033 937431040 11184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31752/tid=31763] ppid=31747 vsize=915460 CPUtime=0.2
/proc/31752/task/31763/stat : 31763 (java) S 31747 31752 31202 0 -1 64 379 0 0 0 19 1 0 0 16 0 8 0 186526033 937431040 11184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31752/tid=31764] ppid=31747 vsize=915460 CPUtime=0
/proc/31752/task/31764/stat : 31764 (java) S 31747 31752 31202 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 186526033 937431040 11184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31752/tid=31765] ppid=31747 vsize=915460 CPUtime=0
/proc/31752/task/31765/stat : 31765 (java) S 31747 31752 31202 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 186526033 937431040 11184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915460
[startup+12.7703 s]
/proc/loadavg: 1.06 1.17 1.50 3/101 31772
/proc/meminfo: memFree=1681128/2055920 swapFree=4192812/4192956
[pid=31752] ppid=31747 vsize=915460 CPUtime=12.55
/proc/31752/stat : 31752 (java) R 31747 31752 31202 0 -1 0 14973 0 1 0 1245 10 0 0 25 0 8 0 186526016 937431040 14709 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741079 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31752/statm: 228865 14709 2526 14 0 215335 0
[pid=31752/tid=31759] ppid=31747 vsize=915460 CPUtime=0.02
/proc/31752/task/31759/stat : 31759 (java) S 31747 31752 31202 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 186526029 937431040 14709 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31752/tid=31760] ppid=31747 vsize=915460 CPUtime=0
/proc/31752/task/31760/stat : 31760 (java) S 31747 31752 31202 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186526030 937431040 14709 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31752/tid=31761] ppid=31747 vsize=915460 CPUtime=0
/proc/31752/task/31761/stat : 31761 (java) S 31747 31752 31202 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186526030 937431040 14709 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31752/tid=31762] ppid=31747 vsize=915460 CPUtime=0
/proc/31752/task/31762/stat : 31762 (java) S 31747 31752 31202 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 186526033 937431040 14709 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31752/tid=31763] ppid=31747 vsize=915460 CPUtime=0.2
/proc/31752/task/31763/stat : 31763 (java) S 31747 31752 31202 0 -1 64 380 0 0 0 19 1 0 0 16 0 8 0 186526033 937431040 14709 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31752/tid=31764] ppid=31747 vsize=915460 CPUtime=0
/proc/31752/task/31764/stat : 31764 (java) S 31747 31752 31202 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 186526033 937431040 14709 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31752/tid=31765] ppid=31747 vsize=915460 CPUtime=0
/proc/31752/task/31765/stat : 31765 (java) S 31747 31752 31202 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 186526033 937431040 14709 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 24.145
CPU time (s): 23.8374
CPU user time (s): 23.6954
CPU system time (s): 0.141978
CPU usage (%): 98.7258
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.6954
system time used= 0.141978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20391
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= 1583
involuntary context switches= 1765
runsolver used 0.045993 s user time and 0.076988 s system time
The end
Begin job on node18 on Tue Jan 9 22:21:53 UTC 2007
IDJOB= 242523
IDBENCH= 7398
FILE ID= node18/242523-1168381312
PBS_JOBID= 3522390
Free space on /tmp= 66552 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/varDimacs/hole-08_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242523-1168381312/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-242523-1168381312 -o ROOT/results/node18/solver-242523-1168381312 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242523-1168381312/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1255cb5b8be51a9a5f93c76e889831f7
RANDOM SEED= 995710406
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: 1737800 kB
Buffers: 49384 kB
Cached: 154412 kB
SwapCached: 0 kB
Active: 185876 kB
Inactive: 78396 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1737800 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2400 kB
Writeback: 0 kB
Mapped: 79464 kB
Slab: 38860 kB
Committed_AS: 5961168 kB
PageTables: 2048 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= 66552 MiB
End job on node18 on Tue Jan 9 22:22:18 UTC 2007