0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/217778-1168079495/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.39 nbVariables=45 nbDomainTypes=2 minDomainSize=44 maxDomainSize=45
0.39 => wckTime=0.098 cpuTime=0.08 mem=6M951
0.39
0.39 predicates being loaded...
0.39
0.39 constraints being loaded...
0.69 nbConstraints=702 nbConvertedConstraints=666 nbConvertConstraintsChecks=93061 nbExtensionStructures=2
0.69 nbSharedExtensionStructures=664 nbConflictsStructures=3 nbSharedConflictsStructures=699
0.69 nbSharedBinaryRepresentations=46 nbEvaluationManagers=1 nbSharedEvaluationManagers=35 maxDegree=36 maxArity=3
0.69 => wckTime=0.396 cpuTime=0.29 mem=9M877
0.72
0.72 solver IterativeSystematicSolver being built...
0.87 => wckTime=0.584 cpuTime=0.42 mem=14M752
1.37
1.37 preprocessing
1.37 nbConstraintChecks=1684059 nbValidityChecks=10054 nbPropagations=54 nbRevisions=527 nbUselessRevisions=399
1.37 nbRemovedValues=240 detectedInconsistency=no
1.37 => wckTime=0.494 cpuTime=0.47 mem=14M752
1.92
1.92 search
1.92 run=0 nbConstraintChecks=1793113 nbValidityChecks=68437 nbPropagations=1198 nbRevisions=10061
1.92 nbUselessRevisions=7191 nbAssignments=22 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=40
1.92 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.92 => wckTime=1.045 cpuTime=1.01 mem=14M752
2.30
2.30 search
2.30 run=1 nbConstraintChecks=3022183 nbValidityChecks=149943 nbPropagations=4164 nbRevisions=35344
2.30 nbUselessRevisions=25494 nbAssignments=63 nbFailedAssignments=28 nbBacktracks=25 nbVisitedNodes=117
2.30 nbRestartNogoods=6 mapSize=25 nbInferences=0 nbTooLargeKeys=0
2.30 => wckTime=1.428 cpuTime=1.38 mem=14M752
2.57
2.57 search
2.57 run=2 nbConstraintChecks=3931991 nbValidityChecks=225683 nbPropagations=8434 nbRevisions=71681
2.57 nbUselessRevisions=51793 nbAssignments=108 nbFailedAssignments=45 nbBacktracks=48 nbVisitedNodes=185
2.57 nbRestartNogoods=14 mapSize=34 nbInferences=0 nbTooLargeKeys=0
2.57 => wckTime=1.693 cpuTime=1.64 mem=14M752
2.76
2.76 search
2.76 run=3 nbConstraintChecks=4596377 nbValidityChecks=276912 nbPropagations=13734 nbRevisions=115967
2.76 nbUselessRevisions=83616 nbAssignments=164 nbFailedAssignments=59 nbBacktracks=85 nbVisitedNodes=261
2.76 nbRestartNogoods=18 mapSize=43 nbInferences=0 nbTooLargeKeys=0
2.76 => wckTime=1.885 cpuTime=1.83 mem=14M752
3.12
3.12 search
3.12 run=4 nbConstraintChecks=5807774 nbValidityChecks=394364 nbPropagations=21596 nbRevisions=180877
3.12 nbUselessRevisions=130073 nbAssignments=253 nbFailedAssignments=92 nbBacktracks=138 nbVisitedNodes=402
3.12 nbRestartNogoods=23 mapSize=65 nbInferences=0 nbTooLargeKeys=0
3.12 => wckTime=2.245 cpuTime=2.19 mem=14M752
3.53
3.53 search
3.53 run=5 nbConstraintChecks=7184748 nbValidityChecks=509038 nbPropagations=32198 nbRevisions=264611
3.53 nbUselessRevisions=189090 nbAssignments=377 nbFailedAssignments=130 nbBacktracks=214 nbVisitedNodes=590
3.53 nbRestartNogoods=32 mapSize=92 nbInferences=0 nbTooLargeKeys=0
3.53 => wckTime=2.652 cpuTime=2.6 mem=14M752
3.89
3.89 search
3.89 run=6 nbConstraintChecks=8365518 nbValidityChecks=597700 nbPropagations=45674 nbRevisions=371386
3.89 nbUselessRevisions=265461 nbAssignments=548 nbFailedAssignments=178 nbBacktracks=327 nbVisitedNodes=836
3.89 nbRestartNogoods=49 mapSize=125 nbInferences=0 nbTooLargeKeys=0
3.89 => wckTime=3.01 cpuTime=2.95 mem=14M752
4.28
4.28 search
4.28 run=7 nbConstraintChecks=9660688 nbValidityChecks=732526 nbPropagations=64275 nbRevisions=522004
4.28 nbUselessRevisions=374185 nbAssignments=810 nbFailedAssignments=263 nbBacktracks=499 nbVisitedNodes=1225
4.28 nbRestartNogoods=57 mapSize=173 nbInferences=0 nbTooLargeKeys=0
4.28 => wckTime=3.409 cpuTime=3.35 mem=14M752
4.68
4.68 search
4.68 run=8 nbConstraintChecks=10856996 nbValidityChecks=853275 nbPropagations=90168 nbRevisions=736158
4.68 nbUselessRevisions=531521 nbAssignments=1213 nbFailedAssignments=399 nbBacktracks=759 nbVisitedNodes=1822
4.68 nbRestartNogoods=67 mapSize=255 nbInferences=0 nbTooLargeKeys=0
4.68 => wckTime=3.802 cpuTime=3.74 mem=14M752
5.93
5.93 search
5.93 run=9 nbConstraintChecks=15040139 nbValidityChecks=1253187 nbPropagations=130075 nbRevisions=1059507
5.93 nbUselessRevisions=768000 nbAssignments=1840 nbFailedAssignments=632 nbBacktracks=1143 nbVisitedNodes=2817
5.93 nbRestartNogoods=72 mapSize=418 nbInferences=0 nbTooLargeKeys=0
5.93 => wckTime=5.052 cpuTime=4.98 mem=15M727
8.12
8.12 search
8.12 run=10 nbConstraintChecks=22744712 nbValidityChecks=1828052 nbPropagations=188037 nbRevisions=1524053
8.12 nbUselessRevisions=1102387 nbAssignments=2704 nbFailedAssignments=914 nbBacktracks=1719 nbVisitedNodes=4129
8.12 nbRestartNogoods=80 mapSize=633 nbInferences=0 nbTooLargeKeys=0
8.12 => wckTime=7.244 cpuTime=7.16 mem=15M727
10.54
10.54 search
10.54 run=11 nbConstraintChecks=30990865 nbValidityChecks=2628788 nbPropagations=275938 nbRevisions=2204551
10.54 nbUselessRevisions=1579788 nbAssignments=3993 nbFailedAssignments=1336 nbBacktracks=2585 nbVisitedNodes=6129
10.54 nbRestartNogoods=90 mapSize=996 nbInferences=0 nbTooLargeKeys=0
10.54 => wckTime=9.669 cpuTime=9.56 mem=15M727
10.64
10.64 INFO : Stopping hyperNogood (mapSize=1009, nbTooLargekeys=0, mem=15M727)
14.60
14.60 search
14.60 run=12 nbConstraintChecks=44609213 nbValidityChecks=4023994 nbPropagations=428237 nbRevisions=3333765
14.60 nbUselessRevisions=2365286 nbAssignments=6351 nbFailedAssignments=2391 nbBacktracks=3883 nbVisitedNodes=10151
14.60 nbRestartNogoods=94
14.60 => wckTime=13.728 cpuTime=13.61 mem=15M727
20.71
20.71 search
20.71 run=13 nbConstraintChecks=65188972 nbValidityChecks=6358985 nbPropagations=687307 nbRevisions=5267710
20.71 nbUselessRevisions=3697252 nbAssignments=10050 nbFailedAssignments=4141 nbBacktracks=5830 nbVisitedNodes=16578
20.71 nbRestartNogoods=108
20.71 => wckTime=19.837 cpuTime=19.72 mem=15M727
20.96
20.96 search
20.96 run=14 nbConstraintChecks=66013845 nbValidityChecks=6434936 nbPropagations=950634 nbRevisions=7236813
20.96 nbUselessRevisions=5055453 nbAssignments=10243 nbFailedAssignments=4218 nbBacktracks=5901 nbVisitedNodes=16889
20.96 nbRestartNogoods=120
20.96 => wckTime=20.084 cpuTime=19.96 mem=15M727
20.96
20.96 global
20.96 nbConstraintChecks=67697904 nbValidityChecks=6444990 nbPropagations=950688 nbRevisions=7237340
20.96 nbUselessRevisions=5055852 nbRestartNogoods=120 solvingWckTime=20.085 solvingCpuTime=19.96 expiredTime=no
20.96 totalExploration=no nbFoundSolutions=1 globalCpuTime=20.43
20.96 => wckTime=20.67 cpuTime=20.38 mem=15M727
20.96
20.96 s SATISFIABLE
20.96 v 0 3 9 17 19 32 39 43 44 3 9 17 19 32 39 43 44 6 14 16 29 36 40 41 8 10 23 30 34 35 2 15 22 26 27 13 20 24 25 7 11 12 4 5 1
20.96 d NODES 10243
20.96 d CHECKS 67697904
20.96
20.96 totalWckTime=20.745 totalCpuTime=20.43
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-217778-1168079495 -o ROOT/results/node17/solver-217778-1168079495 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217778-1168079495/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.54 1.78 1.87 4/93 13901
/proc/meminfo: memFree=1486440/2055920 swapFree=4192812/4192956
[pid=13900] ppid=13898 vsize=292 CPUtime=0
/proc/13900/stat : 13900 (java) R 13898 13900 13833 0 -1 0 225 0 0 0 0 0 0 0 18 0 1 0 156344411 299008 32 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2861709 0 0 4096 0 0 0 0 17 0 0 0
/proc/13900/statm: 73 35 27 14 0 5 0
[startup+0.108086 s]
/proc/loadavg: 1.54 1.78 1.87 4/93 13901
/proc/meminfo: memFree=1486440/2055920 swapFree=4192812/4192956
[pid=13900] ppid=13898 vsize=914988 CPUtime=0.09
/proc/13900/stat : 13900 (java) R 13898 13900 13833 0 -1 0 3082 0 1 0 7 2 0 0 23 0 8 0 156344411 936947712 2828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13900/statm: 228747 2828 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516129 s]
/proc/loadavg: 1.54 1.78 1.87 4/93 13901
/proc/meminfo: memFree=1486440/2055920 swapFree=4192812/4192956
[pid=13900] ppid=13898 vsize=915328 CPUtime=0.49
/proc/13900/stat : 13900 (java) R 13898 13900 13833 0 -1 0 6528 0 1 0 45 4 0 0 25 0 8 0 156344411 937295872 6267 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13900/statm: 228832 6267 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33921 s]
/proc/loadavg: 1.54 1.78 1.87 3/100 13908
/proc/meminfo: memFree=1463344/2055920 swapFree=4192812/4192956
[pid=13900] ppid=13898 vsize=915560 CPUtime=1.32
/proc/13900/stat : 13900 (java) R 13898 13900 13833 0 -1 0 8517 0 1 0 123 9 0 0 25 0 8 0 156344411 937533440 8255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073702443 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13900/statm: 228890 8255 2528 14 0 215360 0
[pid=13900/tid=13902] ppid=13898 vsize=915560 CPUtime=0.02
/proc/13900/task/13902/stat : 13902 (java) S 13898 13900 13833 0 -1 64 210 0 0 0 2 0 0 0 16 0 8 0 156344415 937533440 8255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13900/tid=13903] ppid=13898 vsize=915560 CPUtime=0
/proc/13900/task/13903/stat : 13903 (java) S 13898 13900 13833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156344415 937533440 8255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13900/tid=13904] ppid=13898 vsize=915560 CPUtime=0
/proc/13900/task/13904/stat : 13904 (java) S 13898 13900 13833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156344415 937533440 8255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13900/tid=13905] ppid=13898 vsize=915560 CPUtime=0
/proc/13900/task/13905/stat : 13905 (java) S 13898 13900 13833 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156344419 937533440 8255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13900/tid=13906] ppid=13898 vsize=915560 CPUtime=0.18
/proc/13900/task/13906/stat : 13906 (java) S 13898 13900 13833 0 -1 64 379 0 0 0 18 0 0 0 15 0 8 0 156344419 937533440 8255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13900/tid=13907] ppid=13898 vsize=915560 CPUtime=0
/proc/13900/task/13907/stat : 13907 (java) S 13898 13900 13833 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156344419 937533440 8255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13900/tid=13908] ppid=13898 vsize=915560 CPUtime=0
/proc/13900/task/13908/stat : 13908 (java) S 13898 13900 13833 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156344419 937533440 8255 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) 915560
[startup+2.98339 s]
/proc/loadavg: 1.54 1.78 1.87 3/100 13908
/proc/meminfo: memFree=1462896/2055920 swapFree=4192812/4192956
[pid=13900] ppid=13898 vsize=915560 CPUtime=2.96
/proc/13900/stat : 13900 (java) R 13898 13900 13833 0 -1 0 8655 0 1 0 286 10 0 0 25 0 8 0 156344411 937533440 8391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073701555 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13900/statm: 228890 8391 2533 14 0 215360 0
[pid=13900/tid=13902] ppid=13898 vsize=915560 CPUtime=0.02
/proc/13900/task/13902/stat : 13902 (java) S 13898 13900 13833 0 -1 64 211 0 0 0 2 0 0 0 17 0 8 0 156344415 937533440 8391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13900/tid=13903] ppid=13898 vsize=915560 CPUtime=0
/proc/13900/task/13903/stat : 13903 (java) S 13898 13900 13833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156344415 937533440 8391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13900/tid=13904] ppid=13898 vsize=915560 CPUtime=0
/proc/13900/task/13904/stat : 13904 (java) S 13898 13900 13833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156344415 937533440 8391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13900/tid=13905] ppid=13898 vsize=915560 CPUtime=0
/proc/13900/task/13905/stat : 13905 (java) S 13898 13900 13833 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156344419 937533440 8391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13900/tid=13906] ppid=13898 vsize=915560 CPUtime=0.22
/proc/13900/task/13906/stat : 13906 (java) S 13898 13900 13833 0 -1 64 396 0 0 0 21 1 0 0 15 0 8 0 156344419 937533440 8391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13900/tid=13907] ppid=13898 vsize=915560 CPUtime=0
/proc/13900/task/13907/stat : 13907 (java) S 13898 13900 13833 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156344419 937533440 8391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13900/tid=13908] ppid=13898 vsize=915560 CPUtime=0
/proc/13900/task/13908/stat : 13908 (java) S 13898 13900 13833 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156344419 937533440 8391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915560
[startup+6.26273 s]
/proc/loadavg: 1.58 1.79 1.87 3/100 13908
/proc/meminfo: memFree=1462448/2055920 swapFree=4192812/4192956
[pid=13900] ppid=13898 vsize=915560 CPUtime=6.24
/proc/13900/stat : 13900 (java) R 13898 13900 13833 0 -1 0 8779 0 1 0 614 10 0 0 25 0 8 0 156344411 937533440 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073709223 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13900/statm: 228890 8511 2533 14 0 215360 0
[pid=13900/tid=13902] ppid=13898 vsize=915560 CPUtime=0.02
/proc/13900/task/13902/stat : 13902 (java) S 13898 13900 13833 0 -1 64 211 0 0 0 2 0 0 0 16 0 8 0 156344415 937533440 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13900/tid=13903] ppid=13898 vsize=915560 CPUtime=0
/proc/13900/task/13903/stat : 13903 (java) S 13898 13900 13833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156344415 937533440 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13900/tid=13904] ppid=13898 vsize=915560 CPUtime=0
/proc/13900/task/13904/stat : 13904 (java) S 13898 13900 13833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156344415 937533440 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13900/tid=13905] ppid=13898 vsize=915560 CPUtime=0
/proc/13900/task/13905/stat : 13905 (java) S 13898 13900 13833 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156344419 937533440 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13900/tid=13906] ppid=13898 vsize=915560 CPUtime=0.25
/proc/13900/task/13906/stat : 13906 (java) S 13898 13900 13833 0 -1 64 412 0 0 0 24 1 0 0 15 0 8 0 156344419 937533440 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13900/tid=13907] ppid=13898 vsize=915560 CPUtime=0
/proc/13900/task/13907/stat : 13907 (java) S 13898 13900 13833 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156344419 937533440 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13900/tid=13908] ppid=13898 vsize=915560 CPUtime=0
/proc/13900/task/13908/stat : 13908 (java) S 13898 13900 13833 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156344419 937533440 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915560
[startup+12.7504 s]
/proc/loadavg: 1.61 1.79 1.87 3/100 13908
/proc/meminfo: memFree=1461872/2055920 swapFree=4192812/4192956
[pid=13900] ppid=13898 vsize=915560 CPUtime=12.7
/proc/13900/stat : 13900 (java) R 13898 13900 13833 0 -1 0 8898 0 1 0 1260 10 0 0 25 0 8 0 156344411 937533440 8626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073701485 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13900/statm: 228890 8626 2533 14 0 215360 0
[pid=13900/tid=13902] ppid=13898 vsize=915560 CPUtime=0.02
/proc/13900/task/13902/stat : 13902 (java) S 13898 13900 13833 0 -1 64 211 0 0 0 2 0 0 0 16 0 8 0 156344415 937533440 8626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13900/tid=13903] ppid=13898 vsize=915560 CPUtime=0
/proc/13900/task/13903/stat : 13903 (java) S 13898 13900 13833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156344415 937533440 8626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13900/tid=13904] ppid=13898 vsize=915560 CPUtime=0
/proc/13900/task/13904/stat : 13904 (java) S 13898 13900 13833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156344415 937533440 8626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13900/tid=13905] ppid=13898 vsize=915560 CPUtime=0
/proc/13900/task/13905/stat : 13905 (java) S 13898 13900 13833 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156344419 937533440 8626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13900/tid=13906] ppid=13898 vsize=915560 CPUtime=0.26
/proc/13900/task/13906/stat : 13906 (java) S 13898 13900 13833 0 -1 64 418 0 0 0 25 1 0 0 17 0 8 0 156344419 937533440 8626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13900/tid=13907] ppid=13898 vsize=915560 CPUtime=0
/proc/13900/task/13907/stat : 13907 (java) S 13898 13900 13833 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156344419 937533440 8626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13900/tid=13908] ppid=13898 vsize=915560 CPUtime=0
/proc/13900/task/13908/stat : 13908 (java) S 13898 13900 13833 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156344419 937533440 8626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915560
Child status: 0
Real time (s): 20.9945
CPU time (s): 20.9298
CPU user time (s): 20.8138
CPU system time (s): 0.115982
CPU usage (%): 99.6919
Max. virtual memory (cumulated for all children) (KiB): 915560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.8138
system time used= 0.115982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8997
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= 1789
involuntary context switches= 2098
runsolver used 0.027995 s user time and 0.076988 s system time
The end
Begin job on node17 on Sat Jan 6 10:31:36 UTC 2007
IDJOB= 217778
IDBENCH= 5171
FILE ID= node17/217778-1168079495
PBS_JOBID= 3475841
Free space on /tmp= 66314 MiB
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity3/ruler-44-9-a3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217778-1168079495/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-217778-1168079495 -o ROOT/results/node17/solver-217778-1168079495 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217778-1168079495/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d41065bf46cd564e9d744154f54ba62e
RANDOM SEED= 553354820
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.236
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.236
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: 1486920 kB
Buffers: 46904 kB
Cached: 244680 kB
SwapCached: 0 kB
Active: 271244 kB
Inactive: 208276 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1486920 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2016 kB
Writeback: 0 kB
Mapped: 216976 kB
Slab: 73908 kB
Committed_AS: 4600032 kB
PageTables: 2544 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= 66314 MiB
End job on node17 on Sat Jan 6 10:31:58 UTC 2007