0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/210379-1168075062/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=150 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.43 => wckTime=0.098 cpuTime=0.08 mem=6M951
0.43
0.43 predicates being loaded...
0.43
0.43 constraints being loaded...
0.58 nbConstraints=130 nbConflictsStructures=4 nbSharedConflictsStructures=126 nbSharedBinaryRepresentations=0
0.58 nbEvaluationManagers=4 nbSharedEvaluationManagers=126 maxDegree=11 maxArity=10
0.58 => wckTime=0.25 cpuTime=0.18 mem=9M877
0.61
0.61 solver IterativeSystematicSolver being built...
0.79 => wckTime=0.465 cpuTime=0.33 mem=16M543
0.80
0.80 preprocessing
0.80 nbConstraintChecks=0 nbPropagations=150 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.80 detectedInconsistency=no
0.80 => wckTime=0.0080 cpuTime=0.0 mem=16M543
0.85
0.86 search
0.86 run=0 nbConstraintChecks=1342 nbValidityChecks=164 nbPropagations=304 nbRevisions=295 nbUselessRevisions=136
0.86 nbAssignments=123 nbFailedAssignments=1 nbBacktracks=77 nbVisitedNodes=126 nbRestartNogoods=0 mapSize=1
0.86 nbInferences=0 nbTooLargeKeys=0
0.86 => wckTime=0.06 cpuTime=0.03 mem=16M543
0.88
0.88 search
0.88 run=1 nbConstraintChecks=4442 nbValidityChecks=501 nbPropagations=803 nbRevisions=960 nbUselessRevisions=434
0.88 nbAssignments=258 nbFailedAssignments=3 nbBacktracks=97 nbVisitedNodes=265 nbRestartNogoods=1 mapSize=4
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.091 cpuTime=0.06 mem=16M543
0.90
0.90 search
0.90 run=2 nbConstraintChecks=6519 nbValidityChecks=871 nbPropagations=1477 nbRevisions=2031 nbUselessRevisions=955
0.90 nbAssignments=330 nbFailedAssignments=4 nbBacktracks=122 nbVisitedNodes=340 nbRestartNogoods=2 mapSize=6
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.106 cpuTime=0.07 mem=16M543
0.93
0.93 search
0.93 run=3 nbConstraintChecks=12814 nbValidityChecks=1662 nbPropagations=2436 nbRevisions=3838
0.93 nbUselessRevisions=1900 nbAssignments=445 nbFailedAssignments=7 nbBacktracks=164 nbVisitedNodes=464
0.93 nbRestartNogoods=3 mapSize=13 nbInferences=2 nbTooLargeKeys=0
0.93 => wckTime=0.14 cpuTime=0.1 mem=16M543
0.96
0.96 search
0.96 run=4 nbConstraintChecks=18572 nbValidityChecks=2364 nbPropagations=3670 nbRevisions=6279
0.96 nbUselessRevisions=3169 nbAssignments=576 nbFailedAssignments=10 nbBacktracks=215 nbVisitedNodes=604
0.96 nbRestartNogoods=5 mapSize=20 nbInferences=3 nbTooLargeKeys=0
0.96 => wckTime=0.168 cpuTime=0.12 mem=16M543
0.99
0.99 search
0.99 run=5 nbConstraintChecks=20016 nbValidityChecks=2974 nbPropagations=5177 nbRevisions=9310
0.99 nbUselessRevisions=4784 nbAssignments=720 nbFailedAssignments=10 nbBacktracks=310 nbVisitedNodes=756
0.99 nbRestartNogoods=7 mapSize=26 nbInferences=11 nbTooLargeKeys=0
0.99 => wckTime=0.199 cpuTime=0.15 mem=16M543
1.05
1.05 search
1.05 run=6 nbConstraintChecks=47831 nbValidityChecks=5793 nbPropagations=7582 nbRevisions=14379
1.06 nbUselessRevisions=7367 nbAssignments=943 nbFailedAssignments=31 nbBacktracks=430 nbVisitedNodes=1028
1.06 nbRestartNogoods=9 mapSize=68 nbInferences=12 nbTooLargeKeys=0
1.06 => wckTime=0.262 cpuTime=0.21 mem=16M543
1.12
1.12 search
1.12 run=7 nbConstraintChecks=75289 nbValidityChecks=9424 nbPropagations=10958 nbRevisions=22091
1.12 nbUselessRevisions=11364 nbAssignments=1215 nbFailedAssignments=56 nbBacktracks=605 nbVisitedNodes=1354
1.12 nbRestartNogoods=12 mapSize=120 nbInferences=12 nbTooLargeKeys=0
1.12 => wckTime=0.325 cpuTime=0.27 mem=16M543
1.22
1.22 search
1.22 run=8 nbConstraintChecks=119625 nbValidityChecks=14729 nbPropagations=15877 nbRevisions=34132
1.22 nbUselessRevisions=17755 nbAssignments=1581 nbFailedAssignments=95 nbBacktracks=863 nbVisitedNodes=1806
1.22 nbRestartNogoods=14 mapSize=203 nbInferences=12 nbTooLargeKeys=0
1.22 => wckTime=0.423 cpuTime=0.35 mem=16M543
1.32
1.32 search
1.32 run=9 nbConstraintChecks=178745 nbValidityChecks=20061 nbPropagations=22382 nbRevisions=49289
1.32 nbUselessRevisions=25406 nbAssignments=2064 nbFailedAssignments=138 nbBacktracks=1249 nbVisitedNodes=2385
1.32 nbRestartNogoods=16 mapSize=294 nbInferences=12 nbTooLargeKeys=0
1.32 => wckTime=0.526 cpuTime=0.45 mem=16M543
1.50
1.50 search
1.50 run=10 nbConstraintChecks=287704 nbValidityChecks=29090 nbPropagations=31721 nbRevisions=69669
1.50 nbUselessRevisions=34974 nbAssignments=2769 nbFailedAssignments=214 nbBacktracks=1825 nbVisitedNodes=3262
1.50 nbRestartNogoods=18 mapSize=464 nbInferences=12 nbTooLargeKeys=0
1.50 => wckTime=0.705 cpuTime=0.62 mem=17M519
1.74
1.74 search
1.74 run=11 nbConstraintChecks=440145 nbValidityChecks=42541 nbPropagations=45179 nbRevisions=97956
1.74 nbUselessRevisions=47429 nbAssignments=3809 nbFailedAssignments=317 nbBacktracks=2699 nbVisitedNodes=4556
1.74 nbRestartNogoods=20 mapSize=715 nbInferences=12 nbTooLargeKeys=0
1.74 => wckTime=0.943 cpuTime=0.85 mem=17M519
2.09
2.09 search
2.09 run=12 nbConstraintChecks=670816 nbValidityChecks=62230 nbPropagations=64905 nbRevisions=137725
2.09 nbUselessRevisions=63971 nbAssignments=5336 nbFailedAssignments=482 nbBacktracks=3996 nbVisitedNodes=6464
2.09 nbRestartNogoods=23 mapSize=1093 nbInferences=12 nbTooLargeKeys=0
2.09 => wckTime=1.293 cpuTime=1.2 mem=17M519
2.65
2.65 search
2.65 run=13 nbConstraintChecks=1051831 nbValidityChecks=93662 nbPropagations=94629 nbRevisions=195780
2.65 nbUselessRevisions=86931 nbAssignments=7633 nbFailedAssignments=774 nbBacktracks=5946 nbVisitedNodes=9435
2.65 nbRestartNogoods=26 mapSize=1764 nbInferences=12 nbTooLargeKeys=0
2.65 => wckTime=1.858 cpuTime=1.77 mem=17M519
3.19
3.19 INFO : Stopping hyperNogood (mapSize=2408, nbTooLargekeys=0, mem=18M494)
3.48
3.48 search
3.48 run=14 nbConstraintChecks=1640038 nbValidityChecks=143010 nbPropagations=139752 nbRevisions=283192
3.48 nbUselessRevisions=120394 nbAssignments=11055 nbFailedAssignments=1220 nbBacktracks=8874 nbVisitedNodes=13885
3.48 nbRestartNogoods=28
3.48 => wckTime=2.686 cpuTime=2.6 mem=18M494
4.54
4.54 search
4.54 run=15 nbConstraintChecks=2456346 nbValidityChecks=208669 nbPropagations=206391 nbRevisions=408517
4.54 nbUselessRevisions=167365 nbAssignments=16046 nbFailedAssignments=1769 nbBacktracks=13257 nbVisitedNodes=20235
4.54 nbRestartNogoods=30
4.55 => wckTime=3.751 cpuTime=3.66 mem=18M494
5.86
5.86 search
5.86 run=16 nbConstraintChecks=3422511 nbValidityChecks=305409 nbPropagations=304893 nbRevisions=589223
5.86 nbUselessRevisions=233610 nbAssignments=23374 nbFailedAssignments=2460 nbBacktracks=19827 nbVisitedNodes=29534
5.86 nbRestartNogoods=32
5.86 => wckTime=5.07 cpuTime=4.98 mem=18M494
8.06
8.06 search
8.06 run=17 nbConstraintChecks=5100235 nbValidityChecks=441098 nbPropagations=447652 nbRevisions=847467
8.06 nbUselessRevisions=328548 nbAssignments=34366 nbFailedAssignments=3542 nbBacktracks=29683 nbVisitedNodes=43315
8.06 nbRestartNogoods=36
8.06 => wckTime=7.269 cpuTime=7.18 mem=18M494
11.06
11.06 search
11.06 run=18 nbConstraintChecks=7289594 nbValidityChecks=647271 nbPropagations=657386 nbRevisions=1224842
11.06 nbUselessRevisions=467741 nbAssignments=50790 nbFailedAssignments=5125 nbBacktracks=44468 nbVisitedNodes=64266
11.06 nbRestartNogoods=39
11.06 => wckTime=10.262 cpuTime=10.17 mem=18M494
16.04
16.04 search
16.04 run=19 nbConstraintChecks=11008119 nbValidityChecks=970764 nbPropagations=971583 nbRevisions=1790290
16.04 nbUselessRevisions=676194 nbAssignments=75613 nbFailedAssignments=7715 nbBacktracks=66645 nbVisitedNodes=95899
16.04 nbRestartNogoods=41
16.04 => wckTime=15.244 cpuTime=15.15 mem=18M494
23.30
23.30 search
23.30 run=20 nbConstraintChecks=16439365 nbValidityChecks=1455866 nbPropagations=1443132 nbRevisions=2635880
23.30 nbUselessRevisions=988575 nbAssignments=112760 nbFailedAssignments=11544 nbBacktracks=99909
23.30 nbVisitedNodes=143034 nbRestartNogoods=44
23.30 => wckTime=22.508 cpuTime=22.41 mem=18M494
28.42
28.42 search
28.42 run=21 nbConstraintChecks=20326584 nbValidityChecks=1775189 nbPropagations=2018898 nbRevisions=3666993
28.42 nbUselessRevisions=1370894 nbAssignments=138264 nbFailedAssignments=13937 nbBacktracks=122870
28.42 nbVisitedNodes=174754 nbRestartNogoods=47
28.42 => wckTime=27.627 cpuTime=27.52 mem=18M494
28.42
28.42 global
28.42 nbConstraintChecks=20326584 nbValidityChecks=1775189 nbPropagations=2019048 nbRevisions=3666993
28.42 nbUselessRevisions=1370894 nbRestartNogoods=47 solvingWckTime=27.628 solvingCpuTime=27.52 expiredTime=no
28.42 totalExploration=no nbFoundSolutions=1 globalCpuTime=27.91
28.42 => wckTime=28.094 cpuTime=27.85 mem=18M494
28.42
28.42 s SATISFIABLE
28.42 v 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0
28.42 d NODES 138264
28.42 d CHECKS 20326584
28.42
28.42 totalWckTime=28.17 totalCpuTime=27.92
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-210379-1168075062 -o ROOT/results/node3/solver-210379-1168075062 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210379-1168075062/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.22 1.67 1.81 4/93 29764
/proc/meminfo: memFree=1209896/2055920 swapFree=4192812/4192956
[pid=29763] ppid=29761 vsize=1784 CPUtime=0
/proc/29763/stat : 29763 (java) R 29761 29763 28954 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 155902452 1826816 163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10924836 0 0 4096 0 0 0 0 17 0 0 0
/proc/29763/statm: 446 163 128 14 0 91 0
[startup+0.108171 s]
/proc/loadavg: 1.22 1.67 1.81 4/93 29764
/proc/meminfo: memFree=1209896/2055920 swapFree=4192812/4192956
[pid=29763] ppid=29761 vsize=909872 CPUtime=0.06
/proc/29763/stat : 29763 (java) R 29761 29763 28954 0 -1 0 2549 0 1 0 5 1 0 0 22 0 8 0 155902452 931708928 2296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29763/statm: 227468 2296 1248 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 909872
[startup+0.520236 s]
/proc/loadavg: 1.22 1.67 1.81 4/93 29764
/proc/meminfo: memFree=1209896/2055920 swapFree=4192812/4192956
[pid=29763] ppid=29761 vsize=915328 CPUtime=0.47
/proc/29763/stat : 29763 (java) R 29761 29763 28954 0 -1 0 6711 0 1 0 43 4 0 0 24 0 8 0 155902452 937295872 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942099 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29763/statm: 228832 6450 2165 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.34237 s]
/proc/loadavg: 1.36 1.70 1.82 3/100 29771
/proc/meminfo: memFree=1184432/2055920 swapFree=4192812/4192956
[pid=29763] ppid=29761 vsize=915452 CPUtime=1.29
/proc/29763/stat : 29763 (java) R 29761 29763 28954 0 -1 0 9166 0 1 0 121 8 0 0 25 0 8 0 155902452 937422848 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812478 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29763/statm: 228863 8904 2532 14 0 215333 0
[pid=29763/tid=29765] ppid=29761 vsize=915452 CPUtime=0.02
/proc/29763/task/29765/stat : 29765 (java) S 29761 29763 28954 0 -1 64 175 0 0 0 2 0 0 0 16 0 8 0 155902459 937422848 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29763/tid=29766] ppid=29761 vsize=915452 CPUtime=0
/proc/29763/task/29766/stat : 29766 (java) S 29761 29763 28954 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155902460 937422848 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29763/tid=29767] ppid=29761 vsize=915452 CPUtime=0
/proc/29763/task/29767/stat : 29767 (java) S 29761 29763 28954 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155902460 937422848 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29763/tid=29768] ppid=29761 vsize=915452 CPUtime=0
/proc/29763/task/29768/stat : 29768 (java) S 29761 29763 28954 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155902463 937422848 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29763/tid=29769] ppid=29761 vsize=915452 CPUtime=0.2
/proc/29763/task/29769/stat : 29769 (java) S 29761 29763 28954 0 -1 64 387 0 0 0 19 1 0 0 16 0 8 0 155902463 937422848 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29763/tid=29770] ppid=29761 vsize=915452 CPUtime=0
/proc/29763/task/29770/stat : 29770 (java) S 29761 29763 28954 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155902463 937422848 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29763/tid=29771] ppid=29761 vsize=915452 CPUtime=0
/proc/29763/task/29771/stat : 29771 (java) S 29761 29763 28954 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155902463 937422848 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915452
[startup+2.97964 s]
/proc/loadavg: 1.36 1.70 1.82 3/100 29771
/proc/meminfo: memFree=1183536/2055920 swapFree=4192812/4192956
[pid=29763] ppid=29761 vsize=915452 CPUtime=2.92
/proc/29763/stat : 29763 (java) R 29761 29763 28954 0 -1 0 9452 0 1 0 284 8 0 0 25 0 8 0 155902452 937422848 9188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073801559 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29763/statm: 228863 9188 2532 14 0 215333 0
[pid=29763/tid=29765] ppid=29761 vsize=915452 CPUtime=0.02
/proc/29763/task/29765/stat : 29765 (java) S 29761 29763 28954 0 -1 64 175 0 0 0 2 0 0 0 17 0 8 0 155902459 937422848 9188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29763/tid=29766] ppid=29761 vsize=915452 CPUtime=0
/proc/29763/task/29766/stat : 29766 (java) S 29761 29763 28954 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155902460 937422848 9188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29763/tid=29767] ppid=29761 vsize=915452 CPUtime=0
/proc/29763/task/29767/stat : 29767 (java) S 29761 29763 28954 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155902460 937422848 9188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29763/tid=29768] ppid=29761 vsize=915452 CPUtime=0
/proc/29763/task/29768/stat : 29768 (java) S 29761 29763 28954 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155902463 937422848 9188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29763/tid=29769] ppid=29761 vsize=915452 CPUtime=0.21
/proc/29763/task/29769/stat : 29769 (java) S 29761 29763 28954 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155902463 937422848 9188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29763/tid=29770] ppid=29761 vsize=915452 CPUtime=0
/proc/29763/task/29770/stat : 29770 (java) S 29761 29763 28954 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155902463 937422848 9188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29763/tid=29771] ppid=29761 vsize=915452 CPUtime=0
/proc/29763/task/29771/stat : 29771 (java) S 29761 29763 28954 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155902463 937422848 9188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915452
[startup+6.18016 s]
/proc/loadavg: 1.36 1.70 1.82 3/100 29771
/proc/meminfo: memFree=1182896/2055920 swapFree=4192812/4192956
[pid=29763] ppid=29761 vsize=915452 CPUtime=6.12
/proc/29763/stat : 29763 (java) R 29761 29763 28954 0 -1 0 9495 0 1 0 604 8 0 0 25 0 8 0 155902452 937422848 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073611196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29763/statm: 228863 9230 2532 14 0 215333 0
[pid=29763/tid=29765] ppid=29761 vsize=915452 CPUtime=0.02
/proc/29763/task/29765/stat : 29765 (java) S 29761 29763 28954 0 -1 64 175 0 0 0 2 0 0 0 16 0 8 0 155902459 937422848 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29763/tid=29766] ppid=29761 vsize=915452 CPUtime=0
/proc/29763/task/29766/stat : 29766 (java) S 29761 29763 28954 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155902460 937422848 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29763/tid=29767] ppid=29761 vsize=915452 CPUtime=0
/proc/29763/task/29767/stat : 29767 (java) S 29761 29763 28954 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155902460 937422848 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29763/tid=29768] ppid=29761 vsize=915452 CPUtime=0
/proc/29763/task/29768/stat : 29768 (java) S 29761 29763 28954 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155902463 937422848 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29763/tid=29769] ppid=29761 vsize=915452 CPUtime=0.22
/proc/29763/task/29769/stat : 29769 (java) S 29761 29763 28954 0 -1 64 395 0 0 0 21 1 0 0 17 0 8 0 155902463 937422848 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29763/tid=29770] ppid=29761 vsize=915452 CPUtime=0
/proc/29763/task/29770/stat : 29770 (java) S 29761 29763 28954 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155902463 937422848 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29763/tid=29771] ppid=29761 vsize=915452 CPUtime=0
/proc/29763/task/29771/stat : 29771 (java) S 29761 29763 28954 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155902463 937422848 9230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915452
[startup+12.6592 s]
/proc/loadavg: 1.46 1.71 1.82 3/100 29771
/proc/meminfo: memFree=1182896/2055920 swapFree=4192812/4192956
[pid=29763] ppid=29761 vsize=915452 CPUtime=12.61
/proc/29763/stat : 29763 (java) R 29761 29763 28954 0 -1 0 9501 0 1 0 1252 9 0 0 25 0 8 0 155902452 937422848 9236 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809391 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29763/statm: 228863 9236 2532 14 0 215333 0
[pid=29763/tid=29765] ppid=29761 vsize=915452 CPUtime=0.02
/proc/29763/task/29765/stat : 29765 (java) S 29761 29763 28954 0 -1 64 175 0 0 0 2 0 0 0 16 0 8 0 155902459 937422848 9236 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29763/tid=29766] ppid=29761 vsize=915452 CPUtime=0
/proc/29763/task/29766/stat : 29766 (java) S 29761 29763 28954 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155902460 937422848 9236 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29763/tid=29767] ppid=29761 vsize=915452 CPUtime=0
/proc/29763/task/29767/stat : 29767 (java) S 29761 29763 28954 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155902460 937422848 9236 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29763/tid=29768] ppid=29761 vsize=915452 CPUtime=0
/proc/29763/task/29768/stat : 29768 (java) S 29761 29763 28954 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155902463 937422848 9236 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29763/tid=29769] ppid=29761 vsize=915452 CPUtime=0.22
/proc/29763/task/29769/stat : 29769 (java) S 29761 29763 28954 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 155902463 937422848 9236 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29763/tid=29770] ppid=29761 vsize=915452 CPUtime=0
/proc/29763/task/29770/stat : 29770 (java) S 29761 29763 28954 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155902463 937422848 9236 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29763/tid=29771] ppid=29761 vsize=915452 CPUtime=0
/proc/29763/task/29771/stat : 29771 (java) S 29761 29763 28954 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155902463 937422848 9236 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) 915452
[startup+25.5293 s]
/proc/loadavg: 1.54 1.72 1.82 3/100 29771
/proc/meminfo: memFree=1182832/2055920 swapFree=4192812/4192956
[pid=29763] ppid=29761 vsize=915452 CPUtime=25.47
/proc/29763/stat : 29763 (java) R 29761 29763 28954 0 -1 0 9506 0 1 0 2538 9 0 0 25 0 8 0 155902452 937422848 9241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613920 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29763/statm: 228863 9241 2532 14 0 215333 0
[pid=29763/tid=29765] ppid=29761 vsize=915452 CPUtime=0.02
/proc/29763/task/29765/stat : 29765 (java) S 29761 29763 28954 0 -1 64 175 0 0 0 2 0 0 0 16 0 8 0 155902459 937422848 9241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29763/tid=29766] ppid=29761 vsize=915452 CPUtime=0
/proc/29763/task/29766/stat : 29766 (java) S 29761 29763 28954 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155902460 937422848 9241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29763/tid=29767] ppid=29761 vsize=915452 CPUtime=0
/proc/29763/task/29767/stat : 29767 (java) S 29761 29763 28954 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155902460 937422848 9241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29763/tid=29768] ppid=29761 vsize=915452 CPUtime=0
/proc/29763/task/29768/stat : 29768 (java) S 29761 29763 28954 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155902463 937422848 9241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29763/tid=29769] ppid=29761 vsize=915452 CPUtime=0.22
/proc/29763/task/29769/stat : 29769 (java) S 29761 29763 28954 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 155902463 937422848 9241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29763/tid=29770] ppid=29761 vsize=915452 CPUtime=0
/proc/29763/task/29770/stat : 29770 (java) S 29761 29763 28954 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155902463 937422848 9241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29763/tid=29771] ppid=29761 vsize=915452 CPUtime=0
/proc/29763/task/29771/stat : 29771 (java) S 29761 29763 28954 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155902463 937422848 9241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 28.4692
CPU time (s): 28.3807
CPU user time (s): 28.2827
CPU system time (s): 0.097985
CPU usage (%): 99.689
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.2827
system time used= 0.097985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9599
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= 1761
involuntary context switches= 3271
runsolver used 0.034994 s user time and 0.104984 s system time
The end
Begin job on node3 on Sat Jan 6 09:17:45 UTC 2007
IDJOB= 210379
IDBENCH= 4615
FILE ID= node3/210379-1168075062
PBS_JOBID= 3475757
Free space on /tmp= 66537 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-10-10.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210379-1168075062/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-210379-1168075062 -o ROOT/results/node3/solver-210379-1168075062 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210379-1168075062/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c6afe9dba4e992ef3cd813da7408df4c
RANDOM SEED= 167034656
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.279
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.279
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: 1210376 kB
Buffers: 65524 kB
Cached: 509484 kB
SwapCached: 0 kB
Active: 249760 kB
Inactive: 500840 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1210376 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1764 kB
Writeback: 0 kB
Mapped: 204608 kB
Slab: 79632 kB
Committed_AS: 4545056 kB
PageTables: 2332 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= 66537 MiB
End job on node3 on Sat Jan 6 09:18:18 UTC 2007