0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/275519-1169223122/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=30 nbDomainTypes=1 minDomainSize=15 maxDomainSize=15
0.41 => wckTime=0.101 cpuTime=0.08 mem=6M910
0.41
0.41 relations being loaded...
0.48
0.48 constraints being loaded...
0.58 nbConstraints=224 nbRelationTypes=224 nbExtensionStructures=224 nbSharedExtensionStructures=0
0.58 nbConflictsStructures=224 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2830 maxDegree=21
0.58 maxArity=2
0.58 => wckTime=0.272 cpuTime=0.18 mem=10M811
0.62
0.62 solver LocalSearchSolver being built...
0.67 => wckTime=0.359 cpuTime=0.23 mem=5M728
0.68
0.68 s SATISFIABLE
0.68 o 169
0.68 c 55
0.68 o 176
0.68 c 48
0.68 o 182
0.68 c 42
0.68 o 188
0.68 c 36
0.68 o 192
0.68 c 32
0.68 o 195
0.68 c 29
0.68 o 198
0.68 c 26
0.68 o 200
0.68 c 24
0.68 o 201
0.68 c 23
0.69 o 204
0.69 c 20
0.69 o 205
0.69 c 19
0.69 o 207
0.69 c 17
0.69 o 209
0.69 c 15
0.69 o 210
0.69 c 14
0.69 o 212
0.69 c 12
0.70 o 213
0.70 c 11
0.70 o 214
0.70 c 10
0.70 o 215
0.70 c 9
0.70 o 217
0.70 c 7
0.71 o 218
0.71 c 6
0.73 o 219
0.73 c 5
0.79 o 220
0.79 c 4
0.79 o 221
0.79 c 3
0.87 o 222
0.87 c 2
1.07 o 223
1.07 c 1
1.07
1.07 search
1.07 run=0 nbConstraintChecks=2202819 nbAssignments=1901
1.07 => wckTime=0.407 cpuTime=0.39 mem=5M728
1.07
1.07 global
1.07 nbConstraintChecks=2202819 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.07 solvingWckTime=0.405 solvingCpuTime=0.38 expiredTime=no totalExploration=no nbFoundSolutions=0
1.07 globalCpuTime=0.67
1.07 => wckTime=0.766 cpuTime=0.61 mem=5M728
1.08
1.08 solver IterativeSystematicSolver being built...
1.21 => wckTime=0.901 cpuTime=0.72 mem=16M619
1.22
1.22 preprocessing
1.22 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.22 detectedInconsistency=no
1.22 => wckTime=0.0050 cpuTime=0.0 mem=16M619
1.28
1.28 search
1.28 run=0 nbConstraintChecks=94843 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33
1.28 nbFailedAssignments=18 nbBacktracks=10 nbVisitedNodes=62 nbRestartNogoods=0
1.28 => wckTime=0.067 cpuTime=0.05 mem=16M619
1.34
1.34 search
1.34 run=1 nbConstraintChecks=241671 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=88
1.34 nbFailedAssignments=52 nbBacktracks=25 nbVisitedNodes=166 nbRestartNogoods=16
1.34 => wckTime=0.131 cpuTime=0.09 mem=16M619
1.40
1.40 search
1.40 run=2 nbConstraintChecks=451805 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=154
1.40 nbFailedAssignments=93 nbBacktracks=47 nbVisitedNodes=295 nbRestartNogoods=28
1.40 => wckTime=0.187 cpuTime=0.15 mem=16M619
1.48
1.48 search
1.48 run=3 nbConstraintChecks=752090 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=254
1.48 nbFailedAssignments=155 nbBacktracks=80 nbVisitedNodes=489 nbRestartNogoods=38
1.48 => wckTime=0.267 cpuTime=0.22 mem=16M619
1.59
1.59 search
1.59 run=4 nbConstraintChecks=1200945 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=391
1.59 nbFailedAssignments=239 nbBacktracks=130 nbVisitedNodes=757 nbRestartNogoods=55
1.59 => wckTime=0.38 cpuTime=0.34 mem=16M619
1.74
1.74 search
1.74 run=5 nbConstraintChecks=1798083 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=602
1.74 nbFailedAssignments=370 nbBacktracks=205 nbVisitedNodes=1174 nbRestartNogoods=59
1.74 => wckTime=0.525 cpuTime=0.48 mem=16M619
1.98
1.98 search
1.98 run=6 nbConstraintChecks=2833584 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=918
1.98 nbFailedAssignments=568 nbBacktracks=318 nbVisitedNodes=1795 nbRestartNogoods=74
1.98 => wckTime=0.771 cpuTime=0.72 mem=16M619
2.37
2.37 search
2.37 run=7 nbConstraintChecks=4375601 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1415
2.37 nbFailedAssignments=891 nbBacktracks=488 nbVisitedNodes=2766 nbRestartNogoods=85
2.37 => wckTime=1.162 cpuTime=1.09 mem=16M619
2.89
2.89 search
2.89 run=8 nbConstraintChecks=6394313 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2109
2.89 nbFailedAssignments=1325 nbBacktracks=744 nbVisitedNodes=4128 nbRestartNogoods=101
2.89 => wckTime=1.683 cpuTime=1.6 mem=16M619
3.65
3.66 search
3.66 run=9 nbConstraintChecks=9325820 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3046
3.66 nbFailedAssignments=1876 nbBacktracks=1128 nbVisitedNodes=5906 nbRestartNogoods=107
3.66 => wckTime=2.444 cpuTime=2.34 mem=16M619
4.71
4.71 search
4.71 run=10 nbConstraintChecks=13343663 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4345
4.71 nbFailedAssignments=2596 nbBacktracks=1704 nbVisitedNodes=8272 nbRestartNogoods=115
4.71 => wckTime=3.495 cpuTime=3.38 mem=16M619
6.06
6.06 search
6.06 run=11 nbConstraintChecks=18632454 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6174
6.06 nbFailedAssignments=3555 nbBacktracks=2568 nbVisitedNodes=11480 nbRestartNogoods=120
6.06 => wckTime=4.85 cpuTime=4.72 mem=16M619
7.91
7.91 search
7.91 run=12 nbConstraintChecks=25683993 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8639
7.91 nbFailedAssignments=4720 nbBacktracks=3865 nbVisitedNodes=15604 nbRestartNogoods=133
7.91 => wckTime=6.702 cpuTime=6.55 mem=16M619
10.45
10.45 search
10.45 run=13 nbConstraintChecks=35549361 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12196
10.45 nbFailedAssignments=6325 nbBacktracks=5811 nbVisitedNodes=21357 nbRestartNogoods=137
10.45 => wckTime=9.239 cpuTime=9.07 mem=16M619
13.98
13.98 search
13.98 run=14 nbConstraintChecks=49410843 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17379
13.98 nbFailedAssignments=8584 nbBacktracks=8730 nbVisitedNodes=29516 nbRestartNogoods=148
13.98 => wckTime=12.77 cpuTime=12.57 mem=16M619
17.00
17.00 search
17.00 run=15 nbConstraintChecks=61339665 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21981
17.00 nbFailedAssignments=10470 nbBacktracks=11447 nbVisitedNodes=36589 nbRestartNogoods=153
17.00 => wckTime=15.789 cpuTime=15.56 mem=16M619
17.00
17.00 global
17.00 nbConstraintChecks=61339665 nbRestartNogoods=153 solvingWckTime=15.79 solvingCpuTime=15.56 expiredTime=no
17.00 totalExploration=yes nbFoundSolutions=0 globalCpuTime=16.34
17.00 => wckTime=16.692 cpuTime=16.28 mem=16M619
17.00
17.00 s OPTIMUM FOUND
17.00 v 12 10 5 2 8 9 8 10 14 3 1 1 6 11 3 4 12 8 13 13 9 13 1 13 2 5 13 1 2 0
17.00
17.00 totalWckTime=16.771 totalCpuTime=16.34
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-275519-1169223122 -o ROOT/results/node19/solver-275519-1169223122 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275519-1169223122/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.93 2.01 1.99 4/87 9580
/proc/meminfo: memFree=876384/2055920 swapFree=4171264/4192956
[pid=9579] ppid=9577 vsize=9948 CPUtime=0
/proc/9579/stat : 9579 (java) S 9577 9579 8889 0 -1 0 723 0 0 0 0 0 0 0 16 0 1 0 270706858 10186752 472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/9579/statm: 2487 472 386 14 0 1142 0
[startup+0.103089 s]
/proc/loadavg: 1.93 2.01 1.99 4/87 9580
/proc/meminfo: memFree=876384/2055920 swapFree=4171264/4192956
[pid=9579] ppid=9577 vsize=914988 CPUtime=0.08
/proc/9579/stat : 9579 (java) R 9577 9579 8889 0 -1 0 2996 0 1 0 7 1 0 0 17 0 8 0 270706858 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072932851 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9579/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514167 s]
/proc/loadavg: 1.93 2.01 1.99 4/87 9580
/proc/meminfo: memFree=876384/2055920 swapFree=4171264/4192956
[pid=9579] ppid=9577 vsize=915332 CPUtime=0.49
/proc/9579/stat : 9579 (java) R 9577 9579 8889 0 -1 0 6526 0 1 0 45 4 0 0 18 0 8 0 270706858 937299968 6265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9579/statm: 228833 6265 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33532 s]
/proc/loadavg: 1.93 2.01 1.99 3/94 9587
/proc/meminfo: memFree=856680/2055920 swapFree=4171264/4192956
[pid=9579] ppid=9577 vsize=915464 CPUtime=1.3
/proc/9579/stat : 9579 (java) R 9577 9579 8889 0 -1 0 9048 0 1 0 115 15 0 0 24 0 8 0 270706858 937435136 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073861215 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9579/statm: 228866 8785 2527 14 0 215336 0
[pid=9579/tid=9581] ppid=9577 vsize=915464 CPUtime=0.02
/proc/9579/task/9581/stat : 9581 (java) S 9577 9579 8889 0 -1 64 212 0 0 0 2 0 0 0 16 0 8 0 270706862 937435136 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9579/tid=9582] ppid=9577 vsize=915464 CPUtime=0
/proc/9579/task/9582/stat : 9582 (java) S 9577 9579 8889 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270706862 937435136 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9579/tid=9583] ppid=9577 vsize=915464 CPUtime=0
/proc/9579/task/9583/stat : 9583 (java) S 9577 9579 8889 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270706862 937435136 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9579/tid=9584] ppid=9577 vsize=915464 CPUtime=0
/proc/9579/task/9584/stat : 9584 (java) S 9577 9579 8889 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270706865 937435136 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9579/tid=9585] ppid=9577 vsize=915464 CPUtime=0.21
/proc/9579/task/9585/stat : 9585 (java) S 9577 9579 8889 0 -1 64 380 0 0 0 20 1 0 0 15 0 8 0 270706865 937435136 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9579/tid=9586] ppid=9577 vsize=915464 CPUtime=0
/proc/9579/task/9586/stat : 9586 (java) S 9577 9579 8889 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270706865 937435136 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9579/tid=9587] ppid=9577 vsize=915464 CPUtime=0
/proc/9579/task/9587/stat : 9587 (java) S 9577 9579 8889 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270706865 937435136 8785 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) 915464
[startup+2.97263 s]
/proc/loadavg: 1.93 2.01 1.99 3/94 9587
/proc/meminfo: memFree=851048/2055920 swapFree=4171264/4192956
[pid=9579] ppid=9577 vsize=915464 CPUtime=2.92
/proc/9579/stat : 9579 (java) R 9577 9579 8889 0 -1 0 9083 0 1 0 276 16 0 0 25 0 8 0 270706858 937435136 8819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073850325 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9579/statm: 228866 8819 2527 14 0 215336 0
[pid=9579/tid=9581] ppid=9577 vsize=915464 CPUtime=0.02
/proc/9579/task/9581/stat : 9581 (java) S 9577 9579 8889 0 -1 64 212 0 0 0 2 0 0 0 17 0 8 0 270706862 937435136 8819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9579/tid=9582] ppid=9577 vsize=915464 CPUtime=0
/proc/9579/task/9582/stat : 9582 (java) S 9577 9579 8889 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270706862 937435136 8819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9579/tid=9583] ppid=9577 vsize=915464 CPUtime=0
/proc/9579/task/9583/stat : 9583 (java) S 9577 9579 8889 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270706862 937435136 8819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9579/tid=9584] ppid=9577 vsize=915464 CPUtime=0
/proc/9579/task/9584/stat : 9584 (java) S 9577 9579 8889 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270706865 937435136 8819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9579/tid=9585] ppid=9577 vsize=915464 CPUtime=0.24
/proc/9579/task/9585/stat : 9585 (java) S 9577 9579 8889 0 -1 64 396 0 0 0 23 1 0 0 15 0 8 0 270706865 937435136 8819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9579/tid=9586] ppid=9577 vsize=915464 CPUtime=0
/proc/9579/task/9586/stat : 9586 (java) S 9577 9579 8889 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270706865 937435136 8819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9579/tid=9587] ppid=9577 vsize=915464 CPUtime=0
/proc/9579/task/9587/stat : 9587 (java) S 9577 9579 8889 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270706865 937435136 8819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915464
[startup+6.27025 s]
/proc/loadavg: 1.94 2.01 1.99 3/94 9587
/proc/meminfo: memFree=850984/2055920 swapFree=4171264/4192956
[pid=9579] ppid=9577 vsize=915464 CPUtime=6.19
/proc/9579/stat : 9579 (java) R 9577 9579 8889 0 -1 0 9095 0 1 0 603 16 0 0 25 0 8 0 270706858 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073885974 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9579/statm: 228866 8829 2527 14 0 215336 0
[pid=9579/tid=9581] ppid=9577 vsize=915464 CPUtime=0.02
/proc/9579/task/9581/stat : 9581 (java) S 9577 9579 8889 0 -1 64 212 0 0 0 2 0 0 0 16 0 8 0 270706862 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9579/tid=9582] ppid=9577 vsize=915464 CPUtime=0
/proc/9579/task/9582/stat : 9582 (java) S 9577 9579 8889 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270706862 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9579/tid=9583] ppid=9577 vsize=915464 CPUtime=0
/proc/9579/task/9583/stat : 9583 (java) S 9577 9579 8889 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270706862 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9579/tid=9584] ppid=9577 vsize=915464 CPUtime=0
/proc/9579/task/9584/stat : 9584 (java) S 9577 9579 8889 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270706865 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9579/tid=9585] ppid=9577 vsize=915464 CPUtime=0.25
/proc/9579/task/9585/stat : 9585 (java) S 9577 9579 8889 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 270706865 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9579/tid=9586] ppid=9577 vsize=915464 CPUtime=0
/proc/9579/task/9586/stat : 9586 (java) S 9577 9579 8889 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270706865 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9579/tid=9587] ppid=9577 vsize=915464 CPUtime=0
/proc/9579/task/9587/stat : 9587 (java) S 9577 9579 8889 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270706865 937435136 8829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915464
[startup+12.7465 s]
/proc/loadavg: 1.94 2.01 1.99 3/94 9587
/proc/meminfo: memFree=850920/2055920 swapFree=4171264/4192956
[pid=9579] ppid=9577 vsize=915464 CPUtime=12.61
/proc/9579/stat : 9579 (java) R 9577 9579 8889 0 -1 0 9102 0 1 0 1245 16 0 0 25 0 8 0 270706858 937435136 8834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829877 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9579/statm: 228866 8834 2527 14 0 215336 0
[pid=9579/tid=9581] ppid=9577 vsize=915464 CPUtime=0.02
/proc/9579/task/9581/stat : 9581 (java) S 9577 9579 8889 0 -1 64 212 0 0 0 2 0 0 0 16 0 8 0 270706862 937435136 8834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9579/tid=9582] ppid=9577 vsize=915464 CPUtime=0
/proc/9579/task/9582/stat : 9582 (java) S 9577 9579 8889 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270706862 937435136 8834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9579/tid=9583] ppid=9577 vsize=915464 CPUtime=0
/proc/9579/task/9583/stat : 9583 (java) S 9577 9579 8889 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270706862 937435136 8834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9579/tid=9584] ppid=9577 vsize=915464 CPUtime=0
/proc/9579/task/9584/stat : 9584 (java) S 9577 9579 8889 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270706865 937435136 8834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9579/tid=9585] ppid=9577 vsize=915464 CPUtime=0.25
/proc/9579/task/9585/stat : 9585 (java) S 9577 9579 8889 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 270706865 937435136 8834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9579/tid=9586] ppid=9577 vsize=915464 CPUtime=0
/proc/9579/task/9586/stat : 9586 (java) S 9577 9579 8889 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270706865 937435136 8834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9579/tid=9587] ppid=9577 vsize=915464 CPUtime=0
/proc/9579/task/9587/stat : 9587 (java) S 9577 9579 8889 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270706865 937435136 8834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 17.0578
CPU time (s): 16.8444
CPU user time (s): 16.6755
CPU system time (s): 0.168974
CPU usage (%): 98.7492
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.6755
system time used= 0.168974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9200
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= 1487
involuntary context switches= 2090
runsolver used 0.025996 s user time and 0.066989 s system time
The end
Begin job on node19 on Fri Jan 19 16:12:02 UTC 2007
IDJOB= 275519
IDBENCH= 4093
IDSOLVER= 69
FILE ID= node19/275519-1169223122
PBS_JOBID= 3588940
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-30-15/rand-2-30-15-306-230-15_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275519-1169223122/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-275519-1169223122 -o ROOT/results/node19/solver-275519-1169223122 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275519-1169223122/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d4077567d9bfac8ce56608e27db392b0
RANDOM SEED= 895391489
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.260
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.260
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: 876864 kB
Buffers: 60816 kB
Cached: 672456 kB
SwapCached: 10172 kB
Active: 648808 kB
Inactive: 450780 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 876864 kB
SwapTotal: 4192956 kB
SwapFree: 4171264 kB
Dirty: 1772 kB
Writeback: 0 kB
Mapped: 376344 kB
Slab: 63328 kB
Committed_AS: 7509456 kB
PageTables: 3040 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= 66560 MiB
End job on node19 on Fri Jan 19 16:12:19 UTC 2007