0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=pfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/276869-1169248319/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.40 => wckTime=0.098 cpuTime=0.08 mem=6M910
0.40
0.40 relations being loaded...
0.50
0.50 constraints being loaded...
0.66 nbConstraints=753 nbRelationTypes=752 nbExtensionStructures=752 nbSharedExtensionStructures=1
0.66 nbConflictsStructures=752 nbSharedConflictsStructures=1 nbSharedBinaryRepresentations=11889 maxDegree=39
0.66 maxArity=2
0.66 => wckTime=0.359 cpuTime=0.23 mem=11M851
0.70
0.70 solver LocalSearchSolver being built...
0.74 => wckTime=0.447 cpuTime=0.27 mem=6M109
0.75
0.75 s SATISFIABLE
0.75 o 690
0.75 c 63
0.75 o 695
0.75 c 58
0.75 o 700
0.75 c 53
0.75 o 705
0.75 c 48
0.75 o 708
0.75 c 45
0.75 o 712
0.75 c 41
0.75 o 715
0.75 c 38
0.75 o 718
0.75 c 35
0.76 o 721
0.76 c 32
0.76 o 724
0.76 c 29
0.76 o 725
0.76 c 28
0.76 o 726
0.76 c 27
0.76 o 730
0.76 c 23
0.76 o 732
0.76 c 21
0.76 o 733
0.76 c 20
0.76 o 734
0.76 c 19
0.76 o 735
0.76 c 18
0.76 o 738
0.76 c 15
0.76 o 739
0.76 c 14
0.76 o 741
0.76 c 12
0.76 o 742
0.76 c 11
0.78 o 744
0.78 c 9
0.78 o 745
0.78 c 8
0.79 o 747
0.79 c 6
0.82 o 748
0.82 c 5
0.83 o 750
0.83 c 3
0.97 o 751
0.97 c 2
1.02 o 752
1.02 c 1
1.02
1.02 search
1.02 run=0 nbConstraintChecks=1435471 nbAssignments=1151
1.03 => wckTime=0.281 cpuTime=0.26 mem=6M109
1.03
1.03 global
1.03 nbConstraintChecks=1435471 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.03 solvingWckTime=0.279 solvingCpuTime=0.27 expiredTime=no totalExploration=no nbFoundSolutions=0
1.03 globalCpuTime=0.59
1.03 => wckTime=0.728 cpuTime=0.54 mem=6M109
1.03
1.03 solver IterativeSystematicSolver being built...
1.15 => wckTime=0.85 cpuTime=0.64 mem=17M115
1.16
1.16 preprocessing
1.16 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.16 detectedInconsistency=no
1.16 => wckTime=0.0090 cpuTime=0.01 mem=17M115
1.24
1.24 search
1.24 run=0 nbConstraintChecks=118372 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=34
1.24 nbFailedAssignments=16 nbBacktracks=10 nbVisitedNodes=61 nbRestartNogoods=0
1.24 => wckTime=0.086 cpuTime=0.07 mem=17M115
1.32
1.32 search
1.32 run=1 nbConstraintChecks=281226 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=79
1.32 nbFailedAssignments=39 nbBacktracks=25 nbVisitedNodes=142 nbRestartNogoods=8
1.32 => wckTime=0.173 cpuTime=0.14 mem=17M115
1.42
1.42 search
1.42 run=2 nbConstraintChecks=528432 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=145
1.42 nbFailedAssignments=75 nbBacktracks=47 nbVisitedNodes=266 nbRestartNogoods=12
1.42 => wckTime=0.273 cpuTime=0.24 mem=17M115
1.55
1.55 search
1.55 run=3 nbConstraintChecks=878614 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=239
1.55 nbFailedAssignments=125 nbBacktracks=80 nbVisitedNodes=442 nbRestartNogoods=28
1.55 => wckTime=0.401 cpuTime=0.37 mem=17M115
1.81
1.81 search
1.81 run=4 nbConstraintChecks=1603809 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=416
1.81 nbFailedAssignments=245 nbBacktracks=130 nbVisitedNodes=789 nbRestartNogoods=41
1.81 => wckTime=0.659 cpuTime=0.62 mem=17M115
2.07
2.07 search
2.07 run=5 nbConstraintChecks=2272839 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=588
2.07 nbFailedAssignments=336 nbBacktracks=205 nbVisitedNodes=1120 nbRestartNogoods=43
2.07 => wckTime=0.922 cpuTime=0.88 mem=17M115
2.51
2.51 search
2.51 run=6 nbConstraintChecks=3473405 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=874
2.51 nbFailedAssignments=502 nbBacktracks=318 nbVisitedNodes=1673 nbRestartNogoods=53
2.51 => wckTime=1.357 cpuTime=1.32 mem=17M115
3.13
3.13 search
3.13 run=7 nbConstraintChecks=5108240 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1301
3.13 nbFailedAssignments=751 nbBacktracks=488 nbVisitedNodes=2483 nbRestartNogoods=67
3.13 => wckTime=1.981 cpuTime=1.94 mem=17M115
3.90
3.90 search
3.90 run=8 nbConstraintChecks=7092172 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1844
3.90 nbFailedAssignments=1033 nbBacktracks=745 nbVisitedNodes=3475 nbRestartNogoods=77
3.90 => wckTime=2.755 cpuTime=2.7 mem=17M115
5.03
5.03 search
5.03 run=9 nbConstraintChecks=10078253 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2669
5.03 nbFailedAssignments=1468 nbBacktracks=1130 nbVisitedNodes=4950 nbRestartNogoods=81
5.03 => wckTime=3.885 cpuTime=3.83 mem=17M115
6.43
6.43 search
6.43 run=10 nbConstraintChecks=13678279 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3738
6.43 nbFailedAssignments=1952 nbBacktracks=1709 nbVisitedNodes=6733 nbRestartNogoods=87
6.43 => wckTime=5.281 cpuTime=5.23 mem=17M115
8.31
8.31 search
8.31 run=11 nbConstraintChecks=18462556 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5237
8.31 nbFailedAssignments=2578 nbBacktracks=2575 nbVisitedNodes=9138 nbRestartNogoods=91
8.31 => wckTime=7.162 cpuTime=7.11 mem=17M115
10.88
10.88 search
10.88 run=12 nbConstraintChecks=24914373 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7392
10.88 nbFailedAssignments=3431 nbBacktracks=3872 nbVisitedNodes=12429 nbRestartNogoods=99
10.88 => wckTime=9.732 cpuTime=9.67 mem=17M115
14.59
14.59 search
14.59 run=13 nbConstraintChecks=34403312 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10570
14.59 nbFailedAssignments=4653 nbBacktracks=5823 nbVisitedNodes=17205 nbRestartNogoods=102
14.59 => wckTime=13.438 cpuTime=13.38 mem=17M115
19.62
19.62 search
19.62 run=14 nbConstraintChecks=47574647 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15153
19.62 nbFailedAssignments=6307 nbBacktracks=8742 nbVisitedNodes=23867 nbRestartNogoods=109
19.62 => wckTime=18.473 cpuTime=18.41 mem=17M115
26.67
26.67 search
26.67 run=15 nbConstraintChecks=66160379 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21874
26.67 nbFailedAssignments=8643 nbBacktracks=13120 nbVisitedNodes=33463 nbRestartNogoods=118
26.67 => wckTime=25.525 cpuTime=25.46 mem=17M115
37.26
37.26 search
37.26 run=16 nbConstraintChecks=93807241 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31837
37.26 nbFailedAssignments=12031 nbBacktracks=19688 nbVisitedNodes=47611 nbRestartNogoods=131
37.26 => wckTime=36.106 cpuTime=36.04 mem=17M115
53.11
53.11 search
53.11 run=17 nbConstraintChecks=134831051 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=46790
53.11 nbFailedAssignments=17126 nbBacktracks=29540 nbVisitedNodes=68791 nbRestartNogoods=142
53.11 => wckTime=51.955 cpuTime=51.88 mem=17M115
76.97
76.97 search
76.97 run=18 nbConstraintChecks=196183664 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=69108
76.97 nbFailedAssignments=24659 nbBacktracks=44318 nbVisitedNodes=100417 nbRestartNogoods=155
76.97 => wckTime=75.82 cpuTime=75.74 mem=17M115
112.10
112.10 search
112.10 run=19 nbConstraintChecks=288286606 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=102500
112.10 nbFailedAssignments=35876 nbBacktracks=66487 nbVisitedNodes=147566 nbRestartNogoods=164
112.10 => wckTime=110.95 cpuTime=110.86 mem=17M115
131.85
131.85 search
131.85 run=20 nbConstraintChecks=339680511 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=121124
131.85 nbFailedAssignments=42175 nbBacktracks=78813 nbVisitedNodes=173971 nbRestartNogoods=173
131.85 => wckTime=130.702 cpuTime=130.61 mem=17M115
131.85
131.85 global
131.85 nbConstraintChecks=339680511 nbRestartNogoods=173 solvingWckTime=130.703 solvingCpuTime=130.61 expiredTime=no
131.85 totalExploration=yes nbFoundSolutions=0 globalCpuTime=131.3
131.85 => wckTime=131.554 cpuTime=131.25 mem=17M115
131.86
131.86 s OPTIMUM FOUND
131.86 v 2 1 7 4 3 5 0 6 4 3 2 4 4 6 3 4 7 4 4 5 6 6 7 0 0 6 7 0 6 2 2 6 7 2 1 0 3 3 1 0
131.86
131.86 totalWckTime=131.628 totalCpuTime=131.3
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node26/watcher-276869-1169248319 -o ROOT/results/node26/solver-276869-1169248319 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276869-1169248319/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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.96 1.13 1.52 4/78 30525
/proc/meminfo: memFree=1508800/2055920 swapFree=4191880/4192956
[pid=30524] ppid=30522 vsize=1788 CPUtime=0
/proc/30524/stat : 30524 (java) R 30522 30524 29703 0 -1 0 189 0 0 0 0 0 0 0 18 0 1 0 273226230 1830912 159 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30524/statm: 447 158 123 14 0 92 0
[startup+0.107716 s]
/proc/loadavg: 0.96 1.13 1.52 4/78 30525
/proc/meminfo: memFree=1508800/2055920 swapFree=4191880/4192956
[pid=30524] ppid=30522 vsize=914988 CPUtime=0.08
/proc/30524/stat : 30524 (java) R 30522 30524 29703 0 -1 0 3051 0 1 0 7 1 0 0 16 0 8 0 273226230 936947712 2797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30524/statm: 228747 2798 1448 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515755 s]
/proc/loadavg: 0.96 1.13 1.52 4/78 30525
/proc/meminfo: memFree=1508800/2055920 swapFree=4191880/4192956
[pid=30524] ppid=30522 vsize=915332 CPUtime=0.48
/proc/30524/stat : 30524 (java) S 30522 30524 29703 0 -1 0 6459 0 1 0 45 3 0 0 16 0 8 0 273226230 937299968 6198 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30524/statm: 228833 6198 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33683 s]
/proc/loadavg: 0.96 1.13 1.52 2/85 30532
/proc/meminfo: memFree=1485512/2055920 swapFree=4191880/4192956
[pid=30524] ppid=30522 vsize=915584 CPUtime=1.3
/proc/30524/stat : 30524 (java) R 30522 30524 29703 0 -1 0 9197 0 1 0 121 9 0 0 16 0 8 0 273226230 937558016 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073921289 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30524/statm: 228896 8934 2527 14 0 215366 0
[pid=30524/tid=30526] ppid=30522 vsize=915584 CPUtime=0.03
/proc/30524/task/30526/stat : 30526 (java) S 30522 30524 29703 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 273226233 937558016 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30524/tid=30527] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30527/stat : 30527 (java) S 30522 30524 29703 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273226234 937558016 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30528] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30528/stat : 30528 (java) S 30522 30524 29703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273226234 937558016 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30529] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30529/stat : 30529 (java) S 30522 30524 29703 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273226237 937558016 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30530] ppid=30522 vsize=915584 CPUtime=0.22
/proc/30524/task/30530/stat : 30530 (java) S 30522 30524 29703 0 -1 64 407 0 0 0 21 1 0 0 16 0 8 0 273226237 937558016 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30531] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30531/stat : 30531 (java) S 30522 30524 29703 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273226237 937558016 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30532] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30532/stat : 30532 (java) S 30522 30524 29703 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273226237 937558016 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915584
[startup+2.97298 s]
/proc/loadavg: 0.96 1.13 1.52 2/85 30532
/proc/meminfo: memFree=1482888/2055920 swapFree=4191880/4192956
[pid=30524] ppid=30522 vsize=915584 CPUtime=2.93
/proc/30524/stat : 30524 (java) R 30522 30524 29703 0 -1 0 9215 0 1 0 284 9 0 0 17 0 8 0 273226230 937558016 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073922369 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30524/statm: 228896 8951 2527 14 0 215366 0
[pid=30524/tid=30526] ppid=30522 vsize=915584 CPUtime=0.03
/proc/30524/task/30526/stat : 30526 (java) S 30522 30524 29703 0 -1 64 309 0 0 0 3 0 0 0 17 0 8 0 273226233 937558016 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30524/tid=30527] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30527/stat : 30527 (java) S 30522 30524 29703 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273226234 937558016 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30528] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30528/stat : 30528 (java) S 30522 30524 29703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273226234 937558016 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30529] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30529/stat : 30529 (java) S 30522 30524 29703 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273226237 937558016 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30530] ppid=30522 vsize=915584 CPUtime=0.23
/proc/30524/task/30530/stat : 30530 (java) S 30522 30524 29703 0 -1 64 412 0 0 0 22 1 0 0 15 0 8 0 273226237 937558016 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30531] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30531/stat : 30531 (java) S 30522 30524 29703 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273226237 937558016 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30532] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30532/stat : 30532 (java) S 30522 30524 29703 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273226237 937558016 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915584
[startup+6.26829 s]
/proc/loadavg: 0.96 1.13 1.52 2/85 30532
/proc/meminfo: memFree=1482768/2055920 swapFree=4191880/4192956
[pid=30524] ppid=30522 vsize=915584 CPUtime=6.23
/proc/30524/stat : 30524 (java) R 30522 30524 29703 0 -1 0 9237 0 1 0 613 10 0 0 17 0 8 0 273226230 937558016 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30524/statm: 228896 8970 2527 14 0 215366 0
[pid=30524/tid=30526] ppid=30522 vsize=915584 CPUtime=0.03
/proc/30524/task/30526/stat : 30526 (java) S 30522 30524 29703 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 273226233 937558016 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30524/tid=30527] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30527/stat : 30527 (java) S 30522 30524 29703 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273226234 937558016 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30528] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30528/stat : 30528 (java) S 30522 30524 29703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273226234 937558016 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30529] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30529/stat : 30529 (java) S 30522 30524 29703 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273226237 937558016 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30530] ppid=30522 vsize=915584 CPUtime=0.25
/proc/30524/task/30530/stat : 30530 (java) S 30522 30524 29703 0 -1 64 423 0 0 0 24 1 0 0 16 0 8 0 273226237 937558016 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30531] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30531/stat : 30531 (java) S 30522 30524 29703 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273226237 937558016 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30532] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30532/stat : 30532 (java) S 30522 30524 29703 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273226237 937558016 8970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915584
[startup+12.7309 s]
/proc/loadavg: 0.96 1.13 1.51 2/85 30532
/proc/meminfo: memFree=1482784/2055920 swapFree=4191880/4192956
[pid=30524] ppid=30522 vsize=915584 CPUtime=12.69
/proc/30524/stat : 30524 (java) R 30522 30524 29703 0 -1 0 9246 0 1 0 1259 10 0 0 22 0 8 0 273226230 937558016 8977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073957720 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30524/statm: 228896 8977 2527 14 0 215366 0
[pid=30524/tid=30526] ppid=30522 vsize=915584 CPUtime=0.03
/proc/30524/task/30526/stat : 30526 (java) S 30522 30524 29703 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 273226233 937558016 8977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30524/tid=30527] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30527/stat : 30527 (java) S 30522 30524 29703 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273226234 937558016 8977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30528] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30528/stat : 30528 (java) S 30522 30524 29703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273226234 937558016 8977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30529] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30529/stat : 30529 (java) S 30522 30524 29703 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273226237 937558016 8977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30530] ppid=30522 vsize=915584 CPUtime=0.25
/proc/30524/task/30530/stat : 30530 (java) S 30522 30524 29703 0 -1 64 424 0 0 0 24 1 0 0 16 0 8 0 273226237 937558016 8977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30531] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30531/stat : 30531 (java) S 30522 30524 29703 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273226237 937558016 8977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30532] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30532/stat : 30532 (java) S 30522 30524 29703 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273226237 937558016 8977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915584
[startup+25.5861 s]
/proc/loadavg: 0.97 1.12 1.50 2/85 30532
/proc/meminfo: memFree=1482720/2055920 swapFree=4191880/4192956
[pid=30524] ppid=30522 vsize=915584 CPUtime=25.54
/proc/30524/stat : 30524 (java) R 30522 30524 29703 0 -1 0 9251 0 1 0 2544 10 0 0 25 0 8 0 273226230 937558016 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073946226 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30524/statm: 228896 8982 2527 14 0 215366 0
[pid=30524/tid=30526] ppid=30522 vsize=915584 CPUtime=0.03
/proc/30524/task/30526/stat : 30526 (java) S 30522 30524 29703 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 273226233 937558016 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30524/tid=30527] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30527/stat : 30527 (java) S 30522 30524 29703 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273226234 937558016 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30528] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30528/stat : 30528 (java) S 30522 30524 29703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273226234 937558016 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30529] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30529/stat : 30529 (java) S 30522 30524 29703 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273226237 937558016 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30530] ppid=30522 vsize=915584 CPUtime=0.25
/proc/30524/task/30530/stat : 30530 (java) S 30522 30524 29703 0 -1 64 424 0 0 0 24 1 0 0 16 0 8 0 273226237 937558016 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30531] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30531/stat : 30531 (java) S 30522 30524 29703 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273226237 937558016 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30532] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30532/stat : 30532 (java) S 30522 30524 29703 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273226237 937558016 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915584
[startup+51.2685 s]
/proc/loadavg: 0.98 1.11 1.49 3/85 30532
/proc/meminfo: memFree=1482784/2055920 swapFree=4191880/4192956
[pid=30524] ppid=30522 vsize=915584 CPUtime=51.21
/proc/30524/stat : 30524 (java) R 30522 30524 29703 0 -1 0 9258 0 1 0 5111 10 0 0 25 0 8 0 273226230 937558016 8988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073921289 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30524/statm: 228896 8988 2527 14 0 215366 0
[pid=30524/tid=30526] ppid=30522 vsize=915584 CPUtime=0.03
/proc/30524/task/30526/stat : 30526 (java) S 30522 30524 29703 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 273226233 937558016 8988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30524/tid=30527] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30527/stat : 30527 (java) S 30522 30524 29703 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273226234 937558016 8988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30528] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30528/stat : 30528 (java) S 30522 30524 29703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273226234 937558016 8988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30529] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30529/stat : 30529 (java) S 30522 30524 29703 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273226237 937558016 8988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30530] ppid=30522 vsize=915584 CPUtime=0.25
/proc/30524/task/30530/stat : 30530 (java) S 30522 30524 29703 0 -1 64 425 0 0 0 24 1 0 0 16 0 8 0 273226237 937558016 8988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30531] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30531/stat : 30531 (java) S 30522 30524 29703 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273226237 937558016 8988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30532] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30532/stat : 30532 (java) S 30522 30524 29703 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273226237 937558016 8988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 915584
[startup+102.529 s]
/proc/loadavg: 0.99 1.09 1.46 2/85 30532
/proc/meminfo: memFree=1482784/2055920 swapFree=4191880/4192956
[pid=30524] ppid=30522 vsize=915584 CPUtime=102.46
/proc/30524/stat : 30524 (java) R 30522 30524 29703 0 -1 0 9263 0 1 0 10236 10 0 0 25 0 8 0 273226230 937558016 8992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923733 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30524/statm: 228896 8992 2527 14 0 215366 0
[pid=30524/tid=30526] ppid=30522 vsize=915584 CPUtime=0.03
/proc/30524/task/30526/stat : 30526 (java) S 30522 30524 29703 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 273226233 937558016 8992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30524/tid=30527] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30527/stat : 30527 (java) S 30522 30524 29703 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273226234 937558016 8992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30528] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30528/stat : 30528 (java) S 30522 30524 29703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273226234 937558016 8992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30529] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30529/stat : 30529 (java) S 30522 30524 29703 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273226237 937558016 8992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30530] ppid=30522 vsize=915584 CPUtime=0.25
/proc/30524/task/30530/stat : 30530 (java) S 30522 30524 29703 0 -1 64 425 0 0 0 24 1 0 0 16 0 8 0 273226237 937558016 8992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30531] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30531/stat : 30531 (java) S 30522 30524 29703 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273226237 937558016 8992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30524/tid=30532] ppid=30522 vsize=915584 CPUtime=0
/proc/30524/task/30532/stat : 30532 (java) S 30522 30524 29703 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273226237 937558016 8992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.46
Current children cumulated vsize (KiB) 915584
Child status: 0
Real time (s): 131.872
CPU time (s): 131.806
CPU user time (s): 131.69
CPU system time (s): 0.115982
CPU usage (%): 99.9498
Max. virtual memory (cumulated for all children) (KiB): 915584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 131.69
system time used= 0.115982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9363
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= 3628
involuntary context switches= 492
runsolver used 0.116982 s user time and 0.360945 s system time
The end
Begin job on node26 on Fri Jan 19 23:12:00 UTC 2007
IDJOB= 276869
IDBENCH= 6089
IDSOLVER= 69
FILE ID= node26/276869-1169248319
PBS_JOBID= 3589339
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-37_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276869-1169248319/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-276869-1169248319 -o ROOT/results/node26/solver-276869-1169248319 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276869-1169248319/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 135bc134ed6aa591cd505db5603a8393
RANDOM SEED= 286132887
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1509344 kB
Buffers: 42032 kB
Cached: 377804 kB
SwapCached: 268 kB
Active: 247080 kB
Inactive: 232156 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1509344 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1812 kB
Writeback: 0 kB
Mapped: 77096 kB
Slab: 52704 kB
Committed_AS: 4763720 kB
PageTables: 1916 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= 66563 MiB
End job on node26 on Fri Jan 19 23:14:12 UTC 2007