0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/202836-1168072730/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.43 => wckTime=0.111 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.54
0.54 constraints being loaded...
0.65 nbConstraints=343 nbRelationTypes=343 nbExtensionStructures=343 nbSharedExtensionStructures=0
0.65 nbConflictsStructures=343 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3028 maxDegree=21
0.65 maxArity=2
0.65 => wckTime=0.333 cpuTime=0.24 mem=12M803
0.69
0.69 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.529 cpuTime=0.37 mem=13M931
0.86
0.86 preprocessing
0.86 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.86 detectedInconsistency=no
0.86 => wckTime=0.0050 cpuTime=0.0 mem=13M931
0.90
0.90 search
0.90 run=0 nbConstraintChecks=24620 nbPropagations=429 nbRevisions=4014 nbUselessRevisions=3288 nbAssignments=27
0.90 nbFailedAssignments=5 nbBacktracks=11 nbVisitedNodes=37 nbRestartNogoods=0 mapSize=6 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.049 cpuTime=0.03 mem=14M906
0.93
0.93 search
0.93 run=1 nbConstraintChecks=69163 nbPropagations=1480 nbRevisions=15676 nbUselessRevisions=12721 nbAssignments=62
0.93 nbFailedAssignments=16 nbBacktracks=28 nbVisitedNodes=92 nbRestartNogoods=3 mapSize=20 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.075 cpuTime=0.05 mem=14M906
0.95
0.95 search
0.95 run=2 nbConstraintChecks=129820 nbPropagations=3346 nbRevisions=37773 nbUselessRevisions=30663
0.95 nbAssignments=111 nbFailedAssignments=35 nbBacktracks=51 nbVisitedNodes=171 nbRestartNogoods=4 mapSize=39
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.098 cpuTime=0.06 mem=14M906
0.97
0.97 search
0.97 run=3 nbConstraintChecks=215234 nbPropagations=6403 nbRevisions=75977 nbUselessRevisions=61688
0.97 nbAssignments=175 nbFailedAssignments=60 nbBacktracks=85 nbVisitedNodes=281 nbRestartNogoods=7 mapSize=69
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.118 cpuTime=0.08 mem=14M906
1.00
1.00 search
1.00 run=4 nbConstraintChecks=344418 nbPropagations=11291 nbRevisions=139877 nbUselessRevisions=113792
1.00 nbAssignments=275 nbFailedAssignments=101 nbBacktracks=136 nbVisitedNodes=454 nbRestartNogoods=8 mapSize=116
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.147 cpuTime=0.11 mem=14M906
1.04
1.04 search
1.04 run=5 nbConstraintChecks=500444 nbPropagations=18340 nbRevisions=232783 nbUselessRevisions=189177
1.04 nbAssignments=407 nbFailedAssignments=148 nbBacktracks=214 nbVisitedNodes=668 nbRestartNogoods=12 mapSize=173
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.184 cpuTime=0.14 mem=14M906
1.08
1.08 search
1.08 run=6 nbConstraintChecks=718775 nbPropagations=28483 nbRevisions=367967 nbUselessRevisions=299016
1.08 nbAssignments=594 nbFailedAssignments=214 nbBacktracks=327 nbVisitedNodes=974 nbRestartNogoods=17 mapSize=264
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.231 cpuTime=0.19 mem=14M906
1.16
1.16 search
1.16 run=7 nbConstraintChecks=1101642 nbPropagations=43926 nbRevisions=578135 nbUselessRevisions=469947
1.16 nbAssignments=894 nbFailedAssignments=335 nbBacktracks=497 nbVisitedNodes=1501 nbRestartNogoods=21 mapSize=411
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.313 cpuTime=0.26 mem=14M906
1.27
1.27 search
1.27 run=8 nbConstraintChecks=1663079 nbPropagations=66854 nbRevisions=893102 nbUselessRevisions=725385
1.27 nbAssignments=1339 nbFailedAssignments=516 nbBacktracks=754 nbVisitedNodes=2260 nbRestartNogoods=26
1.27 mapSize=611 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.424 cpuTime=0.37 mem=14M906
1.44
1.44 search
1.44 run=9 nbConstraintChecks=2500407 nbPropagations=101352 nbRevisions=1371129 nbUselessRevisions=1112773
1.44 nbAssignments=1996 nbFailedAssignments=781 nbBacktracks=1138 nbVisitedNodes=3415 nbRestartNogoods=32
1.44 mapSize=953 nbInferences=0 nbTooLargeKeys=0
1.44 => wckTime=0.591 cpuTime=0.53 mem=14M906
1.47
1.47 INFO : Stopping hyperNogood (mapSize=1008, nbTooLargekeys=0, mem=14M906)
1.65
1.65 search
1.65 run=10 nbConstraintChecks=3654553 nbPropagations=152407 nbRevisions=2084041 nbUselessRevisions=1691440
1.65 nbAssignments=2969 nbFailedAssignments=1169 nbBacktracks=1714 nbVisitedNodes=5085 nbRestartNogoods=38
1.66 => wckTime=0.804 cpuTime=0.73 mem=14M906
1.97
1.97 search
1.97 run=11 nbConstraintChecks=5549296 nbPropagations=229923 nbRevisions=3176153 nbUselessRevisions=2579166
1.97 nbAssignments=4440 nbFailedAssignments=1766 nbBacktracks=2581 nbVisitedNodes=7658 nbRestartNogoods=44
1.97 => wckTime=1.116 cpuTime=1.04 mem=14M906
2.34
2.34 search
2.34 run=12 nbConstraintChecks=7700496 nbPropagations=339847 nbRevisions=4716683 nbUselessRevisions=3832980
2.34 nbAssignments=6446 nbFailedAssignments=2462 nbBacktracks=3880 nbVisitedNodes=11014 nbRestartNogoods=48
2.34 => wckTime=1.489 cpuTime=1.4 mem=14M906
2.97
2.97 search
2.97 run=13 nbConstraintChecks=11570104 nbPropagations=504643 nbRevisions=7012434 nbUselessRevisions=5698433
2.97 nbAssignments=9614 nbFailedAssignments=3678 nbBacktracks=5827 nbVisitedNodes=16437 nbRestartNogoods=56
2.97 => wckTime=2.12 cpuTime=2.03 mem=14M906
4.00
4.00 search
4.00 run=14 nbConstraintChecks=18055083 nbPropagations=756649 nbRevisions=10553311 nbUselessRevisions=8573442
4.00 nbAssignments=14454 nbFailedAssignments=5591 nbBacktracks=8747 nbVisitedNodes=24838 nbRestartNogoods=62
4.00 => wckTime=3.153 cpuTime=3.06 mem=14M906
5.32
5.32 search
5.32 run=15 nbConstraintChecks=25921602 nbPropagations=1123243 nbRevisions=15687941 nbUselessRevisions=12744737
5.32 nbAssignments=21377 nbFailedAssignments=8129 nbBacktracks=13126 nbVisitedNodes=36538 nbRestartNogoods=71
5.32 => wckTime=4.472 cpuTime=4.37 mem=14M906
7.46
7.46 search
7.46 run=16 nbConstraintChecks=39055883 nbPropagations=1674651 nbRevisions=23377890 nbUselessRevisions=18985546
7.46 nbAssignments=31907 nbFailedAssignments=12082 nbBacktracks=19697 nbVisitedNodes=54552 nbRestartNogoods=80
7.46 => wckTime=6.61 cpuTime=6.5 mem=14M906
10.84
10.84 search
10.84 run=17 nbConstraintChecks=60314477 nbPropagations=2513557 nbRevisions=35213346 nbUselessRevisions=28603989
10.84 nbAssignments=48326 nbFailedAssignments=18640 nbBacktracks=29551 nbVisitedNodes=83096 nbRestartNogoods=91
10.84 => wckTime=9.992 cpuTime=9.86 mem=14M906
15.55
15.55 search
15.56 run=18 nbConstraintChecks=89638156 nbPropagations=3760104 nbRevisions=52750423 nbUselessRevisions=42843141
15.56 nbAssignments=72124 nbFailedAssignments=27653 nbBacktracks=44329 nbVisitedNodes=123778 nbRestartNogoods=95
15.56 => wckTime=14.704 cpuTime=14.55 mem=14M906
22.97
22.97 search
22.97 run=19 nbConstraintChecks=135370319 nbPropagations=5645540 nbRevisions=79328377 nbUselessRevisions=64440008
22.97 nbAssignments=108266 nbFailedAssignments=41620 nbBacktracks=66497 nbVisitedNodes=186101 nbRestartNogoods=104
22.97 => wckTime=22.119 cpuTime=21.93 mem=14M906
34.01
34.01 search
34.01 run=20 nbConstraintChecks=204121910 nbPropagations=8474438 nbRevisions=119345143 nbUselessRevisions=96968308
34.01 nbAssignments=162450 nbFailedAssignments=62541 nbBacktracks=99752 nbVisitedNodes=279308 nbRestartNogoods=119
34.01 => wckTime=33.156 cpuTime=32.91 mem=14M906
46.20
46.20 search
46.20 run=21 nbConstraintChecks=278468133 nbPropagations=12351709 nbRevisions=174169855 nbUselessRevisions=141539002
46.20 nbAssignments=223323 nbFailedAssignments=85157 nbBacktracks=137969 nbVisitedNodes=383017 nbRestartNogoods=129
46.20 => wckTime=45.348 cpuTime=45.05 mem=14M906
46.20
46.20 global
46.20 nbConstraintChecks=278468133 nbPropagations=12351749 nbRevisions=174169855 nbUselessRevisions=141539002
46.20 nbRestartNogoods=129 solvingWckTime=45.349 solvingCpuTime=45.05 expiredTime=no totalExploration=no
46.20 nbFoundSolutions=1 globalCpuTime=45.46
46.20 => wckTime=45.882 cpuTime=45.42 mem=14M906
46.20
46.20 s SATISFIABLE
46.20 v 3 12 17 11 4 12 14 13 9 9 16 16 7 12 12 10 14 6 6 6 9 9 9 10 9 2 13 1 16 2 0 1 11 11 14 15 8 13 7 7
46.20 d NODES 223323
46.20 d CHECKS 278468133
46.20
46.20 totalWckTime=45.963 totalCpuTime=45.47
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node44/watcher-202836-1168072730 -o ROOT/results/node44/solver-202836-1168072730 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202836-1168072730/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: 2.01 1.84 1.55 4/80 9045
/proc/meminfo: memFree=1459104/2055920 swapFree=4192812/4192956
[pid=9044] ppid=9042 vsize=18540 CPUtime=0
/proc/9044/stat : 9044 (runsolver) R 9042 9044 8845 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 155672069 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264840473895 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/9044/statm: 4635 279 244 17 0 2626 0
[startup+0.107809 s]
/proc/loadavg: 2.01 1.84 1.55 4/80 9045
/proc/meminfo: memFree=1459104/2055920 swapFree=4192812/4192956
[pid=9044] ppid=9042 vsize=914988 CPUtime=0.08
/proc/9044/stat : 9044 (java) R 9042 9044 8845 0 -1 0 2987 0 1 0 7 1 0 0 18 0 8 0 155672069 936947712 2733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9044/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515849 s]
/proc/loadavg: 2.01 1.84 1.55 4/80 9045
/proc/meminfo: memFree=1459104/2055920 swapFree=4192812/4192956
[pid=9044] ppid=9042 vsize=915328 CPUtime=0.49
/proc/9044/stat : 9044 (java) R 9042 9044 8845 0 -1 0 6724 0 1 0 45 4 0 0 18 0 8 0 155672069 937295872 6463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072920490 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9044/statm: 228832 6463 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33693 s]
/proc/loadavg: 2.01 1.84 1.55 3/87 9052
/proc/meminfo: memFree=1435496/2055920 swapFree=4192812/4192956
[pid=9044] ppid=9042 vsize=915456 CPUtime=1.3
/proc/9044/stat : 9044 (java) R 9042 9044 8845 0 -1 0 8633 0 1 0 124 6 0 0 24 0 8 0 155672069 937426944 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819075 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9044/statm: 228864 8371 2513 14 0 215334 0
[pid=9044/tid=9046] ppid=9042 vsize=915456 CPUtime=0.03
/proc/9044/task/9046/stat : 9046 (java) S 9042 9044 8845 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 155672073 937426944 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9047] ppid=9042 vsize=915456 CPUtime=0
/proc/9044/task/9047/stat : 9047 (java) S 9042 9044 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155672074 937426944 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9048] ppid=9042 vsize=915456 CPUtime=0
/proc/9044/task/9048/stat : 9048 (java) S 9042 9044 8845 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155672074 937426944 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9049] ppid=9042 vsize=915456 CPUtime=0
/proc/9044/task/9049/stat : 9049 (java) S 9042 9044 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155672077 937426944 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9050] ppid=9042 vsize=915456 CPUtime=0.22
/proc/9044/task/9050/stat : 9050 (java) S 9042 9044 8845 0 -1 64 381 0 0 0 22 0 0 0 15 0 8 0 155672077 937426944 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9051] ppid=9042 vsize=915456 CPUtime=0
/proc/9044/task/9051/stat : 9051 (java) S 9042 9044 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155672077 937426944 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9052] ppid=9042 vsize=915456 CPUtime=0
/proc/9044/task/9052/stat : 9052 (java) S 9042 9044 8845 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155672077 937426944 8371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915456
[startup+2.9741 s]
/proc/loadavg: 2.01 1.84 1.55 3/87 9052
/proc/meminfo: memFree=1435240/2055920 swapFree=4192812/4192956
[pid=9044] ppid=9042 vsize=915456 CPUtime=2.93
/proc/9044/stat : 9044 (java) R 9042 9044 8845 0 -1 0 8667 0 1 0 287 6 0 0 25 0 8 0 155672069 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803233 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9044/statm: 228864 8404 2513 14 0 215334 0
[pid=9044/tid=9046] ppid=9042 vsize=915456 CPUtime=0.03
/proc/9044/task/9046/stat : 9046 (java) S 9042 9044 8845 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 155672073 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9047] ppid=9042 vsize=915456 CPUtime=0
/proc/9044/task/9047/stat : 9047 (java) S 9042 9044 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155672074 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9048] ppid=9042 vsize=915456 CPUtime=0
/proc/9044/task/9048/stat : 9048 (java) S 9042 9044 8845 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155672074 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9049] ppid=9042 vsize=915456 CPUtime=0
/proc/9044/task/9049/stat : 9049 (java) S 9042 9044 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155672077 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9050] ppid=9042 vsize=915456 CPUtime=0.23
/proc/9044/task/9050/stat : 9050 (java) S 9042 9044 8845 0 -1 64 391 0 0 0 23 0 0 0 15 0 8 0 155672077 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9051] ppid=9042 vsize=915456 CPUtime=0
/proc/9044/task/9051/stat : 9051 (java) S 9042 9044 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155672077 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9052] ppid=9042 vsize=915456 CPUtime=0
/proc/9044/task/9052/stat : 9052 (java) S 9042 9044 8845 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155672077 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915456
[startup+6.26543 s]
/proc/loadavg: 2.01 1.84 1.55 3/87 9052
/proc/meminfo: memFree=1435112/2055920 swapFree=4192812/4192956
[pid=9044] ppid=9042 vsize=915456 CPUtime=6.2
/proc/9044/stat : 9044 (java) R 9042 9044 8845 0 -1 0 8674 0 1 0 614 6 0 0 25 0 8 0 155672069 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835468 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9044/statm: 228864 8411 2513 14 0 215334 0
[pid=9044/tid=9046] ppid=9042 vsize=915456 CPUtime=0.03
/proc/9044/task/9046/stat : 9046 (java) S 9042 9044 8845 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 155672073 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9047] ppid=9042 vsize=915456 CPUtime=0
/proc/9044/task/9047/stat : 9047 (java) S 9042 9044 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155672074 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9048] ppid=9042 vsize=915456 CPUtime=0
/proc/9044/task/9048/stat : 9048 (java) S 9042 9044 8845 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155672074 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9049] ppid=9042 vsize=915456 CPUtime=0
/proc/9044/task/9049/stat : 9049 (java) S 9042 9044 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155672077 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9050] ppid=9042 vsize=915456 CPUtime=0.23
/proc/9044/task/9050/stat : 9050 (java) S 9042 9044 8845 0 -1 64 391 0 0 0 23 0 0 0 15 0 8 0 155672077 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9051] ppid=9042 vsize=915456 CPUtime=0
/proc/9044/task/9051/stat : 9051 (java) S 9042 9044 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155672077 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9052] ppid=9042 vsize=915456 CPUtime=0
/proc/9044/task/9052/stat : 9052 (java) S 9042 9044 8845 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155672077 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915456
[startup+12.7401 s]
/proc/loadavg: 2.00 1.85 1.56 3/87 9052
/proc/meminfo: memFree=1435176/2055920 swapFree=4192812/4192956
[pid=9044] ppid=9042 vsize=915456 CPUtime=12.64
/proc/9044/stat : 9044 (java) R 9042 9044 8845 0 -1 0 8680 0 1 0 1258 6 0 0 25 0 8 0 155672069 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9044/statm: 228864 8416 2513 14 0 215334 0
[pid=9044/tid=9046] ppid=9042 vsize=915456 CPUtime=0.03
/proc/9044/task/9046/stat : 9046 (java) S 9042 9044 8845 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 155672073 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9047] ppid=9042 vsize=915456 CPUtime=0
/proc/9044/task/9047/stat : 9047 (java) S 9042 9044 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155672074 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9048] ppid=9042 vsize=915456 CPUtime=0
/proc/9044/task/9048/stat : 9048 (java) S 9042 9044 8845 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155672074 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9049] ppid=9042 vsize=915456 CPUtime=0
/proc/9044/task/9049/stat : 9049 (java) S 9042 9044 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155672077 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9050] ppid=9042 vsize=915456 CPUtime=0.24
/proc/9044/task/9050/stat : 9050 (java) S 9042 9044 8845 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 155672077 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9051] ppid=9042 vsize=915456 CPUtime=0
/proc/9044/task/9051/stat : 9051 (java) S 9042 9044 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155672077 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9052] ppid=9042 vsize=915456 CPUtime=0
/proc/9044/task/9052/stat : 9052 (java) S 9042 9044 8845 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155672077 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915456
[startup+25.6064 s]
/proc/loadavg: 2.00 1.85 1.56 3/87 9052
/proc/meminfo: memFree=1435176/2055920 swapFree=4192812/4192956
[pid=9044] ppid=9042 vsize=915456 CPUtime=25.45
/proc/9044/stat : 9044 (java) R 9042 9044 8845 0 -1 0 8686 0 1 0 2539 6 0 0 25 0 8 0 155672069 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918585 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9044/statm: 228864 8422 2513 14 0 215334 0
[pid=9044/tid=9046] ppid=9042 vsize=915456 CPUtime=0.03
/proc/9044/task/9046/stat : 9046 (java) S 9042 9044 8845 0 -1 64 290 0 0 0 3 0 0 0 16 0 8 0 155672073 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9047] ppid=9042 vsize=915456 CPUtime=0
/proc/9044/task/9047/stat : 9047 (java) S 9042 9044 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155672074 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9048] ppid=9042 vsize=915456 CPUtime=0
/proc/9044/task/9048/stat : 9048 (java) S 9042 9044 8845 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155672074 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9049] ppid=9042 vsize=915456 CPUtime=0
/proc/9044/task/9049/stat : 9049 (java) S 9042 9044 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155672077 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9050] ppid=9042 vsize=915456 CPUtime=0.24
/proc/9044/task/9050/stat : 9050 (java) S 9042 9044 8845 0 -1 64 392 0 0 0 24 0 0 0 16 0 8 0 155672077 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9051] ppid=9042 vsize=915456 CPUtime=0
/proc/9044/task/9051/stat : 9051 (java) S 9042 9044 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155672077 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9052] ppid=9042 vsize=915456 CPUtime=0
/proc/9044/task/9052/stat : 9052 (java) S 9042 9044 8845 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155672077 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 46.2422
CPU time (s): 45.968
CPU user time (s): 45.896
CPU system time (s): 0.071989
CPU usage (%): 99.407
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 45.896
system time used= 0.071989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8781
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= 2031
involuntary context switches= 2730
runsolver used 0.053991 s user time and 0.161975 s system time
The end
Begin job on node44 on Sat Jan 6 08:38:50 UTC 2007
IDJOB= 202836
IDBENCH= 3888
FILE ID= node44/202836-1168072730
PBS_JOBID= 3475970
Free space on /tmp= 66532 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202836-1168072730/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-202836-1168072730 -o ROOT/results/node44/solver-202836-1168072730 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202836-1168072730/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 652a7595e8712e979f7b00edd72f1dec
RANDOM SEED= 796379410
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.213
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.213
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: 1459584 kB
Buffers: 19352 kB
Cached: 298548 kB
SwapCached: 0 kB
Active: 260472 kB
Inactive: 266620 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1459584 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1976 kB
Writeback: 0 kB
Mapped: 229396 kB
Slab: 54092 kB
Committed_AS: 3704696 kB
PageTables: 2168 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= 66532 MiB
End job on node44 on Sat Jan 6 08:39:37 UTC 2007