0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/275564-1169223421/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=30 nbDomainTypes=1 minDomainSize=15 maxDomainSize=15
0.39 => wckTime=0.096 cpuTime=0.08 mem=6M910
0.39
0.39 relations being loaded...
0.46
0.46 constraints being loaded...
0.55 nbConstraints=223 nbRelationTypes=223 nbExtensionStructures=223 nbSharedExtensionStructures=0
0.55 nbConflictsStructures=223 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2829 maxDegree=19
0.55 maxArity=2
0.55 => wckTime=0.256 cpuTime=0.18 mem=10M819
0.59
0.59 solver LocalSearchSolver being built...
0.63 => wckTime=0.338 cpuTime=0.22 mem=5M726
0.64
0.64 s SATISFIABLE
0.64 o 171
0.64 c 52
0.64 o 176
0.64 c 47
0.64 o 180
0.64 c 43
0.64 o 183
0.64 c 40
0.64 o 187
0.64 c 36
0.64 o 191
0.64 c 32
0.64 o 194
0.64 c 29
0.64 o 196
0.64 c 27
0.65 o 199
0.65 c 24
0.65 o 200
0.65 c 23
0.65 o 201
0.65 c 22
0.65 o 203
0.65 c 20
0.65 o 204
0.65 c 19
0.65 o 205
0.65 c 18
0.65 o 208
0.65 c 15
0.65 o 209
0.65 c 14
0.65 o 210
0.65 c 13
0.65 o 211
0.65 c 12
0.66 o 212
0.66 c 11
0.66 o 213
0.66 c 10
0.66 o 214
0.66 c 9
0.67 o 215
0.67 c 8
0.67 o 216
0.67 c 7
0.67 o 217
0.67 c 6
0.67 o 218
0.67 c 5
0.70 o 219
0.70 c 4
0.75 o 220
0.75 c 3
1.44 o 221
1.44 c 2
2.02 o 222
2.02 c 1
2.02
2.02 search
2.02 run=0 nbConstraintChecks=9197868 nbAssignments=6900
2.02 => wckTime=1.389 cpuTime=1.36 mem=5M726
2.02
2.02 global
2.02 nbConstraintChecks=9197868 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.02 solvingWckTime=1.388 solvingCpuTime=1.37 expiredTime=no totalExploration=no nbFoundSolutions=0
2.02 globalCpuTime=1.65
2.02 => wckTime=1.728 cpuTime=1.59 mem=5M726
2.03
2.03 solver IterativeSystematicSolver being built...
2.15 => wckTime=1.856 cpuTime=1.69 mem=16M617
2.16
2.16 preprocessing
2.16 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.16 detectedInconsistency=no
2.16 => wckTime=0.0050 cpuTime=0.0 mem=16M617
2.23
2.23 search
2.23 run=0 nbConstraintChecks=151290 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=50
2.23 nbFailedAssignments=36 nbBacktracks=10 nbVisitedNodes=97 nbRestartNogoods=0
2.23 => wckTime=0.08 cpuTime=0.06 mem=16M617
2.30
2.30 search
2.30 run=1 nbConstraintChecks=316895 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=108
2.30 nbFailedAssignments=74 nbBacktracks=25 nbVisitedNodes=208 nbRestartNogoods=16
2.30 => wckTime=0.145 cpuTime=0.1 mem=16M617
2.35
2.35 search
2.35 run=2 nbConstraintChecks=558177 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=180
2.35 nbFailedAssignments=118 nbBacktracks=47 nbVisitedNodes=345 nbRestartNogoods=30
2.35 => wckTime=0.201 cpuTime=0.16 mem=16M617
2.44
2.44 search
2.44 run=3 nbConstraintChecks=912550 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=294
2.44 nbFailedAssignments=195 nbBacktracks=80 nbVisitedNodes=567 nbRestartNogoods=48
2.44 => wckTime=0.289 cpuTime=0.24 mem=16M617
2.55
2.55 search
2.55 run=4 nbConstraintChecks=1388881 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=456
2.55 nbFailedAssignments=302 nbBacktracks=130 nbVisitedNodes=886 nbRestartNogoods=74
2.55 => wckTime=0.396 cpuTime=0.35 mem=16M617
2.73
2.73 search
2.73 run=5 nbConstraintChecks=2247830 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=739
2.73 nbFailedAssignments=505 nbBacktracks=205 nbVisitedNodes=1447 nbRestartNogoods=95
2.73 => wckTime=0.577 cpuTime=0.53 mem=16M617
2.97
2.97 search
2.97 run=6 nbConstraintChecks=3314636 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1113
2.97 nbFailedAssignments=762 nbBacktracks=318 nbVisitedNodes=2191 nbRestartNogoods=126
2.97 => wckTime=0.816 cpuTime=0.76 mem=16M617
3.35
3.35 search
3.35 run=7 nbConstraintChecks=4956672 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1680
3.35 nbFailedAssignments=1155 nbBacktracks=488 nbVisitedNodes=3321 nbRestartNogoods=148
3.35 => wckTime=1.2 cpuTime=1.12 mem=16M617
3.91
3.91 search
3.91 run=8 nbConstraintChecks=7554151 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2520
3.91 nbFailedAssignments=1736 nbBacktracks=744 nbVisitedNodes=4997 nbRestartNogoods=170
3.91 => wckTime=1.759 cpuTime=1.67 mem=16M617
4.71
4.71 search
4.71 run=9 nbConstraintChecks=11056307 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3626
4.71 nbFailedAssignments=2454 nbBacktracks=1128 nbVisitedNodes=7171 nbRestartNogoods=182
4.71 => wckTime=2.558 cpuTime=2.46 mem=16M617
5.92
5.92 search
5.92 run=10 nbConstraintChecks=16039306 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5300
5.92 nbFailedAssignments=3549 nbBacktracks=1704 nbVisitedNodes=10475 nbRestartNogoods=195
5.92 => wckTime=3.769 cpuTime=3.66 mem=16M617
7.81
7.81 search
7.81 run=11 nbConstraintChecks=23894571 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7707
7.81 nbFailedAssignments=5089 nbBacktracks=2568 nbVisitedNodes=15168 nbRestartNogoods=210
7.81 => wckTime=5.661 cpuTime=5.54 mem=16M617
10.10
10.10 search
10.10 run=12 nbConstraintChecks=33699529 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10935
10.10 nbFailedAssignments=7017 nbBacktracks=3866 nbVisitedNodes=21290 nbRestartNogoods=234
10.10 => wckTime=7.944 cpuTime=7.8 mem=16M617
13.34
13.34 search
13.35 run=13 nbConstraintChecks=46752317 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15278
13.35 nbFailedAssignments=9408 nbBacktracks=5814 nbVisitedNodes=29176 nbRestartNogoods=244
13.35 => wckTime=11.192 cpuTime=11.02 mem=16M617
17.56
17.56 search
17.56 run=14 nbConstraintChecks=64216595 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21273
17.56 nbFailedAssignments=12480 nbBacktracks=8733 nbVisitedNodes=39560 nbRestartNogoods=256
17.56 => wckTime=15.405 cpuTime=15.2 mem=16M617
20.16
20.16 search
20.16 run=15 nbConstraintChecks=75126251 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25183
20.16 nbFailedAssignments=14369 nbBacktracks=10755 nbVisitedNodes=46111 nbRestartNogoods=266
20.16 => wckTime=18.01 cpuTime=17.79 mem=16M617
20.16
20.16 global
20.16 nbConstraintChecks=75126251 nbRestartNogoods=266 solvingWckTime=18.012 solvingCpuTime=17.79 expiredTime=no
20.16 totalExploration=yes nbFoundSolutions=0 globalCpuTime=19.54
20.16 => wckTime=19.869 cpuTime=19.48 mem=16M617
20.17
20.17 s OPTIMUM FOUND
20.17 v 5 12 5 10 9 2 11 1 10 2 14 2 9 10 5 5 13 5 7 13 12 14 14 1 12 8 13 1 0 5
20.17
20.17 totalWckTime=19.942 totalCpuTime=19.54
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-275564-1169223421 -o ROOT/results/node17/solver-275564-1169223421 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275564-1169223421/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.97 1.97 1.99 4/94 5885
/proc/meminfo: memFree=1394264/2055920 swapFree=4192812/4192956
[pid=5884] ppid=5882 vsize=18540 CPUtime=0
/proc/5884/stat : 5884 (runsolver) R 5882 5884 5575 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 270736913 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 245482712359 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/5884/statm: 4635 279 244 17 0 2626 0
[startup+0.103563 s]
/proc/loadavg: 1.97 1.97 1.99 4/94 5885
/proc/meminfo: memFree=1394264/2055920 swapFree=4192812/4192956
[pid=5884] ppid=5882 vsize=914988 CPUtime=0.08
/proc/5884/stat : 5884 (java) R 5882 5884 5575 0 -1 0 2994 0 1 0 7 1 0 0 25 0 8 0 270736913 936947712 2740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5884/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511608 s]
/proc/loadavg: 1.97 1.97 1.99 4/94 5885
/proc/meminfo: memFree=1394264/2055920 swapFree=4192812/4192956
[pid=5884] ppid=5882 vsize=915332 CPUtime=0.48
/proc/5884/stat : 5884 (java) R 5882 5884 5575 0 -1 0 6740 0 1 0 44 4 0 0 25 0 8 0 270736913 937299968 6479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152158055 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5884/statm: 228833 6479 2149 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33369 s]
/proc/loadavg: 2.05 1.99 1.99 3/101 5892
/proc/meminfo: memFree=1374496/2055920 swapFree=4192812/4192956
[pid=5884] ppid=5882 vsize=915464 CPUtime=1.29
/proc/5884/stat : 5884 (java) R 5882 5884 5575 0 -1 0 7587 0 1 0 112 17 0 0 25 0 8 0 270736913 937435136 7325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073731306 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5884/statm: 228866 7325 2476 14 0 215336 0
[pid=5884/tid=5886] ppid=5882 vsize=915464 CPUtime=0.02
/proc/5884/task/5886/stat : 5886 (java) S 5882 5884 5575 0 -1 64 211 0 0 0 2 0 0 0 16 0 8 0 270736917 937435136 7325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5884/tid=5887] ppid=5882 vsize=915464 CPUtime=0
/proc/5884/task/5887/stat : 5887 (java) S 5882 5884 5575 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270736918 937435136 7325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5884/tid=5888] ppid=5882 vsize=915464 CPUtime=0
/proc/5884/task/5888/stat : 5888 (java) S 5882 5884 5575 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270736918 937435136 7325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5884/tid=5889] ppid=5882 vsize=915464 CPUtime=0
/proc/5884/task/5889/stat : 5889 (java) S 5882 5884 5575 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270736921 937435136 7325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5884/tid=5890] ppid=5882 vsize=915464 CPUtime=0.12
/proc/5884/task/5890/stat : 5890 (java) S 5882 5884 5575 0 -1 64 345 0 0 0 12 0 0 0 16 0 8 0 270736921 937435136 7325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5884/tid=5891] ppid=5882 vsize=915464 CPUtime=0
/proc/5884/task/5891/stat : 5891 (java) S 5882 5884 5575 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 270736921 937435136 7325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5884/tid=5892] ppid=5882 vsize=915464 CPUtime=0
/proc/5884/task/5892/stat : 5892 (java) S 5882 5884 5575 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270736921 937435136 7325 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) 915464
[startup+2.98586 s]
/proc/loadavg: 2.05 1.99 1.99 3/101 5892
/proc/meminfo: memFree=1368864/2055920 swapFree=4192812/4192956
[pid=5884] ppid=5882 vsize=915464 CPUtime=2.93
/proc/5884/stat : 5884 (java) R 5882 5884 5575 0 -1 0 9068 0 1 0 262 31 0 0 25 0 8 0 270736913 937435136 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073850437 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5884/statm: 228866 8804 2527 14 0 215336 0
[pid=5884/tid=5886] ppid=5882 vsize=915464 CPUtime=0.02
/proc/5884/task/5886/stat : 5886 (java) S 5882 5884 5575 0 -1 64 212 0 0 0 2 0 0 0 16 0 8 0 270736917 937435136 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5884/tid=5887] ppid=5882 vsize=915464 CPUtime=0
/proc/5884/task/5887/stat : 5887 (java) S 5882 5884 5575 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270736918 937435136 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5884/tid=5888] ppid=5882 vsize=915464 CPUtime=0
/proc/5884/task/5888/stat : 5888 (java) S 5882 5884 5575 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270736918 937435136 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5884/tid=5889] ppid=5882 vsize=915464 CPUtime=0
/proc/5884/task/5889/stat : 5889 (java) S 5882 5884 5575 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270736921 937435136 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5884/tid=5890] ppid=5882 vsize=915464 CPUtime=0.2
/proc/5884/task/5890/stat : 5890 (java) S 5882 5884 5575 0 -1 64 386 0 0 0 19 1 0 0 15 0 8 0 270736921 937435136 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5884/tid=5891] ppid=5882 vsize=915464 CPUtime=0
/proc/5884/task/5891/stat : 5891 (java) S 5882 5884 5575 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 270736921 937435136 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5884/tid=5892] ppid=5882 vsize=915464 CPUtime=0
/proc/5884/task/5892/stat : 5892 (java) S 5882 5884 5575 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270736921 937435136 8804 18446744073709551615 134512640 134570532 4294956464 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) 915464
[startup+6.2732 s]
/proc/loadavg: 2.05 1.99 1.99 3/101 5892
/proc/meminfo: memFree=1368672/2055920 swapFree=4192812/4192956
[pid=5884] ppid=5882 vsize=915464 CPUtime=6.19
/proc/5884/stat : 5884 (java) R 5882 5884 5575 0 -1 0 9090 0 1 0 588 31 0 0 25 0 8 0 270736913 937435136 8824 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073878289 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5884/statm: 228866 8824 2527 14 0 215336 0
[pid=5884/tid=5886] ppid=5882 vsize=915464 CPUtime=0.02
/proc/5884/task/5886/stat : 5886 (java) S 5882 5884 5575 0 -1 64 212 0 0 0 2 0 0 0 16 0 8 0 270736917 937435136 8824 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5884/tid=5887] ppid=5882 vsize=915464 CPUtime=0
/proc/5884/task/5887/stat : 5887 (java) S 5882 5884 5575 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270736918 937435136 8824 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5884/tid=5888] ppid=5882 vsize=915464 CPUtime=0
/proc/5884/task/5888/stat : 5888 (java) S 5882 5884 5575 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270736918 937435136 8824 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5884/tid=5889] ppid=5882 vsize=915464 CPUtime=0
/proc/5884/task/5889/stat : 5889 (java) S 5882 5884 5575 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270736921 937435136 8824 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5884/tid=5890] ppid=5882 vsize=915464 CPUtime=0.22
/proc/5884/task/5890/stat : 5890 (java) S 5882 5884 5575 0 -1 64 397 0 0 0 21 1 0 0 15 0 8 0 270736921 937435136 8824 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5884/tid=5891] ppid=5882 vsize=915464 CPUtime=0
/proc/5884/task/5891/stat : 5891 (java) S 5882 5884 5575 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 270736921 937435136 8824 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5884/tid=5892] ppid=5882 vsize=915464 CPUtime=0
/proc/5884/task/5892/stat : 5892 (java) S 5882 5884 5575 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270736921 937435136 8824 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915464
[startup+12.7579 s]
/proc/loadavg: 2.04 1.99 1.99 3/101 5892
/proc/meminfo: memFree=1368688/2055920 swapFree=4192812/4192956
[pid=5884] ppid=5882 vsize=915464 CPUtime=12.62
/proc/5884/stat : 5884 (java) R 5882 5884 5575 0 -1 0 9096 0 1 0 1231 31 0 0 25 0 8 0 270736913 937435136 8830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073878804 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5884/statm: 228866 8830 2527 14 0 215336 0
[pid=5884/tid=5886] ppid=5882 vsize=915464 CPUtime=0.02
/proc/5884/task/5886/stat : 5886 (java) S 5882 5884 5575 0 -1 64 212 0 0 0 2 0 0 0 16 0 8 0 270736917 937435136 8830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5884/tid=5887] ppid=5882 vsize=915464 CPUtime=0
/proc/5884/task/5887/stat : 5887 (java) S 5882 5884 5575 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270736918 937435136 8830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5884/tid=5888] ppid=5882 vsize=915464 CPUtime=0
/proc/5884/task/5888/stat : 5888 (java) S 5882 5884 5575 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270736918 937435136 8830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5884/tid=5889] ppid=5882 vsize=915464 CPUtime=0
/proc/5884/task/5889/stat : 5889 (java) S 5882 5884 5575 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270736921 937435136 8830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5884/tid=5890] ppid=5882 vsize=915464 CPUtime=0.22
/proc/5884/task/5890/stat : 5890 (java) S 5882 5884 5575 0 -1 64 398 0 0 0 21 1 0 0 16 0 8 0 270736921 937435136 8830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5884/tid=5891] ppid=5882 vsize=915464 CPUtime=0
/proc/5884/task/5891/stat : 5891 (java) S 5882 5884 5575 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 270736921 937435136 8830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5884/tid=5892] ppid=5882 vsize=915464 CPUtime=0
/proc/5884/task/5892/stat : 5892 (java) S 5882 5884 5575 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270736921 937435136 8830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 20.228
CPU time (s): 19.992
CPU user time (s): 19.668
CPU system time (s): 0.32395
CPU usage (%): 98.8333
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.668
system time used= 0.32395
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9197
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= 1598
involuntary context switches= 2391
runsolver used 0.024996 s user time and 0.06299 s system time
The end
Begin job on node17 on Fri Jan 19 16:17:01 UTC 2007
IDJOB= 275564
IDBENCH= 4106
IDSOLVER= 69
FILE ID= node17/275564-1169223421
PBS_JOBID= 3588955
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-30-15/rand-2-30-15-306-230-20_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275564-1169223421/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-275564-1169223421 -o ROOT/results/node17/solver-275564-1169223421 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275564-1169223421/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= cd5612aebda18a0b47bceb3c69381f72
RANDOM SEED= 874141319
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: 1394680 kB
Buffers: 44532 kB
Cached: 473084 kB
SwapCached: 0 kB
Active: 238840 kB
Inactive: 347436 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1394680 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1816 kB
Writeback: 0 kB
Mapped: 95176 kB
Slab: 59504 kB
Committed_AS: 7760196 kB
PageTables: 2348 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 node17 on Fri Jan 19 16:17:22 UTC 2007