0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/276329-1169235336/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.39 => wckTime=0.096 cpuTime=0.09 mem=6M910
0.39
0.39 relations being loaded...
0.49
0.49 constraints being loaded...
0.58 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.58 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=16 maxArity=2
0.58 => wckTime=0.29 cpuTime=0.21 mem=13M770
0.62
0.62 solver LocalSearchSolver being built...
0.66 => wckTime=0.374 cpuTime=0.25 mem=5M887
0.67
0.67 s SATISFIABLE
0.67 o 94
0.67 c 86
0.67 o 98
0.67 c 82
0.67 o 102
0.67 c 78
0.67 o 107
0.67 c 73
0.68 o 111
0.68 c 69
0.68 o 115
0.68 c 65
0.68 o 119
0.68 c 61
0.68 o 120
0.68 c 60
0.68 o 121
0.68 c 59
0.68 o 122
0.68 c 58
0.68 o 124
0.68 c 56
0.68 o 127
0.68 c 53
0.68 o 131
0.68 c 49
0.68 o 132
0.68 c 48
0.69 o 136
0.69 c 44
0.69 o 141
0.69 c 39
0.69 o 144
0.69 c 36
0.69 o 147
0.69 c 33
0.69 o 148
0.69 c 32
0.69 o 150
0.69 c 30
0.69 o 151
0.69 c 29
0.69 o 153
0.69 c 27
0.69 o 155
0.69 c 25
0.69 o 157
0.69 c 23
0.69 o 158
0.69 c 22
0.69 o 159
0.69 c 21
0.69 o 161
0.69 c 19
0.70 o 162
0.70 c 18
0.70 o 163
0.70 c 17
0.70 o 164
0.70 c 16
0.70 o 166
0.70 c 14
0.70 o 168
0.70 c 12
0.70 o 169
0.70 c 11
0.71 o 170
0.71 c 10
0.71 o 171
0.71 c 9
0.72 o 172
0.72 c 8
0.74 o 173
0.74 c 7
0.74 o 174
0.74 c 6
0.75 o 175
0.75 c 5
0.78 o 176
0.78 c 4
0.78 o 177
0.78 c 3
0.97 o 178
0.97 c 2
0.97 o 179
0.97 c 1
0.97
0.98 search
0.98 run=0 nbConstraintChecks=1916107 nbAssignments=1180
0.98 => wckTime=0.313 cpuTime=0.29 mem=5M887
0.98
0.98 global
0.98 nbConstraintChecks=1916107 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.98 solvingWckTime=0.31 solvingCpuTime=0.29 expiredTime=no totalExploration=no nbFoundSolutions=0
0.98 globalCpuTime=0.58
0.98 => wckTime=0.687 cpuTime=0.54 mem=5M887
0.98
0.98 solver IterativeSystematicSolver being built...
1.09 => wckTime=0.804 cpuTime=0.64 mem=16M860
1.10
1.10 preprocessing
1.10 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.10 detectedInconsistency=no
1.10 => wckTime=0.0050 cpuTime=0.0 mem=16M860
1.17
1.17 search
1.17 run=0 nbConstraintChecks=145533 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31
1.17 nbFailedAssignments=17 nbBacktracks=10 nbVisitedNodes=59 nbRestartNogoods=0
1.17 => wckTime=0.078 cpuTime=0.06 mem=16M860
1.26
1.26 search
1.26 run=1 nbConstraintChecks=402969 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=80
1.26 nbFailedAssignments=48 nbBacktracks=25 nbVisitedNodes=154 nbRestartNogoods=16
1.26 => wckTime=0.165 cpuTime=0.13 mem=16M860
1.35
1.35 search
1.35 run=2 nbConstraintChecks=749885 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=152
1.35 nbFailedAssignments=94 nbBacktracks=47 nbVisitedNodes=292 nbRestartNogoods=22
1.35 => wckTime=0.251 cpuTime=0.21 mem=16M860
1.48
1.48 search
1.48 run=3 nbConstraintChecks=1215608 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=247
1.48 nbFailedAssignments=153 nbBacktracks=80 nbVisitedNodes=478 nbRestartNogoods=49
1.48 => wckTime=0.381 cpuTime=0.34 mem=16M860
1.70
1.70 search
1.70 run=4 nbConstraintChecks=2088678 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=412
1.70 nbFailedAssignments=265 nbBacktracks=130 nbVisitedNodes=804 nbRestartNogoods=70
1.70 => wckTime=0.601 cpuTime=0.56 mem=16M860
1.93
1.93 search
1.93 run=5 nbConstraintChecks=2983984 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=606
1.93 nbFailedAssignments=380 nbBacktracks=205 nbVisitedNodes=1183 nbRestartNogoods=87
1.93 => wckTime=0.83 cpuTime=0.79 mem=16M860
2.37
2.37 search
2.37 run=6 nbConstraintChecks=4878656 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=977
2.37 nbFailedAssignments=635 nbBacktracks=318 nbVisitedNodes=1916 nbRestartNogoods=96
2.37 => wckTime=1.28 cpuTime=1.23 mem=16M860
2.87
2.87 search
2.87 run=7 nbConstraintChecks=6874968 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1433
2.87 nbFailedAssignments=917 nbBacktracks=488 nbVisitedNodes=2811 nbRestartNogoods=105
2.87 => wckTime=1.775 cpuTime=1.72 mem=16M860
3.77
3.77 search
3.77 run=8 nbConstraintChecks=10458688 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2169
3.77 nbFailedAssignments=1392 nbBacktracks=744 nbVisitedNodes=4254 nbRestartNogoods=126
3.77 => wckTime=2.675 cpuTime=2.62 mem=16M860
5.15
5.15 search
5.15 run=9 nbConstraintChecks=15742596 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3161
5.15 nbFailedAssignments=1997 nbBacktracks=1128 nbVisitedNodes=6127 nbRestartNogoods=145
5.15 => wckTime=4.057 cpuTime=4.0 mem=16M860
6.91
6.91 search
6.91 run=10 nbConstraintChecks=22232463 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4435
6.91 nbFailedAssignments=2692 nbBacktracks=1704 nbVisitedNodes=8445 nbRestartNogoods=155
6.91 => wckTime=5.814 cpuTime=5.75 mem=16M860
9.58
9.58 search
9.58 run=11 nbConstraintChecks=31927409 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6371
9.58 nbFailedAssignments=3760 nbBacktracks=2569 nbVisitedNodes=11887 nbRestartNogoods=169
9.58 => wckTime=8.481 cpuTime=8.42 mem=16M860
13.03
13.03 search
13.03 run=12 nbConstraintChecks=44518941 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8929
13.03 nbFailedAssignments=5017 nbBacktracks=3866 nbVisitedNodes=16228 nbRestartNogoods=181
13.03 => wckTime=11.931 cpuTime=11.86 mem=16M860
17.86
17.86 search
17.86 run=13 nbConstraintChecks=62386949 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12643
17.86 nbFailedAssignments=6781 nbBacktracks=5812 nbVisitedNodes=22400 nbRestartNogoods=189
17.86 => wckTime=16.761 cpuTime=16.68 mem=16M860
24.94
24.94 search
24.94 run=14 nbConstraintChecks=88399857 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18027
24.94 nbFailedAssignments=9242 nbBacktracks=8731 nbVisitedNodes=31203 nbRestartNogoods=199
24.94 => wckTime=23.841 cpuTime=23.75 mem=16M860
29.15
29.15 search
29.15 run=15 nbConstraintChecks=103780920 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21289
29.15 nbFailedAssignments=10736 nbBacktracks=10500 nbVisitedNodes=36492 nbRestartNogoods=206
29.15 => wckTime=28.055 cpuTime=27.97 mem=16M860
29.15
29.15 global
29.15 nbConstraintChecks=103780920 nbRestartNogoods=206 solvingWckTime=28.056 solvingCpuTime=27.97 expiredTime=no
29.15 totalExploration=yes nbFoundSolutions=0 globalCpuTime=28.65
29.15 => wckTime=28.861 cpuTime=28.61 mem=16M860
29.15
29.15 s OPTIMUM FOUND
29.15 v 1 8 24 2 21 12 13 21 15 15 2 13 23 3 9 9 20 16 11 8 3 11 24 8 0 12 9 5 24 6 13 8 18 0 22 5 23 3 23 15
29.15
29.15 totalWckTime=28.935 totalCpuTime=28.65
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node33/watcher-276329-1169235336 -o ROOT/results/node33/solver-276329-1169235336 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276329-1169235336/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: 1.92 2.00 1.93 4/81 23560
/proc/meminfo: memFree=1585416/2055920 swapFree=4192224/4192956
[pid=23559] ppid=23557 vsize=172 CPUtime=0
/proc/23559/stat : 23559 (java) R 23557 23559 23080 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 271927486 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10945316 0 0 4096 0 0 0 0 17 0 0 0
/proc/23559/statm: 43 24 18 14 0 3 0
[startup+0.107993 s]
/proc/loadavg: 1.92 2.00 1.93 4/81 23560
/proc/meminfo: memFree=1585416/2055920 swapFree=4192224/4192956
[pid=23559] ppid=23557 vsize=914988 CPUtime=0.09
/proc/23559/stat : 23559 (java) R 23557 23559 23080 0 -1 0 3075 0 1 0 8 1 0 0 23 0 8 0 271927486 936947712 2821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23559/statm: 228747 2822 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516076 s]
/proc/loadavg: 1.92 2.00 1.93 4/81 23560
/proc/meminfo: memFree=1585416/2055920 swapFree=4192224/4192956
[pid=23559] ppid=23557 vsize=915332 CPUtime=0.49
/proc/23559/stat : 23559 (java) R 23557 23559 23080 0 -1 0 7399 0 1 0 46 3 0 0 25 0 8 0 271927486 937299968 7138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23559/statm: 228833 7138 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33925 s]
/proc/loadavg: 1.92 2.00 1.93 3/88 23567
/proc/meminfo: memFree=1560016/2055920 swapFree=4192224/4192956
[pid=23559] ppid=23557 vsize=915464 CPUtime=1.31
/proc/23559/stat : 23559 (java) R 23557 23559 23080 0 -1 0 9101 0 1 0 121 10 0 0 25 0 8 0 271927486 937435136 8838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822093 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23559/statm: 228866 8838 2527 14 0 215336 0
[pid=23559/tid=23561] ppid=23557 vsize=915464 CPUtime=0.02
/proc/23559/task/23561/stat : 23561 (java) S 23557 23559 23080 0 -1 64 250 0 0 0 2 0 0 0 16 0 8 0 271927490 937435136 8838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23559/tid=23562] ppid=23557 vsize=915464 CPUtime=0
/proc/23559/task/23562/stat : 23562 (java) S 23557 23559 23080 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271927490 937435136 8838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23559/tid=23563] ppid=23557 vsize=915464 CPUtime=0
/proc/23559/task/23563/stat : 23563 (java) S 23557 23559 23080 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271927490 937435136 8838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23559/tid=23564] ppid=23557 vsize=915464 CPUtime=0
/proc/23559/task/23564/stat : 23564 (java) S 23557 23559 23080 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271927493 937435136 8838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23559/tid=23565] ppid=23557 vsize=915464 CPUtime=0.19
/proc/23559/task/23565/stat : 23565 (java) S 23557 23559 23080 0 -1 64 379 0 0 0 19 0 0 0 15 0 8 0 271927493 937435136 8838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23559/tid=23566] ppid=23557 vsize=915464 CPUtime=0
/proc/23559/task/23566/stat : 23566 (java) S 23557 23559 23080 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271927493 937435136 8838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23559/tid=23567] ppid=23557 vsize=915464 CPUtime=0
/proc/23559/task/23567/stat : 23567 (java) S 23557 23559 23080 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271927493 937435136 8838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915464
[startup+2.9866 s]
/proc/loadavg: 1.92 2.00 1.93 3/88 23567
/proc/meminfo: memFree=1559888/2055920 swapFree=4192224/4192956
[pid=23559] ppid=23557 vsize=915464 CPUtime=2.95
/proc/23559/stat : 23559 (java) R 23557 23559 23080 0 -1 0 9126 0 1 0 285 10 0 0 25 0 8 0 271927486 937435136 8862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073865542 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23559/statm: 228866 8862 2527 14 0 215336 0
[pid=23559/tid=23561] ppid=23557 vsize=915464 CPUtime=0.02
/proc/23559/task/23561/stat : 23561 (java) S 23557 23559 23080 0 -1 64 250 0 0 0 2 0 0 0 17 0 8 0 271927490 937435136 8862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23559/tid=23562] ppid=23557 vsize=915464 CPUtime=0
/proc/23559/task/23562/stat : 23562 (java) S 23557 23559 23080 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271927490 937435136 8862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23559/tid=23563] ppid=23557 vsize=915464 CPUtime=0
/proc/23559/task/23563/stat : 23563 (java) S 23557 23559 23080 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271927490 937435136 8862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23559/tid=23564] ppid=23557 vsize=915464 CPUtime=0
/proc/23559/task/23564/stat : 23564 (java) S 23557 23559 23080 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271927493 937435136 8862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23559/tid=23565] ppid=23557 vsize=915464 CPUtime=0.21
/proc/23559/task/23565/stat : 23565 (java) S 23557 23559 23080 0 -1 64 390 0 0 0 21 0 0 0 16 0 8 0 271927493 937435136 8862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23559/tid=23566] ppid=23557 vsize=915464 CPUtime=0
/proc/23559/task/23566/stat : 23566 (java) S 23557 23559 23080 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271927493 937435136 8862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23559/tid=23567] ppid=23557 vsize=915464 CPUtime=0
/proc/23559/task/23567/stat : 23567 (java) S 23557 23559 23080 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271927493 937435136 8862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915464
[startup+6.27428 s]
/proc/loadavg: 1.93 2.00 1.93 3/88 23567
/proc/meminfo: memFree=1559632/2055920 swapFree=4192224/4192956
[pid=23559] ppid=23557 vsize=915464 CPUtime=6.24
/proc/23559/stat : 23559 (java) R 23557 23559 23080 0 -1 0 9139 0 1 0 613 11 0 0 25 0 8 0 271927486 937435136 8873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826682 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23559/statm: 228866 8873 2527 14 0 215336 0
[pid=23559/tid=23561] ppid=23557 vsize=915464 CPUtime=0.02
/proc/23559/task/23561/stat : 23561 (java) S 23557 23559 23080 0 -1 64 250 0 0 0 2 0 0 0 16 0 8 0 271927490 937435136 8873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23559/tid=23562] ppid=23557 vsize=915464 CPUtime=0
/proc/23559/task/23562/stat : 23562 (java) S 23557 23559 23080 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271927490 937435136 8873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23559/tid=23563] ppid=23557 vsize=915464 CPUtime=0
/proc/23559/task/23563/stat : 23563 (java) S 23557 23559 23080 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271927490 937435136 8873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23559/tid=23564] ppid=23557 vsize=915464 CPUtime=0
/proc/23559/task/23564/stat : 23564 (java) S 23557 23559 23080 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271927493 937435136 8873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23559/tid=23565] ppid=23557 vsize=915464 CPUtime=0.22
/proc/23559/task/23565/stat : 23565 (java) S 23557 23559 23080 0 -1 64 397 0 0 0 22 0 0 0 16 0 8 0 271927493 937435136 8873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23559/tid=23566] ppid=23557 vsize=915464 CPUtime=0
/proc/23559/task/23566/stat : 23566 (java) S 23557 23559 23080 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271927493 937435136 8873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23559/tid=23567] ppid=23557 vsize=915464 CPUtime=0
/proc/23559/task/23567/stat : 23567 (java) S 23557 23559 23080 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271927493 937435136 8873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915464
[startup+12.7616 s]
/proc/loadavg: 1.93 2.00 1.93 3/88 23567
/proc/meminfo: memFree=1559648/2055920 swapFree=4192224/4192956
[pid=23559] ppid=23557 vsize=915464 CPUtime=12.73
/proc/23559/stat : 23559 (java) R 23557 23559 23080 0 -1 0 9144 0 1 0 1262 11 0 0 25 0 8 0 271927486 937435136 8878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073871357 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23559/statm: 228866 8878 2527 14 0 215336 0
[pid=23559/tid=23561] ppid=23557 vsize=915464 CPUtime=0.02
/proc/23559/task/23561/stat : 23561 (java) S 23557 23559 23080 0 -1 64 250 0 0 0 2 0 0 0 16 0 8 0 271927490 937435136 8878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23559/tid=23562] ppid=23557 vsize=915464 CPUtime=0
/proc/23559/task/23562/stat : 23562 (java) S 23557 23559 23080 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271927490 937435136 8878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23559/tid=23563] ppid=23557 vsize=915464 CPUtime=0
/proc/23559/task/23563/stat : 23563 (java) S 23557 23559 23080 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271927490 937435136 8878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23559/tid=23564] ppid=23557 vsize=915464 CPUtime=0
/proc/23559/task/23564/stat : 23564 (java) S 23557 23559 23080 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271927493 937435136 8878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23559/tid=23565] ppid=23557 vsize=915464 CPUtime=0.22
/proc/23559/task/23565/stat : 23565 (java) S 23557 23559 23080 0 -1 64 398 0 0 0 22 0 0 0 16 0 8 0 271927493 937435136 8878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23559/tid=23566] ppid=23557 vsize=915464 CPUtime=0
/proc/23559/task/23566/stat : 23566 (java) S 23557 23559 23080 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271927493 937435136 8878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23559/tid=23567] ppid=23557 vsize=915464 CPUtime=0
/proc/23559/task/23567/stat : 23567 (java) S 23557 23559 23080 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271927493 937435136 8878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915464
[startup+25.6083 s]
/proc/loadavg: 1.95 2.00 1.93 3/88 23567
/proc/meminfo: memFree=1559648/2055920 swapFree=4192224/4192956
[pid=23559] ppid=23557 vsize=915464 CPUtime=25.56
/proc/23559/stat : 23559 (java) R 23557 23559 23080 0 -1 0 9153 0 1 0 2545 11 0 0 25 0 8 0 271927486 937435136 8886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815584 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23559/statm: 228866 8886 2527 14 0 215336 0
[pid=23559/tid=23561] ppid=23557 vsize=915464 CPUtime=0.02
/proc/23559/task/23561/stat : 23561 (java) S 23557 23559 23080 0 -1 64 250 0 0 0 2 0 0 0 17 0 8 0 271927490 937435136 8886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23559/tid=23562] ppid=23557 vsize=915464 CPUtime=0
/proc/23559/task/23562/stat : 23562 (java) S 23557 23559 23080 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271927490 937435136 8886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23559/tid=23563] ppid=23557 vsize=915464 CPUtime=0
/proc/23559/task/23563/stat : 23563 (java) S 23557 23559 23080 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271927490 937435136 8886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23559/tid=23564] ppid=23557 vsize=915464 CPUtime=0
/proc/23559/task/23564/stat : 23564 (java) S 23557 23559 23080 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271927493 937435136 8886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23559/tid=23565] ppid=23557 vsize=915464 CPUtime=0.22
/proc/23559/task/23565/stat : 23565 (java) S 23557 23559 23080 0 -1 64 399 0 0 0 22 0 0 0 16 0 8 0 271927493 937435136 8886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23559/tid=23566] ppid=23557 vsize=915464 CPUtime=0
/proc/23559/task/23566/stat : 23566 (java) S 23557 23559 23080 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271927493 937435136 8886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23559/tid=23567] ppid=23557 vsize=915464 CPUtime=0
/proc/23559/task/23567/stat : 23567 (java) S 23557 23559 23080 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271927493 937435136 8886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 29.1671
CPU time (s): 29.1226
CPU user time (s): 29.0016
CPU system time (s): 0.120981
CPU usage (%): 99.8474
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.0016
system time used= 0.120981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9249
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= 1751
involuntary context switches= 2171
runsolver used 0.039993 s user time and 0.102984 s system time
The end
Begin job on node33 on Fri Jan 19 19:35:36 UTC 2007
IDJOB= 276329
IDBENCH= 5690
IDSOLVER= 69
FILE ID= node33/276329-1169235336
PBS_JOBID= 3589299
Free space on /tmp= 66562 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276329-1169235336/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-276329-1169235336 -o ROOT/results/node33/solver-276329-1169235336 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276329-1169235336/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f2cd65a73abe6a207b75be7eb6e35b9c
RANDOM SEED= 809753828
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.281
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.281
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: 1585832 kB
Buffers: 42940 kB
Cached: 327120 kB
SwapCached: 268 kB
Active: 167652 kB
Inactive: 233664 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1585832 kB
SwapTotal: 4192956 kB
SwapFree: 4192224 kB
Dirty: 1964 kB
Writeback: 0 kB
Mapped: 48404 kB
Slab: 54088 kB
Committed_AS: 4503308 kB
PageTables: 1872 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= 66562 MiB
End job on node33 on Fri Jan 19 19:36:06 UTC 2007