0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=epfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/275114-1169216879/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=9 nbDomainTypes=1 minDomainSize=35 maxDomainSize=35
0.42 => wckTime=0.097 cpuTime=0.1 mem=6M887
0.42
0.42 predicates being loaded...
0.42
0.42 constraints being loaded...
0.71 nbConstraints=582 nbConvertedConstraints=36 nbConvertConstraintsChecks=86975 nbExtensionStructures=1
0.71 nbSharedExtensionStructures=35 nbConflictsStructures=3 nbSharedConflictsStructures=201
0.71 nbUnbuiltConflictsStructures=3 nbSharedBinaryRepresentations=1 nbEvaluationManagers=5
0.71 nbSharedEvaluationManagers=541 maxDegree=232 maxArity=4
0.71 => wckTime=0.394 cpuTime=0.29 mem=10M804
0.76
0.76 solver LocalSearchSolver being built...
0.80 => wckTime=0.478 cpuTime=0.34 mem=5M720
0.81
0.81 s SATISFIABLE
0.81 o 569
0.81 c 13
0.81 o 573
0.81 c 9
0.82 o 575
0.82 c 7
0.83 o 577
0.83 c 5
0.85 o 578
0.85 c 4
1.05 o 579
1.05 c 3
2.41 o 580
2.41 c 2
19.97 o 581
19.97 c 1
19.97
19.97 search
19.97 run=0 nbConstraintChecks=48780691 nbAssignments=4324
19.97 => wckTime=19.174 cpuTime=19.06 mem=5M720
19.97
19.97 global
19.97 nbConstraintChecks=48780691 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
19.97 solvingWckTime=19.172 solvingCpuTime=19.06 expiredTime=no totalExploration=no nbFoundSolutions=0
19.97 globalCpuTime=19.44
19.97 => wckTime=19.652 cpuTime=19.4 mem=5M720
19.97
19.97 solver IterativeSystematicSolver being built...
20.16 => wckTime=19.838 cpuTime=19.55 mem=21M413
21.36
21.36 preprocessing
21.36 nbConstraintChecks=1225666 nbValidityChecks=2788196 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
21.36 nbRemovedValues=93 detectedInconsistency=no
21.36 => wckTime=1.199 cpuTime=1.15 mem=22M389
21.72
21.72 search
21.72 run=0 nbConstraintChecks=246070 nbValidityChecks=1049469 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
21.72 nbAssignments=63 nbFailedAssignments=50 nbBacktracks=10 nbVisitedNodes=124 nbRestartNogoods=0
21.72 => wckTime=1.559 cpuTime=1.51 mem=22M389
22.20
22.20 search
22.20 run=1 nbConstraintChecks=561925 nbValidityChecks=2392352 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
22.20 nbAssignments=152 nbFailedAssignments=121 nbBacktracks=25 nbVisitedNodes=298 nbRestartNogoods=18
22.20 => wckTime=2.042 cpuTime=1.97 mem=22M389
23.26
23.26 search
23.26 run=2 nbConstraintChecks=1361479 nbValidityChecks=5432165 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
23.26 nbAssignments=313 nbFailedAssignments=257 nbBacktracks=47 nbVisitedNodes=616 nbRestartNogoods=42
23.26 => wckTime=3.104 cpuTime=3.03 mem=22M389
24.21
24.21 search
24.21 run=3 nbConstraintChecks=2051347 nbValidityChecks=8064809 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
24.21 nbAssignments=490 nbFailedAssignments=401 nbBacktracks=80 nbVisitedNodes=965 nbRestartNogoods=54
24.21 => wckTime=4.051 cpuTime=3.97 mem=22M389
25.92
25.92 search
25.92 run=4 nbConstraintChecks=3314126 nbValidityChecks=12842297 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
25.92 nbAssignments=765 nbFailedAssignments=625 nbBacktracks=130 nbVisitedNodes=1511 nbRestartNogoods=54
25.92 => wckTime=5.763 cpuTime=5.67 mem=22M389
27.82
27.82 search
27.82 run=5 nbConstraintChecks=4648688 nbValidityChecks=17988277 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
27.82 nbAssignments=1182 nbFailedAssignments=964 nbBacktracks=205 nbVisitedNodes=2340 nbRestartNogoods=60
27.82 => wckTime=7.665 cpuTime=7.55 mem=22M389
30.06
30.06 search
30.06 run=6 nbConstraintChecks=6224047 nbValidityChecks=23766303 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.06 nbAssignments=1676 nbFailedAssignments=1342 nbBacktracks=318 nbVisitedNodes=3321 nbRestartNogoods=74
30.06 => wckTime=9.903 cpuTime=9.76 mem=22M389
33.99
33.99 search
33.99 run=7 nbConstraintChecks=9092950 nbValidityChecks=34418629 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.99 nbAssignments=2436 nbFailedAssignments=1928 nbBacktracks=488 nbVisitedNodes=4827 nbRestartNogoods=94
33.99 => wckTime=13.835 cpuTime=13.66 mem=22M389
41.13
41.13 search
41.13 run=8 nbConstraintChecks=14423262 nbValidityChecks=53899839 nbPropagations=0 nbRevisions=0
41.13 nbUselessRevisions=0 nbAssignments=3607 nbFailedAssignments=2839 nbBacktracks=744 nbVisitedNodes=7141
41.13 nbRestartNogoods=113
41.13 => wckTime=20.977 cpuTime=20.77 mem=22M389
48.97
48.97 search
48.97 run=9 nbConstraintChecks=19879616 nbValidityChecks=75092102 nbPropagations=0 nbRevisions=0
48.97 nbUselessRevisions=0 nbAssignments=5471 nbFailedAssignments=4316 nbBacktracks=1129 nbVisitedNodes=10847
48.97 nbRestartNogoods=116
48.97 => wckTime=28.814 cpuTime=28.58 mem=22M389
61.93
61.93 search
61.93 run=10 nbConstraintChecks=29290159 nbValidityChecks=109443487 nbPropagations=0 nbRevisions=0
61.93 nbUselessRevisions=0 nbAssignments=8029 nbFailedAssignments=6295 nbBacktracks=1705 nbVisitedNodes=15912
61.93 nbRestartNogoods=140
61.93 => wckTime=41.772 cpuTime=41.47 mem=22M389
78.82
78.82 search
78.82 run=11 nbConstraintChecks=41686236 nbValidityChecks=153087636 nbPropagations=0 nbRevisions=0
78.82 nbUselessRevisions=0 nbAssignments=11431 nbFailedAssignments=8830 nbBacktracks=2569 nbVisitedNodes=22597
78.82 nbRestartNogoods=172
78.82 => wckTime=58.662 cpuTime=58.28 mem=22M389
102.37
102.37 search
102.37 run=12 nbConstraintChecks=59676679 nbValidityChecks=214198061 nbPropagations=0 nbRevisions=0
102.37 nbUselessRevisions=0 nbAssignments=15709 nbFailedAssignments=11808 nbBacktracks=3866 nbVisitedNodes=30792
102.37 nbRestartNogoods=212
102.37 => wckTime=82.214 cpuTime=81.71 mem=22M389
128.59
128.59 search
128.59 run=13 nbConstraintChecks=79216975 nbValidityChecks=279276154 nbPropagations=0 nbRevisions=0
128.59 nbUselessRevisions=0 nbAssignments=20874 nbFailedAssignments=15025 nbBacktracks=5812 nbVisitedNodes=40596
128.59 nbRestartNogoods=222
128.59 => wckTime=108.43 cpuTime=107.81 mem=22M389
166.02
166.02 search
166.02 run=14 nbConstraintChecks=106934920 nbValidityChecks=372925465 nbPropagations=0 nbRevisions=0
166.02 nbUselessRevisions=0 nbAssignments=28246 nbFailedAssignments=19475 nbBacktracks=8731 nbVisitedNodes=54391
166.02 nbRestartNogoods=254
166.02 => wckTime=145.866 cpuTime=145.07 mem=22M389
201.82
201.82 search
201.82 run=15 nbConstraintChecks=132818893 nbValidityChecks=462449435 nbPropagations=0 nbRevisions=0
201.82 nbUselessRevisions=0 nbAssignments=35250 nbFailedAssignments=23576 nbBacktracks=11635 nbVisitedNodes=67341
201.82 nbRestartNogoods=261
201.82 => wckTime=181.661 cpuTime=180.69 mem=22M389
201.82
201.82 global
201.82 nbConstraintChecks=134044559 nbValidityChecks=465237631 nbRestartNogoods=261 solvingWckTime=181.662
201.82 solvingCpuTime=180.69 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=200.28
201.82 => wckTime=201.5 cpuTime=200.24 mem=22M389
201.82
201.82 s OPTIMUM FOUND
201.82 v 0 1 4 9 15 22 32 34 34
201.82
201.82 totalWckTime=201.582 totalCpuTime=200.29
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-275114-1169216879 -o ROOT/results/node5/solver-275114-1169216879 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275114-1169216879/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: 2.01 1.98 1.85 4/93 11110
/proc/meminfo: memFree=1178824/2055920 swapFree=4192812/4192956
[pid=11109] ppid=11107 vsize=18540 CPUtime=0
/proc/11109/stat : 11109 (runsolver) R 11107 11109 10571 0 -1 4194368 17 0 0 0 0 0 0 0 23 0 1 0 250302382 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 226913479975 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/11109/statm: 4635 279 244 17 0 2626 0
[startup+0.108516 s]
/proc/loadavg: 2.01 1.98 1.85 4/93 11110
/proc/meminfo: memFree=1178824/2055920 swapFree=4192812/4192956
[pid=11109] ppid=11107 vsize=914988 CPUtime=0.08
/proc/11109/stat : 11109 (java) D 11107 11109 10571 0 -1 0 2988 0 1 0 7 1 0 0 17 0 8 0 250302382 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11109/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.520552 s]
/proc/loadavg: 2.01 1.98 1.85 4/93 11110
/proc/meminfo: memFree=1178824/2055920 swapFree=4192812/4192956
[pid=11109] ppid=11107 vsize=915332 CPUtime=0.49
/proc/11109/stat : 11109 (java) R 11107 11109 10571 0 -1 0 6447 0 1 0 46 3 0 0 18 0 8 0 250302382 937299968 6186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11109/statm: 228833 6186 2150 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.34964 s]
/proc/loadavg: 2.01 1.98 1.85 4/100 11117
/proc/meminfo: memFree=1158864/2055920 swapFree=4192812/4192956
[pid=11109] ppid=11107 vsize=915428 CPUtime=1.32
/proc/11109/stat : 11109 (java) R 11107 11109 10571 0 -1 0 7683 0 1 0 125 7 0 0 25 0 8 0 250302382 937398272 7421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073698815 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11109/statm: 228857 7421 2497 14 0 215327 0
[pid=11109/tid=11111] ppid=11107 vsize=915428 CPUtime=0.03
/proc/11109/task/11111/stat : 11111 (java) S 11107 11109 10571 0 -1 64 208 0 0 0 3 0 0 0 16 0 8 0 250302386 937398272 7421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11112] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11112/stat : 11112 (java) S 11107 11109 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250302387 937398272 7421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11113] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11113/stat : 11113 (java) S 11107 11109 10571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250302387 937398272 7421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11114] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11114/stat : 11114 (java) S 11107 11109 10571 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 250302390 937398272 7421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11115] ppid=11107 vsize=915428 CPUtime=0.15
/proc/11109/task/11115/stat : 11115 (java) S 11107 11109 10571 0 -1 64 349 0 0 0 15 0 0 0 16 0 8 0 250302390 937398272 7421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11116] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11116/stat : 11116 (java) S 11107 11109 10571 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 250302390 937398272 7421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11117] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11117/stat : 11117 (java) S 11107 11109 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250302390 937398272 7421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915428
[startup+2.98783 s]
/proc/loadavg: 2.01 1.98 1.85 3/100 11117
/proc/meminfo: memFree=1158800/2055920 swapFree=4192812/4192956
[pid=11109] ppid=11107 vsize=915428 CPUtime=2.95
/proc/11109/stat : 11109 (java) R 11107 11109 10571 0 -1 0 7687 0 1 0 287 8 0 0 25 0 8 0 250302382 937398272 7424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073696018 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11109/statm: 228857 7424 2499 14 0 215327 0
[pid=11109/tid=11111] ppid=11107 vsize=915428 CPUtime=0.03
/proc/11109/task/11111/stat : 11111 (java) S 11107 11109 10571 0 -1 64 208 0 0 0 3 0 0 0 16 0 8 0 250302386 937398272 7424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11112] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11112/stat : 11112 (java) S 11107 11109 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250302387 937398272 7424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11113] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11113/stat : 11113 (java) S 11107 11109 10571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250302387 937398272 7424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11114] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11114/stat : 11114 (java) S 11107 11109 10571 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 250302390 937398272 7424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11115] ppid=11107 vsize=915428 CPUtime=0.16
/proc/11109/task/11115/stat : 11115 (java) S 11107 11109 10571 0 -1 64 352 0 0 0 16 0 0 0 16 0 8 0 250302390 937398272 7424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11116] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11116/stat : 11116 (java) S 11107 11109 10571 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 250302390 937398272 7424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11117] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11117/stat : 11117 (java) S 11107 11109 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250302390 937398272 7424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915428
[startup+6.2672 s]
/proc/loadavg: 2.01 1.98 1.85 3/100 11117
/proc/meminfo: memFree=1158736/2055920 swapFree=4192812/4192956
[pid=11109] ppid=11107 vsize=915428 CPUtime=6.21
/proc/11109/stat : 11109 (java) R 11107 11109 10571 0 -1 0 7689 0 1 0 609 12 0 0 25 0 8 0 250302382 937398272 7426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073771622 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11109/statm: 228857 7426 2499 14 0 215327 0
[pid=11109/tid=11111] ppid=11107 vsize=915428 CPUtime=0.03
/proc/11109/task/11111/stat : 11111 (java) S 11107 11109 10571 0 -1 64 208 0 0 0 3 0 0 0 16 0 8 0 250302386 937398272 7426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11112] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11112/stat : 11112 (java) S 11107 11109 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250302387 937398272 7426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11113] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11113/stat : 11113 (java) S 11107 11109 10571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250302387 937398272 7426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11114] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11114/stat : 11114 (java) S 11107 11109 10571 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 250302390 937398272 7426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11115] ppid=11107 vsize=915428 CPUtime=0.16
/proc/11109/task/11115/stat : 11115 (java) S 11107 11109 10571 0 -1 64 354 0 0 0 16 0 0 0 16 0 8 0 250302390 937398272 7426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11116] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11116/stat : 11116 (java) S 11107 11109 10571 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 250302390 937398272 7426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11117] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11117/stat : 11117 (java) S 11107 11109 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250302390 937398272 7426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915428
[startup+12.7549 s]
/proc/loadavg: 2.01 1.98 1.85 3/100 11117
/proc/meminfo: memFree=1158736/2055920 swapFree=4192812/4192956
[pid=11109] ppid=11107 vsize=915428 CPUtime=12.67
/proc/11109/stat : 11109 (java) R 11107 11109 10571 0 -1 0 7691 0 1 0 1248 19 0 0 25 0 8 0 250302382 937398272 7428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073771572 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11109/statm: 228857 7428 2499 14 0 215327 0
[pid=11109/tid=11111] ppid=11107 vsize=915428 CPUtime=0.03
/proc/11109/task/11111/stat : 11111 (java) S 11107 11109 10571 0 -1 64 208 0 0 0 3 0 0 0 16 0 8 0 250302386 937398272 7428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11112] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11112/stat : 11112 (java) S 11107 11109 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250302387 937398272 7428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11113] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11113/stat : 11113 (java) S 11107 11109 10571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250302387 937398272 7428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11114] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11114/stat : 11114 (java) S 11107 11109 10571 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 250302390 937398272 7428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11115] ppid=11107 vsize=915428 CPUtime=0.16
/proc/11109/task/11115/stat : 11115 (java) S 11107 11109 10571 0 -1 64 356 0 0 0 16 0 0 0 16 0 8 0 250302390 937398272 7428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11116] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11116/stat : 11116 (java) S 11107 11109 10571 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 250302390 937398272 7428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11117] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11117/stat : 11117 (java) S 11107 11109 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250302390 937398272 7428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915428
[startup+25.6194 s]
/proc/loadavg: 2.01 1.98 1.86 3/100 11117
/proc/meminfo: memFree=1147728/2055920 swapFree=4192812/4192956
[pid=11109] ppid=11107 vsize=915428 CPUtime=25.48
/proc/11109/stat : 11109 (java) R 11107 11109 10571 0 -1 0 10524 0 1 0 2521 27 0 0 25 0 8 0 250302382 937398272 10258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073911539 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11109/statm: 228857 10258 2551 14 0 215327 0
[pid=11109/tid=11111] ppid=11107 vsize=915428 CPUtime=0.03
/proc/11109/task/11111/stat : 11111 (java) S 11107 11109 10571 0 -1 64 209 0 0 0 3 0 0 0 17 0 8 0 250302386 937398272 10258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11112] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11112/stat : 11112 (java) S 11107 11109 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250302387 937398272 10258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11113] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11113/stat : 11113 (java) S 11107 11109 10571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250302387 937398272 10258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11114] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11114/stat : 11114 (java) S 11107 11109 10571 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 250302390 937398272 10258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11115] ppid=11107 vsize=915428 CPUtime=0.28
/proc/11109/task/11115/stat : 11115 (java) S 11107 11109 10571 0 -1 64 415 0 0 0 27 1 0 0 15 0 8 0 250302390 937398272 10258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11116] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11116/stat : 11116 (java) S 11107 11109 10571 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 250302390 937398272 10258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11117] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11117/stat : 11117 (java) S 11107 11109 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250302390 937398272 10258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915428
[startup+51.2523 s]
/proc/loadavg: 2.00 1.98 1.86 4/100 11117
/proc/meminfo: memFree=1147600/2055920 swapFree=4192812/4192956
[pid=11109] ppid=11107 vsize=915428 CPUtime=50.98
/proc/11109/stat : 11109 (java) R 11107 11109 10571 0 -1 0 10558 0 1 0 5071 27 0 0 25 0 8 0 250302382 937398272 10286 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073689479 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11109/statm: 228857 10286 2551 14 0 215327 0
[pid=11109/tid=11111] ppid=11107 vsize=915428 CPUtime=0.03
/proc/11109/task/11111/stat : 11111 (java) S 11107 11109 10571 0 -1 64 209 0 0 0 3 0 0 0 16 0 8 0 250302386 937398272 10286 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11112] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11112/stat : 11112 (java) S 11107 11109 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250302387 937398272 10286 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11113] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11113/stat : 11113 (java) S 11107 11109 10571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250302387 937398272 10286 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11114] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11114/stat : 11114 (java) S 11107 11109 10571 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 250302390 937398272 10286 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11115] ppid=11107 vsize=915428 CPUtime=0.31
/proc/11109/task/11115/stat : 11115 (java) S 11107 11109 10571 0 -1 64 432 0 0 0 30 1 0 0 16 0 8 0 250302390 937398272 10286 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11116] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11116/stat : 11116 (java) S 11107 11109 10571 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 250302390 937398272 10286 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11117] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11117/stat : 11117 (java) S 11107 11109 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250302390 937398272 10286 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 915428
[startup+102.51 s]
/proc/loadavg: 2.00 1.98 1.86 4/100 11117
/proc/meminfo: memFree=1147600/2055920 swapFree=4192812/4192956
[pid=11109] ppid=11107 vsize=915428 CPUtime=102
/proc/11109/stat : 11109 (java) R 11107 11109 10571 0 -1 0 10570 0 1 0 10172 28 0 0 25 0 8 0 250302382 937398272 10296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074018196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11109/statm: 228857 10296 2551 14 0 215327 0
[pid=11109/tid=11111] ppid=11107 vsize=915428 CPUtime=0.03
/proc/11109/task/11111/stat : 11111 (java) S 11107 11109 10571 0 -1 64 209 0 0 0 3 0 0 0 16 0 8 0 250302386 937398272 10296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11112] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11112/stat : 11112 (java) S 11107 11109 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250302387 937398272 10296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11113] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11113/stat : 11113 (java) S 11107 11109 10571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250302387 937398272 10296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11114] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11114/stat : 11114 (java) S 11107 11109 10571 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 250302390 937398272 10296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11115] ppid=11107 vsize=915428 CPUtime=0.32
/proc/11109/task/11115/stat : 11115 (java) S 11107 11109 10571 0 -1 64 436 0 0 0 31 1 0 0 16 0 8 0 250302390 937398272 10296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11116] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11116/stat : 11116 (java) S 11107 11109 10571 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 250302390 937398272 10296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11117] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11117/stat : 11117 (java) S 11107 11109 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250302390 937398272 10296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102
Current children cumulated vsize (KiB) 915428
[startup+162.516 s]
/proc/loadavg: 2.00 1.98 1.87 3/100 11117
/proc/meminfo: memFree=1147536/2055920 swapFree=4192812/4192956
[pid=11109] ppid=11107 vsize=915428 CPUtime=161.72
/proc/11109/stat : 11109 (java) R 11107 11109 10571 0 -1 0 10573 0 1 0 16144 28 0 0 25 0 8 0 250302382 937398272 10299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074002571 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11109/statm: 228857 10299 2551 14 0 215327 0
[pid=11109/tid=11111] ppid=11107 vsize=915428 CPUtime=0.03
/proc/11109/task/11111/stat : 11111 (java) S 11107 11109 10571 0 -1 64 209 0 0 0 3 0 0 0 16 0 8 0 250302386 937398272 10299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11112] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11112/stat : 11112 (java) S 11107 11109 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250302387 937398272 10299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11113] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11113/stat : 11113 (java) S 11107 11109 10571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250302387 937398272 10299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11114] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11114/stat : 11114 (java) S 11107 11109 10571 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 250302390 937398272 10299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11115] ppid=11107 vsize=915428 CPUtime=0.32
/proc/11109/task/11115/stat : 11115 (java) S 11107 11109 10571 0 -1 64 436 0 0 0 31 1 0 0 16 0 8 0 250302390 937398272 10299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11116] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11116/stat : 11116 (java) S 11107 11109 10571 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 250302390 937398272 10299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11109/tid=11117] ppid=11107 vsize=915428 CPUtime=0
/proc/11109/task/11117/stat : 11117 (java) S 11107 11109 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250302390 937398272 10299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.72
Current children cumulated vsize (KiB) 915428
Child status: 0
Real time (s): 201.847
CPU time (s): 200.865
CPU user time (s): 200.568
CPU system time (s): 0.297954
CPU usage (%): 99.5138
Max. virtual memory (cumulated for all children) (KiB): 915428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 200.568
system time used= 0.297954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10674
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= 5406
involuntary context switches= 10096
runsolver used 0.25896 s user time and 0.645901 s system time
The end
Begin job on node5 on Fri Jan 19 14:27:59 UTC 2007
IDJOB= 275114
IDBENCH= 3530
IDSOLVER= 68
FILE ID= node5/275114-1169216879
PBS_JOBID= 3588928
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity4/ruler-34-9-a4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275114-1169216879/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-275114-1169216879 -o ROOT/results/node5/solver-275114-1169216879 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275114-1169216879/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 595a44e6ab9cbcc9e7223c194d261e6f
RANDOM SEED= 776848158
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.240
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.240
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: 1179304 kB
Buffers: 60096 kB
Cached: 652816 kB
SwapCached: 0 kB
Active: 237676 kB
Inactive: 561896 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1179304 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1824 kB
Writeback: 0 kB
Mapped: 115732 kB
Slab: 61816 kB
Committed_AS: 7510496 kB
PageTables: 2300 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= 66561 MiB
End job on node5 on Fri Jan 19 14:31:21 UTC 2007