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/198052-1168126710/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=10 nbDomainTypes=1 minDomainSize=45 maxDomainSize=45
0.38 => wckTime=0.089 cpuTime=0.08 mem=6M951
0.38
0.38 predicates being loaded...
0.38
0.38 constraints being loaded...
0.71 nbConstraints=375 nbMergedConstraints=540 nbConvertedConstraints=45 nbConvertConstraintsChecks=93150
0.71 nbExtensionStructures=1 nbSharedExtensionStructures=44 nbConflictsStructures=2 nbSharedConflictsStructures=163
0.71 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=1 nbEvaluationManagers=2
0.71 nbSharedEvaluationManagers=328 maxDegree=129 maxArity=4
0.71 => wckTime=0.416 cpuTime=0.3 mem=13M778
0.74
0.74 solver IterativeSystematicSolver being built...
0.92 => wckTime=0.629 cpuTime=0.45 mem=17M495
1.33
1.33 preprocessing
1.33 nbConstraintChecks=363087 nbValidityChecks=551137 nbPropagations=301 nbRevisions=37225 nbUselessRevisions=36111
1.33 nbSingletonTests=58 nbEffectiveSingletonTests=7 nbESACBranches=18 nbRemovedValues=113 detectedInconsistency=no
1.33 => wckTime=0.407 cpuTime=0.39 mem=18M470
1.55
1.55 search
1.55 run=0 nbConstraintChecks=215997 nbValidityChecks=298510 nbPropagations=457 nbRevisions=54993
1.55 nbUselessRevisions=53497 nbAssignments=26 nbFailedAssignments=15 nbBacktracks=10 nbVisitedNodes=49
1.55 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.55 => wckTime=0.626 cpuTime=0.6 mem=18M470
1.91
1.91 search
1.91 run=1 nbConstraintChecks=577373 nbValidityChecks=805148 nbPropagations=1163 nbRevisions=140835
1.91 nbUselessRevisions=137140 nbAssignments=71 nbFailedAssignments=42 nbBacktracks=27 nbVisitedNodes=131
1.91 nbRestartNogoods=3 mapSize=26 nbInferences=0 nbTooLargeKeys=0
1.92 => wckTime=0.992 cpuTime=0.96 mem=18M470
2.41
2.41 search
2.41 run=2 nbConstraintChecks=1029877 nbValidityChecks=1662843 nbPropagations=2305 nbRevisions=286402
2.41 nbUselessRevisions=277922 nbAssignments=176 nbFailedAssignments=123 nbBacktracks=50 nbVisitedNodes=331
2.41 nbRestartNogoods=3 mapSize=46 nbInferences=0 nbTooLargeKeys=0
2.41 => wckTime=1.485 cpuTime=1.45 mem=18M470
3.03
3.03 search
3.03 run=3 nbConstraintChecks=1589658 nbValidityChecks=2770541 nbPropagations=4073 nbRevisions=514347
3.03 nbUselessRevisions=497926 nbAssignments=312 nbFailedAssignments=224 nbBacktracks=84 nbVisitedNodes=590
3.03 nbRestartNogoods=8 mapSize=75 nbInferences=0 nbTooLargeKeys=0
3.03 => wckTime=2.105 cpuTime=2.06 mem=18M470
4.04
4.04 search
4.04 run=4 nbConstraintChecks=2421603 nbValidityChecks=4993083 nbPropagations=7209 nbRevisions=934844
4.04 nbUselessRevisions=901539 nbAssignments=628 nbFailedAssignments=488 nbBacktracks=134 nbVisitedNodes=1198
4.04 nbRestartNogoods=12 mapSize=112 nbInferences=0 nbTooLargeKeys=0
4.04 => wckTime=3.12 cpuTime=3.07 mem=18M470
5.37
5.37 search
5.37 run=5 nbConstraintChecks=3499559 nbValidityChecks=7918226 nbPropagations=12317 nbRevisions=1628694
5.37 nbUselessRevisions=1566298 nbAssignments=1073 nbFailedAssignments=851 nbBacktracks=209 nbVisitedNodes=2041
5.37 nbRestartNogoods=16 mapSize=165 nbInferences=0 nbTooLargeKeys=0
5.37 => wckTime=4.447 cpuTime=4.39 mem=18M470
6.29
6.30 search
6.30 run=6 nbConstraintChecks=4300524 nbValidityChecks=9360943 nbPropagations=18851 nbRevisions=2520928
6.30 nbUselessRevisions=2423301 nbAssignments=1428 nbFailedAssignments=1085 nbBacktracks=323 nbVisitedNodes=2708
6.30 nbRestartNogoods=25 mapSize=267 nbInferences=0 nbTooLargeKeys=0
6.30 => wckTime=5.373 cpuTime=5.31 mem=18M470
7.67
7.67 search
7.67 run=7 nbConstraintChecks=5468266 nbValidityChecks=11630540 nbPropagations=27588 nbRevisions=3707667
7.67 nbUselessRevisions=3564720 nbAssignments=1961 nbFailedAssignments=1430 nbBacktracks=493 nbVisitedNodes=3699
7.67 nbRestartNogoods=43 mapSize=422 nbInferences=0 nbTooLargeKeys=0
7.67 => wckTime=6.748 cpuTime=6.67 mem=18M470
10.51
10.51 search
10.51 run=8 nbConstraintChecks=7840189 nbValidityChecks=16569065 nbPropagations=41510 nbRevisions=5579143
10.51 nbUselessRevisions=5367757 nbAssignments=3065 nbFailedAssignments=2238 nbBacktracks=749 nbVisitedNodes=5778
10.51 nbRestartNogoods=55 mapSize=669 nbInferences=0 nbTooLargeKeys=0
10.51 => wckTime=9.583 cpuTime=9.49 mem=18M470
16.75
16.75 search
16.75 run=9 nbConstraintChecks=13150875 nbValidityChecks=28640640 nbPropagations=65002 nbRevisions=8777664
16.75 nbUselessRevisions=8440096 nbAssignments=5380 nbFailedAssignments=4088 nbBacktracks=1133 nbVisitedNodes=10081
16.75 nbRestartNogoods=78 mapSize=956 nbInferences=0 nbTooLargeKeys=0
16.75 => wckTime=15.823 cpuTime=15.72 mem=18M470
17.63
17.63 INFO : Stopping hyperNogood (mapSize=1004, nbTooLargekeys=0, mem=18M470)
24.62
24.62 search
24.62 run=10 nbConstraintChecks=19761362 nbValidityChecks=43317071 nbPropagations=101901 nbRevisions=13860239
24.62 nbUselessRevisions=13317713 nbAssignments=8702 nbFailedAssignments=6831 nbBacktracks=1710 nbVisitedNodes=16473
24.62 nbRestartNogoods=83
24.62 => wckTime=23.697 cpuTime=23.58 mem=18M470
35.95
35.95 search
35.95 run=11 nbConstraintChecks=28941867 nbValidityChecks=63291528 nbPropagations=158649 nbRevisions=21761089
35.95 nbUselessRevisions=20905485 nbAssignments=13603 nbFailedAssignments=10867 nbBacktracks=2574
35.95 nbVisitedNodes=25914 nbRestartNogoods=93
35.95 => wckTime=35.028 cpuTime=34.88 mem=18M470
48.90
48.90 search
48.90 run=12 nbConstraintChecks=39215152 nbValidityChecks=80942133 nbPropagations=234275 nbRevisions=32481411
48.90 nbUselessRevisions=31214270 nbAssignments=17783 nbFailedAssignments=13746 nbBacktracks=3872
48.90 nbVisitedNodes=34013 nbRestartNogoods=102
48.90 => wckTime=47.978 cpuTime=47.71 mem=18M470
66.00
66.00 search
66.00 run=13 nbConstraintChecks=52960862 nbValidityChecks=103589602 nbPropagations=334041 nbRevisions=46821846
66.00 nbUselessRevisions=45023551 nbAssignments=22432 nbFailedAssignments=16443 nbBacktracks=5818
66.00 nbVisitedNodes=42885 nbRestartNogoods=114
66.00 => wckTime=65.076 cpuTime=64.65 mem=18M470
91.92
91.92 search
91.92 run=14 nbConstraintChecks=73966387 nbValidityChecks=138004691 nbPropagations=467833 nbRevisions=66367283
91.92 nbUselessRevisions=63858179 nbAssignments=29220 nbFailedAssignments=20308 nbBacktracks=8737
91.92 nbVisitedNodes=55816 nbRestartNogoods=121
91.92 => wckTime=90.996 cpuTime=90.25 mem=18M470
106.06
106.06 search
106.06 run=15 nbConstraintChecks=85573730 nbValidityChecks=156920699 nbPropagations=617778 nbRevisions=88440175
106.06 nbUselessRevisions=85126927 nbAssignments=32570 nbFailedAssignments=22198 nbBacktracks=10194
106.06 nbVisitedNodes=62127 nbRestartNogoods=137
106.06 => wckTime=105.14 cpuTime=104.22 mem=18M470
106.06
106.06 global
106.06 nbConstraintChecks=85936817 nbValidityChecks=157471836 nbPropagations=618079 nbRevisions=88477400
106.06 nbUselessRevisions=85163038 nbRestartNogoods=137 solvingWckTime=105.141 solvingCpuTime=104.23 expiredTime=no
106.06 totalExploration=yes nbFoundSolutions=0 globalCpuTime=104.72
106.06 => wckTime=105.773 cpuTime=104.68 mem=18M470
106.07
106.07 s UNSATISFIABLE
106.07 d NODES 32570
106.07 d CHECKS 85936817
106.07
106.07 totalWckTime=105.85 totalCpuTime=104.72
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-198052-1168126710 -o ROOT/results/node10/solver-198052-1168126710 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198052-1168126710/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.90 1.57 1.17 4/83 13961
/proc/meminfo: memFree=1026352/2055920 swapFree=4178332/4192956
[pid=13960] ppid=13958 vsize=172 CPUtime=0
/proc/13960/stat : 13960 (java) R 13958 13960 13893 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 161066190 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8905508 0 0 4096 0 0 0 0 17 0 0 0
/proc/13960/statm: 43 24 18 14 0 3 0
[startup+0.108257 s]
/proc/loadavg: 1.90 1.57 1.17 4/83 13961
/proc/meminfo: memFree=1026352/2055920 swapFree=4178332/4192956
[pid=13960] ppid=13958 vsize=914988 CPUtime=0.09
/proc/13960/stat : 13960 (java) R 13958 13960 13893 0 -1 0 3080 0 1 0 8 1 0 0 22 0 8 0 161066190 936947712 2826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13960/statm: 228747 2827 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516312 s]
/proc/loadavg: 1.90 1.57 1.17 4/83 13961
/proc/meminfo: memFree=1026352/2055920 swapFree=4178332/4192956
[pid=13960] ppid=13958 vsize=915328 CPUtime=0.49
/proc/13960/stat : 13960 (java) R 13958 13960 13893 0 -1 0 6648 0 1 0 45 4 0 0 25 0 8 0 161066190 937295872 6387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073551437 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13960/statm: 228832 6387 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33942 s]
/proc/loadavg: 1.90 1.57 1.17 3/90 13968
/proc/meminfo: memFree=982008/2055920 swapFree=4178332/4192956
[pid=13960] ppid=13958 vsize=915576 CPUtime=1.32
/proc/13960/stat : 13960 (java) R 13958 13960 13893 0 -1 0 9440 0 1 0 124 8 0 0 25 0 8 0 161066190 937549824 9178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073854858 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13960/statm: 228894 9178 2542 14 0 215364 0
[pid=13960/tid=13962] ppid=13958 vsize=915576 CPUtime=0.02
/proc/13960/task/13962/stat : 13962 (java) S 13958 13960 13893 0 -1 64 180 0 0 0 2 0 0 0 16 0 8 0 161066194 937549824 9178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13963] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13963/stat : 13963 (java) S 13958 13960 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161066195 937549824 9178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13964] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13964/stat : 13964 (java) S 13958 13960 13893 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161066195 937549824 9178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13965] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13965/stat : 13965 (java) S 13958 13960 13893 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161066198 937549824 9178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13966] ppid=13958 vsize=915576 CPUtime=0.21
/proc/13960/task/13966/stat : 13966 (java) S 13958 13960 13893 0 -1 64 404 0 0 0 20 1 0 0 15 0 8 0 161066198 937549824 9178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13967] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13967/stat : 13967 (java) S 13958 13960 13893 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161066198 937549824 9178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13968] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13968/stat : 13968 (java) S 13958 13960 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161066198 937549824 9181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915576
[startup+2.99265 s]
/proc/loadavg: 1.90 1.57 1.17 3/90 13968
/proc/meminfo: memFree=963960/2055920 swapFree=4178332/4192956
[pid=13960] ppid=13958 vsize=915576 CPUtime=2.97
/proc/13960/stat : 13960 (java) R 13958 13960 13893 0 -1 0 9539 0 1 0 288 9 0 0 25 0 8 0 161066190 937549824 9275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073746648 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13960/statm: 228894 9275 2543 14 0 215364 0
[pid=13960/tid=13962] ppid=13958 vsize=915576 CPUtime=0.02
/proc/13960/task/13962/stat : 13962 (java) S 13958 13960 13893 0 -1 64 180 0 0 0 2 0 0 0 17 0 8 0 161066194 937549824 9275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13963] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13963/stat : 13963 (java) S 13958 13960 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161066195 937549824 9275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13964] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13964/stat : 13964 (java) S 13958 13960 13893 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161066195 937549824 9275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13965] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13965/stat : 13965 (java) S 13958 13960 13893 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161066198 937549824 9275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13966] ppid=13958 vsize=915576 CPUtime=0.23
/proc/13960/task/13966/stat : 13966 (java) S 13958 13960 13893 0 -1 64 409 0 0 0 22 1 0 0 16 0 8 0 161066198 937549824 9275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13967] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13967/stat : 13967 (java) S 13958 13960 13893 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161066198 937549824 9275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13968] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13968/stat : 13968 (java) S 13958 13960 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161066198 937549824 9275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915576
[startup+6.2911 s]
/proc/loadavg: 1.90 1.58 1.17 3/90 13968
/proc/meminfo: memFree=910528/2055920 swapFree=4178332/4192956
[pid=13960] ppid=13958 vsize=915576 CPUtime=6.27
/proc/13960/stat : 13960 (java) R 13958 13960 13893 0 -1 0 9565 0 1 0 618 9 0 0 25 0 8 0 161066190 937549824 9298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073924596 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13960/statm: 228894 9298 2543 14 0 215364 0
[pid=13960/tid=13962] ppid=13958 vsize=915576 CPUtime=0.02
/proc/13960/task/13962/stat : 13962 (java) S 13958 13960 13893 0 -1 64 180 0 0 0 2 0 0 0 17 0 8 0 161066194 937549824 9298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13963] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13963/stat : 13963 (java) S 13958 13960 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161066195 937549824 9298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13964] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13964/stat : 13964 (java) S 13958 13960 13893 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161066195 937549824 9298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13965] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13965/stat : 13965 (java) S 13958 13960 13893 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161066198 937549824 9298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13966] ppid=13958 vsize=915576 CPUtime=0.24
/proc/13960/task/13966/stat : 13966 (java) S 13958 13960 13893 0 -1 64 417 0 0 0 23 1 0 0 15 0 8 0 161066198 937549824 9298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13967] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13967/stat : 13967 (java) S 13958 13960 13893 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161066198 937549824 9298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13968] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13968/stat : 13968 (java) S 13958 13960 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161066198 937549824 9298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 915576
[startup+12.78 s]
/proc/loadavg: 1.92 1.59 1.18 3/90 13968
/proc/meminfo: memFree=804160/2055920 swapFree=4178332/4192956
[pid=13960] ppid=13958 vsize=915576 CPUtime=12.74
/proc/13960/stat : 13960 (java) R 13958 13960 13893 0 -1 0 9606 0 1 0 1265 9 0 0 25 0 8 0 161066190 937549824 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073742972 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13960/statm: 228894 9336 2543 14 0 215364 0
[pid=13960/tid=13962] ppid=13958 vsize=915576 CPUtime=0.02
/proc/13960/task/13962/stat : 13962 (java) S 13958 13960 13893 0 -1 64 180 0 0 0 2 0 0 0 16 0 8 0 161066194 937549824 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13963] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13963/stat : 13963 (java) S 13958 13960 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161066195 937549824 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13964] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13964/stat : 13964 (java) S 13958 13960 13893 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161066195 937549824 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13965] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13965/stat : 13965 (java) S 13958 13960 13893 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161066198 937549824 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13966] ppid=13958 vsize=915576 CPUtime=0.26
/proc/13960/task/13966/stat : 13966 (java) S 13958 13960 13893 0 -1 64 430 0 0 0 25 1 0 0 15 0 8 0 161066198 937549824 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13967] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13967/stat : 13967 (java) S 13958 13960 13893 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161066198 937549824 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13968] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13968/stat : 13968 (java) S 13958 13960 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161066198 937549824 9336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.74
Current children cumulated vsize (KiB) 915576
[startup+25.6287 s]
/proc/loadavg: 1.93 1.60 1.19 3/90 13968
/proc/meminfo: memFree=611072/2055920 swapFree=4178332/4192956
[pid=13960] ppid=13958 vsize=915576 CPUtime=25.58
/proc/13960/stat : 13960 (java) R 13958 13960 13893 0 -1 0 9627 0 1 0 2549 9 0 0 25 0 8 0 161066190 937549824 9356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073749220 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13960/statm: 228894 9356 2543 14 0 215364 0
[pid=13960/tid=13962] ppid=13958 vsize=915576 CPUtime=0.02
/proc/13960/task/13962/stat : 13962 (java) S 13958 13960 13893 0 -1 64 180 0 0 0 2 0 0 0 16 0 8 0 161066194 937549824 9356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13963] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13963/stat : 13963 (java) S 13958 13960 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161066195 937549824 9356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13964] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13964/stat : 13964 (java) S 13958 13960 13893 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161066195 937549824 9356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13965] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13965/stat : 13965 (java) S 13958 13960 13893 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161066198 937549824 9356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13966] ppid=13958 vsize=915576 CPUtime=0.27
/proc/13960/task/13966/stat : 13966 (java) S 13958 13960 13893 0 -1 64 434 0 0 0 26 1 0 0 16 0 8 0 161066198 937549824 9356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13967] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13967/stat : 13967 (java) S 13958 13960 13893 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161066198 937549824 9356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13968] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13968/stat : 13968 (java) S 13958 13960 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161066198 937549824 9356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 915576
[startup+51.2502 s]
/proc/loadavg: 1.83 1.60 1.20 3/104 14011
/proc/meminfo: memFree=1235792/2055920 swapFree=4178332/4192956
[pid=13960] ppid=13958 vsize=915576 CPUtime=51.03
/proc/13960/stat : 13960 (java) R 13958 13960 13893 0 -1 0 9632 0 1 0 5093 10 0 0 25 0 8 0 161066190 937549824 9361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13960/statm: 228894 9361 2543 14 0 215364 0
[pid=13960/tid=13962] ppid=13958 vsize=915576 CPUtime=0.02
/proc/13960/task/13962/stat : 13962 (java) S 13958 13960 13893 0 -1 64 180 0 0 0 2 0 0 0 16 0 8 0 161066194 937549824 9361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13963] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13963/stat : 13963 (java) S 13958 13960 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161066195 937549824 9361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13964] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13964/stat : 13964 (java) S 13958 13960 13893 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161066195 937549824 9361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13965] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13965/stat : 13965 (java) S 13958 13960 13893 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161066198 937549824 9361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13966] ppid=13958 vsize=915576 CPUtime=0.27
/proc/13960/task/13966/stat : 13966 (java) S 13958 13960 13893 0 -1 64 434 0 0 0 26 1 0 0 16 0 8 0 161066198 937549824 9361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13967] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13967/stat : 13967 (java) S 13958 13960 13893 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161066198 937549824 9361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13968] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13968/stat : 13968 (java) S 13958 13960 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161066198 937549824 9361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 915576
[startup+102.537 s]
/proc/loadavg: 2.01 1.68 1.24 3/104 14011
/proc/meminfo: memFree=1190032/2055920 swapFree=4178332/4192956
[pid=13960] ppid=13958 vsize=915576 CPUtime=101.74
/proc/13960/stat : 13960 (java) R 13958 13960 13893 0 -1 0 9637 0 1 0 10163 11 0 0 25 0 8 0 161066190 937549824 9366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073939415 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13960/statm: 228894 9366 2543 14 0 215364 0
[pid=13960/tid=13962] ppid=13958 vsize=915576 CPUtime=0.02
/proc/13960/task/13962/stat : 13962 (java) S 13958 13960 13893 0 -1 64 180 0 0 0 2 0 0 0 16 0 8 0 161066194 937549824 9366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13963] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13963/stat : 13963 (java) S 13958 13960 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161066195 937549824 9366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13964] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13964/stat : 13964 (java) S 13958 13960 13893 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161066195 937549824 9366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13965] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13965/stat : 13965 (java) S 13958 13960 13893 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161066198 937549824 9366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13966] ppid=13958 vsize=915576 CPUtime=0.27
/proc/13960/task/13966/stat : 13966 (java) S 13958 13960 13893 0 -1 64 434 0 0 0 26 1 0 0 16 0 8 0 161066198 937549824 9366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13967] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13967/stat : 13967 (java) S 13958 13960 13893 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161066198 937549824 9366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13960/tid=13968] ppid=13958 vsize=915576 CPUtime=0
/proc/13960/task/13968/stat : 13968 (java) S 13958 13960 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161066198 937549824 9366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 915576
Child status: 0
Real time (s): 106.1
CPU time (s): 105.241
CPU user time (s): 105.122
CPU system time (s): 0.118981
CPU usage (%): 99.1908
Max. virtual memory (cumulated for all children) (KiB): 915576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 105.122
system time used= 0.118981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9728
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= 3507
involuntary context switches= 5168
runsolver used 0.161975 s user time and 0.441932 s system time
The end
Begin job on node10 on Sat Jan 6 23:38:31 UTC 2007
IDJOB= 198052
IDBENCH= 3531
FILE ID= node10/198052-1168126710
PBS_JOBID= 3477694
Free space on /tmp= 66289 MiB
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity4/ruler-44-10-a4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198052-1168126710/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-198052-1168126710 -o ROOT/results/node10/solver-198052-1168126710 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198052-1168126710/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5a77c82d4a1b3da080370c15439dcb29
RANDOM SEED= 220682501
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.232
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.232
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: 1028112 kB
Buffers: 56784 kB
Cached: 577644 kB
SwapCached: 2120 kB
Active: 531708 kB
Inactive: 406216 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1028112 kB
SwapTotal: 4192956 kB
SwapFree: 4178332 kB
Dirty: 1940 kB
Writeback: 0 kB
Mapped: 316032 kB
Slab: 74340 kB
Committed_AS: 4063440 kB
PageTables: 2704 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= 66355 MiB
End job on node10 on Sat Jan 6 23:40:17 UTC 2007