0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/215132-1168233546/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.43 nbVariables=558 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.43 => wckTime=0.14 cpuTime=0.1 mem=8M25
0.43
0.43 predicates being loaded...
0.44
0.44 constraints being loaded...
1.19 nbConstraints=3551 nbConvertedConstraints=3159 nbConvertConstraintsChecks=16 nbExtensionStructures=2
1.19 nbSharedExtensionStructures=3157 nbConflictsStructures=3 nbSharedConflictsStructures=3185
1.19 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=5 nbEvaluationManagers=2
1.19 nbSharedEvaluationManagers=390 maxDegree=76 maxArity=32
1.19 => wckTime=0.892 cpuTime=0.72 mem=16M550
1.25
1.25 solver IterativeSystematicSolver being built...
1.50 => wckTime=1.208 cpuTime=0.93 mem=42M954
1.98
1.98 preprocessing
1.98 nbConstraintChecks=26843 nbValidityChecks=171588 nbPropagations=1640 nbRevisions=98044 nbUselessRevisions=97528
1.98 nbSingletonTests=570 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
1.98 => wckTime=0.472 cpuTime=0.42 mem=43M949
2.22
2.22 search
2.22 run=0 nbConstraintChecks=40251 nbValidityChecks=146393 nbPropagations=2998 nbRevisions=191007
2.22 nbUselessRevisions=189104 nbAssignments=170 nbFailedAssignments=2 nbBacktracks=22 nbVisitedNodes=181
2.22 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
2.22 => wckTime=0.711 cpuTime=0.65 mem=44M960
2.42
2.42 search
2.42 run=1 nbConstraintChecks=63836 nbValidityChecks=284954 nbPropagations=6727 nbRevisions=461013
2.42 nbUselessRevisions=456551 nbAssignments=323 nbFailedAssignments=3 nbBacktracks=39 nbVisitedNodes=339
2.42 nbRestartNogoods=1 mapSize=13 nbInferences=0 nbTooLargeKeys=0
2.42 => wckTime=0.91 cpuTime=0.84 mem=44M960
2.61
2.61 search
2.61 run=2 nbConstraintChecks=96711 nbValidityChecks=427008 nbPropagations=11540 nbRevisions=817332
2.61 nbUselessRevisions=809277 nbAssignments=492 nbFailedAssignments=5 nbBacktracks=73 nbVisitedNodes=515
2.61 nbRestartNogoods=2 mapSize=19 nbInferences=0 nbTooLargeKeys=0
2.61 => wckTime=1.108 cpuTime=1.04 mem=44M960
3.12
3.12 search
3.12 run=3 nbConstraintChecks=259416 nbValidityChecks=627560 nbPropagations=21751 nbRevisions=1356432
3.12 nbUselessRevisions=1338742 nbAssignments=679 nbFailedAssignments=8 nbBacktracks=114 nbVisitedNodes=744
3.12 nbRestartNogoods=3 mapSize=60 nbInferences=0 nbTooLargeKeys=0
3.12 => wckTime=1.609 cpuTime=1.53 mem=44M960
3.73
3.73 search
3.73 run=4 nbConstraintChecks=460662 nbValidityChecks=872285 nbPropagations=38414 nbRevisions=2117956
3.73 nbUselessRevisions=2082880 nbAssignments=813 nbFailedAssignments=18 nbBacktracks=164 nbVisitedNodes=921
3.73 nbRestartNogoods=4 mapSize=101 nbInferences=0 nbTooLargeKeys=0
3.73 => wckTime=2.223 cpuTime=2.14 mem=44M960
4.21
4.21 search
4.21 run=5 nbConstraintChecks=622463 nbValidityChecks=1079943 nbPropagations=60861 nbRevisions=3064820
4.21 nbUselessRevisions=3006029 nbAssignments=976 nbFailedAssignments=36 nbBacktracks=245 nbVisitedNodes=1116
4.21 nbRestartNogoods=6 mapSize=140 nbInferences=0 nbTooLargeKeys=0
4.21 => wckTime=2.705 cpuTime=2.61 mem=44M960
4.78
4.78 search
4.78 run=6 nbConstraintChecks=809297 nbValidityChecks=1310908 nbPropagations=90034 nbRevisions=4217428
4.78 nbUselessRevisions=4127599 nbAssignments=1178 nbFailedAssignments=56 nbBacktracks=361 nbVisitedNodes=1356
4.78 nbRestartNogoods=7 mapSize=191 nbInferences=0 nbTooLargeKeys=0
4.78 => wckTime=3.27 cpuTime=3.18 mem=44M960
6.20
6.20 search
6.20 run=7 nbConstraintChecks=1382810 nbValidityChecks=1866446 nbPropagations=138718 nbRevisions=5948774
6.20 nbUselessRevisions=5804038 nbAssignments=1455 nbFailedAssignments=80 nbBacktracks=547 nbVisitedNodes=1778
6.21 nbRestartNogoods=9 mapSize=343 nbInferences=0 nbTooLargeKeys=0
6.21 => wckTime=4.7 cpuTime=4.59 mem=44M960
7.82
7.82 search
7.82 run=8 nbConstraintChecks=2019517 nbValidityChecks=2489196 nbPropagations=209230 nbRevisions=8321974
7.82 nbUselessRevisions=8095911 nbAssignments=1815 nbFailedAssignments=124 nbBacktracks=804 nbVisitedNodes=2297
7.82 nbRestartNogoods=11 mapSize=520 nbInferences=0 nbTooLargeKeys=0
7.82 => wckTime=6.317 cpuTime=6.19 mem=44M960
11.36
11.36 search
11.36 run=9 nbConstraintChecks=3159446 nbValidityChecks=3801228 nbPropagations=314484 nbRevisions=11899870
11.36 nbUselessRevisions=11549415 nbAssignments=2340 nbFailedAssignments=202 nbBacktracks=1189 nbVisitedNodes=3106
11.36 nbRestartNogoods=13 mapSize=832 nbInferences=0 nbTooLargeKeys=0
11.36 => wckTime=9.858 cpuTime=9.71 mem=45M955
13.83
13.83 INFO : Stopping hyperNogood (mapSize=1039, nbTooLargekeys=0, mem=45M955)
17.69
17.70 search
17.70 run=10 nbConstraintChecks=5431836 nbValidityChecks=5996563 nbPropagations=489533 nbRevisions=17670708
17.70 nbUselessRevisions=17108562 nbAssignments=3078 nbFailedAssignments=277 nbBacktracks=1775 nbVisitedNodes=4415
17.70 nbRestartNogoods=15
17.70 => wckTime=16.19 cpuTime=16.01 mem=45M955
25.00
25.00 search
25.00 run=11 nbConstraintChecks=8564359 nbValidityChecks=8150360 nbPropagations=768375 nbRevisions=26105752
25.00 nbUselessRevisions=25205496 nbAssignments=4195 nbFailedAssignments=446 nbBacktracks=2650 nbVisitedNodes=6345
25.00 nbRestartNogoods=17
25.00 => wckTime=23.496 cpuTime=23.27 mem=45M955
36.00
36.00 search
36.00 run=12 nbConstraintChecks=13362720 nbValidityChecks=11344008 nbPropagations=1208753 nbRevisions=38598344
36.00 nbUselessRevisions=37164689 nbAssignments=5859 nbFailedAssignments=730 nbBacktracks=3959 nbVisitedNodes=9260
36.00 nbRestartNogoods=19
36.00 => wckTime=34.497 cpuTime=34.22 mem=45M955
52.04
52.04 search
52.04 run=13 nbConstraintChecks=20437032 nbValidityChecks=16122877 nbPropagations=1888643 nbRevisions=57102109
52.04 nbUselessRevisions=54843260 nbAssignments=8249 nbFailedAssignments=1112 nbBacktracks=5906 nbVisitedNodes=13510
52.04 nbRestartNogoods=21
52.04 => wckTime=50.536 cpuTime=50.16 mem=45M955
69.05
69.05 search
69.05 run=14 nbConstraintChecks=27684514 nbValidityChecks=21532673 nbPropagations=2818897 nbRevisions=82127698
69.05 nbUselessRevisions=78735207 nbAssignments=11158 nbFailedAssignments=1458 nbBacktracks=7911 nbVisitedNodes=18290
69.05 nbRestartNogoods=24
69.05 => wckTime=67.541 cpuTime=67.07 mem=45M955
69.05
69.05 global
69.05 nbConstraintChecks=27711357 nbValidityChecks=21704261 nbPropagations=2820537 nbRevisions=82225742
69.05 nbUselessRevisions=78832735 nbRestartNogoods=24 solvingWckTime=67.542 solvingCpuTime=67.07 expiredTime=no
69.05 totalExploration=no nbFoundSolutions=1 globalCpuTime=68.06
69.05 => wckTime=68.753 cpuTime=68.01 mem=45M955
69.05
69.05 s SATISFIABLE
69.05 v 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 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 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 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 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 0 0 1 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 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 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 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 1 0 1 0 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 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 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0
69.05 d NODES 11158
69.05 d CHECKS 27711357
69.05
69.05 totalWckTime=68.83 totalCpuTime=68.06
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-215132-1168233546 -o ROOT/results/node12/solver-215132-1168233546 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215132-1168233546/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.96 2.00 2.00 3/94 16910
/proc/meminfo: memFree=1745232/2055920 swapFree=4160348/4192956
[pid=16909] ppid=16907 vsize=172 CPUtime=0
/proc/16909/stat : 16909 (java) R 16907 16909 16842 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 171749703 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 9696036 0 0 4096 0 0 0 0 17 0 0 0
/proc/16909/statm: 43 24 18 14 0 3 0
[startup+0.10853 s]
/proc/loadavg: 1.96 2.00 2.00 3/94 16910
/proc/meminfo: memFree=1745232/2055920 swapFree=4160348/4192956
[pid=16909] ppid=16907 vsize=914988 CPUtime=0.08
/proc/16909/stat : 16909 (java) R 16907 16909 16842 0 -1 0 3071 0 1 0 7 1 0 0 23 0 8 0 171749703 936947712 2817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16909/statm: 228747 2817 1453 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516605 s]
/proc/loadavg: 1.96 2.00 2.00 3/94 16910
/proc/meminfo: memFree=1745232/2055920 swapFree=4160348/4192956
[pid=16909] ppid=16907 vsize=915328 CPUtime=0.49
/proc/16909/stat : 16909 (java) R 16907 16909 16842 0 -1 0 7541 0 1 0 44 5 0 0 25 0 8 0 171749703 937295872 7280 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073542797 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16909/statm: 228832 7284 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34075 s]
/proc/loadavg: 1.96 2.00 2.00 3/101 16917
/proc/meminfo: memFree=1686616/2055920 swapFree=4160348/4192956
[pid=16909] ppid=16907 vsize=915728 CPUtime=1.31
/proc/16909/stat : 16909 (java) R 16907 16909 16842 0 -1 0 18369 0 1 0 108 23 0 0 25 0 8 0 171749703 937705472 18106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16909/statm: 228932 18106 2503 14 0 215402 0
[pid=16909/tid=16911] ppid=16907 vsize=915728 CPUtime=0.06
/proc/16909/task/16911/stat : 16911 (java) S 16907 16909 16842 0 -1 64 1368 0 0 0 6 0 0 0 16 0 8 0 171749707 937705472 18106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16912] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16912/stat : 16912 (java) S 16907 16909 16842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171749707 937705472 18106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16913] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16913/stat : 16913 (java) S 16907 16909 16842 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171749707 937705472 18106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16914] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16914/stat : 16914 (java) S 16907 16909 16842 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171749710 937705472 18106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16915] ppid=16907 vsize=915728 CPUtime=0.2
/proc/16909/task/16915/stat : 16915 (java) R 16907 16909 16842 0 -1 64 437 0 0 0 20 0 0 0 15 0 8 0 171749710 937705472 18106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153066206 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16916] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16916/stat : 16916 (java) S 16907 16909 16842 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171749710 937705472 18106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16917] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16917/stat : 16917 (java) S 16907 16909 16842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171749710 937705472 18106 18446744073709551615 134512640 134570532 4294956464 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) 915728
[startup+2.97805 s]
/proc/loadavg: 1.96 2.00 2.00 3/101 16917
/proc/meminfo: memFree=1682200/2055920 swapFree=4160348/4192956
[pid=16909] ppid=16907 vsize=915728 CPUtime=2.94
/proc/16909/stat : 16909 (java) R 16907 16909 16842 0 -1 0 18501 0 1 0 270 24 0 0 25 0 8 0 171749703 937705472 18237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074054098 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16909/statm: 228932 18237 2547 14 0 215402 0
[pid=16909/tid=16911] ppid=16907 vsize=915728 CPUtime=0.06
/proc/16909/task/16911/stat : 16911 (java) S 16907 16909 16842 0 -1 64 1368 0 0 0 6 0 0 0 17 0 8 0 171749707 937705472 18237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16912] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16912/stat : 16912 (java) S 16907 16909 16842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171749707 937705472 18237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16913] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16913/stat : 16913 (java) S 16907 16909 16842 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171749707 937705472 18237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16914] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16914/stat : 16914 (java) S 16907 16909 16842 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171749710 937705472 18237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16915] ppid=16907 vsize=915728 CPUtime=0.29
/proc/16909/task/16915/stat : 16915 (java) S 16907 16909 16842 0 -1 64 489 0 0 0 28 1 0 0 15 0 8 0 171749710 937705472 18237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16916] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16916/stat : 16916 (java) S 16907 16909 16842 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171749710 937705472 18237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16917] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16917/stat : 16917 (java) S 16907 16909 16842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171749710 937705472 18237 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) 915728
[startup+6.27364 s]
/proc/loadavg: 1.96 2.00 2.00 4/101 16917
/proc/meminfo: memFree=1682072/2055920 swapFree=4160348/4192956
[pid=16909] ppid=16907 vsize=915728 CPUtime=6.21
/proc/16909/stat : 16909 (java) R 16907 16909 16842 0 -1 0 18513 0 1 0 597 24 0 0 25 0 8 0 171749703 937705472 18246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074043563 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16909/statm: 228932 18246 2547 14 0 215402 0
[pid=16909/tid=16911] ppid=16907 vsize=915728 CPUtime=0.06
/proc/16909/task/16911/stat : 16911 (java) S 16907 16909 16842 0 -1 64 1368 0 0 0 6 0 0 0 17 0 8 0 171749707 937705472 18246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16912] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16912/stat : 16912 (java) S 16907 16909 16842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171749707 937705472 18246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16913] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16913/stat : 16913 (java) S 16907 16909 16842 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171749707 937705472 18246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16914] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16914/stat : 16914 (java) S 16907 16909 16842 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171749710 937705472 18246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16915] ppid=16907 vsize=915728 CPUtime=0.31
/proc/16909/task/16915/stat : 16915 (java) S 16907 16909 16842 0 -1 64 498 0 0 0 30 1 0 0 16 0 8 0 171749710 937705472 18246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16916] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16916/stat : 16916 (java) S 16907 16909 16842 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171749710 937705472 18246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16917] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16917/stat : 16917 (java) S 16907 16909 16842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171749710 937705472 18246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915728
[startup+12.7498 s]
/proc/loadavg: 1.96 2.00 2.00 3/101 16917
/proc/meminfo: memFree=1682080/2055920 swapFree=4160348/4192956
[pid=16909] ppid=16907 vsize=915728 CPUtime=12.66
/proc/16909/stat : 16909 (java) R 16907 16909 16842 0 -1 0 18520 0 1 0 1242 24 0 0 25 0 8 0 171749703 937705472 18250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918546 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16909/statm: 228932 18250 2547 14 0 215402 0
[pid=16909/tid=16911] ppid=16907 vsize=915728 CPUtime=0.06
/proc/16909/task/16911/stat : 16911 (java) S 16907 16909 16842 0 -1 64 1368 0 0 0 6 0 0 0 17 0 8 0 171749707 937705472 18250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16912] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16912/stat : 16912 (java) S 16907 16909 16842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171749707 937705472 18250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16913] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16913/stat : 16913 (java) S 16907 16909 16842 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171749707 937705472 18250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16914] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16914/stat : 16914 (java) S 16907 16909 16842 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171749710 937705472 18250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16915] ppid=16907 vsize=915728 CPUtime=0.32
/proc/16909/task/16915/stat : 16915 (java) S 16907 16909 16842 0 -1 64 503 0 0 0 31 1 0 0 15 0 8 0 171749710 937705472 18250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16916] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16916/stat : 16916 (java) S 16907 16909 16842 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171749710 937705472 18250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16917] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16917/stat : 16917 (java) S 16907 16909 16842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171749710 937705472 18250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915728
[startup+25.5991 s]
/proc/loadavg: 1.97 2.00 2.00 3/101 16917
/proc/meminfo: memFree=1682144/2055920 swapFree=4160348/4192956
[pid=16909] ppid=16907 vsize=915728 CPUtime=25.44
/proc/16909/stat : 16909 (java) R 16907 16909 16842 0 -1 0 18526 0 1 0 2519 25 0 0 25 0 8 0 171749703 937705472 18253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074040765 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16909/statm: 228932 18253 2547 14 0 215402 0
[pid=16909/tid=16911] ppid=16907 vsize=915728 CPUtime=0.06
/proc/16909/task/16911/stat : 16911 (java) S 16907 16909 16842 0 -1 64 1368 0 0 0 6 0 0 0 16 0 8 0 171749707 937705472 18253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16912] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16912/stat : 16912 (java) S 16907 16909 16842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171749707 937705472 18253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16913] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16913/stat : 16913 (java) S 16907 16909 16842 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171749707 937705472 18253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16914] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16914/stat : 16914 (java) S 16907 16909 16842 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171749710 937705472 18253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16915] ppid=16907 vsize=915728 CPUtime=0.32
/proc/16909/task/16915/stat : 16915 (java) S 16907 16909 16842 0 -1 64 508 0 0 0 31 1 0 0 16 0 8 0 171749710 937705472 18253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16916] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16916/stat : 16916 (java) S 16907 16909 16842 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171749710 937705472 18253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16917] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16917/stat : 16917 (java) S 16907 16909 16842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171749710 937705472 18253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915728
[startup+51.2047 s]
/proc/loadavg: 1.98 2.00 2.00 3/101 16917
/proc/meminfo: memFree=1682208/2055920 swapFree=4160348/4192956
[pid=16909] ppid=16907 vsize=915728 CPUtime=50.9
/proc/16909/stat : 16909 (java) R 16907 16909 16842 0 -1 0 18527 0 1 0 5065 25 0 0 25 0 8 0 171749703 937705472 18254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074015888 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16909/statm: 228932 18254 2547 14 0 215402 0
[pid=16909/tid=16911] ppid=16907 vsize=915728 CPUtime=0.06
/proc/16909/task/16911/stat : 16911 (java) S 16907 16909 16842 0 -1 64 1368 0 0 0 6 0 0 0 16 0 8 0 171749707 937705472 18254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16912] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16912/stat : 16912 (java) S 16907 16909 16842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171749707 937705472 18254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16913] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16913/stat : 16913 (java) S 16907 16909 16842 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171749707 937705472 18254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16914] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16914/stat : 16914 (java) S 16907 16909 16842 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171749710 937705472 18254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16915] ppid=16907 vsize=915728 CPUtime=0.33
/proc/16909/task/16915/stat : 16915 (java) S 16907 16909 16842 0 -1 64 509 0 0 0 32 1 0 0 16 0 8 0 171749710 937705472 18254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16916] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16916/stat : 16916 (java) S 16907 16909 16842 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171749710 937705472 18254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16917] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16917/stat : 16917 (java) S 16907 16909 16842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171749710 937705472 18254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 915728
Child status: 0
Real time (s): 69.0703
CPU time (s): 68.6736
CPU user time (s): 68.4086
CPU system time (s): 0.264959
CPU usage (%): 99.4257
Max. virtual memory (cumulated for all children) (KiB): 915760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 68.4086
system time used= 0.264959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18536
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= 3004
involuntary context switches= 4300
runsolver used 0.05999 s user time and 0.25796 s system time
The end
Begin job on node12 on Mon Jan 8 05:19:07 UTC 2007
IDJOB= 215132
IDBENCH= 4978
FILE ID= node12/215132-1168233546
PBS_JOBID= 3481213
Free space on /tmp= 66323 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-32c3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215132-1168233546/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-215132-1168233546 -o ROOT/results/node12/solver-215132-1168233546 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215132-1168233546/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= dd966be8001f816dd63643010dafbe63
RANDOM SEED= 651854738
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.265
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.265
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: 1745712 kB
Buffers: 45524 kB
Cached: 126656 kB
SwapCached: 5164 kB
Active: 153864 kB
Inactive: 101288 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1745712 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 2400 kB
Writeback: 0 kB
Mapped: 101128 kB
Slab: 39804 kB
Committed_AS: 5591476 kB
PageTables: 2276 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= 66323 MiB
End job on node12 on Mon Jan 8 05:20:17 UTC 2007