0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/202909-1168154788/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.39 => wckTime=0.096 cpuTime=0.09 mem=6M951
0.39
0.39 relations being loaded...
0.50
0.50 constraints being loaded...
0.60 nbConstraints=335 nbRelationTypes=335 nbExtensionStructures=335 nbSharedExtensionStructures=0
0.60 nbConflictsStructures=335 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2896 maxDegree=24
0.60 maxArity=2
0.60 => wckTime=0.304 cpuTime=0.23 mem=12M803
0.64
0.64 solver IterativeSystematicSolver being built...
0.80 => wckTime=0.499 cpuTime=0.36 mem=15M8
0.85
0.85 preprocessing
0.85 nbConstraintChecks=64053 nbPropagations=878 nbRevisions=6724 nbUselessRevisions=5508 nbSingletonTests=47
0.85 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=1 detectedInconsistency=no
0.85 => wckTime=0.047 cpuTime=0.03 mem=15M8
0.87
0.87 search
0.87 run=0 nbConstraintChecks=30033 nbPropagations=1308 nbRevisions=11524 nbUselessRevisions=9385 nbAssignments=21
0.87 nbFailedAssignments=5 nbBacktracks=11 nbVisitedNodes=35 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.067 cpuTime=0.05 mem=15M8
0.89
0.89 search
0.89 run=1 nbConstraintChecks=82966 nbPropagations=3338 nbRevisions=32173 nbUselessRevisions=26179 nbAssignments=60
0.89 nbFailedAssignments=21 nbBacktracks=27 nbVisitedNodes=101 nbRestartNogoods=2 mapSize=23 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.089 cpuTime=0.06 mem=15M8
0.90
0.90 search
0.90 run=2 nbConstraintChecks=141773 nbPropagations=6156 nbRevisions=63091 nbUselessRevisions=51222
0.90 nbAssignments=105 nbFailedAssignments=36 nbBacktracks=50 nbVisitedNodes=174 nbRestartNogoods=5 mapSize=40
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.104 cpuTime=0.07 mem=15M8
0.92
0.92 search
0.92 run=3 nbConstraintChecks=233670 nbPropagations=10275 nbRevisions=110736 nbUselessRevisions=89627
0.92 nbAssignments=173 nbFailedAssignments=64 nbBacktracks=83 nbVisitedNodes=291 nbRestartNogoods=8 mapSize=71
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.123 cpuTime=0.09 mem=15M8
0.95
0.95 search
0.95 run=4 nbConstraintChecks=339616 nbPropagations=15936 nbRevisions=178081 nbUselessRevisions=143850
0.95 nbAssignments=254 nbFailedAssignments=90 nbBacktracks=133 nbVisitedNodes=424 nbRestartNogoods=11 mapSize=108
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.146 cpuTime=0.12 mem=15M8
0.98
0.98 search
0.98 run=5 nbConstraintChecks=514254 nbPropagations=24061 nbRevisions=278479 nbUselessRevisions=224955
0.98 nbAssignments=388 nbFailedAssignments=141 nbBacktracks=211 nbVisitedNodes=649 nbRestartNogoods=17 mapSize=172
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.185 cpuTime=0.15 mem=15M8
1.04
1.04 search
1.04 run=6 nbConstraintChecks=825154 nbPropagations=36246 nbRevisions=435061 nbUselessRevisions=350848
1.04 nbAssignments=591 nbFailedAssignments=225 nbBacktracks=324 nbVisitedNodes=1003 nbRestartNogoods=19 mapSize=265
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.241 cpuTime=0.2 mem=15M8
1.12
1.12 search
1.12 run=7 nbConstraintChecks=1206548 nbPropagations=53877 nbRevisions=664354 nbUselessRevisions=535511
1.12 nbAssignments=887 nbFailedAssignments=342 nbBacktracks=496 nbVisitedNodes=1514 nbRestartNogoods=25 mapSize=410
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.315 cpuTime=0.28 mem=15M8
1.23
1.23 search
1.23 run=8 nbConstraintChecks=1764590 nbPropagations=79666 nbRevisions=1003759 nbUselessRevisions=809020
1.23 nbAssignments=1348 nbFailedAssignments=539 nbBacktracks=752 nbVisitedNodes=2305 nbRestartNogoods=31
1.23 mapSize=634 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.427 cpuTime=0.38 mem=15M8
1.41
1.41 search
1.41 run=9 nbConstraintChecks=2741087 nbPropagations=118706 nbRevisions=1534991 nbUselessRevisions=1238194
1.41 nbAssignments=2050 nbFailedAssignments=849 nbBacktracks=1137 nbVisitedNodes=3554 nbRestartNogoods=39
1.41 mapSize=976 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.61 cpuTime=0.55 mem=15M8
1.45
1.45 INFO : Stopping hyperNogood (mapSize=1030, nbTooLargekeys=0, mem=15M8)
1.66
1.66 search
1.66 run=10 nbConstraintChecks=4258530 nbPropagations=177390 nbRevisions=2341245 nbUselessRevisions=1887777
1.66 nbAssignments=3092 nbFailedAssignments=1309 nbBacktracks=1713 nbVisitedNodes=5404 nbRestartNogoods=50
1.66 => wckTime=0.86 cpuTime=0.79 mem=15M8
2.01
2.01 search
2.01 run=11 nbConstraintChecks=6462407 nbPropagations=265581 nbRevisions=3569011 nbUselessRevisions=2877429
2.01 nbAssignments=4616 nbFailedAssignments=1965 nbBacktracks=2578 nbVisitedNodes=8086 nbRestartNogoods=56
2.01 => wckTime=1.213 cpuTime=1.14 mem=15M8
2.50
2.50 search
2.50 run=12 nbConstraintChecks=9646407 nbPropagations=396715 nbRevisions=5400579 nbUselessRevisions=4353674
2.50 nbAssignments=6882 nbFailedAssignments=2927 nbBacktracks=3876 nbVisitedNodes=12105 nbRestartNogoods=60
2.50 => wckTime=1.704 cpuTime=1.63 mem=15M8
3.16
3.16 search
3.16 run=13 nbConstraintChecks=13994441 nbPropagations=589471 nbRevisions=8072497 nbUselessRevisions=6504832
3.16 nbAssignments=10200 nbFailedAssignments=4295 nbBacktracks=5822 nbVisitedNodes=17903 nbRestartNogoods=67
3.16 => wckTime=2.36 cpuTime=2.28 mem=15M8
4.17
4.17 search
4.17 run=14 nbConstraintChecks=20823650 nbPropagations=875071 nbRevisions=12062525 nbUselessRevisions=9722075
4.17 nbAssignments=15151 nbFailedAssignments=6323 nbBacktracks=8741 nbVisitedNodes=26600 nbRestartNogoods=73
4.17 => wckTime=3.369 cpuTime=3.29 mem=15M8
5.83
5.83 search
5.83 run=15 nbConstraintChecks=32494444 nbPropagations=1311289 nbRevisions=18176625 nbUselessRevisions=14646988
5.83 nbAssignments=22824 nbFailedAssignments=9612 nbBacktracks=13121 nbVisitedNodes=40234 nbRestartNogoods=79
5.83 => wckTime=5.028 cpuTime=4.95 mem=15M8
8.44
8.44 search
8.44 run=16 nbConstraintChecks=49063798 nbPropagations=1971288 nbRevisions=27558758 nbUselessRevisions=22232935
8.44 nbAssignments=34663 nbFailedAssignments=14877 nbBacktracks=19689 nbVisitedNodes=61439 nbRestartNogoods=83
8.44 => wckTime=7.645 cpuTime=7.56 mem=15M8
12.11
12.11 search
12.11 run=17 nbConstraintChecks=72449146 nbPropagations=2947686 nbRevisions=41358841 nbUselessRevisions=33377336
12.11 nbAssignments=51485 nbFailedAssignments=21831 nbBacktracks=29543 nbVisitedNodes=90891 nbRestartNogoods=93
12.11 => wckTime=11.313 cpuTime=11.23 mem=15M983
17.71
17.71 search
17.71 run=18 nbConstraintChecks=107455930 nbPropagations=4407693 nbRevisions=61999632 nbUselessRevisions=50054958
17.71 nbAssignments=77071 nbFailedAssignments=32633 nbBacktracks=44321 nbVisitedNodes=135861 nbRestartNogoods=103
17.71 => wckTime=16.914 cpuTime=16.83 mem=15M983
26.45
26.45 search
26.45 run=19 nbConstraintChecks=163046193 nbPropagations=6603784 nbRevisions=93217259 nbUselessRevisions=75288262
26.45 nbAssignments=116117 nbFailedAssignments=49507 nbBacktracks=66489 nbVisitedNodes=205056 nbRestartNogoods=114
26.45 => wckTime=25.647 cpuTime=25.56 mem=15M983
39.30
39.30 search
39.30 run=20 nbConstraintChecks=245633971 nbPropagations=9896559 nbRevisions=139885414 nbUselessRevisions=112953423
39.30 nbAssignments=173700 nbFailedAssignments=73822 nbBacktracks=99742 nbVisitedNodes=306113 nbRestartNogoods=127
39.30 => wckTime=38.504 cpuTime=38.42 mem=15M983
58.50
58.50 search
58.50 run=21 nbConstraintChecks=368158826 nbPropagations=14825258 nbRevisions=209774727 nbUselessRevisions=169359289
58.50 nbAssignments=259450 nbFailedAssignments=109688 nbBacktracks=149620 nbVisitedNodes=456998 nbRestartNogoods=138
58.50 => wckTime=57.7 cpuTime=57.61 mem=15M983
86.96
86.96 search
86.96 run=22 nbConstraintChecks=550464178 nbPropagations=22171935 nbRevisions=314020021 nbUselessRevisions=253492310
86.96 nbAssignments=387060 nbFailedAssignments=162472 nbBacktracks=224439 nbVisitedNodes=680644 nbRestartNogoods=144
86.96 => wckTime=86.162 cpuTime=86.06 mem=15M983
123.67
123.67 search
123.67 run=23 nbConstraintChecks=786439332 nbPropagations=32623637 nbRevisions=462629658 nbUselessRevisions=373438062
123.67 nbAssignments=549961 nbFailedAssignments=231078 nbBacktracks=318735 nbVisitedNodes=966787 nbRestartNogoods=157
123.67 => wckTime=122.874 cpuTime=122.76 mem=15M983
123.68
123.68 global
123.68 nbConstraintChecks=786503385 nbPropagations=32624515 nbRevisions=462636382 nbUselessRevisions=373443570
123.68 nbRestartNogoods=157 solvingWckTime=122.875 solvingCpuTime=122.76 expiredTime=no totalExploration=yes
123.68 nbFoundSolutions=0 globalCpuTime=123.16
123.68 => wckTime=123.377 cpuTime=123.12 mem=15M983
123.68
123.68 s UNSATISFIABLE
123.68 d NODES 549961
123.68 d CHECKS 786503385
123.68
123.68 totalWckTime=123.454 totalCpuTime=123.16
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node51/watcher-202909-1168154788 -o ROOT/results/node51/solver-202909-1168154788 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202909-1168154788/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.00 1.00 1.00 2/65 23746
/proc/meminfo: memFree=1797496/2055920 swapFree=4192812/4192956
[pid=23745] ppid=23743 vsize=220 CPUtime=0
/proc/23745/stat : 23745 (java) R 23743 23745 22780 0 -1 0 46 0 0 0 0 0 0 0 20 0 1 0 163877305 225280 31 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 2584941 0 0 4096 0 0 0 0 17 1 0 0
/proc/23745/statm: 73 35 27 14 0 5 0
[startup+0.102638 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23746
/proc/meminfo: memFree=1797496/2055920 swapFree=4192812/4192956
[pid=23745] ppid=23743 vsize=914988 CPUtime=0.08
/proc/23745/stat : 23745 (java) S 23743 23745 22780 0 -1 0 2996 0 1 0 6 2 0 0 22 0 8 0 163877305 936947712 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23745/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513703 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23746
/proc/meminfo: memFree=1797496/2055920 swapFree=4192812/4192956
[pid=23745] ppid=23743 vsize=915328 CPUtime=0.47
/proc/23745/stat : 23745 (java) R 23743 23745 22780 0 -1 0 6927 0 1 0 44 3 0 0 16 0 8 0 163877305 937295872 6666 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23745/statm: 228832 6666 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33503 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 23753
/proc/meminfo: memFree=1773568/2055920 swapFree=4192812/4192956
[pid=23745] ppid=23743 vsize=915456 CPUtime=1.3
/proc/23745/stat : 23745 (java) R 23743 23745 22780 0 -1 0 8738 0 1 0 124 6 0 0 17 0 8 0 163877305 937426944 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797036 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23745/statm: 228864 8476 2524 14 0 215334 0
[pid=23745/tid=23747] ppid=23743 vsize=915456 CPUtime=0.03
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 22780 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163877309 937426944 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 22780 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163877310 937426944 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 22780 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163877310 937426944 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 22780 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163877313 937426944 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915456 CPUtime=0.19
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 22780 0 -1 64 385 0 0 0 18 1 0 0 16 0 8 0 163877313 937426944 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 22780 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163877313 937426944 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 22780 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163877313 937426944 8476 18446744073709551615 134512640 134570532 4294956480 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) 915456
[startup+2.97631 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 23753
/proc/meminfo: memFree=1773248/2055920 swapFree=4192812/4192956
[pid=23745] ppid=23743 vsize=915456 CPUtime=2.94
/proc/23745/stat : 23745 (java) R 23743 23745 22780 0 -1 0 8768 0 1 0 288 6 0 0 17 0 8 0 163877305 937426944 8505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23745/statm: 228864 8505 2524 14 0 215334 0
[pid=23745/tid=23747] ppid=23743 vsize=915456 CPUtime=0.03
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 22780 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163877309 937426944 8505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 22780 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163877310 937426944 8505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 22780 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163877310 937426944 8505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 22780 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163877313 937426944 8505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915456 CPUtime=0.2
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 22780 0 -1 64 393 0 0 0 19 1 0 0 15 0 8 0 163877313 937426944 8505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 22780 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163877313 937426944 8505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 22780 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163877313 937426944 8505 18446744073709551615 134512640 134570532 4294956480 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) 915456
[startup+6.26687 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 23753
/proc/meminfo: memFree=1773184/2055920 swapFree=4192812/4192956
[pid=23745] ppid=23743 vsize=915456 CPUtime=6.22
/proc/23745/stat : 23745 (java) R 23743 23745 22780 0 -1 0 8778 0 1 0 616 6 0 0 19 0 8 0 163877305 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799501 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23745/statm: 228864 8513 2524 14 0 215334 0
[pid=23745/tid=23747] ppid=23743 vsize=915456 CPUtime=0.03
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 22780 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163877309 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 22780 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163877310 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 22780 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163877310 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 22780 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163877313 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915456 CPUtime=0.21
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 22780 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 163877313 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 22780 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163877313 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 22780 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163877313 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915456
[startup+12.7338 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 23753
/proc/meminfo: memFree=1773192/2055920 swapFree=4192812/4192956
[pid=23745] ppid=23743 vsize=915456 CPUtime=12.69
/proc/23745/stat : 23745 (java) R 23743 23745 22780 0 -1 0 8783 0 1 0 1263 6 0 0 17 0 8 0 163877305 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799032 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23745/statm: 228864 8518 2524 14 0 215334 0
[pid=23745/tid=23747] ppid=23743 vsize=915456 CPUtime=0.03
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 22780 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163877309 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 22780 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163877310 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 22780 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163877310 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 22780 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163877313 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915456 CPUtime=0.21
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 22780 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 163877313 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 22780 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163877313 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 22780 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163877313 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915456
[startup+25.578 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 23753
/proc/meminfo: memFree=1773384/2055920 swapFree=4192812/4192956
[pid=23745] ppid=23743 vsize=915456 CPUtime=25.53
/proc/23745/stat : 23745 (java) R 23743 23745 22780 0 -1 0 8786 0 1 0 2547 6 0 0 25 0 8 0 163877305 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803513 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23745/statm: 228864 8521 2524 14 0 215334 0
[pid=23745/tid=23747] ppid=23743 vsize=915456 CPUtime=0.03
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 22780 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163877309 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 22780 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163877310 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 22780 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163877310 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 22780 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163877313 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915456 CPUtime=0.21
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 22780 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 163877313 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 22780 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163877313 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 22780 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163877313 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 915456
[startup+51.2563 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 23753
/proc/meminfo: memFree=1773320/2055920 swapFree=4192812/4192956
[pid=23745] ppid=23743 vsize=915456 CPUtime=51.2
/proc/23745/stat : 23745 (java) R 23743 23745 22780 0 -1 0 8791 0 1 0 5114 6 0 0 25 0 8 0 163877305 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822500 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23745/statm: 228864 8526 2524 14 0 215334 0
[pid=23745/tid=23747] ppid=23743 vsize=915456 CPUtime=0.03
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 22780 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163877309 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 22780 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163877310 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 22780 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163877310 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 22780 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163877313 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915456 CPUtime=0.21
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 22780 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 163877313 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 22780 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163877313 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 22780 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163877313 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 915456
[startup+102.507 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 23753
/proc/meminfo: memFree=1773320/2055920 swapFree=4192812/4192956
[pid=23745] ppid=23743 vsize=915456 CPUtime=102.44
/proc/23745/stat : 23745 (java) R 23743 23745 22780 0 -1 0 8796 0 1 0 10237 7 0 0 25 0 8 0 163877305 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799015 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23745/statm: 228864 8531 2524 14 0 215334 0
[pid=23745/tid=23747] ppid=23743 vsize=915456 CPUtime=0.03
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 22780 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163877309 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 22780 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163877310 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 22780 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163877310 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 22780 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163877313 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915456 CPUtime=0.21
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 22780 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 163877313 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 22780 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163877313 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915456 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 22780 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163877313 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.44
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 123.695
CPU time (s): 123.621
CPU user time (s): 123.543
CPU system time (s): 0.077988
CPU usage (%): 99.9403
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 123.543
system time used= 0.077988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8886
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= 3396
involuntary context switches= 594
runsolver used 0.134979 s user time and 0.316951 s system time
The end
Begin job on node51 on Sun Jan 7 07:26:28 UTC 2007
IDJOB= 202909
IDBENCH= 3898
FILE ID= node51/202909-1168154788
PBS_JOBID= 3478453
Free space on /tmp= 66560 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-19_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202909-1168154788/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-202909-1168154788 -o ROOT/results/node51/solver-202909-1168154788 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202909-1168154788/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e2b7ad46236bd859e96b130995e62355
RANDOM SEED= 132053499
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.277
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.277
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: 1797976 kB
Buffers: 20584 kB
Cached: 163424 kB
SwapCached: 0 kB
Active: 84928 kB
Inactive: 114960 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1797976 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1864 kB
Writeback: 0 kB
Mapped: 26080 kB
Slab: 44136 kB
Committed_AS: 3361652 kB
PageTables: 1408 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= 66560 MiB
End job on node51 on Sun Jan 7 07:28:31 UTC 2007