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/231333-1168081162/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=50 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.39 => wckTime=0.099 cpuTime=0.09 mem=6M951
0.39
0.39 relations being loaded...
0.53
0.53 constraints being loaded...
0.66 nbConstraints=498 nbRelationTypes=498 nbExtensionStructures=498 nbSharedExtensionStructures=0
0.66 nbConflictsStructures=498 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=5175 maxDegree=32
0.66 maxArity=2
0.66 => wckTime=0.367 cpuTime=0.28 mem=15M729
0.71
0.71 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.563 cpuTime=0.4 mem=15M277
0.87
0.87 preprocessing
0.87 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.87 detectedInconsistency=no
0.87 => wckTime=0.0080 cpuTime=0.01 mem=15M277
0.92
0.92 search
0.92 run=0 nbConstraintChecks=52808 nbPropagations=602 nbRevisions=8335 nbUselessRevisions=7017 nbAssignments=26
0.92 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=45 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.055 cpuTime=0.04 mem=15M277
0.95
0.95 search
0.95 run=1 nbConstraintChecks=114371 nbPropagations=1869 nbRevisions=26554 nbUselessRevisions=22438
0.95 nbAssignments=58 nbFailedAssignments=21 nbBacktracks=26 nbVisitedNodes=97 nbRestartNogoods=3 mapSize=24
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.085 cpuTime=0.06 mem=15M277
0.96
0.96 search
0.96 run=2 nbConstraintChecks=198301 nbPropagations=3960 nbRevisions=56348 nbUselessRevisions=47462
0.96 nbAssignments=109 nbFailedAssignments=36 nbBacktracks=56 nbVisitedNodes=177 nbRestartNogoods=5 mapSize=43
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.104 cpuTime=0.08 mem=15M277
0.99
0.99 search
0.99 run=3 nbConstraintChecks=327401 nbPropagations=7399 nbRevisions=107845 nbUselessRevisions=90581
0.99 nbAssignments=177 nbFailedAssignments=63 nbBacktracks=89 nbVisitedNodes=293 nbRestartNogoods=9 mapSize=73
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.131 cpuTime=0.1 mem=15M277
1.02
1.02 search
1.02 run=4 nbConstraintChecks=475711 nbPropagations=12240 nbRevisions=180719 nbUselessRevisions=150993
1.02 nbAssignments=265 nbFailedAssignments=96 nbBacktracks=139 nbVisitedNodes=440 nbRestartNogoods=14 mapSize=110
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.159 cpuTime=0.13 mem=15M277
1.07
1.07 search
1.07 run=5 nbConstraintChecks=770337 nbPropagations=19824 nbRevisions=296304 nbUselessRevisions=246328
1.07 nbAssignments=406 nbFailedAssignments=156 nbBacktracks=214 nbVisitedNodes=694 nbRestartNogoods=17 mapSize=182
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.212 cpuTime=0.17 mem=15M277
1.14
1.14 search
1.14 run=6 nbConstraintChecks=1201706 nbPropagations=31441 nbRevisions=474604 nbUselessRevisions=392542
1.14 nbAssignments=620 nbFailedAssignments=249 nbBacktracks=329 nbVisitedNodes=1077 nbRestartNogoods=25 mapSize=285
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.284 cpuTime=0.24 mem=15M277
1.25
1.25 search
1.25 run=7 nbConstraintChecks=1866084 nbPropagations=49325 nbRevisions=753408 nbUselessRevisions=620926
1.25 nbAssignments=941 nbFailedAssignments=395 nbBacktracks=500 nbVisitedNodes=1661 nbRestartNogoods=30 mapSize=442
1.25 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.392 cpuTime=0.35 mem=15M277
1.42
1.42 search
1.42 run=8 nbConstraintChecks=2888417 nbPropagations=76380 nbRevisions=1182603 nbUselessRevisions=972559
1.42 nbAssignments=1417 nbFailedAssignments=611 nbBacktracks=756 nbVisitedNodes=2522 nbRestartNogoods=35
1.42 mapSize=678 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.557 cpuTime=0.51 mem=15M277
1.62
1.62 INFO : Stopping hyperNogood (mapSize=1007, nbTooLargekeys=0, mem=15M277)
1.65
1.65 search
1.65 run=9 nbConstraintChecks=4407941 nbPropagations=116824 nbRevisions=1830714 nbUselessRevisions=1503779
1.65 nbAssignments=2148 nbFailedAssignments=954 nbBacktracks=1140 nbVisitedNodes=3856 nbRestartNogoods=42
1.65 => wckTime=0.785 cpuTime=0.73 mem=15M277
1.92
1.92 search
1.92 run=10 nbConstraintChecks=6393654 nbPropagations=176334 nbRevisions=2792452 nbUselessRevisions=2293950
1.92 nbAssignments=3196 nbFailedAssignments=1421 nbBacktracks=1717 nbVisitedNodes=5750 nbRestartNogoods=48
1.92 => wckTime=1.06 cpuTime=1.0 mem=15M277
2.35
2.35 search
2.35 run=11 nbConstraintChecks=9585284 nbPropagations=264513 nbRevisions=4202924 nbUselessRevisions=3446263
2.35 nbAssignments=4710 nbFailedAssignments=2068 nbBacktracks=2581 nbVisitedNodes=8459 nbRestartNogoods=62
2.35 => wckTime=1.492 cpuTime=1.42 mem=15M277
3.04
3.04 search
3.04 run=12 nbConstraintChecks=14480026 nbPropagations=398135 nbRevisions=6350717 nbUselessRevisions=5203002
3.04 nbAssignments=7156 nbFailedAssignments=3211 nbBacktracks=3880 nbVisitedNodes=12945 nbRestartNogoods=70
3.04 => wckTime=2.181 cpuTime=2.11 mem=15M277
4.06
4.06 search
4.06 run=13 nbConstraintChecks=21706329 nbPropagations=597913 nbRevisions=9597924 nbUselessRevisions=7860384
4.07 nbAssignments=10761 nbFailedAssignments=4866 nbBacktracks=5826 nbVisitedNodes=19546 nbRestartNogoods=78
4.07 => wckTime=3.205 cpuTime=3.13 mem=15M277
5.61
5.61 search
5.61 run=14 nbConstraintChecks=32791558 nbPropagations=898297 nbRevisions=14526992 nbUselessRevisions=11896057
5.61 nbAssignments=16134 nbFailedAssignments=7314 nbBacktracks=8745 nbVisitedNodes=29344 nbRestartNogoods=87
5.61 => wckTime=4.75 cpuTime=4.67 mem=15M277
8.07
8.07 search
8.07 run=15 nbConstraintChecks=50399999 nbPropagations=1357613 nbRevisions=22077548 nbUselessRevisions=18074004
8.07 nbAssignments=24408 nbFailedAssignments=11204 nbBacktracks=13124 nbVisitedNodes=44585 nbRestartNogoods=103
8.07 => wckTime=7.212 cpuTime=7.14 mem=15M277
11.54
11.54 search
11.54 run=16 nbConstraintChecks=75617887 nbPropagations=2043448 nbRevisions=33316752 nbUselessRevisions=27262159
11.54 nbAssignments=36359 nbFailedAssignments=16581 nbBacktracks=19694 nbVisitedNodes=66380 nbRestartNogoods=112
11.54 => wckTime=10.679 cpuTime=10.6 mem=15M277
16.68
16.68 search
16.68 run=17 nbConstraintChecks=112504927 nbPropagations=3068276 nbRevisions=50183638 nbUselessRevisions=41077320
16.68 nbAssignments=54588 nbFailedAssignments=24954 nbBacktracks=29547 nbVisitedNodes=99688 nbRestartNogoods=121
16.68 => wckTime=15.82 cpuTime=15.74 mem=15M277
23.72
23.72 search
23.72 run=18 nbConstraintChecks=163196663 nbPropagations=4556590 nbRevisions=74668941 nbUselessRevisions=61112077
23.72 nbAssignments=78558 nbFailedAssignments=36117 nbBacktracks=42304 nbVisitedNodes=143630 nbRestartNogoods=130
23.72 => wckTime=22.862 cpuTime=22.78 mem=15M277
23.72
23.72 global
23.72 nbConstraintChecks=163196663 nbPropagations=4556640 nbRevisions=74668941 nbUselessRevisions=61112077
23.72 nbRestartNogoods=130 solvingWckTime=22.863 solvingCpuTime=22.78 expiredTime=no totalExploration=no
23.72 nbFoundSolutions=1 globalCpuTime=23.22
23.72 => wckTime=23.429 cpuTime=23.18 mem=15M277
23.73
23.73 s SATISFIABLE
23.73 v 4 20 14 3 1 3 19 6 17 9 2 4 11 8 8 5 10 3 7 14 20 1 4 6 8 19 1 10 9 12 15 15 7 6 7 6 16 13 12 16 12 11 14 17 8 14 18 16 2 9
23.73 d NODES 78558
23.73 d CHECKS 163196663
23.73
23.73 totalWckTime=23.505 totalCpuTime=23.22
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-231333-1168081162 -o ROOT/results/node1/solver-231333-1168081162 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/231333-1168081162/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: 0.04 0.54 1.23 4/81 18247
/proc/meminfo: memFree=1207112/2055920 swapFree=4165584/4192956
[pid=18246] ppid=18244 vsize=1460 CPUtime=0
/proc/18246/stat : 18246 (java) R 18244 18246 17954 0 -1 0 301 0 0 0 0 0 0 0 18 0 1 0 156513921 1495040 97 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4160642160 0 0 4096 0 0 0 0 17 1 0 0
/proc/18246/statm: 446 105 83 14 0 91 0
[startup+0.102666 s]
/proc/loadavg: 0.04 0.54 1.23 4/81 18247
/proc/meminfo: memFree=1207112/2055920 swapFree=4165584/4192956
[pid=18246] ppid=18244 vsize=914988 CPUtime=0.08
/proc/18246/stat : 18246 (java) R 18244 18246 17954 0 -1 0 3063 0 1 0 7 1 0 0 16 0 8 0 156513921 936947712 2809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18246/statm: 228747 2810 1451 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510711 s]
/proc/loadavg: 0.04 0.54 1.23 4/81 18247
/proc/meminfo: memFree=1207112/2055920 swapFree=4165584/4192956
[pid=18246] ppid=18244 vsize=915328 CPUtime=0.5
/proc/18246/stat : 18246 (java) R 18244 18246 17954 0 -1 0 6950 0 1 0 46 4 0 0 16 0 8 0 156513921 937295872 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073567214 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18246/statm: 228832 6689 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.3318 s]
/proc/loadavg: 0.12 0.54 1.23 2/88 18254
/proc/meminfo: memFree=1181072/2055920 swapFree=4165584/4192956
[pid=18246] ppid=18244 vsize=915460 CPUtime=1.31
/proc/18246/stat : 18246 (java) R 18244 18246 17954 0 -1 0 9221 0 1 0 126 5 0 0 17 0 8 0 156513921 937431040 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073851226 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18246/statm: 228865 8959 2513 14 0 215335 0
[pid=18246/tid=18248] ppid=18244 vsize=915460 CPUtime=0.03
/proc/18246/task/18248/stat : 18248 (java) S 18244 18246 17954 0 -1 64 387 0 0 0 3 0 0 0 16 0 8 0 156513925 937431040 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18246/tid=18249] ppid=18244 vsize=915460 CPUtime=0
/proc/18246/task/18249/stat : 18249 (java) S 18244 18246 17954 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156513925 937431040 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18246/tid=18250] ppid=18244 vsize=915460 CPUtime=0
/proc/18246/task/18250/stat : 18250 (java) S 18244 18246 17954 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156513925 937431040 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18246/tid=18251] ppid=18244 vsize=915460 CPUtime=0
/proc/18246/task/18251/stat : 18251 (java) S 18244 18246 17954 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156513928 937431040 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18246/tid=18252] ppid=18244 vsize=915460 CPUtime=0.2
/proc/18246/task/18252/stat : 18252 (java) S 18244 18246 17954 0 -1 64 381 0 0 0 20 0 0 0 15 0 8 0 156513928 937431040 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18246/tid=18253] ppid=18244 vsize=915460 CPUtime=0
/proc/18246/task/18253/stat : 18253 (java) S 18244 18246 17954 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156513928 937431040 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18246/tid=18254] ppid=18244 vsize=915460 CPUtime=0
/proc/18246/task/18254/stat : 18254 (java) S 18244 18246 17954 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156513928 937431040 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.96899 s]
/proc/loadavg: 0.12 0.54 1.23 2/88 18254
/proc/meminfo: memFree=1180944/2055920 swapFree=4165584/4192956
[pid=18246] ppid=18244 vsize=915460 CPUtime=2.95
/proc/18246/stat : 18246 (java) R 18244 18246 17954 0 -1 0 9238 0 1 0 289 6 0 0 18 0 8 0 156513921 937431040 8974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834150 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18246/statm: 228865 8974 2513 14 0 215335 0
[pid=18246/tid=18248] ppid=18244 vsize=915460 CPUtime=0.03
/proc/18246/task/18248/stat : 18248 (java) S 18244 18246 17954 0 -1 64 387 0 0 0 3 0 0 0 17 0 8 0 156513925 937431040 8974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18246/tid=18249] ppid=18244 vsize=915460 CPUtime=0
/proc/18246/task/18249/stat : 18249 (java) S 18244 18246 17954 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156513925 937431040 8974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18246/tid=18250] ppid=18244 vsize=915460 CPUtime=0
/proc/18246/task/18250/stat : 18250 (java) S 18244 18246 17954 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156513925 937431040 8974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18246/tid=18251] ppid=18244 vsize=915460 CPUtime=0
/proc/18246/task/18251/stat : 18251 (java) S 18244 18246 17954 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156513928 937431040 8974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18246/tid=18252] ppid=18244 vsize=915460 CPUtime=0.23
/proc/18246/task/18252/stat : 18252 (java) S 18244 18246 17954 0 -1 64 397 0 0 0 22 1 0 0 15 0 8 0 156513928 937431040 8974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18246/tid=18253] ppid=18244 vsize=915460 CPUtime=0
/proc/18246/task/18253/stat : 18253 (java) S 18244 18246 17954 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156513928 937431040 8974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18246/tid=18254] ppid=18244 vsize=915460 CPUtime=0
/proc/18246/task/18254/stat : 18254 (java) S 18244 18246 17954 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156513928 937431040 8974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915460
[startup+6.16941 s]
/proc/loadavg: 0.19 0.55 1.23 2/88 18254
/proc/meminfo: memFree=1180944/2055920 swapFree=4165584/4192956
[pid=18246] ppid=18244 vsize=915460 CPUtime=6.15
/proc/18246/stat : 18246 (java) R 18244 18246 17954 0 -1 0 9240 0 1 0 609 6 0 0 25 0 8 0 156513921 937431040 8974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830667 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18246/statm: 228865 8974 2513 14 0 215335 0
[pid=18246/tid=18248] ppid=18244 vsize=915460 CPUtime=0.03
/proc/18246/task/18248/stat : 18248 (java) S 18244 18246 17954 0 -1 64 387 0 0 0 3 0 0 0 16 0 8 0 156513925 937431040 8974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18246/tid=18249] ppid=18244 vsize=915460 CPUtime=0
/proc/18246/task/18249/stat : 18249 (java) S 18244 18246 17954 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156513925 937431040 8974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18246/tid=18250] ppid=18244 vsize=915460 CPUtime=0
/proc/18246/task/18250/stat : 18250 (java) S 18244 18246 17954 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156513925 937431040 8974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18246/tid=18251] ppid=18244 vsize=915460 CPUtime=0
/proc/18246/task/18251/stat : 18251 (java) S 18244 18246 17954 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156513928 937431040 8974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18246/tid=18252] ppid=18244 vsize=915460 CPUtime=0.23
/proc/18246/task/18252/stat : 18252 (java) S 18244 18246 17954 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 156513928 937431040 8974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18246/tid=18253] ppid=18244 vsize=915460 CPUtime=0
/proc/18246/task/18253/stat : 18253 (java) S 18244 18246 17954 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156513928 937431040 8974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18246/tid=18254] ppid=18244 vsize=915460 CPUtime=0
/proc/18246/task/18254/stat : 18254 (java) S 18244 18246 17954 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156513928 937431040 8974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915460
[startup+12.6311 s]
/proc/loadavg: 0.25 0.56 1.23 2/88 18255
/proc/meminfo: memFree=1180880/2055920 swapFree=4165584/4192956
[pid=18246] ppid=18244 vsize=915460 CPUtime=12.61
/proc/18246/stat : 18246 (java) R 18244 18246 17954 0 -1 0 9240 0 1 0 1255 6 0 0 25 0 8 0 156513921 937431040 8974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834241 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18246/statm: 228865 8974 2513 14 0 215335 0
[pid=18246/tid=18248] ppid=18244 vsize=915460 CPUtime=0.03
/proc/18246/task/18248/stat : 18248 (java) S 18244 18246 17954 0 -1 64 387 0 0 0 3 0 0 0 16 0 8 0 156513925 937431040 8974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18246/tid=18249] ppid=18244 vsize=915460 CPUtime=0
/proc/18246/task/18249/stat : 18249 (java) S 18244 18246 17954 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156513925 937431040 8974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18246/tid=18250] ppid=18244 vsize=915460 CPUtime=0
/proc/18246/task/18250/stat : 18250 (java) S 18244 18246 17954 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156513925 937431040 8974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18246/tid=18251] ppid=18244 vsize=915460 CPUtime=0
/proc/18246/task/18251/stat : 18251 (java) S 18244 18246 17954 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156513928 937431040 8974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18246/tid=18252] ppid=18244 vsize=915460 CPUtime=0.23
/proc/18246/task/18252/stat : 18252 (java) S 18244 18246 17954 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 156513928 937431040 8974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18246/tid=18253] ppid=18244 vsize=915460 CPUtime=0
/proc/18246/task/18253/stat : 18253 (java) S 18244 18246 17954 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156513928 937431040 8974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18246/tid=18254] ppid=18244 vsize=915460 CPUtime=0
/proc/18246/task/18254/stat : 18254 (java) S 18244 18246 17954 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156513928 937431040 8974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 23.746
CPU time (s): 23.7214
CPU user time (s): 23.6464
CPU system time (s): 0.074988
CPU usage (%): 99.8965
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.6464
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9246
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= 1317
involuntary context switches= 301
runsolver used 0.013997 s user time and 0.084987 s system time
The end
Begin job on node1 on Sat Jan 6 10:59:32 UTC 2007
IDJOB= 231333
IDBENCH= 6461
FILE ID= node1/231333-1168081162
PBS_JOBID= 3475881
Free space on /tmp= 66303 MiB
BENCH NAME= HOME/pub/bench/CPAI06/geom/geo50-20-d4-75-19_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/231333-1168081162/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-231333-1168081162 -o ROOT/results/node1/solver-231333-1168081162 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/231333-1168081162/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5f6468f2c6c359284771aa92d8d24fd3
RANDOM SEED= 195776874
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.234
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.234
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: 1207584 kB
Buffers: 70180 kB
Cached: 641896 kB
SwapCached: 3692 kB
Active: 372376 kB
Inactive: 379124 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1207584 kB
SwapTotal: 4192956 kB
SwapFree: 4165584 kB
Dirty: 2064 kB
Writeback: 0 kB
Mapped: 49348 kB
Slab: 81872 kB
Committed_AS: 4168520 kB
PageTables: 2172 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= 66303 MiB
End job on node1 on Sat Jan 6 11:00:16 UTC 2007