0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/198461-1168071255/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.38 variables being loaded...
0.41 nbVariables=16 nbDomainTypes=1 minDomainSize=15 maxDomainSize=15
0.41 => wckTime=0.096 cpuTime=0.09 mem=6M951
0.41
0.41 predicates being loaded...
0.41
0.41 constraints being loaded...
0.50 nbConstraints=120 nbConvertedConstraints=120 nbConvertConstraintsChecks=225 nbExtensionStructures=1
0.50 nbSharedExtensionStructures=119 nbConflictsStructures=1 nbSharedConflictsStructures=119
0.50 nbSharedBinaryRepresentations=15 maxDegree=15 maxArity=2
0.50 => wckTime=0.192 cpuTime=0.16 mem=7M959
0.54
0.54 solver IterativeSystematicSolver being built...
0.70 => wckTime=0.385 cpuTime=0.29 mem=13M493
0.70
0.70 preprocessing
0.70 nbConstraintChecks=0 nbPropagations=16 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.70 detectedInconsistency=no
0.70 => wckTime=0.0020 cpuTime=0.0 mem=13M493
0.73
0.73 search
0.73 run=0 nbConstraintChecks=1519 nbPropagations=238 nbRevisions=251 nbUselessRevisions=24 nbAssignments=31
0.73 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=52 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.73 nbTooLargeKeys=0
0.73 => wckTime=0.033 cpuTime=0.02 mem=13M493
0.74
0.74 search
0.74 run=1 nbConstraintChecks=3163 nbPropagations=740 nbRevisions=805 nbUselessRevisions=79 nbAssignments=72
0.74 nbFailedAssignments=24 nbBacktracks=25 nbVisitedNodes=121 nbRestartNogoods=4 mapSize=25 nbInferences=0
0.74 nbTooLargeKeys=0
0.74 => wckTime=0.046 cpuTime=0.03 mem=13M493
0.75
0.75 search
0.75 run=2 nbConstraintChecks=4974 nbPropagations=1570 nbRevisions=1735 nbUselessRevisions=170 nbAssignments=126
0.75 nbFailedAssignments=44 nbBacktracks=47 nbVisitedNodes=215 nbRestartNogoods=7 mapSize=47 nbInferences=0
0.75 nbTooLargeKeys=0
0.75 => wckTime=0.058 cpuTime=0.04 mem=13M493
0.77
0.77 search
0.77 run=3 nbConstraintChecks=6989 nbPropagations=2808 nbRevisions=3121 nbUselessRevisions=299 nbAssignments=199
0.77 nbFailedAssignments=71 nbBacktracks=80 nbVisitedNodes=343 nbRestartNogoods=12 mapSize=80 nbInferences=1
0.77 nbTooLargeKeys=0
0.77 => wckTime=0.069 cpuTime=0.05 mem=13M493
0.78
0.78 search
0.78 run=4 nbConstraintChecks=9330 nbPropagations=4587 nbRevisions=5090 nbUselessRevisions=466 nbAssignments=302
0.78 nbFailedAssignments=108 nbBacktracks=131 nbVisitedNodes=525 nbRestartNogoods=16 mapSize=131 nbInferences=6
0.78 nbTooLargeKeys=0
0.78 => wckTime=0.086 cpuTime=0.06 mem=13M493
0.80
0.80 search
0.80 run=5 nbConstraintChecks=12209 nbPropagations=7122 nbRevisions=7814 nbUselessRevisions=662 nbAssignments=453
0.80 nbFailedAssignments=155 nbBacktracks=206 nbVisitedNodes=787 nbRestartNogoods=20 mapSize=206 nbInferences=23
0.80 nbTooLargeKeys=0
0.80 => wckTime=0.1 cpuTime=0.07 mem=13M493
0.81
0.81 search
0.81 run=6 nbConstraintChecks=15816 nbPropagations=10720 nbRevisions=11563 nbUselessRevisions=874 nbAssignments=673
0.81 nbFailedAssignments=225 nbBacktracks=319 nbVisitedNodes=1172 nbRestartNogoods=23 mapSize=319 nbInferences=48
0.81 nbTooLargeKeys=0
0.81 => wckTime=0.116 cpuTime=0.08 mem=13M493
0.83
0.83 search
0.83 run=7 nbConstraintChecks=20694 nbPropagations=15875 nbRevisions=16830 nbUselessRevisions=1116
0.83 nbAssignments=1000 nbFailedAssignments=334 nbBacktracks=489 nbVisitedNodes=1754 nbRestartNogoods=28
0.83 mapSize=489 nbInferences=85 nbTooLargeKeys=0
0.83 => wckTime=0.136 cpuTime=0.09 mem=13M493
0.87
0.87 search
0.87 run=8 nbConstraintChecks=28299 nbPropagations=23589 nbRevisions=24432 nbUselessRevisions=1388
0.87 nbAssignments=1534 nbFailedAssignments=472 nbBacktracks=745 nbVisitedNodes=2692 nbRestartNogoods=35
0.87 mapSize=745 nbInferences=213 nbTooLargeKeys=0
0.87 => wckTime=0.174 cpuTime=0.13 mem=13M493
0.90
0.90 search
0.90 run=9 nbConstraintChecks=39027 nbPropagations=35101 nbRevisions=35455 nbUselessRevisions=1680
0.90 nbAssignments=2335 nbFailedAssignments=681 nbBacktracks=1129 nbVisitedNodes=4108 nbRestartNogoods=46
0.90 mapSize=1129 nbInferences=410 nbTooLargeKeys=0
0.90 => wckTime=0.205 cpuTime=0.15 mem=13M493
0.94
0.94 search
0.94 run=10 nbConstraintChecks=55980 nbPropagations=52690 nbRevisions=51768 nbUselessRevisions=1987
0.94 nbAssignments=3603 nbFailedAssignments=966 nbBacktracks=1706 nbVisitedNodes=6342 nbRestartNogoods=54
0.94 mapSize=1706 nbInferences=806 nbTooLargeKeys=0
0.94 => wckTime=0.239 cpuTime=0.17 mem=13M493
0.97
0.97 search
0.98 run=11 nbConstraintChecks=82698 nbPropagations=79920 nbRevisions=76270 nbUselessRevisions=2324
0.98 nbAssignments=5599 nbFailedAssignments=1351 nbBacktracks=2570 nbVisitedNodes=9843 nbRestartNogoods=58
0.98 mapSize=2570 nbInferences=1541 nbTooLargeKeys=0
0.98 => wckTime=0.278 cpuTime=0.21 mem=14M469
1.04
1.04 search
1.04 run=12 nbConstraintChecks=129951 nbPropagations=123488 nbRevisions=114309 nbUselessRevisions=2684
1.04 nbAssignments=8847 nbFailedAssignments=1884 nbBacktracks=3867 nbVisitedNodes=15563 nbRestartNogoods=66
1.04 mapSize=3867 nbInferences=2947 nbTooLargeKeys=0
1.04 => wckTime=0.347 cpuTime=0.28 mem=14M469
1.15
1.15 search
1.15 run=13 nbConstraintChecks=203945 nbPropagations=192907 nbRevisions=173287 nbUselessRevisions=3159
1.15 nbAssignments=13988 nbFailedAssignments=2559 nbBacktracks=5814 nbVisitedNodes=24562 nbRestartNogoods=74
1.15 mapSize=5814 nbInferences=5455 nbTooLargeKeys=0
1.15 => wckTime=0.455 cpuTime=0.38 mem=14M469
1.32
1.32 search
1.32 run=14 nbConstraintChecks=333642 nbPropagations=306102 nbRevisions=266786 nbUselessRevisions=3685
1.32 nbAssignments=22413 nbFailedAssignments=3407 nbBacktracks=8733 nbVisitedNodes=39331 nbRestartNogoods=86
1.32 mapSize=8733 nbInferences=10103 nbTooLargeKeys=0
1.33 => wckTime=0.628 cpuTime=0.55 mem=14M469
1.60
1.60 search
1.60 run=15 nbConstraintChecks=554848 nbPropagations=490609 nbRevisions=416215 nbUselessRevisions=4356
1.60 nbAssignments=35721 nbFailedAssignments=4567 nbBacktracks=13111 nbVisitedNodes=62717 nbRestartNogoods=97
1.60 mapSize=13111 nbInferences=17861 nbTooLargeKeys=0
1.60 => wckTime=0.903 cpuTime=0.83 mem=15M444
2.07
2.07 search
2.07 run=16 nbConstraintChecks=962606 nbPropagations=799697 nbRevisions=661372 nbUselessRevisions=5117
2.07 nbAssignments=57982 nbFailedAssignments=5784 nbBacktracks=19679 nbVisitedNodes=101879 nbRestartNogoods=114
2.07 mapSize=19679 nbInferences=32328 nbTooLargeKeys=0
2.07 => wckTime=1.378 cpuTime=1.3 mem=16M419
2.87
2.87 search
2.87 run=17 nbConstraintChecks=1689772 nbPropagations=1317489 nbRevisions=1066791 nbUselessRevisions=5878
2.87 nbAssignments=93678 nbFailedAssignments=7401 nbBacktracks=29532 nbVisitedNodes=165025 nbRestartNogoods=125
2.87 mapSize=29532 nbInferences=56544 nbTooLargeKeys=0
2.87 => wckTime=2.174 cpuTime=2.09 mem=18M369
4.38
4.38 search
4.38 run=18 nbConstraintChecks=3298598 nbPropagations=2231520 nbRevisions=1778204 nbUselessRevisions=6639
4.38 nbAssignments=155191 nbFailedAssignments=9010 nbBacktracks=44310 nbVisitedNodes=274875 nbRestartNogoods=149
4.38 mapSize=44310 nbInferences=101663 nbTooLargeKeys=0
4.38 => wckTime=3.687 cpuTime=3.59 mem=20M320
6.86
6.86 search
6.86 run=19 nbConstraintChecks=5955479 nbPropagations=3788477 nbRevisions=2984824 nbUselessRevisions=7400
6.86 nbAssignments=252859 nbFailedAssignments=10646 nbBacktracks=66478 nbVisitedNodes=449670 nbRestartNogoods=161
6.86 mapSize=66478 nbInferences=175518 nbTooLargeKeys=0
6.86 => wckTime=6.167 cpuTime=6.06 mem=24M220
10.51
10.51 search
10.51 run=20 nbConstraintChecks=9785924 nbPropagations=6288832 nbRevisions=4916356 nbUselessRevisions=8162
10.51 nbAssignments=397774 nbFailedAssignments=13060 nbBacktracks=99731 nbVisitedNodes=708652 nbRestartNogoods=175
10.51 mapSize=99731 nbInferences=284757 nbTooLargeKeys=0
10.51 => wckTime=9.816 cpuTime=9.68 mem=31M120
19.29
19.29 search
19.29 run=21 nbConstraintChecks=21655538 nbPropagations=11006694 nbRevisions=8607752 nbUselessRevisions=8924
19.29 nbAssignments=677932 nbFailedAssignments=14514 nbBacktracks=149609 nbVisitedNodes=1220536 nbRestartNogoods=187
19.29 mapSize=149609 nbInferences=513575 nbTooLargeKeys=0
19.29 => wckTime=18.591 cpuTime=18.41 mem=42M822
29.57
29.57 search
29.57 run=22 nbConstraintChecks=34334881 nbPropagations=18421220 nbRevisions=14402539 nbUselessRevisions=9686
29.57 nbAssignments=1052244 nbFailedAssignments=17366 nbBacktracks=224428 nbVisitedNodes=1897184 nbRestartNogoods=222
29.57 mapSize=224428 nbInferences=810207 nbTooLargeKeys=0
29.57 => wckTime=28.874 cpuTime=28.45 mem=27M104
45.73
45.73 search
45.73 run=23 nbConstraintChecks=57628012 nbPropagations=30417799 nbRevisions=23807477 nbUselessRevisions=10449
45.73 nbAssignments=1653866 nbFailedAssignments=20804 nbBacktracks=336656 nbVisitedNodes=2991629 nbRestartNogoods=245
45.73 mapSize=336656 nbInferences=1296154 nbTooLargeKeys=0
45.73 => wckTime=45.032 cpuTime=44.57 mem=51M727
73.12
73.12 search
73.12 run=24 nbConstraintChecks=98686795 nbPropagations=50057850 nbRevisions=39275508 nbUselessRevisions=11212
73.12 nbAssignments=2615514 nbFailedAssignments=23918 nbBacktracks=504997 nbVisitedNodes=4749691 nbRestartNogoods=272
73.12 mapSize=504997 nbInferences=2086340 nbTooLargeKeys=0
73.12 => wckTime=72.42 cpuTime=71.65 mem=63M86
115.64
115.64 search
115.64 run=25 nbConstraintChecks=163604725 nbPropagations=81628246 nbRevisions=64223798 nbUselessRevisions=11977
115.64 nbAssignments=4096174 nbFailedAssignments=27018 nbBacktracks=757509 nbVisitedNodes=7461591 nbRestartNogoods=293
115.64 mapSize=757509 nbInferences=3311380 nbTooLargeKeys=0
115.64 => wckTime=114.942 cpuTime=113.86 mem=91M914
155.91
155.91 search
155.91 run=26 nbConstraintChecks=228337068 nbPropagations=124285005 nbRevisions=98061209 nbUselessRevisions=12826
155.91 nbAssignments=5410514 nbFailedAssignments=28735 nbBacktracks=971469 nbVisitedNodes=9878028 nbRestartNogoods=317
155.91 mapSize=971468 nbInferences=4410044 nbTooLargeKeys=0
155.91 => wckTime=155.209 cpuTime=153.53 mem=95M599
155.91
155.91 global
155.91 nbConstraintChecks=228337068 nbPropagations=124285021 nbRevisions=98061209 nbUselessRevisions=12826
155.91 nbRestartNogoods=317 solvingWckTime=155.21 solvingCpuTime=153.53 expiredTime=no totalExploration=yes
155.91 nbFoundSolutions=0 globalCpuTime=153.86
155.91 => wckTime=155.597 cpuTime=153.82 mem=95M599
155.91
155.91 s UNSATISFIABLE
155.91 d NODES 5410514
155.91 d CHECKS 228337068
155.91
155.91 totalWckTime=155.679 totalCpuTime=153.86
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-198461-1168071255 -o ROOT/results/node5/solver-198461-1168071255 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/198461-1168071255/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.40 1.82 1.87 2/83 5125
/proc/meminfo: memFree=184904/2055920 swapFree=4192812/4192956
[pid=5124] ppid=5122 vsize=89776 CPUtime=0
/proc/5124/stat : 5124 (java) D 5122 5124 4510 0 -1 0 1273 0 1 0 0 0 0 0 17 0 1 0 135740616 91930624 1022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/5124/statm: 22444 1022 811 14 0 10027 0
[startup+0.102028 s]
/proc/loadavg: 1.40 1.82 1.87 2/83 5125
/proc/meminfo: memFree=184904/2055920 swapFree=4192812/4192956
[pid=5124] ppid=5122 vsize=914988 CPUtime=0.08
/proc/5124/stat : 5124 (java) R 5122 5124 4510 0 -1 0 2994 0 1 0 7 1 0 0 17 0 8 0 135740616 936947712 2740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925707 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5124/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510071 s]
/proc/loadavg: 1.40 1.82 1.87 2/83 5125
/proc/meminfo: memFree=184904/2055920 swapFree=4192812/4192956
[pid=5124] ppid=5122 vsize=915456 CPUtime=0.49
/proc/5124/stat : 5124 (java) S 5122 5124 4510 0 -1 0 6442 0 1 0 44 5 0 0 18 0 8 0 135740616 937426944 6180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5124/statm: 228864 6180 2177 14 0 215334 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915456
[startup+1.33116 s]
/proc/loadavg: 1.40 1.82 1.87 3/90 5132
/proc/meminfo: memFree=144528/2055920 swapFree=4192812/4192956
[pid=5124] ppid=5122 vsize=915456 CPUtime=1.3
/proc/5124/stat : 5124 (java) R 5122 5124 4510 0 -1 0 8576 0 1 0 123 7 0 0 21 0 8 0 135740616 937426944 8314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073701048 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5124/statm: 228864 8314 2530 14 0 215334 0
[pid=5124/tid=5126] ppid=5122 vsize=915456 CPUtime=0.02
/proc/5124/task/5126/stat : 5126 (java) S 5122 5124 4510 0 -1 64 128 0 0 0 2 0 0 0 16 0 8 0 135740620 937426944 8314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5127] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5127/stat : 5127 (java) S 5122 5124 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135740620 937426944 8314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5128] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5128/stat : 5128 (java) S 5122 5124 4510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135740620 937426944 8314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5129] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5129/stat : 5129 (java) S 5122 5124 4510 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135740623 937426944 8314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5130] ppid=5122 vsize=915456 CPUtime=0.19
/proc/5124/task/5130/stat : 5130 (java) S 5122 5124 4510 0 -1 64 361 0 0 0 18 1 0 0 19 0 8 0 135740623 937426944 8314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5131] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5131/stat : 5131 (java) S 5122 5124 4510 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135740623 937426944 8314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5132] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5132/stat : 5132 (java) S 5122 5124 4510 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135740623 937426944 8314 18446744073709551615 134512640 134570532 4294956464 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.97035 s]
/proc/loadavg: 1.40 1.82 1.87 3/90 5132
/proc/meminfo: memFree=124880/2055920 swapFree=4192812/4192956
[pid=5124] ppid=5122 vsize=915456 CPUtime=2.94
/proc/5124/stat : 5124 (java) R 5122 5124 4510 0 -1 0 9370 0 1 0 286 8 0 0 25 0 8 0 135740616 937426944 9107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073725193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5124/statm: 228864 9107 2530 14 0 215334 0
[pid=5124/tid=5126] ppid=5122 vsize=915456 CPUtime=0.02
/proc/5124/task/5126/stat : 5126 (java) S 5122 5124 4510 0 -1 64 128 0 0 0 2 0 0 0 16 0 8 0 135740620 937426944 9107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5127] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5127/stat : 5127 (java) S 5122 5124 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135740620 937426944 9107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5128] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5128/stat : 5128 (java) S 5122 5124 4510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135740620 937426944 9107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5129] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5129/stat : 5129 (java) S 5122 5124 4510 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135740623 937426944 9107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5130] ppid=5122 vsize=915456 CPUtime=0.19
/proc/5124/task/5130/stat : 5130 (java) S 5122 5124 4510 0 -1 64 362 0 0 0 18 1 0 0 16 0 8 0 135740623 937426944 9107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5131] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5131/stat : 5131 (java) S 5122 5124 4510 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135740623 937426944 9107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5132] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5132/stat : 5132 (java) S 5122 5124 4510 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135740623 937426944 9107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915456
[startup+6.17771 s]
/proc/loadavg: 1.45 1.83 1.87 3/90 5132
/proc/meminfo: memFree=65872/2055920 swapFree=4192812/4192956
[pid=5124] ppid=5122 vsize=915456 CPUtime=6.13
/proc/5124/stat : 5124 (java) R 5122 5124 4510 0 -1 0 10699 0 1 0 604 9 0 0 25 0 8 0 135740616 937426944 10436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073683462 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5124/statm: 228864 10436 2530 14 0 215334 0
[pid=5124/tid=5126] ppid=5122 vsize=915456 CPUtime=0.02
/proc/5124/task/5126/stat : 5126 (java) S 5122 5124 4510 0 -1 64 128 0 0 0 2 0 0 0 16 0 8 0 135740620 937426944 10436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5127] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5127/stat : 5127 (java) S 5122 5124 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135740620 937426944 10436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5128] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5128/stat : 5128 (java) S 5122 5124 4510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135740620 937426944 10436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5129] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5129/stat : 5129 (java) S 5122 5124 4510 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135740623 937426944 10436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5130] ppid=5122 vsize=915456 CPUtime=0.19
/proc/5124/task/5130/stat : 5130 (java) S 5122 5124 4510 0 -1 64 362 0 0 0 18 1 0 0 16 0 8 0 135740623 937426944 10436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5131] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5131/stat : 5131 (java) S 5122 5124 4510 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135740623 937426944 10436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5132] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5132/stat : 5132 (java) S 5122 5124 4510 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135740623 937426944 10436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915456
[startup+12.6484 s]
/proc/loadavg: 1.49 1.83 1.87 3/90 5132
/proc/meminfo: memFree=15696/2055920 swapFree=4192812/4192956
[pid=5124] ppid=5122 vsize=915456 CPUtime=12.56
/proc/5124/stat : 5124 (java) R 5122 5124 4510 0 -1 0 13301 0 1 0 1246 10 0 0 25 0 8 0 135740616 937426944 13038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073736635 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5124/statm: 228864 13038 2530 14 0 215334 0
[pid=5124/tid=5126] ppid=5122 vsize=915456 CPUtime=0.02
/proc/5124/task/5126/stat : 5126 (java) S 5122 5124 4510 0 -1 64 128 0 0 0 2 0 0 0 16 0 8 0 135740620 937426944 13038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5127] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5127/stat : 5127 (java) S 5122 5124 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135740620 937426944 13038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5128] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5128/stat : 5128 (java) S 5122 5124 4510 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135740620 937426944 13038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5129] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5129/stat : 5129 (java) S 5122 5124 4510 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135740623 937426944 13038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5130] ppid=5122 vsize=915456 CPUtime=0.19
/proc/5124/task/5130/stat : 5130 (java) S 5122 5124 4510 0 -1 64 363 0 0 0 18 1 0 0 17 0 8 0 135740623 937426944 13038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5131] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5131/stat : 5131 (java) S 5122 5124 4510 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135740623 937426944 13038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5132] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5132/stat : 5132 (java) S 5122 5124 4510 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135740623 937426944 13038 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915456
[startup+25.5099 s]
/proc/loadavg: 1.60 1.84 1.87 3/90 5132
/proc/meminfo: memFree=15504/2055920 swapFree=4192812/4192956
[pid=5124] ppid=5122 vsize=915456 CPUtime=25.35
/proc/5124/stat : 5124 (java) R 5122 5124 4510 0 -1 0 20701 0 1 0 2521 14 0 0 25 0 8 0 135740616 937426944 20437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073684556 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5124/statm: 228864 20437 2534 14 0 215334 0
[pid=5124/tid=5126] ppid=5122 vsize=915456 CPUtime=0.21
/proc/5124/task/5126/stat : 5126 (java) S 5122 5124 4510 0 -1 64 3726 0 0 0 20 1 0 0 16 0 8 0 135740620 937426944 20437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5127] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5127/stat : 5127 (java) S 5122 5124 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135740620 937426944 20437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5128] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5128/stat : 5128 (java) S 5122 5124 4510 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 135740620 937426944 20437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5129] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5129/stat : 5129 (java) S 5122 5124 4510 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135740623 937426944 20437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5130] ppid=5122 vsize=915456 CPUtime=0.19
/proc/5124/task/5130/stat : 5130 (java) S 5122 5124 4510 0 -1 64 364 0 0 0 18 1 0 0 16 0 8 0 135740623 937426944 20437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5131] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5131/stat : 5131 (java) S 5122 5124 4510 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135740623 937426944 20437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5132] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5132/stat : 5132 (java) S 5122 5124 4510 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135740623 937426944 20437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915456
[startup+51.1148 s]
/proc/loadavg: 1.48 1.78 1.85 2/88 5272
/proc/meminfo: memFree=1306400/2055920 swapFree=4192812/4192956
[pid=5124] ppid=5122 vsize=915456 CPUtime=50.91
/proc/5124/stat : 5124 (java) R 5122 5124 4510 0 -1 0 20707 0 1 0 5075 16 0 0 25 0 8 0 135740616 937426944 20442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073703563 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5124/statm: 228864 20442 2534 14 0 215334 0
[pid=5124/tid=5126] ppid=5122 vsize=915456 CPUtime=0.21
/proc/5124/task/5126/stat : 5126 (java) S 5122 5124 4510 0 -1 64 3726 0 0 0 20 1 0 0 16 0 8 0 135740620 937426944 20442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5127] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5127/stat : 5127 (java) S 5122 5124 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135740620 937426944 20442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5128] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5128/stat : 5128 (java) S 5122 5124 4510 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 135740620 937426944 20442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5129] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5129/stat : 5129 (java) S 5122 5124 4510 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135740623 937426944 20442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5130] ppid=5122 vsize=915456 CPUtime=0.19
/proc/5124/task/5130/stat : 5130 (java) S 5122 5124 4510 0 -1 64 364 0 0 0 18 1 0 0 16 0 8 0 135740623 937426944 20442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5131] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5131/stat : 5131 (java) S 5122 5124 4510 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135740623 937426944 20442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5132] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5132/stat : 5132 (java) S 5122 5124 4510 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135740623 937426944 20442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 915456
[startup+102.416 s]
/proc/loadavg: 1.73 1.80 1.85 3/100 5328
/proc/meminfo: memFree=1244048/2055920 swapFree=4192812/4192956
[pid=5124] ppid=5122 vsize=915456 CPUtime=102.19
/proc/5124/stat : 5124 (java) R 5122 5124 4510 0 -1 0 30119 0 1 0 10199 20 0 0 25 0 8 0 135740616 937426944 29852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677937 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5124/statm: 228864 29852 2534 14 0 215334 0
[pid=5124/tid=5126] ppid=5122 vsize=915456 CPUtime=0.78
/proc/5124/task/5126/stat : 5126 (java) S 5122 5124 4510 0 -1 64 13136 0 0 0 74 4 0 0 16 0 8 0 135740620 937426944 29852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5124/tid=5127] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5127/stat : 5127 (java) S 5122 5124 4510 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135740620 937426944 29852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5128] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5128/stat : 5128 (java) S 5122 5124 4510 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 135740620 937426944 29852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5129] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5129/stat : 5129 (java) S 5122 5124 4510 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135740623 937426944 29852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5130] ppid=5122 vsize=915456 CPUtime=0.19
/proc/5124/task/5130/stat : 5130 (java) S 5122 5124 4510 0 -1 64 364 0 0 0 18 1 0 0 16 0 8 0 135740623 937426944 29852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5131] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5131/stat : 5131 (java) S 5122 5124 4510 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135740623 937426944 29852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5124/tid=5132] ppid=5122 vsize=915456 CPUtime=0
/proc/5124/task/5132/stat : 5132 (java) S 5122 5124 4510 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135740623 937426944 29852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 155.953
CPU time (s): 155.669
CPU user time (s): 155.399
CPU system time (s): 0.269958
CPU usage (%): 99.8183
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 155.399
system time used= 0.269958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39113
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= 3909
involuntary context switches= 5412
runsolver used 0.235964 s user time and 0.45893 s system time
The end
Begin job on node5 on Sat Jan 6 08:14:19 UTC 2007
IDJOB= 198461
IDBENCH= 3557
FILE ID= node5/198461-1168071255
PBS_JOBID= 3475706
Free space on /tmp= 66215 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pigeons/pigeons-16.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/198461-1168071255/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-198461-1168071255 -o ROOT/results/node5/solver-198461-1168071255 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/198461-1168071255/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 29b240a472ae76f566c2f73ece61891e
RANDOM SEED= 709055505
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.240
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.240
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: 224936 kB
Buffers: 71904 kB
Cached: 909880 kB
SwapCached: 0 kB
Active: 1167344 kB
Inactive: 567320 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 224936 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1836 kB
Writeback: 0 kB
Mapped: 774580 kB
Slab: 79600 kB
Committed_AS: 4045960 kB
PageTables: 3924 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= 66332 MiB
End job on node5 on Sat Jan 6 08:16:58 UTC 2007