0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=esac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/239877-1168368122/unknown.xml
0.40
0.40 domains being loaded...
0.41
0.41 variables being loaded...
0.50 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20
0.50 => wckTime=0.155 cpuTime=0.13 mem=7M894
0.50
0.50 relations being loaded...
0.50
0.50 constraints being loaded...
0.87 nbConstraints=5092 nbRelationTypes=22 nbSingletonDomainVariables=234 nbExtensionStructures=41
0.87 nbSharedExtensionStructures=5051 nbConflictsStructures=41 nbSharedConflictsStructures=5051
0.87 nbSharedBinaryRepresentations=858 maxDegree=38 maxArity=2
0.87 => wckTime=0.528 cpuTime=0.37 mem=23M497
0.95
0.95 solver IterativeSystematicSolver being built...
1.14 => wckTime=0.799 cpuTime=0.54 mem=18M158
1.53
1.53 preprocessing
1.53 nbConstraintChecks=91893 nbPropagations=2261 nbRevisions=24428 nbUselessRevisions=20006 nbSingletonTests=655
1.53 nbEffectiveSingletonTests=0 nbESACBranches=11 nbRemovedValues=2691 detectedInconsistency=no
1.54 => wckTime=0.388 cpuTime=0.36 mem=18M158
1.58
1.58 search
1.58 run=0 nbConstraintChecks=8164 nbPropagations=2632 nbRevisions=29390 nbUselessRevisions=24449 nbAssignments=72
1.58 nbFailedAssignments=5 nbBacktracks=17 nbVisitedNodes=81 nbRestartNogoods=0 mapSize=7 nbInferences=0
1.58 nbTooLargeKeys=0
1.58 => wckTime=0.435 cpuTime=0.4 mem=19M149
1.60
1.60 search
1.60 run=1 nbConstraintChecks=15477 nbPropagations=5613 nbRevisions=63510 nbUselessRevisions=53113
1.60 nbAssignments=146 nbFailedAssignments=10 nbBacktracks=49 nbVisitedNodes=164 nbRestartNogoods=1 mapSize=15
1.60 nbInferences=0 nbTooLargeKeys=0
1.60 => wckTime=0.456 cpuTime=0.42 mem=19M149
1.63
1.63 search
1.63 run=2 nbConstraintChecks=22997 nbPropagations=8959 nbRevisions=102543 nbUselessRevisions=86165
1.63 nbAssignments=222 nbFailedAssignments=14 nbBacktracks=73 nbVisitedNodes=248 nbRestartNogoods=2 mapSize=20
1.63 nbInferences=0 nbTooLargeKeys=0
1.63 => wckTime=0.481 cpuTime=0.44 mem=19M149
1.67
1.67 search
1.67 run=3 nbConstraintChecks=39659 nbPropagations=13246 nbRevisions=151903 nbUselessRevisions=128389
1.67 nbAssignments=388 nbFailedAssignments=23 nbBacktracks=116 nbVisitedNodes=357 nbRestartNogoods=5 mapSize=30
1.67 nbInferences=0 nbTooLargeKeys=0
1.67 => wckTime=0.52 cpuTime=0.48 mem=19M149
1.72
1.72 search
1.72 run=4 nbConstraintChecks=59999 nbPropagations=18661 nbRevisions=213714 nbUselessRevisions=181613
1.72 nbAssignments=600 nbFailedAssignments=30 nbBacktracks=168 nbVisitedNodes=481 nbRestartNogoods=9 mapSize=41
1.72 nbInferences=0 nbTooLargeKeys=0
1.72 => wckTime=0.571 cpuTime=0.52 mem=19M149
1.76
1.76 search
1.76 run=5 nbConstraintChecks=77613 nbPropagations=24710 nbRevisions=287788 nbUselessRevisions=245943
1.76 nbAssignments=726 nbFailedAssignments=35 nbBacktracks=244 nbVisitedNodes=618 nbRestartNogoods=12 mapSize=51
1.76 nbInferences=0 nbTooLargeKeys=0
1.76 => wckTime=0.615 cpuTime=0.56 mem=19M149
1.82
1.82 search
1.82 run=6 nbConstraintChecks=115907 nbPropagations=32041 nbRevisions=387554 nbUselessRevisions=333149
1.82 nbAssignments=910 nbFailedAssignments=65 nbBacktracks=365 nbVisitedNodes=858 nbRestartNogoods=13 mapSize=103
1.82 nbInferences=0 nbTooLargeKeys=0
1.82 => wckTime=0.676 cpuTime=0.62 mem=19M149
1.89
1.89 search
1.89 run=7 nbConstraintChecks=159376 nbPropagations=40797 nbRevisions=517616 nbUselessRevisions=447707
1.89 nbAssignments=1147 nbFailedAssignments=91 nbBacktracks=550 nbVisitedNodes=1137 nbRestartNogoods=17 mapSize=142
1.89 nbInferences=0 nbTooLargeKeys=0
1.89 => wckTime=0.745 cpuTime=0.68 mem=19M149
1.98
1.99 search
1.99 run=8 nbConstraintChecks=207787 nbPropagations=51491 nbRevisions=680232 nbUselessRevisions=591244
1.99 nbAssignments=1510 nbFailedAssignments=120 nbBacktracks=811 nbVisitedNodes=1517 nbRestartNogoods=20
1.99 mapSize=195 nbInferences=0 nbTooLargeKeys=0
1.99 => wckTime=0.84 cpuTime=0.78 mem=20M125
2.13
2.13 search
2.13 run=9 nbConstraintChecks=307253 nbPropagations=65260 nbRevisions=910491 nbUselessRevisions=795323
2.13 nbAssignments=1977 nbFailedAssignments=168 nbBacktracks=1199 nbVisitedNodes=2084 nbRestartNogoods=23
2.13 mapSize=291 nbInferences=0 nbTooLargeKeys=0
2.13 => wckTime=0.987 cpuTime=0.91 mem=20M125
2.31
2.31 search
2.31 run=10 nbConstraintChecks=406528 nbPropagations=82515 nbRevisions=1210804 nbUselessRevisions=1062593
2.31 nbAssignments=2675 nbFailedAssignments=246 nbBacktracks=1786 nbVisitedNodes=2910 nbRestartNogoods=27
2.31 mapSize=417 nbInferences=0 nbTooLargeKeys=0
2.31 => wckTime=1.163 cpuTime=1.07 mem=20M125
2.57
2.57 search
2.57 run=11 nbConstraintChecks=591226 nbPropagations=105765 nbRevisions=1638460 nbUselessRevisions=1444020
2.57 nbAssignments=3692 nbFailedAssignments=352 nbBacktracks=2668 nbVisitedNodes=4127 nbRestartNogoods=29
2.57 mapSize=613 nbInferences=0 nbTooLargeKeys=0
2.57 => wckTime=1.424 cpuTime=1.33 mem=21M100
2.92
2.92 search
2.92 run=12 nbConstraintChecks=829057 nbPropagations=136914 nbRevisions=2234757 nbUselessRevisions=1977630
2.92 nbAssignments=5194 nbFailedAssignments=513 nbBacktracks=3976 nbVisitedNodes=5922 nbRestartNogoods=33
2.92 mapSize=902 nbInferences=0 nbTooLargeKeys=0
2.92 => wckTime=1.778 cpuTime=1.68 mem=22M75
3.07
3.07 INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=22M75)
3.40
3.40 search
3.40 run=13 nbConstraintChecks=1170024 nbPropagations=179852 nbRevisions=3064870 nbUselessRevisions=2720732
3.40 nbAssignments=7406 nbFailedAssignments=727 nbBacktracks=5930 nbVisitedNodes=8554 nbRestartNogoods=37
3.40 => wckTime=2.253 cpuTime=2.14 mem=22M75
4.14
4.14 search
4.14 run=14 nbConstraintChecks=1841057 nbPropagations=244891 nbRevisions=4360687 nbUselessRevisions=3881895
4.14 nbAssignments=10918 nbFailedAssignments=1153 nbBacktracks=8850 nbVisitedNodes=12759 nbRestartNogoods=50
4.14 => wckTime=2.992 cpuTime=2.87 mem=22M75
5.31
5.31 search
5.31 run=15 nbConstraintChecks=2911241 nbPropagations=345279 nbRevisions=6392487 nbUselessRevisions=5702305
5.31 nbAssignments=16108 nbFailedAssignments=1888 nbBacktracks=13236 nbVisitedNodes=19290 nbRestartNogoods=58
5.31 => wckTime=4.161 cpuTime=4.03 mem=22M75
7.38
7.38 search
7.38 run=16 nbConstraintChecks=5090141 nbPropagations=513385 nbRevisions=9958210 nbUselessRevisions=8908313
7.38 nbAssignments=24069 nbFailedAssignments=3261 nbBacktracks=19807 nbVisitedNodes=29723 nbRestartNogoods=62
7.38 => wckTime=6.235 cpuTime=6.09 mem=22M75
10.41
10.41 search
10.41 run=17 nbConstraintChecks=8170664 nbPropagations=782881 nbRevisions=15655880 nbUselessRevisions=14033596
10.41 nbAssignments=36107 nbFailedAssignments=5425 nbBacktracks=29661 nbVisitedNodes=45833 nbRestartNogoods=66
10.41 => wckTime=9.268 cpuTime=9.1 mem=22M75
15.13
15.13 search
15.13 run=18 nbConstraintChecks=12939217 nbPropagations=1210587 nbRevisions=24658541 nbUselessRevisions=22134120
15.13 nbAssignments=54247 nbFailedAssignments=8755 nbBacktracks=44445 nbVisitedNodes=70188 nbRestartNogoods=70
15.13 => wckTime=13.984 cpuTime=13.78 mem=22M75
22.90
22.90 search
22.90 run=19 nbConstraintChecks=21625410 nbPropagations=1905756 nbRevisions=39779287 nbUselessRevisions=35762946
22.90 nbAssignments=81677 nbFailedAssignments=13943 nbBacktracks=66624 nbVisitedNodes=107362 nbRestartNogoods=78
22.90 => wckTime=21.751 cpuTime=21.5 mem=22M75
34.48
34.48 search
34.48 run=20 nbConstraintChecks=34596984 nbPropagations=3005692 nbRevisions=64017087 nbUselessRevisions=57644179
34.48 nbAssignments=122205 nbFailedAssignments=21199 nbBacktracks=99882 nbVisitedNodes=161634 nbRestartNogoods=91
34.48 => wckTime=33.332 cpuTime=33.03 mem=22M75
51.71
51.71 search
51.71 run=21 nbConstraintChecks=54743974 nbPropagations=4739152 nbRevisions=102408774 nbUselessRevisions=92331287
51.71 nbAssignments=184090 nbFailedAssignments=33180 nbBacktracks=149770 nbVisitedNodes=245786 nbRestartNogoods=97
51.71 => wckTime=50.56 cpuTime=50.16 mem=22M75
76.11
76.11 search
76.11 run=22 nbConstraintChecks=83858360 nbPropagations=7382554 nbRevisions=161252551 nbUselessRevisions=145517450
76.11 nbAssignments=273098 nbFailedAssignments=50819 nbBacktracks=220739 nbVisitedNodes=368161 nbRestartNogoods=106
76.11 => wckTime=74.965 cpuTime=74.44 mem=22M75
76.11
76.11 global
76.11 nbConstraintChecks=83950253 nbPropagations=7384815 nbRevisions=161276979 nbUselessRevisions=145537456
76.11 nbRestartNogoods=106 solvingWckTime=74.966 solvingCpuTime=74.44 expiredTime=no totalExploration=no
76.11 nbFoundSolutions=1 globalCpuTime=75.02
76.11 => wckTime=75.77 cpuTime=74.98 mem=22M75
76.11
76.11 s SATISFIABLE
76.11 v 16 11 8 15 6 2 10 19 9 0 7 14 5 1 18 13 3 12 17 4 8 9 7 4 17 12 18 14 19 16 0 10 1 15 13 11 5 3 2 6 2 18 3 9 0 16 4 12 5 17 10 6 15 8 7 1 19 13 14 11 7 14 18 17 3 10 11 1 13 4 15 0 2 9 16 19 12 8 6 5 18 3 12 5 15 0 8 6 14 10 13 17 4 2 9 16 7 19 11 1 17 6 0 3 4 14 19 9 10 8 2 16 13 12 11 5 18 15 1 7 13 15 5 16 8 11 12 4 0 2 1 18 6 17 14 3 10 7 9 19 1 4 10 6 14 5 9 18 3 13 16 2 0 7 12 15 8 11 19 17 15 16 1 14 7 19 0 5 18 9 6 12 17 4 8 10 11 2 3 13 9 1 19 12 11 7 5 0 6 15 3 8 18 13 4 17 14 10 16 2 19 0 15 8 10 18 17 13 11 12 9 4 7 14 1 2 16 6 5 3 3 19 11 2 13 6 7 10 15 1 18 5 8 16 0 9 4 17 12 14 0 10 16 19 1 9 14 17 2 6 4 7 11 18 3 8 15 5 13 12 12 17 4 1 5 3 13 8 16 7 19 15 9 11 2 6 0 14 10 18 5 8 17 7 18 1 2 3 4 11 12 13 19 6 10 14 9 16 0 15 14 5 9 10 2 13 15 16 7 18 11 3 12 19 17 0 6 1 4 8 6 12 2 11 16 8 3 15 1 19 17 9 14 0 5 7 13 4 18 10 10 7 13 18 12 17 1 11 8 14 5 19 16 3 6 4 2 0 15 9 11 2 6 13 19 4 16 7 12 5 14 1 3 10 15 18 17 9 8 0 4 13 14 0 9 15 6 2 17 3 8 11 10 5 19 12 1 18 7 16
76.11 d NODES 273098
76.11 d CHECKS 83950253
76.11
76.11 totalWckTime=75.852 totalCpuTime=75.04
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node25/watcher-239877-1168368122 -o ROOT/results/node25/solver-239877-1168368122 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/239877-1168368122/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.97 1.97 1.84 4/94 21830
/proc/meminfo: memFree=1798128/2055920 swapFree=4170236/4192956
[pid=21829] ppid=21827 vsize=12076 CPUtime=0
/proc/21829/stat : 21829 (java) D 21827 21829 20681 0 -1 0 796 0 1 0 0 0 0 0 17 0 1 0 185204581 12365824 545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/21829/statm: 3019 545 450 14 0 1602 0
[startup+0.105813 s]
/proc/loadavg: 1.97 1.97 1.84 4/94 21830
/proc/meminfo: memFree=1798128/2055920 swapFree=4170236/4192956
[pid=21829] ppid=21827 vsize=911488 CPUtime=0.06
/proc/21829/stat : 21829 (java) R 21827 21829 20681 0 -1 0 2575 0 1 0 5 1 0 0 20 0 8 0 185204581 933363712 2322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154537475 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21829/statm: 227872 2322 1266 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.513883 s]
/proc/loadavg: 1.97 1.97 1.84 4/94 21830
/proc/meminfo: memFree=1798128/2055920 swapFree=4170236/4192956
[pid=21829] ppid=21827 vsize=915328 CPUtime=0.47
/proc/21829/stat : 21829 (java) R 21827 21829 20681 0 -1 0 6386 0 1 0 43 4 0 0 18 0 8 0 185204581 937295872 6125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153627493 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21829/statm: 228832 6125 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33703 s]
/proc/loadavg: 1.97 1.97 1.84 3/101 21837
/proc/meminfo: memFree=1762168/2055920 swapFree=4170236/4192956
[pid=21829] ppid=21827 vsize=915676 CPUtime=1.28
/proc/21829/stat : 21829 (java) R 21827 21829 20681 0 -1 0 11704 0 1 0 120 8 0 0 23 0 8 0 185204581 937652224 11442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073983976 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21829/statm: 228919 11442 2523 14 0 215389 0
[pid=21829/tid=21831] ppid=21827 vsize=915676 CPUtime=0.06
/proc/21829/task/21831/stat : 21831 (java) S 21827 21829 20681 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 185204588 937652224 11442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21832] ppid=21827 vsize=915676 CPUtime=0
/proc/21829/task/21832/stat : 21832 (java) S 21827 21829 20681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185204588 937652224 11442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21833] ppid=21827 vsize=915676 CPUtime=0
/proc/21829/task/21833/stat : 21833 (java) S 21827 21829 20681 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185204588 937652224 11442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21834] ppid=21827 vsize=915676 CPUtime=0
/proc/21829/task/21834/stat : 21834 (java) S 21827 21829 20681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185204592 937652224 11442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21835] ppid=21827 vsize=915676 CPUtime=0.26
/proc/21829/task/21835/stat : 21835 (java) S 21827 21829 20681 0 -1 64 459 0 0 0 25 1 0 0 15 0 8 0 185204592 937652224 11442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21836] ppid=21827 vsize=915676 CPUtime=0
/proc/21829/task/21836/stat : 21836 (java) S 21827 21829 20681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185204592 937652224 11442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21837] ppid=21827 vsize=915676 CPUtime=0
/proc/21829/task/21837/stat : 21837 (java) S 21827 21829 20681 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185204592 937652224 11442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915676
[startup+2.9873 s]
/proc/loadavg: 1.97 1.97 1.84 3/101 21837
/proc/meminfo: memFree=1761912/2055920 swapFree=4170236/4192956
[pid=21829] ppid=21827 vsize=915676 CPUtime=2.91
/proc/21829/stat : 21829 (java) R 21827 21829 20681 0 -1 0 11733 0 1 0 283 8 0 0 25 0 8 0 185204581 937652224 11469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073938888 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21829/statm: 228919 11469 2524 14 0 215389 0
[pid=21829/tid=21831] ppid=21827 vsize=915676 CPUtime=0.06
/proc/21829/task/21831/stat : 21831 (java) S 21827 21829 20681 0 -1 64 842 0 0 0 6 0 0 0 17 0 8 0 185204588 937652224 11469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21832] ppid=21827 vsize=915676 CPUtime=0
/proc/21829/task/21832/stat : 21832 (java) S 21827 21829 20681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185204588 937652224 11469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21833] ppid=21827 vsize=915676 CPUtime=0
/proc/21829/task/21833/stat : 21833 (java) S 21827 21829 20681 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185204588 937652224 11469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21834] ppid=21827 vsize=915676 CPUtime=0
/proc/21829/task/21834/stat : 21834 (java) S 21827 21829 20681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185204592 937652224 11469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21835] ppid=21827 vsize=915676 CPUtime=0.32
/proc/21829/task/21835/stat : 21835 (java) S 21827 21829 20681 0 -1 64 485 0 0 0 31 1 0 0 15 0 8 0 185204592 937652224 11469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21836] ppid=21827 vsize=915676 CPUtime=0
/proc/21829/task/21836/stat : 21836 (java) S 21827 21829 20681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185204592 937652224 11469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21837] ppid=21827 vsize=915676 CPUtime=0
/proc/21829/task/21837/stat : 21837 (java) S 21827 21829 20681 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185204592 937652224 11469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915676
[startup+6.27449 s]
/proc/loadavg: 1.97 1.97 1.84 3/101 21837
/proc/meminfo: memFree=1761912/2055920 swapFree=4170236/4192956
[pid=21829] ppid=21827 vsize=915676 CPUtime=6.16
/proc/21829/stat : 21829 (java) R 21827 21829 20681 0 -1 0 11735 0 1 0 608 8 0 0 25 0 8 0 185204581 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073978954 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21829/statm: 228919 11470 2524 14 0 215389 0
[pid=21829/tid=21831] ppid=21827 vsize=915676 CPUtime=0.06
/proc/21829/task/21831/stat : 21831 (java) S 21827 21829 20681 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 185204588 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21832] ppid=21827 vsize=915676 CPUtime=0
/proc/21829/task/21832/stat : 21832 (java) S 21827 21829 20681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185204588 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21833] ppid=21827 vsize=915676 CPUtime=0
/proc/21829/task/21833/stat : 21833 (java) S 21827 21829 20681 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185204588 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21834] ppid=21827 vsize=915676 CPUtime=0
/proc/21829/task/21834/stat : 21834 (java) S 21827 21829 20681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185204592 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21835] ppid=21827 vsize=915676 CPUtime=0.32
/proc/21829/task/21835/stat : 21835 (java) S 21827 21829 20681 0 -1 64 486 0 0 0 31 1 0 0 17 0 8 0 185204592 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21836] ppid=21827 vsize=915676 CPUtime=0
/proc/21829/task/21836/stat : 21836 (java) S 21827 21829 20681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185204592 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21837] ppid=21827 vsize=915676 CPUtime=0
/proc/21829/task/21837/stat : 21837 (java) S 21827 21829 20681 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185204592 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915676
[startup+12.771 s]
/proc/loadavg: 1.98 1.97 1.84 3/101 21837
/proc/meminfo: memFree=1761848/2055920 swapFree=4170236/4192956
[pid=21829] ppid=21827 vsize=915676 CPUtime=12.59
/proc/21829/stat : 21829 (java) R 21827 21829 20681 0 -1 0 11735 0 1 0 1251 8 0 0 25 0 8 0 185204581 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073953120 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21829/statm: 228919 11470 2524 14 0 215389 0
[pid=21829/tid=21831] ppid=21827 vsize=915676 CPUtime=0.06
/proc/21829/task/21831/stat : 21831 (java) S 21827 21829 20681 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 185204588 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21832] ppid=21827 vsize=915676 CPUtime=0
/proc/21829/task/21832/stat : 21832 (java) S 21827 21829 20681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185204588 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21833] ppid=21827 vsize=915676 CPUtime=0
/proc/21829/task/21833/stat : 21833 (java) S 21827 21829 20681 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185204588 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21834] ppid=21827 vsize=915676 CPUtime=0
/proc/21829/task/21834/stat : 21834 (java) S 21827 21829 20681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185204592 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21835] ppid=21827 vsize=915676 CPUtime=0.32
/proc/21829/task/21835/stat : 21835 (java) S 21827 21829 20681 0 -1 64 486 0 0 0 31 1 0 0 17 0 8 0 185204592 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21836] ppid=21827 vsize=915676 CPUtime=0
/proc/21829/task/21836/stat : 21836 (java) S 21827 21829 20681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185204592 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21837] ppid=21827 vsize=915676 CPUtime=0
/proc/21829/task/21837/stat : 21837 (java) S 21827 21829 20681 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185204592 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915676
[startup+25.602 s]
/proc/loadavg: 1.98 1.97 1.84 3/101 21837
/proc/meminfo: memFree=1761912/2055920 swapFree=4170236/4192956
[pid=21829] ppid=21827 vsize=915676 CPUtime=25.37
/proc/21829/stat : 21829 (java) R 21827 21829 20681 0 -1 0 11735 0 1 0 2528 9 0 0 25 0 8 0 185204581 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073938871 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21829/statm: 228919 11470 2524 14 0 215389 0
[pid=21829/tid=21831] ppid=21827 vsize=915676 CPUtime=0.06
/proc/21829/task/21831/stat : 21831 (java) S 21827 21829 20681 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 185204588 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21832] ppid=21827 vsize=915676 CPUtime=0
/proc/21829/task/21832/stat : 21832 (java) S 21827 21829 20681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185204588 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21833] ppid=21827 vsize=915676 CPUtime=0
/proc/21829/task/21833/stat : 21833 (java) S 21827 21829 20681 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185204588 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21834] ppid=21827 vsize=915676 CPUtime=0
/proc/21829/task/21834/stat : 21834 (java) S 21827 21829 20681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185204592 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21835] ppid=21827 vsize=915676 CPUtime=0.32
/proc/21829/task/21835/stat : 21835 (java) S 21827 21829 20681 0 -1 64 486 0 0 0 31 1 0 0 17 0 8 0 185204592 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21836] ppid=21827 vsize=915676 CPUtime=0
/proc/21829/task/21836/stat : 21836 (java) S 21827 21829 20681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185204592 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21837] ppid=21827 vsize=915676 CPUtime=0
/proc/21829/task/21837/stat : 21837 (java) S 21827 21829 20681 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185204592 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915676
[startup+51.2193 s]
/proc/loadavg: 1.92 1.96 1.84 3/93 22117
/proc/meminfo: memFree=1771376/2055920 swapFree=4170236/4192956
[pid=21829] ppid=21827 vsize=915676 CPUtime=50.85
/proc/21829/stat : 21829 (java) R 21827 21829 20681 0 -1 0 11735 0 1 0 5075 10 0 0 25 0 8 0 185204581 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073964225 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21829/statm: 228919 11470 2524 14 0 215389 0
[pid=21829/tid=21831] ppid=21827 vsize=915676 CPUtime=0.06
/proc/21829/task/21831/stat : 21831 (java) S 21827 21829 20681 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 185204588 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21832] ppid=21827 vsize=915676 CPUtime=0
/proc/21829/task/21832/stat : 21832 (java) S 21827 21829 20681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185204588 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21833] ppid=21827 vsize=915676 CPUtime=0
/proc/21829/task/21833/stat : 21833 (java) S 21827 21829 20681 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185204588 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21834] ppid=21827 vsize=915676 CPUtime=0
/proc/21829/task/21834/stat : 21834 (java) S 21827 21829 20681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185204592 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21835] ppid=21827 vsize=915676 CPUtime=0.32
/proc/21829/task/21835/stat : 21835 (java) S 21827 21829 20681 0 -1 64 486 0 0 0 31 1 0 0 16 0 8 0 185204592 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21836] ppid=21827 vsize=915676 CPUtime=0
/proc/21829/task/21836/stat : 21836 (java) S 21827 21829 20681 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185204592 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21829/tid=21837] ppid=21827 vsize=915676 CPUtime=0
/proc/21829/task/21837/stat : 21837 (java) S 21827 21829 20681 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185204592 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 915676
Child status: 0
Real time (s): 76.143
CPU time (s): 75.6495
CPU user time (s): 75.5355
CPU system time (s): 0.113982
CPU usage (%): 99.3519
Max. virtual memory (cumulated for all children) (KiB): 915780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 75.5355
system time used= 0.113982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11747
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= 2913
involuntary context switches= 4212
runsolver used 0.089986 s user time and 0.26196 s system time
The end
Begin job on node25 on Tue Jan 9 18:42:02 UTC 2007
IDJOB= 239877
IDBENCH= 7088
FILE ID= node25/239877-1168368122
PBS_JOBID= 3504076
Free space on /tmp= 66562 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QWH-20/qwh-20-166-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/239877-1168368122/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-239877-1168368122 -o ROOT/results/node25/solver-239877-1168368122 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/239877-1168368122/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1e75ff834f43b71f39c215be1aeba93c
RANDOM SEED= 520106226
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.279
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.279
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: 1798544 kB
Buffers: 31280 kB
Cached: 126552 kB
SwapCached: 2784 kB
Active: 130972 kB
Inactive: 73864 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1798544 kB
SwapTotal: 4192956 kB
SwapFree: 4170236 kB
Dirty: 2196 kB
Writeback: 0 kB
Mapped: 63424 kB
Slab: 37068 kB
Committed_AS: 3975600 kB
PageTables: 2424 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= 66559 MiB
End job on node25 on Tue Jan 9 18:43:18 UTC 2007