0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/241946-1168375929/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=150 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.42 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.42
0.42 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.147 cpuTime=0.12 mem=7M927
0.50
0.50 solver IterativeSystematicSolver being built...
0.68 => wckTime=0.362 cpuTime=0.28 mem=15M334
0.73
0.73 preprocessing
0.73 nbConstraintChecks=488 nbValidityChecks=1604 nbPropagations=621 nbRevisions=829 nbUselessRevisions=650
0.73 nbSingletonTests=296 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
0.73 => wckTime=0.048 cpuTime=0.03 mem=15M334
0.76
0.76 search
0.77 run=0 nbConstraintChecks=147 nbValidityChecks=816 nbPropagations=799 nbRevisions=1191 nbUselessRevisions=894
0.77 nbAssignments=122 nbFailedAssignments=2 nbBacktracks=10 nbVisitedNodes=128 nbRestartNogoods=0 mapSize=3
0.77 nbInferences=1 nbTooLargeKeys=0
0.77 => wckTime=0.084 cpuTime=0.05 mem=16M326
0.77
0.77 search
0.77 run=1 nbConstraintChecks=278 nbValidityChecks=1347 nbPropagations=1695 nbRevisions=2609
0.77 nbUselessRevisions=1937 nbAssignments=173 nbFailedAssignments=11 nbBacktracks=26 nbVisitedNodes=197
0.77 nbRestartNogoods=2 mapSize=13 nbInferences=1 nbTooLargeKeys=0
0.77 => wckTime=0.092 cpuTime=0.06 mem=16M326
0.79
0.79 search
0.79 run=2 nbConstraintChecks=496 nbValidityChecks=2122 nbPropagations=2748 nbRevisions=4356
0.79 nbUselessRevisions=3198 nbAssignments=271 nbFailedAssignments=16 nbBacktracks=49 nbVisitedNodes=308
0.79 nbRestartNogoods=3 mapSize=25 nbInferences=4 nbTooLargeKeys=0
0.79 => wckTime=0.109 cpuTime=0.06 mem=16M326
0.81
0.81 search
0.81 run=3 nbConstraintChecks=776 nbValidityChecks=3277 nbPropagations=4058 nbRevisions=6601
0.81 nbUselessRevisions=4760 nbAssignments=410 nbFailedAssignments=25 nbBacktracks=82 nbVisitedNodes=468
0.81 nbRestartNogoods=4 mapSize=44 nbInferences=8 nbTooLargeKeys=0
0.81 => wckTime=0.125 cpuTime=0.08 mem=16M326
0.83
0.83 search
0.83 run=4 nbConstraintChecks=1136 nbValidityChecks=4535 nbPropagations=5635 nbRevisions=9381
0.83 nbUselessRevisions=6639 nbAssignments=543 nbFailedAssignments=38 nbBacktracks=133 nbVisitedNodes=633
0.83 nbRestartNogoods=6 mapSize=72 nbInferences=14 nbTooLargeKeys=0
0.83 => wckTime=0.144 cpuTime=0.09 mem=16M326
0.84
0.84 search
0.84 run=5 nbConstraintChecks=1651 nbValidityChecks=6110 nbPropagations=7548 nbRevisions=12825
0.84 nbUselessRevisions=8890 nbAssignments=700 nbFailedAssignments=58 nbBacktracks=212 nbVisitedNodes=836
0.84 nbRestartNogoods=9 mapSize=115 nbInferences=20 nbTooLargeKeys=0
0.84 => wckTime=0.159 cpuTime=0.11 mem=16M326
0.86
0.86 search
0.86 run=6 nbConstraintChecks=2474 nbValidityChecks=8607 nbPropagations=10023 nbRevisions=17325
0.86 nbUselessRevisions=11734 nbAssignments=948 nbFailedAssignments=77 nbBacktracks=326 nbVisitedNodes=1149
0.86 nbRestartNogoods=10 mapSize=174 nbInferences=47 nbTooLargeKeys=0
0.86 => wckTime=0.18 cpuTime=0.13 mem=16M326
0.89
0.89 search
0.89 run=7 nbConstraintChecks=3477 nbValidityChecks=11567 nbPropagations=13177 nbRevisions=23110
0.89 nbUselessRevisions=15296 nbAssignments=1270 nbFailedAssignments=102 nbBacktracks=500 nbVisitedNodes=1551
0.89 nbRestartNogoods=14 mapSize=250 nbInferences=78 nbTooLargeKeys=0
0.89 => wckTime=0.211 cpuTime=0.15 mem=16M326
0.94
0.94 search
0.94 run=8 nbConstraintChecks=4938 nbValidityChecks=15879 nbPropagations=17335 nbRevisions=30758
0.94 nbUselessRevisions=19914 nbAssignments=1708 nbFailedAssignments=126 nbBacktracks=756 nbVisitedNodes=2111
0.94 nbRestartNogoods=17 mapSize=368 nbInferences=152 nbTooLargeKeys=0
0.94 => wckTime=0.255 cpuTime=0.18 mem=16M326
0.98
0.98 search
0.98 run=9 nbConstraintChecks=7088 nbValidityChecks=22186 nbPropagations=22952 nbRevisions=41108
0.98 nbUselessRevisions=26029 nbAssignments=2316 nbFailedAssignments=164 nbBacktracks=1141 nbVisitedNodes=2898
0.98 nbRestartNogoods=19 mapSize=539 nbInferences=255 nbTooLargeKeys=0
0.98 => wckTime=0.303 cpuTime=0.22 mem=16M326
1.05
1.05 search
1.05 run=10 nbConstraintChecks=11692 nbValidityChecks=35229 nbPropagations=31569 nbRevisions=57156
1.05 nbUselessRevisions=35566 nbAssignments=3281 nbFailedAssignments=166 nbBacktracks=1717 nbVisitedNodes=4195
1.05 nbRestartNogoods=23 mapSize=866 nbInferences=583 nbTooLargeKeys=0
1.05 => wckTime=0.374 cpuTime=0.29 mem=16M326
1.14
1.14 search
1.14 run=11 nbConstraintChecks=18128 nbValidityChecks=53043 nbPropagations=44271 nbRevisions=80949
1.14 nbUselessRevisions=49604 nbAssignments=4647 nbFailedAssignments=212 nbBacktracks=2581 nbVisitedNodes=6045
1.14 nbRestartNogoods=28 mapSize=1337 nbInferences=975 nbTooLargeKeys=0
1.14 => wckTime=0.458 cpuTime=0.37 mem=16M326
1.26
1.26 search
1.26 run=12 nbConstraintChecks=26121 nbValidityChecks=75235 nbPropagations=62042 nbRevisions=114396
1.26 nbUselessRevisions=69234 nbAssignments=6584 nbFailedAssignments=283 nbBacktracks=3879 nbVisitedNodes=8602
1.26 nbRestartNogoods=32 mapSize=1953 nbInferences=1453 nbTooLargeKeys=0
1.26 => wckTime=0.576 cpuTime=0.49 mem=16M326
1.43
1.43 search
1.43 run=13 nbConstraintChecks=37992 nbValidityChecks=107958 nbPropagations=87218 nbRevisions=161733
1.43 nbUselessRevisions=96949 nbAssignments=9435 nbFailedAssignments=353 nbBacktracks=5825 nbVisitedNodes=12360
1.43 nbRestartNogoods=36 mapSize=2855 nbInferences=2227 nbTooLargeKeys=0
1.43 => wckTime=0.744 cpuTime=0.66 mem=17M301
1.66
1.66 search
1.66 run=14 nbConstraintChecks=54401 nbValidityChecks=152500 nbPropagations=122412 nbRevisions=228193
1.66 nbUselessRevisions=136020 nbAssignments=13594 nbFailedAssignments=452 nbBacktracks=8745 nbVisitedNodes=17807
1.66 nbRestartNogoods=41 mapSize=4140 nbInferences=3329 nbTooLargeKeys=0
1.66 => wckTime=0.98 cpuTime=0.9 mem=17M301
2.00
2.00 search
2.00 run=15 nbConstraintChecks=79991 nbValidityChecks=219365 nbPropagations=172259 nbRevisions=322315
2.00 nbUselessRevisions=191756 nbAssignments=19845 nbFailedAssignments=472 nbBacktracks=13125 nbVisitedNodes=25903
2.00 nbRestartNogoods=44 mapSize=5982 nbInferences=5141 nbTooLargeKeys=0
2.00 => wckTime=1.323 cpuTime=1.24 mem=17M301
2.52
2.52 search
2.52 run=16 nbConstraintChecks=122036 nbValidityChecks=323905 nbPropagations=243795 nbRevisions=458824
2.52 nbUselessRevisions=274165 nbAssignments=29425 nbFailedAssignments=475 nbBacktracks=19695 nbVisitedNodes=38467
2.52 nbRestartNogoods=47 mapSize=8960 nbInferences=8119 nbTooLargeKeys=0
2.52 => wckTime=1.842 cpuTime=1.76 mem=18M276
3.30
3.30 search
3.30 run=17 nbConstraintChecks=185053 nbValidityChecks=482042 nbPropagations=348657 nbRevisions=659657
3.30 nbUselessRevisions=396448 nbAssignments=43737 nbFailedAssignments=476 nbBacktracks=29547 nbVisitedNodes=57207
3.30 nbRestartNogoods=52 mapSize=13383 nbInferences=12546 nbTooLargeKeys=0
3.30 => wckTime=2.621 cpuTime=2.54 mem=19M251
4.48
4.48 search
4.48 run=18 nbConstraintChecks=280785 nbValidityChecks=724392 nbPropagations=505227 nbRevisions=959253
4.48 nbUselessRevisions=579276 nbAssignments=65294 nbFailedAssignments=476 nbBacktracks=44325 nbVisitedNodes=85495
4.48 nbRestartNogoods=57 mapSize=20108 nbInferences=19277 nbTooLargeKeys=0
4.48 => wckTime=3.796 cpuTime=3.72 mem=20M227
6.20
6.20 search
6.20 run=19 nbConstraintChecks=418550 nbValidityChecks=1067288 nbPropagations=732367 nbRevisions=1397867
6.20 nbUselessRevisions=850430 nbAssignments=97435 nbFailedAssignments=476 nbBacktracks=66495 nbVisitedNodes=127562
6.20 nbRestartNogoods=63 mapSize=30026 nbInferences=29203 nbTooLargeKeys=0
6.20 => wckTime=5.523 cpuTime=5.44 mem=23M414
8.79
8.79 search
8.79 run=20 nbConstraintChecks=621515 nbValidityChecks=1576824 nbPropagations=1065225 nbRevisions=2043706
8.79 nbUselessRevisions=1252566 nbAssignments=145460 nbFailedAssignments=476 nbBacktracks=99755
8.79 nbVisitedNodes=190310 nbRestartNogoods=71 mapSize=44743 nbInferences=43926 nbTooLargeKeys=0
8.79 => wckTime=8.113 cpuTime=8.03 mem=26M340
12.67
12.67 search
12.67 run=21 nbConstraintChecks=924886 nbValidityChecks=2334453 nbPropagations=1555052 nbRevisions=2996444
12.67 nbUselessRevisions=1848357 nbAssignments=217223 nbFailedAssignments=476 nbBacktracks=149634
12.67 nbVisitedNodes=283924 nbRestartNogoods=77 mapSize=66589 nbInferences=65777 nbTooLargeKeys=0
12.67 => wckTime=11.991 cpuTime=11.91 mem=31M216
13.28
13.28 search
13.28 run=22 nbConstraintChecks=974928 nbValidityChecks=2458449 nbPropagations=2070312 nbRevisions=3999461
13.28 nbUselessRevisions=2476206 nbAssignments=228595 nbFailedAssignments=476 nbBacktracks=157403
13.28 nbVisitedNodes=298899 nbRestartNogoods=82 mapSize=70191 nbInferences=69381 nbTooLargeKeys=0
13.28 => wckTime=12.603 cpuTime=12.52 mem=32M191
13.29
13.29 global
13.29 nbConstraintChecks=975416 nbValidityChecks=2460053 nbPropagations=2070933 nbRevisions=4000290
13.29 nbUselessRevisions=2476856 nbRestartNogoods=82 solvingWckTime=12.604 solvingCpuTime=12.52 expiredTime=no
13.29 totalExploration=yes nbFoundSolutions=0 globalCpuTime=12.85
13.29 => wckTime=12.968 cpuTime=12.8 mem=32M191
13.29
13.29 s UNSATISFIABLE
13.29 d NODES 228595
13.29 d CHECKS 975416
13.29
13.29 totalWckTime=13.043 totalCpuTime=12.85
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-241946-1168375929 -o ROOT/results/node4/solver-241946-1168375929 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/241946-1168375929/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.98 0.56 0.37 3/78 27015
/proc/meminfo: memFree=1785960/2055920 swapFree=4182144/4192956
[pid=27014] ppid=27012 vsize=1784 CPUtime=0
/proc/27014/stat : 27014 (java) R 27012 27014 26001 0 -1 0 136 0 0 0 0 0 0 0 19 0 1 0 185988475 1826816 108 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 134552944 0 0 4096 0 0 0 0 17 1 0 0
/proc/27014/statm: 446 116 86 14 0 91 0
[startup+0.106858 s]
/proc/loadavg: 0.98 0.56 0.37 3/78 27015
/proc/meminfo: memFree=1785960/2055920 swapFree=4182144/4192956
[pid=27014] ppid=27012 vsize=912908 CPUtime=0.08
/proc/27014/stat : 27014 (java) R 27012 27014 26001 0 -1 0 2823 0 1 0 6 2 0 0 23 0 8 0 185988475 934817792 2569 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27014/statm: 228227 2569 1390 14 0 215128 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 912908
[startup+0.514894 s]
/proc/loadavg: 0.98 0.56 0.37 3/78 27015
/proc/meminfo: memFree=1785960/2055920 swapFree=4182144/4192956
[pid=27014] ppid=27012 vsize=915464 CPUtime=0.48
/proc/27014/stat : 27014 (java) R 27012 27014 26001 0 -1 0 6651 0 1 0 44 4 0 0 16 0 8 0 185988475 937435136 6389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152150589 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27014/statm: 228866 6389 2363 14 0 215336 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915464
[startup+1.33597 s]
/proc/loadavg: 0.98 0.57 0.37 2/85 27022
/proc/meminfo: memFree=1760816/2055920 swapFree=4182144/4192956
[pid=27014] ppid=27012 vsize=915464 CPUtime=1.3
/proc/27014/stat : 27014 (java) R 27012 27014 26001 0 -1 0 9055 0 1 0 124 6 0 0 17 0 8 0 185988475 937435136 8793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073698679 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27014/statm: 228866 8793 2527 14 0 215336 0
[pid=27014/tid=27016] ppid=27012 vsize=915464 CPUtime=0.02
/proc/27014/task/27016/stat : 27016 (java) S 27012 27014 26001 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 185988481 937435136 8793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27014/tid=27017] ppid=27012 vsize=915464 CPUtime=0
/proc/27014/task/27017/stat : 27017 (java) S 27012 27014 26001 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185988481 937435136 8793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27014/tid=27018] ppid=27012 vsize=915464 CPUtime=0
/proc/27014/task/27018/stat : 27018 (java) S 27012 27014 26001 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185988481 937435136 8793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27014/tid=27019] ppid=27012 vsize=915464 CPUtime=0
/proc/27014/task/27019/stat : 27019 (java) S 27012 27014 26001 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 185988484 937435136 8793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27014/tid=27020] ppid=27012 vsize=915464 CPUtime=0.18
/proc/27014/task/27020/stat : 27020 (java) S 27012 27014 26001 0 -1 64 372 0 0 0 17 1 0 0 16 0 8 0 185988484 937435136 8793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27014/tid=27021] ppid=27012 vsize=915464 CPUtime=0
/proc/27014/task/27021/stat : 27021 (java) S 27012 27014 26001 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 185988484 937435136 8793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27014/tid=27022] ppid=27012 vsize=915464 CPUtime=0
/proc/27014/task/27022/stat : 27022 (java) S 27012 27014 26001 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185988484 937435136 8793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
[startup+2.97313 s]
/proc/loadavg: 0.98 0.57 0.37 2/85 27022
/proc/meminfo: memFree=1759472/2055920 swapFree=4182144/4192956
[pid=27014] ppid=27012 vsize=915464 CPUtime=2.94
/proc/27014/stat : 27014 (java) R 27012 27014 26001 0 -1 0 9536 0 1 0 288 6 0 0 18 0 8 0 185988475 937435136 9273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073716955 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27014/statm: 228866 9273 2527 14 0 215336 0
[pid=27014/tid=27016] ppid=27012 vsize=915464 CPUtime=0.02
/proc/27014/task/27016/stat : 27016 (java) S 27012 27014 26001 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 185988481 937435136 9273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27014/tid=27017] ppid=27012 vsize=915464 CPUtime=0
/proc/27014/task/27017/stat : 27017 (java) S 27012 27014 26001 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185988481 937435136 9273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27014/tid=27018] ppid=27012 vsize=915464 CPUtime=0
/proc/27014/task/27018/stat : 27018 (java) S 27012 27014 26001 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185988481 937435136 9273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27014/tid=27019] ppid=27012 vsize=915464 CPUtime=0
/proc/27014/task/27019/stat : 27019 (java) S 27012 27014 26001 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 185988484 937435136 9273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27014/tid=27020] ppid=27012 vsize=915464 CPUtime=0.18
/proc/27014/task/27020/stat : 27020 (java) S 27012 27014 26001 0 -1 64 373 0 0 0 17 1 0 0 15 0 8 0 185988484 937435136 9273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27014/tid=27021] ppid=27012 vsize=915464 CPUtime=0
/proc/27014/task/27021/stat : 27021 (java) S 27012 27014 26001 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 185988484 937435136 9273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27014/tid=27022] ppid=27012 vsize=915464 CPUtime=0
/proc/27014/task/27022/stat : 27022 (java) S 27012 27014 26001 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185988484 937435136 9273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464
[startup+6.27544 s]
/proc/loadavg: 0.98 0.57 0.37 2/85 27022
/proc/meminfo: memFree=1755064/2055920 swapFree=4182144/4192956
[pid=27014] ppid=27012 vsize=915464 CPUtime=6.25
/proc/27014/stat : 27014 (java) R 27012 27014 26001 0 -1 0 10587 0 1 0 618 7 0 0 19 0 8 0 185988475 937435136 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679450 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27014/statm: 228866 10324 2527 14 0 215336 0
[pid=27014/tid=27016] ppid=27012 vsize=915464 CPUtime=0.02
/proc/27014/task/27016/stat : 27016 (java) S 27012 27014 26001 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 185988481 937435136 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27014/tid=27017] ppid=27012 vsize=915464 CPUtime=0
/proc/27014/task/27017/stat : 27017 (java) S 27012 27014 26001 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185988481 937435136 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27014/tid=27018] ppid=27012 vsize=915464 CPUtime=0
/proc/27014/task/27018/stat : 27018 (java) S 27012 27014 26001 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185988481 937435136 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27014/tid=27019] ppid=27012 vsize=915464 CPUtime=0
/proc/27014/task/27019/stat : 27019 (java) S 27012 27014 26001 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 185988484 937435136 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27014/tid=27020] ppid=27012 vsize=915464 CPUtime=0.18
/proc/27014/task/27020/stat : 27020 (java) S 27012 27014 26001 0 -1 64 373 0 0 0 17 1 0 0 16 0 8 0 185988484 937435136 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27014/tid=27021] ppid=27012 vsize=915464 CPUtime=0
/proc/27014/task/27021/stat : 27021 (java) S 27012 27014 26001 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 185988484 937435136 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27014/tid=27022] ppid=27012 vsize=915464 CPUtime=0
/proc/27014/task/27022/stat : 27022 (java) S 27012 27014 26001 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185988484 937435136 10324 18446744073709551615 134512640 134570532 4294956464 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) 915464
[startup+12.7361 s]
/proc/loadavg: 0.98 0.58 0.38 2/85 27022
/proc/meminfo: memFree=1746680/2055920 swapFree=4182144/4192956
[pid=27014] ppid=27012 vsize=915464 CPUtime=12.7
/proc/27014/stat : 27014 (java) R 27012 27014 26001 0 -1 0 12584 0 1 0 1263 7 0 0 25 0 8 0 185988475 937435136 12321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073671051 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27014/statm: 228866 12321 2527 14 0 215336 0
[pid=27014/tid=27016] ppid=27012 vsize=915464 CPUtime=0.02
/proc/27014/task/27016/stat : 27016 (java) S 27012 27014 26001 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 185988481 937435136 12321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27014/tid=27017] ppid=27012 vsize=915464 CPUtime=0
/proc/27014/task/27017/stat : 27017 (java) S 27012 27014 26001 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185988481 937435136 12321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27014/tid=27018] ppid=27012 vsize=915464 CPUtime=0
/proc/27014/task/27018/stat : 27018 (java) S 27012 27014 26001 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185988481 937435136 12321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27014/tid=27019] ppid=27012 vsize=915464 CPUtime=0
/proc/27014/task/27019/stat : 27019 (java) S 27012 27014 26001 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 185988484 937435136 12321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27014/tid=27020] ppid=27012 vsize=915464 CPUtime=0.18
/proc/27014/task/27020/stat : 27020 (java) S 27012 27014 26001 0 -1 64 373 0 0 0 17 1 0 0 16 0 8 0 185988484 937435136 12321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27014/tid=27021] ppid=27012 vsize=915464 CPUtime=0
/proc/27014/task/27021/stat : 27021 (java) S 27012 27014 26001 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 185988484 937435136 12321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27014/tid=27022] ppid=27012 vsize=915464 CPUtime=0
/proc/27014/task/27022/stat : 27022 (java) S 27012 27014 26001 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185988484 937435136 12321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 13.3221
CPU time (s): 13.28
CPU user time (s): 13.193
CPU system time (s): 0.086986
CPU usage (%): 99.6839
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.193
system time used= 0.086986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12834
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= 1058
involuntary context switches= 431
runsolver used 0.011998 s user time and 0.044993 s system time
The end
Begin job on node4 on Tue Jan 9 20:52:09 UTC 2007
IDJOB= 241946
IDBENCH= 7355
FILE ID= node4/241946-1168375929
PBS_JOBID= 3522271
Free space on /tmp= 66531 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/pret/pret-150-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/241946-1168375929/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-241946-1168375929 -o ROOT/results/node4/solver-241946-1168375929 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/241946-1168375929/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7942e547e6f15972e65c0d137b735236
RANDOM SEED= 138045100
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.223
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.223
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: 1786440 kB
Buffers: 51632 kB
Cached: 126388 kB
SwapCached: 2520 kB
Active: 151652 kB
Inactive: 63476 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1786440 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 1688 kB
Writeback: 0 kB
Mapped: 46576 kB
Slab: 39708 kB
Committed_AS: 5742212 kB
PageTables: 2012 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 node4 on Tue Jan 9 20:52:22 UTC 2007